Deformations of locally abelian Galois representations and unramified extensions

We study the deformation theory of Galois representations whose restriction to every decomposition subgroup is abelian. As an application, we construct unramified non-solvable extensions over the field obtained by adjoining all p-power roots of unity to the field of rational numbers.     

Local Galois module structure in positive characteristic and continued fractions

For a Galois extension of degree p of local fields of characteristic p, we express the Galois action on the ring of integers in terms of a combinatorial object: a balanced {0, 1}-valued sequence that only depends on the discriminant and p. We show that the embedding dimension edim(R) of the associated order R is tightly related to the minimal number d of R-module generators of the ring of integers. Moreover, we show how to compute d and edim(R) from p and the discriminant with a continued fraction expansion. We thank Bruno Anglès, Wieb Bosma and Rob Tijdeman for their bibliographic assistance. Received: 19 March 2006     

Multiplicities of modp Galois representations

We study the multiplicity with which 2-dimensional modp Galois representations occur in Jacobians of modular curves.     

Galois module structure for dihedral extensions of degree 8: Realizable classes over the group ring

Let k be a number field with ring of integers O_k, and let Γ be the dihedral group of order 8. For each tame Galois extension N/k with group isomorphic to Γ, the ring of integers O_N of N determines a class in the locally free class group Cl(O_k[Γ]). We show that the set of classes in Cl(O_k[Γ]) realized in this way is the kernel of the augmentation homomorphism from Cl(O_k[Γ]) to the ideal class group Cl(O_k), provided that the ray class group of O_k for the modulus 4O_k has odd order. This refines a result of the second-named author (J. Algebra 223 (2000) 367-378) on Galois module structure over a maximal order in k[Γ].     

Determination of conductors from Galois module structure

Let E denote an unramified extension of , and set for an odd prime p and . We determine the conductors of the Kummer extensions of F by those elements such that is Galois. This follows from a comparison of the Galois module structure of with the unit filtration of F. Received: 28 August 2000; in final form: 11 October 2001 / Published online: 4 April 2002     

Motivic cohomology and unramified cohomology of quadrics

This is the last of a series of three papers where we compute the unramified cohomology of quadrics in degree up to 4. Complete results were obtained in the two previous papers for quadrics of dimension ≤4 and ≥11. Here we deal with the remaining dimensions between 5 and 10. We also prove that the unramified cohomology of Pfister quadrics with divisible coefficients always comes from the ground field, and that the same holds for their unramified Witt rings. We apply these results to real quadrics. For most of the paper we have to assume that the ground field has characteristic 0, because we use Voevodsky’s motivic cohomology. Received August 18, 1999 / final version received December 10, 1999?Published online April 19, 2000     

Multiplicities of mod p Galois representations

We study the multiplicity with which 2-dimensional mod p Galois representations occur in Jacobians of modular curves. Received: 26 February 1997 / Revised version: 2 July 1997     

The Galois representations associated to a Drinfeld module in special characteristic—II: Openness

Let φ be a Drinfeld A-module in special characteristic p₀ over a finitely generated field K. For any finite set P of primes p≠p₀ of A let Γ_P denote the image of Gal(K^sep/K) in its representation on the product of the p-adic Tate modules of φ for all p∈P. We determine Γ_P up to commensurability.     

The Galois representations associated to a Drinfeld module in special characteristic—I: Zariski density

Let ? be a Drinfeld A-module of rank r over a finitely generated field K. Assume that ? has special characteristic p₀ and consider any prime p≠p₀ of A. If End_K^sep(?)=A, we prove that the image of Gal(K^sep/K) in its representation on the p-adic Tate module of ? is Zariski dense in GL_r.     

The Galois representations associated to a Drinfeld module in special characteristic—III: Image of the group ring

Let K be a finitely generated field of transcendence degree 1 over a finite field, and set G_K?Gal(K^sep/K). Let φ be a Drinfeld A-module over K in special characteristic. Set E?End_K(φ) and let Z be its center. We show that for almost all primes p of A, the image of the group ring A_p[G_K] in End_A(T_p(φ)) is the commutant of E. Thus, for almost all p it is a full matrix ring over Z⊗_AA_p. In the special case E=A it follows that the representation of G_K on the p-torsion points φ[p] is absolutely irreducible for almost all p.     

Number fields unramified away from 2

Consider the set of number fields unramified away from 2, i.e., unramified outside {2,∞}. We show that there do not exist any such fields of degrees 9 through 15. As a consequence, the following simple groups are ruled out for being the Galois group of an extension which is unramified away from 2: Mathieu groups M₁₁ and M₁₂, PSL(3,3), and alternating groups Aj for 8<j<16 (values j?8 were previously known).     

On unramified normal coverings of hyperelliptic curves

It is well known that the number of unramified normal coverings of an irreducible complex algebraic curve C with a group of covering transformations isomorphic to Z₂⊕Z₂ is (2^4g−3⋅2^2g+2)/6. Assume that C is hyperelliptic, say . Horiouchi has given the explicit algebraic equations of the subset of those covers which turn out to be hyperelliptic themselves. There are of this particular type. In this article, we provide algebraic equations for the remaining ones.     

Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

Local Galois theory in dimension two

This paper proves a generalization of Shafarevich's Conjecture, for fields of Laurent series in two variables over an arbitrary field. This result says that the absolute Galois group G_K of such a field K is quasi-free of rank equal to the cardinality of K, i.e. every non-trivial finite split embedding problem for G_K has exactly proper solutions. We also strengthen a result of Pop and Haran-Jarden on the existence of proper regular solutions to split embedding problems for curves over large fields; our strengthening concerns integral models of curves, which are two-dimensional.     

Lifting Galois representations of number fields

Let F be a number field. Given a continuous representation with insoluble image we show, under moderate assumptions at primes dividing ?∞, that for some continuous representation which is unramified outside finitely many primes. We also establish level lowering when F is totally real, is the reduction of a nearly ordinary Hilbert modular form and is distinguished at ?.