Related papers: Compressible subgroups and simplicity

We show that for every positive integer $n$ there exists a simple group that is of type $\mathrm{F}_{n-1}$ but not of type $\mathrm{F}_n$. For $n\ge 3$ these groups are the first known examples of this kind. They also provide infinitely…

A countable group is C*-simple if its reduced C*-algebra is simple. It is well known that C*-simplicity implies that the amenable radical of the group must be trivial. We show that the converse does not hold by constructing explicit…

A transitive smooth action of a connected Lie group G on a manifold M is called almost primitive (resp. primitive) if G doesn't contain any proper subgroup (resp. any proper normal subgroup) whose induced action on M is transitive as well.…

We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which…

Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, R\"ohrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good…

A continuous action of a group G on a compact metric space has sensitive dependence on initial conditions if there is a number e>0 such that for any open set U we can find g in G such that g.U has diameter greater than e. We prove that if a…

We prove that a group $\Gamma$ admits a discrete topological (equivalently, smooth) action on some simply-connected 3-manifold if and only if $\Gamma$ has a Cayley complex embeddable -- with certain natural restrictions -- in one of the…

We prove that on a metrizable, compact, zero-dimensional space every free action of an amenable group is measurably isomorphic to a minimal $G$-action with the same, i.e. affinely homeomorphic, simplex of measures.

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

We verify the inductive McKay condition for simple groups of Lie type C, namely finite projective symplectic groups. This contributes to the program of a complete proof of the McKay conjecture for all finite groups via the reduction theorem…

We give a method for constructing dense and free subgroups in real Lie groups. In particular we show that any dense subgroup of a connected semisimple real Lie group G contains a free group on two generators which is still dense in G, and…

Utilizing an embedding theorem of Obraztsov we construct groups as described in the title. This provides an affirmative answer to a problem of D. O. Revin. The constructed groups also provide a negative answer to a question highlighted by…

We study a notion of convex cocompactness for discrete subgroups of the projective general linear group acting (not necessarily irreducibly) on real projective space, and give various characterizations. A convex cocompact group in this…

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

Let $\Pi$ be the \'etale fundamental group of a smooth affine curve over an algebraically closed field of characteristic $p>0$. We establish a criterion for profinite freeness of closed subgroups of $\Pi$. Roughly speaking, if a closed…

Automorphism groups of locally finite trees provide a large class of examples of simple totally disconnected locally compact groups. It is desirable to understand the connections between the global and local structure of such a group.…

Let~$G$ be a group and let~$\mathcal{F}$ be a family of subgroups of~$G$. The generalised Lusternik--Schnirelmann category~$\operatorname{cat}_\mathcal{F}(G)$ is the minimal cardinality of covers of~$BG$ by open subsets with fundamental…

We prove that a countable group with an effective minimal non-elementary convergence group action is a Powers group. More strongly we prove that it is a strongly Powers group and thus its non-trivial subnormal subgroups are $C^*$-simple.

We consider the possibility of semisimple tensor categories whose fusion rule includes exactly one noninvertible simple object. Conditions are given for the existence or nonexistence of coherent associative structures for such fusion rules,…