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.

Subdirect products of finitely presented metabelian groups

Generating subdirect products

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

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

Finitely presented residually free groups

Subgroups of the direct product of graphs of groups with free abelian vertex groups

Binary Subgroups of Direct Products

Groups not presentable by products

Subdirect sums of Lie algebras

Virtual homology of limit groups and profinite rigidity of direct products

Finitely presented condensed groups

Absolute profinite rigidity, direct products, and finite presentability

On Finite Groups that are the Product of Two Subnormal Supersoluble Subgroups

Finitely generated subgroups of branch groups and subdirect products of just infinite groups

Applications of computational tools for finitely presented groups

On Finite Presentability of Subsemigroups of the Monogenic Free Inverse Semigroup

Finite presentability of normal fibre products

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

Union of products of subgroups in finite groups

From Subdirect Sums to Virtuality