arXiv subjects
Publications and source records attributed to Andrew Obus.
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.
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.
Colmez conjectured a product formula for periods of abelian varieties with complex multiplication by a field K, analogous to the standard product formula in algebraic number theory. He proved this conjecture up to a rational power of 2 for K/Q abelian. In this paper, we complete the proof of Colmez for K/Q abelian by eliminating this power of 2. Our proof relies on analyzing the Galois action on the De Rham cohomology of Fermat curves in mixed characteristic (0, 2), which in turn relies on understanding the stable reduction of Z/2^n-covers of the projective line, branched at three points.
If K_0 is the fraction field of the Witt vectors over an algebraically closed field k of characteristic p, we calculate upper bounds on the conductor of higher ramification for (the Galois closure of) extensions K_0(zeta_{p^r}, sqrt[p^r]{a})/K_0, where a is in K_0(zeta_{p^r}). Here zeta_{p^r} is a primitive p^r-th root of unity. In certain cases, including when a is in K_0 and p=2, we calculate the conductor exactly. These calculations can be used to determine the discriminants of various extensions of Q obtained by adjoining roots of unity and radicals.
The local Oort conjecture states that, if G is cyclic and k is an algebraically closed field of characteristic p, then all G-extensions of k[[t]] should lift to characteristic zero. We prove a critical case of this conjecture. In particular, we show that the conjecture is always true when v_p(|G|) \leq 3, and is true for arbitrarily highly p-divisible cyclic groups G when a certain condition on the higher ramification filtration is satisfied.
We examine in detail the stable reduction of 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 of order p^n. If G is further assumed to be p-solvable (i.e., G has no nonabelian simple composition factors with order divisible by p), we obtain the following consequence: Suppose f: Y --> P^1 is a three-point G-Galois cover defined over the complex numbers. 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. This extends work of Beckmann and Wewers. Additionally, we completely describe the stable model of a general three-point Z/p^n-cover, where p > 2.
Let K be a complete discrete valuation field of mixed characteristic (0,p) with algebraically closed residue field, and let f: Y --> P^1 be a three-point G-cover defined over K, where G has a cyclic p-Sylow subgroup P. We examine the stable model of f, in particular, the minimal extension K^{st}/K such that the stable model is defined over K^{st}. Our main result is that, if g(Y) \geq 2, the ramification indices of f are prime to p, and |P| = p^n, then the p-Sylow subgroup of Gal(K^{st}/K) has exponent dividing p^{n-1}. This extends work of Raynaud in the case that |P| = p.
Suppose G is a semi-direct product of the form Z/p^n \rtimes Z/m where p is prime and m is relatively prime to p. Suppose K is a local field of characteristic p > 0. The main result states necessary and sufficient conditions on the ramification filtrations that occur for wildly ramified G-Galois extensions of K. In addition, we prove that there exists a parameter space for G-Galois extensions of K with given ramification filtration whose dimension depends only on the ramification filtration. We provide explicit equations for wild cyclic extensions of K of degree p^3.