MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Finitely presented groups which are not residually amenable

What are examples of finitely presented but not residually amenable groups?

Well, the examples that I want to have are simple f.p. groups as well as examples of non residually amenable groups arise from other reasoning then simplicity.

Thank you for all your references!

-
 @Kate: Take a non-residually-finite group $G$ with property $T$. Then $G$ cannot be residually-amenable (since every amenable quotient of $G$ is finite). Examples of fp groups like this are given some some lattices in non-linear Lie groups, see e.g., J.Millson, "Real vector bundles with discrete structure group", Topology 18 (1979) 83–89, and M.Raghunathan, "Torsion in co-compact lattices of Spin(2,N)", Math. Ann. 266 (1984) 403–419. None of these groups is simple (they also do not contain infinite simple subgroups). This answers your 2nd question. – Misha Apr 13 2012 at 4:56 Thank you, Misha, for your answer and the citation! – Kate Juschenko Apr 24 2012 at 7:41

Cornulier has a finitely presented sofic group which is not the limit of amenable groups: http://arxiv.org/pdf/0906.3374

-
 Thanks, Alain, in fact this paper was my starting point... – Kate Juschenko Jun 14 2011 at 12:05 Also, I've received several very good references form Mark Sapir on finitely presented simple groups. The question I wanted to ask is that there could be much more examples of finitely presented (non-simple) groups that are not residually amenable. – Kate Juschenko Jun 14 2011 at 14:25

Take any finitely presented infinite simple group $G$. It is not residually anything (well, it is residually $G$).

Now take such a $G$ that contains a nonabelian free group. For example, take Elizabeth Scott's finitely presented group $G$ that contains $GL_3(\mathbb{Z})$. (See Scott, Elizabeth A. The embedding of certain linear and abelian groups in finitely presented simple groups. J. Algebra 90 (1984), no. 2, 323–332.)

-
 thanks for the citation and example. – Kate Juschenko Jun 15 2011 at 19:35 You're welcome. – Richard Kent Jun 15 2011 at 21:07

Let $G$ be an adjoint Kac-Moody group over a (sufficiently large) finite field $\mathbf F_q$. By results of Caprace-R'emy, $G$ is simple when its diagram is connected and has indefinite type, i.e. neither spherical nor affine, and finitely presented when the diagram does not contain an edge labelled with $\infty$. In this case, $G$ itself is not amenable as it contains the free product of two root groups $U_\alpha * U_\beta$.

Varying the ground field and the diagram then gives a two-parameter family of examples.

-
 thanks for your example – Kate Juschenko Jun 15 2011 at 19:35