We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Conductor-discriminant inequality for hyperelliptic curves in odd residue characteristic

Abstract: We prove a conductor-discriminant inequality for all hyperelliptic curves defined over discretely valued fields $K$ with perfect residue field of characteristic not $2$. Specifically, if such a curve is given by $y^2 = f(x)$ with $f(x) \in \mathcal{O}_K[x]$, and if $\mathcal{X}$ is its minimal regular model over $\mathcal{O}_K$, then the negative of the Artin conductor of $\mathcal{X}$ (and thus also the number of irreducible components of the special fiber of $\mathcal{X}$) is bounded above by the valuation of $\mathrm{disc}\ (f)$. There are no restrictions on genus of the curve or on the ramification of the splitting field of $f$. This generalizes earlier work of Ogg, Saito, Liu, and the second author.
The proof relies on using so-called Mac Lane valuations to resolve singularities of arithmetic surfaces, a technique that was recently introduced by Wewers and the first author.
In the course of the proof, we introduce and study the discriminant bonus of an algebraic integer $\alpha$, which is the logarithmic covolume of the lattice generated by $\alpha$ in the ring of integers of $K(\alpha)$. We prove a lower bound on the discriminant bonus of $\alpha$ in terms of the distance to and degree of a closest lower degree approximation to $\alpha$. This bound is crucial to the conductor-discriminant inequality.
Comments: Shortened and simplified. The first main result (formerly Theorem 6.9) has been improved and extracted into the paper "Explicit minimal embedded resolutions of divisors in models of the projective line" by the same authors. Now 60 pages
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
MSC classes: 11G20, 14H25, 14J17 (Primary), 13F30, 14B05 (Secondary)
Cite as: arXiv:1910.02589 [math.AG]
  (or arXiv:1910.02589v3 [math.AG] for this version)

Submission history

From: Andrew Obus [view email]
[v1] Mon, 7 Oct 2019 03:15:11 GMT (80kb)
[v2] Fri, 8 Nov 2019 02:36:45 GMT (81kb)
[v3] Fri, 7 May 2021 01:48:29 GMT (69kb)

Link back to: arXiv, form interface, contact.