Let $\unicode[STIX]{x1D6E4}\leqslant \text{Aut}(T_{d_{1}})\times \text{Aut}(T_{d_{2}})$ be a group acting freely and transitively on the product of two regular trees of degree $d_{1}$ and $d_{2}$. We develop an algorithm that computes the closure of the projection of $\unicode[STIX]{x1D6E4}$ on $\text{Aut}(T_{d_{t}})$ under the hypothesis that $d_{t}\geqslant 6$ is even and that the local action of $\unicode[STIX]{x1D6E4}$ on $T_{d_{t}}$ contains $\text{Alt}(d_{t})$. We show that if $\unicode[STIX]{x1D6E4}$ is torsion-free and $d_{1}=d_{2}=6$, exactly seven closed subgroups of $\text{Aut}(T_{6})$ arise in this way. We also construct two new infinite families of virtually simple lattices in $\text{Aut}(T_{6})\times \text{Aut}(T_{4n})$ and in $\text{Aut}(T_{2n})\times \text{Aut}(T_{2n+1})$, respectively, for all $n\geqslant 2$. In particular, we provide an explicit presentation of a torsion-free infinite simple group on 5 generators and 10 relations, that splits as an amalgamated free product of two copies of $F_{3}$ over $F_{11}$. We include information arising from computer-assisted exhaustive searches of lattices in products of trees of small degrees. In an appendix by Pierre-Emmanuel Caprace, some of our results are used to show that abstract and relative commensurator groups of free groups are almost simple, providing partial answers to questions of Lubotzky and Lubotzky–Mozes–Zimmer.

We introduce a refined version of group cohomology and relate it to the space of polynomials on the group in question. We show that the polynomial cohomology with trivial coefficients admits a description in terms of ordinary cohomology with polynomial coefficients, and that the degree one polynomial cohomology with trivial coefficients admits a description directly in terms of polynomials. Lastly, we give a complete description of the polynomials on a connected, simply connected nilpotent Lie group by showing that these are exactly the maps that pull back to classical polynomials via the exponential map.

It is shown that Jamison sequences, introduced in 2007 by Badea and Grivaux, arise naturally in the study of topological groups with no small subgroups, of Banach or normed algebra elements whose powers are close to identity along subsequences, and in characterizations of (self-adjoint) positive operators by the accretiveness of some of their powers. The common core of these results is a description of those sequences for which non-identity elements in Lie groups or normed algebras escape an arbitrary small neighborhood of the identity in a number of steps belonging to the given sequence. Several spectral characterizations of Jamison sequences are given, and other related results are proved.

We investigate how the fixed point algebra of a C*-dynamical system can differ from the underlying C*-algebra. For any exact group Γ and any infinite group Λ, we construct an outer action of Λ on the Cuntz algebra 𝒪2 whose fixed point algebra is almost equal to the reduced group C*-algebra ${\rm C}_{\rm r}^* (\Gamma)$. Moreover, we show that every infinite group admits outer actions on all Kirchberg algebras whose fixed point algebras fail the completely bounded approximation property.

Let $F$ be a non-Archimedean locally compact field of residual characteristic $p$ with Weil group ${\mathcal{W}}_{F}$. Let $\unicode[STIX]{x1D70E}$ be an irreducible smooth complex representation of ${\mathcal{W}}_{F}$, realized as the Langlands parameter of an irreducible cuspidal representation $\unicode[STIX]{x1D70B}$ of a general linear group over $F$. In an earlier paper we showed that the ramification structure of $\unicode[STIX]{x1D70E}$ is determined by the fine structure of the endo-class $\unicode[STIX]{x1D6E9}$ of the simple character contained in $\unicode[STIX]{x1D70B}$, in the sense of Bushnell and Kutzko. The connection is made via the Herbrand function $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6E9}}$ of $\unicode[STIX]{x1D6E9}$. In this paper we concentrate on the fundamental Carayol case in which $\unicode[STIX]{x1D70E}$ is totally wildly ramified with Swan exponent not divisible by $p$. We show that, for such $\unicode[STIX]{x1D70E}$, the associated Herbrand function satisfies a certain functional equation, and that this property essentially characterizes this class of representations. We calculate $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6E9}}$ explicitly, in terms of a classical Herbrand function arising naturally from the classification of simple characters. We describe exactly the class of functions arising as Herbrand functions $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6EF}}$, as $\unicode[STIX]{x1D6EF}$ varies over the set of totally wild endo-classes of Carayol type. In a separate argument, we derive a complete description of the restriction of $\unicode[STIX]{x1D70E}$ to any ramification subgroup and hence a detailed interpretation of the Herbrand function. This gives concrete information concerning the Langlands correspondence.

We prove that $A_{R}(G)\otimes _{R}A_{R}(H)\cong A_{R}(G\times H)$ if $G$ and $H$ are Hausdorff ample groupoids. As part of the proof, we give a new universal property of Steinberg algebras. We then consider the isomorphism problem for tensor products of Leavitt algebras, and show that no diagonal-preserving isomorphism exists between $L_{2,R}\otimes L_{3,R}$ and $L_{2,R}\otimes L_{2,R}$. In fact, there are no unexpected diagonal-preserving isomorphisms between tensor products of finitely many Leavitt algebras. We give an easy proof that every $\ast$-isomorphism of Steinberg algebras over the integers preserves the diagonal, and it follows that $L_{2,\mathbb{Z}}\otimes L_{3,\mathbb{Z}}\not \cong L_{2,\mathbb{Z}}\otimes L_{2,\mathbb{Z}}$ (as $\ast$-rings).

We show how the modular representation theory of inner forms of general linear groups over a non-Archimedean local field can be brought to bear on the complex theory in a remarkable way. Let $\text{F}$ be a non-Archimedean locally compact field of residue characteristic $p$, and let $\text{G}$ be an inner form of the general linear group $\text{GL}_{n}(\text{F})$ for $n\geqslant 1$. We consider the problem of describing explicitly the local Jacquet–Langlands correspondence $\unicode[STIX]{x1D70B}\mapsto _{\text{JL}}\unicode[STIX]{x1D70B}$ between the complex discrete series representations of $\text{G}$ and $\text{GL}_{n}(\text{F})$, in terms of type theory. We show that the congruence properties of the local Jacquet–Langlands correspondence exhibited by A. Mínguez and the first author give information about the explicit description of this correspondence. We prove that the problem of the invariance of the endo-class by the Jacquet–Langlands correspondence can be reduced to the case where the representations $\unicode[STIX]{x1D70B}$ and $_{\text{JL}}\unicode[STIX]{x1D70B}$ are both cuspidal with torsion number $1$. We also give an explicit description of the Jacquet–Langlands correspondence for all essentially tame discrete series representations of $\text{G}$, up to an unramified twist, in terms of admissible pairs, generalizing previous results by Bushnell and Henniart. In positive depth, our results are the first beyond the case where $\unicode[STIX]{x1D70B}$ and $_{\text{JL}}\unicode[STIX]{x1D70B}$ are both cuspidal.

Kaplansky introduced the notions of CCR and GCR $C^{\ast }$-algebras, because they have a tractable representation theory. Many years later, he introduced the notions of CCR and GCR rings. In this paper we characterize when the algebra of an ample groupoid over a field is CCR and GCR. The results turn out to be exact analogues of the corresponding characterization of locally compact groupoids with CCR and GCR $C^{\ast }$-algebras. As a consequence, we classify the CCR and GCR Leavitt path algebras.

Answering a longstanding problem originating in Christensen’s seminal work on Haar null sets [Math. Scand. 28 (1971), 124–128; Israel J. Math. 13 (1972), 255–260; Topology and Borel Structure. Descriptive Topology and Set Theory with Applications to Functional Analysis and Measure Theory, North-Holland Mathematics Studies, 10 (Notas de Matematica, No. 51). (North-Holland Publishing Co., Amsterdam–London; American Elsevier Publishing Co., Inc., New York, 1974), iii+133 pp], we show that a universally measurable homomorphism between Polish groups is automatically continuous. Using our general analysis of continuity of group homomorphisms, this result is used to calibrate the strength of the existence of a discontinuous homomorphism between Polish groups. In particular, it is shown that, modulo $\text{ZF}+\text{DC}$, the existence of a discontinuous homomorphism between Polish groups implies that the Hamming graph on $\{0,1\}^{\mathbb{N}}$ has finite chromatic number.

We consider the notion of the graph product of actions of discrete groups $\{G_{v}\}$ on a $C^{\ast }$-algebra ${\mathcal{A}}$ and show that under suitable commutativity conditions the graph product action $\star _{\unicode[STIX]{x1D6E4}}\unicode[STIX]{x1D6FC}_{v}:\star _{\unicode[STIX]{x1D6E4}}G_{v}\curvearrowright {\mathcal{A}}$ has the Haagerup property if each action $\unicode[STIX]{x1D6FC}_{v}:G_{v}\curvearrowright {\mathcal{A}}$ possesses the Haagerup property. This generalizes the known results on graph products of groups with the Haagerup property. To accomplish this, we introduce the graph product of multipliers associated to the actions and show that the graph product of positive-definite multipliers is positive definite. These results have impacts on left-transformation groupoids and give an alternative proof of a known result for coarse embeddability. We also record a cohomological characterization of the Haagerup property for group actions.

We define a natural topology on the collection of (equivalence classes up to scaling of) locally finite measures on a homogeneous space and prove that in this topology, pushforwards of certain infinite-volume orbits equidistribute in the ambient space. As an application of our results we prove an asymptotic formula for the number of integral points in a ball on some varieties as the radius goes to infinity.

Consider the action of $\operatorname{GL}(n,\mathbb{Q}_{p})$ on the $p$-adic unit sphere ${\mathcal{S}}_{n}$ arising from the linear action on $\mathbb{Q}_{p}^{n}\setminus \{0\}$. We show that for the action of a semigroup $\mathfrak{S}$ of $\operatorname{GL}(n,\mathbb{Q}_{p})$ on ${\mathcal{S}}_{n}$, the following are equivalent: (1) $\mathfrak{S}$ acts distally on ${\mathcal{S}}_{n}$; (2) the closure of the image of $\mathfrak{S}$ in $\operatorname{PGL}(n,\mathbb{Q}_{p})$ is a compact group. On ${\mathcal{S}}_{n}$, we consider the ‘affine’ maps $\overline{T}_{a}$ corresponding to $T$ in $\operatorname{GL}(n,\mathbb{Q}_{p})$ and a nonzero $a$ in $\mathbb{Q}_{p}^{n}$ satisfying $\Vert T^{-1}(a)\Vert _{p}<1$. We show that there exists a compact open subgroup $V$, which depends on $T$, such that $\overline{T}_{a}$ is distal for every nonzero $a\in V$ if and only if $T$ acts distally on ${\mathcal{S}}_{n}$. The dynamics of ‘affine’ maps on $p$-adic unit spheres is quite different from that on the real unit spheres.

We develop a general procedure to study the combinatorial structure of Arthur packets for $p$-adic quasisplit $\mathit{Sp}(N)$ and $O(N)$ following the works of Mœglin. This will allow us to answer many delicate questions concerning the Arthur packets of these groups, for example the size of the packets.

We establish the first global results for groups definable in tame expansions of o-minimal structures. Let ${\mathcal{N}}$ be an expansion of an o-minimal structure ${\mathcal{M}}$ that admits a good dimension theory. The setting includes dense pairs of o-minimal structures, expansions of ${\mathcal{M}}$ by a Mann group, or by a subgroup of an elliptic curve, or a dense independent set. We prove: (1) a Weil’s group chunk theorem that guarantees a definable group with an o-minimal group chunk is o-minimal, (2) a full characterization of those definable groups that are o-minimal as those groups that have maximal dimension; namely, their dimension equals the dimension of their topological closure, (3) as an application, if ${\mathcal{N}}$ expands ${\mathcal{M}}$ by a dense independent set, then every definable group is o-minimal.

For each of the groups G = O(2), SU(2), U(2), we compute the integral and $\mathbb{F}_2$-cohomology rings of BcomG (the classifying space for commutativity of G), the action of the Steenrod algebra on the mod 2 cohomology, the homotopy type of EcomG (the homotopy fiber of the inclusion BcomG → BG), and some low-dimensional homotopy groups of BcomG.

The Peter–Weyl idempotent $e_{\mathscr{P}}$ of a parahoric subgroup $\mathscr{P}$ is the sum of the idempotents of irreducible representations of $\mathscr{P}$ that have a nonzero Iwahori fixed vector. The convolution algebra associated with $e_{\mathscr{P}}$ is called a Peter–Weyl Iwahori algebra. We show that any Peter–Weyl Iwahori algebra is Morita equivalent to the Iwahori–Hecke algebra. Both the Iwahori–Hecke algebra and a Peter–Weyl Iwahori algebra have a natural conjugate linear anti-involution $\star$, and the Morita equivalence preserves irreducible hermitian and unitary modules. Both algebras have another anti-involution, denoted by $\bullet$, and the Morita equivalence preserves irreducible and unitary modules for $\bullet$.

Soit $\unicode[STIX]{x1D70B}$ un module de plus haut poids unitaire du groupe $G=\mathbf{Sp}(2n,\mathbb{R})$. On s’intéresse aux paquets d’Arthur contenant $\unicode[STIX]{x1D70B}$. Lorsque le plus haut poids est scalaire, on détermine les paramètres de ces paquets, on établit la propriété de multiplicité $1$ de $\unicode[STIX]{x1D70B}$ dans le paquet, et l’on calcule le caractère $\unicode[STIX]{x1D70C}_{\unicode[STIX]{x1D70B}}$ (du groupe des composantes connexes du centralisateur du paramètre dans le groupe dual) associé à $\unicode[STIX]{x1D70B}$ et qui joue un grand rôle dans la théorie d’Arthur. On fait de même pour certains modules de plus haut poids unitaires unipotents $\unicode[STIX]{x1D70E}_{n,k}$, ou bien lorsque le caractère infinitésimal est régulier.

The Banach–Mazur separable quotient problem asks whether every infinite-dimensional Banach space $B$ has a quotient space that is an infinite-dimensional separable Banach space. The question has remained open for over 80 years, although an affirmative answer is known in special cases such as when $B$ is reflexive or even a dual of a Banach space. Very recently, it has been shown to be true for dual-like spaces. An analogous problem for topological groups is: Does every infinite-dimensional (in the topological sense) connected (Hausdorff) topological group $G$ have a quotient topological group that is infinite dimensional and metrisable? While this is known to be true if $G$ is the underlying topological group of an infinite-dimensional Banach space, it is shown here to be false even if $G$ is the underlying topological group of an infinite-dimensional locally convex space. Indeed, it is shown that the free topological vector space on any countably infinite $k_{\unicode[STIX]{x1D714}}$-space is an infinite-dimensional toplogical vector space which does not have any quotient topological group that is infinite dimensional and metrisable. By contrast, the Graev free abelian topological group and the Graev free topological group on any infinite connected Tychonoff space, both of which are connected topological groups, are shown here to have the tubby torus $\mathbb{T}^{\unicode[STIX]{x1D714}}$, which is an infinite-dimensional metrisable group, as a quotient group.

We generalize work by Bourgain and Kontorovich [On the local-global conjecture for integral Apollonian gaskets, Invent. Math. 196 (2014), 589–650] and Zhang [On the local-global principle for integral Apollonian 3-circle packings, J. Reine Angew. Math. 737, (2018), 71–110], proving an almost local-to-global property for the curvatures of certain circle packings, to a large class of Kleinian groups. Specifically, we associate in a natural way an infinite family of integral packings of circles to any Kleinian group ${\mathcal{A}}\leqslant \text{PSL}_{2}(K)$ satisfying certain conditions, where $K$ is an imaginary quadratic field, and show that the curvatures of the circles in any such packing satisfy an almost local-to-global principle. A key ingredient in the proof is that ${\mathcal{A}}$ possesses a spectral gap property, which we prove for any infinite-covolume, geometrically finite, Zariski dense Kleinian group in $\operatorname{PSL}_{2}({\mathcal{O}}_{K})$ containing a Zariski dense subgroup of $\operatorname{PSL}_{2}(\mathbb{Z})$.

We show that Matui’s HK conjecture holds for groupoids of unstable equivalence relations and their corresponding $C^{\ast }$-algebras on one-dimensional solenoids.