[論文レビュー] 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$ を用いて、代数的群の等変埋め込みとしてのモノイドを特徴付ける。$X$ がモノイドであるための必要十分条件は、$\alpha_X$ がアフィンであることである。
• 構成は、特に $G$ による左乗法の作用と、$H$ による $N$ 上の作用を $G$ に拡張する群の作用と商の概念を活用している。
• 理論は代数的に閉じた、特性がゼロの体上で展開されており、モノイドスキームを用いた一般化についての注意も記されている。

実験結果

リサーチクエスチョン

• RQ1 可約代数的モノイドの単位的元の近傍における局所構造は、どのように記述できるか？
• RQ2 単位的元が核に属する場合、可約代数的モノイドの全体的構造はどのようなものか？
• RQ3 可約代数的モノイドが正規または滑らかであるための条件は何か？
• RQ4 すべての可約代数的モノイドは、特定のファイバーモノイドをもつアーベル多様体上に誘導多様体として分類可能か？
• RQ5 連結代数的群の等変埋め込みとして、どのような条件で代数的モノイドと特徴付けられるか？

主な発見

• 単位的元 $e$ の近傍の局所構造は、$MeM$ の開部分集合上に誘導された多様体であり、ファイバーが $M_e$ である。$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$ であることが同値であることが示される。