[論文レビュー] On the cohomology of Stover Surface

Amir Džambić, Xavier Roulleau|arXiv (Cornell University)|Oct 31, 2014

Algebraic Geometry and Number Theory参考文献 16被引用数 4

ひとこと要約

本稿は、オイラー特性数が最小（63）で、自己同型群が最大（位数18,144）である一意な算術的ボール商曲面であるストーバー曲面のコhomologyを調査する。スーリヴァンの理論を用いて基本群の第二下部中心商を解析し、表現論的計算と組み合わせることで、曲面が最大のピカール数を持ち、高 genus フibrations が存在せず、写像 ∧²H⁰(Ω_S) → H⁰(K_S) の核が 7 次元で、分解可能要素を含まないことが示され、これは滑らかな二次超曲面をなす。アーベル型は (C/ℤ[α])⁷ に同型であることが示され、α = e²πi/³ である。

ABSTRACT

We study a surface discovered by Stover which is the surface with minimal Euler number and maximal automorphism group among smooth arithmetic ball quotient surfaces. We study the natural map $\wedge^{2}H^{1}(S,\mathbb{C}) o H^{2}(S,\mathbb{C})$ and we discuss the problem related to the so-called Lagrangian surfaces. We obtain that this surface $S$ has maximal Picard number and has no higher genus fibrations. We compute that its Albanese variety $A$ is isomorphic to $(\mathbb{C}/\mathbb{Z}[\alpha])^{7}$, for $\alpha=e^{2i\pi/3}$.

研究の動機と目的

• ストーバー曲面のコhomologyを研究すること。これは、オイラー特性数 63 で自己同型群が最大の唯一のヒルツェット・ボール商曲面である。
• カステルヌオヴォ–ドゥ・フラニシの定理を用いて、曲面が高 genus フibrations を持つかどうかを特定すること。
• 写像 φ₂₀: ∧²H⁰(Ω_S) → H⁰(K_S) を解析し、その核を幾何的対象として特徴付けること。
• 曲面のアーベル型を計算し、その構造を特定すること。
• カップ積写像の核を通じて、アーベル四fold へのラグランジュ的 fibrations の存在を調査すること。

提案手法

• 基本群 π₁(S) の第二下部中心商に関するスーリヴァン理論を適用し、MAGMA を用いて群の提示と多項式的商を用いて ∆/[∆, Π] ≅ ℤ/4ℤ × ℤ²⁸ を計算した。
• H⁰(S, Ω_S) ≅ ℂ⁷ 上での U₃(3) × ℤ/3ℤ の表現論を用い、∧²ℂ⁷ 内の 7 次元部分空間として φ₂₀ の核を計算した。
• 列が Ker(φ₂₀) を張る 21×7 行列 M ∈ M₂₁,₇ を構成し、根の理想と 2×2 ミニマルを用いて V = W を示し、核内に分解可能な要素が存在しないことを証明した。
• Ker(φ₂₀) 内のランク 2 ベクトルの集合が、正定値対称行列 Q で定義される滑らかな二次超曲面をなすことを証明した。
• ℚ(α) 上で超曲面に点が存在することを用いて、アーベル四fold B ≅ (C/ℤ[α])⁴ への無限個のラグランジュ写像 p: S → B を構成した。
• トレースの議論と自己準同型論を用いて、特定の写像 p: S → B がラグランジュ的でないことを示し、ラグランジュ的および非ラグランジュ的 fibrations が両方存在することを確認した。

実験結果

リサーチクエスチョン

• RQ1 ストーバー曲面は genus >1 の曲線への fibrations を持つか？ これは φ₂₀ の核にどのような意味を持つのか？
• RQ2 写像 φ₂₀: ∧²H⁰(Ω_S) → H⁰(K_S) の核の幾何的構造は何か？
• RQ3 φ₂₀ の核は分解可能な 2 ベクトルを含まないか？ これは S 上の fibrations にどのような意味を持つのか？
• RQ4 ストーバー曲面のアーベル型の構造は何か？ そして、Eisenstein 整数 ℤ[α] による複素乗法とどのように関係するか？
• RQ5 S からアーベル四fold への無限個のラグランジュ fibrations は存在するか？ それらはどのようにパrameter化されるか？

主な発見

• ストーバー曲面は、写像 φ₂₀: ∧²H⁰(Ω_S) → H⁰(K_S) の 7 次元核によって、最大ピカール数を持つことが確認された。
• φ₂₀ の核は 7 次元であり、分解可能な要素を含まないため、曲面は genus >1 の曲線への fibrations を持たない。
• Ker(φ₂₀) 内のランク 2 ベクトルの集合は、正定値対称行列 Q で定義される ℂ⁷ 内の滑らかな二次超曲面をなす。
• S のアーベル型は (C/ℤ[α])⁷ に同型であり、α = e²πi/³ である。これは Eisenstein 整数による複素乗法を示唆する。
• S からアーベル四fold B への無限個の写像 p: S → B（自己同型の意味で）が存在し、S が p に関してラグランジュ的である。
• 写像 φ₁₁: H⁰(Ω_S) ⊗ H¹(𝒪_S) → H¹(Ω_S) の核の次元は 14 であり、写像は全射である。