Generic Properties of Random Heegaard Three-Manifolds

Definitions and mathematical statement

The supplied question is: "What properties does a generic closed 3-manifold have when its Heegaard gluing map is chosen by a random walk on the mapping class group?" It specifies a research programme rather than a single quantified conjecture.

A genus-$g$ handlebody is a compact connected orientable three-manifold homeomorphic to a regular neighbourhood of a bouquet of $g$ circles. A Heegaard splitting expresses a closed connected orientable three-manifold as two genus-$g$ handlebodies glued along their boundaries. For a closed connected oriented surface $\Sigma_g$, let $\operatorname{Mod}(\Sigma_g)$ denote its group of orientation-preserving homeomorphisms modulo isotopy.

The following is a conditional framework for making the question precise; its parameters and conventions are not specified by the source. Fix an integer $g\geq 0$, oriented genus-$g$ handlebodies $H_g^+$ and $H_g^-$, and boundary markings $j_\pm:\Sigma_g\to\partial H_g^\pm$, with $j_+$ orientation preserving and $j_-$ orientation reversing. Fix a probability measure $\mu$ on $\operatorname{Mod}(\Sigma_g)$. For independent increments $X_1,X_2,\ldots$ with common law $\mu$, define \[ W_0=1,\qquad W_n=X_1X_2\cdots X_n\quad(n\geq1). \] Choosing a representative $f_n$ of $W_n$, define \[ M_n=H_g^+\mathbin{\cup_{\,j_-\circ f_n\circ j_+^{-1}}}H_g^-. \] The gluing map reverses boundary orientation, and the resulting homeomorphism type is independent of the representative within its isotopy class.

One possible meaning of a generic property $\mathcal P$ in this model is \[ \lim_{n\to\infty}\mathbb P_\mu\left(M_n\text{ has }\mathcal P\right)=1. \] Under this interpretation, the question asks which topological or geometric properties $\mathcal P$ satisfy this limit, with all hypotheses on $g$, the markings, and $\mu$ stated explicitly. The source does not choose these parameters, impose support or moment assumptions on $\mu$, define genericity, or identify a particular property to characterize. Thus neither this interpretation nor a universal quantifier over these parameters can be attributed to the source, and a unique precise conjecture remains unresolved.

The supplied background assessment also mentions fibred three-manifolds, but gives no construction or separate question for them; they cannot be silently identified with the Heegaard model above.

Short English statement

The question asks which properties are typical of closed three-manifolds obtained by randomly gluing two handlebodies. A precise probability statement requires a specified genus, random-walk law, meaning of typicality, and target properties; these are absent from the supplied formulation.

Sources

• Local UnsolvedMath registry: supplied complete record with permanent ID $30003891$, title "Generic Properties of Random Heegaard Three-Manifolds," source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The record gives proposed year $2018$ and no named proposer. Its statement status is supplied as "exact," with a supplied verification note calling the statement clear, self-contained, and publication-ready; this does not resolve the formulation issues above.
• Supplied source citation: Topologie (2019), Oberwolfach Reports, DOI 10.4171/owr/2018/31, pp. 1857--1910. https://doi.org/10.4171/owr/2018/31. The background describes these reports as records of mathematical workshops and their open-problem discussions. No problem-specific page or individual attribution is supplied.
• Supplied literature source, labelled "Random 3-manifolds, Compositio Mathematica": https://www.cambridge.org/core/journals/compositio-mathematica/article/uniform-models-and-short-curves-for-random-3manifolds/08BED370D27937EADC9B1B5DDA187A2B.
• Supplied literature source, labelled "Oberwolfach report": https://doi.org/10.4171/owr/2018/31.
• Literature assessment checked at 2026-08-21: the supplied curation labels the problem "open" and reports substantial asymptotic results for random Heegaard-splitting or fibred three-manifolds, with no complete characterization in the broad form stated. This is supplied dated curation derived from the OWR material, not an independently verified assessment. The source itself requests independent verification of time-sensitive status and cited claims.