Dehn functions of subgroups of products of free groups. Part I: Uniform upper bounds

TL;DR

This paper establishes polynomial upper bounds for Dehn functions of certain subgroups of direct products of free groups, advancing understanding of their geometric invariants and supporting Bridson's conjecture.

Contribution

It proves that finitely presented subgroups of three free groups and certain finiteness type subgroups have Dehn functions bounded by N^9, extending techniques for pushing fillings.

Findings

Dehn functions of these subgroups are bounded above by N^9.

Supports Bridson's conjecture on polynomial bounds.

Introduces generalized techniques for pushing fillings into normal subgroups.

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 stating that finitely presented subgroups of direct products of free groups have polynomially bounded Dehn function. To prove our results we generalise techniques for "pushing fillings" into normal subgroups.