pith. sign in

arxiv: 2205.06368 · v3 · submitted 2022-05-12 · 🧮 math.GT

Standard position for surfaces in link complements in arbitrary 3-manifolds

Jessica S. Purcell , Anastasiia Tsvietkova This is my paper

Pith reviewed 2026-05-24 12:13 UTC · model grok-4.3

classification 🧮 math.GT
keywords alternating linksstandard positionessential surfaceslink complements3-manifoldsConway spheresprimenessweakly generalized alternating links
0
0 comments X

The pith

Essential surfaces in weakly generalized alternating link complements can be placed in standard position.

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

The paper establishes that the method of putting essential surfaces into standard position, previously limited to alternating links in the 3-sphere, extends to weakly generalized alternating links. These links encompass classical alternating ones and also those on higher genus surfaces or in other 3-manifolds. A sympathetic reader would care because this allows combinatorial descriptions of surfaces to be used in a much wider setting, leading to proofs about primeness and the behavior of Conway spheres. The extension relies on the links satisfying certain diagram conditions that permit the original isotopy arguments to apply.

Core claim

We prove that standard position for surfaces can be extended to a broader class, namely weakly generalized alternating links. Such links include all classical prime non-split alternating links in the 3-sphere, and also many links that are alternating on higher genus surfaces, or lie in manifolds besides the 3-sphere. As an application, we show that all such links are prime, and that under mild restrictions, essential Conway spheres for such links interact with the diagram exactly as in the classical alternating setting.

What carries the argument

Weakly generalized alternating links, which satisfy combinatorial conditions on their diagrams allowing the extension of isotopy techniques for surfaces to standard position.

If this is right

  • All weakly generalized alternating links are prime.
  • Under mild restrictions, essential Conway spheres interact with the diagram exactly as in the classical alternating setting.
  • Essential surfaces in these link complements admit a combinatorial description via standard position.
  • The primeness and sphere interaction results apply to links in 3-manifolds other than the 3-sphere.

Where Pith is reading between the lines

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

  • The combinatorial tools developed here could be used to study essential surfaces in link complements within Seifert fibered spaces or other specific manifold classes.
  • Similar extensions might apply to other properties of alternating links, such as their hyperbolicity or volume estimates, in these generalized settings.
  • Algorithms for recognizing standard position surfaces could now be implemented for diagrams in arbitrary 3-manifolds.

Load-bearing premise

The combinatorial conditions defining weakly generalized alternating links are sufficient for the classical isotopy techniques to succeed without modification.

What would settle it

An example of an essential surface in the complement of a weakly generalized alternating link that cannot be isotoped into standard position relative to the diagram.

Figures

Figures reproduced from arXiv: 2205.06368 by Anastasiia Tsvietkova, Jessica S. Purcell.

Figure 1
Figure 1. Figure 1: Left: An example of an alternating diagram on a torus. The representativity will depend on the embedding of the torus into Y . In any case, the diagram is not checkerboard colorable. Right: A checkerboard colorable diagram. If instead we let Y = T 2×[−1, 1], the thickened torus, and we embed the torus Π as the surface T 2 × {0}, then Π admits no essential compressing disk, so r +(π(L), Π) = r −(π(L), Π) = … view at source ↗
Figure 2
Figure 2. Figure 2: An example of a chunk decomposition. On the left is a manifold homeomorphic to T 2 × [−1, −ϵ] with faces, edges, and ideal vertices marked on T 2×{−ϵ}. On the right is a manifold homeomorphic to T 2 ×[ϵ, 1] with faces, edges, and ideal vertices marked on T 2 × {+ϵ}. Associated to a weakly generalized alternating link is a chunk decomposition corre￾sponding to a weakly generalized alternating diagram constr… view at source ↗
Figure 3
Figure 3. Figure 3: Four edges are identified to a crossing arc, with two on each of Π− and Π+. The edges meet as opposite edges at a vertex. Under the gluing, four interior edges glue to a single crossing arc in Y − L. The crossing arc is identified to two edges each on Π− and Π+, with the edges meeting as opposite edges at a vertex. This is illustrated in [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: On the left is shown a single truncation face (shaded) as it appears embedded in the link complement. On the right, the boundary torus of the link has been unrolled into an annulus; truncation faces are shown. A chunk with truncated ideal vertices is called a truncated chunk. Below, if we refer to faces of a chunk, we mean both truncation faces and other faces. Similarly, if we refer to an edge of a chunk,… view at source ↗
Figure 5
Figure 5. Figure 5: Shown are arcs of ∂Z′ ∩ ∂C that make the surface Z ′ fail to be normal. On the left, the surface fails (2), in the middle it fails (3), on the right it fails (4). Here and further we subdivide a surface Z in subsurfaces Zi cut out by faces of the chunks. We assume that each Zi is connected, closed or with boundary, and possibly with multiple boundary components. All our surfaces and subsurfaces from now on… view at source ↗
Figure 6
Figure 6. Figure 6: Left: A saddle runs between arcs of the diagram at a cross￾ing. Right: This leads to Z intersecting interior edges of the chunk diagram. Shown are intersections of interior edges on Π+ and Π−. Recall that a surface Z in a link exterior Y − N(L) is meridianally compressible if there is a disk D embedded in Y such that D ∩ Z = ∂D, the interior of D intersects L exactly once transversely, and ∂D is not parall… view at source ↗
Figure 7
Figure 7. Figure 7: Left: Isotope Z with meridianal boundary to meet N(L) transversely away from crossings. Right: In the chunk decomposition, such a curve meets exactly two truncation faces, and cuts off a single corner of each truncation face. Note that the corner cut off by a merid￾ian is not one of the corners that are identified. Suppose Z is a surface in meridianal form. Assign a label P to each intersection of ∂Z with … view at source ↗
Figure 8
Figure 8. Figure 8: On the left is shown an example of a BBSSS curve from [8]. On the right is shown the corresponding BBSSS curve in a chunk of the decomposition of the same link. The curve on the right meets the same saddles (interior edges) and link overcrossings (truncation faces) as the curve on the left. For classical alternating links, the curves of intersection subdivide the surface into disks lying in topological 3-b… view at source ↗
Figure 9
Figure 9. Figure 9: A curve of ∂Z forming a meridian on the harlequin tiling of the boundary is shown on the left. If we isotope across a disk that violates condition (4), the curve is changed as shown on the right. Note further isotopy is required to put it into normal form, meridianal form. form. Further, because the interior face containing D is glued to another interior face on Π−, there is another such arc cutting off a … view at source ↗
Figure 10
Figure 10. Figure 10: When Z is in meridianal form, and an arc runs from a truncation edge to an adjacent interior edge, Z must intersect Π+ and Π − as shown on the left (possibly with roles of Π+, Π− switched). The right shows the saddle and the adjacent meridian in Y − N(L). That is, there are arcs ab and cd of Zk ∩Π + meeting interior edges identified to the same crossing arc of a saddle, and a subarc of ab is an arc of the… view at source ↗
Figure 11
Figure 11. Figure 11: The isotopy through D and D ′ has the effect shown. Note that the surface is not in normal form; on the left of [PITH_FULL_IMAGE:figures/full_fig_p019_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Isotoping further into normal form yields surface in merid￾ianal form. The surface is now again in meridianal form, for (b). In the link complement, the entire procedure swept a meridian past a crossing arc, removing the intersection with the corresponding interior edge without introducing new intersections with interior edges, therefore decreasing weight. We call this a step of the isotopy, and note (a) … view at source ↗
Figure 13
Figure 13. Figure 13: Shown are the ways that an arc α of Z ∩∂C can co-bound a disk D with a subarc β of γ, where γ is a saddle simplex. (Theorem 6.2). But it could be the case that D intersects multiple faces and edges. In this case, we will isotope Z to remove two intersections of Z with e, illustrated in [PITH_FULL_IMAGE:figures/full_fig_p021_13.png] view at source ↗
Figure 2
Figure 2. Figure 2: (iii)] [PITH_FULL_IMAGE:figures/full_fig_p021_2.png] view at source ↗
Figure 15
Figure 15. Figure 15: Isotope Z by sliding ∂Z in a neighborhood of β ∩ ∂N(L). Effect is shown on the component in the chunk on top, and on ∂N(L) on bottom. The next step is identical to the process in case (a) in [PITH_FULL_IMAGE:figures/full_fig_p023_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: Left: Disk with boundary SSSS in Y − N(L). Middle: form in chunk decomposition with boundary Π+. Right: glued to Π− as shown. The form of Zi in the diagram π(L) is shown on the left of [PITH_FULL_IMAGE:figures/full_fig_p026_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: If ∂Zi is labeled P P, it determines a curve γ meeting the diagram exactly twice. In the case of a label P, there is a corresponding arc through a truncation face in meridianal form. We isotope this curve very slightly off the crossing in a direction determined by the side of the truncation face that is met by the curve. See [PITH_FULL_IMAGE:figures/full_fig_p028_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: A P SS disk should have three arcs in three faces of dis￾tinct colors, but this is impossible for a checkerboard colored diagram. More generally, it is impossible for a curve of ∂Zi to meet an odd number of letters S and P, since again the existence of such a curve would contradict the checkerboard coloring of the diagram. □ The above theorem gives us a quick way to prove the fact that a weakly general￾iz… view at source ↗
Figure 19
Figure 19. Figure 19: Left: an example of a normal disk of type BBBB. Right: an example of type BBSS. As described in [8], topologically the label B means that ∂Zi meets ∂N(L). An arc BB can be a part of ∂Z, where ∂Z is on ∂N(L). In a chunk decomposition, such an arc travels between two truncation edges in a truncation face. An arc BB can also connect two BB arcs of the previous type, and then it lies in an interior face of a … view at source ↗
Figure 20
Figure 20. Figure 20: Left: ∂D is shown in red in Π+. Arcs of subsurfaces meeting Π− that are glued to ∂D are superimposed on Π+, and shown in light blue. Right: If the blue SS arc connects to form the boundary of a BBSS disk, it cannot meet thick or dashed red arcs. Superimpose all these arcs on Π as in [PITH_FULL_IMAGE:figures/full_fig_p031_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: Left: a visible essential Conway sphere is made up of two disks labeled P P P P, one on either side of the projection surface. Right: a hidden Conway sphere is made up of four disks labeled P SP S, two on either side of the projection surface. Here we show how they meet one side of the diagram. The gray disk denotes a portion of the diagram contained in a disk in the projection surface. are neither BBBB d… view at source ↗
Figure 22
Figure 22. Figure 22: The SS portion of a P SSS or P P SS disk, shown in (a) with saddles in the link complement, and in (b) on the chunk decom￾position. In (c) and (d), in fact, it must be a P SSS disk, either with P away from the arc between identified edges as in (c), or with P meeting this arc as in (d). The portion of the boundary in the P P SS or P SSS disk that runs between two instances of S must lie in a single region… view at source ↗
Figure 23
Figure 23. Figure 23: In case (d) of [PITH_FULL_IMAGE:figures/full_fig_p037_23.png] view at source ↗
read the original abstract

Since the 1980s, it has been known that essential surfaces in alternating link complements can be isotoped to be transverse to the link diagram almost everywhere, with the exception of some well-understood intersections, and described combinatorially as a result. This was called standard position for surfaces and has had numerous applications. However, the original techniques only apply to classical alternating links projected onto the 2-sphere inside the 3-sphere. In this paper, we prove that standard position for surfaces can be extended to a broader class, namely weakly generalized alternating links. Such links include all classical prime non-split alternating links in the 3-sphere, and also many links that are alternating on higher genus surfaces, or lie in manifolds besides the 3-sphere. As an application, we show that all such links are prime, and that under mild restrictions, essential Conway spheres for such links interact with the diagram exactly as in the classical alternating setting.

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

0 major / 2 minor

Summary. The paper extends the standard position isotopy for essential surfaces in alternating link complements—previously limited to classical prime non-split alternating links in S^3 projected on S^2—to the broader class of weakly generalized alternating links in arbitrary 3-manifolds. These include links alternating on higher-genus surfaces. The main results are that all such links are prime and that, under mild restrictions, essential Conway spheres intersect the diagram exactly as in the classical alternating case.

Significance. If the extension holds, the result enlarges the scope of combinatorial surface techniques beyond S^3 and the 2-sphere, supplying primeness and Conway-sphere conclusions for a wider family of links. The argument is presented as a direct carry-over of existing isotopy methods once the combinatorial hypotheses that define the weakly generalized class are met; the manuscript supplies both the precise definition of the class and the verification that the isotopy succeeds under those hypotheses.

minor comments (2)
  1. The introduction should include a short, self-contained paragraph stating the exact combinatorial conditions (e.g., diagram properties on the surface and manifold) that define a weakly generalized alternating link, so that readers can immediately see which hypotheses are used in the isotopy argument.
  2. Figure captions and diagram labels should be checked for consistency with the new terminology; several diagrams appear to reuse classical alternating notation without explicit remark that the same local crossing and region conditions are being invoked in the higher-genus or non-S^3 setting.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. No major comments appear in the report, so we have no point-by-point responses to supply. We will address any minor editorial matters in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines the class of weakly generalized alternating links via explicit combinatorial conditions on diagrams in arbitrary 3-manifolds and then directly verifies that the isotopy techniques for placing essential surfaces in standard position extend to this class. No equations, fitted parameters, or predictions appear; the argument consists of a self-contained combinatorial proof that does not reduce to prior self-citations or redefinitions of its own inputs. The extension is secured by the manuscript's own construction of the definition together with the isotopy argument, rather than by any load-bearing external or self-referential step.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only; the proof is expected to rest on standard 3-manifold topology axioms (e.g., existence of isotopies in irreducible manifolds) and the definition of weakly generalized alternating links, none of which are new entities or fitted parameters.

axioms (1)
  • domain assumption Essential surfaces in link complements admit isotopies transverse to the diagram except at controlled intersections when the link is weakly generalized alternating.
    This is the load-bearing extension of the classical result invoked throughout the abstract.

pith-pipeline@v0.9.0 · 5695 in / 1251 out tokens · 21232 ms · 2026-05-24T12:13:50.047298+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

29 extracted references · 29 canonical work pages

  1. [1]

    Adams, C

    C. Adams, C. Albors-Riera, B. Haddock, Z. Li, D. Nishida, B. Reinoso, and L. Wang, Hyper- bolicity of links in thickened surfaces , Topology Appl. 256 (2019), 262–278

    work page 2019

  2. [2]

    Adams, Toroidally alternating knots and links , Topology 33 (1994), no

    Colin C. Adams, Toroidally alternating knots and links , Topology 33 (1994), no. 2, 353–369

    work page 1994

  3. [3]

    Purcell, Geometry of biperiodic alternating links, J

    Abhijit Champanerkar, Ilya Kofman, and Jessica S. Purcell, Geometry of biperiodic alternating links, J. Lond. Math. Soc. (2) 99 (2019), no. 3, 807–830

    work page 2019

  4. [4]

    , Right-angled polyhedra and alternating links , Algebr. Geom. Topol. 22 (2022), no. 2, 739–784

    work page 2022

  5. [5]

    David Futer and Fran¸ cois Gu´ eritaud,Angled decompositions of arborescent link complements , Proc. Lond. Math. Soc. (3) 98 (2009), no. 2, 325–364

    work page 2009

  6. [6]

    105 (1961), 245–375

    Wolfgang Haken, Theorie der Normalfl¨ achen, Acta Math. 105 (1961), 245–375

    work page 1961

  7. [7]

    Joel Hass, Abigail Thompson, and Anastasiia Tsvietkova, The number of surfaces of fixed genus in an alternating link complement , Int. Math. Res. Not. IMRN (2017), no. 6, 1611–1622

    work page 2017

  8. [8]

    , Alternating links have at most polynomially many Seifert surfaces of fixed genus , Indi- ana Univ. Math. J. 70 (2021), no. 2, 525–534

    work page 2021

  9. [9]

    , Tangle decompositions of alternating link complements , Illinois J. Math. 65 (2021), no. 3, 533–545

    work page 2021

  10. [10]

    edu/~hatcher, 2007

    Allen Hatcher, Notes on basic 3-manifold topology , available at http://www.math.cornell. edu/~hatcher, 2007

    work page 2007

  11. [11]

    Chuichiro Hayashi, Links with alternating diagrams on closed surfaces of positive genus , Math. Proc. Cambridge Philos. Soc. 117 (1995), no. 1, 113–128

    work page 1995

  12. [12]

    Howie, A characterisation of alternating knot exteriors , Geom

    J. Howie, A characterisation of alternating knot exteriors , Geom. Topol. 21 (2017), no. 4, 2353–2371

    work page 2017

  13. [13]

    Howie, Surface-alternating knots and links , Ph.D

    Joshua A. Howie, Surface-alternating knots and links , Ph.D. thesis, University of Melbourne, 2015

    work page 2015

  14. [14]

    Howie and Jessica S

    Joshua A. Howie and Jessica S. Purcell, Geometry of alternating links on surfaces, Trans. Amer. Math. Soc. 373 (2020), no. 4, 2349–2397

    work page 2020

  15. [15]

    Thomas Kindred, Primeness of alternating virtual links , arXiv:2210.03225, 2022

    work page arXiv 2022

  16. [16]

    Marc Lackenby, Word hyperbolic Dehn surgery, Invent. Math. 140 (2000), no. 2, 243–282

    work page 2000

  17. [17]

    Wei Lin, A meridian lemma for fully alternating links in thickened surfaces , arXiv:2203.06858, 2022

    work page arXiv 2022

  18. [18]

    Przytycki,Incompressible surfaces in the exterior of a closed 3-braid

    Mar´ ıa Teresa Lozano and J´ ozef H. Przytycki,Incompressible surfaces in the exterior of a closed 3-braid. I. Surfaces with horizontal boundary components , Math. Proc. Cambridge Philos. Soc. 98 (1985), no. 2, 275–299

    work page 1985

  19. [19]

    1, 37–44

    William Menasco, Closed incompressible surfaces in alternating knot and link complements , Topology 23 (1984), no. 1, 37–44. STANDARD POSITION 39

    work page 1984

  20. [20]

    , Determining incompressibility of surfaces in alternating knot and link complements , Pacific J. Math. 117 (1985), no. 2, 353–370

    work page 1985

  21. [21]

    Menasco, Polyhedra representation of link complements, Low-dimensional topology (San Francisco, Calif., 1981), Contemp

    William W. Menasco, Polyhedra representation of link complements, Low-dimensional topology (San Francisco, Calif., 1981), Contemp. Math., vol. 20, Amer. Math. Soc., Providence, RI, 1983, pp. 305–325

    work page 1981

  22. [22]

    Menasco and Morwen B

    William W. Menasco and Morwen B. Thistlethwaite, Surfaces with boundary in alternating knot exteriors, J. Reine Angew. Math. 426 (1992), 47–65

    work page 1992

  23. [23]

    Knot Theory Ramifications 15 (2006), no

    Makoto Ozawa, Non-triviality of generalized alternating knots , J. Knot Theory Ramifications 15 (2006), no. 3, 351–360

    work page 2006

  24. [24]

    157 (2010), no

    , Rational structure on algebraic tangles and closed incompressible surfaces in the com- plements of algebraically alternating knots and links , Topology Appl. 157 (2010), no. 12, 1937– 1948

    work page 2010

  25. [25]

    Purcell, Hyperbolic knot theory, Graduate Studies in Mathematics, vol

    Jessica S. Purcell, Hyperbolic knot theory, Graduate Studies in Mathematics, vol. 209, American Mathematical Society, Providence, RI, [2020] ©2020

    work page 2020

  26. [26]

    Purcell and Anastasiia Tsvietkova, Universal polynomial bounds for surfaces in weakly generalized alternating links, preprint, 2022

    Jessica S. Purcell and Anastasiia Tsvietkova, Universal polynomial bounds for surfaces in weakly generalized alternating links, preprint, 2022

    work page 2022

  27. [27]

    Thistlethwaite, On the algebraic part of an alternating link , Pacific J

    Morwen B. Thistlethwaite, On the algebraic part of an alternating link , Pacific J. Math. 151 (1991), no. 2, 317–333

    work page 1991

  28. [28]

    W. P. Thurston, The geometry and topology of three-manifolds, Princeton University Princeton, NJ, 1979, Available at http://www.msri.org/communications/books/gt3m

    work page 1979

  29. [29]

    Friedhelm Waldhausen, On irreducible 3-manifolds which are sufficiently large , Ann. of Math. (2) 87 (1968), 56–88

    work page 1968