[论文解读] Local structure of algebraic monoids

Michel Brion|ArXiv.org|Sep 9, 2007

Algebraic Geometry and Number Theory参考文献 2被引用 4

一句话总结

该论文建立了在幂等元处不可约代数幺半群的局部结构定理，表明此类幂等元的邻域是关于双陪集空间 $MeM$ 的诱导簇，其纤维为两侧行为稳定子 $M_e$。主要贡献在于将所有不可约代数幺半群分类为具有特定纤维幺半群的阿贝尔簇上的诱导簇，从而解决了雷纳长期悬而未决的问题，并提供了关于正规性和光滑性的判别准则。

ABSTRACT

We describe the local structure of an irreducible algebraic monoid $M$ at an idempotent element $e$. When $e$ is minimal, we show that $M$ is an induced variety over the kernel $MeM$ (a homogeneous space) with fibre the two-sided stabilizer $M_e$ (a connected affine monoid having a zero element and a dense unit group). This yields the irreducibility of stabilizers and centralizers of idempotents when $M$ is normal, and criteria for normality and smoothness of an arbitrary $M$. Also, we show that $M$ is an induced variety over an abelian variety, with fiber a connected affine monoid having a dense unit group.

研究动机与目标

• 开发不可约代数幺半群在幂等元处的局部结构理论，扩展先前对仿射幺半群的研究。
• 通过证明不可约代数幺半群可从具有特定纤维幺半群的阿贝尔簇诱导而来，解决雷纳关于不可约代数幺半群分类的长期悬而未决问题。
• 基于幂等元处稳定子的结构，提供不可约代数幺半群正规性和光滑性的判别准则。
• 通过阿尔巴内塞映射的仿射性，刻画代数群的等变嵌入中不可约代数幺半群的特征。
• 建立所有不可约代数幺半群均为拟射簇的结果，推广了此前仅对正规幺半群成立的结果。

提出的方法

• 通过分析幂等元 $e$ 处的稳定子 $M_e = \{x \in M \mid xe = ex = e\}$ 建立局部结构定理，证明其为具有零元和稠密单位群的连通仿射幺半群。
• 论文使用诱导簇的概念：$M$ 中 $e$ 的开邻域同构于 $MeM$ 的开子集上的诱导簇，其纤维为 $M_e$。
• 当 $e$ 属于核时，推导出整体结构：整个幺半群 $M$ 同构于 $G \times^H N$，其中 $G$ 为单位群，$H$ 为 $e$ 的稳定子，$N = M_e$。
• 利用阿爾巴內塞映射 $\alpha_X$ 来刻画代数群的等变嵌入中幺半群的特征：当且仅当 $\alpha_X$ 是仿射的，$X$ 是一个幺半群。
• 该构造利用群作用与商空间，特别是通过左乘法在 $G \times^H N$ 上的 $G$-作用，其中 $H$ 在 $N$ 上的作用被延拓至 $G$。
• 理论在特征为零的代数闭域上建立，同时附注说明可通过幺半群概形推广至任意特征。

实验结果

研究问题

• RQ1 如何描述不可约代数幺半群在幂等元附近的局部结构？
• RQ2 当幂等元位于核中时，不可约代数幺半群的整体结构是什么？
• RQ3 在何种条件下，不可约代数幺半群是正规或光滑的？
• RQ4 所有不可约代数幺半群是否可分类为具有特定纤维幺半群的阿贝尔簇上的诱导簇？
• RQ5 何种条件可刻画一个连通代数群的等变嵌入为代数幺半群？

主要发现

• 在幂等元 $e$ 附近的局部结构是 $MeM$ 的开子集上的诱导簇，其纤维为 $M_e$，即具有零元和稠密单位群的连通仿射幺半群。
• 当 $e$ 属于核时，整个幺半群 $M$ 同构于 $G \times^H M_e$，其中 $H$ 为 $e$ 的稳定子，$M_e$ 为两侧行为稳定子。
• $M$ 的正规性或光滑性等价于 $M_e$ 的相应性质，从而将问题约化为对稳定子的研究。
• 所有不可约代数幺半群均为拟射簇，推广了此前仅对正规幺半群成立的结果。
• 一个连通代数群 $G$ 的等变嵌入 $X$ 是代数幺半群，当且仅当其阿爾巴內塞映射 $\alpha_X$ 是仿射的。
• 幺半群 $M$ 同构于 $G \times^{G_{\text{aff}}} M_{\text{aff}}$，且该态射是有限的，这意味着 $M$ 正规当且仅当 $M_{\text{aff}}$ 正规且 $G_{\text{aff}} = H$。