Let M be a geometrically finite acylindrical hyperbolic $3$-manifold and let $M^*$ denote the interior of the convex core of M. We show that any geodesic plane in $M^*$ is either closed or dense, and that there are only countably many closed geodesic planes in $M^*$. These results were obtained by McMullen, Mohammadi and Oh [Geodesic planes in hyperbolic 3-manifolds. Invent. Math. 209 (2017), 425–461; Geodesic planes in the convex core of an acylindrical 3-manifold. Duke Math. J., to appear, Preprint, 2018, arXiv:1802.03853] when M is convex cocompact. As a corollary, we obtain that when M covers an arithmetic hyperbolic $3$-manifold $M_0$, the topological behavior of a geodesic plane in $M^*$ is governed by that of the corresponding plane in $M_0$. We construct a counterexample of this phenomenon when $M_0$ is non-arithmetic.

Let $G/K$ be an irreducible symmetric space, where G is a noncompact, connected Lie group and K is a compact, connected subgroup. We use decay properties of the spherical functions to show that the convolution product of any $r=r(G/K)$ continuous orbital measures has its density function in $L^{2}(G)$ and hence is an absolutely continuous measure with respect to the Haar measure. The number r is approximately the rank of $G/K$. For the special case of the orbital measures, $\nu _{a_{i}}$, supported on the double cosets $Ka_{i}K$, where $a_{i}$ belongs to the dense set of regular elements, we prove the sharp result that $\nu _{a_{1}}\ast \nu _{a_{2}}\in L^{2},$ except for the symmetric space of Cartan class $AI$ when the convolution of three orbital measures is needed (even though $\nu _{a_{1}}\ast \nu _{a_{2}}$ is absolutely continuous).

We prove that if a closed hyperbolic $3$-manifold M contains infinitely many totally geodesic surfaces, then M is arithmetic.

For a given inverse semigroup, one can associate an étale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated étale groupoids. In this paper, we focus on congruences of inverse semigroups, which is a fundamental concept for considering quotients of inverse semigroups. We prove that a congruence of an inverse semigroup induces a closed invariant set and a normal subgroupoid of the universal groupoid. Then we show that the universal groupoid associated to a quotient inverse semigroup is described by the restriction and quotient of the original universal groupoid. Finally we compute invariant sets and normal subgroupoids induced by special congruences including abelianization.

The paper gives a simple proof of Graev’s theorem (asserting that the free product of Hausdorff topological groups is Hausdorff) for a particular case which includes the countable case of $k_\omega $-groups and the countable case of Lindelöf P-groups. For this it is shown that in these particular cases the topology of the free product of Hausdorff topological groups coincides with the $X_0$-topology in the Mal’cev sense, where X is the disjoint union of the topological groups identifying their units.

Let G be a reductive p-adic group which splits over an unramified extension of the ground field. Hiraga, Ichino and Ikeda [24] conjectured that the formal degree of a square-integrable G-representation $\pi $ can be expressed in terms of the adjoint $\gamma $-factor of the enhanced L-parameter of $\pi $. A similar conjecture was posed for the Plancherel densities of tempered irreducible G-representations.

We prove these conjectures for unipotent G-representations. We also derive explicit formulas for the involved adjoint $\gamma $-factors.

For a unitary unramified genuine principal series representation of a covering group, we study the associated R-group. We prove a formula relating the R-group to the dimension of the Whittaker space for the irreducible constituents of such a principal series representation. Moreover, for certain saturated covers of a semisimple simply connected group, we also propose a simpler conjectural formula for such dimensions. This latter conjectural formula is verified in several cases, including covers of the symplectic groups.

We study harmonic analysis on the symmetric space $\text{GL}_n \times \text{GL}_n \backslash \text{GL}_{2n}$. We prove several standard results, e.g. Shalika germ expansion of orbital integrals, representability of the Fourier transform of orbital integrals and representability of spherical characters. These properties are not expected to hold for symmetric spaces in general.

La formule des traces relative de Jacquet–Rallis (pour les groupes unitaires ou les groupes linéaires généraux) est une identité entre des périodes des représentations automorphes et des distributions géométriques. Selon Jacquet et Rallis, une comparaison de ces deux formules des traces relatives devrait aboutir à une démonstration des conjectures de Gan–Gross–Prasad et Ichino–Ikeda pour les groupes unitaires. Les termes géométriques des groupes unitaires ou des groupes linéaires sont indexés par les points rationnels d'un espace quotient commun. Nous établissons que ces termes géométriques peuvent être vus comme des fonctionnelles sur des espaces d'intégrales orbitales semi-simples régulières locales. En outre, nous montrons que point par point ces distributions sont en fait égales, via l'identification des espaces d'intégrales orbitales locales donnée par le transfert et le lemme fondamental (essentiellement connus dans cette situation). Cela donne leur comparaison et cela clôt la partie géométrique du programme de Jacquet–Rallis. Notre résultat principal est donc un analogue de la stabilisation de la partie géométrique de la formule des traces due à Langlands, Kottwitz et Arthur.

Suppose G is an amenable locally compact group with lattice subgroup $\Gamma $. Grosvenor [‘A relation between invariant means on Lie groups and invariant means on their discrete subgroups’, Trans. Amer. Math. Soc. 288(2) (1985), 813–825] showed that there is a natural affine injection $\iota : {\text {LIM}}(\Gamma )\to {\text {TLIM}}(G)$ and that $\iota $ is a surjection essentially in the case $G={\mathbb R}^d$, $\Gamma ={\mathbb Z}^d$. In the present paper it is shown that $\iota $ is a surjection if and only if $G/\Gamma $ is compact.

Lapid and Mao formulated a conjecture on an explicit formula of Whittaker–Fourier coefficients of automorphic forms on quasi-split reductive groups and metaplectic groups as an analogue of the Ichino–Ikeda conjecture. They also showed that this conjecture is reduced to a certain local identity in the case of unitary groups. In this article, we study the even unitary-group case. Indeed, we prove this local identity over p-adic fields. Further, we prove an equivalence between this local identity and a refined formal degree conjecture over any local field of characteristic zero. As a consequence, we prove a refined formal degree conjecture over p-adic fields and get an explicit formula of Whittaker–Fourier coefficients under certain assumptions.

Given a G-flow X, let $\mathrm{Aut}(G, X)$, or simply $\mathrm{Aut}(X)$, denote the group of homeomorphisms of X which commute with the G action. We show that for any pair of countable groups G and H with G infinite, there is a minimal, free, Cantor G-flow X so that H embeds into $\mathrm{Aut}(X)$. This generalizes results of [2, 7].

It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non-archimedean Polish groups, for which we provide an alternative proof based on a new criterion for non-essential countability. Finally, we provide the following variant of a theorem of Solecki: every infinite-dimensional Banach space has a continuous action whose orbit equivalence relation is Borel but not essentially countable.

A right Engel sink of an element g of a group G is a set ${\mathscr R}(g)$ such that for every x ∈ G all sufficiently long commutators $[...[[g,x],x],\dots ,x]$ belong to ${\mathscr R}(g)$. (Thus, g is a right Engel element precisely when we can choose ${\mathscr R}(g)=\{ 1\}$.) It is proved that if every element of a compact (Hausdorff) group G has a countable right Engel sink, then G has a finite normal subgroup N such that G/N is locally nilpotent.

Let ${\mathbf {G}}$ be a semisimple algebraic group over a number field K, $\mathcal {S}$ a finite set of places of K, $K_{\mathcal {S}}$ the direct product of the completions $K_{v}, v \in \mathcal {S}$, and ${\mathcal O}$ the ring of $\mathcal {S}$-integers of K. Let $G = {\mathbf {G}}(K_{\mathcal {S}})$, $\Gamma = {\mathbf {G}}({\mathcal O})$ and $\pi :G \rightarrow G/\Gamma $ the quotient map. We describe the closures of the locally divergent orbits ${T\pi (g)}$ where T is a maximal $K_{\mathcal {S}}$-split torus in G. If $\# S = 2$ then the closure $ \overline{T\pi (g)}$ is a finite union of T-orbits stratified in terms of parabolic subgroups of ${\mathbf {G}} \times {\mathbf {G}}$ and, consequently, $\overline{T\pi (g)}$ is homogeneous (i.e. $\overline{T\pi (g)}= H\pi (g)$ for a subgroup H of G) if and only if ${T\pi (g)}$ is closed. On the other hand, if $\# \mathcal {S}> 2$ and K is not a $\mathrm {CM}$-field then $\overline {T\pi (g)}$ is homogeneous for ${\mathbf {G}} = \mathbf {SL}_{n}$ and, generally, non-homogeneous but squeezed between closed orbits of two reductive subgroups of equal semisimple K-ranks for ${\mathbf {G}} \neq \mathbf {SL}_{n}$. As an application, we prove that $\overline {f({\mathcal O}^{n})} = K_{\mathcal {S}}$ for the class of non-rational locally K-decomposable homogeneous forms $f \in K_{\mathcal {S}}[x_1, \ldots , x_{n}]$.

Let G be a semisimple real algebraic group defined over ${\mathbb {Q}}$, $\Gamma $ be an arithmetic subgroup of G, and T be a maximal ${\mathbb {R}}$-split torus. A trajectory in $G/\Gamma $ is divergent if eventually it leaves every compact subset. In some cases there is a finite collection of explicit algebraic data which accounts for the divergence. If this is the case, the divergent trajectory is called obvious. Given a closed cone in T, we study the existence of non-obvious divergent trajectories under its action in $G\kern-1pt{/}\kern-1pt\Gamma $. We get a sufficient condition for the existence of a non-obvious divergence trajectory in the general case, and a full classification under the assumption that $\mathrm {rank}_{{\mathbb {Q}}}G=\mathrm {rank}_{{\mathbb {R}}}G=2$.

Let $M\stackrel {\rho _0}{\curvearrowleft }S$ be a $C^\infty $ locally free action of a connected simply connected solvable Lie group S on a closed manifold M. Roughly speaking, $\rho _0$ is parameter rigid if any $C^\infty $ locally free action of S on M having the same orbits as $\rho _0$ is $C^\infty $ conjugate to $\rho _0$. In this paper we prove two types of result on parameter rigidity.

First let G be a connected semisimple Lie group with finite center of real rank at least $2$ without compact factors nor simple factors locally isomorphic to $\mathop {\mathrm {SO}}\nolimits _0(n,1)(n\,{\geq}\, 2)$ or $\mathop {\mathrm {SU}}\nolimits (n,1)(n\geq 2)$, and let $\Gamma $ be an irreducible cocompact lattice in G. Let $G=KAN$ be an Iwasawa decomposition. We prove that the action $\Gamma \backslash G\curvearrowleft AN$ by right multiplication is parameter rigid. One of the three main ingredients of the proof is the rigidity theorems of Pansu, and Kleiner and Leeb on the quasi-isometries of Riemannian symmetric spaces of non-compact type.

Secondly we show that if $M\stackrel {\rho _0}{\curvearrowleft }S$ is parameter rigid, then the zeroth and first cohomology of the orbit foliation of $\rho _0$ with certain coefficients must vanish. This is a partial converse to the results in the author’s [Vanishing of cohomology and parameter rigidity of actions of solvable Lie groups. Geom. Topol. 21(1) (2017), 157–191], where we saw sufficient conditions for parameter rigidity in terms of vanishing of the first cohomology with various coefficients.

We improve upon the local bound in the depth aspect for sup-norms of newforms on $D^\times$, where $D$ is an indefinite quaternion division algebra over ${\mathbb {Q}}$. Our sup-norm bound implies a depth-aspect subconvexity bound for $L(1/2, f \times \theta _\chi )$, where $f$ is a (varying) newform on $D^\times$ of level $p^n$, and $\theta _\chi$ is an (essentially fixed) automorphic form on $\textrm {GL}_2$ obtained as the theta lift of a Hecke character $\chi$ on a quadratic field. For the proof, we augment the amplification method with a novel filtration argument and a recent counting result proved by the second-named author to reduce to showing strong quantitative decay of matrix coefficients of local newvectors along compact subsets, which we establish via $p$-adic stationary phase analysis. Furthermore, we prove a general upper bound in the level aspect for sup-norms of automorphic forms belonging to any family whose associated matrix coefficients have such a decay property.

This paper generalizes the Gan–Gross–Prasad (GGP) conjectures that were earlier formulated for tempered or more generally generic L-packets to Arthur packets, especially for the non-generic L-packets arising from Arthur parameters. The paper introduces the key notion of a relevant pair of Arthur parameters that governs the branching laws for ${{\rm GL}}_n$ and all classical groups over both local fields and global fields. It plays a role for all the branching problems studied in Gan et al. [Symplectic local root numbers, central critical L-values and restriction problems in the representation theory of classical groups. Sur les conjectures de Gross et Prasad. I, Astérisque 346 (2012), 1–109] including Bessel models and Fourier–Jacobi models.

We consider autocorrelation functions for supersymmetric quantum mechanical systems (consisting of a fermion and a boson) confined in trigonometric Pöschl–Teller partner potentials. We study the limit of rescaled autocorrelation functions (at random time) as the localization of the initial state goes to infinity. The limiting distribution can be described using pairs of Jacobi theta functions on a suitably defined homogeneous space, as a corollary of the work of Cellarosi and Marklof. A construction by Contreras-Astorga and Fernández provides large classes of Pöschl-Teller partner potentials to which our analysis applies.