[論文レビュー] Seifert $G_m$-bundles

Janós Kollár|ArXiv.org|Apr 21, 2004

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

ひとこと要約

この論文は、正規代数的多様体上の正則的 $ℂ^*$-バンドル（Seifert $G_m$-バンドル）の基礎的理論を確立する。これは、古典的な3次元多様体のSeifertファイブレーション理論を複素代数幾何学へと拡張したものであり、反射的層とオーロリッド構造を用いた分類、自明なオーロリッド基本群をもつバンドルの一意性の証明、全空間の滑らかさの判定基準、および基本群の計算を含む。

ABSTRACT

A Seifert bundle over a variety X is a variety Y with a proper action of the multiplicative group such that the quotient is X. The topological version of this notion (using circle actions) was introduced by Seifert, the holomorphic version by Orlik and Wagreich. The aim of this paper is to provide the foundational results for Seifert bundles over an arbitrary normal variety X. The main results are a classification and a smoothness criterion.

研究の動機と目的

• 正規代数的多様体上のSeifert $G_m$-バンドル（すなわち、正則的 $\mathbb{C}^*$-バンドル）の一般理論を構築し、古典的な3次元多様体のSeifertファイブレーションを複素代数幾何学へと拡張すること。
• 反射的層とオーロリッド分岐除集合を用いて、Seifert $G_m$-バンドルを分類すること。[OW75]の結果を特異的かつ正標数の設定へ一般化すること。
• Einstein計量の構成への応用にとって重要な、Seifert $G_m$-バンドルの全空間の滑らかさの判定基準を確立すること。
• オーロリッド基本群とファイバーのデータを用いて、全空間の基本群を計算することにより、位相的および代数的不変量を結びつけること。
• オーロリッド基本群が自明であるとき、Seifert $\mathbb{C}^*$-バンドルの同型類が有理コhomologyにおける第一チエーン類によって一意に定まることを示すこと。

提案手法

• 正規多様体 $Y$ に $G_m$-作用を定義し、底多様体 $X$ 上のファイバーが $G_m/\mu_{m(x)}$ に同型となるようにし、稠密開集合で $m(x)=1$ となる有効作用を保証する。
• ランク1の反射的層（類群 $\operatorname{Cl}(X)$）とオーロリッド分岐除集合 $\Delta = \sum (1 - \frac{1}{c_i})D_i$ を用い、データ $ (L, \sum \frac{b_i}{c_i}D_i) $ を用いてバンドルをパラメトライズする。
• 幾何的商の理論を適用する：$Y/G_m \cong X$ は代数的空間として存在し、$f: Y \to X$ は商写像である。
• 局所的な作用の構造と底多様体および除集合の特異点に依存する滑らかさの判定基準（命題29）を導出する。
• オーロリッド基本群 $\pi^{\text{orb}}_1(X,\Delta)$ と、$\pi_1(S^1) \to \pi_1(Y) \to \pi^{\text{orb}}_1(X,\Delta) \to 1$ を含む完全列を用いて $\pi_1(Y)$ を計算する。
• オーロリッド基本群 $\pi^{\text{orb}}_1(X,\Delta)$ が自明である場合、有理コhomology $H^2(X,\mathbb{Q})$ におけるチエーン類が等しければ、ラインバンドルおよびモノドロミーデータが同型となることから、バンドルの一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の標数における正規代数的多様体上のSeifert $G_m$-バンドルは、どのように分類可能か？
• RQ2 Seifert $G_m$-バンドルの全空間が滑らかであるための条件は何か？
• RQ3 全空間の基本群は、分岐除集合を伴う底多様体のオーロリッド基本群とどのように関係するか？
• RQ4 どのような条件下で、Seifert $\mathbb{C}^*$-バンドルは第一チエーン類によって一意に定まるか？
• RQ5 Seifert $\mathbb{C}^*$-バンドルのコhomologyおよびホモロジーの torsion 構造、特に $H^i(Y,\mathbb{Z})$ の構造は何か？

主な発見

• 正規多様体 $X$ 上のSeifert $G_m$-バンドルは、$L$ をランク1の反射的層、$D_i$ を有理数乗を持つ除集合 $\frac{b_i}{c_i} < 1$ として、ペア $ (L, \sum \frac{b_i}{c_i}D_i) $ によって分類される。
• 全空間 $Y$ の滑らかさは、$G_m$-作用の局所的構造および底多様体と除集合の特異点に依存し、命題29で明確に形式化されている。
• もし $H_1(X,\mathbb{Z}) = 0$ であれば、オーロリッド基本群 $\pi^{\text{orb}}_1(X,\Delta)$ は生成元 $g_i$ と関係式 $c_i g_i = 0$、および $\sum g_i([D_i] \cap \eta) = 0$（$\eta \in H_2(X,\mathbb{Z})$）により計算可能である。
• もし $\pi^{\text{orb}}_1(X,\Delta) = 1$ であれば、2つのSeifert $\mathbb{C}^*$-バンドルは、$H^2(X,\mathbb{Q})$ におけるチエーン類が等しいときかつそのときに限り同型である。
• 滑らかな全空間に対して、完全列 $\pi_1(S^1) \to \pi_1(Y) \to \pi^{\text{orb}}_1(X,\Delta) \to 1$ が成り立ち、位相的不変量とオーロリッド不変量を結びつける。
• ホモロジー $H^i(Y,\mathbb{Z})$ の torsion はほとんど未解明のままであるが、標準的手法により有理コhomology $H^i(Y,\mathbb{Q})$ は計算可能である。