[論文レビュー] Projective moduli space of semistable principal sheaves for a reductive group

Tomás L. Gómez, Ignacio Sols|ArXiv.org|Dec 11, 2001

Algebraic Geometry and Number Theory参考文献 12被引用数 6

ひとこと要約

本稿は、複素数体上の高次元射影多様体 $X$ における再帰的群 $G$ の半安定な主層の概念を導入し、Ramanathan の曲線上の主 bundle のモジュライ空間を一般化する。主層を、パラボリック部分群への還元を伴う $(2,1)$-テンソル $(E,\varphi)$ として定義し、幾何的不変理論（GIT）を用いることで、固定されたトポロジカル型を持つ半安定な主 $G$-層の射影的で粗いモジュライ空間を構成する。$\dim X = 1$ の場合に Ramanathan の構成が回復されることを示す。主な貢献は、安定なテンソル形式を用いて、再帰的群に対して高次元多様体への射影的モジュライ理論を拡張したことである。

ABSTRACT

Let X be a smooth projective complex variety, and let G be an algebraic reductive complex group. We define the notion of principal G-sheaf, that generalises the notion of principal G-bundle. Then we define a notion of semistability, and construct the projective moduli space of semistable principal G-sheaves on X. This is a natural compactification of the moduli space of principal G-bundles. This is the announcement note presented by the second author in the conference held at Catania (11-13 April 2001), dedicated to the 60th birthday of Silvio Greco. Detailed proofs will appear elsewhere.

研究の動機と目的

• 曲線上の半安定な主 bundle のモジュライ空間を、高次元射影多様体に一般化すること。
• $\dim X = 1$ の場合に Ramanathan の定義に還元される、高次元射影多様体 $X$ 上の主層の概念を定義すること。
• 幾何的不変理論（GIT）を用いて、固定されたトポロジカル型を持つ半安定な主 $G$-層の射影的で粗いモジュライ空間を確立すること。
• モジュライ空間の構成が、曲線の場合の Ramanathan の安定性条件と整合することを保証すること。

提案手法

• 主層を、$E$ が局所自由となる開集合 $U_E$ で $E$ に倣って $E \otimes E \to E^{**}$ となる $(2,1)$-テンソル $\varphi$ を持つ、ねじれのない層 $E$ として定義する。
• $G$ のパラボリック部分群 $H \subset G$ への還元 $\xi$ を $U_E$ 上に導入し、$H$ による $\mathfrak{g}' = [\mathfrak{g}, \mathfrak{g}]$ 上の随伴作用と整合するようにする。これにより、主 $G$-bundle の構造をモデル化する。
• $\delta$-安定性条件（$\delta$ は次数 0 の小さな多項式）を $(2,1)$-テンソル $(E, \varphi)$ に適用し、半安定性を定義する。
• このような対象をパrametrize する射影空間に GIT を適用し、モジュライ空間が射影的であることを保証する。
• レヴィ成分のカルタン部分代数に沿った $\mathfrak{g}'$ のルート空間分解を用いて、安定性を各階層 $E^\alpha = E_{(\leq \alpha)} / E_{(< \alpha)}$ の形に再表現し、安定性の実効的チェックを可能にする。
• 曲線の場合 $\dim X = 1$ に於いて、安定性条件が Ramanathan の定義に正確に一致することを証明し、古典的ケースとの整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 高次元射影多様体 $X$ 上に、Ramanathan の曲線に対する構成を一般化した、半安定な主 $G$-層の射影的モジュライ空間を構成できるか？
• RQ2 GIT を用いて射影的モジュライ空間を構成できるようにするには、高次元への主 bundle の正しい一般化は何か？
• RQ3 このような対象の安定性条件をどのように定式化すれば、$\dim X = 1$ の場合に Ramanathan の定義に還元されるか？
• RQ4 主層の定義にパラボリック部分群への還元データ $\xi$ を含めることで、モジュライ空間構成に必要なGIT安定性条件が保持されるか？
• RQ5 還元の選択に依存しないようにモジュライ空間の構成を可能にし、一意な粗いモジュライ空間を得られるか？

主な発見

• 定理 8 で示されるように、複素数体上の高次元射影多様体 $X$ 上の固定トポロジカル型を持つ半安定な主 $G$-層に対して、射影的で粗いモジュライ空間が存在する。
• 主層の安定性条件は、$(E, \varphi)$ の $\delta$-安定性により定義され、これにより GIT を通じたモジュライ空間の存在が保証される。
• $\dim X = 1$ の場合に、安定性条件は正確に Ramanathan の定義に還元される（命題 10 で示された）。これにより、古典的ケースとの整合性が確認される。
• ルート空間分解の使用により、安定性条件が $E^\alpha$ の形の階層に再表現され、安定性の実効的チェックが可能になる。
• 還元データ $\xi$ の含みが、安定性条件に影響を与えないため、モジュライ空間の構成は安定性条件の不変性を保ち、強固である。
• $O(n,\mathbb{C})$、$Sp(n,\mathbb{C})$、$SO(2n+1,\mathbb{C})$ のような古典的群に対しては、対称的または反対称な $(2,1)$-テンソルを用いた主層のモジュライ空間が得られる。$SO(2n,\mathbb{C})$ については特別な取り扱いが要るが、安定性の概念に影響を与えない。