[論文レビュー] A characterization of weakly Schreier extensions of monoids

Peter F. Faul|arXiv (Cornell University)|Nov 6, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 5

ひとこと要約

この論文は、モノイドの弱いシュライヤー拡張を完全に特徴づけ、それらが $N \times H$ の商と、その商に関して作用に似た関数とを備えたものに一致することを示している。主な貢献は、シュライヤー拡張を一般化し、フレームにおけるアーティン・グルーピングを自然な例として捉える構造的同型である。

ABSTRACT

A split extension of monoids with kernel $k \colon N o G$, cokernel $e \colon G o H$ and splitting $s \colon H o G$ is Schreier if there exists a unique set-theoretic map $q \colon G o N$ such that for all $g \in G$, $g = kq(g) \cdot se(g)$. Schreier extensions have a complete characterization and have been shown to correspond to monoid actions of $H$ on $N$. If the uniqueness requirement of $q$ is relaxed, the resulting split extension is called weakly Schreier. A natural example of these is the Artin glueings of frames. In this paper we provide a complete characterization of the weakly Schreier extensions of $H$ by $N$, proving them to be equivalent to certain quotients of $N imes H$ paired with a function that behaves like an action with respect to the quotient. Furthermore, we demonstrate the failure of the split short lemma in this setting and provide a full characterization of the morphisms that occur between weakly Schreier extensions. Finally, we use the characterization to construct some classes of examples of weakly Schreier extensions.

研究の動機と目的

• 弱いシュライヤー拡張の完全な構造的特徴づけを提供し、既知のシュライヤー拡張とモノイド作用の間の対応を一般化すること。
• 弱いシュライヤー拡張が、$N \times H$ の関数が商に関して作用に似た振る舞いを示すものとして自然に商として現れることを示すこと。
• 弱いシュライヤー拡張間の準同型を分析し、この文脈において分割短い五重の補題が成立しないことの理由を示すこと。
• 一般化されたアーティン・グルーピングと、構造と整合する最も粗い商を用いた、明示的な例の構成。

提案手法

• 弱いシュライヤー拡張に対して、集合論的再び $q: G \to N$ を導入し、シュライヤー拡張で要求される一意性条件を緩和する。
• $q$ から $\alpha: H \times N \to N$ という弱い作用を構成し、$N \times H$ 上の商 $Q$ に対して整合性条件を満たすようにする。
• $\alpha$ を用いて $N \times H$ 上の乗法を $Q$ で割ったものとして定義し、$\varphi(n,h) = k(n) \cdot s(h)$ を通じて $G$ と同型なモノイドを構成する。
• $Q$ を素イデアル $Y \subset H$ を用いて特徴づけ、$Y$ の要素が積の $N$-成分を縮約することを特定する。
• $\alpha$ が $Q$ と整合するためには、$\alpha$ が $H \setminus Y$ 上で作用であり、$Y \times N$ 上で定数で、$H$-要素間に整合性条件を満たす必要があることを示す。
• 行列モノイドや右可逆元が自明なモノイドなどの例にこの構成を適用し、非自明な弱いシュライヤー拡張が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 モノイドの弱いシュライヤー拡張は、代数的構造としてどのように完全に特徴づけられるか？
• RQ2 $\alpha: H \times N \to N$ という関数が、$N \times H$ の商を通じて弱いシュライヤー拡張を定義するための条件は何か？
• RQ3 弱いシュライヤー拡張の圏において、分割短い五重の補題がなぜ成立しないのか？
• RQ4 フレームのアーティン・グルーピングは弱いシュライヤー拡張とどのように関係し、この構成は一般化可能か？
• RQ5 与えられた $N \times H$ 上の商 $Q$ に対して、関数 $\alpha$ が満たすべき条件は何か？

主な発見

• モノイド $H$ への弱いシュライヤー拡張は、$N \times H$ の適切な同値関係 $Q$ による商と、$Q$ に関して作用に似た振る舞いを示す関数 $\alpha: H \times N \to N$ を備えたものと同値である。
• 弱いシュライヤー拡張の圏において、分割短い五重の補題は成立しない。外側の写像がすべて同型であっても、準同型が同型でないことがある。
• 弱いシュライヤー拡張間の準同型は、商と作用の成分における整合性写像によって完全に分類され、$q$-再びの構造を保存する。
• フレームのアーティン・グルーピングは、下界半束の圏における弱いシュライヤー拡張にちょうど一致し、自然な動機づけの例を与える。
• $H = \mathrm{Mat}_n(K)$ の場合、最も粗い商 $Q$ は、$\det(B) = 0$ ならば $(A,B) \sim (A',B)$ を特定する。$\det(B) \neq 0$ のとき、$\alpha(B,A) = BAB^{-1}$ という共役作用は、有効な弱いシュライヤー拡張を定義する。
• $H$ に非自明な右可逆元が存在しないとき、$n \cdot h = h \cdot n = h$ を満たす $N \sqcup (H \setminus \{1\})$ の拡張は弱いシュライヤー拡張であり、$\alpha(h,n) = n$ という自明な作用を持つ最も粗い商に対応する。