[論文レビュー] On the arithmetic self-intersection number of the dualizing sheaf on arithmetic surfaces

Ulf Kuehn|arXiv (Cornell University)|Jun 11, 2009

Algebraic Geometry and Number Theory参考文献 18被引用数 6

ひとこと要約

本稿は、算術的曲線の双対化層の算術的自己交差数について、新たな公式を確立し、モジュラー曲線 $X_0(N)$, $X(N)$、および素数指数のフェルマー曲線 $F_p$ に対して有効な上界を導く。アラケロフ理論を精緻化し、一般化された算術的交差理論を用いることで、判別式、対数導子項、特異ファイバーの幾何的不変量を含む明示的上界を導出し、従来の手法と比較して洗練されたアプローチを提供する。

ABSTRACT

We study the arithmetic self-intersection number of the dualizing sheaf on arithmetic surfaces with respect to morphisms of a particular kind. We obtain upper bounds for the arithmetic self-intersection number of the dualizing sheaf on minimal regular models of the modular curves associated with congruence subgroups $Γ_0(N)$ with square free level, as well as for the modular curves X(N) and the Fermat curves with prime exponent.

研究の動機と目的

• 算術的曲線の双対化層の算術的自己交差数 $\overline{\omega}_{\textrm{Ar}}^{2}$ に対する新しい公式を導出すること。
• モジュラー曲線 $X_0(N)$, $X(N)$、および素数指数のフェルマー曲線 $F_p$ の最小正則モデルにおける $\overline{\omega}_{\textrm{Ar}}^{2}$ に対する有効な上界を確立すること。
• 従来の手法に伴う技術的複雑性を回避する、一般化された算術的交差理論に基づく体系的な手法を提供すること。
• 判別式、次数、および悪い素点における局所的交差数といった不変量にのみ依存する明示的上界を計算すること。

提案手法

• 一般化された算術的交差理論とグリーン関数を用いて、$\overline{\omega}_{\textrm{Ar}}^{2}$ の新しい一般公式を導出する。
• 基底曲線の双曲的計量と被覆上のアラケロフ計量との比較を適用し、ヨルゲンソン＝クラメールの $L^\infty$-ノルム推定に依存する。
• 写像 $\boldsymbol{\beta}:{\mathcal{X}}\to{\mathcal{Y}}$ を用いて、問題を基底上の既知の不変量（特にラベル付き点とその分岐指数）に還元する。
• 被覆に依存しない定数 $\kappa_1$, $\kappa_2$ を、自動形式の境界から得られるものとして、解析的寄与を計算する。
• 悪い素点における局所的交差数を用いて幾何的寄与を評価し、$b_{\mathfrak{p}}$ を特異ファイバーの複雑さの尺度として用いる。
• $N$ や $p$ に上にある素点におけるファイバー成分、交差多重度、成分数の分析を通じて、特定の曲線にこの境界を適用する。

実験結果

リサーチクエスチョン

• RQ1 算術的曲線の双対化層の算術的自己交差数 $\overline{\omega}_{\textrm{Ar}}^{2}$ に対して、一般公式を導出できるか？
• RQ2 モジュラー曲線 $X_0(N)$, $X(N)$、およびフェルマー曲線 $F_p$ における $\overline{\omega}_{\textrm{Ar}}^{2}$ に対して、どのような上界を確立できるか？
• RQ3 定数 $\kappa_1$, $\kappa_2$ および局所的寄与 $a_{\mathfrak{p}}\log\operatorname{Nm}({\mathfrak{p}})$ は、被覆および基底曲線の幾何にどのように依存するか？
• RQ4 [AU] + [MU] や [AU] + [JK1] のような従来の手法の技術的困難を回避できるか？

主な発見

• 素数指数 $p$ のフェルマー曲線 $F_p$ に対して、上界は $\overline{\omega}_{\textrm{Ar}}^{2} \leq (2g_p-2)\left(\log|\Delta_{{\mathbb{Q}}(\zeta_p)|{\mathbb{Q}}}|^{2} + [{\mathbb{Q}}(\zeta_p):{\mathbb{Q}}](\kappa_1\log p + \kappa_2) + g_p p^8 \log p\right)$ である。
• $N = p^k m$ であるモジュラー曲線 $X(N)$ に対して、上界は $\overline{\omega}_{\textrm{Ar}}^{2} \leq (2g_N-2)\left(\log|\Delta_{{\mathbb{Q}}(\zeta_N)|{\mathbb{Q}}}|^{2} + [{\mathbb{Q}}(\zeta_N):{\mathbb{Q}}](\kappa_1\log N + \kappa_2) + 2\sum_{{\mathfrak{p}}\mid N}\frac{(r_{\mathfrak{p}}-1)^2 m_{\mathfrak{p}}}{s_{\mathfrak{p}}}\log\operatorname{Nm}{\mathfrak{p}}\right)$ である。
• 本手法は、従来の研究と比較して $X_0(N)$ の上界を著しく短い証明で得られ、平方自由レベルのケースを越えて一般化可能である。
• 定数 $\kappa_1$, $\kappa_2$ は絶対的であり、曲線に依存せず、ヨルゲンソン＝クラメールの自動形式推定から得られる。
• 幾何的寄与は、成分数 $r_{\mathfrak{p}}$、重複度 $m_{\mathfrak{p}}$、交差数 $u_{\mathfrak{p}}$, $l_{\mathfrak{p}}$ を用いた標準的な計算に還元される。
• $X(N)$ の上界には $N$ に上にある素点に関する和が含まれており、$\frac{(r_{\mathfrak{p}}-1)^2 m_{\mathfrak{p}}}{s_{\mathfrak{p}}}$ という係数が $p^{2k}$ に比例して増加し、ファイバーの複雑さを反映している。