pith. machine review for the scientific record. sign in

arxiv: 2604.14464 · v1 · submitted 2026-04-15 · 🧮 math.SG · math.DS· math.GT

Recognition: unknown

A cord algebra for tori in three-space

Mari\'an Poppr
Authors on Pith no claims yet

Pith reviewed 2026-05-10 11:07 UTC · model grok-4.3

classification 🧮 math.SG math.DSmath.GT
keywords cord algebrathin torusknotMorse modelLegendrian contact homologyJ-holomorphic curvearboreal singularity
0
0 comments X

The pith

The cord algebra of a thin torus around a knot equals the cord algebra of the knot itself.

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

The paper constructs Morse models for the cord algebra of a thin torus T_K surrounding a knot K in three-dimensional space, using both integer coefficients and loop space coefficients. It applies multiple time scale dynamics to establish that the integer-coefficient version of this algebra is identical to the cord algebra defined for the knot K. This identification connects the torus version indirectly to the zeroth degree of Legendrian contact homology for a component of the unit conormal bundle over T_K. The construction is motivated by counting J-holomorphic curves with boundary on a Lagrangian submanifold that has an arboreal singularity along the torus.

Core claim

Given a thin torus T_K around a knot K in R^3, Morse models of the cord algebra Cord(T_K) are constructed with Z and loop space coefficients. Multiple time scale dynamics identify Cord(T_K; Z) with Cord(K; Z). In combination with prior results this relates Cord(T_K) to the zeroth-degree Legendrian contact homology LCH_0 of one component of the unit conormal bundle over T_K. The definition is motivated by J-holomorphic curves with boundary on the Lagrangian submanifold L^*_+ T_K union R^3 that has an arboreal singularity along T_K.

What carries the argument

Morse models of the cord algebra Cord(T_K) for the thin torus, identified with Cord(K) through multiple time scale dynamics.

Load-bearing premise

The Morse models for the cord algebra of the torus are valid and multiple time scale dynamics can be applied to equate the integer version with the knot's cord algebra.

What would settle it

An explicit computation of both algebras for the unknot or trefoil that shows they are not isomorphic as algebras would disprove the identification.

Figures

Figures reproduced from arXiv: 2604.14464 by Mari\'an Poppr.

Figure 1.1
Figure 1.1. Figure 1.1: A visualization of Wu −∇Eε (pε)∩MKU ,ε on TKU ,ε. The red curves depict the endpoints of chords emanating from the chord cε under the negative gradient flow constrained to MKU ,ε. Similarly, the blue curves depict the starting points of chords emanating from the chord cε under the negative gradient flow constrained to MKU ,ε. Note also a single pair of red and blue curves that are connected by a trivial … view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: Traces of uε and u˜︁ε. The last topic of the thesis is about the map ϕTK,ε from LCH0(L ∗ +TK,ε) to CordM(TK,ε, Z[λ ±1 , µ±1 ]) which will be only outlined. In more detail, we analyze the moduli space of J-holomorphic curves with boundary on the Lagrangian sub￾manifold L ∗ +TK,ε ∪R 3 . We stress the geometric interpretation of the compactness phenomena of J-holomorphic curves arising from the arboreal sin… view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: The vectors Γε(s2, θ2) − Γε(s1, θ1), v(s1, θ1) and v(s2, θ2) appearing in the functions F [ε] 1 and F [ε] 2 in the case ε > 0. Definition 42. Let ε ∈ [0, εgood]. The set MK,ε := ⎧ ⎪⎨ ⎪⎩ (s1, θ1, s2, θ2) ∈ (R/TZ × S1 ) 2 ⃓ ⃓ ⃓ ⃓ F1(s1, θ1, s2, θ2) ≥ 0, F2(s1, θ1, s2, θ2) ≥ 0, s1 ̸= s2 ⎫ ⎪⎬ ⎪⎭ . is called the set of outward-pointing chords. Moreover, if ε > 0, then the set MK,ε|s1=s2 is called ε-diagonal a… view at source ↗
Figure 3.2
Figure 3.2. Figure 3.2: Top: the intersection (red point) of the cylinder Cs,ε with the circle Γε|s=a. Bottom: the intersection (red point) of the cylinder Cc,ε with the circle Γε|s=s. Remark 47. Let K be a generic knot. There is δ0 ∈ (︂ 0, min{︂ δdiag, δ(s1,s2) |(s1, s2) special pair}︂)︂ such that if δK ∈ (0, δ0), then weak diagonal and weak special sets are disjoint. Let us fix in this Chapter some δK. The complement of the c… view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: A neighborhood of s2-strongly special pair in R 3 . The red points represent the s2-strongly special pair (s2, s1). The blue curves describe the knot K, where the vertical part is viewed as TK,0. Around γ(s2) the torus TK,ε is depicted in green. 26 [PITH_FULL_IMAGE:figures/full_fig_p032_3_3.png] view at source ↗
Figure 3.4
Figure 3.4. Figure 3.4: A visualization in R 3 of fibers π −1 s1 (s1) ⊂ NK,ε as s1 pass a singular fiber (the middle figure). The blue lines represent the torus TK,0 of zero ra￾dius, which is parametrized by s1. Next, the orange sets describe the sets of all ends of outward-pointing chords that start in the red points. Orange sets are parametrized by (s2, θ2)-coordinates. 27 [PITH_FULL_IMAGE:figures/full_fig_p033_3_4.png] view at source ↗
Figure 3.5
Figure 3.5. Figure 3.5: A visualization of NK,ε in coordinates (s1, s2, θ2). The blue dots represent two critical points of πs1 (Lemma 62). ∼= [PITH_FULL_IMAGE:figures/full_fig_p034_3_5.png] view at source ↗
Figure 3.6
Figure 3.6. Figure 3.6: The homeomorphism between NK,ε and S 1 × D2 . On the left, the red surface describes the fake boundary, and on the right, we see the image of the fake boundary. The image is homotopic to the concatenation of the meridian and the longitude. 28 [PITH_FULL_IMAGE:figures/full_fig_p034_3_6.png] view at source ↗
Figure 3
Figure 3. Figure 3: (bottom)) we obtain that [PITH_FULL_IMAGE:figures/full_fig_p037_3.png] view at source ↗
Figure 3.7
Figure 3.7. Figure 3.7: Let also cj be the unique curves in Qj given by the intersection of the affine plane TpM and M and defined in a small neighbourhood of p. Now, we consider Qj for any j. If the curve cj is wM-attracted in TpM for some δ > 0, then for t ∈ [0, δ] the chords p, cj (t) are outward-pointing in the sense of Definition 42 and there is a smooth curve cˆ︁j : [0, δ] → Qj such that (i.) cˆ︁j (0) = p, (ii.) cj ((0, δ… view at source ↗
Figure 3.8
Figure 3.8. Figure 3.8: In green a chord p, c4(t) that is outward-point. Now, the inequality (3.17). After rigid transformations of R 3 we can assume that M is locally a graph of a function f : R 2 x,y → R such that (i.) (q, f(q)) = (0, 0, 0) = p for q = (0, 0). (ii.) ∂xf(q) = ∂yf(q) = 0. (iii.) ∂ 2 x f(q) > 0, ∂ 2 y f(q) < 0 and ∂x∂yf(q) = 0. We are going to study the set f(x, y) = 0. By the Morse Lemma [Hir97] there is a coor… view at source ↗
Figure 3.9
Figure 3.9. Figure 3.9: Local description of chords emanating from [PITH_FULL_IMAGE:figures/full_fig_p048_3_9.png] view at source ↗
Figure 3.10
Figure 3.10. Figure 3.10: A visualisation of fiber π −1 s1 (3π/2) in (θ1, s2, θ2)-coordinates. The red line corresponds to points on ∆ε, the blue curves denote c1 and c2, and the green lines represent c3 and c4. Two blue dots represent critical points of πs2 (Conjecture 70 (ii.)). Note that the singular behavior of ∆ε causes lower quality of the visualization in a neighborhood of ∆ε. But still, we can see the cuspidal fibration … view at source ↗
Figure 3.11
Figure 3.11. Figure 3.11: The square diffeomorphic to MK,ε|π −1 s1,s2 (yε) , where the horizontal sides correspond to F [ε] 1 = 0 and the vertical sides correspond to F [ε] 2 = 0. Moreover, the arrows describe the behavior of the gradient flow of −∇Eε|π −1 s1,s2 (yε) on the boundary ∂MK,ε|π −1 s1,s2 (yε) . Proof. We are going to prove only the case (i.), since the other cases are analo￾gous. Let us consider a smooth family of fu… view at source ↗
Figure 3.12
Figure 3.12. Figure 3.12: On the left: the fiber π −1 Eε (p) of the fibration Wˆ︂s Eε (∆full) πEε −−→ ∆full inside νδ(∆full). The gradient flow trajectories of −∇Eε are in grey. On the right: the restriction of the gradient flow trajectories from π −1 Eε (p) to π −1 Eε (p)∩MK,ε. The set Ap is depicted in red. If p ∈ ∆ε,δ, then the set Ap = {︄ xε ∈ νδ(∆ε,δ) \ ∆ε,δ ⃓ ⃓ ⃓ ⃓ ⃓ xε ·Eε [0,∞) ⊂ MK,ε, p is the omega limit of xε }︄ is fl… view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Cartoon pictures of the discussed spaces restricted to fibers [PITH_FULL_IMAGE:figures/full_fig_p072_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: The neighbourhood Up0 of the critical point p0. In purple, there are neighbourhoods DA, DB of points A, B, respectively. Let C be the unique point in u ∩ ∂Nq0 . Let A1,q0 ∈ ∂Nq0 \ C. If A1,q0 is sufficiently close to C, then the set ϕ t XE0 (︂ (−∞, 0], A1,q0 )︂ ∩ (DA ∪ DB) consists of the unique point (=: A1,p0 ) and we can assume that A1,p0 ∈ DA. This follows from the continuous dependence of the vector… view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: On the left: In green the rectangular tube A1,q0 , A1,p0 , A2,p0 , A2,q0 connecting Np0 and Nq0 . In blue the section ℓA. On the right: The regular index pair (N, L) for {p0, q0, u}. Here in red is the exit set L. 71 [PITH_FULL_IMAGE:figures/full_fig_p077_4_3.png] view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: On the left: a bifurcation of a Morse flow tree in the vertex [PITH_FULL_IMAGE:figures/full_fig_p086_5_1.png] view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: Geometrically, we can see a zero of evR (or evˆ︃R) as a coincidence of cs1,s2 with the union of cy1,y3 and cz3,z2 . The coincidence is depicted as the dashed chord. Remark 174. For further discussions, it will be useful to have described the dif￾ferential devR at a point x = (ℓ, s1, s2, y1, y3, z2, z3) devR(x) = ⎛ ⎜⎜⎜⎝ 0 1 0 −1 0 0 0 0 0 1 0 0 −1 0 0 0 0 0 1 0 −1 ℓγ(s1) − ℓγ(s2) (ℓ − 1) ̇γ(s1) −ℓγ̇(s2) 0… view at source ↗
Figure 5.3
Figure 5.3. Figure 5.3: A visualization of R, RL , RU in the single configuration space (R/TZ) 2 . Black dots represents special pairs. The groups of full and dashed curves correspond to two different connected components of ev−1 R (0). Proof. The lemma is a consequence of Lemma 175 (i.e. [CELN16, lem 7.10]). We remark that in the proof of Lemma 175, a small neighborhood of ∂R in R was explicitly constructed as a single regular… view at source ↗
Figure 5.4
Figure 5.4. Figure 5.4: On the left: for ε > 0 we can see geometrically a zero of evˆ︃ˆ︃ε as a coincidence of c ε s1,θ1,s2,θ2 with the union of c ε y1,α1,y3,α3 and c ε z3,β3,z2,β2 . Two possible coincidences are depicted as the dashed chords with three marked points. Note that we are not imposing any outward-pointing condition. On the right: an example of a not allowed coincidence, since we are not counting intersections that a… view at source ↗
Figure 6
Figure 6. Figure 6: , see also [Hsu15]. The Exchange lemmata, derived from the solutions [PITH_FULL_IMAGE:figures/full_fig_p109_6.png] view at source ↗
Figure 6.1
Figure 6.1. Figure 6.1: , see also [Hsu15]. The Exchange lemmata, derived from the solutions of two Silnikov BVPs (6.7), (6.8), give us two different perspectives on how the tracked invariant manifolds can be parametrized. To the Silnikov BVP (6.8) will correspond Exchange lemmata 237 and 239 and to BVP (6.7) corresponds Exchange Lemma 240. · · · · · · · · 0 a 1 b 0 [PITH_FULL_IMAGE:figures/full_fig_p109_6_1.png] view at source ↗
Figure 6.2
Figure 6.2. Figure 6.2: (ℓu+1)-Exchange Lemma for m = ℓs = ℓu = 1. On the left: evolution of M0 under fast flow. On the right: C k−3 -inclination of Mε under the fast-slow flow. Remark/Notation 238. [Sch08]Let us consider (6.6) and the (ℓu+σ+1)-dimensional manifold M (from Remark 236), where 0 ≤ σ ≤ m − 1. Let us assume that (i.) Inside Bδ,Ufen the manifold M0 intersects {a = 0} transversally in a manifold N0 (of dimension σ). … view at source ↗
Figure 6.3
Figure 6.3. Figure 6.3: The intersection of W˜︂u slow(p0) and W˜︂s slow(q0) with D0 := D ∩ U0. Then, if ε0 > 0 is sufficiently small, the Fenichel theory (Corollary 232 and Remark 233) gives us a C k -isotopy: H : (︂ D × W˜︂u sing(p0) × W˜︂s sing(q0) )︂ × [0, ε0] −→ (R/TZ × S 1 ) 6 from the canonical inclusion to h [ε0] (︂ D, W˜︂u sing(p0), W˜︂s sing(q0) )︂ = (︂ D, W˜︂u f-s (pε0 ), W˜︂s f-s (qε0 ) )︂ . On the product of 3 tori … view at source ↗
Figure 6.4
Figure 6.4. Figure 6.4: A visualization of the splitting of Vu0 by Ku0 . Note that ∂W˜︂u f-s (pε) and ∂W˜︂u f-s (pε) will have now non-empty intersections with Vu0 . But the intersections will be on the different connected components of the splitting of Vu0 by Ku0 . Hence, the following holds • If y0 ∈ Bδ1 (x0) \ (︂ W˜︂s f-s (qε) ∩ W˜︂u f-s (pε) )︂ and y0 is contained in some hetero￾clinic orbit uˆ︁ε from pε to qε, then uˆ︁ε do… view at source ↗
Figure 6.5
Figure 6.5. Figure 6.5: A neighborhood of the bifurcation of u depicted in the single con￾figuration space (R/TZ) 2 . In more detail, after the canonical identification the curves R, RL , RU and the three projections πs1,s2 (Dx), πy1,y3 (Dx), πz3,z2 (Dx) are visualized in the same space. from the canonical inclusion to h [ε0] 1 : (︂ Dx, [0, 1], W˜︂u sing(p0), W˜︂s sing(q 1 0 ),W˜︂s sing(q 2 0 ) )︂ ↦−→ (︂ Dx, [0, 1], W˜︂u f-s (p… view at source ↗
Figure 6.6
Figure 6.6. Figure 6.6: The chosen tree T ∈ ♣3. T has one interior edge, the vertex v0 is the root and recall that the exterior vertices v1, v2, v3 are ordered. Proof. Let us consider a tree T ∈ ♣3 as in [PITH_FULL_IMAGE:figures/full_fig_p124_6_6.png] view at source ↗
Figure 7.1
Figure 7.1. Figure 7.1: The skein relations for I top. The black curves describe the knot K, grey the longitude L, and in red are the cords. Skein relations describe the following phenomena: (i.) is for contractible cords, (ii.) and (iii.) are for cords crossing the framing (i.e. L) and the base point, respectively. Finally, (iv.) relates cords as they cross the knot. Since λ = 1, by the skein relation (iii.) from [PITH_FULL_I… view at source ↗
Figure 7.2
Figure 7.2. Figure 7.2: A visualization of Wu −∇Eε (pε) ∩ MKU ,ε on TKU ,ε. The red curves depict the endpoints of chords emanating from cε under the negative gradient flow constraint to MKU ,ε. Similarly, the blue curves depict the starting points of chords emanating from cε under the negative gradient flow constraint to MKU ,ε. Note also a single pair of red and blue curves that are connected by a trivial chord ctriv; they re… view at source ↗
Figure 7.3
Figure 7.3. Figure 7.3: Traces of uc,ε and u˜︁c,ε. Let us now compute the contributions of paths uε and u˜︁ε to the differential DTKU ,ε . Analogously to Remark 290, the diagonal parts of uε and u˜︁ε are redundant in the count. So only the intersections of the traces u trace c,ε , u˜︁ trace c,ε with mε and Lε matter. Let us consider the orientations as in [PITH_FULL_IMAGE:figures/full_fig_p138_7_3.png] view at source ↗
Figure 7.4
Figure 7.4. Figure 7.4: Orientations of curves Lε, mε and their intersections with traces u trace c,ε and u˜︁ trace c,ε . The orientations are induced by the basis {∂s, −∂θ}. So the algebraic intersection number of mε with the curves u trace c,ε , u˜︁ trace c,ε is in both cases +1. This will contribute in both cases by ·λ. More intersecting is the algebraic intersection number of Lε with the curves u trace c,ε , u˜︁ trace c,ε .… view at source ↗
Figure 8.1
Figure 8.1. Figure 8.1: A local visualization of the normal component of a potential element [PITH_FULL_IMAGE:figures/full_fig_p148_8_1.png] view at source ↗
Figure 8.2
Figure 8.2. Figure 8.2: On the left: u˜︁k ∈ MTK (a; 1 2 , 1 2 ) around the mark point p. On the right: u ∈ MTK (a; 2, 1 2 , 1 2 ) around the puncture p1 of the winding number 2. Remark 316. Now, we are going inspect locally the degenerations of MTK (a, 1 2 , 1 2 ) as a 1 2 switch changes to a 3 2 switch. For each switch we write locally u ∈ MTK (a, 1 2 , 1 2 ) in the local coordinates u = (u1, u2) : Q → C 2×C. Again, we will be… view at source ↗
Figure 8.3
Figure 8.3. Figure 8.3: On the left: A local visualization of the normal component of u ∈ MTK (a; 1 2 , 1 2 ) around the puncture p1 of the winding number 1 2 . The blue arrows depict the boundary orientation of u, and the orange arrow represents the positive co-orientation of TK. On the right: u ∈ MTK (a; 1 2 , 1 2 ) around the puncture p2 of the winding number 1 2 . Now, the winding numbers of the value 3 2 . In these cases u… view at source ↗
Figure 8.4
Figure 8.4. Figure 8.4: On the left: u ∈ MTK (a; 3 2 , 1 2 ) around the puncture p1 with winding number 3 2 . On the right: u ∈ MTK (a; 1 2 , 3 2 ) around the puncture p2 with winding number 3 2 . Now, let u ∈ MTK (a, 3 2 , 1 2 ) and {u˜︁k}k be a sequence of elements of MTK (a, 1 2 , 1 2 ) that converge to u. We would like to geometrically describe how the holomorphic curves are deformed. By the above, we know that the normal c… view at source ↗
Figure 8.5
Figure 8.5. Figure 8.5: On the left: A local visualization of the normal component of u˜︁k ∈ MTK (a; 1 2 , 1 2 ) around the puncture p1 with the winding number 1 2 . Note that due to the spike the curve c u˜︁k p1,p2 intersects TK again at some time εk. Also as k → ∞ the spike vanishes and the winding at p1 becomes 3 2 . On the right: u˜︁k ∈ MTK (a; 1 2 , 1 2 ) around the puncture p2 with the winding number 1 2 which becomes 3 2… view at source ↗
Figure 8.6
Figure 8.6. Figure 8.6: Configuration (iv.): vanishing conormal “spike”. Now, we are going to inspect the codimension 2 phenomenon (vi.). The configuration (vi.) will appear as an intersection of two configurations (i.). We take an arc from ∂D2ℓ+1 connecting punctures pi , pi+1 of winding numbers 1 2 , 1 2 . Then, while collapsing the arc, we obtain a 2-parametric family of parameters which creates a corner. Let us take a local… view at source ↗
Figure 8.7
Figure 8.7. Figure 8.7: On the left: u ∈ MTK (a; 3 2 , 1 2 ) around collapsing punctures p1 and p2. On the right: u ∈ MTK (a; 2) around the puncture p1 with winding number 2. 145 [PITH_FULL_IMAGE:figures/full_fig_p151_8_7.png] view at source ↗
Figure 8.8
Figure 8.8. Figure 8.8: On the left: u ∈ MTK (a; 3 2 , 1 2 ) around the puncture p1 with winding number 3 2 . On the right: u ∈ MTK (a; 5 2 , 1 2 ) around the puncture p1 with winding number 5 2 . Lemma 318. There is a constant ksw ∈ N such that every MTK (a, n) is empty, if the number of switches is bigger then ksw. Proof. The lemma follows from similar argument as [CEL09, thm 1.2]. 8.4 Broken strings and chain maps In this se… view at source ↗
Figure 8.9
Figure 8.9. Figure 8.9: A visualization of a broken string on TK,ε that conists of Q-strings and N-strings. Note the matching jet condions of N/Q-strings at their endpoints. Remark 321. Q-strings are outward-pointing from TK,ε. This follows from the condition (iii.) in Definition 320 and the geometry of N+. Definition 322. A broken string from Σℓ is called a string with a Q-tangency if it contains a nontrivial Q-string s2i with… view at source ↗
Figure 8.10
Figure 8.10. Figure 8.10: String operations δQ and δN . Remark 331. Let us heuristically relate the skein relations arising from I string to CordM(TK,ε; Z[λ ±1 , µ±1 ]). Hence let us consider a 1-dimensional family s t of broken strings in C string 1 (Σ). Then from (∂ sing + δQ + δN )(s t ) = 0 we obtain the following skein relations: (i.) 0 = (ii.) 0 = − − + + Now, we claim that the relation (i.) corresponds in CordM(TK,ε; Z[λ … view at source ↗
Figure 8.11
Figure 8.11. Figure 8.11: A visualization of the chords near to the boundary of [PITH_FULL_IMAGE:figures/full_fig_p158_8_11.png] view at source ↗
Figure 8.12
Figure 8.12. Figure 8.12: A visualization of the outward-pointing chords that starts at some [PITH_FULL_IMAGE:figures/full_fig_p159_8_12.png] view at source ↗
read the original abstract

Given a thin torus $T_K$ around a knot $K\subset \mathbb{R}^3$, we construct Morse models of cord algebra $Cord(T_K)$ with $\mathbb{Z}$ and loop space coefficients. Using the Multiple time scale dynamics we identify $Cord(T_K; \mathbb{Z})$ with $Cord(K; \mathbb{Z})$. In combination with the works of Cieliebak-Ekholm-Latschev-Ng and Petrak this indirectly relates $Cord(T_K)$ to $0$-th degree Legendrian contact homology $LCH_0(\mathcal{L}^\ast_+ T_K)$ of one component of the unit conormal bundle over $T_K$. Our definition of $Cord(T_K)$ is motivated by $J$-holomorphic curves with boundary on the Lagrangian submanifold $L^\ast_+ T_K\cup\mathbb{R}^3$ with an arboreal singularity along the torus $T_K$.

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

1 major / 1 minor

Summary. Given a thin torus T_K around a knot K in R^3, the manuscript constructs Morse models for the cord algebra Cord(T_K) with Z and loop space coefficients. It applies multiple time scale dynamics to identify Cord(T_K; Z) with Cord(K; Z). Combined with prior results of Cieliebak-Ekholm-Latschev-Ng and Petrak, this yields an indirect relation between Cord(T_K) and the degree-0 Legendrian contact homology LCH_0 of one component of the unit conormal bundle over T_K. The definition of Cord(T_K) is motivated by counts of J-holomorphic curves on the Lagrangian L^*_+ T_K union R^3 with an arboreal singularity along T_K.

Significance. If the identification holds, the work supplies a new geometric model for cord algebras on tori and a bridge to Legendrian contact homology, potentially enabling new computations or relations between symplectic invariants and classical knot invariants. The motivation via arboreal singularities and the use of multiple time scale dynamics constitute a technically distinctive approach.

major comments (1)
  1. The central identification Cord(T_K; Z) ≅ Cord(K; Z) via multiple time scale dynamics is load-bearing for the main claim, yet the abstract provides no explicit Morse model, no statement of the time-scale equations, and no verification that the identification is independent of the definitions already present in the cited works of Cieliebak-Ekholm-Latschev-Ng and Petrak.
minor comments (1)
  1. The notation L^*_+ T_K for the unit conormal bundle component is introduced without a local coordinate description or reference to its precise embedding in the cotangent bundle.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and the opportunity to clarify the manuscript. We address the single major comment below and will revise the abstract accordingly.

read point-by-point responses

  1. Referee: The central identification Cord(T_K; Z) ≅ Cord(K; Z) via multiple time scale dynamics is load-bearing for the main claim, yet the abstract provides no explicit Morse model, no statement of the time-scale equations, and no verification that the identification is independent of the definitions already present in the cited works of Cieliebak-Ekholm-Latschev-Ng and Petrak.

    Authors: The abstract is intentionally concise, but the body of the manuscript provides the requested details. Section 2 constructs the Morse model for Cord(T_K) explicitly, with generators given by cords on the torus and differentials counted via J-holomorphic curves on the Lagrangian with arboreal singularity. Section 3 introduces the multiple time scale dynamical system, stating the slow-fast ODEs on T_K that govern the identification. The equivalence Cord(T_K; Z) ≅ Cord(K; Z) is verified by showing that the chain complex of the time-scale system recovers the standard generators and relations of the knot cord algebra through direct limiting analysis, without presupposing the algebraic presentations in the cited works; the dynamical construction supplies an independent geometric proof of the isomorphism. We will revise the abstract to include a brief description of the Morse model and the time-scale equations. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper constructs Morse models for Cord(T_K) motivated by J-holomorphic curves on the Lagrangian L^*_+ T_K union R^3 with an arboreal singularity. It then applies multiple time scale dynamics as an independent dynamical tool to identify Cord(T_K; Z) with Cord(K; Z). The indirect relation to LCH_0 is obtained by combining the result with prior independent works of Cieliebak-Ekholm-Latschev-Ng and Petrak. No load-bearing step reduces by construction to the paper's own inputs, fitted parameters, or self-citations; the central claims remain externally grounded and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on the abstract alone, the central claim rests on domain assumptions in symplectic geometry and dynamical systems rather than new free parameters or invented entities.

axioms (2)
  • domain assumption Multiple time scale dynamics can be used to identify Cord(T_K; Z) with Cord(K; Z)
    Invoked to equate the two cord algebras
  • domain assumption The cord algebra definition is valid when motivated by J-holomorphic curves with boundary on L^*_+ T_K union R^3 having an arboreal singularity along T_K
    Provides the geometric motivation for the new construction

pith-pipeline@v0.9.0 · 5454 in / 1491 out tokens · 44824 ms · 2026-05-10T11:07:11.298876+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

8 extracted references · 7 canonical work pages

  1. [1]

    Symplectic cohomology and viterbo’s theorem.arXiv preprint arXiv:1312.3354,

    [Abo13] Mohammed Abouzaid. Symplectic cohomology and Viterbo’s theorem.arXiv preprint arXiv:1312.3354,

    work page arXiv

  2. [2]

    Fiber Floer cohomology and conormal stops.arXiv preprint arXiv:1912.02547,

    [Asp19] Johan Asplund. Fiber Floer cohomology and conormal stops.arXiv preprint arXiv:1912.02547,

    work page arXiv 1912

  3. [3]

    Chern-Simons Theory and string topology.arXiv preprint arXiv:2312.05922,

    [CV23] Kai Cieliebak and Evgeny Volkov. Chern-Simons Theory and string topology.arXiv preprint arXiv:2312.05922,

    work page arXiv

  4. [4]

    Knot contact homology and open Gromov–Witten theory

    [Ekh18] Tobias Ekholm. Knot contact homology and open Gromov–Witten theory. InProceedings of the International Congress of Mathematicians: Rio de Janeiro 2018, pages 1063–1086. World Scientific,

    2018

  5. [5]

    The moduli space of gradient flow lines and Morse homology

    [FN20] Urs Frauenfelder and Robert Nicholls. The moduli space of gradient flow lines and Morse homology. arXiv preprint arXiv:2005.10799,

    work page arXiv 2005

  6. [6]

    Lagrange multipliers and adiabatic limits i.arXiv preprint arXiv:2210.11221,

    [FW22a] Urs Frauenfelder and Joa Weber. Lagrange multipliers and adiabatic limits i.arXiv preprint arXiv:2210.11221,

    work page arXiv

  7. [7]

    Framed knot contact homology.arXiv preprint math/0407071,

    [Ng04] Lenhard Ng. Framed knot contact homology.arXiv preprint math/0407071,

    work page arXiv

  8. [8]

    Legendrian non-isotopic unit conormal bundles in high dimensions.arXiv preprint arXiv:2410.15936,

    [Oka24] Yukihiro Okamoto. Legendrian non-isotopic unit conormal bundles in high dimensions.arXiv preprint arXiv:2410.15936,

    work page arXiv