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 Pells 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 Conways topograph, and generalizations to other arithmetic Coxeter groups. This includes a study of arithmetic flags and variants of binary quadratic forms.

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.

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

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.

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.

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 etale site, as they are used in the construction of the L-group.

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 $epsilon colon mu_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 etale site, as they are used in a crucial step in the construction.