[論文レビュー] Integrality of Framing and Geometric Origin of 2-functions

Schwarz, Albert, Vologodsky, Vadim+1 more|arXiv (Cornell University)|Feb 23, 2017

Black Holes and Theoretical Physics参考文献 19被引用数 3

ひとこと要約

本稿は、代数的係数をもつ2関数に対するフレーミング作用素の整数性を確立し、退化するCalabi-Yau三様体族上の切断された正規関数のq展開におけるその幾何的起源を特定する。p進ホッジ理論およびフロベニウス構造を用いて、これらの関数がフレーミングに関して不変であり、自然に代数的サイクルから生じることを証明し、Gromov-Witten不変量の整数性を数体へと拡張する。

ABSTRACT

We say that a formal power series $\sum a_n z^n$ with rational coefficients is a 2-function if the numerator of the fraction $a_{n/p}-p^2 a_n$ is divisible by $p^2$ for every prime number $p$. One can prove that 2-functions with rational coefficients appear as building block of BPS generating functions in topological string theory. Using the Frobenius map we define 2-functions with coefficients in algebraic number fields. We establish two results pertaining to these functions. First, we show that the class of 2-functions is closed under the so-called framing operation (related to compositional inverse of power series). Second, we show that 2-functions arise naturally in geometry as $q$-expansion of the truncated normal function associated with an algebraic cycle extending a degenerating family of Calabi-Yau 3-folds.

研究の動機と目的

• フロベニウス写像を用いて、代数的数体係数への2関数の概念を一般化すること。
• 生成関数の文脈におけるべき級数の合成逆関数に関連するフレーミング作用素が、一般化された設定においても整数性を保つことを証明すること。
• 退化するCalabi-Yau三様体族上の代数的サイクルに関連する切断された正規関数のq展開として、そのような2関数の幾何的実現を確立すること。
• p進手法を用いて、Gromov-Witten理論における不変量の整数性が代数的数体の文脈でも保たれることを示すこと。
• 鏡像対称性における無理数的不変量のカテゴリカルおよび算術的意味を、代数的係数をもつコホモロジー的不変量と関連付けることによって明確化すること。

提案手法

• p進コホモロジー上のフロベニウス自己準同型を用いて、代数的数体係数をもつ2関数を定義する。
• Q上でのp進Bモデルおよび対数的de Rhamコホモロジーを用いて、周期積分とそのモノドロミーを分析する。
• フロベニウス可換接続行列Φpを構成し、I = (0 0 0 1; 0 0 1 0; 0 -1 0 0; -1 0 0 0)を介してカップ積ペアリングとの整合性条件を導出する。
• Fontaine-Lafaille理論を用いて、極限混合ホッジ構造における拡張類をp進不変量と関連付ける。
• 接続行列の微分方程式を導出し、δ²n₀ = Frobₚ(D) − Dを用いて無限小不変量の整数性を証明する。
• p進付値の議論とフロベニウス適合性を用いて、鏡像写像、Griffiths-Yukawaカップリング、およびコホモロジー基底の整数性を検証する。

実験結果

リサーチクエスチョン

• RQ1 フレーミング作用素に関して整数性を保つように、2関数の概念を代数的数体係数へ一般化できるか？
• RQ2 べき級数の文脈における合成逆関数として定義されるフレーミング作用素は、代数的係数をもつ2関数にどのように作用するか？
• RQ3 Calabi-Yau三様体およびその退化の文脈において、代数的係数をもつ2関数の幾何的起源は何か？
• RQ4 p進ホッジ理論を用いて、Gromov-Witten不変量の整数性を有理数係数を超えて代数的数体へ拡張できるか？
• RQ5 切断された正規関数とそのq展開は、2関数を幾何的不変量として実現する上で果たす役割は何か？

主な発見

• 代数的係数をもつ2関数のクラスは、定理8で示されるようにフレーミング作用素に関して閉じている。
• 2関数の性質は、生成関数の文脈における合成逆関数作用素（すなわちフレーミング）に関して保存される。
• 2関数は、定理22で確立されたように、退化するCalabi-Yau三様体族に拡張される代数的サイクルに関連する切断された正規関数のq展開として幾何的に生じる。
• 無限小不変量の整数性は、δは対数微分、n₀はp進正則関数であるとして、Frobₚ(D) − D = −δ²n₀という恒等式により証明される。
• コホモロジー基底、鏡像写像、Griffiths-Yukawaカップリングは、すべてp進的意味で整数的であり、分母にpを含まない。
• フロベニウス構造とカップ積ペアリングの適合性から、接続行列の対角成分がδmₛₛ = 0およびm₀₀ = m₁₁ = m₂₂ = m₃₃ = 1、m₁₀ = 0、m₃₂ = −m₁₀ = 0を満たすことが導かれる。