- Award ID(s):
- 1802905
- NSF-PAR ID:
- 10337173
- Date Published:
- Journal Name:
- Journal für die reine und angewandte Mathematik (Crelles Journal)
- Volume:
- 2020
- Issue:
- 768
- ISSN:
- 0075-4102
- Page Range / eLocation ID:
- 93 to 147
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$ -arithmetic manifold is purely local, that is, only depends on the Galois representation at places above $p$ . This is a generalization to $\text{GL}_{3}$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil–Mézard conjecture for (tamely) potentially crystalline deformation rings with Hodge–Tate weights $(2,1,0)$ as well as the Serre weight conjectures of Herzig [‘The weight in a Serre-type conjecture for tame $n$ -dimensional Galois representations’, Duke Math. J. 149 (1) (2009), 37–116] over an unramified field extending the results of Le et al. [‘Potentially crystalline deformation 3985 rings and Serre weight conjectures: shapes and shadows’, Invent. Math. 212 (1) (2018), 1–107]. We also prove results in modular representation theory about lattices in Deligne–Lusztig representations for the group $\text{GL}_{3}(\mathbb{F}_{q})$ .more » « less
-
Abstract We prove that the Hilbert scheme of
k points on ($${\mathbb {C}}^2$$ ) is self-dual under three-dimensional mirror symmetry using methods of geometry and integrability. Namely, we demonstrate that the corresponding quantum equivariant K-theory is invariant upon interchanging its Kähler and equivariant parameters as well as inverting the weight of the$$\hbox {Hilb}^k[{\mathbb {C}}^2]$$ -action. First, we find a two-parameter family$${\mathbb {C}}^\times _\hbar $$ of self-mirror quiver varieties of type A and study their quantum K-theory algebras. The desired quantum K-theory of$$X_{k,l}$$ is obtained via direct limit$$\hbox {Hilb}^k[{\mathbb {C}}^2]$$ and by imposing certain periodic boundary conditions on the quiver data. Throughout the proof, we employ the quantum/classical (q-Langlands) correspondence between XXZ Bethe Ansatz equations and spaces of twisted$$l\longrightarrow \infty $$ -opers. In the end, we propose the 3d mirror dual for the moduli spaces of torsion-free rank-$$\hbar $$ N sheaves on with the help of a different (three-parametric) family of type A quiver varieties with known mirror dual.$${\mathbb {P}}^2$$ -
We prove a character formula for some closed fine Deligne–Lusztig varieties. We apply it to compute fixed points for fine Deligne–Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport–Zink spaces arising from the arithmetic Gan–Gross–Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.more » « less
-
We give a geometric construction of representations of parahoric subgroups P P of a reductive group G G over a local field which splits over an unramified extension. These representations correspond to characters θ \theta of unramified maximal tori and, when the torus is elliptic, are expected to give rise to supercuspidal representations of G G . We calculate the character of these P P -representations on a special class of regular semisimple elements of G G . Under a certain regularity condition on θ \theta , we prove that the associated P P -representations are irreducible. This generalizes a construction of Lusztig from the hyperspecial case to the setting of an arbitrary parahoric.more » « less
-
We show that, in good residual characteristic, most supercuspidal representations of a tamely ramified reductive p-adic group G arise from pairs (S,\theta), where S is a tame elliptic maximal torus of G, and \theta is a character of S satisfying a simple root-theoretic property. We then give a new expression for the roots of unity that appear in the Adler-DeBacker-Spice character formula for these supercuspidal representations and use it to show that this formula bears a striking resemblance to the character formula for discrete series representations of real reductive groups. Led by this, we explicitly construct the local Langlands correspondence for these supercuspidal representations and prove stability and endoscopic transfer in the case of toral representations. In large residual characteristic this gives a construction of the local Langlands correspondence for almost all supercuspidal representations of reductive p-adic groups.more » « less