Abstract:This paper investigates Galois branched covers of the open $p$-adic disc and their reductions to characteristic $p$. Using the field of norms functor of Fontaine and Wintenberger, we show that the special fiber of a Galois cover is determined by arithmetic and geometric properties of the generic fiber and its characteristic zero specializations. As applications, we derive a criterion for good reduction in the abelian case, and give an arithmetic reformulation of the local Oort Conjecture concerning the liftability of cyclic covers of germs of curves.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the Galois ramified covers of the $p$-adic open disc and their reduction problems in characteristic $p$. Specifically, through the field of norms functor of Fontaine and Wintenberger, the author explores how the special fiber of a Galois ramified cover is determined by the arithmetic and geometric properties of its generic fiber and its characteristic - zero specialization. The main contributions of the paper include: 1. **Criteria for good reduction in characteristic $p$**: In the abelian case, the author gives a criterion for judging whether a ramified cover has good reduction. 2. **Arithmetic restatement of the local Oort conjecture**: The author gives an arithmetic restatement of the liftability problem of cyclic covers, which is a stronger form of the Oort conjecture. ### Mathematical background and notation Let $R$ be a complete discrete valuation ring of mixed characteristic $(0, p)$, with a perfect residue field $k$ and a fraction field $K$. The paper mainly studies the reduction problem of Galois ramified covers on the $p$-adic open disc $D:=\text{Spec}(R[[Z]])$. ### Overview of main results The core theorem (Theorem 3.1) of the paper shows that for a regular $G$-Galois ramified cover $Y\to D$, the properties of its special fiber $Y_k\to D_k$ can be described by its generic fiber $Y_K\to D_K$ and its characteristic - zero specialization. Specifically: 1. If $Y_k\to D_k$ is separable at the generic point, then there exists a cofinal set $C_Y\subset E_{L|K}$ such that for a sufficiently large $E\in C_Y$, we have $n_E = n_s$ and $K = X_L(LE)$ as a subfield of $X_L(L)^{\text{sep}}$. Moreover, the field of norms functor $X_L(-)$ induces an isomorphism $\text{Gal}(K|X_L(L))\cong\text{Gal}(E'|E)$ and preserves the ramification filtration. 2. If $Y_k$ is irreducible, then $Y_k\to D_k$ is inseparable at the generic point if and only if $d_E\to\infty$. 3. If $G$ is an abelian group, then for a sufficiently large $E$, we have $n_s\leq n_E$, independent of any separability assumption. In particular, if $Y_E$ is irreducible for a sufficiently large $E$, then $Y_k$ is also irreducible. ### Applications and significance These results not only provide a new perspective for understanding Galois ramified covers on the $p$-adic open disc, but also support the local method for solving the global lifting problem of Galois covers of curves. In particular, through these results, the author further explores the Oort conjecture and proposes more specific arithmetic conditions, which are of great significance for understanding and verifying the Oort conjecture.

Galois covers of the open p-adic disc

A survey of Galois theory of curves in characteristic p

Galois subcovers of the Hermitian curve in characteristic $p$ with respect to subgroups of order $dp$ with $d\not=p$ prime

Galois covers of singular curves in positive characteristics

Cohomologie de systèmes locaux $p$-adiques sur les revêtements du demi-plan de Drinfeld

On Galois covers of curves and arithmetic of Jacobians

The place of exceptional covers among all diophantine relations

Lifting Elementary Abelian Covers of Curves

$p$-group Galois covers of curves in characteristic $p$ II

Reducibility points and characteristic $p$ local fields I- Simple supercuspidal representations of symplectic groups

Inverse Galois problem for ordinary curves

Semistable reduction of covers of degree $p$

Mod-p Poincaré Duality in p-adic Analytic Geometry

On a Galois cover of the Hermitian curve of genus $\mathfrak{g}=\frac{1}{8}(q-1)^2$

Moduli stacks of Galois representations and the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$

Galois invariants of finite abelian descent and Brauer sets

On Covering Radii in Function Fields

A Conjecture of Flach and Morin

Special Points Arising From Faithful Metacyclic and Dicyclic Galois Covers of the Projective Line

Abelian covers and second fundamental form

The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers