## Dehn function for undistorted subgroups of a product of free groups

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

Let $G$ be a finitely generated subgroup of a product of two finite rank free groups $F_m \times F_n$. If there is a Lipschitz retraction $F_m \times F_n \to G$ with respect to word metrics, then $G$ is undistorted in $F_m \times F_n$, and the Dehn function of $G$ has a quadratic upper bound.

Suppose now that we require only that $G$ is undistorted in $F_m \times F_n$. Is it still true that the Dehn function of $G$ has a quadratic upper bound?

-

Lee: All subgroups G are either free or direct products of free groups or are not finitely-presented. Among latter, I do not know any examples of undistorted ones, do you? In fact, the only undistorted subgroups of semi simple Lie groups that I know are retracts, non-uniform lattices and Anosov (in the sense of Guichard and Wienhard) hyperbolic groups (the latter could in the end turn out to be retracts, this is unknown).  – Misha Sep 14 at 17:32
...I forgot one more class of undistorted subgroups: Some polycyclic  groups which are peripheral subgroups of non-uniform lattices. However, one should regard them as lattices in solvable Lie groups. – Misha Sep 14 at 17:41
why you closed my question, please reopen it – Hassan Jolany Dec 21 at 17:47

## 2 Answers

The Bieri-Stallings subgroup of $F_n\times F_n$ is undistorted and finitely generated, but not finitely-presented, so in some sense it has an infinite Dehn function. It's the kernel of the map $F_n\times F_n\to \mathbb{Z}$ which sends each generator to 1, and it's generated by elements of the form $g_ih_j^{-1}$ where $g_i$ and $h_j$ are generators of the two different factors.

-

1
Welcome to MO Robert! – Andy Putman Sep 14 at 18:23
How does one know, or find a reference for, the statement that this subgroup is undistorted? – Lee Mosher Sep 14 at 18:32

2
There's a proof for the theorem that Yves mentions in Olshanskii, Sapir, "Length and area functions on groups and quasi-isometric Higman embeddings" (Theorem 2). For this subgroup, you can construct words explicitly -- if $$w=w_1(g_1,\dots, g_n)w_2(h_1,\dots,h_n)$$ and $w$ lies in the kernel, we can rewrite $w$ as $$w=w_1(g_1 h_1^{-1},\dots, g_n h_1^{-1})(h_1 g_1^{-1})^k w_2(h_1g_1^{-1},\dots,h_n g_1^{-1})$$ where $k$ is the sum of the exponents in $w_1$. This is a product of generators of the subgroup and its length increases by at most a constant. – Robert Young Sep 14 at 19:37
That's pretty. – Lee Mosher Sep 14 at 21:18

### 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.

The answer is no: actually by Baumslag-Roseblade (JLMS 1984) either $G$ is commensurable to a product of free groups (hence has linear or quadratic Dehn function), or is not finitely presented (so the Dehn function is infinite, or not defined, as you wish). The latter case occurs if $H$ is an infinite word hyperbolic group and $f:F_m\to H$ is a non-bijective surjection and $H$ is the fibre product $[(g,h)\in F_m\times F_m:f(g)=f(h)]$.

-

Sorry, I can't type braces so I put brackets. – Yves Cornulier Sep 14 at 17:44
@Yves, I have the same question here as for Robert Young's answer: how does one obtain nondistortion in these examples? – Lee Mosher Sep 14 at 18:36
In general the Dehn function of $H$ is equivalent to the distortion of  $G$. This is not completely formal (there's a little Van Kampen diagram cuisine) but in the case of $H=\mathbf{Z}$ it's simple to verify by hand. I saw the general result written somewhere but I can't remember right now. – Yves Cornulier Sep 14 at 18:42
{"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": 26, "mathjax_display_tex": 2, "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": 10, "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.931372344493866, "perplexity_flag": "middle"}