We investigate and compare applications of the Zilber–Pink conjecture and dynamical methods to rigidity problems for arithmetic real and complex hyperbolic lattices. Along the way, we obtain new general results about reconstructing a variation of Hodge structure from its typical Hodge locus that may be of independent interest. Applications to Siu’s immersion problem are also discussed, the most general of which only requires the hypothesis that infinitely many closed geodesics map to proper totally geodesic subvarieties under the immersion.

In this paper, we study the twisted Ruelle zeta function associated with the geodesic flow of a compact, hyperbolic, odd-dimensional manifold X. The twisted Ruelle zeta function is associated with an acyclic representation $\chi \colon \pi _{1}(X) \rightarrow \operatorname {\mathrm {GL}}_{n}(\mathbb {C})$, which is close enough to an acyclic, unitary representation. In this case, the twisted Ruelle zeta function is regular at zero and equals the square of the refined analytic torsion, as it is introduced by Braverman and Kappeler in [6], multiplied by an exponential, which involves the eta invariant of the even part of the odd-signature operator, associated with $\chi $.

In this article, we generalize results of Clozel and Ray (for $SL_2$ and $SL_n$, respectively) to give explicit ring-theoretic presentation in terms of a complete set of generators and relations of the Iwasawa algebra of the pro-p Iwahori subgroup of a simple, simply connected, split group $\mathbf {G}$ over ${{\mathbb Q}_p}$.

Let $(\tau , V_{\tau })$ be a finite dimensional representation of a maximal compact subgroup K of a connected non-compact semisimple Lie group G, and let $\Gamma $ be a uniform torsion-free lattice in G. We obtain an infinitesimal version of the celebrated Matsushima–Murakami formula, which relates the dimension of the space of automorphic forms associated to $\tau $ and multiplicities of irreducible $\tau ^\vee $-spherical spectra in $L^2(\Gamma \backslash G)$. This result gives a promising tool to study the joint spectra of all central operators on the homogenous bundle associated to the locally symmetric space and hence its infinitesimal $\tau $-isospectrality. Along with this, we prove that the almost equality of $\tau $-spherical spectra of two lattices assures the equality of their $\tau $-spherical spectra.

Without using the $p$-adic Langlands correspondence, we prove that for many finite-length smooth representations of $\mathrm {GL}_2(\mathbf {Q}_p)$ on $p$-torsion modules the $\mathrm {GL}_2(\mathbf {Q}_p)$-linear morphisms coincide with the morphisms that are linear for the normalizer of a parahoric subgroup. We identify this subgroup to be the Iwahori subgroup in the supersingular case, and $\mathrm {GL}_2(\mathbf {Z}_p)$ in the principal series case. As an application, we relate the action of parahoric subgroups to the action of the inertia group of $\mathrm {Gal}(\overline {\mathbf {Q}}_p/\mathbf {Q}_p)$, and we prove that if an irreducible Banach space representation $\Pi$ of $\mathrm {GL}_2(\mathbf {Q}_p)$ has infinite $\mathrm {GL}_2(\mathbf {Z}_p)$-length, then a twist of $\Pi$ has locally algebraic vectors. This answers a question of Dospinescu. We make the simplifying assumption that $p > 3$ and that all our representations are generic.

We define an involution on the elliptic space of tempered unipotent representations of inner twists of a split simple $p$-adic group $G$ and investigate its behaviour with respect to restrictions to reductive quotients of maximal compact open subgroups. In particular, we formulate a precise conjecture about the relation with a version of Lusztig's nonabelian Fourier transform on the space of unipotent representations of the (possibly disconnected) reductive quotients of maximal compact subgroups. We give evidence for the conjecture, including proofs for ${\mathsf {SL}}_n$ and ${\mathsf {PGL}}_n$.

Let G be a split connected reductive group defined over $\mathbb {Z}$. Let F and $F'$ be two non-Archimedean m-close local fields, where m is a positive integer. D. Kazhdan gave an isomorphism between the Hecke algebras $\mathrm {Kaz}_m^F :\mathcal {H}\big (G(F),K_F\big ) \rightarrow \mathcal {H}\big (G(F'),K_{F'}\big )$, where $K_F$ and $K_{F'}$ are the mth usual congruence subgroups of $G(F)$ and $G(F')$, respectively. On the other hand, if $\sigma $ is an automorphism of G of prime order l, then we have Brauer homomorphism $\mathrm {Br}:\mathcal {H}(G(F),U(F))\rightarrow \mathcal {H}(G^\sigma (F),U^\sigma (F))$, where $U(F)$ and $U^\sigma (F)$ are compact open subgroups of $G(F)$ and $G^\sigma (F),$ respectively. In this article, we study the compatibility between these two maps in the local base change setting. Further, an application of this compatibility is given in the context of linkage – which is the representation theoretic version of Brauer homomorphism.

In the present article, we study compact complex manifolds admitting a Hermitian metric which is strong Kähler with torsion (SKT) and Calabi–Yau with torsion (CYT) and whose Bismut torsion is parallel. We first obtain a characterization of the universal cover of such manifolds as a product of a Kähler Ricci-flat manifold with a Bismut flat one. Then, using a mapping torus construction, we provide non-Bismut flat examples. The existence of generalized Kähler structures is also investigated.

We settle the question of where exactly do the reduced Kronecker coefficients lie on the spectrum between the Littlewood-Richardson and Kronecker coefficients by showing that every Kronecker coefficient of the symmetric group is equal to a reduced Kronecker coefficient by an explicit construction. This implies the equivalence of an open problem by Stanley from 2000 and an open problem by Kirillov from 2004 about combinatorial interpretations of these two families of coefficients. Moreover, as a corollary, we deduce that deciding the positivity of reduced Kronecker coefficients is ${\textsf {NP}}$-hard, and computing them is ${{{\textsf {#P}}}}$-hard under parsimonious many-one reductions. Our proof also provides an explicit isomorphism of the corresponding highest weight vector spaces.

We compute the Jantzen filtration of a $\mathcal {D}$-module on the flag variety of $\operatorname {\mathrm {SL}}_2(\mathbb {C})$. At each step in the computation, we illustrate the $\mathfrak {sl}_2(\mathbb {C})$-module structure on global sections to give an algebraic picture of this geometric computation. We conclude by showing that the Jantzen filtration on the $\mathcal {D}$-module agrees with the algebraic Jantzen filtration on its global sections, demonstrating a famous theorem of Beilinson and Bernstein.

Let $F$ be a totally real field in which $p$ is unramified and let $B$ be a quaternion algebra over $F$ which splits at at most one infinite place. Let $\overline {r}:\operatorname {{\mathrm {Gal}}}(\overline {F}/F)\rightarrow \mathrm {GL}_2(\overline {\mathbb {F}}_p)$ be a modular Galois representation which satisfies the Taylor–Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $\mathbb {Q}_p$ and $\overline {r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb {Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand–Kirillov dimension $1$. As an application we prove that the degree-two Scholze's functor (which is defined by Scholze [On the $p$-adic cohomology of the Lubin–Tate tower, Ann. Sci. Éc. Norm. Supér. (4) 51 (2018), 811–863]) vanishes on generic supersingular representations of $\mathrm {GL}_2(\mathbb {Q}_p)$. We also prove some finer structure theorems about the image of Scholze's functor in the reducible case.

Geometric Langlands predicts an isomorphism between Whittaker coefficients of Eisenstein series and functions on the moduli space of $\check {N}$-local systems. We prove this formula by interpreting Whittaker coefficients of Eisenstein series as factorization homology and then invoking Beilinson and Drinfeld’s formula for chiral homology of a chiral enveloping algebra.

If $\mu $ is a smooth measure supported on a real-analytic submanifold of ${\mathbb {R}}^{2n}$ which is not contained in any affine hyperplane, then the Weyl transform of $\mu $ is a compact operator.

Let $F$ be a non-archimedean local field of characteristic different from 2 and residual characteristic $p$. This paper concerns the $\ell$-modular representations of a connected reductive group $G$ distinguished by a Galois involution, with $\ell$ an odd prime different from $p$. We start by proving a general theorem allowing to lift supercuspidal $\overline {\mathbf {F}}_{\ell }$-representations of $\operatorname {GL}_n(F)$ distinguished by an arbitrary closed subgroup $H$ to a distinguished supercuspidal $\overline {\mathbf {Q}}_{\ell }$-representation. Given a quadratic field extension $E/F$ and an irreducible $\overline {\mathbf {F}}_{\ell }$-representation $\pi$ of $\operatorname {GL}_n(E)$, we verify the Jacquet conjecture in the modular setting that if the Langlands parameter $\phi _\pi$ is irreducible and conjugate-selfdual, then $\pi$ is either $\operatorname {GL}_n(F)$-distinguished or $(\operatorname {GL}_{n}(F),\omega _{E/F})$-distinguished (where $\omega _{E/F}$ is the quadratic character of $F^\times$ associated to the quadratic field extension $E/F$ by the local class field theory), but not both, which extends one result of Sécherre to the case $p=2$. We give another application of our lifting theorem for supercuspidal representations distinguished by a unitary involution, extending one result of Zou to $p=2$. After that, we give a complete classification of the $\operatorname {GL}_2(F)$-distinguished representations of $\operatorname {GL}_2(E)$. Using this classification we discuss a modular version of the Prasad conjecture for $\operatorname {PGL}_2$. We show that the ‘classical’ Prasad conjecture fails in the modular setting. We propose a solution using non-nilpotent Weil–Deligne representations. Finally, we apply the restriction method of Anandavardhanan and Prasad to classify the $\operatorname {SL}_2(F)$-distinguished modular representations of $\operatorname {SL}_2(E)$.

We study actions of higher rank lattices $\Gamma <G$ on hyperbolic spaces and we show that all such actions satisfying mild properties come from the rank-one factors of G. In particular, all non-elementary isometric actions on an unbounded hyperbolic space are of this type.

We study the vectorial length compactification of the space of conjugacy classes of maximal representations of the fundamental group $\Gamma$ of a closed hyperbolic surface $\Sigma$ in $\textrm{PSL}(2,{\mathbb{R}})^n$. We identify the boundary with the sphere ${\mathbb{P}}(({\mathcal{ML}})^n)$, where $\mathcal{ML}$ is the space of measured geodesic laminations on $\Sigma$. In the case $n=2$, we give a geometric interpretation of the boundary as the space of homothety classes of ${\mathbb{R}}^2$-mixed structures on $\Sigma$. We associate to such a structure a dual tree-graded space endowed with an ${\mathbb{R}}_+^2$-valued metric, which we show to be universal with respect to actions on products of two $\mathbb{R}$-trees with the given length spectrum.

We prove a general formula that relates the parity of the Langlands parameter of a conjugate self-dual discrete series representation of $\operatorname { {GL}}_n$ to the parity of its Jacquet-Langlands image. It gives a generalization of a partial result by Mieda concerning the case of invariant $1/n$ and supercuspidal representations. It also gives a variation of the result on the self-dual case by Prasad and Ramakrishnan.

Let G be a connected semisimple real algebraic group. For a Zariski dense Anosov subgroup $\Gamma <G$ with respect to a parabolic subgroup $P_\theta $, we prove that any $\Gamma $-Patterson–Sullivan measure charges no mass on any proper subvariety of $G/P_\theta $. More generally, we prove that for a Zariski dense $\theta $-transverse subgroup $\Gamma <G$, any $(\Gamma , \psi )$-Patterson–Sullivan measure charges no mass on any proper subvariety of $G/P_\theta $, provided the $\psi $-Poincaré series of $\Gamma $ diverges at its abscissa of convergence. In particular, our result also applies to relatively Anosov subgroups.

Let $p \geq 5$ be a prime number, and let $G = {\mathrm {SL}}_2(\mathbb {Q}_p)$. Let $\Xi = {\mathrm {Spec}}(Z)$ denote the spectrum of the centre Z of the pro-p Iwahori–Hecke algebra of G with coefficients in a field k of characteristic p. Let $\mathcal {R} \subset \Xi \times \Xi $ denote the support of the pro-p Iwahori ${\mathrm {Ext}}$-algebra of G, viewed as a $(Z,Z)$-bimodule. We show that the locally ringed space $\Xi /\mathcal {R}$ is a projective algebraic curve over ${\mathrm {Spec}}(k)$ with two connected components and that each connected component is a chain of projective lines. For each Zariski open subset U of $\Xi /\mathcal {R}$, we construct a stable localising subcategory $\mathcal {L}_U$ of the category of smooth k-linear representations of G.

For a connected reductive group G over a nonarchimedean local field F of positive characteristic, Genestier-Lafforgue and Fargues-Scholze have attached a semisimple parameter ${\mathcal {L}}^{ss}(\pi )$ to each irreducible representation $\pi $. Our first result shows that the Genestier-Lafforgue parameter of a tempered $\pi $ can be uniquely refined to a tempered L-parameter ${\mathcal {L}}(\pi )$, thus giving the unique local Langlands correspondence which is compatible with the Genestier-Lafforgue construction. Our second result establishes ramification properties of ${\mathcal {L}}^{ss}(\pi )$ for unramified G and supercuspidal $\pi $ constructed by induction from an open compact (modulo center) subgroup. If ${\mathcal {L}}^{ss}(\pi )$ is pure in an appropriate sense, we show that ${\mathcal {L}}^{ss}(\pi )$ is ramified (unless G is a torus). If the inducing subgroup is sufficiently small in a precise sense, we show $\mathcal {L}^{ss}(\pi )$ is wildly ramified. The proofs are via global arguments, involving the construction of Poincaré series with strict control on ramification when the base curve is ${\mathbb {P}}^1$ and a simple application of Deligne’s Weil II.