We consider self-propelled rigid bodies interacting through local body-attitude alignment modelled by stochastic differential equations. We derive a hydrodynamic model of this system at large spatio-temporal scales and particle numbers in any dimension $n \geq 3$. This goal was already achieved in dimension $n=3$ or in any dimension $n \geq 3$ for a different system involving jump processes. However, the present work corresponds to huge conceptual and technical gaps compared with earlier ones. The key difficulty is to determine an auxiliary but essential object, the generalised collision invariant. We achieve this aim by using the geometrical structure of the rotation group, namely its maximal torus, Cartan subalgebra and Weyl group as well as other concepts of representation theory and Weyl’s integration formula. The resulting hydrodynamic model appears as a hyperbolic system whose coefficients depend on the generalised collision invariant.

Let $E/F$ be a quadratic unramified extension of non-archimedean local fields and $\mathbb H$ a simply connected semisimple algebraic group defined and split over F. We establish general results (multiplicities, test vectors) on ${\mathbb H} (F)$-distinguished Iwahori-spherical representations of ${\mathbb H} (E)$. For discrete series Iwahori-spherical representations of ${\mathbb H} (E)$, we prove a numerical criterion of ${\mathbb H} (F)$-distinction. As an application, we classify the ${\mathbb H} (F)$-distinguished discrete series representations of ${\mathbb H} (E)$ corresponding to degree $1$ characters of the Iwahori-Hecke algebra.

We apply Takesaki’s and Connes’s ideas on structure analysis for type III factors to the study of links (a short term of Markov kernels) appearing in asymptotic representation theory.

Clausen a prédit que le groupe des classes d’idèles de Chevalley d’un corps de nombres F apparaît comme le premier K-groupe de la catégorie des F-espaces vectoriels localement compacts. Cela s’est avéré vrai, et se généralise même aux groupes K supérieurs dans un sens approprié. Nous remplaçons F par une $\mathbb {Q}$-algèbre semi-simple, et obtenons le groupe des classes d’idèles noncommutatif de Fröhlich de manière analogue, modulo les éléments de norme réduite une. Même dans le cas du corps de nombres, notre preuve est plus simple que celle existante, et repose sur le théorème de localisation pour des sous-catégories percolées. Enfin, en utilisant la théorie des corps de classes, nous interprétons la loi de réciprocité d’Hilbert (ainsi qu’une variante noncommutative) en termes de nos résultats.

Clausen predicted that Chevalley’s idèle class group of a number field F appears as the first K-group of the category of locally compact F-vector spaces. This has turned out to be true and even generalizes to the higher K-groups in a suitable sense. We replace F by a semisimple $\mathbb {Q}$-algebra and obtain Fröhlich’s noncommutative idèle class group in an analogous fashion, modulo the reduced norm one elements. Even in the number field case, our proof is simpler than the existing one and based on the localization theorem for percolating subcategories. Finally, using class field theory as input, we interpret Hilbert’s reciprocity law (as well as a noncommutative variant) in terms of our results.

We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence relation is uniquely determined by the invariant random subgroup of the approximate homomorphisms. We record applications of this result to recover various known stability and conjugacy characterizations for almost homomorphisms of amenable groups.

We extend the Becker–Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker–Kechris theorems, as well as Sami’s and Hjorth’s sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms and the equivalence of ‘potentially open’ versus ‘orbitwise open’ Borel sets. We also characterize ‘potentially open’ n-ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions and prove a result subsuming Lupini’s Becker–Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures.

Our proof method is new even in the classical case of Polish groups and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids and more generally in the point-free context, for open localic groupoids.

The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

In this paper we take up the classical sup-norm problem for automorphic forms and view it from a new angle. Given a twist minimal automorphic representation $\pi$ we consider a special small $\mathrm{GL}_2(\mathbb{Z}_p)$-type V in $\pi$ and prove global sup-norm bounds for an average over an orthonormal basis of V. We achieve a non-trivial saving when the dimension of V grows.

We classify the irreducible unitary representations of closed simple groups of automorphisms of trees acting $2$-transitively on the boundary and whose local action at every vertex contains the alternating group. As an application, we confirm Claudio Nebbia’s CCR conjecture on trees for $(d_0,d_1)$-semi-regular trees such that $d_0,d_1\in \Theta $, where $\Theta $ is an asymptotically dense set of positive integers.

Carlsen [‘$\ast $-isomorphism of Leavitt path algebras over $\Bbb Z$’, Adv. Math. 324 (2018), 326–335] showed that any $\ast $-homomorphism between Leavitt path algebras over $\mathbb Z$ is automatically diagonal preserving and hence induces an isomorphism of boundary path groupoids. His result works over conjugation-closed subrings of $\mathbb C$ enjoying certain properties. In this paper, we characterise the rings considered by Carlsen as precisely those rings for which every $\ast $-homomorphism of algebras of Hausdorff ample groupoids is automatically diagonal preserving. Moreover, the more general groupoid result has a simpler proof.

We study the Diophantine transference principle over function fields. By adapting the approach of Beresnevich and Velani [‘An inhomogeneous transference principle and Diophantine approximation’, Proc. Lond. Math. Soc. (3) 101 (2010), 821–851] to function fields, we extend many results from homogeneous to inhomogeneous Diophantine approximation. This also yields the inhomogeneous Baker–Sprindžuk conjecture over function fields and upper bounds for the general nonextremal scenario.

Let $ G $ be a connected semisimple real algebraic group and $\Gamma <G$ be a Zariski dense discrete subgroup. Let N denote a maximal horospherical subgroup of G, and $P=MAN$ the minimal parabolic subgroup which is the normalizer of N. Let $\mathcal E$ denote the unique P-minimal subset of $\Gamma \backslash G$ and let $\mathcal E_0$ be a $P^\circ $-minimal subset. We consider a notion of a horospherical limit point in the Furstenberg boundary $ G/P $ and show that the following are equivalent for any $[g]\in \mathcal E_0$:

1. (1) $gP\in G/P$ is a horospherical limit point;

2. (2) $[g]NM$ is dense in $\mathcal E$;

3. (3) $[g]N$ is dense in $\mathcal E_0$.

The equivalence of items (1) and (2) is due to Dal’bo in the rank one case. We also show that unlike convex cocompact groups of rank one Lie groups, the $NM$-minimality of $\mathcal E$ does not hold in a general Anosov homogeneous space.

We give explicit presentations of the integral equivariant cohomology of the affine Grassmannians and flag varieties in type A, arising from their natural embeddings in the corresponding infinite (Sato) Grassmannian and flag variety. These presentations are compared with results obtained by Lam and Shimozono, for rational equivariant cohomology of the affine Grassmannian, and by Larson, for the integral cohomology of the moduli stack of vector bundles on .

In this article, we introduce a hierarchy on the class of non-archimedean Polish groups that admit a compatible complete left-invariant metric. We denote this hierarchy by $\alpha $-CLI and L-$\alpha $-CLI where $\alpha $ is a countable ordinal. We establish three results:

1. (1) G is $0$-CLI iff $G=\{1_G\}$;

2. (2) G is $1$-CLI iff G admits a compatible complete two-sided invariant metric; and

3. (3) G is L-$\alpha $-CLI iff G is locally $\alpha $-CLI, i.e., G contains an open subgroup that is $\alpha $-CLI.

Subsequently, we show this hierarchy is proper by constructing non-archimedean CLI Polish groups $G_\alpha $ and $H_\alpha $ for $\alpha <\omega _1$, such that:

1. (1) $H_\alpha $ is $\alpha $-CLI but not L-$\beta $-CLI for $\beta <\alpha $; and

2. (2) $G_\alpha $ is $(\alpha +1)$-CLI but not L-$\alpha $-CLI.

Let $\Gamma =\langle I_{1}, I_{2}, I_{3}\rangle $ be the complex hyperbolic $(4,4,\infty )$ triangle group with $I_1I_3I_2I_3$ being unipotent. We show that the limit set of $\Gamma $ is connected and the closure of a countable union of $\mathbb {R}$-circles.

Quaternionic automorphic representations are one attempt to generalize to other groups the special place holomorphic modular forms have among automorphic representations of $\mathrm {GL}_2$. Here, we use ‘hyperendoscopy’ techniques to develop a general trace formula and understand them on an arbitrary group. Then we specialize this general formula to study quaternionic automorphic representations on the exceptional group $G_2$, eventually getting an analog of the Eichler–Selberg trace formula for classical modular forms. We finally use this together with some techniques of Chenevier, Renard and Taïbi to compute dimensions of spaces of level-$1$ quaternionic representations. On the way, we prove a Jacquet–Langlands-style result describing them in terms of classical modular forms and automorphic representations on the compact-at-infinity form $G_2^c$.

The main technical difficulty is that the quaternionic discrete series that quaternionic automorphic representations are defined in terms of do not satisfy a condition of being ‘regular’. A real representation theory argument shows that regularity miraculously does not matter for specifically the case of quaternionic discrete series.

We hope that the techniques and shortcuts highlighted in this project are of interest in other computations about discrete-at-infinity automorphic representations on arbitrary reductive groups instead of just classical ones.

The complex algebra of an inverse semigroup with finitely many idempotents in each $\mathcal D$-class is stably finite by a result of Munn. This can be proved fairly easily using $C^{*}$-algebras for inverse semigroups satisfying this condition that have a Hausdorff universal groupoid, or more generally for direct limits of inverse semigroups satisfying this condition and having Hausdorff universal groupoids. It is not difficult to see that a finitely presented inverse semigroup with a non-Hausdorff universal groupoid cannot be a direct limit of inverse semigroups with Hausdorff universal groupoids. We construct here countably many nonisomorphic finitely presented inverse semigroups with finitely many idempotents in each $\mathcal D$-class and non-Hausdorff universal groupoids. At this time, there is not a clear $C^{*}$-algebraic technique to prove these inverse semigroups have stably finite complex algebras.

We consider orthogonally invariant probability measures on $\operatorname {\mathrm {GL}}_n(\mathbb {R})$ and compare the mean of the logs of the moduli of eigenvalues of the matrices with the Lyapunov exponents of random matrix products independently drawn with respect to the measure. We give a lower bound for the former in terms of the latter. The results are motivated by Dedieu and Shub [On random and mean exponents for unitarily invariant probability measures on $\operatorname {\mathrm {GL}}_n(\mathbb {C})$. Astérisque 287 (2003), xvii, 1–18]. A novel feature of our treatment is the use of the theory of spherical polynomials in the proof of our main result.

We establish higher moment formulae for Siegel transforms on the space of affine unimodular lattices as well as on certain congruence quotients of $\mathrm {SL}_d({\mathbb {R}})$. As applications, we prove functional central limit theorems for lattice point counting for affine and congruence lattices using the method of moments.

The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $\omega $-categorical structures on which the Zariski topology has been analysed thus far, the two topologies were shown to coincide, in turn yielding that the pointwise topology is the coarsest Hausdorff semigroup topology on those endomorphism monoids.

We establish two systematic reasons for the two topologies to agree, formulated in terms of the model-complete core of the structure. Further, we give an example of an $\omega $-categorical structure on whose endomorphism monoid the topology of pointwise convergence and the Zariski topology differ, answering a question of Elliott, Jonušas, Mitchell, Péresse, and Pinsker.