Searcharxiv⌕ Search

arXiv · 2610.02760

Arakelov inequalities for fibered surfaces in positive characteristic

Abstract

Let $f:S\to C$ be a relatively minimal semistable fibration of genus $g\ge2$ over an algebraically closed field of characteristic $p>0$ with smooth and geometrically connected generic fiber. Let $Σ\subset C$ denote the set of points over which the fibers are singular, with $s=|Σ|$. If the total surface $S$ is Hodge Witt and $s\ge2$, we prove the classical Arakelov inequality $$ \text{deg}\, f_*ω_{S/C}\le \frac g2 \text{deg}\, Ω_C^1(\logΣ), $$ where $ω_{S/C}$ denotes the relative dualizing sheaf. For $C=\mathbb P^1$, we obtain the stronger estimate $$ \text{deg}\, f_*ω_{S/\mathbb P^1}\le \frac g2(s-2)-\frac12 b_1(S), $$ where $b_1(S)$ is the first Betti number of $S$. We also construct a genus-$2$ semistable fibration over $\mathbb P^1$ with exactly $4$ singular fibers in characteristic $5$. Its total surface is Hodge Witt, and $$ \text{deg}\, f_*ω_{S/\mathbb P^1}=2=\frac g2(s-2). $$ Thus Nguyen's lower bound $s\ge4$ and the Hodge--Witt Arakelov inequality are both sharp. As applications, we derive a canonical-class inequality and a Szpiro-type inequality with coefficients linear in $g$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hao Max Sun, Wan-Yuan Xu. 2026-10-02. Arakelov inequalities for fibered surfaces in positive characteristic. https://arxiv.org/abs/2610.02760

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Les squelettes accessibles d'un espace de Berkovich

We define a class of skeletons on Berkovich analytic spaces, which we call "accessible", which contains the standard skeleton of the n-dimensional torus for every n and is preserved by G-glueing, by taking the inverse image along a morphism of relative dimension zero, and by taking the direct image along a morphism whose restriction to the involved skeleton is topologically proper.

math.AG↗

Critical Points of Degenerate Metrics on Algebraic Varieties: A Tale of Overparametrization

We study the critical points over an algebraic variety of an optimization problem defined by a quadratic objective that is degenerate. This scenario arises in machine learning when the dataset size is small with respect to the model, and is typically referred to as overparametrization. Our main result relates the degenerate optimization problem to a nondegenerate one via a projection. In the highly-degenerate regime, we find that a central role is played by the ramification locus of the projection. Additionally, we provide tools for counting the number of critical points over projective varieties, and discuss specific cases arising from deep learning. Our work bridges tools from algebraic geometry with ideas from machine learning, and it extends the line of literature around the Euclidean distance degree to the degenerate setting.

math.AG↗

On relative Ulrich bundles and generalized Clifford algebras

We give a Clifford-theoretic description of relatively Ulrich bundles on smooth families of hypersurfaces. A split projection centre produces an explicit monic Clifford algebra whose locally free representations are exactly the relatively Ulrich bundles. For quadric fibrations, the description is intrinsic and requires no projection centre; the even Clifford algebra gives exact formulas for the minimal relative Ulrich rank in terms of Brauer classes and monodromy. We also obtain applications to stability, moduli, and relative wildness.

math.AG↗