## Is Deligne’s central extension sofic?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

In P. Deligne. Extensions centrales non r´esiduellement finies de groupes arithm´etiques. CR Acad. Sci. Paris, s´erie A-B, 287, 203–208, 1978. Deligne proves the existence of a certain central extension of a residually finite group.

See the section Deligne's central extension in Cornulier's paper for a quick discussion of the group.

A countable, discrete group $\Gamma$ is $sofic$ if for every $\epsilon>0$ and finite subset $F$ of $\Gamma$ there exists an $(\epsilon,F)$-almost action of $\Gamma$. See, for example Theorem 3.5 of the nice survey of Pestov. Gromov asked whether all countable discrete groups are sofic. It is now widely believed that there should be a counterexample to this.

Is Deligne's central extension sofic?

This question is related to the one here, but is not sharpened enough to be an answer. (In fact, in its original form not even to be a question! Thank you Henry and Andreas.)

-

2
A few points: you haven't said anything about $H$, for example it could be the trivial subgroup. In general, the largest such $H$ I thought was called the finite residuum of $G$ (although that doesn't seem very popular with Google), and is the intersection of all finite index subgroups of $G$. The distinction you make betewen "every finite index subgroup" and "every finite index normal subgroup" turns out not to matter - you can always drop by a finite index to gain normality (this doesn't depend on finite generation). – ndkrempel Dec 8 2010 at 18:12

4
The interest of Deligne's example is not that it isn't residually finite. The interest is that it's a non-residually finite group which is a central extension of a residually finite (indeed, linear) group. – HW Dec 8 2010 at 18:15

2
(The arxiv link is broken. Here a working one: arxiv.org/abs/0804.3968 ) – Greg Graviton Dec 8 2010 at 18:26
Thank you, Greg, Henry and ndkrempel! – Jon Bannon Dec 8 2010 at 21:08

## 2 Answers

If I understand your question correctly then I think you've already answered it! The 'above property' is precisely 'not being residually finite'. To see this, just consider the intersection of all finite-index subgroups: if it's trivial, your group is residually finite; if not, then that intersection is your subgroup $H$.

As we found in a previous question of yours, Baumslag's group

$B=\langle a,b\mid (a^b)^{-1}a(a^b)a^{-2}\rangle$

which is certainly not residually finite, is sofic.

-

1
Incidentally, I think the question in the title is still an interesting one. – HW Dec 8 2010 at 18:15
Hi Henry. Sorry about the nonsense! Please have another look. – Jon Bannon Dec 8 2010 at 20:35

1
Gladly! Unfortunately, I think it's pretty unlikely that I can say anything useful about the modified question. – HW Dec 8 2010 at 21:30
Thanks again, Henry. – Jon Bannon Dec 8 2010 at 21:37

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Deligne's central extension is certainly an interesting group to consider. I can say something about the question whether this group is hyperlinear. For hyperlinearity, you ask for approximation of the group law by unitary matrices instead of permutations. This is (as you of course know) weaker than being sofic, but being sofic implies that the group is hyperlinear. Hence, it is a neccesary condition and natural generalization.

In the paper Examples of hyperlinear groups without factorization property, Groups Geom. Dyn. 4 (2010), no. 1, 195–208 I obverved that a central extension of a group $G$ by an abelian group $A$ is hyperlinear if and only if the twisted group von Neumann algebra $L_{\phi \circ \alpha} G$ is embeddable, where $$\alpha \colon G \times G \to A$$ is the 2-cocycle which classifies the central extension, and $\phi$ belongs to a dense set in the Pontrjagin dual of $A$. This is the same as asking for a approximation of the group laws of $G$ with unitaries on a finite-dimensional Hilbert space, twisting the multiplication with the cocycle $\phi \circ \alpha$. The twisted setup is natural anyway and I propose to call a $S^1$-valued 2-cocycle on a group $G$ hyperlinear if you can find such an approximation by unitaries. It seems natural to consider the possibility that there are $S^1$-valued 2-cocycles even on residually finite groups which are not hyperlinear. However, I do not have any examples.

On the other side, if $G$ is residually finite and you can at the same time approximate $\phi \circ \alpha$ for sufficiently many $\phi$'s by suitable almost 2-cocycles defined on the finite quotients, you are in business. This would show that the central extension is at least hyperlinear.

I do not know about sofic in place of hyperlinear, since in the combinatorial setup, it is not possible to disintegrate the central extension over the Pontrjagin dual of $A$.

-

Thanks for sharing your ideas on this, Andreas. – Jon Bannon Dec 8 2010 at 21:35
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 27, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9221997857093811, "perplexity_flag": "middle"}