[論文レビュー] Tau function and the Prym class

D. Korotkin, P. Zograf|arXiv (Cornell University)|Feb 4, 2013

Meromorphic and Entire Functions被引用数 4

ひとこと要約

本稿では、滑らかな二次微分形式のモジュライ空間に二つのベルグマンτ関数を導入し、境界除数付近におけるそれらの漸近的挙動を用いて、有理ピカール群における明示的関係を導出する。主な結果は、Prym類 $\lambda_P$、ホッジ類 $\lambda$、自己同型類 $\psi$、境界除数類 $\delta_j$ 間の新しい関係であり、τ関数解析を通じてムムフォードの関係を二次微分形式の文脈で回復・拡張するものである。

ABSTRACT

We use the formalism of the Bergman tau functions to study the geometry of moduli spaces of holomorphic quadratic differentials on complex algebraic curves. We introduce two natural tau functions and interpret them as holomorphic sections of certain line bundles on the moduli space. Analyzing the asymptotic behavior of these tau functions near the boundary of the moduli space we get two non-trivial relation in the rational Picard group of the moduli space of quadratic differential.

研究の動機と目的

• genus $g \geq 2$ の安定曲線上の正則二次微分形式のモジュライ空間 $\overline{\mathcal{Q}}_g$ の幾何を研究すること。
• $P\overline{\mathcal{Q}}_g$ 上のラインバンドルの正則切断として自然な二つのτ関数を定義し、それらを分析すること。
• これらのτ関数の境界除数付近における漸近的解析を用いて、$P\overline{\mathcal{Q}}_g$ の有理ピカール群における関係を導出すること。
• Prym類 $\lambda_P$、ホッジ類 $\lambda$、自己同型類 $\psi$、境界除数類 $\delta_j$ 間の新しい関係を確立すること。

提案手法

• 著者たちは、二次微分形式のモジュライ空間上でのベルグマンτ関数形式を用いて、二つのτ関数 $\tau_\pm$ を定義する。
• 局所座標と留数計算を用いて、$P\overline{\mathcal{Q}}_g$ の境界除集合 $D_{\text{deg}}, D_0, \dots, D_{[g/2]}$ 付近における $\tau_\pm$ の漸近的挙動を分析する。
• 分析には、$q = v^2$ に付随する標準的二重被覆 $\widehat{C} \to C$ を介した二次微分形式のアーベル被覆への持ち上げが含まれ、$\widehat{C}$ 上のホッジ bundle を $\mu$-不変および反変部分に分解する。
• プリム bundle $\Lambda_-$ は、対合 $\mu$ の $-1$ 固有空間として特定され、その第一チャーン類 $\lambda_P$ はτ関数の漸近的挙動を用いて計算される。
• ノードおよび極付近でのシュワルツ微分の差 $S_{\widehat{B}_0} - S_{v_0}$ の留数計算に依拠する。
• 得られた漸近的挙動を用いて、$\tau_\pm$ の対数微分を除数類に一致させることで、有理ピカール群における線形関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間 $P\overline{\mathcal{Q}}_g$ の境界付近におけるベルグマンτ関数はどのように漸近的挙動を示すか？
• RQ2 これらのτ関数の漸近的挙動から、$P\overline{\mathcal{Q}}_g$ の有理ピカール群においてどのような関係が導かれるか？
• RQ3 Prym類 $\lambda_P$ はホッジ類 $\lambda$、自己同型類 $\psi$、境界除数類 $\delta_j$ とどのように関係するか？
• RQ4 ムムフォードの関係 $\lambda_2 = 13\lambda_1$ は、二次微分形式のモジュライ空間の文脈で回復・拡張可能か？

主な発見

• $D_{\text{deg}}$ の近傍におけるτ関数 $\tau_\pm$ の漸近的挙動から、関係式 $48\lambda - \frac{20}{3}(g-1)\psi = \frac{2}{3}\delta_{\text{deg}} + 4\sum_{j=0}^{[g/2]}\delta_j$ が得られる。
• $D_0$ の近傍でも同様の関係が得られ、境界成分間での一貫性が確認される。
• 各 $D_j$ ($j \geq 1$) の近傍では、$\tau_\pm \sim t^4$ ($t \to 0$) と漸近するため、同じグローバル関係が得られる。
• 全ての漸近的結果を組み合わせることで、$\text{Pic}(P\overline{\mathcal{Q}}_g) \otimes \mathbb{Q}$ 内で $\lambda_P - 13\lambda = -\sum_{j=0}^{[g/2]}\delta_j - \frac{3}{2}(g-1)\psi$ という重要な関係が得られる。
• この関係は、ムムフォードの関係の引き戻しを示しており、$P\overline{\mathcal{Q}}_g$ 上で $p^*\lambda_2 - 13p^*\lambda_1 = -\sum_{j=0}^{[g/2]}\delta_j$ が成り立つ。ここで $\lambda_2 = c_1(\pi_*\omega_g^2)$ である。
• Prym類 $\lambda_P$ は $\lambda_P = p^*\lambda_2 - \frac{3g-3}{2}\psi$ を満たすことが示され、二次微分形式の決定的バンドルと関連づけられる。