[論文レビュー] Flag varieties as equivariant compactifications of G_a^n

Ivan Arzhantsev|arXiv (Cornell University)|Mar 11, 2010

Advanced Algebra and Geometry参考文献 5被引用数 4

ひとこと要約

この論文は、可換なユニポテンツ群 ${\mathbb{G}}_a^n$ による一般に推移的（generically transitive）な作用をもつ旗多様体 $G/P$ を分類し、そのようなコンパクト化が発生するのは、各 $G$ の単純因子に対して、$P$ のユニポテンツ根基が可換であるか、または対 $(G^{(i)}, P^{(i)})$ が例外的である場合に限ることを示している。この結果は、代数群論におけるシューベルト胞体と等変コンパクト化に関する古典的結果を拡張する。

ABSTRACT

Let G be a semisimple affine algebraic group and P a parabolic subgroup of G. We classify all flag varieties G/P which admit an action of the commutative unipotent group G_a^n with an open orbit.

研究の動機と目的

• 可換なユニポテンツ群 ${\mathbb{G}}_a^n$ が一般に推移的（generically transitive）な作用をもつ旗多様体 $G/P$ を特定すること。
• ${\mathbb{G}}_a^n$ の等変コンパクト化であるすべての旗多様体 $G/P$ を分類すること。
• $P$ のユニポテンツ根基が可換であるか、または対 $(G,P)$ が例外的であるような条件を特徴づけること。
• 半単純代数群の文脈において、${\mathbb{G}}_a^n$ の等変コンパクト化に関する結果を一般旗多様体へ拡張すること。
• 旗多様体の自己同型群の構造を解明し、それらがアフィン空間上の等変作用とどのように関係するかを明らかにすること。

提案手法

• 半単純群 $\widetilde{G}$ のルート系とリー代数の重み付けを用い、$\mathop{\rm Aut}(G/P)$ の単位成分である $\widetilde{G}$ の構造を分析して、パラボリック部分群の性質を解明する。
• $\mathfrak{g} = \mathop{\rm Lie}(\widetilde{G})$ に $\mathbb{Z}$-重み付けを施し、パラボリック部分群 $Q$ の台に基づいて、根 $\beta$ に対して $\mathop{\rm deg}(\beta) = \sum_{\alpha_i \in \Delta_Q} a_i$ と定める。
• 双対パラボリック部分群のユニポテンツ根基 $Q_u^-$ の可換性を、リー括弧積の構造 $[\mathfrak{q}_u^-, \mathfrak{q}_u^-] \subseteq \bigoplus_{k < 0} \mathfrak{g}_k$ を用いて分析する。
• 一般に推移的 ${\mathbb{G}}_a^n$-作用が存在するならば、$\mathfrak{g} = \mathfrak{q} \oplus \mathfrak{h}$ という直和分解が存在し、ここで $\mathfrak{h} = \mathop{\rm Lie}(H)$ であり、$\mathfrak{h} \to \mathfrak{q}_u^-$ は全単射であることを用いる。
• $[y', y''] = 0$ in $\mathfrak{h}$ だが $[y_2', y_2''] \neq 0$ in $\mathfrak{q}_u^-$ であると仮定すると矛盾が生じ、$\mathfrak{q}_u^-$ が可換でなければならないことを示す。
• $G$ の単純成分に分類を還元し、$\widetilde{G} \neq G$ である既知の例外的対、例えば $(\mathop{\rm PSp}(2r), P_1)$ やその被覆対を用いる。

実験結果

リサーチクエスチョン

• RQ1 どの旗多様体 $G/P$ が可換ユニポテンツ群 ${\mathbb{G}}_a^n$ に対して一般に推移的（generically transitive）な作用をもつか？
• RQ2 パラボリック部分群 $P$ のユニポテンツ根基 $P_u$ にどのような条件が課されると、$G/P$ が ${\mathbb{G}}_a^n$ の等変コンパクト化となるか？
• RQ3 $G/P$ の自己同型群 $\widetilde{G}$ が $G$ と異なるのはいつか？ そしてその違いは、このような ${\mathbb{G}}_a^n$-作用の存在にどのように影響するか？
• RQ4 ユニポテンツ根基 $P_u$ が非可換であっても、$G/P$ が ${\mathbb{G}}_a^n$ の等変コンパクト化であるような旗多様体は存在するか？
• RQ5 例外的対 $(G^{(i)}, P^{(i)})$ は、このような作用の存在にどのように寄与するか？ また、分類において果たす役割は何か？

主な発見

• $G/P$ が一般に推移的 ${\mathbb{G}}_a^n$-作用をもつのは、$G$ の各単純因子 $G^{(i)}$ に対して、$P_u^{(i)}$ が可換であるか、または対 $(G^{(i)}, P^{(i)})$ が例外的である場合に限る。
• $P_u$ が可換であることは、その対応する単純根 $\alpha_i$ が根系の最高根 $\rho$ において係数 1 で現れることと同値である。
• 同値な条件として、双対群 $G^\vee$ の基本ウェイト $\omega_i$ が最小単位的（minuscule）であること、すなわち $V(\omega_i)$ の重み系が $W$-軌道 $\omega_i$ と一致することである。
• $(\mathop{\rm PSp}(2r), P_1)$, $(\mathop{\rm SO}(2r+1), P_r)$, $(G_2, P_1)$ のような例外的対では、$P_u$ は非可換であるが、被覆対の構造のおかげで $G/P$ は依然としてこのような作用をもつ。
• 証明により、$G/P$ が一般に推移的 ${\mathbb{G}}_a^n$-作用をもつならば、双対パラボリック部分群のユニポテンツ根基 $Q_u^-$ は可換でなければならないことが示され、これは各単純因子における条件を強制する。
• 分類は完全であり、$G$ の各単純成分について、$P_u^{(i)}$ の可換性または例外的対条件を確認するだけで十分である。