[論文レビュー] Some Siegel threefolds with a Calabi-Yau model II

Eberhard Freitag, Riccardo Salvati Manni|arXiv (Cornell University)|Jan 2, 2010

Algebraic Geometry and Number Theory参考文献 14被引用数 5

ひとこと要約

この論文は、群論的および幾何的手段を用いて、より広いクラスのそのような多様体に対して、カーマイ-Yauモデルを構成することにより、シーゲル自己双対3次元多様体に関する先行研究を拡張している。特定のシンプレクティック群 $Γ_{2,0}[2]_{\text{\textgreek{n}}}$ の部分群に対して、サタケコンパクト化が、自明な canonical バンドルと第一ベッチ数が0である、剛体なカーマイ-Yau3次元多様体であるクレパント解消をもつことを証明した。これは、$\mathbb{P}^7$ 内の4つの2次曲面の完全交差に関する以前の結果を一般化する。主な貢献は、特異モデルのピカール群への群作用を通じて、中間的商のピカール数とオイラー標跡数を体系的に計算する方法を提供することにある。

ABSTRACT

In the paper [FSM] we described some Siegel modular threefolds which admit a Calabi-Yau model. Using a different method we give in this paper an enlarged list of such varieties that admits a Calabi-Yau model in the following weak sense: there exists a desingularization in the category of complex spaces of the Satake compactification which admits a holomorphic three-form without zeros and whose first Betti number vanishes Basic for our method is the paper [GN] of van Geemen and Nygaard.

研究の動機と目的

• 既知の例を超えて、カーマイ-Yauモデルをもつシーゲルモジュラー3次元多様体のクラスを拡張すること。
• 4つの2次曲面が $\mathbb{P}^7$ 内に定義する特異3次元多様体の商のクレパント解消のピカール数とオイラー標跡数を計算する方法を開発すること。
• 特異モデルの正則部分多様体のピカール群への有限群の作用を分析し、解消されたカーマイ-Yau多様体のホッジ不変量を特定すること。
• 群構造と不変量に基づいて、得られるカーマイ-Yau多様体が特徴的に射影的である条件を確立すること。
• 特に位数2の群に対して、具体的な例についてホッジ数と位相的不変量を明示的に計算すること。

提案手法

• 4つの2次曲面が $\mathbb{P}^7$ 内に定義する特異3次元多様体の商 $\mathcal{H}_2/\Gamma'$ のサタケコンパクト化を用い、96個の通常の二重点を持つ特異3次元多様体を構成する。ここで $\Gamma'$ は $\Gamma_{2}[2,4] \cap \Gamma_{2,0,\vartheta}[4]$ の部分群である。
• 小さな解消の理論を適用して、自明な canonical バンドルと正則3形式をもつ滑らかなカーマイ-Yau3次元多様体を得る。
• 拡張群 $\hat{\Gamma}_{2,0}[2]_{\text{\textgreek{n}}}$ を用い、これは $\Gamma_{2,0}[2]_{\text{\textgreek{n}}}$ の指数2拡張である。この群を用いて中間的商の族を定義する。
• 群作用の固定点集合の既約成分の数と正則部分多様体のピカール数の和を用いて、ピカール数を計算する。
• ストリング理論的オイラー標跡数の公式 $e(M,G) = \frac{1}{\#G} \sum_{gh=hg} e(M^{\langle g,h\rangle})$ を用いて、クレパント解消のオイラー数を計算する。
• 特異3次元多様体上の対合 $\sigma_i$ の固定点集合を、$\mathbb{C}^8$ 内の固有空間 $V^+$ と $V^-$ への分解により解析し、多様体との交わりをとることで成分を特定する。

実験結果

リサーチクエスチョン

• RQ1 群 $\Gamma$ が $\Gamma'$ と $\hat{\Gamma}_{2,0}[2]_{\text{\textgreek{n}}}$ の間にあるとき、$\mathcal{H}_2/\Gamma$ のサタケコンパクト化が、クレパント解消が存在し、canonical バンドルが自明で $h^{1,0} = 0$ であるという意味で弱い意味でのカーマイ-Yauモデルをもつのはどのような場合か？
• RQ2 各対合 $\sigma_i$ に対して、$\tilde{\mathcal{X}}/\langle \sigma_i \rangle$ のクレパント解消のピカール数は何か？
• RQ3 商の族 $\mathcal{X}/\mathcal{G}2_i$ 全体にわたって、ホッジ数 $h^{11}$ と $h^{12}$、およびオイラー標跡数 $e$ はどのように変化するか？
• RQ4 得られるカーマイ-Yau多様体が射影的である条件は何か？また、これは群 $\Gamma$ の構造とどのように関係するか？
• RQ5 $\hat{\Gamma}_{2,0}[2]_{\text{\textgreek{n}}}$ が正則部分多様体のピカール群に作用する様子を計算することで、すべての中間群に対して不変量を特定できるか？

主な発見

• $\mathcal{X}/\mathcal{G}2_1$ のクレパント解消のピカール数は16、オイラー標跡数は32であり、$h^{11} = 16$, $h^{12} = 0$, $e = 32$ に対応する。
• $\mathcal{X}/\mathcal{G}2_2$ に対しては、ピカール数は40、オイラー標跡数は80であり、$h^{11} = 40$, $h^{12} = 20$, $e = 2(40 - 20) = 40$ となるが、これは $e = 80$ と矛盾する。しかし、論文は直接的に $e = 80$ を述べている。
• $\mathcal{X}/\mathcal{G}2_3$ の解消はピカール数20、オイラー標跡数32をもち、$h^{11} = 20$, $h^{12} = 4$, $e = 32 = 2(20 - 4)$ に対応する。
• $\mathcal{X}/\mathcal{G}2_6$ の固定点集合は、$\mathbb{P}^1$ に同型な8つの円錐曲線から成り、解消された多様体のピカール数は28、オイラー標跡数は56である。$e = 2(28 - 14) = 28$ となるが、論文は $e = 56$ を報告しており、$h^{12} = 14$ であると示唆する。したがって $e = 2(28 - 14) = 28$ は $e = 56$ と矛盾する。しかし、論文は明示的に $e = 56$ を述べており、公式 $e = 2(h^{11} - h^{12})$ が誤って記述されているか、この文脈では適切でない可能性がある。
• $\mathcal{X}/\mathcal{G}2_7$ の解消はピカール数28、オイラー標跡数56をもち、$h^{11} = 28$, $h^{12} = 14$, $e = 2(28 - 14) = 28$ となるが、論文は $e = 56$ を述べており、これは $e = 4(h^{11} - h^{12})$ であるか、公式が誤って記述されている可能性を示唆する。
• 論文は、$\sigma_3$ の固定点集合をなす4つの楕円曲線の明示的なイデアルを提供しており、商の特異部分多様体の幾何的構造を確認している。