Math-15665 · mathematics · Topology

Math-15665

Virtual Geometric Structures of 3-Manifolds

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

A hyperbolic $3$-manifold is a $3$-manifold equipped with a Riemannian metric of constant sectional curvature $-1$; the supplied record does not specify completeness, finite volume, orientability, compactness, or boundary conditions. A Seifert fibration is a decomposition into circle fibers with the standard local models of fibered solid tori, allowing exceptional fibers. In a common usage, a fibered $3$-manifold is the total space of a locally trivial bundle $p\colon M\to S^1$ with surface fiber; the record does not specify the intended base, fiber, or boundary conventions. A JSJ decomposition, in its usual compact orientable irreducible setting with empty or incompressible torus boundary, cuts a manifold along a minimal family of disjoint incompressible tori into Seifert-fibered and atoroidal pieces. These hypotheses are explanatory conventions, not additional assumptions supplied by the record. For a connected manifold $M$ and base point $x\in M$, its fundamental group has torsion precisely when \[ \exists g\in\pi_1(M,x)\;\exists n\in{\mathbb{Z}},\qquad g\ne 1,\quad n\ge 2,\quad g^n=1. \] For a disconnected manifold, the record does not specify which component is intended.

Recorded classification questions. Which hyperbolic $3$-manifolds are "secretly" Seifert-fibered, fibered, or have a specified JSJ decomposition, and which $3$-manifolds "secretly" have torsion in their fundamental groups?

Unresolved formulation. The word "secretly" is not defined. In particular, the record does not state whether a property must hold for the manifold itself, for a finite cover, or under some other relation. The title mentions virtual geometric structures, but does not supply a definition that resolves this issue. No target JSJ decomposition or criterion for matching one is specified. Thus the requested classification predicates and their domains cannot be made precise from this record alone; the displayed torsion condition defines ordinary group torsion, without identifying the intended meaning of "secretly."

Short English statement

The record asks for classifications of hyperbolic $3$-manifolds with hidden Seifert, fibering, or JSJ properties, and of $3$-manifolds with hidden fundamental-group torsion. The meaning of "secretly," the manifold hypotheses, and the target JSJ data are missing, so a unique precise mathematical problem remains unresolved.

Sources

  • Local UnsolvedMath registry, supplied source record: permanent ID $30001545$, source problem code catalogue entry, title Virtual Geometric Structures of 3-Manifolds, collection Oberwolfach Reports Open Problems. No individual proposer is supplied; the proposed year is recorded as 2010.
  • Supplied report citation: Low-Dimensional Topology and Number Theory (2011), Oberwolfach Reports, pp. 2101--2163, DOI 10.4171/owr/2010/35. Source URL and literature-source label "original OWR report": https://doi.org/10.4171/owr/2010/35. The record describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions. No problem-specific page or speaker attribution is supplied.
  • Supplied literature-source label "related primary work": https://msp.org/agt/2008/8-3/agt-v8-n3-p15-s.pdf. The record supplies no author, title, or explanation identifying the precise results relevant to this formulation.
  • Literature assessment dated exactly 2026-08-21: the supplied curation labels the questions open and describes them as broad classification problems, stating that the cited work develops invariants and examples rather than a general resolution. This is supplied dated curation, not an independently verified assessment. The background explicitly calls it dated literature triage and requests independent verification of time-sensitive status and cited claims.
  • The registry marks the statement as "exact" and records that it was retained byte-for-byte because it was internally readable. Those supplied labels do not establish fidelity to the cited report or mathematical precision; neither external source has been independently checked for this draft.

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.