Cancelling CR singularities of 3-manifolds in complex threefolds

Marko Slapar; Sa\v{s}o Strle

arxiv: 2606.21709 · v1 · pith:C4YCFBFMnew · submitted 2026-06-19 · 🧮 math.GT

Cancelling CR singularities of 3-manifolds in complex threefolds

Marko Slapar , Sa\v{s}o Strle This is my paper

Pith reviewed 2026-06-26 12:29 UTC · model grok-4.3

classification 🧮 math.GT

keywords CR singularities3-manifoldscomplex threefoldsSeifert surfacesisotopycancellationgeometric topology

0 comments

The pith

If a sublink of CR singularities bounds an oriented Seifert surface in the complement, those singularities can be cancelled by a C^0-small isotopy near the surface.

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

A closed oriented 3-manifold M embedded generically in a complex 3-manifold X has its CR singular set forming an oriented link L. When a sublink L' bounds an oriented Seifert surface S inside M minus the remaining singularities, an isotopy supported in a small neighborhood of S removes the singularities along L'. The isotopy can be made arbitrarily small in the C^0 sense. A reader cares because this gives a controlled way to simplify the singularity set of such embeddings by using topological data already present in M.

Core claim

We prove that if a sublink L' subset L bounds an oriented Seifert surface S subset M in the complement of L minus L', then the CR singularities along L' can be cancelled by an arbitrarily C^0-small isotopy supported in an arbitrarily small neighbourhood of S.

What carries the argument

The oriented Seifert surface S for the sublink L', which supports a localized isotopy that cancels the singularities along L' while leaving the rest of L untouched.

If this is right

The CR singular link of any such embedding can be reduced by cancelling any sublink that bounds a Seifert surface in the complement.
The singularity structure of the embedding can be simplified without large-scale changes to the 3-manifold itself.
The cancellation result holds for arbitrarily small neighborhoods, preserving the embedding outside a chosen region.

Where Pith is reading between the lines

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

The theorem may combine with linking-number obstructions to decide when an entire CR singular link can be removed.
Similar cancellation might apply after small perturbations that create Seifert surfaces for more sublinks.
The technique could extend to higher-dimensional analogs where Seifert hypersurfaces control singularity cancellation.

Load-bearing premise

The embedding of M in X is generic so the CR singular set is an oriented link and the required Seifert surface S exists inside M minus the other singularities.

What would settle it

An explicit generic embedding of some 3-manifold where a qualifying sublink bounds a Seifert surface yet no C^0-small isotopy supported near that surface succeeds in cancelling the singularities.

read the original abstract

Let $M$ be a closed oriented $3$-manifold generically embedded in a complex $3$-manifold $X$. Its CR singular set is an oriented link $L\subset M$. We prove that if a sublink $L'\subset L$ bounds an oriented Seifert surface $S\subset M$ in the complement of $L\setminus L'$, then the CR singularities along $L'$ can be cancelled by an arbitrarily $\mathcal C^0$-small isotopy supported in an arbitrarily small neighbourhood of $S$.

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.

Desk Editor's Note private letter to a colleague

This paper gives a selective cancellation result for CR singularities on generically embedded 3-manifolds, using a Seifert surface condition on a sublink.

read the letter

The core claim is that if a sublink of the CR singular set bounds an oriented Seifert surface in the complement of the remaining singularities, then those singularities can be removed by a C^0-small isotopy supported near the surface. This is the new piece: the condition lets you cancel selectively rather than all at once.

The statement is clean and the setup is standard for this area. The genericity assumption that turns the singular set into an oriented link is the usual one, and the Seifert surface hypothesis is a reasonable topological control that avoids obvious obstructions. If the full argument constructs the isotopy without introducing new singularities or violating the embedding, it supplies a usable tool for further work on real 3-manifolds in complex threefolds.

The main limitation visible here is that only the abstract is in front of us, so the actual steps of the isotopy and any orientation or framing checks are not checked. That makes the soundness score low for now, but the claim itself does not look circular or internally inconsistent. No extra parameters or invented objects appear.

This is for readers already working in CR geometry or embeddings of 3-manifolds in complex manifolds. It is narrow enough that most people outside that circle will not need it, but inside the circle it could be cited when building or simplifying examples.

I would send it to a serious referee. The result is concrete enough to be worth checking the details, even if revisions are needed once the proof is examined.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that if a closed oriented 3-manifold M is generically embedded in a complex 3-manifold X, so that its CR singular set is an oriented link L ⊂ M, and if a sublink L' ⊂ L bounds an oriented Seifert surface S ⊂ M in the complement of L ∖ L', then the CR singularities along L' can be cancelled by an arbitrarily C^0-small isotopy supported in an arbitrarily small neighbourhood of S.

Significance. If the result holds, it supplies a topological cancellation criterion for CR singularities that is directly analogous to classical results on cancelling intersections or zeros via bounding chains. The C^0-small isotopy conclusion is strong and the hypothesis is stated purely in terms of the existence of a Seifert surface avoiding the remaining singularities, which is a clean and falsifiable condition.

minor comments (2)

[Abstract] The abstract and introduction should explicitly recall the definition of a CR singularity (the locus where the tangent plane fails to be a complex line) and the genericity assumption that makes this locus a link, so that the statement is self-contained for readers outside CR geometry.
[Introduction] Notation for the complement M ∖ (L ∖ L') and the support of the isotopy should be introduced once in §1 and used consistently; the current phrasing "in the complement of L ∖ L'" is clear but could be formalized with a single symbol.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report correctly captures the main theorem and its significance.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a direct existence theorem: given a generic embedding of a closed oriented 3-manifold M in a complex 3-manifold X whose CR singular set is an oriented link L, if a sublink L' bounds an oriented Seifert surface S in M minus the remaining singularities, then the singularities along L' may be cancelled by a C^0-small isotopy supported near S. This is an unconditional topological claim under explicitly stated hypotheses; the derivation chain contains no equations, no fitted parameters renamed as predictions, no self-citations used as load-bearing uniqueness theorems, and no ansatz smuggled through prior work. The result is therefore self-contained against external benchmarks in geometric topology and receives score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard differential-topology and complex-geometry background together with the genericity assumption that turns the singular set into a link; no free parameters or new entities are introduced.

axioms (2)

domain assumption The embedding M → X is generic, so the CR singular set is an oriented link.
Invoked in the first sentence of the abstract to guarantee L is a link.
standard math Standard existence and properties of Seifert surfaces for links in oriented 3-manifolds.
Used to formulate the hypothesis that L' bounds S in M minus the rest of L.

pith-pipeline@v0.9.1-grok · 5613 in / 1307 out tokens · 29941 ms · 2026-06-26T12:29:11.444690+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references

[1]

M., On the number of complex points of a real surface in a complex surface,Proc

Eliashberg, Y.; Harlamov, V. M., On the number of complex points of a real surface in a complex surface,Proc. Leningrad Int. Topology Conf.(1982), 143–148

1982
[2]

American Mathematical Society, Providence, RI, 2002

Eliashberg, Y.; Mishachev, N.,Introduction to the h-principle.Graduate Studies in Mathematics, 48. American Mathematical Society, Providence, RI, 2002

2002
[3]

Forstneriˇ c, F., On totally real embeddings intoC n,Expositiones Math.4 (1986), 243– 255

1986
[4]

M., A topological obstruction to the removal of a degenerate complex tangent and some related homotopy and homology groups.Internat

Elgindi, A. M., A topological obstruction to the removal of a degenerate complex tangent and some related homotopy and homology groups.Internat. J. Math.26 (2015), no. 5, 1550025, 16 pp

2015
[5]

M., Totally real perturbations and nondegenerate embeddings ofS 3.New York J

Elgindi, A. M., Totally real perturbations and nondegenerate embeddings ofS 3.New York J. Math.21 (2015), 1283–1293

2015
[6]

J.67 (1992), no

Forstneriˇ c, F., Complex tangents of real surfaces in complex surfaces.Duke Math. J.67 (1992), no. 2, 353–376

1992
[7]

Gromov, M.,Partial differential relations.Ergebnisse der Mathematik und ihrer Gren- zgebiete (3) Vol. 9. Springer-Verlag, Berlin, 1986

1986
[8]

Kasuya, N.; Takase, M., Knots and links of complex tangents.Trans. Amer. Math. Soc. 370 (2018), no. 3, 2023–2038

2018
[9]

F., Characteristic classes of real manifolds immersed in complex manifolds, Trans

Lai, H. F., Characteristic classes of real manifolds immersed in complex manifolds, Trans. Amer. Math. Soc.172 (1972), 1–33

1972
[10]

M., The Euler and Pontrjagin numbers of an n-manifold inC n.Comment

Webster, S. M., The Euler and Pontrjagin numbers of an n-manifold inC n.Comment. Math. Helv.,60 (1985), no. 2, 193–216. CANCELLING CR SINGULARITIES OF 3-MANIFOLDS IN COMPLEX THREEFOLDS 9 Marko Slapar, Faculty of Mathematics and Physics, University of Ljubl- jana, Jadranska 19, 1000 Ljubljana, Slovenia, Faculty of Education, University of Ljubljana, Kardel...

1985

[1] [1]

M., On the number of complex points of a real surface in a complex surface,Proc

Eliashberg, Y.; Harlamov, V. M., On the number of complex points of a real surface in a complex surface,Proc. Leningrad Int. Topology Conf.(1982), 143–148

1982

[2] [2]

American Mathematical Society, Providence, RI, 2002

Eliashberg, Y.; Mishachev, N.,Introduction to the h-principle.Graduate Studies in Mathematics, 48. American Mathematical Society, Providence, RI, 2002

2002

[3] [3]

Forstneriˇ c, F., On totally real embeddings intoC n,Expositiones Math.4 (1986), 243– 255

1986

[4] [4]

M., A topological obstruction to the removal of a degenerate complex tangent and some related homotopy and homology groups.Internat

Elgindi, A. M., A topological obstruction to the removal of a degenerate complex tangent and some related homotopy and homology groups.Internat. J. Math.26 (2015), no. 5, 1550025, 16 pp

2015

[5] [5]

M., Totally real perturbations and nondegenerate embeddings ofS 3.New York J

Elgindi, A. M., Totally real perturbations and nondegenerate embeddings ofS 3.New York J. Math.21 (2015), 1283–1293

2015

[6] [6]

J.67 (1992), no

Forstneriˇ c, F., Complex tangents of real surfaces in complex surfaces.Duke Math. J.67 (1992), no. 2, 353–376

1992

[7] [7]

Gromov, M.,Partial differential relations.Ergebnisse der Mathematik und ihrer Gren- zgebiete (3) Vol. 9. Springer-Verlag, Berlin, 1986

1986

[8] [8]

Kasuya, N.; Takase, M., Knots and links of complex tangents.Trans. Amer. Math. Soc. 370 (2018), no. 3, 2023–2038

2018

[9] [9]

F., Characteristic classes of real manifolds immersed in complex manifolds, Trans

Lai, H. F., Characteristic classes of real manifolds immersed in complex manifolds, Trans. Amer. Math. Soc.172 (1972), 1–33

1972

[10] [10]

M., The Euler and Pontrjagin numbers of an n-manifold inC n.Comment

Webster, S. M., The Euler and Pontrjagin numbers of an n-manifold inC n.Comment. Math. Helv.,60 (1985), no. 2, 193–216. CANCELLING CR SINGULARITIES OF 3-MANIFOLDS IN COMPLEX THREEFOLDS 9 Marko Slapar, Faculty of Mathematics and Physics, University of Ljubl- jana, Jadranska 19, 1000 Ljubljana, Slovenia, Faculty of Education, University of Ljubljana, Kardel...

1985