arXiv subjects

Martin H. Weissman

Publications and source records attributed to Martin H. Weissman.

18 recordsLinked to original sources

arXiv2026

Types and collapse for cuspidal representations of groups acting on trees

In a previous paper, the second author proved that every supercuspidal representation of a rank-one p-adic group is induced from a compact-mod-center open subgroup. The method was geometric, localizing representations to obtain equivariant sheaves on trees. Here we provide two refinements. The first is a geometric description of the inducing data, via a geometrically minimal K-type. Second is a proof that the equivariant sheaves collapse onto injective sheaves. The two notions of geometrically minimal K-types and collapsibility generalize to higher rank groups, suggesting a pair of conjectures.

math.RT↗

arXiv2019

Equivariant perverse sheaves on Coxeter arrangements and buildings

When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with respect to the stratification by reflection hyperplanes. By using Kapranov and Schechtman's recent analysis of perverse sheaves on hyperplane arrangements, we find an equivalence of categories from ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ to a category of finite-dimensional modules over an algebra given by explicit generators and relations. We also define categories of equivariant perverse sheaves on affine buildings, e.g., $G$-equivariant perverse sheaves on the Bruhat--Tits building of a $p$-adic group $G$. In this setting, we find that a construction of Schneider and Stuhler gives equivariant perverse sheaves associated to depth zero representations.

math.RT↗

arXiv2018

An induction theorem for groups acting on trees

If $G$ is a group acting on a tree $X$, and ${\mathcal S}$ is a $G$-equivariant sheaf of vector spaces on $X$, then its compactly-supported cohomology is a representation of $G$. Under a finiteness hypothesis, we prove that if $H_c^0(X, {\mathcal S})$ is an irreducible representation of $G$, then $H_c^0(X, {\mathcal S})$ arises by induction from a vertex or edge stabilizing subgroup. If $G$ is a reductive group over a nonarchimedean local field $F$, then Schneider and Stuhler realize every irreducible supercuspidal representation of $G(F)$ in the degree-zero cohomology of a $G(F)$-equivariant sheaf on its reduced Bruhat-Tits building $X$. When the derived subgroup of $G$ has relative rank one, $X$ is a tree. An immediate consequence is that every such irreducible supercuspidal representation arises by induction from a compact-mod-center open subgroup.

math.RT↗

arXiv2018

The arithmetic of arithmetic Coxeter groups

In the 1990s, J.H. Conway published a combinatorial-geometric method for analyzing integer-valued binary quadratic forms (BQFs). Using a visualization he named the "topograph," Conway revisited the reduction of BQFs and the solution of quadratic Diophantine equations such as Pell's equation. It appears that the crux of his method is the coincidence between the arithmetic group $PGL_2({\mathbb Z})$ and the Coxeter group of type $(3,\infty)$. There are many arithmetic Coxeter groups, and each may have unforeseen applications to arithmetic. We introduce Conway's topograph, and generalizations to other arithmetic Coxeter groups. This includes a study of "arithmetic flags" and variants of binary quadratic forms.

math.NT↗

arXiv2017

Whittaker models for depth zero representations of covering groups

We study the dimension of the space of Whittaker functionals for depth zero representations of covering groups. In particular, we determine such dimensions for arbitrary Brylinski-Deligne coverings of the general linear group. The results in the paper are motivated by and compatible with the work of Howard and the second author, and earlier work by Blondel.

math.RT↗

arXiv2017

L-groups and the Langlands program for covering groups: a historical introduction

In this joint introduction to an Asterisque volume, we give a short discussion of the historical developments in the study of nonlinear covering groups, touching on their structure theory, representation theory and the theory of automorphic forms. This serves as a historical motivation and sets the scene for the papers in the volume. Our discussion is necessarily subjective and will undoubtedly leave out the contributions of many authors, to whom we apologize in earnest.

math.RT↗

arXiv2016

L-groups and parameters for covering groups

We incorporate covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. We work with all covers that arise from extensions of quasisplit reductive groups by $\mathbf{K}_2$ -- the class studied by Brylinski and Deligne. We use this L-group to parameterize genuine irreducible representations in many contexts, including covers of split tori, unramified representations, and discrete series for double covers of semisimple groups over $\mathbb R$. An appendix surveys torsors and gerbes on the étale site, as they are used in the construction of the L-group.

math.NT↗

arXiv2016

A comparison of L-groups for covers of split reductive groups

In one article, the author has defined an L-group associated to a cover of a quasisplit reductive group over a local or global field. In another article, Wee Teck Gan and Fan Gao define (following an unpublished letter of the author) an L-group associated to a cover of a pinned split reductive group over a local or global field. In this short note, we give an isomorphism between these L-groups. In this way, the results and conjectures discussed by Gan and Gao are compatible with those of the author. Both support the same Langlands-type conjectures for covering groups.

math.NT↗

arXiv2015

The L-group of a covering group

We incorporate nonlinear covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. This L-group is an extension of the absolute Galois group of a local or global field $F$ by a complex reductive group. The L-group depends on an extension of a quasisplit reductive $F$-group by $\mathbf{K}_2$, a positive integer $n$ (the degree of the cover), an injective character $ε\colon μ_n \rightarrow {\mathbb C}^\times$, and a separable closure of $F$. Our L-group is consistent with previous work on covering groups, and its construction is contravariantly functorial for certain well-aligned homomorphisms. An appendix surveys torsors and gerbes on the étale site, as they are used in a crucial step in the construction.

math.NT↗

arXiv2014

Covering groups and their integral models

Given a reductive group $\boldsymbol{\mathrm{G}}$ over a base scheme $S$, Brylinski and Deligne studied the central extensions of a reductive group $\boldsymbol{\mathrm{G}}$ by $\boldsymbol{\mathrm{K}}_2$, viewing both as sheaves of groups on the big Zariski site over $S$. Their work classified these extensions by three invariants, for $S$ the spectrum of a field. We expand upon their work to study "integral models" of such central extensions, obtaining similar results for $S$ the spectrum of a sufficiently nice ring, e.g., a DVR with finite residue field or a DVR containing a field. Milder results are obtained for $S$ the spectrum of a Dedekind domain, often conditional on Gersten's conjecture.

math.NT↗

arXiv2014

Covers of tori over local and global fields

Langlands has described the irreducible admissible representations of $T$, when $T$ is the group of points of an algebraic torus over a local field. Also, Langlands described the automorphic representations of $T_{\mathbb A}$ when $T_{\mathbb A}$ is the group of adelic points of an algebraic torus over a global field $F$. We describe irreducible (in the local setting) and automorphic (in the global setting) $ε$-genuine representations for covers of tori, also known as metaplectic tori, which arise from a framework of Brylinski and Deligne. In particular, our results include a description of spherical Hecke algebras in the local unramified setting, and a global multiplicity estimate for automorphic representations of covers of split tori. For automorphic representations of covers of split tori, we prove a multiplicity-one theorem.

math.RT↗

arXiv2011

Managing Metaplectiphobia: Covering p-adic groups

Brylinski and Deligne have provided a framework to study central extensions of reductive groups by K2 over a field F. Such central extensions can be used to construct central extensions of p-adic groups by finite cyclic groups, including the metaplectic groups. Particularly interesting is the observation of Brylinski and Deligne that a central extension of a reductive group by K2, over a p-adic field, yields a family of central extensions of reductive groups by the multiplicative group over the residue field, indexed by the points of the building. These algebraic groups over the residue field determine the structure of central extensions of p-adic groups, when the extension is restricted to a parahoric subgroup. This article surveys and builds upon the work of Brylinski and Deligne, culminating in a precise description of some central extensions using the Bruhat-Tits building.

math.NT↗

arXiv2011

Split metaplectic groups and their L-groups

We adapt the conjectural local Langlands parameterization to split metaplectic groups over local fields. When $\tilde G$ is a central extension of a split connected reductive group over a local field (arising from the framework of Brylinski and Deligne), we construct a dual group $\mathbf{\tilde G}^\vee$ and an L-group ${}^L \mathbf{\tilde G}^\vee$ as group schemes over ${\mathbb Z}$. Such a construction leads to a definition of Weil-Deligne parameters (Langlands parameters) with values in this L-group, and to a conjectural parameterization of the irreducible genuine representations of $\tilde G$. This conjectural parameterization is compatible with what is known about metaplectic tori, Iwahori-Hecke algebra isomorphisms between metaplectic and linear groups, and classical theta correspondences between $Mp_{2n}$ and special orthogonal groups.

math.RT↗

arXiv2009

Dichotomy for generic supercuspidal representations of $G_2$

The local Langlands conjectures imply that to every generic supercuspidal irreducible representation of $G_2$ over a $p$-adic field, one can associate a generic supercuspidal irreducible representation of either $PGSp_6$ or$PGL_3$. We prove this conjectural dichotomy, demonstrating a precise correspondence between certain representations of $G_2$ and other representations of $PGSp_6$ and $PGL_3$. This correspondence arises from theta correspondences in $E_6$ and $E_7$, analysis of Shalika functionals, and spin L-functions. Our main result reduces the conjectural Langlands parameterization of generic supercuspidal irreducible representations of $G_2$ to a single conjecture about the parameterization for $PGSp_6$.

math.RT↗

arXiv2008

Depth Zero Representations of Nonlinear Covers of $p$-adic Groups

We generalize the methods of Moy-Prasad, in order to define and study the genuine depth zero representations of some nonlinear covers of reductive groups over $p$-adic local fields. In particular, we construct all depth zero supercuspidal representations of the metaplectic group $Mp_{2n}$ over a $p$-adic field of odd residue characteristic.

math.RT↗

arXiv2008

Metaplectic Tori over Local Fields

Smooth irreducible representations of tori over local fields have been parameterized by Langlands, using class field theory and Galois cohomology. This paper extends this parameterization to central extensions of such tori, which arise naturally in the setting of nonlinear covers of reductive groups.

math.RT↗

arXiv2007

Multiplying Modular Forms

The space of elliptic modular forms of fixed weight and level can be identfied with a space of intertwining operators, from a holomorphic discrete series representation of SL2(R) to a space of automorphic forms. Moreover, multiplying elliptic modular forms corresponds to a branching problem involving tensor products of holomorphic discrete series representations. In this paper, we explicitly connect the ring structure on spaces of modular forms with branching problems in the representation theory of real semisimple Lie groups. Furthermore, we construct a family of intertwining operators from discrete series representations into tensor products of other discrete series representations. This collection of intertwining operators provides the well-known ring structure on spaces of holomorphic modular forms. An analytic subtlety prevents this collection of intertwining operators from directly yielding a ring structure on some spaces of modular forms. We discuss discrete decomposability, and its role in constructing ring structures.

math.RT↗

arXiv2004

D4 Modular Forms

In this paper, we study modular forms on two simply connected groups of type $D_4$ over ${\mathbb Q}$. One group, $G_s$ is a globally split group of type $D_4$, viewed as the group of isotopies of the split rational octonions. The other, $G_c$, is the isotopy group of the rational (non-split) octonions. We study automorphic forms on $G_s$, in analogy to the work of Gross, Gan, and Savin on $G_2$; namely we study automorphic forms whose component at infinity corresponds to a quaternionic discrete series representation. We study automorphic forms on $G_c$ using Gross's formalism of ``algebraic modular forms''. Finally, we follow work of Gan, Savin, Gross, Rallis, and others, to study an exceptional theta correspondence connecting modular forms on $G_c$ and $G_s$. This can be thought of as an octonionic generalization of the Jacquet-Langlands correspondence.

math.RT↗