[論文レビュー] The Chow ring of double EPW sextics

Andrea Ferretti|ArXiv.org|Jul 30, 2009

Synthesis and characterization of novel inorganic/organometallic compounds参考文献 9被引用数 4

ひとこと要約

この論文は、双EPWセクスティックの非常に一般な場合について、Beauville–Voisinの予想を検証する。具体的には、コホロロジーにおいて成り立つ h（ハイパープランの類）と X のチャーン類の間の多項式関係が、有理チャウ群でも成り立つことを証明する。崩壊技術、コホロロジー計算、Grothendieck–Riemann–Rochの定理を用いて、CH*(X)⊗Q において、h⁴ = 6θ、h²·c₂(X) = 60θ、c₂(X)² = 828θ、c₄(X) = 324θ が成り立つことを示し、θ は特定の部分多様体上の点の類である。これにより、このクラスの非特異シンプレクティック多様体について、予想が裏付けられる。

ABSTRACT

A conjecture of Beauville and Voisin states that for an irreducible symplectic variety X, any polynomial relation between classes of divisors and the Chern classes of X which holds in cohomology already holds in the Chow groups. We verify the conjecture for a very general double EPW sextic.

研究の動機と目的

• 双EPWセクスティックにおけるBeauville–Voisin予想を検証すること。この予想は、除数類とチャーン類の間のコホロロジー的関係が、有理チャウ群においても成り立つと述べるものである。
• 非常に一般な双EPWセクスティック X に対して、H*(X, Q) で成り立つ h = f*O_Y(1) と X のチャーン類の間の多項式関係が、CH*(X)⊗Q でも成り立つことを示すこと。
• デゲネレーション、コホロロジー的アプローチ、Grothendieck–Riemann–Rochを用いて、h とチャーン類を含むチャウ環の関係を計算すること。
• コホロロジーにおけるトートロジカル関係が、特に Y_B[2] 上の点に対応する類 θ に対してチャウ群へと持ち上がることを示すこと。
• K3 表面や立方体四次多様体の直線のファノ多様体といった既知の例を越えて、予想の成立範囲を拡張すること。

提案手法

• 特異点集合と双EPWセクスティックの変形を分析するためのデゲネレーション技術を用いる。特に、極性 h の振る舞いに注目する。
• ラグランジュ部分多様体 Z ⊂ X の埋め込みに Grothendieck–Riemann–Roch を適用し、正規束と標準束の関係を用いてチャーン類を計算する。
• 接バンドルと二重被覆 X 上のバンドル Q のチャーン類を比較することで、h とチャーン類の間の関係を導出する。
• 類 θ を Y_B[2] ⊂ YA 上の点類の押し出しとして特定し、有理同値性を用いて CH*(X)⊗Q において h⁴ と θ を関連付ける。
• Lefschetz の超平面定理とコホロロジー的計算を適用し、チャウ関係がコホロロジー的関係と一致することを検証する。
• CH₁(L₀) ≅ ℤ（有理曲線 L₀ に対して）であるという事実を用い、h⁴ が θ の有理倍数に有理同値であることを示し、コホロロジー的比較により係数を正確に決定する。

実験結果

リサーチクエスチョン

• RQ1 Beauville–Voisin予想は双EPWセクスティックについて成り立つか。すなわち、除数類とチャーン類の間のコホロロジー的関係がチャウ群へと持ち上がるのか。
• RQ2 双EPWセクスティック X に対して、CH*(X)⊗Q における極性 h とチャーン類 c₂(X)、c₄(X) の間の正確なチャウ環関係は何か。
• RQ3 Y_B[2] 上の点を表す類 θ は、CH*(X)⊗Q における h⁴ や他のトートロジカル類とどのように関係しているか。
• RQ4 デゲネレーション技術とGrothendieck–Riemann–Rochを用いて、二重被覆上のバンドルのチャーン類を計算し、それがコホロロジー的関係と有理同値であることを確認できるか。
• RQ5 コホロロジーにおいて成り立つトートロジカル関係 h·c₂(X) = 5h³ は、非常に一般な双EPWセクスティックにおいてもチャウ群で成り立つか。

主な発見

• CH₄(X)⊗Q において h⁴ = 6θ が成り立つ。θ は Y_B[2] 上の点の類であり、有理曲線上での有理同値性とコホロロジー的比較により確認された。
• CH₄(X)⊗Q において h²·c₂(X) = 60θ が成り立つ。これは CH₂(YA) 内のトートロジカル関係の押し出しとして得られ、コホロロジー的計算により検証された。
• CH₈(X)⊗Q において c₂(X)² = 828θ が成り立つ。これはトートロジカルサイクルの押し出しの自乗として確立された。
• CH₈(X)⊗Q において c₄(X) = 324θ が成り立つ。c₄(Q) を h と θ で表した後、コホロロジー的値と比較することで確認された。
• CH₄(X)⊗Q において h·c₂(X) = 5h³ が成り立つ。これはコホロロジー的関係と一致し、予想の検証を完了した。
• コホロロジーで成り立つ h とチャーン類の間のすべてのトートロジカル関係が、CH*(X)⊗Q でも成り立つことが示され、非常に一般な双EPWセクスティックについて、Beauville–Voisin予想が裏付けられた。