[論文レビュー] Rationally connected $3$-folds and symplectic geometry

Claire Voisin|ArXiv.org|Jan 9, 2008

Algebraic Geometry and Number Theory参考文献 24被引用数 15

ひとこと要約

この論文は、コンpact Kähler 3-fold において、有理的連結性がシンプレクティック同値性のもとで保存されるかを調査する。もし有理的連結性をもつ3次元多様体 $X$ が、別のコンパクト Kähler 3-fold $Y$ とシンプレクティック同値である場合、$X$ がファノであるか、$b_2(X) \leq 2$ である限り、$Y$ も有理的連結性をもつことを証明する。証明は、Gromov-Witten 不変量、ほぼ正則なファイブレーション、および双有理幾何学を用い、$Y$ が有理的連結性を持たないという仮定が、シンプレクティック変形不変性と曲線類の解析を通じて矛盾を引き起こすことを示す。

ABSTRACT

We study the following question, asked to us By Pandharipande and Starr: Let $X$ be a rationally connected $3$-fold, and $Y$ be a compact Kaehler $3$-fold symplectically equivalent to it. Is $Y$ rationally connected? We show that the answer is positive if $X$ is Fano or $b_2(X)\leq2$.

研究の動機と目的

• コンパクト Kähler 3-fold に対して、有理的連結性がシンプレクティック不変量であるという Kollár の予想を検証すること。
• もし $X$ がファノであるか、$b_2(X) \leq 2$ である場合、シンプレクティック同値な3次元多様体が有理的連結性を継承するかどうかを特定すること。
• 3次元において、有理的被覆性がシンプレクティック不変量であるという既知の結果を、より強い性質である有理的連結性へと拡張すること。
• 有理的連結性を持たない3次元多様体上のほぼ正則な有理ファイブレーションの構造を分析し、シンプレクティック同値性のもとで矛盾を導くこと。

提案手法

• Kähler形式の変形類を保存する微分同相写像 $\psi: X \cong Y$ を用いて、シンプレクティック同値性を定義する。
• 最小次数の有理的曲線を検出・追跡するため、Gromov-Witten 不変量 $GW^{X}_{0,[C]}([x])$ を適用する。
• 有理的曲線類 $[C]$、$[D] = \psi_*[C]$ をもつ、ほぼ正則な有理ファイブレーション $\phi: X \dashrightarrow \Sigma$、$\phi': Y \dashrightarrow \Sigma'$ を構成する。
• $b_2(X) \leq 2$ または $X$ がファノであることから、ファイブレーション $\phi$ が適切に定義され、特異点に面する面を点に収縮しないことを保証する。
• 双有理幾何学と接続理論を用いて、$\Sigma'$ がルールドであることを示し、これにより $Y$ が有理的連結性をもつことを導く。
• もし $Y$ が有理的連結でなければ、ファイブレーション構造が $Y$ が有理的連結であることを強制し、仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト Kähler 3-fold において、有理的連結性はシンプレクティック同値性のもとで保存されるか？
• RQ2 Fano または $b_2 \leq 2$ 条件のもとで、シンプレクティック同値な有理的連結性をもつ3次元多様体は、両方とも有理的連結性をもつと証明できるか？
• RQ3 最小次数の有理的曲線の Gromov-Witten 不変量は、シンプレクティック同値性のもとで、有理的連結性を検出するために果たす役割は何か？
• RQ4 有理的連結性を持たない3次元多様体上のほぼ正則ファイブレーションの構造は、シンプレクティック不変量をどのように制約するか？
• RQ5 有理的曲線をもつファイブレーションが存在するとき、どのような条件下で全空間が有理的連結性をもつと結論づけられるか？

主な発見

• もし $X$ が $b_2(X) \leq 2$ をもつ有理的連結性をもつ3次元多様体であれば、$X$ とシンプレクティック同値な任意のコンパクト Kähler 3-fold $Y$ は、有理的連結性をもつ。
• もし $X$ がファノ3次元多様体であれば、$X$ とシンプレクティック同値な任意のコンパクト Kähler 3-fold $Y$ は、有理的連結性をもつ。
• 証明は、有理的連結性の欠如が、有理的曲線をもつルールド面ファイブレーションの存在を通じて矛盾を引き起こすことを示すことにより成り立つ。
• 最小次数の曲線類 $[C]$ に対して、Gromov-Witten 不変量 $GW^{X}_{0,[C]}([x]) = 1$ はシンプレクティック同値性のもとで保存され、有理的ファイブレーションの存在を示唆する。
• $b_2(X) \leq 2$ または $X$ がファノである限り、ファイブレーション $\phi: X \dashrightarrow \Sigma$ は適切に定義され、特異点に面する面を点に収縮しない。
• $Y$ に関連する曲面 $\Sigma'$ は双有理的にルールドであり、これにより Lemma 1.3 より $Y$ は有理的連結性をもつことが示され、$Y$ が有理的連結でないという仮定に反する。