Showing 1–47 of 47 results for author: Bleher, M

Adiabatic Solutions of the Haydys-Witten Equations and Symplectic Khovanov Homology

Authors: Michael Bleher

Abstract: An influential conjecture by Witten states that there is an instanton Floer homology of four-manifolds with corners that in certain situations is isomorphic to Khovanov homology of a given knot $K$. The Floer chain complex is generated by Nahm pole solutions of the Kapustin-Witten equations on $\mathbb{R}^3 \times \mathbb{R}^+_y$ with an additional monopole-like singular behaviour along the knot… ▽ More An influential conjecture by Witten states that there is an instanton Floer homology of four-manifolds with corners that in certain situations is isomorphic to Khovanov homology of a given knot $K$. The Floer chain complex is generated by Nahm pole solutions of the Kapustin-Witten equations on $\mathbb{R}^3 \times \mathbb{R}^+_y$ with an additional monopole-like singular behaviour along the knot $K$ inside the three-dimensional boundary at $y=0$. The Floer differential is given by counting solutions of the Haydys-Witten equations that interpolate between Kapustin-Witten solutions along an additional flow direction $\mathbb{R}_s$. This article investigates solutions of a decoupled version of the Kapustin-Witten and Haydys-Witten equations on $\mathbb{R}_s \times \mathbb{R}^3 \times \mathbb{R}^+_y$, which in contrast to the full equations exhibit a Hermitian Yang-Mills structure and can be viewed as a lift of the extended Bogomolny equations (EBE) from three to five dimensions. Inspired by Gaiotto-Witten's approach of adiabatically braiding EBE-solutions to obtain generators of the Floer homology, we propose that there is an equivalence between adiabatic solutions of the decoupled Haydys-Witten equations and non-vertical paths in the moduli space of EBE-solutions fibered over the space of monopole positions. Moreover, we argue that the Grothendieck-Springer resolution of the Lie algebra of the gauge group provides a finite-dimensional model of this moduli space of monopole solutions. These considerations suggest an intriguing similarity between Haydys-Witten instanton Floer homology and symplectic Khovanov homology and provide a novel approach towards a proof of Witten's gauge-theoretic interpretations of Khovanov homology. △ Less

Submitted 2 January, 2025; originally announced January 2025.

Comments: This work is part of the author's PhD thesis at Heidelberg University. Comments welcome!

A family of instanton-invariants for four-manifolds and their relation to Khovanov homology

Authors: Michael Bleher

Abstract: This article reviews Witten's gauge-theoretic approach to Khovanov homology from the perspective of Haydys-Witten instanton Floer theory. Expanding on Witten's arguments, we introduce a one-parameter family of instanton Floer homology groups $HF_θ(W^4)$, which, based on physical arguments, are expected to be topological invariants of the four-manifold $W^4$. In analogy to the original Yang-Mills i… ▽ More This article reviews Witten's gauge-theoretic approach to Khovanov homology from the perspective of Haydys-Witten instanton Floer theory. Expanding on Witten's arguments, we introduce a one-parameter family of instanton Floer homology groups $HF_θ(W^4)$, which, based on physical arguments, are expected to be topological invariants of the four-manifold $W^4$. In analogy to the original Yang-Mills instanton Floer theory, these groups are defined by the solutions of the $θ$-Kapustin-Witten equations on $W^4$ modulo instanton solutions of the Haydys-Witten equations that interpolate between them on the five-dimensional cylinder $\mathbb{R}_s \times W^4$. The relation to knot invariants arises when the four-manifold is the geometric blowup $W^4 = [X^3 \times \mathbb{R}^+, K]$ along a knot $K \subset X^3 \times \{0\}$ embedded in its three-dimensional boundary. The boundaries and corners of this manifold require the specification of boundary conditions that preserve the topological invariance of the construction and are fundamentally linked to various dimensional reductions of the Haydys-Witten equations. We provide a comprehensive discussion of these dimensional reductions and relate them to well-known gauge-theoretic equations in lower dimensions, including the $θ$-Kapustin-Witten equations, twisted extended Bogomolny equations, and twisted octonionic Nahm equations. Along the way, we record novel results on the elliptic regularity of the Haydys-Witten equations with twisted Nahm pole boundary conditions. The upshot of the article is a tentative definition of Haydys-Witten Floer theory and a precise restatement of Witten's conjecture: an equality between the Haydys-Witten Floer homology $HF^\bullet_{π/2}([S^3 \times \mathbb{R}^+, K])$ and Khovanov homology $Kh^\bullet(K)$. △ Less

Submitted 2 January, 2025; v1 submitted 17 December, 2024; originally announced December 2024.

Comments: This work is part of the author's PhD thesis at Heidelberg University. Comments welcome! v2: fixed a bug/typo where "\ast" got replaced by "\int"

MSC Class: 57R58; 53C07; 81T13

The Decoupled Haydys-Witten Equations and a Weitzenböck Formula

Authors: Michael Bleher

Abstract: The Haydys-Witten equations are partial differential equations on five-dimensional Riemannian manifolds that are equipped with a non-vanishing vector field $v$. Conjecturally, their solutions determine the Floer differential in a gauge-theoretic approach to Khovanov homology. This article introduces a certain decoupled version of the Haydys-Witten equations, a specialization of the Haydys-Witten e… ▽ More The Haydys-Witten equations are partial differential equations on five-dimensional Riemannian manifolds that are equipped with a non-vanishing vector field $v$. Conjecturally, their solutions determine the Floer differential in a gauge-theoretic approach to Khovanov homology. This article introduces a certain decoupled version of the Haydys-Witten equations, a specialization of the Haydys-Witten equations that exhibits a Hermitian Yang-Mills structure. These equations exist whenever the vector bundle defined by the orthogonal complement of $v$ admits an almost Hermitian structure. We investigate the relation between the full Haydys-Witten equations and their decoupled version on manifolds with poly-cylindrical ends and boundaries, and find conditions under which the Haydys-Witten equations reduce to the decoupled equations. This relies on a Weitzenböck-like formula that shows that the difference between the full Haydys-Witten equations and the decoupled equations is governed by the asymptotic behaviour of solutions near boundaries and non-compact ends. Regarding the analysis near boundaries, we provide a detailed analysis of the polyhomogeneous expansion of Haydys-Witten solutions with twisted Nahm pole boundary conditions, generalizing work of Siqi He in the untwisted case. The corresponding analysis at non-compact ends relies on a vanishing theorem by Nagy-Oliveira that was recently generalized by the author. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: 29 pages, comments welcome!

Growth of the Higgs Field for Kapustin-Witten solutions on ALE and ALF gravitational instantons

Authors: Michael Bleher

Abstract: The $θ$-Kapustin-Witten equations are a family of equations for a connection $A$ on a principal $G$-bundle $E \to W^4$ and a one-form $φ$, called the Higgs field, with values in the adjoint bundle $\operatorname{ad} E$. They give rise to second-order partial differential equations that can be studied more generally on Riemannian manifolds $W^n$ of dimension $n$. For $G=SU(2)$, we report a dichotom… ▽ More The $θ$-Kapustin-Witten equations are a family of equations for a connection $A$ on a principal $G$-bundle $E \to W^4$ and a one-form $φ$, called the Higgs field, with values in the adjoint bundle $\operatorname{ad} E$. They give rise to second-order partial differential equations that can be studied more generally on Riemannian manifolds $W^n$ of dimension $n$. For $G=SU(2)$, we report a dichotomy that is satisfied by solutions of the second-order equations on Ricci-flat ALX spaces with sectional curvature bounded from below. This dichotomy was originally established by Taubes for $W^n=\mathbb{R}^n$; the alternatives are: either the asymptotic growth of the averaged norm of the Higgs field over geodesic spheres is larger than a positive power of the radius, or the commutator $[φ\wedgeφ]$ vanishes everywhere. As a consequence, we are able to confirm a conjecture by Nagy and Oliveira, namely, that finite energy solutions of the $θ$-Kapustin-Witten equations on ALE and ALF gravitational instantons with $θ\neq 0$ are such that $[φ\wedgeφ]=0$, $\nabla^A φ=0$, and $A$ is flat. △ Less

Submitted 29 June, 2023; originally announced June 2023.

Comments: 27 pages, comments welcome!

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

MuRiT: Efficient Computation of Pathwise Persistence Barcodes in Multi-Filtered Flag Complexes via Vietoris-Rips Transformations

Authors: Maximilian Neumann, Michael Bleher, Lukas Hahn, Samuel Braun, Holger Obermaier, Mehmet Soysal, René Caspart, Andreas Ott

Abstract: Multi-parameter persistent homology naturally arises in applications of persistent topology to data that come with extra information depending on additional parameters, like for example time series data. We introduce the concept of a Vietoris-Rips transformation, a method that reduces the computation of the one-parameter persistent homology of pathwise subcomplexes in multi-filtered flag complexes… ▽ More Multi-parameter persistent homology naturally arises in applications of persistent topology to data that come with extra information depending on additional parameters, like for example time series data. We introduce the concept of a Vietoris-Rips transformation, a method that reduces the computation of the one-parameter persistent homology of pathwise subcomplexes in multi-filtered flag complexes to the computation of the Vietoris-Rips persistent homology of certain semimetric spaces. The corresponding pathwise persistence barcodes track persistence features of the ambient multi-filtered complex and can in particular be used to recover the rank invariant in multi-parameter persistent homology. We present MuRiT, a scalable algorithm that computes the pathwise persistence barcodes of multi-filtered flag complexes by means of Vietoris-Rips transformations. Moreover, we provide an efficient software implementation of the MuRiT algorithm which resorts to Ripser for the actual computation of Vietoris-Rips persistence barcodes. To demonstrate the applicability of MuRiT to real-world datasets, we establish MuRiT as part of our CoVtRec pipeline for the surveillance of the convergent evolution of the coronavirus SARS-CoV-2 in the current COVID-19 pandemic. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Comments: 22 pages, 4 figures; this article supersedes arXiv:2203.00616

MSC Class: 55N31 (Primary) 68T09; 62R40; 55-04; 92B05; 92C42 (Secondary)

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

Investigation of the two-cut phase region in the complex cubic ensemble of random matrices

Authors: Ahmad Barhoumi, Pavel M. Bleher, Alfredo Deaño, Maxim L. Yattselev

Abstract: We investigate the phase diagram of the complex cubic unitary ensemble of random matrices with the potential $V(M)=-\frac{1}{3}M^3+tM$ where $t$ is a complex parameter. As proven in our previous paper, the whole phase space of the model, $t\in\mathbb C$, is partitioned into two phase regions, $O_{\mathsf{one-cut}}$ and $O_{\mathsf{two-cut}}$, such that in $O_{\mathsf{one-cut}}$ the equilibrium mea… ▽ More We investigate the phase diagram of the complex cubic unitary ensemble of random matrices with the potential $V(M)=-\frac{1}{3}M^3+tM$ where $t$ is a complex parameter. As proven in our previous paper, the whole phase space of the model, $t\in\mathbb C$, is partitioned into two phase regions, $O_{\mathsf{one-cut}}$ and $O_{\mathsf{two-cut}}$, such that in $O_{\mathsf{one-cut}}$ the equilibrium measure is supported by one Jordan arc (cut) and in $O_{\mathsf{two-cut}}$ by two cuts. The regions $O_{\mathsf{one-cut}}$ and $O_{\mathsf{two-cut}}$ are separated by critical curves, which can be calculated in terms of critical trajectories of an auxiliary quadratic differential. In our previous work the one-cut phase region was investigated in detail. In the present paper we investigate the two-cut region. We prove that in the two-cut region the endpoints of the cuts are analytic functions of the real and imaginary parts of the parameter $t$, but not of the parameter $t$ itself. We also obtain the semiclassical asymptotics of the orthogonal polynomials associated with the ensemble of random matrices and their recurrence coefficients. The proofs are based on the Riemann--Hilbert approach to semiclassical asymptotics of the orthogonal polynomials and the theory of $S$-curves and quadratic differentials. △ Less

Submitted 30 January, 2022; originally announced January 2022.

MSC Class: 33C47; 30E15; 31A25; 15B52

Journal ref: J. Math. Phys., 63, Paper No. 063303, 2022

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

Topological Expansion in the Complex Cubic Log-Gas Model. One-Cut Case

Authors: Pavel M. Bleher, Alfredo Deaño, Maxim Yattselev

Abstract: We prove the topological expansion for the cubic log-gas partition function \[ Z_N(t)= \int_Γ\cdots\int_Γ\prod_{1\leq j<k\leq N}(z_j-z_k)^2 \prod_{k=1}^Ne^{-N\left(-\frac{z^3}{3}+tz\right)}\mathrm dz_1\cdots \mathrm dz_N, \] where $t$ is a complex parameter and $Γ$ is an unbounded contour on the complex plane extending from $e^{π\mathrm i}\infty$ to $e^{π\mathrm i/3}\infty$. The complex cubic log-… ▽ More We prove the topological expansion for the cubic log-gas partition function \[ Z_N(t)= \int_Γ\cdots\int_Γ\prod_{1\leq j<k\leq N}(z_j-z_k)^2 \prod_{k=1}^Ne^{-N\left(-\frac{z^3}{3}+tz\right)}\mathrm dz_1\cdots \mathrm dz_N, \] where $t$ is a complex parameter and $Γ$ is an unbounded contour on the complex plane extending from $e^{π\mathrm i}\infty$ to $e^{π\mathrm i/3}\infty$. The complex cubic log-gas model exhibits two phase regions on the complex $t$-plane, with one cut and two cuts, separated by analytic critical arcs of the two types of phase transition: split of a cut and birth of a cut. The common point of the critical arcs is a tricritical point of the Painlevé I type. In the present paper we prove the topological expansion for $\log Z_N(t)$ in the one-cut phase region. The proof is based on the Riemann--Hilbert approach to semiclassical asymptotic expansions for the associated orthogonal polynomials and the theory of $S$-curves and quadratic differentials. △ Less

Submitted 14 June, 2016; originally announced June 2016.

Comments: 37 pages, 14 figures

MSC Class: 33C47; 30E15; 31A25; 15B52

Journal ref: J. Statist. Phys., 166(3-4), 784-827 (2017)

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

Two-Point Correlation Functions and Universality for the Zeros of Systems of SO(n+1)-invariant Gaussian Random Polynomials

Authors: Pavel M. Bleher, Yushi Homma, Roland K. W. Roeder

Abstract: We study the two-point correlation functions for the zeroes of systems of $SO(n+1)$-invariant Gaussian random polynomials on $\mathbb{RP}^n$ and systems of ${\rm isom}(\mathbb{R}^n)$-invariant Gaussian analytic functions. Our result reflects the same "repelling," "neutral," and "attracting" short-distance asymptotic behavior, depending on the dimension, as was discovered in the complex case by Ble… ▽ More We study the two-point correlation functions for the zeroes of systems of $SO(n+1)$-invariant Gaussian random polynomials on $\mathbb{RP}^n$ and systems of ${\rm isom}(\mathbb{R}^n)$-invariant Gaussian analytic functions. Our result reflects the same "repelling," "neutral," and "attracting" short-distance asymptotic behavior, depending on the dimension, as was discovered in the complex case by Bleher, Shiffman, and Zelditch. For systems of the ${\rm isom}(\mathbb{R}^n)$-invariant Gaussian analytic functions we also obtain a fast decay of correlations at long distances. We then prove that the correlation function for the ${\rm isom}(\mathbb{R}^n)$-invariant Gaussian analytic functions is "universal," describing the scaling limit of the correlation function for the restriction of systems of the $SO(k+1)$-invariant Gaussian random polynomials to any $n$-dimensional $C^2$ submanifold $M \subset \mathbb{RP}^k$. This provides a real counterpart to the universality results that were proved in the complex case by Bleher, Shiffman, and Zelditch. (Our techniques also apply to the complex case, proving a special case of the universality results of Bleher, Shiffman, and Zelditch.) △ Less

Submitted 15 July, 2015; v1 submitted 4 February, 2015; originally announced February 2015.

Comments: 28 pages, 1 figure. To appear in International Mathematics Research Notices (IMRN)

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

Painlevé I double scaling limit in the cubic random matrix model

Authors: Pavel M. Bleher, Alfredo Deaño

Abstract: We obtain the double scaling asymptotic behavior of the recurrence coefficients and the partition function at the critical point of the $N\times N$ Hermitian random matrix model with cubic potential. We prove that the recurrence coefficients admit an asymptotic expansion in powers of $N^{-2/5}$, and in the leading order the asymptotic behavior of the recurrence coefficients is given by a Boutroux… ▽ More We obtain the double scaling asymptotic behavior of the recurrence coefficients and the partition function at the critical point of the $N\times N$ Hermitian random matrix model with cubic potential. We prove that the recurrence coefficients admit an asymptotic expansion in powers of $N^{-2/5}$, and in the leading order the asymptotic behavior of the recurrence coefficients is given by a Boutroux tronquée solution to the Painlevé I equation. We also obtain the double scaling limit of the partition function, and we prove that the poles of the tronquée solution are limits of zeros of the partition function. The tools used include the Riemann--Hilbert approach and the Deift--Zhou nonlinear steepest descent method for the corresponding family of complex orthogonal polynomials and their recurrence coefficients, together with the Toda equation in the parameter space. △ Less

Submitted 18 November, 2015; v1 submitted 14 October, 2013; originally announced October 2013.

Comments: 49 pages, 12 figures, sections 1 to 3 revised

MSC Class: 30E15; 60B20; 33E17; 35Q15; 05C10

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

Counting Zeros of Harmonic Rational Functions and Its Application to Gravitational Lensing

Authors: Pavel M. Bleher, Youkow Homma, Lyndon L. Ji, Roland K. W. Roeder

Abstract: General Relativity gives that finitely many point masses between an observer and a light source create many images of the light source. Positions of these images are solutions of $r(z)=\bar{z},$ where $r(z)$ is a rational function. We study the number of solutions to $p(z) = \bar{z}$ and $r(z) = \bar{z},$ where $p(z)$ and $r(z)$ are polynomials and rational functions, respectively. Upper and lower… ▽ More General Relativity gives that finitely many point masses between an observer and a light source create many images of the light source. Positions of these images are solutions of $r(z)=\bar{z},$ where $r(z)$ is a rational function. We study the number of solutions to $p(z) = \bar{z}$ and $r(z) = \bar{z},$ where $p(z)$ and $r(z)$ are polynomials and rational functions, respectively. Upper and lower bounds were previously obtained by Khavinson-Świcatek, Khavinson-Neumann, and Petters. Between these bounds, we show that any number of simple zeros allowed by the Argument Principle occurs and nothing else occurs, off of a proper real algebraic set. If $r(z) = \bar{z}$ describes an $n$-point gravitational lens, we determine the possible numbers of generic images. △ Less

Submitted 15 December, 2012; v1 submitted 11 June, 2012; originally announced June 2012.

Comments: 15 pages, 2 figures. To appear in International Mathematics Research Notices (IMRN)

MSC Class: 30C15; 26C15; 14P05; 83C99; 85A99

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

Nearest Neighbor Distances on a Circle: Multidimensional Case

Authors: Pavel M. Bleher, Youkow Homma, Lyndon L. Ji, Roland K. W. Roeder, Jeffrey D. Shen

Abstract: We study the distances, called spacings, between pairs of neighboring energy levels for the quantum harmonic oscillator. Specifically, we consider all energy levels falling between E and E+1, and study how the spacings between these levels change for various choices of E, particularly when E goes to infinity. Primarily, we study the case in which the spring constant is a badly approximable vector.… ▽ More We study the distances, called spacings, between pairs of neighboring energy levels for the quantum harmonic oscillator. Specifically, we consider all energy levels falling between E and E+1, and study how the spacings between these levels change for various choices of E, particularly when E goes to infinity. Primarily, we study the case in which the spring constant is a badly approximable vector. We first give the proof by Boshernitzan-Dyson that the number of distinct spacings has a uniform bound independent of E. Then, if the spring constant has components forming a basis of an algebraic number field, we show that, when normalized up to a unit, the spacings are from a finite set. Moreover, in the specific case that the field has one fundamental unit, the probability distribution of these spacings behaves quasiperiodically in log E. We conclude by studying the spacings in the case that the spring constant is not badly approximable, providing examples for which the number of distinct spacings is unbounded. △ Less

Submitted 20 September, 2011; v1 submitted 20 July, 2011; originally announced July 2011.

Comments: Version 2 is updated to include more discussion of previous works. 17 pages with five figures. To appear in the Journal of Statistical Physics

MSC Class: 11K60; 81Q50

Orthogonal polynomials in the normal matrix model with a cubic potential

Authors: Pavel M. Bleher, Arno B. J. Kuijlaars

Abstract: We consider the normal matrix model with a cubic potential. The model is ill-defined, and in order to reguralize it, Elbau and Felder introduced a model with a cut-off and corresponding system of orthogonal polynomials with respect to a varying exponential weight on the cut-off region on the complex plane. In the present paper we show how to define orthogonal polynomials on a specially chosen syst… ▽ More We consider the normal matrix model with a cubic potential. The model is ill-defined, and in order to reguralize it, Elbau and Felder introduced a model with a cut-off and corresponding system of orthogonal polynomials with respect to a varying exponential weight on the cut-off region on the complex plane. In the present paper we show how to define orthogonal polynomials on a specially chosen system of infinite contours on the complex plane, without any cut-off, which satisfy the same recurrence algebraic identity that is asymptotically valid for the orthogonal polynomials of Elbau and Felder. The main goal of this paper is to develop the Riemann-Hilbert (RH) approach to the orthogonal polynomials under consideration and to obtain their asymptotic behavior on the complex plane as the degree $n$ of the polynomial goes to infinity. As the first step in the RH approach, we introduce an auxiliary vector equilibrium problem for a pair of measures $(μ_1,μ_2)$ on the complex plane. We then formulate a $3\times 3$ matrix valued RH problem for the orthogonal polynomials in hand, and we apply the nonlinear steepest descent method of Deift-Zhou to the asymptotic analysis of the RH problem. The central steps in our study are a sequence of transformations of the RH problem, based on the equilibrium vector measure $(μ_1,μ_2)$, and the construction of a global parametrix. The main result of this paper is a derivation of the large $n$ asymptotics of the orthogonal polynomials on the whole complex plane. We prove that the distribution of zeros of the orthogonal polynomials converges to the measure $μ_1$, the first component of the equilibrium measure. We also obtain analytical results for the measure $μ_1$ relating it to the distribution of eigenvalues in the normal matrix model which is uniform in a domain bounded by a simple closed curve. △ Less

Submitted 30 June, 2011; originally announced June 2011.

Comments: 57 pages, 8 figures

Journal ref: Advances in Mathematics. 230 (2012), 1272--1321

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.

Large n limit of Gaussian random matrices with external source, Part III: Double scaling limit

Authors: Pavel M. Bleher, Arno B. J. Kuijlaars

Abstract: We consider the double scaling limit in the random matrix ensemble with an external source $\frac{1}{Z_n} e^{-n \Tr({1/2}M^2 -AM)} dM$ defined on $n\times n$ Hermitian matrices, where $A$ is a diagonal matrix with two eigenvalues $\pm a$ of equal multiplicities. The value $a=1$ is critical since the eigenvalues of $M$ accumulate as $n \to \infty$ on two intervals for $a > 1$ and on one interval… ▽ More We consider the double scaling limit in the random matrix ensemble with an external source $\frac{1}{Z_n} e^{-n \Tr({1/2}M^2 -AM)} dM$ defined on $n\times n$ Hermitian matrices, where $A$ is a diagonal matrix with two eigenvalues $\pm a$ of equal multiplicities. The value $a=1$ is critical since the eigenvalues of $M$ accumulate as $n \to \infty$ on two intervals for $a > 1$ and on one interval for $0 < a < 1$. These two cases were treated in Parts I and II, where we showed that the local eigenvalue correlations have the universal limiting behavior known from unitary random matrix ensembles. For the critical case $a=1$ new limiting behavior occurs which is described in terms of Pearcey integrals, as shown by Brézin and Hikami, and Tracy and Widom. We establish this result by applying the Deift/Zhou steepest descent method to a $3 \times 3$-matrix valued Riemann-Hilbert problem which involves the construction of a local parametrix out of Pearcey integrals. We resolve the main technical issue of matching the local Pearcey parametrix with a global outside parametrix by modifying an underlying Riemann surface. △ Less

Submitted 28 February, 2006; originally announced February 2006.

Comments: 36 pages, 9 figures

Journal ref: Communications in Mathematical Physics 270 (2007), 481--517

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.

Integral representations for multiple Hermite and multiple Laguerre polynomials

Authors: Pavel M. Bleher, Arno B. J. Kuijlaars

Abstract: We give integral representations for multiple Hermite and multiple Hermite polynomials of both type I and II. We also show how these are connected with double integral representations of certain kernels from random matrix theory. We give integral representations for multiple Hermite and multiple Hermite polynomials of both type I and II. We also show how these are connected with double integral representations of certain kernels from random matrix theory. △ Less

Submitted 30 June, 2004; originally announced June 2004.

Comments: 12 pages

MSC Class: 30E20; 42C05

Journal ref: Annales de l'Institut Fourier 55 (2005), 2001-2014

Random matrices with external source and multiple orthogonal polynomials

Authors: P. M. Bleher, A. B. J. Kuijlaars

Abstract: We show that the average characteristic polynomial P_n(z) = E [\det(zI-M)] of the random Hermitian matrix ensemble Z_n^{-1} \exp(-Tr(V(M)-AM))dM is characterized by multiple orthogonality conditions that depend on the eigenvalues of the external source A. For each eigenvalue a_j of A, there is a weight and P_n has n_j orthogonality conditions with respect to this weight, if n_j is the multiplici… ▽ More We show that the average characteristic polynomial P_n(z) = E [\det(zI-M)] of the random Hermitian matrix ensemble Z_n^{-1} \exp(-Tr(V(M)-AM))dM is characterized by multiple orthogonality conditions that depend on the eigenvalues of the external source A. For each eigenvalue a_j of A, there is a weight and P_n has n_j orthogonality conditions with respect to this weight, if n_j is the multiplicity of a_j. The eigenvalue correlation functions have determinantal form, as shown by Zinn-Justin. Here we give a different expression for the kernel. We derive a Christoffel-Darboux formula in case A has two distinct eigenvalues, which leads to a compact formula in terms of a Riemann-Hilbert problem that is satisfied by multiple orthogonal polynomials. △ Less

Submitted 28 July, 2003; originally announced July 2003.

Comments: 17 pages

Journal ref: Int.Math.Res.Not.2004:109-129,2004