Rank Versus Heegaard Genus of Hyperbolic Three-Manifolds

Definitions and mathematical statement

For a finitely generated group $G$, define its rank by \[ d(G)=\min\{\lvert S\rvert:S\subseteq G,\ \langle S\rangle=G\}. \] A closed hyperbolic $3$-manifold is a compact $3$-manifold without boundary equipped with a complete Riemannian metric of constant sectional curvature $-1$. Connectedness is implicit in the source's use of a single fundamental group.

For a connected, closed, orientable $3$-manifold $M$, a Heegaard splitting of genus $h$ is a decomposition \[ M=H_1\cup_{\Sigma}H_2, \] where each $H_i$ is a handlebody homeomorphic to a regular neighborhood of a bouquet of $h$ circles, and $H_1\cap H_2=\partial H_1=\partial H_2=\Sigma$. Its Heegaard genus is \[ g(M)=\min\{h\in{\mathbb{Z}}_{\geq0}:M\text{ admits a Heegaard splitting of genus }h\}. \]

The supplied question asks whether \[ d\left(\pi_1(M)\right)=g(M) \qquad\text{for every closed hyperbolic }3\text{-manifold }M. \] The source does not explicitly impose orientability. The definition of Heegaard genus above gives the usual orientable formulation; whether the source intends only orientable manifolds or a convention extending Heegaard genus to nonorientable manifolds remains unresolved. Thus the full domain of the supplied universal question requires clarification.

Short English statement

Must the minimum number of generators of the fundamental group of every closed hyperbolic $3$-manifold equal its Heegaard genus? The source leaves orientability implicit, so the intended manifold class and any nonorientable genus convention require review.

Sources

• Local UnsolvedMath registry, permanent ID $30001580$, source problem code catalogue entry, title "Rank Versus Heegaard Genus of Hyperbolic Three-Manifolds." The supplied proposed year is 2010; no individual proposer is identified.
• Supplied source citation: Actions and Invariants of Residually Finite Groups: Asymptotic Methods (2011), Oberwolfach Reports, pp. 2335--2391, DOI 10.4171/owr/2010/40. Original OWR report: https://doi.org/10.4171/owr/2010/40.
• Supplied literature source: Aschenbrenner--Friedl--Wilton, 3-manifold groups, https://www.maths.gla.ac.uk/~mpowell/Aschenbrenner-Friedl-Wilton-3-manifold-groups-final-version-031115.pdf.
• Literature assessment dated 2026-08-21: the supplied curation labels this question open, states that the general statement fails, and says that the report isolates the hyperbolic three-manifold case as open and that later surveys continue to list corresponding rank and mod-$p$ homology questions as unresolved. This is supplied dated curation, not independently verified here; the broader statement and the mod-$p$ questions are not specified in the record.
• The registry marks the statement corrected_verified and reports comparison with the official Oberwolfach report, with notation, context, and question form normalized without changing the source-level claim. These are supplied verification assertions, not independent verification in this draft.