arXiv論文メモ
新着一覧
math.AG / math.AC / math.NT · 査読状況未確認

穏分岐する巡回被覆へ導手・判別式不等式を拡張

Conductor-Discriminant Inequality for Tamely Ramified Cyclic Covers I

Andrew Obus, Padmavathi Srinivasan, Connor Stewart

この論文をやさしく読む

ひとことで言うと

代数曲線の退化を測る導手という量を、多項式の判別式から抑える不等式を、より広い巡回被覆に拡張する研究です。

何に役立つ?

数論幾何で曲線の悪い還元や退化を評価するための理論的な道具になります。既知の超楕円曲線の結果を一般化しています。

この研究の面白いところ

曲線の最小正則モデルのArtin導手と、多項式から計算される判別式を直接結び付けます。対となる局所解析の論文が証明の計算部分を支えています。

どこまで分かった?

剰余体が完全で、その標数がnを割らないことなどが前提です。明示された式ではnがdeg(f)を割る条件があり、Kohlsの結果を強めるという説明にはfがモニックという条件もあります。

v2のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

優秀な付値環𝒪Kを持ち、完全剰余体の標数がnを割らない離散付値体K上で定義された、ℙ¹のすべてのℤ/n被覆について、導手・判別式不等式を証明する。ただし、第3著者の研究(arXiv:2609.20585)に現れるいくつかの計算を用いる。具体的には、このような曲線Xがyⁿ=f(x)、f(x)∈𝒪K[x]、nがdeg(f)を割るという形で与えられ、𝒳が𝒪K上の最小正則モデルであるとき、𝒳のArtin導手の負号を付けた値は、(n−1)vK(disc(rad(f)))によって上から抑えられる。 これは、第1・第2著者による超楕円曲線についての先行研究を直接一般化するものであり、その先行研究はOgg、Saito、Liu、第2著者の研究を一般化したものだった。fがモニックな場合には、このような曲線のヤコビアンの導手指数が(n−1)vK(disc(rad(f)))によって上から抑えられるというKohlsの結果を強める。

v2の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-17(UTC)
最新改訂
2026-09-18 · v2
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

We prove conductor-discriminant inequalities for all $\mathbb{Z}/n$-covers of $\mathbb{P}^1$ defined over discretely valued fields $K$ with excellent valuation ring $\mathcal{O}_K$ and perfect residue field of characteristic not dividing $n$, modulo some calculations appearing in work of the third author (arXiv:2609.20585). Specifically, when such a curve $X$ is given by $y^n = f(x)$ with $f(x) \in\mathcal{O}_K[x]$ and $n\mid\text{deg}(f)$, and if $\mathcal{X}$ is its minimal regular model over $\mathcal{O}_K$, then the negative of the Artin conductor of $\mathcal{X}$ is bounded above by $(n-1)v_K(\text{disc}(\text{rad}(f)))$. This is a direct generalization of previous work of the first two authors on hyperelliptic curves, which in turn generalized work of Ogg, Saito, Liu, and the second author. When $f$ is monic, this strengthens a result of Kohls stating that the conductor exponent of the Jacobian of such a curve is bounded above by $(n-1)v_K(\text{disc}(\text{rad}(f)))$.

著者のコメント

33 pages

arXiv ID: 2609.20553 / 要約の誤りについて