Projective simplicity and Bergman's property for unit groups of continuous rings

TL;DR

This paper proves the simplicity of the projective unit group of non-discrete irreducible continuous rings and explores their geometric and algebraic properties, including fixed point properties and bounded normal generation.

Contribution

It establishes the simplicity of $ ext{PGL}(R)$ for such rings and demonstrates new properties like uncountable strong cofinality and fixed point properties for their unit groups.

Findings

$ ext{PGL}(R)$ is simple for non-discrete irreducible continuous rings.

$ ext{GL}(R)$ has uncountable strong cofinality and finite width.

$ ext{GL}(R)$ has fixed point properties on CAT(0) spaces and possesses Serre's properties $(FH)$ and $(FA)$.

Abstract

We prove that the projective unit group $\mathrm{PGL}(R)$, i.e., the quotient of the unit group $\mathrm{GL}(R)$ modulo its center, of any non-discrete irreducible, continuous ring $R$ is simple. Moreover, we show that $\mathrm{GL}(R)$ has uncountable strong cofinality, that is, it is not the union of a countable chain of proper subgroups and it has finite width with respect to any generating set. Equivalently, every isometric action of $\mathrm{GL}(R)$ on a metric space has bounded orbits. It follows that every action of $\mathrm{GL}(R)$ by isometries on a non-empty complete $\mathrm{CAT}(0)$ space admits a fixed point. In particular, $\mathrm{GL}(R)$ possesses Serre's properties $(FH)$ and $(FA)$. Furthermore, our results entail that $\mathrm{PGL}(R)$ has bounded normal generation. In turn, we answer two questions by Carderi and Thom.