半コンステレーションの部分作用を大域作用へ拡張できる条件
Reflectors and the Globalization Problem for Partial Actions of Semiconstellations
この論文をやさしく読む
ひとことで言うと
一部でだけ定義された作用を、全体で定義された作用から得られるかを調べる代数研究。
何に役立つ?
複数の代数的な構造における部分作用を、共通の枠組みで比較する理論的な材料になる。
この研究の面白いところ
反射子を使って大域化の可否を調べ、制限半群亜群では肯定的だが、一般の制限半コンステレーションでは否定的という違いを示した。
どこまで分かった?
肯定的な結果は記載された構造の部分作用についてであり、一般の制限半コンステレーションには拡張できない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究は、半コンステレーションと制限半コンステレーション、およびそれらの集合への作用を導入し、圏、逆半群亜群、制限半群、半群亜群の部分作用を共通に扱う枠組みを与える。続いて、すべての部分作用が同型を除いて大域作用の制限として得られるかを問う「大域化問題」を調べる。本研究の特徴は、反射子を大域化の構成だけでなく、部分作用が大域化できる条件の検討にも使うことである。 制限半コンステレーションのすべての部分作用について、「ほとんど大域的な作用」と呼ぶS代数の充満部分圏の中に反射子が存在することを示し、それが大域化を与える条件を調べる。応用として、集合上の制限半群亜群の部分作用について大域化問題に肯定的な答えを得た。その結果は制限半群と制限圏にも及ぶ。一方、一般の制限半コンステレーションでは答えは否定的である。 最後に、半コンステレーションSと、S上の適切な同値関係Rについて、SのR適合作用を導入し、制限半コンステレーションSᴿを構成する。そして、Sの部分作用とR適合作用が、それぞれSᴿの部分作用と大域作用に対応することを示す。これにより、半コンステレーションの大域化問題を、対応する制限半コンステレーションの問題へ帰着できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21(UTC)
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We introduce semiconstellations and restriction semiconstellations, together with their actions on sets, providing a common setting for partial actions of categories, inverse semigroupoids, restriction semigroups, and semigroupoids. We then investigate the \emph{globalization problem}, which asks whether every partial action can, up to isomorphism, be obtained by restricting a global action. A distinctive feature of our approach is the use of reflectors not only to construct globalizations, but also to study when partial actions are globalizable. We show that every partial action of a restriction semiconstellation admits a reflector in the full subcategory of $S$-algebras consisting of what we call \emph{almost global actions}, and investigate conditions under which this reflector provides a globalization. As an application, we obtain a positive answer to the globalization problem for partial actions of restriction semigroupoids on sets, and consequently for restriction semigroups and restriction categories. In contrast, the answer is negative for restriction semiconstellations in general. Finally, given a semiconstellation $S$ and a suitable equivalence relation $R$ on $S$, we introduce the notion of an \emph{$R$-compatible action of} $S$ and construct a restriction semiconstellation $S^R$. We then show that partial and $R$-compatible actions of $S$ correspond, respectively, to partial and global actions of $S^R$. In this way, the globalization problem for semiconstellations can be reduced to the corresponding problem for restriction semiconstellations.
arXiv ID: 2609.25346 / 要約の誤りについて