[論文レビュー] Normal functions, Picard-Fuchs equations, and elliptic fibrations on K3 surfaces

Xi Chen, Charles F. Doran+2 more|arXiv (Cornell University)|Aug 10, 2011

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿では、一般のK3表面におけるK1サイクル類の超越的レギュレーターの非自明性を、一般化された正規関数のGauss-Manin微分を用いて確立する。楕円曲線ファイブレーションとモジュラーパラメトライゼーションを用いて非分解的サイクルの明示的族を構成し、それらの実レギュレーターおよび超越的レギュレーターを計算することで、レギュレーターが非ゼロであることを証明し、これがサイクルが代数的に自明でないことを示している。主な結果は、非常に一般のK3表面の自己積上での純粋に超越的レギュレーターΨ3,1の非自明性である。

ABSTRACT

Using Gauss-Manin derivatives of normal functions, we arrive at some remarkable results on the non-triviality of the transcendental regulator for $K_m$ of a very general projective algebraic manifold. Our strongest results are for the transcendental regulator for $K_1$ of a very general $K3$ surface. We also construct an explicit family of $K_1$ cycles on $H \oplus E_8 \oplus E_8$-polarized $K3$ surfaces, and show they are indecomposable by a direct evaluation of the real regulator. Critical use is made of natural elliptic fibrations, hypersurface normal forms, and an explicit parametrization by modular functions.

研究の動機と目的

• 非常に一般のK3表面におけるK1サイクル類の超越的レギュレーターの非自明性を確立すること。
• H ⊕ E8 ⊕ E8-極形式をもつK3表面における非分解的代数的サイクルの明示的族の構成。
• 楕円曲線ファイブレーションおよびモジュラーパラメトライゼーションを用いて、これらのサイクルの実レギュレーターおよび超越的レギュレーターの分析。
• レギュレーターとモジュラー曲線上の高次グリーン関数との関係の調査。
• ピカール数20のK3表面の謎めいたケースと、無理数性問題への関連の探求。

提案手法

• 一般化された正規関数のGauss-Manin微分を用いて、超越的レギュレーターの非自明性を検出する。
• シューディア・イノーゼK3表面におけるKummer幾何と楕円曲線ファイブレーションの正規化を用いて、明示的なK1サイクル類を構成する。
• サイクルで囲まれた膜上での微分形式の積分により、実レギュレーターを計算する。
• 切り詰めた正規関数から導かれるPicard-Fuchs方程式を用いて、レギュレーターの振る舞いを分析する。
• 楕円曲線ファイブレーションおよび超曲面の正規形を用いたモジュラーパラメトライゼーションにより、明示的計算を達成する。
• 留数理論および漸近的推定を用いて、極の近くでの積分の発散を制御し、レギュレーター積分の収束または発散を証明する。

実験結果

リサーチクエスチョン

• RQ1 非常に一般のK3表面に対して、超越的レギュレーターΦ2,1は非自明か？
• RQ2 格子極形式をもつK3表面における非分解的K1サイクルの明示的族を構成できるか？
• RQ3 非常に一般のK3表面Xの自己積上での純粋に超越的レギュレーターΨ3,1の振るまいはいかなるものか？
• RQ4 楕円曲線ファイブレーションおよびモジュラーパラメトライゼーションは、レギュレーターの計算をどのように支援するか？
• RQ5 ピカール数20の場合に、レギュレーター積分は発散するか収束するか？そしてこれは無理数性に何を意味するか？

主な発見

• ピカール数ℓ < 20の非常に一般のK3表面に対して、超越的レギュレーターΦ2,1は非自明である。
• 非常に一般のK3表面Xに対して、純粋に超越的レギュレーターΨ3,1 : CH3(X × X, 1) → H4,0(X × X, C)∨ / H4(X × X, Q(1)) は非自明である。
• H ⊕ E8 ⊕ E8-極形式をもつK3表面の族における明示的K1サイクルの実レギュレーターは非ゼロであり、これが非分解性を証明する。
• レギュレーター積分はα → 2およびα → -1のとき対数的に発散し、ピカール数20の場合の特異な振るまいを示している。
• レギュレーター計算はモジュラー曲線X(2)上の高次グリーン関数と関連しており、算術的幾何学と特殊関数の間の接点を示している。
• レギュレーターの非自明性は、ある周期積分κの無理数性と同値であり、セレーサー・サイクルの場合と類似している。