相关论文: Thompson's group F is not SCY
A closed 4-manifold is symplectic Calabi--Yau (SCY) if its canonical class is trivial. Friedl and Vidussi proved that Thompson's group $F$ cannot be the fundamental group of any SCY manifold. In this paper, we show that its generalizations,…
We show that Thompson's group F is the symmetry group of the "generic idempotent". That is, take the monoidal category freely generated by an object A and an isomorphism A \otimes A --> A; then F is the group of automorphisms of A.
Thompson's group F is the group of all increasing dyadic piecewise linear homeomorphisms of the closed unit interval. We compute Sigma^m(F) and Sigma^m(F;Z), the homotopical and homological Bieri-Neumann-Strebel-Renz invariants of F, and we…
We prove that Thompson's group F is not minimally almost convex with respect to any generating set which is a subset of the standard infinite generating set for F and which contains x_1. We use this to show that F is not almost convex with…
The purpose of this note is to prove that Richard Thompson's group F and variants of it studied by Ken Brown are not Kahler groups.
Examples of aspherical closed symplectic 4-manifolds are presented whose Sullivan minimal models are (1,n)-formal for any n, without being formal. They have as cohomology algebra, signature, canonical class, those of a product of a closed…
We present a new proof of a result due to Taubes: if X is a closed symplectic four-manifold with b_+(X) > 1+b_1(X) and with some positive multiple of the symplectic form a rational class, then the Poincare dual of the canonical class of X…
In this article we prove that Thompson's group does not belong to any algebraic variety.
Let M be a 4-manifold with residually finite fundamental group G having b_1(G) > 0. Assume that M carries a symplectic structure with trivial canonical class K = 0 in H^2(M). Using a theorem of Bauer and Li, together with some classical…
Richard Thompson's group F is the group of piecewise linear homeomorphisms of the unit interval with a finite number of break points, all at dyadic rational numbers (their denominators are powers of 2) and with slopes which are powers of 2.…
We prove that Richard Thompson's group F is not minimally almost convex with respect to the two standard generators. This improves upon a recent result of S. Cleary and J. Taback. We make use of the forest diagrams for elements of F…
In 1984 Brown and Geoghegan proved that Thompson's group $F$ is of type $\textrm{F}_\infty$, making it the first example of an infinite dimensional torsion-free group of type $\textrm{F}_\infty$. Over the decades a different, shorter proof…
We show that the canonical actions of the Thompson group V and its generalizations on the Cantor set are not strongly ergodic. This implies that the associated crossed product von Neumann algebras are not full. This also yields a…
We prove that the elementary theory of Thompson's group $F$ is hereditarily undecidable.
Let F be the Thompson's group. We study the structure of F-limit groups. Consider a sequence of groups marked by three elements, each isomorphic to F. Assume that the this sequence is convergent in the space of marked groups. We prove that…
We show that the abstract commensurator of Thompson's group F is composed of four building blocks: two isomorphism types of simple groups, the multiplicative group of the positive rationals and a cyclic group of order two. The main result…
We show that Thompson's group $F$ has a topological action on a compact metric space that is proximal and has no fixed points.
We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively…
In this paper we prove that the Thompson groups $T$ and $V$ are not inner amenable. In particular, their group von Neumann algebras do not have property $\Gamma$. Moreover, we prove that if the reduced group $C^\ast$-algebra of $T$ is…
We show that the fundamental group is not invariant under derived equivalence of smooth projective varieties.