[论文解读] 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$ 时，提供了计算超椭圆曲线 $y^n = f(x)$ 在素点 $\mathfrak{p}$ 处局部 $L$-因子与导子指数的显式算法。通过构造该曲线在这些素点处的稳定约化，作者利用特殊纤维的 zeta 函数推导出 $L$-因子的公式，并通过 Swan 导子与平展上同调计算导子指数，从而为这一类曲线提供了完整的局部 $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$.

研究动机与目标

• 计算当 $\mathrm{char}(k) \nmid n$ 时，超椭圆曲线 $y^n = f(x)$ 在素点 $\mathfrak{p}$ 处的局部 $L$-因子与导子指数。
• 提供此类曲线在这些素点处稳定约化的显式描述，以支持算术不变量的计算。
• 展示半稳定约化作为计算 $L$-函数与导子的有效工具，尤其在坏约化情形下。
• 通过 Swan 导子与商曲线的平展上同调，推导导子指数 $f_{\mathfrak{p}}$ 的公式。

提出的方法

• 在数域 $K$ 的整环上构造超椭圆曲线的正规模型。
• 通过稳定约化分析 $\mathfrak{p}$ 处的特殊纤维，将曲线分解为具有指定自同构作用的不可约分支。
• 利用伽罗瓦群 $\Gamma$ 在分支对偶图上的作用，计算商曲线 $\bar{Z} = \bar{Y}/\Gamma$。
• 通过计算商曲线 $\bar{Z}$ 的 zeta 函数，提取局部 $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$ 为 Swan 导子，以计算导子指数。
• 利用高阶分歧过滤 $\Gamma_i$ 通过 $\delta = 2(g_{\bar{Y}} - g_{\bar{Z}^w})$ 计算 Swan 导子，其中 $\bar{Z}^w = \bar{Y}/P$ 且 $P$ 为伽罗瓦群中 $p$-西洛子群。

实验结果

研究问题

• RQ1 如何显式计算当 $\mathrm{char}(k) \nmid n$ 时，超椭圆曲线 $y^n = f(x)$ 在素点 $\mathfrak{p}$ 处的局部 $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$ 的 zeta 函数决定，该函数在示例中计算为 $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$。
• Swan 导子 $\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$ 的算术亏格为 1，其分支由一个亏格 1 曲线与两个亏格 0 曲线组成，每对分支间仅有一个交点。