[論文レビュー] Classification of free actions on complete intersections of four quadrics

Zheng Hua|arXiv (Cornell University)|Jul 30, 2007

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

ひとこと要約

本稿は、ℙ⁷における4つの二次曲面の完全交差上での自由な有限群作用を分類し、64階の非アーベル基本群をもつ滑らかなカラビ＝ヤウ3次元多様体の新しい族を構成する。ホロモルフィック・レフシェッツ公式と指標理論を用いて、(2,4)-極化アーベル多様体の線型系に関連する5つの族を同定し、G-不変な小解消により、Hodge数 h¹¹=2、h¹²=2 のカラビ＝ヤウ商多様体が得られる。

ABSTRACT

In this paper we classify all free actions of finite groups on Calabi-Yau complete intersection of 4 quadrics in $\PP^7$, up to projective equivalence. We get some examples of smooth Calabi-Yau threefolds with large nonabelian fundamental groups. We also observe the relation between some of these examples and moduli of polarized abelian surfaces.

研究の動機と目的

• 最多でODP特異点をもつℙ⁷における4つの二次曲面の完全交差上でのすべての自由有限群作用を、射影同値を除いて分類すること。
• 特に64階の非アーベル基本群をもつ滑らかなカラビ＝ヤウ3次元多様体の新しい例を構成すること。
• これらのカラビ＝ヤウ3次元多様体と(2,4)-極化アーベル多様体のモジュライ空間との幾何的関係を確立すること。
• 64個の通常二重点をもつ特異完全交差に対して、G-不変な小解消が存在することを示すこと。
• ホロモルフィック・レフシェッツ公式と指標理論を用いて、環境空間上での群作用の可能性を制限すること。

提案手法

• ホロモルフィック・レフシェッツ公式を用いて、H⁰(X,𝒪(1)) および H⁰(X,𝒪(2)) に作用する群表現のトレース制約を導出する。
• 有限群の指標理論（例：H₈, D₈, G₄, G₅）を適用し、許容される表現を同定し、表現空間の対称冪を分解する。
• 群作用に関して不変なウェイリ・除数の明示的方程式を構成する。たとえば、f₁ と f₂ で定義される S_{r₁,r₂} は、64個の通常二重点を通過する。
• G-不変なウェイリ・除数 S_{r₁,r₂} をブローアップすることで、G-不変な小解消を行う。S_{r₁,r₂} は16次元の滑らかなアーベル多様体である。
• Macaulay2 および GAP を用いた計算ツールにより、滑らかさと不変性を検証する。
• 完全交差と(2,4)-極化アーベル多様体の線型系との関係を用いて、自由群作用をもつ2次元部分族を同定する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が、射影同値を除いて、最多でODP特異点をもつℙ⁷における4つの二次曲面の完全交差上で自由に作用できるか？
• RQ2 ホロモルフィック・レフシェッツ公式は、このような完全交差から得られるカラビ＝ヤウ3次元多様体上の群作用の可能性をどのように制限できるか？
• RQ3 64階の基本群をもつ構成されたカラビ＝ヤウ3次元多様体と、(2,4)-極化アーベル多様体のモジュライ空間との幾何的関係は何か？
• RQ4 64個の通常二重点をもつ特異完全交差と非アーベル群作用に対して、不変な小解消を明示的に構成できるか？
• RQ5 自由群作用による小解消完全交差の商として得られるカラビ＝ヤウ3次元多様体のHodge数は何か？

主な発見

• 64階の基本群をもつ滑らかなカラビ＝ヤウ3次元多様体の5つの族が、ℙ⁷における4つの二次曲面の完全交差の小解消の自由商として構成された。
• 構成は、完全交差に埋め込まれた(2,4)-極化アーベル多様体の線型系に依存し、自由群作用をもつのは2次元部分族に限られる。
• G-不変なウェイリ・除数 S_{r₁,r₂} をブローアップすることで、G-不変な小解消が存在する。S_{r₁,r₂} は、2次元表現 X₃₃ ⊕ X₃₄ における2つの一般な方程式によって定義される。
• 小解消されたカラビ＝ヤウ3次元多様体は Hodge 数 h¹¹ = 10 および h¹² = 10 をもち、G₄ や G₅ による自由作用の商は h¹¹ = 2 および h¹² = 2 をもつ。
• ホロモルフィック・レフシェッツ公式と指標理論により、二面体群 D₈ がこのような完全交差上で自由作用をもつことは排除され、クaternion群 H₈ とは対照的である。
• 完全交差の64個の特異点は、(2,4)-極化アーベル多様体の線型系の基点であり、その位置は族を一意に決定する。