Friedrich Martin Schneider

We prove a concentration inequality for invariant means on topological groups, namely for such adapted to a chain of amenable topological subgroups. The result is based on an application of Azuma’s martingale inequality and provides a method for establishing extreme amenability. Building on this technique, we exhibit new examples of extremely amenable groups arising from von Neumann’s continuous geometries. Along the way, we also answer a question by Pestov on dynamical concentration in direct products of amenable topological groups.

We study skew-amenable topological groups, i.e., those admitting a left-invariant mean on the space of bounded real-valued functions left-uniformly continuous in the sense of Bourbaki. We prove characterizations of skew-amenability for topological groups of isometries and automorphisms, clarify the connection with extensive amenability of group actions, establish a Følner-type characterization, and discuss closure properties of the class of skew-amenable topological groups. Moreover, we isolate a dynamical sufficient condition for skew-amenability and provide several concrete variations of this criterion in the context of transformation groups. These results are then used to decide skew-amenability for a number of examples of topological groups built from or related to Thompson’s group F and Monod’s group of piecewise projective homeomorphisms of the real line.

Exhibiting a new type of measure concentration, we prove uniform concentration bounds for measurable Lipschitz functions on product spaces, where Lipschitz is taken with respect to the metric induced by a weighted covering of the index set of the product. Our proof combines the Herbst argument with an analogue of Shearer’s lemma for differential entropy. We give a quantitative “geometric” classification of diffuse submeasures into elliptic, parabolic, and hyperbolic. We prove that any non-elliptic submeasure (for example, any measure, or any pathological submeasure) has a property that we call covering concentration. Our results have strong consequences for the dynamics of the corresponding topological L₀-groups.

We study harmonic functions and Poisson boundaries for Borel probability measures on general (i.e., not necessarily locally compact) topological groups, and we prove that a second-countable topological group is amenable if and only if it admits a fully supported, regular Borel probability measure with trivial Poisson boundary. This generalizes work of Kaimanovich–Vershik and Rosenblatt, confirms a general topological version of Furstenberg’s conjecture, and entails a characterization of the amenability of isometry groups in terms of the Liouville property for induced actions. Moreover, our result has non-trivial consequences concerning Liouville actions of discrete groups on countable sets.

We prove that, if a topological group G has an open subgroup of infinite index, then every net of tight Borel probability measures on G UEB-converging to invariance dissipates in G in the sense of Gromov. In particular, this solves a 2006 problem by Pestov: for every left-invariant (or right-invariant) metric d on the infinite symmetric group Sym(ℕ), compatible with the topology of pointwise convergence, the sequence of the finite symmetric groups (Sym(n), d↾_Sym(n), μ_Sym(n))_n∈ℕ equipped with the restricted metrics and their normalized counting measures dissipates, thus fails to admit a subsequence being Cauchy with respect to Gromov’s observable distance.

We prove that, if G is a second-countable topological group with a compatible right-invariant metric d and (μ_n)_n∈ℕ is a sequence of compactly supported Borel probability measures on G converging to invariance with respect to the mass transportation distance over d and such that (spt μ_n, d↾spt μ_n, μ_n↾spt μ_n)_n∈ℕ concentrates to a fully supported, compact mm–space (X,d_X,μ_X), then X is homeomorphic to a G–invariant subspace of the Samuel compactification of G. In particular, this confirms a conjecture by Pestov and generalizes a well-known result by Gromov and Milman on the extreme amenability of topological groups. Furthermore, we exhibit a connection between the average orbit diameter of a metrizable flow of an arbitrary amenable topological group and the limit of Gromov’s observable diameters along any net of Borel probability measures UEB–converging to invariance over the group.

Finite Frobenius rings have been characterized as precisely those finite rings satisfying the MacWilliams extension property, by work of Wood. In the present paper we offer a generalization of this remarkable result to the realm of Artinian rings. Namely, we prove that a left Artinian ring has the left MacWilliams property if and only if it is left pseudoinjective and its finitary left socle embeds into the semisimple quotient. Providing a topological perspective on the MacWilliams property, we also show that the finitary left socle of a left Artinian ring embeds into the semisimple quotient if and only if it admits a finitarily left torsion-free character, if and only if the Pontryagin dual of the regular left module is almost monothetic. In conclusion, an Artinian ring has the MacWilliams property if and only if it is finitarily Frobenius, i.e., it is quasi-Frobenius and its finitary socle embeds into the semisimple quotient.

We extend Følner’s amenability criterion to the realm of general topological groups. Building on this, we show that a topological group G is amenable if and only if its left-translation action can be approximated in a uniform manner by amenable actions on the set G. As applications we obtain a topological version of Whyte’s geometric solution to the von Neumann problem and give an affirmative answer to a question posed by Rosendal.

We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a topological algebra, whereas for topological groups, rings, semigroups, and distributive lattices, profiniteness turns out to be a purely topological property as it is equivalent to the underlying topological space being a Stone space. Condensing the core idea of those classical results, we introduce the concept of affine boundedness for an arbitrary universal algebra and show that for an affinely bounded topological algebra over a compact signature profiniteness is equivalent to the underlying topological space being a Stone space. Since groups, semigroups, rings, and distributive lattices are indeed affinely bounded algebras over finite signatures, all these known cases arise as special instances of our result. Furthermore, we present some additional applications concerning topological semirings and their modules, as well as distributive associative algebras. We also deduce that any affinely bounded simple compact algebra over a compact signature is either connected or finite. Towards proving the main result, we also establish that any topological algebra is profinite if and only if its underlying space is a Stone space and its translation monoid is equicontinuous.

We show that if G is an amenable topological group, then the topological group L⁰(G) of strongly measurable maps from ([0,1],λ) into G endowed with the topology of convergence in measure is whirly amenable, hence extremely amenable. Conversely, we prove that a topological group G is amenable if L⁰(G) is.