On regular but non-smooth integral curves

TL;DR

This paper investigates non-smooth points on regular integral curves over imperfect fields, establishing bounds on Frobenius pullbacks to analyze singularities and constructing fibrations with specific invariants, especially in characteristic 2.

Contribution

It introduces a bound for Frobenius pullbacks to transform non-decomposed points into rational points, enabling computation of geometric invariants and construction of fibrations with prescribed singularities.

Findings

Bound is sharp in characteristic 2.

Algorithm for computing geometric δ-invariants.

Analysis of plane quartic rational curves in characteristic 2.

Abstract

Let $C$ be a regular geometrically integral curve over an imperfect field $K$ and assume that it admits a non-smooth point $\mathfrak{p}$ which -- seen as a prime of the separable function field $K(C)|K$ -- is non-decomposed in the base field extension $\overline{K} \otimes_K K(C)|\overline{K}$. In this paper we establish a bound for the number of iterated Frobenius pullbacks needed in order to transform $\mathfrak{p}$ into a rational point. This provides an algorithm to compute geometric $\delta$-invariants of non-smooth points and a procedure to construct fibrations with moving singularities of prescribed $\delta$-invariants. We show that the bound is sharp in characteristic 2. We further study the geometry of a pencil of plane projective rational quartics in characteristic 2 whose generic fibre attains our bound. On our way, we prove several results on separable and non-decomposed points that might be of independent interest.