[論文レビュー] The transcendental part of the regulator map for K_1 on a mirror family of K3 surfaces

Pedro Luis del Angel, Stefan Müller–Stach|arXiv (Cornell University)|Aug 28, 2000

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、四次$K3$表面の鏡像族における$K_1$類の規範写像の超越的部品を計算し、関連する正規関数が標準的なピカード＝フクス超幾何微分方程式を満たさないことを示している。これは、一般の点においてサイクルが非分解的であることを示し、非同次ピカード＝フクス方程式がパンレヴェVI型微分方程式に関連していることを示している。

ABSTRACT

We compute the transcendental part of the normal function corresponding to the Deligne class of a cycle in K_1 of a mirror family of quartic K3 surfaces. The resulting multivalued function does not satisfy the hypergeometric differential equation of the periods and we conclude that the cycle is indecomposable for most points in the mirror family. The occurring inhomogenous Picard-Fuchs equation are related to Painlev\\'e VI type differential equations.

研究の動機と目的

• H. エスナールの予想を検証する。すなわち、$K3$表面における特定の$K_1$類が、規範写像を通じてデリーニュコホロジーの超越的部品で検出されることを示すこと。
• 一パrameterの鏡像四次$K3$表面族におけるこれらの$K_1$類に由来する正規関数の振る舞いを分析すること。
• これらの正規関数が標準的なピカード＝フクス超幾何微分方程式を満たすかどうかを特定すること。
• 正規関数を支配する微分方程式を特定し、それらをパンレヴェVI型方程式に関連付けること。
• 正規関数が古典的ピカード＝フクス方程式の解でないことを示すことにより、族内の一般の点においてサイクルが非分解的であることを確立すること。

提案手法

• フェルマー四次曲面の1パrameter変形を用いて、基底$B$でパrametr化された鏡像四次$K3$表面族を構成する。
• $\mathbb{P}^1$への有理写像を介して$CH^2(X_b,1)$内のサイクルを定義し、デリーニュコホロジーの超越的部品に値をとる正規関数$\nu(b)$を誘導する。
• 正規写像$c_{2,1}$を、ホロモーフィック2形式の実2セル上のアーベル＝ジャコビ積分として計算し、$B$上のに多価的な正則関数を得る。
• ガウス＝ミンクス接続とモノドロミー解析を用いて、正規関数が満たす非同次ピカード＝フクス微分方程式を導出する。
• $\mathcal{D}_{\rm PF}$の係数を分析し、特異性の存在する部分に沿って極を持つ有理関数であることを示す。
• 得られた非同次方程式が超幾何的でないが、$\nu$に関する明示的パラメータ表示を通じてパンレヴェVI型方程式と関連していることを示す。

実験結果

リサーチクエスチョン

• RQ1 鏡像$K3$表面族における$K_1$類に由来する正規関数は、標準的なピカード＝フクス超幾何微分方程式を満たすか？
• RQ2 $K3$表面における$K_1$の規範写像の超越的部品を支配する微分方程式の構造は何か？
• RQ3 $K_1$類に付随する正規関数が、その微分方程式を通じて非分解的であることを示せるか？
• RQ4 非同次ピカード＝フクス方程式は、パンレヴェ超越関数などの既知の特殊関数とどのように関連しているか？
• RQ5 族内の特異なファイバーの近傍における正規関数のモノドロミーおよび解析的性質は何か？

主な発見

• $K_1$サイクルに付随する正規関数は、標準的な超幾何的ピカード＝フクス方程式を満たさない。これは、非自明な超越的性質を示している。
• 正規関数を支配する非同次ピカード＝フクス方程式は、一般化されたパンレヴェVI型微分方程式と同値であることが示された。
• $\mathcal{D}_{\rm PF}$の係数は、パrameter $\nu$における有理関数であり、族の退化点に沿ってのみ極を持つ。
• 正規関数は、特異なファイバーを除いてコンパクト化された基底に正則に拡張される単価的なメロモーフィック関数である。
• 正規関数が古典的ピカード＝フクス方程式の解でないことは、一般の族内の点において対応する$K_1$類が非分解的であることを示している。
• 微分方程式の構造は、サイクルがデリーニュコホロジーの超越的部品にあり、$CH^1(X) \otimes \mathbb{C}^\times$からの標準的サイクル類写像の像に属さないことを確認している。