pith. sign in

arxiv: 2605.22129 · v1 · pith:7JEPVS57new · submitted 2026-05-21 · 🧮 math.GT

On Isotopies and hyperbolicity of weaves

Ken'ichi Yoshida This is my paper

Pith reviewed 2026-05-22 02:42 UTC · model grok-4.3

classification 🧮 math.GT MSC 57M2557M50
keywords weavesisotopyhyperbolicityConway spherethickened torusgeodesic diagramsessential surfaceslink complements
0
0 comments X

The pith

Weaves as geodesic links in the thickened torus have isotopies and hyperbolicity read directly from their diagrams, and contain no essential Conway spheres.

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

A weave is modeled as a link in the thickened torus whose diagram consists of closed geodesics. The paper shows that isotopy between two weaves and hyperbolicity of the complement can both be decided by inspecting the diagram alone. It additionally proves that no essential Conway sphere exists inside any weave complement. The arguments proceed by placing essential surfaces into normal position within the complement and comparing them across diagrams.

Core claim

Weaves are links in the thickened torus with diagrams consisting of closed geodesics. Isotopies of weaves and hyperbolicity of their complements are completely characterized by properties visible in these diagrams. No essential Conway sphere exists in the complement of any weave. Normal positions of essential surfaces in the complements are the tool used to establish these facts.

What carries the argument

Normal positions of essential surfaces in weave complements, used to compare diagrams and detect when two diagrams represent the same link or when the complement admits a hyperbolic structure.

Load-bearing premise

That every weave can be treated as a link in the thickened torus whose diagram is made of closed geodesics, and that normal positions of essential surfaces suffice to classify isotopies, hyperbolicity, and the non-existence of Conway spheres.

What would settle it

A pair of weave diagrams that represent isotopic links yet cannot be related by the diagram criteria given in the paper, or the discovery of an essential Conway sphere inside some weave complement.

Figures

Figures reproduced from arXiv: 2605.22129 by Ken'ichi Yoshida.

Figure 1
Figure 1. Figure 1: Basic weaves: plain, twill, and satin Mathematical research on textile structures, including weaves, using knot theory was initiated by Grishanov, Meshkov, and Omel’chenko [12]. A typical textile structure can be represented by the preimage of a link in the thickened torus T 2 ×I by the universal covering map, which is called a doubly periodic tangle [8]. To consider doubly periodic tangles, several invari… view at source ↗
Figure 2
Figure 2. Figure 2: An interchange of two wefts We show that these two relations are sufficient. Since a generic isotopy via weaves is represented by a finite sequence of isotopies on T 2 and interchanges of adjacent components, Theorem 2.1 implies Corollary 2.2. Theorem 2.1 can be compared with the fact [22, Theorem 2.1] that if two braid closures are isotopic in the solid torus, then the corresponding elements of the braid … view at source ↗
Figure 3
Figure 3. Figure 3: The links W0 and W1 in R × S 1 × I \ Wf′ 2 To arrange the warps and wefts in sequence, we show that if two warps are not comparable, they cannot be interchanged even by an ambient isotopy that does not fix the wefts. For a topological space M, let Homeo(M) denote the space of homeomorphisms on M with the compact-open topology. For S1, S2 ⊂ M, let Homeo(M, S1; S2) [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Non-hyperbolic weaves Theorem 3.2. An m × n-weave L in T 2 × I for m, n ≥ 1 is hyperbolic if and only if • L is not layered, and • L has no pair of parallel components even after interchanging adjacent com￾parable components. Note that every m × 1-weave is layered, and so it is not hyperbolic. Corollary 3.3. Let L be an m × n-weave in T 2 × I for m, n ≥ 2. Suppose that no pairs of adjacent components of L … view at source ↗
Figure 5
Figure 5. Figure 5: A decomposition along surfaces containing a weave [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Normal disks with respect to the decomposition for a weave The five disks in the left of [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Normal disks intersecting L More strongly, they are joined with a continuous deformation of hyperbolic cone￾manifold structures [23]. As a special case, π-hyperbolicity of a knot in S 3 and decomposition of a knot in S 3 along essential Conway spheres were investigated in [3]. More generally, a π-hyperbolic link in a 3-manifold can be characterized by Thurston’s orbifold the￾orem, which was proved in [2, 5… view at source ↗
Figure 8
Figure 8. Figure 8: Decompositions of a trapezohedron and an octahedron. The thick and thin edges of the two tetrahedra have dihedral angles π/2 and π/4 respectively. Question 5.2. • Can we obtain an explicit expression of the volume function for weaves? • What are the supremum and infimum of the ratios volπ(L)/ vol(L) of the hyperbolic weaves L? • How are the volumes of m × n-weaves distributed for large m and n? • What is t… view at source ↗
Figure 9
Figure 9. Figure 9: An n × n-weave with the conjecturally smallest volume [PITH_FULL_IMAGE:figures/full_fig_p013_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The hyperbolic 2 × 2- and 3 × 3-weaves and their volumes The complement of the n×n-weave in [PITH_FULL_IMAGE:figures/full_fig_p014_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Decompositions into four antiprisms Finally, we give an example that a weave is not uniquely determined by the com￾plement up to homeomorphism. The complements of the two weaves in [PITH_FULL_IMAGE:figures/full_fig_p014_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Two weaves whose complements are homeomorphic Acknowledgements The author is grateful to Mizuki Fukuda, Katsuya Inoue, Kai Ishihara, Hiroki Kodama, Yuka Kotorii, Sonia Mahmoudi, Shunsuke Takano, and Wataru Yuasa for their helpful discussions. This work was supported by the World Premier Interna￾tional Research Center Initiative Program, International Institute for Sustainability with Knotted Chiral Meta M… view at source ↗
read the original abstract

A weave is a type of textile that consists of vertical and horizontal threads, and typically it has a periodic structure. In this paper, we regard a weave as a link in the thickened torus with a diagram consisting of closed geodesics. As main results, we characterize isotopies and hyperbolicity of weaves to determine them from diagrams. Moreover, we show that there does not exist an essential Conway sphere for a weave. We use normal positions of essential surfaces of weave complements to describe them.

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 paper regards weaves as links in the thickened torus whose diagrams consist of closed geodesics. It claims to characterize isotopies and hyperbolicity of weaves directly from diagrams via normal positions of essential surfaces in the complements, and to prove that no essential Conway sphere exists for any weave.

Significance. If the characterizations hold, the work would supply a diagrammatic criterion for isotopy and hyperbolicity in this periodic class of links and establish that their complements admit no essential Conway spheres. This could streamline classification questions for links in T^{2}×I and illustrate a concrete application of normal-surface techniques to periodic diagrams.

major comments (2)
  1. [Main characterization theorem] The central claim that isotopies are determined from diagrams rests on normal positions of essential surfaces; however, the manuscript does not explicitly verify that every isotopy class is represented by a unique normal surface configuration compatible with the closed-geodesic diagram (see the statement of the main characterization theorem).
  2. [Hyperbolicity section] The proof that hyperbolicity is detected from the diagram assumes that the normal-surface analysis captures all incompressible tori or spheres that could obstruct hyperbolicity; a concrete check against the periodicity of the weave is needed to confirm no additional essential surfaces arise from the toroidal covering.
minor comments (2)
  1. [Introduction] The definition of a weave diagram as 'closed geodesics' on the torus should be accompanied by a precise statement of the metric or the fundamental domain used.
  2. [Preliminaries] Notation for the thickened torus T^{2}×I and the projection map could be standardized and introduced earlier to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate planned revisions to strengthen the exposition and arguments.

read point-by-point responses

  1. Referee: [Main characterization theorem] The central claim that isotopies are determined from diagrams rests on normal positions of essential surfaces; however, the manuscript does not explicitly verify that every isotopy class is represented by a unique normal surface configuration compatible with the closed-geodesic diagram (see the statement of the main characterization theorem).

    Authors: We agree that the main characterization theorem would benefit from greater explicitness on this point. In the revised version we will add a short proposition immediately after the theorem statement. The proposition will confirm that every isotopy class of weaves admits a representative whose essential surfaces occupy a unique normal position relative to the closed-geodesic diagram, using the already-established normal-surface machinery in Sections 3 and 4 together with the periodicity of the torus. revision: yes

  2. Referee: [Hyperbolicity section] The proof that hyperbolicity is detected from the diagram assumes that the normal-surface analysis captures all incompressible tori or spheres that could obstruct hyperbolicity; a concrete check against the periodicity of the weave is needed to confirm no additional essential surfaces arise from the toroidal covering.

    Authors: The normal-surface analysis is performed directly in the thickened torus T^{2}×I, so the periodicity is built into the ambient manifold and the diagram. Nevertheless, to address the referee’s request for an explicit check, we will insert a brief argument in the hyperbolicity section showing that any incompressible surface in a finite cover would project to an essential surface in the base; such surfaces are already ruled out by the normal-position classification. This addition will make the dependence on periodicity fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on standard 3-manifold techniques

full rationale

The paper models weaves as links in the thickened torus with closed-geodesic diagrams and applies normal surface theory to characterize isotopies, hyperbolicity, and the absence of essential Conway spheres. These are standard, externally verifiable tools in geometric topology with no evident reduction of any claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain. The abstract and approach description indicate a self-contained argument grounded in independent geometric and combinatorial methods rather than circular rephrasing of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two domain assumptions from the abstract: the validity of modeling weaves as geodesic links in the thickened torus and the sufficiency of normal surface positions for describing the topological and geometric properties. No free parameters or invented entities are indicated.

axioms (2)
  • domain assumption Weaves can be regarded as links in the thickened torus with diagrams consisting of closed geodesics.
    Explicitly stated as the modeling framework in the abstract.
  • domain assumption Normal positions of essential surfaces of weave complements can be used to describe isotopies, hyperbolicity, and the non-existence of essential Conway spheres.
    Stated as the method used to obtain the main results in the abstract.

pith-pipeline@v0.9.0 · 5592 in / 1320 out tokens · 65415 ms · 2026-05-22T02:42:13.749138+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

37 extracted references · 37 canonical work pages · 2 internal anchors

  1. [1]

    Hyperbolic knots are not generic.arXiv preprint arXiv:1908.06187, 2019

    Yury Belousov and Andrei Malyutin. Hyperbolic knots are not generic.arXiv preprint arXiv:1908.06187, 2019

    work page arXiv 1908

  2. [2]

    Geometrization of 3-dimensional orbifolds

    Michel Boileau, Bernhard Leeb, and Joan Porti. Geometrization of 3-dimensional orbifolds. Ann. of Math., 162(1):195–290, 2005

    work page 2005

  3. [3]

    Siebenmann

    Francis Bonahon and Laurence C. Siebenmann. New geometric splittings of classical knots and the classification and symmetries of arborescent knots.preprint, 1979–2010. available at https://dornsife.usc.edu/francis-bonahon/preprints-available/

    work page 1979

  4. [4]

    Abhijit Champanerkar, Ilya Kofman, and Jessica S. Purcell. Geometrically and diagrammat- ically maximal knots.J. Lond. Math. Soc., 94(3):883–908, 2016

    work page 2016

  5. [5]

    Hodgson, and Steve Kerckhoff.Three-dimensional orbifolds and cone-manifolds, volume 5 ofMSJ Memoirs

    Daryl Cooper, Craig D. Hodgson, and Steve Kerckhoff.Three-dimensional orbifolds and cone-manifolds, volume 5 ofMSJ Memoirs. Mathematical Society of Japan, 2000

    work page 2000

  6. [6]

    Dunfield, Matthias Goerner, and Jeffrey R

    Marc Culler, Nathan M. Dunfield, Matthias Goerner, and Jeffrey R. Weeks. SnapPy, a computer program for studying the geometry and topology of 3-manifolds. Available at http://snappy.computop.org

    work page

  7. [7]

    Louise Antonette De Las Pe˜ nas, Mark Tomenes, and Kristan Liza

    Ma. Louise Antonette De Las Pe˜ nas, Mark Tomenes, and Kristan Liza. Symmetry groups of two-way twofold and three-way threefold fabrics.Acta Crystallogr. Sect. A, 80(1):33–51, 2024

    work page 2024

  8. [8]

    Equivalence of doubly peri- odic tangles.Mathematics, 14(6):1071, 2026

    Ioannis Diamantis, Sofia Lambropoulou, and Sonia Mahmoudi. Equivalence of doubly peri- odic tangles.Mathematics, 14(6):1071, 2026

    work page 2026

  9. [9]

    William D. Dunbar. Geometric orbifolds.Rev. Mat. Univ. Complut. Madrid, 1(1–3):67–99, 1988. 16 KEN’ICHI YOSHIDA

    work page 1988

  10. [10]

    David B. A. Epstein. Curves on 2-manifolds and isotopies.Acta Math., 115:83–107, 1966

    work page 1966

  11. [11]

    Classification of doubly periodic un- twisted (p, q)-weaves by their crossing number and matrices.J

    Mizuki Fukuda, Motoko Kotani, and Sonia Mahmoudi. Classification of doubly periodic un- twisted (p, q)-weaves by their crossing number and matrices.J. Knot Theory Ramifications, 32(5):2350032, 2023

    work page 2023

  12. [12]

    Grishanov, Vadim R

    Sergei A. Grishanov, Vadim R. Meshkov, and Alexander V. Omelchenko. Kauffman-type poly- nomial invariants for doubly periodic structures.J. Knot Theory Ramifications, 16(6):779– 788, 2007

    work page 2007

  13. [13]

    Shephard

    Banko Gr¨ unbaum and Geoffrey C. Shephard. Satins and twills: An introduction to the ge- ometry of fabrics.Mathematics Magazine, 53(3):139–161, 1980

    work page 1980

  14. [14]

    A geometric classification of rod complements in the 3-torus.Proc

    Connie On Yu Hui. A geometric classification of rod complements in the 3-torus.Proc. Amer. Math. Soc., 153(1):381–394, 2025

    work page 2025

  15. [15]

    Connie On Yu Hui and Jessica S. Purcell. On the geometry of rod packings in the 3-torus. Bull. London Math. Soc., 56(4):1291–1309, 2024

    work page 2024

  16. [16]

    A random link via bridge position is hyperbolic.Topology Appl., 230:131–138, 2017

    Kazuhiro Ichihara and Jiming Ma. A random link via bridge position is hyperbolic.Topology Appl., 230:131–138, 2017

    work page 2017

  17. [17]

    On a structure of random open books and closed braids.Proc

    Tetsuya Ito. On a structure of random open books and closed braids.Proc. Japan Acad. Ser. A Math. Sci., 90(10):160–162, 2015

    work page 2015

  18. [18]

    Jaco and Peter B

    William H. Jaco and Peter B. Shalen. Seifert fibered spaces in 3-manifolds.Mem. Amer. Math. Soc., 21(220), 1979

    work page 1979

  19. [19]

    Fraser Stoddart

    Yang Jiao and J. Fraser Stoddart. Weaving on the molecular scale.Matter, 4(8):2582–2584, 2021

    work page 2021

  20. [20]

    Springer, 1979

    Klaus Johannson.Homotopy equivalences of 3-manifolds with boundaries, volume 761 of Lecture Notes in Mathematics. Springer, 1979

    work page 1979

  21. [21]

    Purcell, and Clint Rollins

    James Kaiser, Jessica S. Purcell, and Clint Rollins. Volumes of chain links.J. Knot Theory Ramifications, 21(11), 2012. 1250115

    work page 2012

  22. [22]

    Texts in Math

    Christian Kassel and Vladimir Turaev.Braid Groups, volume 247 ofGrad. Texts in Math. Springer, 2008

    work page 2008

  23. [23]

    Deformations of hyperbolic 3-cone-manifolds.J

    Sadayoshi Kojima. Deformations of hyperbolic 3-cone-manifolds.J. Differential Geom., 49(3):469–516, 1998

    work page 1998

  24. [24]

    Stable configurations of entangled systems with repulsive interactions.Topology Appl., page 109818, 2026

    Motoko Kotani, Hisashi Naito, Naoki Sakata, and Eriko Shinkawa. Stable configurations of entangled systems with repulsive interactions.Topology Appl., page 109818, 2026

    work page 2026

  25. [25]

    Matsumoto, and Ken’ichi Yoshida

    Yuka Kotorii, Sonia Mahmoudi, Elisabetta A. Matsumoto, and Ken’ichi Yoshida. On the iso- topies of tangles in periodic 3-manifolds using finite covers.arXiv preprint arXiv:2505.20940, 2025

    work page arXiv 2025

  26. [26]

    Yuzhong Liu, Michael O’Keeffe, Michael M. J. Treacy, and Omar M. Yaghi. The geometry of periodic knots, polycatenanes and weaving from a chemical perspective: a library for reticular chemistry.Chem. Soc. Rev., 47(12):4642–4664, 2018

    work page 2018

  27. [27]

    The closure of a random braid is a hyperbolic link.Proc

    Jiming Ma. The closure of a random braid is a hyperbolic link.Proc. Amer. Math. Soc., 142(2):695–701, 2014

    work page 2014

  28. [28]

    An Orbifold Framework for Classifying Layer Groups with an Application to Knitted Fabrics

    Sonia Mahmoudi, Elizabeth J. Dresselhaus, and Michael S. Dimitriyev. An orbifold frame- work for classifying layer groups with an application to knitted fabrics.arXiv preprint arXiv:2512.05149, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  29. [29]

    Hyperbolic links are not generic

    Andrei V. Malyutin. Hyperbolic links are not generic.arXiv preprint arXiv:1907.04458, 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1907

  30. [30]

    Malyutin

    Andrei V. Malyutin. On the question of genericity of hyperbolic knots.Int. Math. Res. Not., 2020(21):7792–7828, 2020

    work page 2020

  31. [31]

    Mostow.Strong rigidity of locally symmetric spaces, volume 78 ofAnn

    George D. Mostow.Strong rigidity of locally symmetric spaces, volume 78 ofAnn. of Math. Studies. Princeton Univ. Press, 1973

    work page 1973

  32. [32]

    Strong rigidity ofQ-rank 1 lattices.Invent

    Gopal Prasad. Strong rigidity ofQ-rank 1 lattices.Invent. Math., 21(4):255–286, 1973

    work page 1973

  33. [33]

    Thurston.The Geometry and Topology of Three-Manifolds

    William P. Thurston.The Geometry and Topology of Three-Manifolds. Lecture Notes from Princeton University, 1978–80. available athttp://library.msri.org/books/gt3m/

    work page 1978

  34. [34]

    Thurston

    William P. Thurston. Three dimensional manifolds, Kleinian groups and hyperbolic geometry. Bull. Amer. math. Soc., 6(3):357–381, 1982

    work page 1982

  35. [35]

    On irreducible 3-manifolds which are sufficiently large.Ann

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

    work page 1968

  36. [36]

    Degeneration of 3-dimensional hyperbolic cone structures with decreasing cone angles.Conform

    Ken’ichi Yoshida. Degeneration of 3-dimensional hyperbolic cone structures with decreasing cone angles.Conform. Geom. Dyn., 26(9):182–193, 2022

    work page 2022

  37. [37]

    Andreassen, David P

    Zhi-Hui Zhang, Bj¨ orn J. Andreassen, David P. August, David A. Leigh, and Liang Zhang. Molecular weaving.Nature Materials, 21(3):275–283, 2022. International Institute for Sustainability with Knotted Chiral Meta Matter (WPI- SKCM2), Hiroshima University, 1-3-1 Kagamiyama, Higashi-Hiroshima, Hiroshima 739- 8531, Japan Email address:kncysd@hiroshima-u.ac.jp

    work page 2022