Related papers: On connected Lie groups and the Approximation Prop…
Not all properties are monitorable. This is a well-known fact, and it means there exist properties that cannot be fully verified at runtime. However, given a non-monitorable property, a monitor can still be synthesised, but it could end up…
This is mainly an expository text on the Haagerup property for countable groupoids equipped with a quasi-invariant measure, aiming to complete an article of Jolissaint devoted to the study of this property for probability measure preserving…
In this short note we give a proof of the refined version of the uniform invariant approximation property for compact (non-commutative) groups following the Bourgain's approach.
In this article we prove that an "isometric multiple HNN-extension" of a group satisfying the falsification by fellow traveler property is almost convex. As a corollary, Wise's example of a CAT(0) non-Hopfian group is Almost convex.
In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is representable over a finite base. This result gives a positive…
We study locally compact contractive local groups, that is, locally compact local groups with a contractive pseudo-automorphism. We prove that if such an object is locally connected, then it is locally isomorphic to a Lie group. We also…
We combine aspects of the notions of finite decomposition complexity and asymptotic property C into a notion that we call finite APC-decomposition complexity. Any space with finite decomposition complexity has finite APC-decomposition…
Let $\Gamma$ be a finite group acting on a Lie group $G$. We consider a class of group extensions $1 \to G \to \hat{G} \to \Gamma \to 1$ defined by this action and a $2$-cocycle of $\Gamma$ with values in the centre of $G$. We establish and…
The logic LAE discussed in this paper is based on an approximate entailment relation. LAE generalises classical propositional logic to the effect that conclusions can be drawn with a quantified imprecision. To this end, properties are…
Using a almost product structure defined by a spray, we give a necessary and sufficient condition, for a linear connection with vanishing torsion to be Riemannian and, for the semi-simplicity of Lie algebra of projectable vector fields…
We prove extension theorems for several geometric properties such as asymptotic property C (APC), finite decomposition complexity (FDC), strict finite decomposition complexity (sFDC) which are weakenings of Gromov's finite asymptotic…
This survey describes some recent work, by the authors and others, on the existence of algebraic fibrations of group extensions, as well as the finiteness properties of their algebraic fibers, in the realm of both abstract and pro-$p$…
We introduce geometric and homological finiteness properties for countable approximate groups via coarse geometry and then study these finiteness properties for S-arithmetic reductive approximate groups. For S-arithmetic approximate groups…
It is known that for $\sigma$-compact groups Kazhdan's Property $(T)$ is equivalent to Serre's Property $(FH)$. Generalized versions of those properties, called properties $(T_{B})$ and $(F_{B})$, can be defined in terms of the isometric…
We describe the structure of ``K-approximate subgroups'' of torsion-free nilpotent groups, paying particular attention to Lie groups. Three other works, by Fisher-Katz-Peng, Sanders and Tao, have appeared which independently address related…
We introduce the notion of the $k$-closure of a group of automorphisms of a locally finite tree, and give several examples of the construction. We show that the $k$-closure satisfies a new property of automorphism groups of trees that…
A locally compact groupoid is said to have the weak containment property if its full $C^*$-algebra coincides with its reduced one. This property is strictly weaker than amenability and is known to be equivalent to amenability for…
This paper is a significant contribution to a general programme aimed to classify all projective irreducible representations of finite simple groups over an algebraically closed field, in which the image of at least one element is…
We establish the tracial stability of a certain class of graph products of C*-algebras. This result involves the development of the "pincushion class" of finite graphs. We then apply this result in two ways. The first application yields a…
The purpose of this article is to give an exposition of topological properties of spaces of homomorphisms from certain finitely generated discrete groups to Lie groups $G$, and to describe their connections to classical representation…