[論文レビュー] Special elliptic fibrations

Fedor Bogomolov, Yuri Tschinkel|ArXiv.org|Mar 4, 2003

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

ひとこと要約

この論文は、カーマナの意味でのオルビフォールド一般型（orbifold general type）であるが、基本群が自明で、一般型の多様体を支配するエタール被覆をもたない複素3次元多様体の楕円曲線被覆を構成する。楕円曲面への対数的変換を用いて、底面のオルビフォールド構造が正の対数・コイダラ次元を持つ例を生み出し、カーマナの2つの多様体クラスの間のきつい分離を示している。

ABSTRACT

We construct examples of elliptic fibrations of orbifold general type (in the sense of Campana) which have no etale covers dominating a variety of general type.

研究の動機と目的

• カーマナが提起した、一般型多様体を支配するエタール被覆をもつ多様体と、一般型のオルビフォールドへ非自明な写像をもつ多様体との区別に関する問題を解決すること。
• 基本群が自明であるが、第一のクラスに属さない複素3次元多様体の明示的例を構成すること。
• オルビフォールド一般型被覆がエタール被覆によって一般型多様体を支配しない可能性を示し、古典的代数幾何学からの期待とは対照的であることを示すこと。
• 対数的変換の理論を拡張し、特異ファイバーと基本群の振る舞いを制御できる被覆を生み出すこと。
• オルビフォールド底面の対数・コイダラ次元と全空間のグローバルな幾何学の関係を明確にすること、特にグローバルな正則微分形式と基本群に関するもの。

提案手法

• 滑らかな曲線上の非等価な楕円被覆に、対数的変換を適用してファイバーの重複度を変更し、特異ファイバーを制御できる新しい被覆を構成する。
• κ(B) = 1 である楕円曲面 B にこの構成を適用し、底面が κ(B, D(φ)) = 2 となるオルビフォールド構造を持つことを保証する。
• 条件 ∑(1 - 1/n_j) > 2 を用いて、オルビフォールド底面 (B, D(φ)) が一般型であることを保証し、これは genus ≥ 2 の有限被覆の存在を意味する。
• 全空間 X を底面の有限被覆による被覆引き戻しとして構成し、被覆構造を保ち、π₁(X) = 0 であることを保証する。
• 対数的変換における H⁰(X, K_X) の不変性を用いて正則体積形式を保ち、 canonical class を制御する。
• カーマナのオルビフォールド理論と対数的幾何の結果を応用し、微分形式と基本群の変換下での振る舞いを分析する。

実験結果

リサーチクエスチョン

• RQ1 一般型のオルビフォールドであるが、一般型多様体を支配するエタール被覆をもたない楕円被覆が存在しうるか？
• RQ2 楕円被覆の底面と特異ファイバーにどのような条件を課すと、関連するオルビフォールドの対数・コイダラ次元が正になるか？
• RQ3 対数的変換の下で基本群はどのように振る舞い、3次元多様体において自明に保たれるか？
• RQ4 正則微分形式は対数的変換の上をどのように降下または上昇するか？ そして canonical class にどのような影響を与えるか？
• RQ5 オルビフォールド被覆の文脈において、一般型多様体を支配するエタール被覆の存在に幾何的障害があるか？

主な発見

• 著者らは、滑らかで射影的な3次元多様体 X とその楕円被覆 φ: X → B を構成し、π₁(X) = 0、B は κ(B) = 1 である滑らかな楕円曲面であり、D(φ) ⊂ B は滑らかで既約な除集合であることを示した。
• オルビフォールド (B, D(φ)) は一般型であり、κ(B, D(φ)) = dim(B) = 2 を満たす。これは ∑(1 - 1/n_j) > 2 のときに成立する。
• オルビフォールド底面が一般型であるにもかかわらず、X は基本群が自明であり、したがって一般型多様体を支配するエタール被覆をもたない。
• 変換された被覆の canonical bundle は K_{ℰ′} = K_{ℰ} + (1 - 1/m)E を満たし、canonical class が除集合のずれまで保存されることを示している。
• 正則2形式の空間 H⁰(X, K_X) は対数的変換で不変であり、H⁰(X, K_X) ≃ H⁰(X′, K_{X′}) が成り立つ。
• この構成により、一般型のオルビフォールドへ非定値写像をもつことと、一般型多様体を支配するエタール被覆の存在とは同値でないことが示され、カーマナの問いに否定的かつ明確に答えている。