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.     

A universal deformation ring which is not a complete intersection ring

Bleher and Chinburg recently used modular representation theory to produce an example of a linear representation of a finite group whose universal deformation ring is not a complete intersection ring. We prove this by using only elementary cohomological obstruction calculus. To cite this article: J. Byszewski, C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

Poisson (co)homology of truncated polynomial algebras in two variables

We study the Poisson (co)homology of the algebra of truncated polynomials in two variables viewed as the semi-classical limit of a quantum complete intersection studied by Bergh and Erdmann. We show in particular that the Poisson cohomology ring of such a Poisson algebra is isomorphic to the Hochschild cohomology ring of the corresponding quantum complete intersection. To cite this article: S. Launois, L. Richard, C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

Demuškin Groups with Group Actions and Applications to Deformations of Galois Representations

We determine the universal deformation ring, in the sense of Mazur, of a residual representation , where k is a finite field of characteristic p and K is a local field of residue characteristic p. As one might hope for, but is not proven in the global case, the deformation ring is a complete intersection, flat over W(k), with the exact number of equations given by the dimension of . We then go on to determine the ordinary locus inside the deformation space and, using ideas of Mazur, apply this to compare the universal and the universal ordinary deformation spaces. Provided that the universal ring for ordinary deformations with fixed determinant is finite flat over W(k), as was shown in many cases by Diamond, Fujiwara, Taylor–Wiles and Wiles, we show that the corresponding universal deformation ring – with no restriction of ordinariness or fixed determinant – is a complete intersection, finite flat over W(k) of the dimension conjectured by Mazur, provided that the restriction of to the inertia subgroup is different from the inverse cyclotomic character.     

Quantum differential operators on the quantum plane

The universal enveloping algebra of a Lie algebra acts on its representation ring R through D(R), the ring of differential operators on R. A quantised universal enveloping algebra (or quantum group) is a deformation of a universal enveloping algebra and acts not through the differential operators of its representation ring but through the quantised differential operators of its representation ring. We present this situation for the quantum group of sl₂.     

L'anneau de cohomologie d'une variété de Seifert

All manifolds M considered in this Note are orientable Seifert 3-manifolds with base surface S² and infinite fundamental group π₁ (M). Our goal is to compute the cohomology ring H^* (M; Z/2Z). The ring structure will enable us to determine whether M admits a degree 1 map into RP³ or not. We describe the equivariant chain complex for the universal cover M of M, and give a diagonal approximation. The cohomology ring H^* (M; Z/2Z) is computed.     

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.     

Quasi-hopf algebra actions and smash products

A classical result of Magnus asserts that a free group F has a faithful representation in the group of units of a ring of non-commuting formal power series with integral coefficients. We generalize this result to the category of A-groups, where A is an associative ring or an Abelian group. We say that a free A-group F^A has a faithful Magnus representation if there is a ring B containing A as an additive subgroup (or a subring) such that F^A is faithfully represented (exactly as in Magnus' classical result in the case A = Z)in the group of units of the ring of formal power series in non-communting indeterminater over B.The three principal results are: (I) If A is a torsion free Abelian group and F^A is a free A-groupp of Lyndon' type, then F^A has a faithful Magnus representation; (II) If A is an ω‐residually Z ring, then F^A has a faithful Magnus representation;(III) for every nontrivial torsion-free Abelian group A, F^A has a faithful Magnus representation in B[[Y]] for a suitable ring B in and only if F^Q has a faithful Magnus representation in Q[[Y]].     

Ring graphs and complete intersection toric ideals

We study the family of graphs whose number of primitive cycles equals its cycle rank. It is shown that this family is precisely the family of ring graphs. Then we study the complete intersection property of toric ideals of bipartite graphs and oriented graphs. An interesting application is that complete intersection toric ideals of bipartite graphs correspond to ring graphs and that these ideals are minimally generated by Gröbner bases. We prove that any graph can be oriented such that its toric ideal is a complete intersection with a universal Gröbner basis determined by the cycles. It turns out that bipartite ring graphs are exactly the bipartite graphs that have complete intersection toric ideals for any orientation.     

Rings of invariants for modular representations of elementary abelian <Emphasis Type="Italic">p</Emphasis>-groups

We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We compute the ring of invariants for all two-dimensional representations; these rings are generated by two algebraically independent elements. We compute the ring of invariants of the symmetric square of a two-dimensional representation; these rings are hypersurfaces. We compute the ring of invariants for all three-dimensional representations of rank at most three; these rings are complete intersections with embedding dimension at most five. We conjecture that the ring of invariants for any three-dimensional representation of an elementary abelian p-group is a complete intersection.     

Une alternative sur l'entropie des groupesAn alternative about entropy of groups

We prove the following alternative: either there exists a finitely generated group with exponential growth whose entropy is zero, or there exists a universal constant M>0 such that the entropy of all non-elementary hyperbolic groups with cyclic centralizers and their non-elementary subgroups is at least M. To cite this article: V. Guirardel, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 743–746.     

Explicit Universal Deformations of Even Galois Representations

We investigate the case of deformations of even Galois representations. Our methods are the group theoretic ones mainly developed by Nigel Boston to study odd representations. We present conditions for Borel and tame cases under which the universal deformation ring is isomorphic to ?_p[[T]] and where we compute the universal deformation explicitly. Furthermore we produce a family of examples of totally real S₃ extensions which satisfy the above conditions in the tame case and we give examples in the Borel case. Finally we study the change of the deformation space under enlarging the ramification and thus give an example of an even representation that is not twist-finite.     

On deformation rings of residually reducible Galois representations and R = T theorems

We introduce a new method of proof for R = T theorems in the residually reducible case. We study the crystalline universal deformation ring R (and its ideal of reducibility I) of a mod p Galois representation ρ ₀ of dimension n whose semisimplification is the direct sum of two absolutely irreducible mutually non-isomorphic constituents ρ ₁ and ρ ₂. Under some assumptions on Selmer groups associated with ρ ₁ and ρ ₂ we show that R/I is cyclic and often finite. Using ideas and results of (but somewhat different assumptions from) Bellaïche and Chenevier we prove that I is principal for essentially self-dual representations and deduce statements about the structure of R. Using a new commutative algebra criterion we show that given enough information on the Hecke side one gets an R = T-theorem. We then apply the technique to modularity problems for 2-dimensional representations over an imaginary quadratic field and a 4-dimensional representation over Q.     

Adjoint selmer groups as Iwasawa modules

We fix a primep. In this paper, starting from a given Galois representation ? having values inp-adic points of a classical groupG, we study the adjoint action of ? on thep-adic Lie algebra of the derived group ofG. We call this new Galois representation the adjoint representation Ad(?) of ?. Under a suitablep-ordinarity condition (and ramification conditions outsidep), we define, following Greenberg, the Selmer group Sel(Ad(?))_/L for each number fieldL. We scrutinize the behavior of Sel(Ad(?))_{/E ∞} as an Iwasawa module for a fixed ? _p -extensionE _∞/E of a number fieldE and deduce an exact control theorem. A key ingredient of the proof is the isomorphism between the Pontryagin dual of the Selmer group and the module of Kähler differentials of the universal nearly ordinary deformation ring of ?. WhenG=GL(2), ? is a modular Galois representation and the base fieldE is totally real, from a recent result of Fujiwara identifying the deformation ring with an appropriatep-adic Hecke algebra, we conclude some fine results on the structure of the Selmer groups, including torsion-property and an exact limit formula ats=0 of the characteristic power series, after removing the trivial zero.     

Dimension and embedding theorems for geometric lattices

Let G be an n-dimensional geometric lattice. Suppose that 1 ? e, f ? n ? 1, e + f ? n, but e and f are not both n ? 1. Then, in general, there are E, F? G with dim E = e, dim F = f, E ? F = 1, and dim E ∧ F = e + f ? n ? 1; any exception can be embedded in an n-dimensional modular geometric lattice M in such a way that joins and dimensions agree in G and M, as do intersections of modular pairs, while each point and line of M is the intersection (in M) of the elements of G containing it.     

Factorizing τ-spectra of mappings

In this paper by a spectrum of mappings we mean a morphism of spectra of spaces. However, using the notion of a mapping of mappings, we give the definition of a spectrum of mappings similar to that of a spectrum of spaces. In this case, the formulations of the given results are also similar to the formulations of the corresponding results concerning the spectra of spaces.For the spectra of mappings we define the notion of a τ-spectrum of mappings factorizing in a special sense and prove a version of the Spectral Theorem for such spectra. Furthermore, to a given indexed collection F of mapping we associate a τ-spectrum factorizing in the above special sense whose mappings are Containing Mappings for F constructed in Iliadis (2005) [4]. These associated τ-spectra and the corresponding version of the Spectral Theorem imply that for a given indexed collection F of mappings any so-called “natural” τ-spectrum for F factorizing in the special sense contains a cofinal and τ-closed subspectrum whose mappings are Containing Mapping for F. Thus, Containing Mappigs for F appear here without any concrete construction. The associated τ-spectra are used also in order to define and characterize the so-called second-type saturated classes of mappings (which are “saturated” by universal elements).     

Vector invariants for the two-dimensional modular representation of a cyclic group of prime order

In this paper, we study the vector invariants of the 2-dimensional indecomposable representation V₂ of the cyclic group, Cp, of order p over a field F of characteristic p, FCp[mV₂]. This ring of invariants was first studied by David Richman (1990) [20] who showed that the ring required a generator of degree m(p−1), thus demonstrating that the result of Noether in characteristic 0 (that the ring of invariants of a finite group is always generated in degrees less than or equal to the order of the group) does not extend to the modular case. He also conjectured that a certain set of invariants was a generating set with a proof in the case p=2. This conjecture was proved by Campbell and Hughes (1997) in [3]. Later, Shank and Wehlau (2002) in [24] determined which elements in Richman's generating set were redundant thereby producing a minimal generating set.We give a new proof of the result of Campbell and Hughes, Shank and Wehlau giving a minimal algebra generating set for the ring of invariants FCp[mV₂]. In fact, our proof does much more. We show that our minimal generating set is also a SAGBI basis for FCp[mV₂]. Further, our results provide a procedure for finding an explicit decomposition of F[mV₂] into a direct sum of indecomposable Cp-modules. Finally, noting that our representation of Cp on V₂ is as the p-Sylow subgroup of SL₂(Fp), we describe a generating set for the ring of invariants F[mV₂]^SL₂(Fp) and show that (p+m−2)(p−1) is an upper bound for the Noether number, for m>2.     

Flows on graphs applied to diagonal similarity and diagonal equivalence for matrices

Three equivalence relations are considered on the set of n × n matrices with elements in F₀, an abelian group with absorbing zero adjoined. They are the relations of diagonal similarity, diagonal equivalence, and restricted diagonal equivalence. These relations are usually considered for matrices with elements in a field. But only multiplication is involved. Thus our formulation in terms of an abelian group with o is natural. Moreover, if F is chosen to be an additive group, diagonal similarity is characterized in terms of flows on the pattern graph of the matrices and diagonal equivalence in terms of flows on the bipartie graph of the matrices. For restricted diagonal equivalence a pseudo-diagonal of the graph must also be considered. When no pseudo-diagonal is present, the divisibility properties of the group F play a role. We show that the three relations are characterized by cyclic, polygonal, and pseudo-diagonal products for multiplicative F. Thus, our method of reducing propositions concerning the three equivalence relations to propositions concerning flows on graphs, provides a unified approach to problems previously considered independently, and yields some n, w or improved results. Our consideration of cycles rather than circuits eliminates certain restrictions (e.g., the complete reducibility of the matrices) which have previously been imposed. Our results extend theorems in Engel and Schneider [5], where however the group F is permitted to be non-commutative.     

Universal Deformation Rings for the Symmetric Group <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>

Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Let S ₄ denote the symmetric group on 4 letters. We determine the universal deformation ring R(S ₄,V) for every kS ₄-module V which has stable endomorphism ring k and show that R(S ₄,V) is isomorphic to either k, or W[t]/(t ²,2t), or the group ring W[ℤ/2]. This gives a positive answer in this case to a question raised by the first author and Chinburg whether the universal deformation ring of a representation of a finite group with stable endomorphism ring k is always isomorphic to a subquotient ring of the group ring over W of a defect group of the modular block associated to the representation.     

Connected and disconnected fields

Examples are sought of Hausdorff ring topologies on a field that are (i) arcwise connected; (ii) connected but not arcwise connected; (iii) totally disconnected but not ultraregular; (iv) ultraregular but not basically disconnected; (v) basically disconnected but neither a P-space nor extremally disconnected; (vi) P-spaces; (vii) extremally disconnected. Examples of type (i), (ii), (iv) and (vi) are given. For a field with a ring topology, properties of F-zerosets are considered. In particular, it is shown that the intersection of each pair of F-zerosets is again an F-zeroset if and only if {(0, 0)} is an F-zeroset of F².