arXiv Science⌕ Search

arXiv subjects

Andrew Obus

Publications and source records attributed to Andrew Obus.

At least 19 recordsLinked to original sources
arXiv2025

Minimal regular normal crossings models of superelliptic curves

Let $K$ be a complete discretely valued field with perfect residue field $k$. If $X \to \mathbb{P}^1_K$ is a $\mathbb{Z}/d$-cover with $\text{char } k \nmid d$, we compute the minimal regular normal crossings model $\mathcal{X}$ of $X$ as the normalization of an explicit normal model $\mathcal{Y}$ of $\mathbb{P}^1_K$ in $K(X)$. The model $\mathcal{Y}$ is given using Mac Lane's description of discrete valuations on the rational function field $K(\mathbb{P}^1)$.

math.AG↗
arXiv2021

Stabilization indices of potentially Mumford curves

Let $X$ be a smooth projective curve over a complete discretely valued field $K$. Let $L/K$ be the minimal extension such that $X \times_K L$ has a semi-stable model, and write $e(L/K)$ for the ramification index of $L/K$. Let $e(X)$ be the so-called ``stabilization index'' of $X$, defined by Halle and Nicaise as the lcm of the multiplicities of the ``principal'' irreducible components of a minimal regular snc-model of $X$. It is known that if $L/K$ is tame, then $e(X) = e(L/K)$. If one drops the tameness assumption, but instead assumes that $X$ has index one and potentially multiplicative reduction, Halle and Nicaise ask if the equality $e(X) = e(L/K)$ still holds. We prove that $e(X)$ divides $e(L/K)$ in this situation, but we give examples, in every residue characteristic, of $X$ with $K$-rational points and potentially multiplicative reduction such that $e(X) \neq e(L/K)$.

math.AG↗
arXiv2021

Explicit minimal embedded resolutions of divisors on models of the projective line

Let $K$ be a discretely valued field with ring of integers $\mathcal{O}_K$ with perfect residue field. Let $K(x)$ be the rational function field in one variable. Let $\mathbb{P}^1_{\mathcal{O}_K}$ be the standard smooth model of $\mathbb{P}^1_K$ with coordinate $x$ on irreducible special fiber. Let $f(x) \in \mathcal{O}_K[x]$ be a monic irreducible polynomial with corresponding divisor of zeroes $\text{div}_0(f)$ on $\mathbb{P}^1_{\mathcal{O}_K}$. We give an explicit description of the minimal embedded resolution $\mathcal{Y}$ of the pair $(\mathbb{P}^1_{\mathcal{O}_K}, \text{div}_0(f))$ by using Mac Lane's theory to write down the discrete valuations on $K(x)$ corresponding to the irreducible components of the special fiber of $\mathcal{Y}$.

math.AG↗
arXiv2020

Superelliptic curves with many automorphisms and CM Jacobians

Let $\mathcal{C}$ be a smooth, projective, genus $g\geq 2$ curve, defined over $\mathbb{C}$. Then $\mathcal{C}$ has \emph{many automorphisms} if its corresponding moduli point $p \in \mathcal{M}_g$ has a neighborhood $U$ in the complex topology, such that all curves corresponding to points in $U \setminus \{p \}$ have strictly fewer automorphisms than $\mathcal{C}$. We compute completely the list of superelliptic curves having many automorphisms. For each of these curves, we determine whether its Jacobian has complex multiplication. As a consequence, we prove the converse of Streit's complex multiplication criterion for these curves.

math.AG↗
arXiv2019

Local Oort groups and the isolated differential data criterion

It is conjectured that if k is an algebraically closed field of characteristic p > 0, then any branched G-cover of smooth projective k-curves where the "KGB" obstruction vanishes and where a p-Sylow subgroup of G is cyclic lifts to characteristic 0. Obus has shown that this conjecture holds given the existence of certain meromorphic differential forms on P_1^k with behavior determined by the ramification data of the cover. We give a more efficient computational procedure to compute these forms than was previously known. As a consequence, we show that all D_25- and D_27-covers lift to characteristic zero.

math.AG↗
arXiv2019

Conductor-discriminant inequality for hyperelliptic curves in odd residue characteristic

We prove an inequality between the conductor and the discriminant 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 $X$ is its minimal regular model over $\mathcal{O}_K$, then the negative of the Artin conductor of $X$ (and thus also the number of irreducible components of the special fiber of $X$) is bounded above by the valuation of 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.

math.AG↗
arXiv2018

Explicit resolution of weak wild quotient singularities on arithmetic surfaces

A weak wild arithmetic quotient singularity arises from the quotient of a smooth arithmetic surface by a finite group action, where the inertia group of a point on a closed characteristic p fiber is a p-group acting with smallest possible ramification jump. In this paper, we give complete explicit resolutions of these singularities using deformation theory and valuation theory, taking a more local perspective than previous work has taken. Our descriptions answer several questions of Lorenzini. Along the way, we give a valuation-theoretic criterion for a normal snc-model of P^1 over a discretely valued field to be regular.

math.AG↗
arXiv2017

Reduction of dynatomic curves

The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of $Y_1(n)$ remains smooth and/or irreducible. As an application, we give new examples of good reduction of $Y_1(n)$ for several primes dividing the ramification discriminant when $n=7,8,11$. The proofs involve arithmetic and complex dynamics, reduction theory for curves, ramification theory, and the combinatorics of the Mandelbrot set.

math.DS↗
arXiv2017

Lifting of curves with automorphisms

The lifting problem for curves with automorphisms asks whether we can lift a smooth projective characteristic p curve with a group G of automorphisms to characteristic zero. This was solved by Grothendieck when G acts with prime-to-p stabilizers, and there has been much progress over the last few decades in the wild case. We survey the techniques and obstructions for this lifting problem, aiming at a reader whose background is limited to scheme theory at the level of Hartshorne's book. Throughout, we include numerous examples and clarifying remarks. We also provide a list of open questions.

math.AG↗
arXiv2016

The local lifting problem for A_4

We solve the local lifting problem for the alternating group A_4, thus showing that it is a local Oort group. Specifically, if k is an algebraically closed field of characteristic 2, we prove that every A_4-extension of k[[s]] lifts to characteristic zero. As a consequence, every A_4-branched cover of smooth projective curves in characteristic 2 lifts to characteristic zero.

math.AG↗
arXiv2015

Wild ramification kinks

Given a branched cover $f:Y\to X$ between smooth projective curves over a non-archimedian mixed-characteristic local field and an open rigid disk $D\subset X$, we study the question under which conditions the inverse image $f^{-1}(D)$ is again an open disk. More generally, if the cover $f$ varies in an analytic family, is this true at least for some member of the family? Our main result gives a criterion for this to happen.

math.AG↗
arXiv2015

A generalization of the Oort Conjecture

The Oort conjecture (now a theorem of Obus-Wewers and Pop) states that if k is an algebraically closed field of characteristic p, then any cyclic branched cover of smooth projective k-curves lifts to characteristic zero. This is equivalent to the local Oort conjecture, which states that all cyclic extensions of k[[t]] lift to characteristic zero. We generalize the local Oort conjecture to the case of Galois extensions with cyclic p-Sylow subgroups, reduce the conjecture to a pure characteristic p statement, and prove it in several cases. In particular, we show that D_9 is a so-called local Oort group.

math.AG↗
arXiv2014

Abhyankar's conjectures in Galois theory: Current status and future directions

In this paper, we survey the major contributions of Abhyankar to the development of the theory of fundamental groups and Galois covers in positive characteristic. We first discuss the current status of four conjectures of Abhyankar about Galois covers in positive characteristic. Then we discuss research directions inspired by Abhyankar's work, including many open problems.

math.AG↗
arXiv2013

Fields of moduli of three-point G-covers with cyclic p-Sylow, II

We continue the examination of the stable reduction and fields of moduli of G-Galois covers of the projective line over a complete discrete valuation field of mixed characteristic (0, p), where G has a cyclic p-Sylow subgroup P of order p^n. Suppose further that the normalizer of P acts on P via an involution. Under mild assumptions, if f: Y --> P^1 is a three-point G-Galois cover defined over C, then the nth higher ramification groups above p for the upper numbering of the (Galois closure of the) extension K/Q vanish, where K is the field of moduli of f.

math.AG↗
arXiv2013

Unramified Brauer classes on cyclic covers of the projective plane

Let X --> P^2 be a p-cyclic cover branched over a smooth, connected curve C of degree divisible by p, defined over a separably closed field of prime-to-p characteristic. We show that all (unramified) p-torsion Brauer classes on X that are fixed by Aut(X/P^2) arise as pullbacks of certain Brauer classes on k(P^2) that are unramified away from C and a fixed line L. We completely characterize these Brauer classes on k(P^2) and relate the kernel of the pullback map to the Picard group of X. If p = 2, we give a second construction, which works over any base field of characteristic not 2, that uses Clifford algebras arising from symmetric resolutions of line bundles on C to yield Azumaya representatives for the 2-torision Brauer classes on X. We show that, when p=2 and sqrt{-1} is in our base field, both constructions give the same result.

math.AG↗
arXiv2012

Toward Abhyankar's Inertia Conjecture for PSL_2(\ell)

For \ell \neq p odd primes, we examine PSL_2(\ell)-covers of the projective line branched at one point over an algebraically closed field of characteristic p, where PSL_2(\ell) has order divisible by p. We show that such covers can be realized with a large variety of inertia groups. Furthermore, for each inertia group realized, we can realize all "sufficiently large" higher ramification filtrations.

math.AG↗
arXiv2012

The (local) lifting problem for curves

The lifting problem that we consider asks: given a smooth curve in characteristic p and a group of automorphisms, can we lift the curve, along with the automorphisms, to characteristic zero? One can reduce this to a local question (the so-called local lifting problem) involving continuous group actions on formal power series rings. In this expository article, we overview much of the progress that has been made toward determining when the local lifting problem has a solution, and we give a taste of the work currently being undertaken. Of particular interest is the case when the group of automorphisms is cyclic. In this case the lifting problem is expected to be solvable---this is the Oort conjecture.

math.AG↗