Let $X=G/\Gamma $ be the quotient of a semisimple Lie group G by its non-cocompact arithmetic lattice. Let H be a reductive algebraic subgroup of G acting on X. We give several equivalent algebraic conditions on H for the existence of a fixed compact set in X intersecting every H-orbit. This generalizes previous results concerning certain special reductive group action on X in this setting. When G is of real rank one, $\Gamma $ is a non-cocompact lattice of G, and $H<G$ is an algebraic group, we also obtain an algebraic condition on H which is equivalent to the return of every H-orbit to a single compact set in X. This complements our results in the case of an arithmetic lattice.

I provide several natural properties of group actions which translate into fragments of axiom of choice in the associated permutation models of choiceless set theory.

In [24, 26] Guichard and Wienhard introduced the notion of $\Theta $-positivity, a generalization of Lusztig’s total positivity to real Lie groups that are not necessarily split.

Based on this notion, we introduce in this paper $\Theta $-positive representations of surface groups. We prove that $\Theta $-positive representations of closed surface groups are $\Theta $-Anosov. This implies that $\Theta $-positive representations are discrete and faithful and that the set of $\Theta $-positive representations is open in the representation variety.

We further establish important properties on limits of $\Theta $-positive representations, proving that the set of $\Theta $-positive representations is closed in the set of representations containing a $\Theta $-proximal element. This is used in [3] to prove the closedness of the set of $\Theta $-positive representations.

Suppose $G\curvearrowright X$ is a Polish group action, H is a Polish group, and $G\times X\mathop {\overset {\psi }\longrightarrow } H$ is a cocycle that is continuous in the second variable. If $\psi $ is either Baire measurable or is $\lambda \times \mu $-measurable with respect to a Haar measure $\lambda $ on G and a fully supported $\sigma $-finite Borel measure $\mu $ on X, then $\psi $ is jointly continuous.

Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since an invariant hypersurface may not be a locus of a single function. Our aim is to establish a global theory of relative invariants.

For a Lie algebra ${\mathfrak g}$ of holomorphic vector fields on a complex manifold M, any holomorphic ${\mathfrak g}$-invariant hypersurface is given in terms of a ${\mathfrak g}$-invariant divisor. This generalizes the classical notion of scalar relative ${\mathfrak g}$-invariant. Any ${\mathfrak g}$-invariant divisor gives rise to a ${\mathfrak g}$-equivariant line bundle, and a large part of this paper is therefore devoted to the investigation of the group $\mathrm {Pic}_{\mathfrak g}(M)$ of ${\mathfrak g}$-equivariant line bundles. We give a cohomological description of $\mathrm {Pic}_{\mathfrak g}(M)$ in terms of a double complex interpolating the Chevalley-Eilenberg complex for ${\mathfrak g}$ with the Čech complex of the sheaf of holomorphic functions on M.

We also obtain results about polynomial divisors on affine bundles and jet bundles. This has applications to the theory of differential invariants. Those were actively studied in relation to invariant differential equations, but the description of multipliers (or weights) of relative differential invariants was an open problem. We derive a characterization of them with our general theory. Examples, including projective geometry of curves and second-order ODEs, not only illustrate the developed machinery but also give another approach and rigorously justify some classical computations. At the end, we briefly discuss generalizations of this theory.

We prove that every locally compact second countable group G arises as the outer automorphism group $\operatorname{Out} M$ of a II1 factor, which was so far only known for totally disconnected groups, compact groups, and a few isolated examples. We obtain this result by proving that every locally compact second countable group is a centralizer group, a class of Polish groups that arise naturally in ergodic theory and that may all be realized as $\operatorname{Out} M$.

This paper studies reversibility and transitivity of semigroups acting on homogeneous spaces. Properties of the reversor set of a subsemigroup acting on homogeneous spaces are presented. Let G be a topological group and L a subgroup of G. Assume that S is a subsemigroup of G with nonempty interior. It is presented a study of the reversibility of the S-action on $G/L$ in terms of the actions of S and L on homogeneous spaces of G. The results relate the reversibility and the transitivity of S in $G/L$ with the minimality of the action of L on homogeneous spaces of G. In addition, sufficient conditions for S to be right reversible in G if S is reversible in $G/L$ are presented.

The famous Cheng-Shen’s conjecture in Riemann-Finsler geometry claims that every n-dimensional closed W-quadratic Randers manifold is a Berwald manifold. In this paper, first we study the Riemann and Ricci curvatures of homogeneous Finsler manifolds and obtain some rigidity theorems. Then, by using this investigation, we construct a family of W-quadratic Randers metrics which are not R-quadratic nor strongly Ricci-quadratic.

We extend the Kechris–Pestov–Todorčević correspondence to weak Fraïssé categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples including monoid categories, the category of almost linear orders and categories of strong embeddings of trees.

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.

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 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.

We study the equidistribution of orbits of the form $b_1^{a_1(n)}\cdots b_k^{a_k(n)}\Gamma $ in a nilmanifold X, where the sequences $a_i(n)$ arise from smooth functions of polynomial growth belonging to a Hardy field. We show that under certain assumptions on the growth rates of the functions $a_1,\ldots ,a_k$, these orbits are equidistributed on some subnilmanifold of the space X. As an application of these results and in combination with the Host–Kra structure theorem for measure-preserving systems, as well as some recent seminorm estimates of the author for ergodic averages concerning Hardy field functions, we deduce a norm convergence result for multiple ergodic averages. Our method mainly relies on an equidistribution result of Green and Tao on finite segments of polynomial orbits on a nilmanifold [The quantitative behaviour of polynomial orbits on nilmanifolds. Ann. of Math. (2) 175 (2012), 465–540].

Let G be a real Lie group, $\Lambda <G$ a lattice and $H\leqslant G$ a connected semisimple subgroup without compact factors and with finite center. We define the notion of H-expanding measures $\mu $ on H and, applying recent work of Eskin–Lindenstrauss, prove that $\mu $-stationary probability measures on $G/\Lambda $ are homogeneous. Transferring a construction by Benoist–Quint and drawing on ideas of Eskin–Mirzakhani–Mohammadi, we construct Lyapunov/Margulis functions to show that H-expanding random walks on $G/\Lambda $ satisfy a recurrence condition and that homogeneous subspaces are repelling. Combined with a countability result, this allows us to prove equidistribution of trajectories in $G/\Lambda $ for H-expanding random walks and to obtain orbit closure descriptions. Finally, elaborating on an idea of Simmons–Weiss, we deduce Birkhoff genericity of a class of measures with respect to some diagonal flows and extend their applications to Diophantine approximation on similarity fractals to a nonconformal and weighted setting.

Let $S=\{p_1, \ldots , p_r,\infty \}$ for prime integers $p_1, \ldots , p_r.$ Let X be an S-adic compact nilmanifold, equipped with the unique translation-invariant probability measure $\mu .$ We characterize the countable groups $\Gamma $ of automorphisms of X for which the Koopman representation $\kappa $ on $L^2(X,\mu )$ has a spectral gap. More specifically, let Y be the maximal quotient solenoid of X (thus, Y is a finite-dimensional, connected, compact abelian group). We show that $\kappa $ does not have a spectral gap if and only if there exists a $\Gamma $-invariant proper subsolenoid of Y on which $\Gamma $ acts as a virtually abelian group,

We give an example of an FIID vertex-labeling of ${\mathbb T}_3$ whose marginals are uniform on $[0,1]$, and if we delete the edges between those vertices whose labels are different, then some of the remaining clusters are infinite. We also show that no such process can be finitary.

Hardin and Taylor proved that any function on the reals—even a nowhere continuous one—can be correctly predicted, based solely on its past behavior, at almost every point in time. They showed that one could even arrange for the predictors to be robust with respect to simple time shifts, and asked whether they could be robust with respect to other, more complicated time distortions. This question was partially answered by Bajpai and Velleman, who provided upper and lower frontiers (in the subgroup lattice of $\mathrm{Homeo}^+(\mathbb {R})$) on how robust a predictor can possibly be. We improve both frontiers, some of which reduce ultimately to consequences of Hölder’s Theorem (that every Archimedean group is abelian).

Let G be a complex semisimple Lie group and H a complex closed connected subgroup. Let and be their Lie algebras. We prove that the regular representation of G in $L^2(G/H)$ is tempered if and only if the orthogonal of in contains regular elements by showing simultaneously the equivalence to other striking conditions, such as has a solvable limit algebra.

A connected, locally finite graph $\Gamma $ is a Cayley–Abels graph for a totally disconnected, locally compact group G if G acts vertex-transitively on $\Gamma $ with compact, open vertex stabilizers. Define the minimal degree of G as the minimal degree of a Cayley–Abels graph of G. We relate the minimal degree in various ways to the modular function, the scale function and the structure of compact open subgroups. As an application, we prove that if $T_{d}$ denotes the d-regular tree, then the minimal degree of $\mathrm{Aut}(T_{d})$ is d for all $d\geq 2$.

We show that if G is an amenable group and H is a hyperbolic group, then the free product $G\ast H$ is weakly amenable. A key ingredient in the proof is the fact that $G\ast H$ is orbit equivalent to $\mathbb{Z}\ast H$.