Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper, we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\mathrm{PU}(m,1)$ -cocycles of complex hyperbolic lattices.

We give many examples of algebraic actions which are factors of Bernoulli shifts. These include certain harmonic models over left-orderable groups of large enough growth, as well as algebraic actions associated to certain lopsided elements in any left-orderable group. For many of our examples, the acting group is amenable so these actions are Bernoulli (and not just a factor of a Bernoulli), but there is no obvious Bernoulli partition.

We provide a microlocal necessary condition for distinction of admissible representations of real reductive groups in the context of spherical pairs.

Let ${\mathbf {G}}$ be a complex algebraic reductive group and ${\mathbf {H}}\subset {\mathbf {G}}$ be a spherical algebraic subgroup. Let ${\mathfrak {g}},{\mathfrak {h}}$ denote the Lie algebras of ${\mathbf {G}}$ and ${\mathbf {H}}$ , and let ${\mathfrak {h}}^{\bot }$ denote the orthogonal complement to ${\mathfrak {h}}$ in ${\mathfrak {g}}^*$ . A ${\mathfrak {g}}$ -module is called ${\mathfrak {h}}$ -distinguished if it admits a nonzero ${\mathfrak {h}}$ -invariant functional. We show that the maximal ${\mathbf {G}}$ -orbit in the annihilator variety of any irreducible ${\mathfrak {h}}$ -distinguished ${\mathfrak {g}}$ -module intersects ${\mathfrak {h}}^{\bot }$ . This generalises a result of Vogan [Vog91].

We apply this to Casselman–Wallach representations of real reductive groups to obtain information on branching problems, translation functors and Jacquet modules. Further, we prove in many cases that – as suggested by [Pra19, Question 1] – when H is a symmetric subgroup of a real reductive group G, the existence of a tempered H-distinguished representation of G implies the existence of a generic H-distinguished representation of G.

Many of the models studied in the theory of automorphic forms involve an additive character on the unipotent radical of the subgroup $\bf H$ , and we have devised a twisted version of our theorem that yields necessary conditions for the existence of those mixed models. Our method of proof here is inspired by the theory of modules over W-algebras. As an application of our theorem we derive necessary conditions for the existence of Rankin–Selberg, Bessel, Klyachko and Shalika models. Our results are compatible with the recent Gan–Gross–Prasad conjectures for nongeneric representations [GGP20].

Finally, we provide more general results that ease the sphericity assumption on the subgroups, and apply them to local theta correspondence in type II and to degenerate Whittaker models.

We construct a complex analytic version of an equivariant cohomology theory which appeared in a paper of Rezk, and which is roughly modelled on the Borel-equivariant cohomology of the double free loop space. The construction is defined on finite, torus-equivariant CW complexes and takes values in coherent holomorphic sheaves over the moduli stack of complex elliptic curves. Our methods involve an inverse limit construction over all finite-dimensional subcomplexes of the double free loop space, following an analogous construction of Kitchloo for single free loop spaces. We show that, for any given complex elliptic curve $\mathcal {C}$, the fiber of our construction over $\mathcal {C}$ is isomorphic to Grojnowski's equivariant elliptic cohomology theory associated to $\mathcal {C}$.

The following question is proposed by Martino, Tointon, Valiunas and Ventura in [4, question 1·20]:

Let G be a compact group, and suppose that

\[\mathcal{N}_k(G) = \{(x_1,\dots,x_{k+1}) \in G^{k+1} \;|\; [x_1,\dots, x_{k+1}] = 1\}\]

$G^{k+1}$

We give a positive answer for $k = 2$ .

We prove a local–global compatibility result in the mod $p$ Langlands program for $\mathrm {GL}_2(\mathbf {Q}_{p^f})$. Namely, given a global residual representation $\bar {r}$ appearing in the mod $p$ cohomology of a Shimura curve that is sufficiently generic at $p$ and satisfies a Taylor–Wiles hypothesis, we prove that the diagram occurring in the corresponding Hecke eigenspace of mod $p$ completed cohomology is determined by the restrictions of $\bar {r}$ to decomposition groups at $p$. If these restrictions are moreover semisimple, we show that the $(\varphi ,\Gamma )$-modules attached to this diagram by Breuil give, under Fontaine's equivalence, the tensor inductions of the duals of the restrictions of $\bar {r}$ to decomposition groups at $p$.

In finite group theory, chief factors play an important and well-understood role in the structure theory. We here develop a theory of chief factors for Polish groups. In the development of this theory, we prove a version of the Schreier refinement theorem. We also prove a trichotomy for the structure of topologically characteristically simple Polish groups.

The development of the theory of chief factors requires two independently interesting lines of study. First we consider injective, continuous homomorphisms with dense normal image. We show such maps admit a canonical factorisation via a semidirect product, and as a consequence, these maps preserve topological simplicity up to abelian error. We then define two generalisations of direct products and use these to isolate a notion of semisimplicity for Polish groups.

We prove that the automorphism group of the semigeneric directed graph (in the sense of Cherlin’s classification) is uniquely ergodic.

The aim of this corrigendum is to correct an error in Corollary 10.7 to Theorem 10.6, one of the main results in the paper ‘On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields’. This makes necessary a thorough investigation of the conditions under which a Cartan-type automorphism exists on $G_1=\mathrm {Res}_{\mathbb {C}/\mathbb {R}}G_0$, where $G_0$ is a connected semisimple algebraic group defined over $\mathbb {R}$.

Let G be a locally compact group and let ${\mathcal {SUB}(G)}$ be the hyperspace of closed subgroups of G endowed with the Chabauty topology. The main purpose of this paper is to characterise the connectedness of the Chabauty space ${\mathcal {SUB}(G)}$ . More precisely, we show that if G is a connected pronilpotent group, then ${\mathcal {SUB}(G)}$ is connected if and only if G contains a closed subgroup topologically isomorphic to ${{\mathbb R}}$ .

We prove $L^{p}$ -boundedness of oscillating multipliers on symmetric spaces of noncompact type of arbitrary rank, as well as on a wide class of locally symmetric spaces.

In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model theoretic property that we call divisible amalgamation. The main result of this paper is that if c is a finite tuple algebraic over a tuple a, the Lascar group of $\operatorname {stp}(ac)$ is abelian, and the underlying theory is G-compact, then the Lascar groups of $\operatorname {stp}(ac)$ and of $\operatorname {stp}(a)$ are isomorphic. To show this, we prove a purely compact group-theoretic result that any compact connected abelian group is isomorphic to its quotient by every finite subgroup. Several (counter)examples arising in connection with the theoretical development of this note are presented as well. For example, we show that, in the main result above, neither the assumption that the Lascar group of $\operatorname {stp}(ac)$ is abelian, nor the assumption of c being finite can be removed.

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.