[論文レビュー] Birational geometry for the covering of a nilpotent orbit closure

Yoshinori Namikawa|arXiv (Cornell University)|Jul 17, 2019

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

ひとこと要約

本稿では、一般化されたスプリンガー写像と放物型誘導を用いて、古典的リー代数におけるノルム的軌道閉包の普遍被覆の明示的Q-ファクター因子終着を構成する。放物型部分代数と有限被覆を通じて、このような解体を体系的に構築する方法を提供し、既存の軌道閉包の正規化に関する結果を一般化し、特異的でない場合にクリープント解体の明示的幾何的実現をもたらす。

ABSTRACT

A nilpotent orbit $O$ of a complex semisimple Lie algebra $\mathfrak{g}$ has finite fundamental group. Associated with an etale cover of $O$, we have a finite cover of the closure $\bar{O}$ of $O$. In this article we consider the finite cover X associated with the universal cover of a nilpotent orbit $O$ of a classical simple Lie algebra $\mathfrak{g}$. We construct explicitly a Q-factorial terminalization of X in a group theoretic way.

研究の動機と目的

• 古典的複素単純リー代数 $\mathfrak{g}$ におけるノルム的軌道 $O$ の普遍被覆 $X$ に対して、明示的なQ-ファクター因子終着を構成すること。
• $O$ の普遍被覆に由来する非自明な有限被覆の状況において、既知の軌道閉包正規化の終着に関する結果を拡張すること。
• 放物型部分群と誘導されたノルム的軌道を用いた、群論的で幾何的なこのような終着の構成を提供すること。
• 結果として得られる解体が特異的でない条件を確立し、クリープント射影的解体をもたらすこと。
• 文献[Lo]および[Ma]の枠組みを一般化し、一般化されたスプリンガー写像の構成を通じて有限被覆 $\pi: X \to \bar{O}$ を明示的に実現すること。

提案手法

• 放物型誘導の使用: $G$ における放物型部分群 $Q \subset G$ で、レヴィ分解 $Q = U \cdot L$ を持ち、$\mathfrak{l}$ 内のノルム的軌道 $O' \subset \mathfrak{l}$ に対して、$O = \mathrm{Ind}^\mathfrak{g}_\mathfrak{l}(O')$ を誘導する。
• 一般化されたスプリンガー写像 $\mu: G \times^Q (\mathfrak{n} + \bar{O}') \to \bar{O}$ を構成する。これは一般に有限であり、$G$-可換的である。
• $O'$ のエタール被覆に関連する $\bar{O}'$ の有限被覆 $X'$ に対して、$\mathfrak{n} + \bar{O}'$ 上の $Q$-作用を $\mathfrak{n} + X'$ 上に引き上げる。
• 空間 $Y = G \times^Q (\mathfrak{n} + X')$ を構成し、$\mu \circ \pi'$ のスティーン因子化として $Z$ を定義する。このとき $Z \to \bar{O}$ は元の被覆 $\pi: X \to \bar{O}$ と同型である。
• $K_Y = \pi^* K_X$ であり、$Y$ がQ-ファクター因子終着特異点を持つことを確認することで、写像 $Y \to X$ がQ-ファクター因子終着であることを示す。
• 分割に関する二重帰納法（タイプIおよびタイプII）を用い、特に $\mathfrak{so}(m)$ の場合に既知のケースに還元する。核部分群 $H = \ker[\sum: (\mathbb{Z}/2\mathbb{Z})^{\oplus 3} \to \mathbb{Z}/2\mathbb{Z}]$ を通じて明示的な被覆を構成する。

実験結果

リサーチクエスチョン

• RQ1 古典的リー代数 $\mathfrak{g}$ におけるノルム的軌道 $O$ の普遍被覆 $X$ に対して、Q-ファクター因子終着を明示的に構成できるか？
• RQ2 一般化されたスプリンガー写像の構成が、$X$ の終着をもたらす条件は何か？
• RQ3 $X$ 上の $\mathbf{C}^*$-作用をどのように引き上げれば、シンプレクティック形式 $\omega$ の重みが2になるか？
• RQ4 構成された終着が特異的でないのはいつか？ そのときクリープント射影的解体が得られる。
• RQ5 被覆 $\pi: X \to \bar{O}$ の次数と、一般化されたスプリンガー構成における写像の次数との正確な関係は何か？

主な発見

• ノルム的軌道閉包 $\bar{O}$ の普遍被覆 $X$ のQ-ファクター因子終着が、放物型誘導と一般化されたスプリンガー写像を用いて明示的に構成された。
• この構成はすべての古典的リー代数に適用可能であり、基本群が自明でない軌道を含むすべてのノルム的軌道に適用可能である。
• 終着 $Y \to X$ は $Y = G \times^Q (\mathfrak{n} + X')$ で与えられ、$X'$ はレヴィ軌道閉包の有限被覆で、$Q$-作用が $\mathfrak{n} + X'$ 上に引き上げられる。
• $Y$ が特異的でない場合、写像 $Y \to X$ はクリープント射影的解体であり、$\tilde{O}$ の場合の既存の結果を一般化する。
• $\mathfrak{so}(m)$ の場合、タイプIおよびタイプIIの二重帰納法を用いて基本ケースに還元し、被覆の次数は中間写像の次数の積と一致する。
• 明示的な例が提示される: $\bar{O}_{[15,8^2,3]} \subset \mathfrak{so}(34)$ に対して、終着は $\mathrm{Spin}(34) \times^Q (\mathfrak{n} + X_{[2]} \times X_{[2^3]} \times X_{[7,4^2,3]}/H)$ であり、$H = \ker[\sum: (\mathbb{Z}/2\mathbb{Z})^3 \to \mathbb{Z}/2\mathbb{Z}]$ である。