On absolute Galois splitting fields of central simple algebras

A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper proves an existence theorem for such fields over global fields with enough roots of unity. As an application, all twisted function fields and all twisted Laurent series rings over symbol algebras (or p-algebras) over global fields are crossed products. An analogous statement holds for division algebras over Henselian valued fields with global residue field.The existence of absolute Galois splitting fields in central simple algebras over global fields is equivalent to a suitable generalization of the weak Grunwald-Wang theorem, which is proved to hold if enough roots of unity are present. In general, it does not hold and counter examples have been used in noncrossed product constructions. This paper shows in particular that a certain computational difficulty involved in the construction of explicit examples of noncrossed product twisted Laurent series rings cannot be avoided by starting the construction with a symbol algebra.     

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.     

Octic 2-adic fields

We compute all octic extensions of Q₂ and find that there are 1823 of them up to isomorphism. We compute the associated Galois group of each field, slopes measuring wild ramification, and other quantities. We present summarizing tables here with complete information available at our online database of local fields.     

Universal deformation rings need not be complete intersections

We answer a question of M. Flach by showing that there is a linear representation of a profinite group whose (unrestricted) universal deformation ring is not a complete intersection. We show that such examples arise in arithmetic in the following way. There are infinitely many real quadratic fields F for which there is a mod 2 representation of the Galois group of the maximal unramified extension of F whose universal deformation ring is not a complete intersection. Finally, we discuss bounds on the singularities of universal deformation rings of representations of finite groups in terms of the nilpotency of the associated defect groups. The first author was supported in part by NSF Grant DMS01-39737 and NSA Grant H98230-06-1-0021. The second author was supported in part by NSF Grants DMS00-70433 and DMS05-00106.     

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     

Differential Galois theory and non-integrability of planar polynomial vector fields

We study a necessary condition for the integrability of the polynomials vector fields in the plane by means of the differential Galois Theory. More concretely, by means of the variational equations around a particular solution it is obtained a necessary condition for the existence of a rational first integral. The method is systematic starting with the first order variational equation. We illustrate this result with several families of examples. A key point is to check whether a suitable primitive is elementary or not. Using a theorem by Liouville, the problem is equivalent to the existence of a rational solution of a certain first order linear equation, the Risch equation. This is a classical problem studied by Risch in 1969, and the solution is given by the “Risch algorithm”. In this way we point out the connection of the non integrability with some higher transcendent functions, like the error function.     

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 ?.     

Computation of Galois groups associated to the 2-class towers of some quadratic fields

The p-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group for with d=−445,−1015,−1595,−2379. In each case we are able to narrow the identity of G down to one of a finite number of explicitly given finite groups. From this follow several results regarding the corresponding 2-class tower.     

Universal deformation rings and cyclic blocks

In this paper we determine the universal deformation rings of certain modular representations of finite groups which belong to cyclic blocks. The representations we consider are those for which every endomorphism is stably equivalent to multiplication by a scalar. We then apply our results to study the counterparts for universal deformation rings of conjectures about embedding problems in Galois theory. Received July 19, 1999 / Revised May 13, 2000 / Published online October 30, 2000     

On Galois cohomology of semisimple groups over local and global fields of positive characteristic

We treat a case that was omitted from consideration in our article [2] in Math Zeit, 2007.     

On Galois representations for abelian varieties with complex and real multiplications

In this paper, we study the image of l-adic representations coming from Tate module of an abelian variety defined over a number field. We treat abelian varieties with complex and real multiplications. We verify the Mumford-Tate conjecture for a new class of abelian varieties with real multiplication.     

Galois theory for bialgebroids, depth two and normal Hopf subalgebras

We reduce certain proofs in [16, 11, 12] to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius extension property. We prove that a proper algebra extension is a leftT-Galois extension for some right finite projective left bialgebroid over some algebraR if and only if it is a left depth two and left balanced extension. Exchanging left and right in this statement, we have a characterization of right Galois extensions for left finite projective right bialgebroids. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.

---

Sunto Riduciamo alcune prove di [16,11,12] a quasibasi di profondità due da un lato solo, un approccio minimalistico che conduce ad una caratterizzazione di estensioni di Galois per bialgebroidi proietivi finiti senza la proprietà di estensione di Frobenius. Dimostriamo che un'algebra che sia un'estensione propria è un'estensioneT-Galois sinistra per qualche bialgebroide finito proiettivo a sinistra su qualche algebraR se, e solo se, è un'estensione di profondità due a sinistra e bilanciata a sinistra. Scambiando destra e sinistra nell'enunciato, otteniamo una caratterizzazione di estensioni di Galois destre per bialgebroidi finiti proiettivi a destra. Guardando ad esempi di profondità due, otteniamo che una sottoalgebra di Hopf è normale se, e solo se, è un'estensione Hopf-Galois. Caratterizziamo le estensioni Hopf-Galois deboli finite usando un'applicazione canonica di Galois alternativa ottenendo parecchi corollari: queste sono di profondità due e la suriettività dell'applicazione di Galois implica la sua biiettività.

     

Universal deformation rings and self-injective Nakayama algebras

Let k be a field and let Λ be an indecomposable finite dimensional k-algebra such that there is a stable equivalence of Morita type between Λ and a self-injective split basic Nakayama algebra over k. We show that every indecomposable finitely generated Λ-module V has a universal deformation ring $R(\mathrm{\Lambda },V)$ and we describe $R(\mathrm{\Lambda },V)$ explicitly as a quotient ring of a power series ring over k in finitely many variables. This result applies in particular to Brauer tree algebras, and hence to p-modular blocks of finite groups with cyclic defect groups.     

Galois cohomology of the classical groups over imperfect fields

Elaborating on techniques of Bayer-Fluckiger and Parimala, we prove the following strong version of Serre’s Conjecture II for classical groups: let G be a simply connected absolutely simple group of outer type A_n or of type B_n, C_n or D_n (non trialitarian) defined over an arbitrary field F. If the separable dimension of F is at most 2 for every torsion prime of G, then every G-torsor is trivial.     

Integral spinor norm groups over dyadic local fields

The spinor norms of integral rotations of an arbitrary quadratic lattice over an arbitrary dyadic local field are determined. The results are given in terms of BONGs, short for “bases of norm generators”. This approach provides a new way to describe lattices over dyadic local fields.     

Universal deformation rings and generalized quaternion defect groups

We determine the universal deformation rings R(G,V) of certain mod 2 representations V of a finite group G which belong to a 2-modular block of G whose defect groups are isomorphic to a generalized quaternion group D. We show that for these V, a question raised by the author and Chinburg concerning the relation of R(G,V) to D has an affirmative answer. We also show that R(G,V) is a complete intersection even though R(G/N,V) need not be for certain normal subgroups N of G which act trivially on V.     

Galois theory over rings of arithmetic power series

Let R be a domain, complete with respect to a norm which defines a non-discrete topology on R. We prove that the quotient field of R is ample, generalizing a theorem of Pop. We then consider the case where R is a ring of arithmetic power series which are holomorphic on the closed disc of radius 0<r<1 around the origin, and apply the above result to prove that the absolute Galois group of the quotient field of R is semi-free. This strengthens a theorem of Harbater, who solved the inverse Galois problem over these fields.     

Exact sequences in the Galois theory of rings

We study the second and fifth terms of the seven-term exact sequences mentioned in Ref. Zh. Mat. 1978, 6A417. For any (not necessarily separable) ring extension we construct an eight-term exact sequence whose terms are Tate cohomology groups.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 104–111, 1979.