[論文レビュー] Computing $L$-functions and semistable reduction of superelliptic curves

Irene I. Bouw, Stefan Wewers|arXiv (Cornell University)|Nov 19, 2012

Algebraic Geometry and Number Theory参考文献 8被引用数 5

ひとこと要約

この論文は、標数が $n$ を割らない素点 $\mathfrak{p}$ に対して、超楕円曲線 $y^n = f(x)$ の局所 $L$-因子および導子指数を明示的に計算するアルゴリズムを提供する。このような素点における曲線の安定還元を構成することで、特異ファイバーのゼータ関数を用いて $L$-因子の公式を導出し、スワン導子およびエタールコホロロジーを用いて導子指数を計算し、このクラスの曲線に対する完全な局所 $L$-関数および導子の記述が得られる。

ABSTRACT

We give an explicit description of the stable reduction of superelliptic curves of the form $y^n=f(x)$ at primes $\p$ whose residue characteristic is prime to the exponent $n$. We then use this description to compute the local $L$-factor of the curve and the exponent of conductor at $\p$.

研究の動機と目的

• 標数が $n$ を割らない素点 $\mathfrak{p}$ に対して、超楕円曲線 $y^n = f(x)$ の局所 $L$-因子および導子指数を計算すること。
• このような素点における曲線の安定還元の明示的記述を提供し、算術的不変量の計算を可能にすること。
• 特に悪い還元の状況においても、半安定還元が $L$-関数および導子の計算に有効な道具であることを示すこと。
• スワン導子および商曲線のエタールコホロロジーを用いて、導子指数 $f_{\mathfrak{p}}$ の公式を導出すること。

提案手法

• 数体 $K$ の整数環上での超楕円曲線の正則モデルを構成する。
• 安定還元を用いて素点 $\mathfrak{p}$ における特異ファイバーを分析し、指定された自己同型作用を持つ既約成分に分解する。
• 成分の双対グラフ上のガロア群 $\Gamma$ の作用を用いて、商曲線 $\bar{Z} = \bar{Y}/\Gamma$ を計算する。
• 商曲線 $\bar{Z}$ のゼータ関数を計算し、局所 $L$-因子 $L_{\mathfrak{p}}(Y,s)$ を抽出する。
• 公式 $f_{Y/K} = \epsilon + \delta$ を適用し、$\epsilon = 2g_Y - \dim H^1_{\text{ét}}(\bar{Z}_k, \mathbb{Q}_\ell)$ および $\delta$ をスワン導子として、導子指数を計算する。
• 高次の分岐フィルトレーション $\Gamma_i$ を用いてスワン導子を計算し、$\delta = 2(g_{\bar{Y}} - g_{\bar{Z}^w})$ とし、ここで $\bar{Z}^w = \bar{Y}/P$ で $P$ は単位根群の $p$-シロー部分群である。

実験結果

リサーチクエスチョン

• RQ1 標数が $n$ を割らない素点 $\mathfrak{p}$ に対して、超楕円曲線 $y^n = f(x)$ の局所 $L$-因子 $L_{\mathfrak{p}}(Y,s)$ を明示的に計算する方法は何か？
• RQ2 このような素点における安定還元の構造は何か？ また、$L$-関数および導子とどのように関係するか？
• RQ3 群の作用およびコホロロジー的データを用いて、導子指数 $f_{\mathfrak{p}}$ をアルゴリズム的に計算する方法は何か？
• RQ4 良い還元が存在しない状況においても、半安定還元のアプローチが $L$-関数および導子の計算に実用的で体系的な手法として有効であるか？

主な発見

• 局所 $L$-因子 $L_{\mathfrak{p}}(Y,s)$ は、商曲線 $\bar{Z} = \bar{Y}/\Gamma$ のゼータ関数によって決定され、例では $Z(\bar{Z}, T) = \frac{1 + 2T^2}{(1 - T)(1 - 2T)}$ として計算される。
• 導子指数 $f_{Y/K}$ は $f_{Y/K} = \epsilon + \delta = 8$ として計算され、$\epsilon = 4$ および $\delta = 4$ である。
• エタールコホロロジー $H^1_{\text{ét}}(\bar{Z}_k, \mathbb{Q}_\ell)$ の次元は 2 であり、これにより $\epsilon = 2g_Y - \dim H^1 = 4$ となる。
• スワン導子 $\delta$ は $2(g_{\bar{Y}} - g_{\bar{Z}^w}) = 2(3 - 1) = 4$ として計算され、ここで $g_{\bar{Y}} = 3$ および $g_{\bar{Z}^w} = 1$ である。
• 安定還元は成分の双対グラフ上の群の作用を用いて構成され、$\Gamma$ が成分を置換し、$I = \langle \sigma \rangle$ が位数 6 の巡回群として作用する。
• 商曲線 $\bar{Z}^w = \bar{Y}/P$ の算術的 genus は 1 であり、その成分は1つの genus-1 曲線と2つの genus-0 曲線からなり、各ペアが1つの交点を共有する。