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.

On the relation between Hot-Jupiters and the Roche Limit

Reading Off Kurosh Decompositions

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

On residual finiteness of graphs of free groups with cyclic edge groups

Parafree graphs of groups with cyclic edge groups

On the product decomposition conjecture for finite simple groups

Discrete quantum subgroups of free unitary quantum groups

A fast algorithm for Stallings foldings over virtually free groups

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

Graph of groups decompositions of graph braid groups

Products of free groups inside graph braid groups

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

Directed Subgroup Graph for Studying the Subgroup Properties of Finite Groups

An algorithm to recognize echelon subgroups of a free group

The subgroup membership problem in amalgamated products of finitely generated free groups

Finite 4-Primary Groups with Disconnected Gruenberg–Kegel Graph Containing a Triangle

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

On combinatorial properties of Gruenberg--Kegel graphs of finite groups

On finitely generated submonoids of virtually free groups

A decomposition theorem for higher rank Coxeter groups

Conjugacy separability of 1-acylindrical graphs of free groups