Table of Contents
Fetching ...

Wild conductor exponents of curves

Harry Spencer

TL;DR

The paper provides an explicit formula for the wild conductor exponent $n_{C,\text{wild}}$ of plane curves over a $p$-adic field $K$ in terms of invariants from explicit extensions of $K$, and shows that for genus $g$ with $p>g+1$ one can realize the same exponent on a hyperelliptic curve. Central to the approach is recasting the curve as a symmetric cover $X\to B$ and decomposing wild conductors via cyclic subcovers, together with an Artin-like induction across representations of $S_n$ and a perturbation-based local-constancy argument. A key outcome is that, under suitable ramification hypotheses, $n_{C,\text{wild}}$ equals the wild exponent of a hyperelliptic model $D$, i.e., $n_{C,\text{wild}}=n_{D,\text{wild}}$, with explicit formulas $n_{C,\text{wild}}=w_K(\text{disc}_x f)$ for plane curves $C: f(x,y)=0$ and $n_{C,\text{wild}}=w_K(g)$ for hyperelliptic $C: y^2=g(t)$ (when $p\neq2$). The results extend to superelliptic and more general covers, and an appendix corrects a 3-torsion computation in genus $2$. The methods provide a practical route to compute wild conductors (e.g., via Magma) and link non-hyperelliptic curves to hyperelliptic ones in terms of their wild ramification data.

Abstract

We give an explicit formula for wild conductor exponents of plane curves over $\mathbb{Q}_p$ in terms of standard invariants of explicit extensions of $\mathbb{Q}_p$. Furthermore, given a curve of genus $g$ with $p > g + 1$, we produce a hyperelliptic curve with the same wild conductor exponent. In an appendix we resolve a minor issue in the literature on the $3$-torsion of genus $2$ curves.

Wild conductor exponents of curves

TL;DR

The paper provides an explicit formula for the wild conductor exponent of plane curves over a -adic field in terms of invariants from explicit extensions of , and shows that for genus with one can realize the same exponent on a hyperelliptic curve. Central to the approach is recasting the curve as a symmetric cover and decomposing wild conductors via cyclic subcovers, together with an Artin-like induction across representations of and a perturbation-based local-constancy argument. A key outcome is that, under suitable ramification hypotheses, equals the wild exponent of a hyperelliptic model , i.e., , with explicit formulas for plane curves and for hyperelliptic (when ). The results extend to superelliptic and more general covers, and an appendix corrects a 3-torsion computation in genus . The methods provide a practical route to compute wild conductors (e.g., via Magma) and link non-hyperelliptic curves to hyperelliptic ones in terms of their wild ramification data.

Abstract

We give an explicit formula for wild conductor exponents of plane curves over in terms of standard invariants of explicit extensions of . Furthermore, given a curve of genus with , we produce a hyperelliptic curve with the same wild conductor exponent. In an appendix we resolve a minor issue in the literature on the -torsion of genus curves.
Paper Structure (15 sections, 27 theorems, 46 equations)

This paper contains 15 sections, 27 theorems, 46 equations.

Key Result

Theorem 1.1

Let $C/K$ be a curve over a finite extension of $\mathbb{Q}_p$ equipped with a simply ramified degree $n$ cover of $\mathbb{P}^1$, with $p>n$. The hyperelliptic curve $D$ defined by the ramification locus satisfies

Theorems & Definitions (60)

  • Theorem 1.1: =Theorem \ref{['thm:Sn_main']}
  • Remark 1.2
  • Theorem 1.3: =Theorem \ref{['thm:main2']}
  • Remark 1.4
  • Remark 1.5
  • Corollary 1.6: =Corollary \ref{['cor:super']}
  • Example 1.7
  • Proposition 1.8: =Proposition \ref{['prop:cylic_general']}
  • Lemma 1.9: =Lemma \ref{['lem:Wconst']}
  • Definition 3.1: e.g. UlmerConductors
  • ...and 50 more