Minimal Nilpotent Orbits of type G2, F4 and E8

技術的要約：$G_2, F_4, E_8$ 型の極小零冪リー環の最小冪軌道

問題の定義
本論文は、複素単純リー環の表現論における構造的な問いに取り組んでいる。具体的には、極小零冪軌道の閉包 $\overline{\mathcal{O}_{\min}(\mathfrak{g})}$ が、滑らかな準アフィン多様体の余接束の公認化（affinization）として実現可能か否かを調査している。形式的には、次の問いである：どのような複素単純リー環 $\mathfrak{g}$ に対して、$\overline{\mathcal{O}_{\min}(\mathfrak{g})} \cong (T^*X)^{\text{aff}}$ となるような滑らかな準アフィン多様体 $X$ が存在するのか？

先行研究では、型 $A_n$ ($n \ge 3$), $B_n$ ($n \ge 3$), $C_n$ ($n \ge 2$), $D_n$ ($n \ge 4$), $E_6$, $E_7$ についての肯定的な結果が確立されている。本論文は、残された例外型（$G_2, F_4, E_8$）および低ランクの古典型（$A_1, A_2$）に焦点を当てており、これらは以前は未知であったか、あるいは否定的な結果が予想されていたものである。

手法
証明戦略は、潜在的な基底多様体 $X$ の次元と、リー環の幾何学的性質および表現論によって課される制約と比較することに基づいている。議論は以下の主要なステップを経て進行する：

1. 幾何学的設定と公認化：
   著者は、準アフィン多様体とその公認化の性質を利用する。もし同型 $\overline{\mathcal{O}_{\min}(\mathfrak{g})} \cong (T^*X)^{\text{aff}}$ が存在する場合、正則関数の環 $\Gamma(T^*X, \mathcal{O})$ は有限生成でなければならない。これは、$X$ がその公認化 $X^{\text{aff}}$ の開部分多様体であり、境界の余次元が（$n \ge 3$ の場合）少なくとも 2 であることを意味する。

2. 群作用と接表現：
   余接束 $T^*X$ は、ファイバーの膨張による自然な $\mathbb{G}_m$ 作用を持つ。この作用は、公認化 $(T^*X)^{\text{aff}}$ 上に $\mathbb{G}_m$ 作用を誘導し、仮定された同型を通じて $\overline{\mathcal{O}_{\min}(\mathfrak{g})}$ 上にも作用を誘導する。軌道の閉包の唯一の特異点（頂点）はこの作用によって固定される。
   著者は、この頂点における接表現 $\rho$ の $\mathbb{G}_m$ 作用を分析する。主要な補題により、以下のことが確立される：

   • 軌道閉包の頂点における接空間は、リー環 $\mathfrak{g}$ と同型である。
   • 表現 $\rho$ は、余接束の次数付けにより、「片側」である（すべてのウェイトが非負または非正である）。
   • 公認化上の作用の不動点部分スキームは $X^{\text{aff}}$ に対応する。

3. 不動部分空間の境界：
   極めて重要な技術的要素は、命題 3.1 および補題 3.3 である。著者は、ルート $\beta$ の単純ルート $\alpha_i$ の係数が、最高ルート $\theta$ における係数と等しくなるルートの集合 $F_i$ を定義する。
   補題 3.3 は、極小軌道を保存する非自明な片側表現に対して、不動部分空間の次元 $\dim \mathfrak{g}^{\rho(\mathbb{G}_m)}$ が $\max_i |F_i|$ によって抑えられることを証明している。
   本論文では、関連する型についてこれらの最大値を明示的に計算している：

   • $A_2$: 2
   • $G_2$: 2
   • $F_4$: 7
   • $E_8$: 14

4. 次元による矛盾：
   証明は、$X$ の次元と不動部分空間の境界を比較することで矛盾を導き出す。

   • 同型関係から、$\dim X = \frac{1}{2} \dim \mathcal{O}_{\min}(\mathfrak{g})$ である。
   • 公認化と不動点スキームの幾何学的性質から、$\dim X = \dim X^{\text{aff}} \le \dim \mathfrak{g}^{\rho(\mathbb{G}_m)}$ である。
   • したがって、$\frac{1}{2} \dim \mathcal{O}_{\min}(\mathfrak{g}) \le \max_i |F_i|$ となる。

主要な結果
本論文は以下の定理を確立している：

• 定理 1.1： 型 $G_2, F_4, E_8$ のリー環において、極小零冪軌道の閉包は、いかなる滑らかな準アフィン多様体 $X$ に対しても $(T^*X)^{\text{aff}}$ と同型ではない。

  • 検証：
    • $G_2$: $\dim \mathcal{O}_{\min} = 6 \implies \dim X = 3$。境界 $\max |F_i| = 2$。($3 \not\le 2$)
    • $F_4$: $\dim \mathcal{O}_{\min} = 16 \implies \dim X = 8$。境界 $\max |F_i| = 7$。($8 \not\le 7$)
    • $E_8$: $\dim \mathcal{O}_{\min} = 58 \implies \dim X = 29$。境界 $\max |F_i| = 14$。($29 \not\le 14$)

• 定理 5.5： 型 $A_1$ ($\mathfrak{sl}_2$) および $A_2$ ($\mathfrak{sl}_3$) についても、同様の否定的な結果が成立する。

  • $A_1$ については、公認化が特異錐（singular cone）の滑らかさを暗示することから矛盾が生じる。
  • $A_2$ については、次元の計算では $2 \le 2$ となり、一見すると整合しているように見える。しかし、境界の滑らかさとハートグスの拡張定理を用いた精緻な議論により、軌道の特異点が基底多様体の滑らかな点に写されることはあり得ないことが示され、矛盾が導かれる。

意義および主張
本論文は、公認化された余接束として実現される極小零冪軌道の分類を完了したと主張している。ほとんどの古典型および例外型において肯定的な例が存在する一方で、本研究は、例外型 $G_2, F_4, E_8$（および低ランクのケース $A_1, A_2$）がそのような実現を持たないことを決定的に証明している。

著者は、これらの結果が、共変性やポアソン適合性を仮定せず、多様体の代数的構造とリー環の表現論のみに依拠して証明されていることを強調している。本研究は、他の型における先行する肯定的な結果によって残された空白を埋め、すべての複素単純リー環に対する構造的な問いへの包括的な回答を提供している。