The Kervaire conjecture and the minimal complexity of surfaces

TL;DR

This paper introduces new methods from stable commutator length to analyze the Kervaire conjecture, proving nontriviality of certain group quotients and establishing a Freiheitssatz for HNN extensions, with implications for torsion-free groups.

Contribution

It provides a novel approach using stable commutator length to prove the Kervaire conjecture for torsion-free groups and generalizes key theorems to HNN extensions.

Findings

Proves the Kervaire conjecture for torsion-free groups.

Establishes a Freiheitssatz for HNN extensions.

Generalizes theorems on group quotients involving proper powers.

Abstract

The Kervaire conjecture asserts that adding a generator and then a relator to a nontrivial group always results in a nontrivial group. We introduce new methods from stable commutator length to study this type of problems about nontriviality of one-relator quotients. Roughly, we show that surfaces in certain HNN extensions bounding a given word have complexity no less than the complexity of its boundary. A consequence of this is a Freiheitssatz theorem for HNN extensions, which in particular implies and gives a new proof of Klyachko's theorem that confirms the Kervaire conjecture for torsion-free groups. As another application, we also generalize the following theorem of Klyachko-Lurye to HNN extensions: For any group $G$ and the quotient $Q$ of $G\star\mathbb{Z}$ by any proper power $w^m$ with $w\in G\star\mathbb{Z}$ projecting to $1\in\mathbb{Z}$, the natural map $G\to Q$ is injective.