pith. machine review for the scientific record. sign in

arxiv: 2604.22387 · v1 · submitted 2026-04-24 · 🧮 math.GT

Recognition: unknown

A universal non-embedding theorem for 3-manifolds

Giulio Belletti, Renaud Detcherry

Pith reviewed 2026-05-08 09:14 UTC · model grok-4.3

classification 🧮 math.GT
keywords 3-manifoldsembeddingshyperbolic manifoldsquantum representationsFrohman-Kania-Bartoszyńska idealsWitten-Reshetikhin-Turaev invariantsmapping class groupsnon-embedding
0
0 comments X

The pith

For any compact oriented 3-manifolds N and M with a mild condition on M, there exists a hyperbolic 3-manifold N' closely related to N that does not embed in M.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for any compact oriented 3-manifold N and any M satisfying a mild hypothesis, one can find a hyperbolic 3-manifold N' that is arbitrarily closely related to N but does not embed into M. The construction of such N' relies on making its Frohman-Kania-Bartoszyńska ideal sufficiently complicated through the use of strong approximation in the SO(3) version of the Witten-Reshetikhin-Turaev representations. As a special case, when M is a rational homology sphere, N' can be taken to be Y_k-equivalent to N for any positive integer k. This establishes that embeddability into a fixed M is not a property shared by all manifolds in these closeness classes.

Core claim

Given two compact oriented 3-manifolds N and M, with M satisfying only a mild hypothesis, there is a hyperbolic 3-manifold N' arbitrarily closely related to N such that N' does not embed in M. The proof relies on constructing 3-manifolds with complicated Frohman--Kania-Bartoszyńska ideals using the strong approximation for SO_3-Witten-Reshetikhin-Turaev quantum representations of mapping class groups of surfaces.

What carries the argument

The Frohman-Kania-Bartoszyńska ideal of a 3-manifold, made sufficiently complicated via strong approximation for SO_3-Witten-Reshetikhin-Turaev representations to obstruct embedding into M.

If this is right

  • When M is a rational homology sphere, N' can be chosen Y_k-equivalent to N for any k while remaining non-embeddable.
  • Hyperbolic manifolds can be chosen arbitrarily close to any given N yet avoid embedding in any fixed M meeting the hypothesis.
  • The non-embedding is guaranteed whenever the Frohman-Kania-Bartoszyńska ideal is made sufficiently complex by the approximation construction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The techniques suggest that quantum invariants can distinguish embeddability within equivalence classes where classical topological invariants do not.
  • Analogous non-embedding statements may hold under other notions of closeness between 3-manifolds.

Load-bearing premise

M satisfies a mild hypothesis that permits the application of strong approximation for SO(3)-WRT representations to produce 3-manifolds with complicated enough Frohman-Kania-Bartoszyńska ideals to obstruct embeddings.

What would settle it

Find a manifold M satisfying the mild hypothesis such that every hyperbolic N' sufficiently close to a fixed N embeds into M, or show that the constructed ideals fail to obstruct the embedding.

read the original abstract

We prove that given two compact oriented $3$-manifolds $N$ and $M,$ with $M$ satisfying only a mild hypothesis, there is a hyperbolic $3$-manifold $N'$ arbitrarily ``closely related'' to $N,$ and such that $N'$ does not embed in $M.$ For instance, as a weak version of our main theorem, if $M$ is a rational homology sphere then for any $k\geq 1$ the $3$-manifold $N'$ can be chosen to be $Y_k$-equivalent to $N.$ Our techniques rely on the construction of $3$-manifolds with complicated Frohman--Kania-Bartoszy\'nska ideals, using the strong approximation for $\mathrm{SO}_3$-Witten-Reshetikhin-Turaev quantum representations of mapping class groups of surfaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves a universal non-embedding theorem for compact oriented 3-manifolds: given N and M (M satisfying only a mild hypothesis), there exists a hyperbolic 3-manifold N' arbitrarily closely related to N such that N' does not embed in M. In the weak version, when M is a rational homology sphere, N' may be chosen Y_k-equivalent to N for any k ≥ 1. The argument constructs such N' by modifying a Heegaard splitting of N via a mapping class group element whose SO(3)-Witten-Reshetikhin-Turaev representation produces a Frohman-Kania-Bartoszyńska ideal with sufficiently complicated algebraic properties to obstruct embedding, relying on strong approximation to ensure the image is large enough in the target group.

Significance. If the central claim holds, the result is significant for 3-manifold topology: it shows that embedding into a fixed M can be obstructed by quantum invariants even while preserving arbitrary closeness in the Johnson filtration (Y_k-equivalence) and hyperbolicity. The approach supplies a new mechanism for producing manifolds with prescribed ideal-theoretic properties in their invariants and demonstrates the utility of strong approximation for quantum representations of mapping class groups. The paper asserts a complete proof with no ad-hoc axioms or free parameters.

major comments (2)
  1. [Main construction section] The section on the main construction (modifying the Heegaard splitting via mapping class group elements): strong approximation is invoked for the SO(3)-WRT representation to guarantee that the resulting Frohman-Kania-Bartoszyńska ideal has prime factors or content outside those permitted by any embedding into the fixed M. However, the relevant subgroup is the higher term in the Johnson filtration (to preserve Y_k-equivalence); it is not shown that density still holds in this proper subgroup of the mapping class group, so the generated ideal may remain compatible with M's ideal.
  2. [Hyperbolicity recovery paragraph] The paragraph recovering hyperbolicity (via large Dehn fillings or generic choice after the finite-level approximation): this limiting step is presented as independent, but the specific mapping class elements needed to achieve the required approximation at finite level may lie in a set of positive codimension or fail to be generic, creating a potential incompatibility that could either destroy hyperbolicity or violate the Y_k-equivalence already achieved.
minor comments (2)
  1. [Introduction] The mild hypothesis on M is invoked repeatedly but never stated explicitly in the introduction; a precise formulation (e.g., in terms of the Frohman-Kania-Bartoszyńska ideal of M or its rational homology) should appear before the statement of the main theorem.
  2. [Preliminaries on FK B ideals] Notation for the Frohman-Kania-Bartoszyńska ideal and its content/prime factors is introduced without a self-contained definition or reference to the precise algebraic integer ring in which it lives; this makes the obstruction argument harder to follow.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and detailed report. The comments identify points where the exposition and justifications require strengthening to make the arguments fully rigorous. We will revise the manuscript to address both major comments explicitly, adding the necessary verifications and clarifications. Our point-by-point responses follow.

read point-by-point responses

  1. Referee: [Main construction section] The section on the main construction (modifying the Heegaard splitting via mapping class group elements): strong approximation is invoked for the SO(3)-WRT representation to guarantee that the resulting Frohman-Kania-Bartoszyńska ideal has prime factors or content outside those permitted by any embedding into the fixed M. However, the relevant subgroup is the higher term in the Johnson filtration (to preserve Y_k-equivalence); it is not shown that density still holds in this proper subgroup of the mapping class group, so the generated ideal may remain compatible with M's ideal.

    Authors: We agree that an explicit verification of density for the relevant Johnson filtration term is needed to complete the argument. Although the cited strong approximation theorem is stated for the full mapping class group, the k-th Johnson term is a normal subgroup of finite index in a suitable finite cover or contains sufficiently many generators (including higher commutators) whose images under the SO(3)-WRT representation generate a dense subgroup in the target p-adic group for large primes. We will insert a new lemma immediately after the statement of strong approximation in the main construction section, proving that the restricted image remains dense enough to force the Frohman-Kania-Bartoszyńska ideal to acquire prime factors incompatible with any embedding into M. This addition will resolve the concern without altering the overall strategy. revision: yes

  2. Referee: [Hyperbolicity recovery paragraph] The paragraph recovering hyperbolicity (via large Dehn fillings or generic choice after the finite-level approximation): this limiting step is presented as independent, but the specific mapping class elements needed to achieve the required approximation at finite level may lie in a set of positive codimension or fail to be generic, creating a potential incompatibility that could either destroy hyperbolicity or violate the Y_k-equivalence already achieved.

    Authors: This observation correctly flags a point where independence of the approximation and hyperbolicity steps must be justified. The set of mapping class elements yielding non-hyperbolic fillings after the finite-level modification is a lower-dimensional subvariety in the representation space. Because strong approximation supplies a dense set of candidates inside the Johnson filtration term, we may always choose an element that simultaneously produces the required ideal and lies outside the bad set for hyperbolicity. We will expand the hyperbolicity recovery paragraph to include this density argument, together with a reference to the openness of hyperbolicity under small deformations in the space of 3-manifolds, ensuring that Y_k-equivalence is preserved. The revised paragraph will make the limiting step fully compatible with the earlier choices. revision: yes

Circularity Check

0 steps flagged

No circularity; relies on external strong approximation theorem

full rationale

The paper's derivation constructs hyperbolic N' Y_k-equivalent to N with sufficiently complicated Frohman-Kania-Bartoszyńska ideals by applying strong approximation to SO(3)-WRT representations of mapping class groups. This step invokes an external theorem on density in profinite completions or unitary groups rather than defining the ideal or non-embedding obstruction in terms of itself. No self-definitional relations, fitted inputs renamed as predictions, load-bearing self-citations, or ansatzes smuggled via prior work by the same authors appear in the stated techniques. The central claim remains independent of the target result and is supported by cited external results in quantum topology.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is limited to the explicitly mentioned technical ingredients.

axioms (1)
  • domain assumption Strong approximation holds for the SO(3)-Witten-Reshetikhin-Turaev representations of mapping class groups
    The construction of manifolds with complicated Frohman-Kania-Bartoszyńska ideals relies on this property.

pith-pipeline@v0.9.0 · 5443 in / 1226 out tokens · 49234 ms · 2026-05-08T09:14:26.986533+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

2 extracted references

  1. [1]

    [BHMV95] C

    With an appendix by Agol, Daniel Groves, and Jason Manning. [BHMV95] C. Blanchet, N. Habegger, G. Masbaum, and P. Vogel. Topological quantum field theories derived from the Kauffman bracket.Topology, 34(4):883–927, 1995. [CY18] Qingtao Chen and Tian Yang. Volume conjectures for the Reshetikhin- Turaev and the Turaev-Viro invariants.Quantum Topol., 9(3):41...

    1995

  2. [2]

    Propp and David B

    With a chapter by James G. Propp and David B. Wilson. [LW05] Michael Larsen and Zhenghan Wang. Density of the SO(3) TQFT representation of mapping class groups.Commun. Math. Phys., 260(3):641–658, 2005. [Mas99] Gregor Masbaum. An element of infinite order in TQFT- representations of mapping class groups. InLow dimensional topol- ogy. Proceedings of a conf...

    2005