Abstract:Subgroups of direct products of finitely many finitely generated free groups form a natural class that plays an important role in geometric group theory. Its members include fundamental examples, such as the Stallings-Bieri groups. This raises the problem of understanding their geometric invariants. We prove that finitely presented subgroups of direct products of three free groups, as well as subgroups of finiteness type $\mathcal{F}_{n-1}$ in a direct product of $n$ free groups, have Dehn function bounded above by $N^9$. This gives a positive answer to a question of Dison within these important subclasses and provides new insights in the context of Bridson's conjecture that finitely presented subgroups of direct products of free groups have polynomially bounded Dehn function. We also give the first precise computation of a superquadratic Dehn function of a finitely presented subgroup of a direct product of finitely many free groups: we show that the Bridson-Dison group is a subgroup of a direct product of three free groups with Dehn function $N^4$. To prove our results we generalise techniques for "pushing fillings" into normal subgroups and define a new invariant for obtaining optimal lower bounds on Dehn functions.

Finiteness Conditions for the n -Fold Tensor Product of Groups

Finiteness Conditions for the $n$-fold Tensor Product of Groups

The order of the non-abelian tensor product of groups

Subdirect products of groups and the n-(n+1)-(n+2) Conjecture

Finite abelian groups acting on rationally connected threefolds I: Groups of product type

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Non-abelian tensor product and circular orderability of groups

Profinite genus of fundamental groups of compact flat manifolds with the cyclic holonomy group of square-free order

Finitely presented residually free groups

Finitely presented condensed groups

Non-abelian tensor square and related constructions of $p$-groups

Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

Finite Germ Extensions

On finite totally k-closed groups

Q-tensor square of finitely generated nilpotent groups, q >= 0

Dehn functions of subgroups of products of free groups: 3-factor case, $F_{n-1}$ case, and Bridson-Dison group

Finiteness properties of some groups of local similarities

The finite presentation of the stable Hom functors, the Bass torsion, and the cotorsion coradical

Torsion-free nilpotent groups of small Hirsch length with isomorphic finite quotients