[论文解读] 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$ 同构的幺半群。
• 通过 $H$ 中的素理想 $Y \subset H$ 识别可接受的商式 $Q$，其中 $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$ 在何种条件下与 $Q$ 相容？

主要发现

• 以 $H$ 为基、$N$ 为核的弱施莱尔扩张等价于 $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)$ 识别为等价，而共轭作用 $\alpha(B,A) = BAB^{-1}$（当 $\det(B) \neq 0$ 时）定义了一个有效的弱施莱尔扩张。
• 当 $H$ 无非平凡右可逆元时，扩展 $N \sqcup (H \setminus \{1\})$ 满足 $n \cdot h = h \cdot n = h$ 是弱施莱尔扩张，且对应于平凡作用 $\alpha(h,n) = n$ 的最粗商式。