[論文レビュー] K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: the structure of invariant

Shouhei Ma, Kenichi Yoshikawa|arXiv (Cornell University)|Jun 1, 2015

Advanced Algebra and Geometry参考文献 26被引用数 5

ひとこと要約

本稿は、自己同型を備えたK3表面のモジュライ空間上の正則ねじれ不変量 $\tau_M$ の構造を完全に特定し、各成分上でそれがボルケルズ上昇と古典的シーゲルモジュラー形式の積であることを示している。また、変種版のモジュラー性を証明し、ボルケルズ予想の等長的類似を確立し、ウェイリ表現とシータ上昇を用いて明示的な自動形式表現を提供する。

ABSTRACT

A holomorphic torsion invariant of K3 surfaces with involution was introduced by the second-named author. In this paper, we completely determine its structure as an automorphic function on the moduli space of such K3 surfaces. On every component of the moduli space, it is expressed as the product of an explicit Borcherds lift and a classical Siegel modular form. We also introduce its twisted version. We prove its modularity and a certain uniqueness of the modular form corresponding to the twisted holomorphic torsion invariant. This is used to study an equivariant analogue of Borcherds' conjecture.

研究の動機と目的

• 自己同型を備えたK3表面のモジュライ空間上での正則ねじれ不変量 $\tau_M$ を自動形式関数として完全に特定すること。
• モジュライ空間の各連結成分上で $\tau_M$ をボルケルズ上昇と古典的シーゲルモジュラー形式の積として明示的に表現すること。
• $\tau_M$ の変種版を導入し、そのモジュラー性を証明し、その一意性と自動形式との関係を確立すること。
• $\tau_M$ の構造を用いて、ボルケルズ予想の等長的類似を定式化・証明すること。
• 実K3表面とスピンループバンドルの観点から、結果のミラー対称的解釈を提供すること。

提案手法

• K3格子における直交補空間 $\rho = M^\bot$ の判別群 $A_\rho$ に関連するウェイリ表現 $\rho_\rho$ の使用。
• $\mathbf{C}[A_\rho]$ の群環におけるベクトル ${\bf e}_0$ を用いたペトロフスラッシュ作用素によるモジュラー形式 $F_\rho$ の構成。
• $F_\rho$ にボルケルズ上昇を適用し、無限積展開を持つメロモーレック自動形式 $\Psi_\rho(\cdot, F_\rho)$ を生成すること。
• トレイリーマップ $J_M: \tilde{\frak M}_\rho^0 \to \mathcal{A}_g$ を通じた、重さ $2^{g+1}(2^g+1)$ および $2(2^g-1)(2^g+2)$ のシーゲルモジュラー形式のペトロフノルムのプルバック。
• スピンループバンドル構成の使用と、固定曲線 $X^\rho$ 上のドレフト作用素と同一視されたディラック作用素 $D_{S_\rho}^2$ の特定により、解析的ねじれと $\tau_M^{\rm spin}$ を関連させること。
• ハイパーカイラー構造と実K3表面上の反正則自己同型を用いたミラー対称性の解釈の確立。

実験結果

リサーチクエスチョン

• RQ1 自己同型を備えた2-要素的K3表面のモジュライ空間上での正則ねじれ不変量 $\tau_M$ は、どのように自動形式関数として表現できるか？
• RQ2 $\tau_M$ のボルケルズ上昇とシーゲルモジュラー形式との明確な分解は何か？
• RQ3 $\tau_M$ の変種版がモジュラー性を保ち、その一意性は何か？
• RQ4 この構造を用いてボルケルズ予想の等長的類似を定式化・証明できるか？
• RQ5 自己同型を備えたK3表面のミラー対称性は、解析的ねじれ不変量とどのように関係するか？

主な発見

• モジュライ空間の各成分上で、$\tau_M$ は $C_M \cdot \|\Psi_\rho(\cdot, 2^{g-1}F_\rho + f_\rho)\|^{-1/2}$ と表され、ここで $\Psi_\rho$ はボルケルズ上昇、$f_\rho$ は特定のモジュラー形式である。
• 変種版の正則ねじれ不変量はモジュラーであり、その自動形式的性質によって一意に定まることが証明され、対応するシーゲルモジュラー形式の一意性結果が得られる。
• $\tau_M$ の構造は、明示的にボルケルズ上昇と古典的シーゲルモジュラー形式の積として与えられ、2-要素的K3表面の非特異的タイプに対して成立する。
• この結果により、$\tau_M$ の完全な自動形式的記述が得られ、モジュライ空間上での関数的構造が解明された。
• 実K3表面を用いたミラー対称的解釈が得られ、$\tau_M^{\rm spin}$ は、複素化されたカーラー錐内の点で評価されたボルケルズ上昇として表現される。
• 証明は、ディラック作用素 $D_{S_\gamma}^2$ が固定曲線上のドレフト作用素と同一視されることに依拠しており、解析的ねじれとスペクトルゼータ関数を結びつける。