On the construction of tame supercuspidal representations

Let $F$ be a non-archimedean local field of residual characteristic $p \neq 2$ . Let $G$ be a (connected) reductive group over $F$ that splits over a tamely ramified field extension of $F$ . We revisit Yu's construction of smooth complex representations of $G(F)$ from a slightly different perspective and provide a proof that the resulting representations are supercuspidal. We also provide a counterexample to Proposition 14.1 and Theorem 14.2 in Yu [Construction of tame supercuspidal representations, J. Amer. Math. Soc. 14 (2001), 579–622], whose proofs relied on a typo in a reference.

Stability in the homology of Deligne–Mumford compactifications

Using the theory of ${\mathbf {FS}} {^\mathrm {op}}$ modules, we study the asymptotic behavior of the homology of ${\overline {\mathcal {M}}_{g,n}}$ , the Deligne–Mumford compactification of the moduli space of curves, for $n\gg 0$ . An ${\mathbf {FS}} {^\mathrm {op}}$ module is a contravariant functor from the category of finite sets and surjections to vector spaces. Via copies that glue on marked projective lines, we give the homology of ${\overline {\mathcal {M}}_{g,n}}$ the structure of an ${\mathbf {FS}} {^\mathrm {op}}$ module and bound its degree of generation. As a consequence, we prove that the generating function $\sum _{n} \dim (H_i({\overline {\mathcal {M}}_{g,n}})) t^n$ is rational, and its denominator has roots in the set $\{1, 1/2, \ldots, 1/p(g,i)\},$ where $p(g,i)$ is a polynomial of order $O(g^2 i^2)$ . We also obtain restrictions on the decomposition of the homology of ${\overline {\mathcal {M}}_{g,n}}$ into irreducible $\mathbf {S}_n$ representations.

Fundamental local equivalences in quantum geometric Langlands

In quantum geometric Langlands, the Satake equivalence plays a less prominent role than in the classical theory. Gaitsgory and Lurie proposed a conjectural substitute, later termed the fundamental local equivalence. With a few exceptions, we prove this conjecture and its extension to the affine flag variety by using what amount to Soergel module techniques.

Translates of homogeneous measures associated with observable subgroups on some homogeneous spaces

In the present article, we study the following problem. Let $\boldsymbol {G}$ be a linear algebraic group over $\mathbb {Q}$ , let $\Gamma$ be an arithmetic lattice, and let $\boldsymbol {H}$ be an observable $\mathbb {Q}$ -subgroup. There is a $H$ -invariant measure $\mu _H$ supported on the closed submanifold $H\Gamma /\Gamma$ . Given a sequence $(g_n)$ in $G$ , we study the limiting behavior of $(g_n)_*\mu _H$ under the weak- $*$ topology. In the non-divergent case, we give a rather complete classification. We further supplement this by giving a criterion of non-divergence and prove non-divergence for arbitrary sequence $(g_n)$ for certain large $\boldsymbol {H}$ . We also discuss some examples and applications of our result. This work can be viewed as a natural extension of the work of Eskin–Mozes–Shah and Shapira–Zheng.

Exponential mixing of frame flows for convex cocompact hyperbolic manifolds

The aim of this paper is to establish exponential mixing of frame flows for convex cocompact hyperbolic manifolds of arbitrary dimension with respect to the Bowen–Margulis–Sullivan measure. Some immediate applications include an asymptotic formula for matrix coefficients with an exponential error term as well as the exponential equidistribution of holonomy of closed geodesics. The main technical result is a spectral bound on transfer operators twisted by holonomy, which we obtain by building on Dolgopyat's method.

Steenrod operators, the Coulomb branch and the Frobenius twist

We observe a fundamental relationship between Steenrod operations and the Artin–Schreier morphism. We use Steenrod's construction, together with some new geometry related to the affine Grassmannian, to prove that the quantum Coulomb branch is a Frobenius-constant quantization. We also demonstrate the corresponding result for the $K$ -theoretic version of the quantum Coulomb branch. At the end of the paper, we investigate what our ideas produce on the categorical level. We find that they yield, after a little fiddling, a construction which corresponds, under the geometric Satake equivalence, to the Frobenius twist functor for representations of the Langlands dual group. We also describe the unfiddled answer, conditional on a conjectural ‘modular derived Satake’, and, though it is more complicated to state, it is in our opinion just as neat and even more compelling.

-rigidity of Lagrangian submanifolds and punctured holomorphic disks in the cotangent bundle

Our main result is the $\mathbb {\mathcal {C}}^{0}$ -rigidity of the area spectrum and the Maslov class of Lagrangian submanifolds. This relies on the existence of punctured pseudoholomorphic disks in cotangent bundles with boundary on the zero section, whose boundaries represent any integral homology class. We discuss further applications of these punctured disks in symplectic geometry.