Showing 1–32 of 32 results for author: Bleher, F M

Explicit Approximations to Class Field Towers

Authors: Frauke M. Bleher, Ted Chinburg

Abstract: We answer a question of Peikert and Rosen by giving for each $ε> 0$ an efficient construction of infinite families of number fields $N$ such that the root discriminant $D_N^{1/[N:\mathbb{Q}]}$ is bounded above by a constant times $[N:\mathbb{Q}]^ε$. We answer a question of Peikert and Rosen by giving for each $ε> 0$ an efficient construction of infinite families of number fields $N$ such that the root discriminant $D_N^{1/[N:\mathbb{Q}]}$ is bounded above by a constant times $[N:\mathbb{Q}]^ε$. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: 12 pages

Holomorphic differentials of Klein four covers

Authors: Frauke M. Bleher, Nicholas Camacho

Abstract: Let $k$ be an algebraically closed field of characteristic two, and let $G$ be isomorphic to $\mathbb{Z}/2\times\mathbb{Z}/2$. Suppose $X$ is a smooth projective irreducible curve over $k$ with a faithful $G$-action, and assume that the cover $X\to X/G$ is totally ramified, in the sense that it is ramified and every branch point is totally ramified. We study to what extent the lower ramification g… ▽ More Let $k$ be an algebraically closed field of characteristic two, and let $G$ be isomorphic to $\mathbb{Z}/2\times\mathbb{Z}/2$. Suppose $X$ is a smooth projective irreducible curve over $k$ with a faithful $G$-action, and assume that the cover $X\to X/G$ is totally ramified, in the sense that it is ramified and every branch point is totally ramified. We study to what extent the lower ramification groups of the closed points of $X$ determine the isomorphism types of the indecomposable $kG$-modules and the multiplicities with which they occur as direct summands of the space $\mathrm{H}^0(X,Ω_{X/k})$ of holomorphic differentials of $X$ over $k$. In the case when $X/G=\mathbb{P}^1_k$, we completely determine the decomposition of $\mathrm{H}^0(X,Ω_{X/k})$ into a direct sum of indecomposable $kG$-modules. Moreover, we show that the isomorphism classes of indecomposable $kG$-modules that actually occur as direct summands belong to an infinite list of non-isomorphic indecomposable $kG$-modules that contain modules of arbitrarily large $k$-dimension. In particular, our results show that [14, Theorem 6.4] is incorrect. △ Less

Submitted 27 February, 2023; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: 25 pages; changed name of covered curve from $U$ to $Y$, fixed statement of Theorem 1.1, fixed typo in Example 2.19; added explanation why [14, Theorem 6.4] is incorrect in general (see Remark 2.21)

MSC Class: Primary 11G20; Secondary 20C20; 14H05; 14G17

Journal ref: J. Pure Apple. Algebra 227 (2023), no. 10, Paper No. 107384, 27 pages

Massey products and elliptic curves

Authors: Frauke M. Bleher, Ted Chinburg, Jean Gillibert

Abstract: We study the vanishing of Massey products of order at least $3$ for absolutely irreducible smooth projective curves over a perfect field with coefficients in $\mathbb{Z}/\ell$. We mainly focus on elliptic curves, for which we obtain a complete characterization of when triple Massey products do not vanish. We study the vanishing of Massey products of order at least $3$ for absolutely irreducible smooth projective curves over a perfect field with coefficients in $\mathbb{Z}/\ell$. We mainly focus on elliptic curves, for which we obtain a complete characterization of when triple Massey products do not vanish. △ Less

Submitted 28 April, 2023; v1 submitted 27 May, 2022; originally announced May 2022.

Comments: 25 pages. In the fourth version, we removed the assumption that F is a perfect field and we added a new Theorem 1.2. Moreover, we changed Example 6.1 and added Examples 7.6 and 7.8

MSC Class: 14F20 (Primary) 55S30; 14H52 (Secondary)

Journal ref: Proc. Lond. Math. Soc. (3) 127 (2023), no. 1, 134-164

The Galois module structure of holomorphic poly-differentials and Riemann-Roch spaces

Authors: Frauke M. Bleher, Adam Wood

Abstract: Suppose $X$ is a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Let $G$ be a finite group acting faithfully on $X$ over $k$ such that $G$ has non-trivial, cyclic Sylow $p$-subgroups. If $E$ is a $G$-invariant Weil divisor on $X$ with $\mathrm{deg}(E)> 2g(X)-2$, we prove that the decomposition of $\mathrm{H}^0(X,\mathcal{O}_X(E))$ into a d… ▽ More Suppose $X$ is a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Let $G$ be a finite group acting faithfully on $X$ over $k$ such that $G$ has non-trivial, cyclic Sylow $p$-subgroups. If $E$ is a $G$-invariant Weil divisor on $X$ with $\mathrm{deg}(E)> 2g(X)-2$, we prove that the decomposition of $\mathrm{H}^0(X,\mathcal{O}_X(E))$ into a direct sum of indecomposable $kG$-modules is uniquely determined by the class of $E$ modulo $G$-invariant principal divisors, together with the ramification data of the cover $X\to X/G$. The latter is given by the lower ramification groups and the fundamental characters of the closed points of $X$ that are ramified in the cover. As a consequence, we obtain that if $m>1$ and $g(X)\ge 2$, then the $kG$-module structure of $\mathrm{H}^0(X,Ω_X^{\otimes m})$ is uniquely determined by the class of a canonical divisor on $X/G$ modulo principal divisors, together with the ramification data of $X\to X/G$. This extends to arbitrary $m > 1$ the $m = 1$ case treated by the first author with T. Chinburg and A. Kontogeorgis. We discuss applications to the tangent space of the global deformation functor associated to $(X,G)$ and to congruences between prime level cusp forms in characteristic $0$. In particular, we complete the description of the precise $k\mathrm{PSL}(2,\mathbb{F}_\ell)$-module structure of all prime level $\ell$ cusp forms of even weight in characteristic $p=3$. △ Less

Submitted 19 March, 2023; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 35 pages. The third version has been rewritten completely. The third version gives a more explicit algorithm and adds more explanations. It also continues to highlight the differences from arXiv:1707.07133

MSC Class: Primary 11G20; Secondary 14H05; 14G17; 20C20

Journal ref: J. Algebra 631 (2023), 756-803

Cup products on curves over finite fields

Authors: Frauke M. Bleher, Ted Chinburg

Abstract: Suppose $k$ is a finite field, that $C$ is a smooth projective geometrically irreducible curve over $k$, and that $n$ is a positive integer not divisible by the characteristic of $k$. In this paper we compute cup products of elements of the étale cohomology groups $\mathrm{H}^1(C,\mathbb{Z}/n)$ and $\mathrm{H}^1(C,μ_n)$. Over the algebraic closure $\overline{k}$ of $k$, such cup products are conne… ▽ More Suppose $k$ is a finite field, that $C$ is a smooth projective geometrically irreducible curve over $k$, and that $n$ is a positive integer not divisible by the characteristic of $k$. In this paper we compute cup products of elements of the étale cohomology groups $\mathrm{H}^1(C,\mathbb{Z}/n)$ and $\mathrm{H}^1(C,μ_n)$. Over the algebraic closure $\overline{k}$ of $k$, such cup products are connected to values of the Weil pairing on the $n$-torsion of the Jacobian of $\overline{C} = \overline{k} \otimes_k C$ by using a fixed isomorphism between $\mathbb{Z}/n$ and $μ_n$ over $\overline{C}$. Over $k$, such cup products are more subtle due to the fact that they take values in the group $\mathrm{H}^2(C,μ_n)=\mathrm{Pic}(C)/n\cdot \mathrm{Pic}(C)$ rather than in the group $\mathrm{H}^2(\overline{C},μ_n) = \mathbb{Z}/n$. △ Less

Submitted 13 September, 2024; v1 submitted 1 January, 2021; originally announced January 2021.

Comments: 30 pages; the paper has been rewritten to deal with the general case when the prime $\ell$ is replaced by an arbitrary positive integer $n$ that is relatively prime to the characteristic of the base field $k$ and $k$ does not necessarily contain a primitive $n$-th root of unity

MSC Class: Primary 14F20; 11G20; Secondary 14H45

On representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$, $\widehat{GT}$ and $\mathrm{Aut}(\hat{F}_2)$

Authors: Frauke M. Bleher, Ted Chinburg, Alexander Lubotzky

Abstract: By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the free profinite group $\widehat{F_2}$ on two generators. The image of $G_{\mathbb{Q}}$ lies inside $\widehat{GT}$, the Grothendieck-Teichmüller group. While it is… ▽ More By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the free profinite group $\widehat{F_2}$ on two generators. The image of $G_{\mathbb{Q}}$ lies inside $\widehat{GT}$, the Grothendieck-Teichmüller group. While it is known that every abelian representation of $G_{\mathbb{Q}}$ can be extended to $\widehat{GT}$, Lochak and Schneps put forward the challenge of constructing irreducible non-abelian representations of $\widehat{GT}$. We do this virtually, namely by showing that a rich class of arithmetically defined representations of $G_{\mathbb{Q}}$ can be extended to finite index subgroups of $\widehat{GT}$. This is achieved, in fact, by extending these representations all the way to finite index subgroups of $A=\mathrm{Aut}(\widehat{F_2})$. We do this by developing a profinite version of the work of Grunewald and Lubotzky, which provided a rich collection of representations for the discrete group $\mathrm{Aut}(F_d)$. △ Less

Submitted 10 June, 2021; v1 submitted 19 April, 2020; originally announced April 2020.

Comments: 19 pages; some typos were fixed

MSC Class: 14G32; 20F34; 14H30

Journal ref: J. Algebra 607 (2022), 134-159

Galois structure of the holomorphic differentials of curves

Authors: Frauke M. Bleher, Ted Chinburg, Aristides Kontogeorgis

Abstract: Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show that the decomposition of the space of holomorphic differentials of $X$ into a direct sum of indecomposable $k[G]$-modules is uniquely determined by the lower… ▽ More Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show that the decomposition of the space of holomorphic differentials of $X$ into a direct sum of indecomposable $k[G]$-modules is uniquely determined by the lower ramification groups and the fundamental characters of closed points of $X$ that are ramified in the cover $X\to X/G$. We apply our method to determine the $\mathrm{PSL}(2,\mathbb{F}_\ell)$-module structure of the space of holomorphic differentials of the reduction of the modular curve $\mathcal{X}(\ell)$ modulo $p$ when $p$ and $\ell$ are distinct odd primes and the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on this reduction is not tamely ramified. This provides some non-trivial congruences modulo appropriate maximal ideals containing $p$ between modular forms arising from isotypic components with respect to the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on $\mathcal{X}(\ell)$. △ Less

Submitted 24 May, 2020; v1 submitted 22 July, 2017; originally announced July 2017.

Comments: 51 pages. In this version, we corrected some typos

MSC Class: Primary 11G20; Secondary 14H05; 14G17; 20C20

Journal ref: J. Number Theory 216 (2020), 1-68

Cup products in the etale cohomology of number fields

Authors: Frauke M. Bleher, Ted Chinburg, Ralph Greenberg, Mahesh Kakde, George Pappas, Martin J. Taylor

Abstract: This paper concerns cup product pairings in étale cohomology related to work of M. Kim and of W. McCallum and R. Sharifi. We will show that by considering Ext groups rather than cohomology groups, one arrives at a pairing which combines invariants defined by Kim with a pairing defined by McCallum and Sharifi. We also prove a formula for Kim's invariant in terms of Artin maps in the case of cyclic… ▽ More This paper concerns cup product pairings in étale cohomology related to work of M. Kim and of W. McCallum and R. Sharifi. We will show that by considering Ext groups rather than cohomology groups, one arrives at a pairing which combines invariants defined by Kim with a pairing defined by McCallum and Sharifi. We also prove a formula for Kim's invariant in terms of Artin maps in the case of cyclic unramified Kummer extensions. One consequence is that for all $n > 1$, there are infinitely many number fields $F$ over which there are both trivial and non-trivial Kim invariants associated to cyclic groups of order $n$. △ Less

Submitted 30 April, 2018; v1 submitted 19 May, 2017; originally announced May 2017.

Comments: 21 pages; in version 3 we changed the title of the paper and we restructured the paper

Journal ref: New York J. Math. 24 (2018), 514-542

Universal deformation rings and self-injective Nakayama algebras

Authors: Frauke M. Bleher, Daniel J. Wackwitz

Abstract: 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(Λ,V)$ and we describe $R(Λ,V)$ explicitly as a quotient ring of a power series ring ov… ▽ More 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(Λ,V)$ and we describe $R(Λ,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. △ Less

Submitted 29 March, 2018; v1 submitted 9 February, 2017; originally announced February 2017.

Comments: 24 pages

MSC Class: 16G10

Journal ref: J. Pure Appl. Algebra 223 (2019), no. 1, 218-244

Universal deformation rings, endo-trivial modules, and semidihedral and generalized quaternion 2-groups

Authors: Frauke M. Bleher, Ted Chinburg, Roberto C. Soto

Abstract: Let $k$ be a field of characteristic $p>0$, and let $W$ be a complete discrete valuation ring of characteristic $0$ that has $k$ as its residue field. Suppose $G$ is a finite group and $G^{\mathrm{ab},p}$ is its maximal abelian $p$-quotient group. We prove that every endo-trivial $kG$-module $V$ has a universal deformation ring that is isomorphic to the group ring $WG^{\mathrm{ab},p}$. In particul… ▽ More Let $k$ be a field of characteristic $p>0$, and let $W$ be a complete discrete valuation ring of characteristic $0$ that has $k$ as its residue field. Suppose $G$ is a finite group and $G^{\mathrm{ab},p}$ is its maximal abelian $p$-quotient group. We prove that every endo-trivial $kG$-module $V$ has a universal deformation ring that is isomorphic to the group ring $WG^{\mathrm{ab},p}$. In particular, this gives a positive answer to a question raised by Bleher and Chinburg for all endo-trivial modules. Moreover, we show that the universal deformation of $V$ over $WG^{\mathrm{ab},p}$ is uniquely determined by any lift of $V$ over $W$. In the case when $p=2$ and $G=\mathrm{D}$ is a $2$-group that is either semidihedral or generalized quaternion, we give an explicit description of the universal deformation of every indecomposable endo-trivial $k\mathrm{D}$-module $V$. △ Less

Submitted 26 May, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 19 pages; the paper has been substantially revised from its previous version

MSC Class: 20C20; 20C15; 16G10

Journal ref: J. Pure Appl. Algebra 223 (2019), no. 3, 1897-1912

Higher Chern classes in Iwasawa theory

Authors: F. M. Bleher, T. Chinburg, R. Greenberg, M. Kakde, G. Pappas, R. Sharifi, M. J. Taylor

Abstract: We begin a study of m-th Chern classes and m-th characteristic symbols for Iwasawa modules which are supported in codimension at least m. This extends the classical theory of characteristic ideals and their generators for Iwasawa modules which are torsion, i.e., supported in codimension at least 1. We apply this to an Iwasawa module constructed from an inverse limit of p-parts of ideal class group… ▽ More We begin a study of m-th Chern classes and m-th characteristic symbols for Iwasawa modules which are supported in codimension at least m. This extends the classical theory of characteristic ideals and their generators for Iwasawa modules which are torsion, i.e., supported in codimension at least 1. We apply this to an Iwasawa module constructed from an inverse limit of p-parts of ideal class groups of abelian extensions of an imaginary quadratic field. When this module is pseudo-null, which is conjecturally always the case, we determine its second Chern class and show that it has a characteristic symbol given by the Steinberg symbol of two Katz p-adic L-functions. △ Less

Submitted 22 April, 2020; v1 submitted 1 December, 2015; originally announced December 2015.

Comments: 50 pages

MSC Class: 11R23; 11R34; 18F25

Journal ref: Amer. J. Math. 142 (2020) 627-682

Deformations of complexes for finite dimensional algebras

Authors: Frauke M. Bleher, Jose A. Velez-Marulanda

Abstract: Let $k$ be a field and let $Λ$ be a finite dimensional $k$-algebra. We prove that every bounded complex $V^\bullet$ of finitely generated $Λ$-modules has a well-defined versal deformation ring $R(Λ,V^\bullet)$ which is a complete local commutative Noetherian $k$-algebra with residue field $k$. We also prove that nice two-sided tilting complexes between $Λ$ and another finite dimensional $k$-algebr… ▽ More Let $k$ be a field and let $Λ$ be a finite dimensional $k$-algebra. We prove that every bounded complex $V^\bullet$ of finitely generated $Λ$-modules has a well-defined versal deformation ring $R(Λ,V^\bullet)$ which is a complete local commutative Noetherian $k$-algebra with residue field $k$. We also prove that nice two-sided tilting complexes between $Λ$ and another finite dimensional $k$-algebra $Γ$ preserve these versal deformation rings. Additionally, we investigate stable equivalences of Morita type between self-injective algebras in this context. We apply these results to the derived equivalence classes of the members of a particular family of algebras of dihedral type that were introduced by Erdmann and shown by Holm to be not derived equivalent to any block of a group algebra. △ Less

Submitted 3 August, 2017; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: 36 pages; some of the proofs were expanded for better readability

MSC Class: Primary 16G10; Secondary 16G20; 20C20

Journal ref: J. Algebra 491 (2017), 90-140

Automorphisms of Harbater-Katz-Gabber curves

Authors: Frauke M. Bleher, Ted Chinburg, Bjorn Poonen, Peter Symonds

Abstract: Let k be a perfect field of characteristic p > 0, and let G be a finite group. We consider the pointed G-curves over k associated by Harbater, Katz, and Gabber to faithful actions of G on k[[t]] over k. We use such "HKG G-curves" to classify the automorphisms of k[[t]] of p-power order that can be expressed by particularly explicit formulas, namely those mapping t to a power series lying in a Z/pZ… ▽ More Let k be a perfect field of characteristic p > 0, and let G be a finite group. We consider the pointed G-curves over k associated by Harbater, Katz, and Gabber to faithful actions of G on k[[t]] over k. We use such "HKG G-curves" to classify the automorphisms of k[[t]] of p-power order that can be expressed by particularly explicit formulas, namely those mapping t to a power series lying in a Z/pZ Artin-Schreier extension of k(t). In addition, we give necessary and sufficient criteria to decide when an HKG G-curve with an action of a larger finite group J is also an HKG J-curve. △ Less

Submitted 2 November, 2016; v1 submitted 7 September, 2015; originally announced September 2015.

Comments: 25 pages. The introduction was rewritten. The final publication is available at Springer via http://dx.doi.org/10.1007/s00208-016-1490-2

MSC Class: 14H37; 14G17; 20F29

Journal ref: Math. Ann. 368 (2017), 811-836

The geometry of finite dimensional algebras with vanishing radical square

Authors: Frauke M. Bleher, Ted Chinburg, Birge Huisgen-Zimmermann

Abstract: Let $Λ$ be a basic finite dimensional algebra over an algebraically closed field, with the property that the square of the Jacobson radical $J$ vanishes. We determine the irreducible components of the module variety $\text{Mod}_{\bf d}(Λ)$ for any dimension vector $\bf d$. Our description leads to a count of the components in terms of the underlying Gabriel quiver. A closed formula for the number… ▽ More Let $Λ$ be a basic finite dimensional algebra over an algebraically closed field, with the property that the square of the Jacobson radical $J$ vanishes. We determine the irreducible components of the module variety $\text{Mod}_{\bf d}(Λ)$ for any dimension vector $\bf d$. Our description leads to a count of the components in terms of the underlying Gabriel quiver. A closed formula for the number of components when $Λ$ is local extends existing counts for the two-loop quiver to quivers with arbitrary finite sets of loops. For any algebra $Λ$ with $J^2 = 0$, our criteria for identifying the components of $\text{Mod}_{\bf d}(Λ)$ permit us to characterize the modules parametrized by the individual irreducible components. Focusing on such a component, we explore generic properties of the corresponding modules by establishing a geometric bridge between the algebras with zero radical square on one hand and their stably equivalent hereditary counterparts on the other. The bridge links certain closed subvarieties of Grassmannians parametrizing the modules with fixed top over the two types of algebras. By way of this connection, we transfer results of Kac and Schofield from the hereditary case to algebras of Loewy length $2$. Finally, we use the transit of information to show that any algebra of Loewy length $2$ which enjoys the dense orbit property in the sense of Chindris, Kinser and Weyman has finite representation type. △ Less

Submitted 11 July, 2014; originally announced July 2014.

Journal ref: J. Algebra 425 (2015), 146-178

Orbit closures and rational surfaces

Authors: Frauke M. Bleher, Ted Chinburg, Birge Huisgen-Zimmermann

Abstract: In this paper we study the Grassmannian of submodules of a given dimension inside a finitely generated projective module $P$ for a finite dimensional algebra $Λ$ over an algebraically closed field. The orbit of such a submodule $C$ under the action of $\mathrm{Aut}_Λ( P )$ on the Grassmannian encodes information on the degenerations of $P/C$ and has been considered by a number of authors. The goal… ▽ More In this paper we study the Grassmannian of submodules of a given dimension inside a finitely generated projective module $P$ for a finite dimensional algebra $Λ$ over an algebraically closed field. The orbit of such a submodule $C$ under the action of $\mathrm{Aut}_Λ( P )$ on the Grassmannian encodes information on the degenerations of $P/C$ and has been considered by a number of authors. The goal of this article is to bound the geometry of two-dimensional orbit closures in terms of representation-theoretic data. Several examples are given to illustrate the interplay between the geometry of the projective surfaces which arise and the corresponding posets of degenerations. △ Less

Submitted 20 January, 2014; originally announced January 2014.

Comments: 29 pages, 5 figures

Journal ref: J. Pure Appl. Algebra 220 (2016), 1785-1812

Universal deformation rings and tame blocks

Authors: Frauke M. Bleher, Giovanna Llosent, Jennifer B. Schaefer

Abstract: Let k be an algebraically closed field of positive characteristic, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group and B is a block of kG of infinite tame representation type. We find all finitely generated kG-modules V that belong to B and whose endomorphism ring is isomorphic to k and determine the universal deformation ring R(G,V) for each of these modules. Let k be an algebraically closed field of positive characteristic, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group and B is a block of kG of infinite tame representation type. We find all finitely generated kG-modules V that belong to B and whose endomorphism ring is isomorphic to k and determine the universal deformation ring R(G,V) for each of these modules. △ Less

Submitted 31 August, 2013; originally announced September 2013.

Comments: 14 pages

Journal ref: J. Algebra 412 (2014), 87-106

Universal deformation rings of group representations, with an application of Brauer's generalized decomposition numbers

Authors: Frauke M. Bleher

Abstract: We give an introduction to the deformation theory of linear representations of profinite groups which Mazur initiated in the 1980's. We then consider the case of representations of finite groups. We show how Brauer's generalized decomposition numbers can be used in some cases to explicitly determine universal deformation rings. We give an introduction to the deformation theory of linear representations of profinite groups which Mazur initiated in the 1980's. We then consider the case of representations of finite groups. We show how Brauer's generalized decomposition numbers can be used in some cases to explicitly determine universal deformation rings. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Comments: 15 pages

MSC Class: 20C20; 20C15; 16G10

Journal ref: Contemp. Math., 607, Amer. Math. Soc., Providence, RI, 2014, pp. 97-112

Universal deformation rings of modules for algebras of dihedral type of polynomial growth

Authors: Frauke M. Bleher, Shannon N. Talbott

Abstract: Let k be an algebraically closed field, and let Λ be an algebra of dihedral type of polynomial growth as classified by Erdmann and Skowroński. We describe all finitely generated Λ-modules V whose stable endomorphism rings are isomorphic to k and determine their universal deformation rings R(Λ,V). We prove that only three isomorphism types occur for R(Λ,V): k, k[[t]]/(t^2) and k[[t]]. Let k be an algebraically closed field, and let Λ be an algebra of dihedral type of polynomial growth as classified by Erdmann and Skowroński. We describe all finitely generated Λ-modules V whose stable endomorphism rings are isomorphic to k and determine their universal deformation rings R(Λ,V). We prove that only three isomorphism types occur for R(Λ,V): k, k[[t]]/(t^2) and k[[t]]. △ Less

Submitted 2 September, 2012; originally announced September 2012.

Comments: 11 pages, 2 figures

MSC Class: 16G10; 16G20

Journal ref: Alg. Represent. Theory 17 (2014), 289-303

Large universal deformation rings

Authors: Frauke M. Bleher

Abstract: We provide a series of examples of finite groups G and mod p representations V of G whose stable endomorphisms are all given by scalars such that V has a universal deformation ring R(G,V) which is large in the sense that R(G,V)/pR(G,V) is isomorphic to a power series algebra in one variable. We provide a series of examples of finite groups G and mod p representations V of G whose stable endomorphisms are all given by scalars such that V has a universal deformation ring R(G,V) which is large in the sense that R(G,V)/pR(G,V) is isomorphic to a power series algebra in one variable. △ Less

Submitted 1 December, 2012; v1 submitted 14 April, 2012; originally announced April 2012.

Comments: 9 pages, 5 figures; for Prop. 2, the description of the groups and the proof have slightly changed

Journal ref: Proc. Amer. Math. Soc. 142 (2014), 3039-3047

Brauer's generalized decomposition numbers and universal deformation rings

Authors: Frauke M. Bleher

Abstract: The versal deformation ring R(G,V) of a mod p representation V of a profinite group G encodes all isomorphism classes of lifts of V to representations of G over complete local commutative Noetherian rings. We introduce a new technique for determining R(G,V) when G is finite which involves Brauer's generalized decomposition numbers. The versal deformation ring R(G,V) of a mod p representation V of a profinite group G encodes all isomorphism classes of lifts of V to representations of G over complete local commutative Noetherian rings. We introduce a new technique for determining R(G,V) when G is finite which involves Brauer's generalized decomposition numbers. △ Less

Submitted 3 December, 2012; v1 submitted 31 March, 2012; originally announced April 2012.

Comments: 28 pages, 18 figures

MSC Class: 20C20 (Primary) 20C15; 16G10 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 366 (2014), 6507-6540

Universal deformation rings and dihedral blocks with two simple modules

Authors: Frauke M. Bleher, Giovanna Llosent, Jennifer B. Schaefer

Abstract: Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group and B is a block of kG with a dihedral defect group D such that there are precisely two isomorphism classes of simple B-modules. We determine the universal deformation ring R(G,V) for every finitely generated kG-module V which belongs to B and whose stable… ▽ More Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group and B is a block of kG with a dihedral defect group D such that there are precisely two isomorphism classes of simple B-modules. We determine the universal deformation ring R(G,V) for every finitely generated kG-module V which belongs to B and whose stable endomorphism ring is isomorphic to k. The description by Erdmann of the quiver and relations of the basic algebra of B is usually only determined up to a certain parameter c which is either 0 or 1. We show that R(G,V) is isomorphic to a subquotient ring of WD for all V as above if and only if c=0, giving an answer to a question raised by the first author and Chinburg in this case. Moreover, we prove that c=0 if and only if B is Morita equivalent to a principal block. △ Less

Submitted 7 December, 2010; originally announced December 2010.

Comments: 22 pages, 4 figures

MSC Class: 20C20

Journal ref: J. Algebra 345 (2011), 49-71

Inverse Problems for deformation rings

Authors: Frauke M. Bleher, Ted Chinburg, Bart de Smit

Abstract: Let $\mathcal{W}$ be a complete local commutative Noetherian ring with residue field $k$ of positive characteristic $p$. We study the inverse problem for the versal deformation rings $R_{\mathcal{W}}(Γ,V)$ relative to $\mathcal{W}$ of finite dimensional representations $V$ of a profinite group $Γ$ over $k$. We show that for all $p$ and $n \ge 1$, the ring $\mathcal{W}[[t]]/(p^n t,t^2)$ arises as a… ▽ More Let $\mathcal{W}$ be a complete local commutative Noetherian ring with residue field $k$ of positive characteristic $p$. We study the inverse problem for the versal deformation rings $R_{\mathcal{W}}(Γ,V)$ relative to $\mathcal{W}$ of finite dimensional representations $V$ of a profinite group $Γ$ over $k$. We show that for all $p$ and $n \ge 1$, the ring $\mathcal{W}[[t]]/(p^n t,t^2)$ arises as a universal deformation ring. This ring is not a complete intersection if $p^n\mathcal{W}\neq\{0\}$, so we obtain an answer to a question of M. Flach in all characteristics. We also study the `inverse inverse problem' for the ring $\mathcal{W}[[t]]/(p^n t,t^2)$; this is to determine all pairs $(Γ, V)$ such that $R_{\mathcal{W}}(Γ,V)$ is isomorphic to this ring. △ Less

Submitted 5 April, 2012; v1 submitted 6 December, 2010; originally announced December 2010.

Comments: 17 pages; this paper is closely related to arXiv:1003.3143. In the third version, we added a new Section 5 with further examples

MSC Class: 11F80

Journal ref: Trans. Amer. Math. Soc. 365 (2013), 6149-6165

Finiteness Theorems for Deformations of Complexes

Authors: Frauke M. Bleher, Ted Chinburg

Abstract: We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex to be represented by a complex of G-modules that is strictly perfect over the associated versal deformation ring. We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex to be represented by a complex of G-modules that is strictly perfect over the associated versal deformation ring. △ Less

Submitted 10 September, 2010; originally announced September 2010.

Comments: 25 pages. This paper is connected to the paper arXiv:0901.0101

MSC Class: 11F80 (Primary); 20E18; 18E30 (Secondary)

Journal ref: Ann. Institut Fourier (Grenoble) 63 (2013), 573-612

Deformation rings which are not local complete intersections

Authors: Frauke M. Bleher, Ted Chinburg, Bart de Smit

Abstract: We study the inverse problem for the versal deformation rings $R(Γ,V)$ of finite dimensional representations $V$ of a finite group $Γ$ over a field $k$ of positive characteristic $p$. This problem is to determine which complete local commutative Noetherian rings with residue field $k$ can arise up to isomorphism as such $R(Γ,V)$. We show that for all integers $n \ge 1$ and all complete local com… ▽ More We study the inverse problem for the versal deformation rings $R(Γ,V)$ of finite dimensional representations $V$ of a finite group $Γ$ over a field $k$ of positive characteristic $p$. This problem is to determine which complete local commutative Noetherian rings with residue field $k$ can arise up to isomorphism as such $R(Γ,V)$. We show that for all integers $n \ge 1$ and all complete local commutative Noetherian rings $\mathcal{W}$ with residue field $k$, the ring $\mathcal{W}[[t]]/(p^n t,t^2)$ arises in this way. This ring is not a local complete intersection if $p^n\mathcal{W}\neq\{0\}$, so we obtain an answer to a question of M. Flach in all characteristics. △ Less

Submitted 16 March, 2010; originally announced March 2010.

Comments: 16 pages

MSC Class: 11F80 (Primary) 11R32; 20C20; 11R29 (Secondary)

Dihedral blocks with two simple modules

Authors: Frauke M. Bleher

Abstract: Let $k$ be an algebraically closed field of characteristic 2, and let $G$ be a finite group. Suppose $B$ is a block of $kG$ with dihedral defect groups such that there are precisely two isomorphism classes of simple $B$-modules. The description by Erdmann of the quiver and relations of the basic algebra of $B$ is usually only given up to a certain parameter $c$ which is either 0 or 1. In this ar… ▽ More Let $k$ be an algebraically closed field of characteristic 2, and let $G$ be a finite group. Suppose $B$ is a block of $kG$ with dihedral defect groups such that there are precisely two isomorphism classes of simple $B$-modules. The description by Erdmann of the quiver and relations of the basic algebra of $B$ is usually only given up to a certain parameter $c$ which is either 0 or 1. In this article, we show that $c=0$ if there exists a central extension $\hat{G}$ of $G$ by a group of order 2 together with a block $\hat{B}$ of $k\hat{G}$ with generalized quaternion defect groups such that $B$ is contained in the image of $\hat{B}$ under the natural surjection from $k\hat{G}$ onto $kG$. As a special case, we obtain that $c=0$ if $G=\mathrm{PGL}_2(\mathbb{F}_q)$ for some odd prime power $q$ and $B$ is the principal block of $k \mathrm{PGL}_2(\mathbb{F}_q)$. △ Less

Submitted 6 January, 2010; v1 submitted 5 December, 2009; originally announced December 2009.

Comments: 11 pages, 5 figures. The arguments work also for non-principal blocks. The paper has been changed accordingly; in particular, the word "principal" was removed from the title

MSC Class: 20C05; 16G20

Journal ref: Proc. Amer. Math. Soc. 138 (2010), 3467-3479

Universal deformation rings of modules over Frobenius algebras

Authors: Frauke M. Bleher, Jose A. Velez-Marulanda

Abstract: Let $k$ be a field, and let $Λ$ be a finite dimensional $k$-algebra. We prove that if $Λ$ is a self-injective algebra, then every finitely generated $Λ$-module $V$ whose stable endomorphism ring is isomorphic to $k$ has a universal deformation ring $R(Λ,V)$ which is a complete local commutative Noetherian $k$-algebra with residue field $k$. If $Λ$ is also a Frobenius algebra, we show that… ▽ More Let $k$ be a field, and let $Λ$ be a finite dimensional $k$-algebra. We prove that if $Λ$ is a self-injective algebra, then every finitely generated $Λ$-module $V$ whose stable endomorphism ring is isomorphic to $k$ has a universal deformation ring $R(Λ,V)$ which is a complete local commutative Noetherian $k$-algebra with residue field $k$. If $Λ$ is also a Frobenius algebra, we show that $R(Λ,V)$ is stable under taking syzygies. We investigate a particular Frobenius algebra $Λ_0$ of dihedral type, as introduced by Erdmann, and we determine $R(Λ_0,V)$ for every finitely generated $Λ_0$-module $V$ whose stable endomorphism ring is isomorphic to $k$. △ Less

Submitted 8 February, 2011; v1 submitted 5 November, 2009; originally announced November 2009.

Comments: 25 pages, 2 figures. Some typos have been fixed, the outline of the paper has been changed to improve readability

MSC Class: 16G20; 20C20

Journal ref: J. Algebra 367 (2012), 176-202

Universal deformation rings and generalized quaternion defect groups

Authors: Frauke M. Bleher

Abstract: We determine the universal deformation ring 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 interse… ▽ More We determine the universal deformation ring 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. △ Less

Submitted 8 March, 2010; v1 submitted 5 September, 2009; originally announced September 2009.

Comments: 20 pages, 6 figures. The paper has been updated as follows: The results remain true for more general 2-modular blocks with generalized quaternion defect groups (see the introduction and Hypothesis 3.1). Sections 4 and 5 have been swapped.

MSC Class: 20C20; 20C15

Journal ref: Adv. Math. 225 (2010), 1499-1522

Universal deformation rings for the symmetric group S_5 and one of its double covers

Authors: Frauke M. Bleher, Jennifer B. Froelich

Abstract: Let $S_5$ denote the symmetric group on 5 letters, and let $\hat{S}_5$ denote a non-trivial double cover of $S_5$ whose Sylow 2-subgroups are generalized quaternion. We determine the universal deformation rings $R(S_5,V)$ and $R(\hat{S}_5,V)$ for each mod 2 representation $V$ of $S_5$ that belongs to the principal 2-modular block of $S_5$ and whose stable endomorphism ring is given by scalars wh… ▽ More Let $S_5$ denote the symmetric group on 5 letters, and let $\hat{S}_5$ denote a non-trivial double cover of $S_5$ whose Sylow 2-subgroups are generalized quaternion. We determine the universal deformation rings $R(S_5,V)$ and $R(\hat{S}_5,V)$ for each mod 2 representation $V$ of $S_5$ that belongs to the principal 2-modular block of $S_5$ and whose stable endomorphism ring is given by scalars when it is inflated to $\hat{S}_5$. We show that for these $V$, a question raised by the first author and Chinburg concerning the relation of the universal deformation ring of $V$ to the Sylow 2-subgroups of $S_5$ and $\hat{S}_5$, respectively, has an affirmative answer. △ Less

Submitted 5 April, 2010; v1 submitted 31 March, 2009; originally announced April 2009.

Comments: 10 pages, 5 figures; the proof of Theorem 1.1(a) has been shortened

MSC Class: 20C20; 16G20

Journal ref: J. Pure Appl. Alg. 215 (2011), 523-530

Obstructions for Deformations of Complexes

Authors: Frauke M. Bleher, Ted Chinburg

Abstract: We develop two approaches to obstruction theory for deformations of derived isomorphism classes of complexes $Z^\bullet$ of modules for a profinite group $G$ over a complete local Noetherian ring $A$ of positive residue characteristic $\ell$. We develop two approaches to obstruction theory for deformations of derived isomorphism classes of complexes $Z^\bullet$ of modules for a profinite group $G$ over a complete local Noetherian ring $A$ of positive residue characteristic $\ell$. △ Less

Submitted 10 September, 2010; v1 submitted 31 December, 2008; originally announced January 2009.

Comments: 26 pages. For better readability, the first version has been split into two papers: "Obstructions for Deformations of Complexes" (which is version 2 of the current arXiv:0901.0101) and "Finiteness Theorems for Deformations of Complexes" (which is a separate ArXiv submission in September, 2010)

MSC Class: 11F80 (Primary); 20E18; 18E30; 18G40 (Secondary)

Journal ref: Ann. Institut Fourier (Grenoble) 63 (2013), 613-654

Universal deformation rings for the symmetric group S_4

Authors: Frauke M. Bleher, Giovanna Llosent

Abstract: Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Let S_4 denote the symmetric group on 4 letters. We determine the universal deformation ring R(S_4,V) for every kS_4-module V which has stable endomorphism ring k and show that R(S_4,V) is isomorphic to either k, or W[t]/(t^2,2t), or the group ring W[Z/2]. This gives a positive answ… ▽ More Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Let S_4 denote the symmetric group on 4 letters. We determine the universal deformation ring R(S_4,V) for every kS_4-module V which has stable endomorphism ring k and show that R(S_4,V) is isomorphic to either k, or W[t]/(t^2,2t), or the group ring W[Z/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. △ Less

Submitted 12 December, 2008; originally announced December 2008.

Comments: 12 pages, 2 figures

MSC Class: 20C20; 16G20

Journal ref: Algebr. Represent. Theory 13 (2010), no. 3, 255-270.

Universal deformation rings and dihedral defect groups

Authors: Frauke M. Bleher

Abstract: Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group, and B is a block of kG with dihedral defect group D which is Morita equivalent to the principal 2-modular block of a finite simple group. We determine the universal deformation ring R(G,V) for every kG-module V which belongs to B and has stable endomorph… ▽ More Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group, and B is a block of kG with dihedral defect group D which is Morita equivalent to the principal 2-modular block of a finite simple group. We determine the universal deformation ring R(G,V) for every kG-module V which belongs to B and has stable endomorphism ring k. It follows that R(G,V) is always isomorphic to a subquotient ring of WD. Moreover, we obtain an infinite series of examples of universal deformation rings which are not complete intersections. △ Less

Submitted 4 May, 2007; v1 submitted 22 July, 2006; originally announced July 2006.

Comments: 37 pages, 13 figures. Changed introduction, updated references

MSC Class: 20C20; 20C15; 16G10

Journal ref: Trans. Amer. Math. Soc. 361 (2009), 3661-3705.

Galois structure of homogeneous coordinate rings

Authors: Frauke M. Bleher, Ted Chinburg

Abstract: Suppose $G$ is a finite group acting on a projective scheme $X$ over a commutative Noetherian ring $R$. We study the $RG$-modules $\HH^0(X,\mathcal{F} \otimes \mathcal{L}^n)$ when $n \ge 0$, and $\mathcal{F}$ and $\mathcal{L}$ are coherent $G$-sheaves on $X$ such that $\mathcal{L}$ is an ample line bundle. We show that the classes of these modules in the Grothendieck group $G_0(RG)$ of all finit… ▽ More Suppose $G$ is a finite group acting on a projective scheme $X$ over a commutative Noetherian ring $R$. We study the $RG$-modules $\HH^0(X,\mathcal{F} \otimes \mathcal{L}^n)$ when $n \ge 0$, and $\mathcal{F}$ and $\mathcal{L}$ are coherent $G$-sheaves on $X$ such that $\mathcal{L}$ is an ample line bundle. We show that the classes of these modules in the Grothendieck group $G_0(RG)$ of all finitely generated $RG$-modules lie in a finitely generated subgroup. Under various hypotheses, we show that there is a finite set of indecomposable $RG$-modules such that each $\HH^0(X,\mathcal{F} \otimes \mathcal{L}^n)$ is a direct sum of these indecomposables, with multiplicites given by generalized Hilbert polynomials for $n >> 0$. △ Less

Submitted 22 July, 2006; v1 submitted 13 April, 2005; originally announced April 2005.

Comments: 27 pages. The abstract and introduction have been changed; the article has been shortened

MSC Class: 20C05; 14L30; 14C40; 13A50

Journal ref: Trans. Amer. Math. Soc. 360 (2008), no. 12, 6269-6301.