Quasipositive links and electromagnetism
Pith reviewed 2026-05-24 16:48 UTC · model grok-4.3
The pith
Every link is the sublink of a quasipositive link that is a satellite of the Hopf link.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For every link L we construct a complex algebraic plane curve that intersects S^3 transversally in a link tilde L that contains L as a sublink. This construction proves that every link L is the sublink of a quasipositive link that is a satellite of the Hopf link. The explicit construction of the complex plane curve can be used to give upper bounds on its degree and to create arbitrarily knotted null lines in electromagnetic fields, sometimes referred to as vortex knots. Furthermore, these null lines are topologically stable for all time. We also show that the time evolution of electromagnetic fields as given by Bateman's construction and a choice of time-dependent stereographic projectioncan
What carries the argument
The explicit construction of a complex algebraic plane curve intersecting S^3 transversally to produce a quasipositive link containing the given link as a sublink and a satellite of the Hopf link.
If this is right
- Upper bounds on the degree of the algebraic curve follow directly from the construction.
- Arbitrarily knotted null lines can be realized in electromagnetic fields as vortex knots.
- These null lines remain topologically stable for all time.
- The time evolution of the fields corresponds to a continuous family of contactomorphisms.
- Knotted field lines correspond to Legendrian knots.
Where Pith is reading between the lines
- The result suggests that any topological link type can be realized within the restricted class of quasipositive links with algebraic origins.
- This opens a route to studying arbitrary knots through their embeddings in algebraic curves and contact structures.
- Physically, it indicates that complex knotting in electromagnetic fields can be made stable without requiring special initial conditions.
Load-bearing premise
That the constructed complex algebraic plane curve intersects the three-sphere transversally and that the resulting link is quasipositive and a satellite of the Hopf link.
What would settle it
An explicit link L together with a computation showing that the corresponding algebraic curve either fails to intersect S^3 transversally or produces a link that is not quasipositive.
read the original abstract
For every link $L$ we construct a complex algebraic plane curve that intersects $S^3$ transversally in a link $\tilde{L}$ that contains $L$ as a sublink. This construction proves that every link $L$ is the sublink of a quasipositive link that is a satellite of the Hopf link. The explicit construction of the complex plane curve can be used to give upper bounds on its degree and to create arbitrarily knotted null lines in electromagnetic fields, sometimes referred to as vortex knots. Furthermore, these null lines are topologically stable for all time. We also show that the time evolution of electromagnetic fields as given by Bateman's construction and a choice of time-dependent stereographic projection can be understood as a continuous family of contactomorphisms with knotted field lines of the electric and magnetic fields corresponding to Legendrian knots.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for every link L in S^3, there exists an explicit complex algebraic plane curve in C^2 whose transverse intersection with the unit 3-sphere yields a link tilde L containing L as a sublink. This is used to prove that every link is a sublink of a quasipositive link that is a satellite of the Hopf link. The construction supplies degree bounds and is applied to produce topologically stable knotted null lines (vortex knots) in electromagnetic fields via Bateman's construction; the time evolution of such fields is interpreted as a continuous family of contactomorphisms sending electric and magnetic field lines to Legendrian knots.
Significance. If the transversality and sublink-preservation steps hold, the explicit algebraic construction would give a uniform way to embed arbitrary links into quasipositive satellites of the Hopf link, with immediate consequences for degree bounds and for realizing stable knotted field lines in Maxwell fields. The contactomorphism interpretation of Bateman evolution would also link electromagnetic dynamics to contact geometry in a concrete way.
major comments (3)
- [construction paragraph following abstract; § on algebraic curve] The central construction (described after the abstract and in the first main section) produces a polynomial F whose zero set contains the given link L, but supplies no local normal-form analysis or resultant computation showing that dF is linearly independent from the radial vector field at every point of L. This independence is required for transversality of the intersection with S^3 and is load-bearing for the claim that tilde L is a smooth link containing L as a sublink.
- [paragraph asserting satellite property] The argument that the resulting link remains a satellite of the Hopf link after any perturbation needed to restore transversality is not supplied; the manuscript must show that the perturbation can be chosen small enough to preserve both the sublink embedding of L and the satellite pattern.
- [paragraph linking algebraic curve to quasipositivity] Quasipositivity of tilde L is asserted by definition once the curve is algebraic, but the manuscript does not verify that the Seifert surface or braid representation obtained from the curve satisfies the quasipositive condition after the transversality adjustment.
minor comments (2)
- [electromagnetism section] Notation for the stereographic projection and the time-dependent family of contactomorphisms should be introduced with explicit formulas rather than descriptive phrases.
- [abstract and degree paragraph] The degree bounds claimed in the abstract are not stated as explicit functions of the crossing number or braid index of L; an inequality or table relating input link data to output degree would strengthen the claim.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying three points where the manuscript's arguments require additional detail. We address each major comment below and will revise the manuscript to supply the missing local analysis, perturbation estimates, and quasipositivity verification.
read point-by-point responses
-
Referee: [construction paragraph following abstract; § on algebraic curve] The central construction (described after the abstract and in the first main section) produces a polynomial F whose zero set contains the given link L, but supplies no local normal-form analysis or resultant computation showing that dF is linearly independent from the radial vector field at every point of L. This independence is required for transversality of the intersection with S^3 and is load-bearing for the claim that tilde L is a smooth link containing L as a sublink.
Authors: We agree that an explicit verification of transversality is needed. In the revised version we will add a local normal-form analysis in suitable affine charts around each component of L, together with a resultant computation showing that the radial vector field is not in the kernel of dF at those points. This will establish that the intersection is transverse and that tilde L is a smooth link containing L as a sublink. revision: yes
-
Referee: [paragraph asserting satellite property] The argument that the resulting link remains a satellite of the Hopf link after any perturbation needed to restore transversality is not supplied; the manuscript must show that the perturbation can be chosen small enough to preserve both the sublink embedding of L and the satellite pattern.
Authors: The referee is correct that the preservation of the satellite structure under perturbation is not argued in detail. We will insert a paragraph proving that any C^1-small perturbation of the algebraic curve can be chosen to keep L embedded as a sublink and to preserve the satellite pattern with respect to the Hopf link; the argument will use the fact that the pattern is determined by the asymptotic behavior of the curve and is stable under sufficiently small deformations. revision: yes
-
Referee: [paragraph linking algebraic curve to quasipositivity] Quasipositivity of tilde L is asserted by definition once the curve is algebraic, but the manuscript does not verify that the Seifert surface or braid representation obtained from the curve satisfies the quasipositive condition after the transversality adjustment.
Authors: We acknowledge that the manuscript relies on the unperturbed algebraic curve being quasipositive and does not explicitly check the condition after perturbation. In the revision we will add a short argument showing that the perturbed link still bounds a quasipositive Seifert surface: the original algebraic curve supplies a quasipositive surface, and a sufficiently small perturbation preserves the positivity of the intersections with the standard contact structure on S^3, or equivalently yields a quasipositive braid word. revision: yes
Circularity Check
Explicit construction with no reduction to inputs or self-citations
full rationale
The paper's central result is an explicit construction of a complex algebraic plane curve for arbitrary link L whose intersection with S^3 is claimed to be transverse and to contain L as a sublink, yielding the quasipositive satellite property directly from the construction. No parameters are fitted to data, no predictions are made from subsets of results, and no load-bearing self-citations or uniqueness theorems imported from prior author work are invoked in the abstract or claimed derivation. The result is self-contained as a constructive proof rather than a definitional equivalence or statistical forcing.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard facts from knot theory, algebraic geometry, and contact geometry are invoked to conclude quasipositivity and Legendrian correspondence.
Reference graph
Works this paper leans on
-
[1]
M. Array `as, D. Bouwmeester and J. L. Trueba. Knots in electromagnetism . Physics Reports 667 (2017), 1–61
work page 2017
-
[2]
H. Bateman. The mathematical analysis of electrical and optical wave-motion. Dover, New York (1915)
work page 1915
-
[3]
M. Berry. Knotted zeros in the quantum states of hydrogen. Found. Phys. 31 (2001), 659–667
work page 2001
-
[4]
M. Berry and M. R. Dennis. Knotted and linked phase singularities in monochromatic waves. Proc. R. Soc. A 457 (2001), 2251–2263
work page 2001
-
[5]
B. Bode and M. R. Dennis. Constructing a polynomial whose nodal set is any prescribed knot or link . Journal of Knot Theory and its Ramifications 28 (2019), 1850082
work page 2019
-
[6]
M. Boileau and S. Orevkov. Quasi-positivit´e d’une courbe analytique dans une boule pseudo-convexe . C. R. Acad. Sci. Paris 332 (2001) 1–6
work page 2001
-
[7]
K. Brauner. Zur Geometrie der Funktionen zweier komplexer Vernderlichen II, III, IV . Abh. Math. Sem. Hamburg 6 (1928), 8–54
work page 1928
-
[8]
W. Costa e Silva, E. Goulart and J. E. Ottoni. On spacetime foliations and electromagnetic knots. J. Phys. A 52 (2019), 265203
work page 2019
-
[9]
A. A. J. J. M. de Klerk, R. I. van der Veen, J. W. Dalhuisen and D. Bouwmeester. Knotted optical vortices in exact solutions to Maxwell’s equations. Phy. Rev. A95 (2017), 053820
work page 2017
-
[10]
M. R. Dennis, R. P. King, B. Jack, K. O’Holleran and M. Padgett. Isolated optical vortex knots . Nature Physics 6 (2010), 118–121
work page 2010
-
[11]
A. Enciso and D. Peralta Salas. Knots and links in steady solutions of the Euler equations. Annals of Math. 175 (2012), 345–367
work page 2012
-
[12]
A. Enciso and D. Peralta Salas. Existence of knotted vortex tubes in steady Euler flows . Acta Math. 214 (2015), 61–134. 12 BENJAMIN BODE
work page 2015
-
[13]
J. B. Etnyre. Legendrian and transversal knots, in Handbook of Knot Theory , eds. W. Menasco and M. Thistlewaite (Elsevier Science, 2005). pp105–185
work page 2005
- [14]
-
[15]
R. D. Kamien and R. A. Mosna. The topology of dislocations in smectic liquid crystals . New J. Phys. 18 (2016), 053012
work page 2016
- [16]
- [17]
-
[18]
A. L. Kholodenko. Optical knots and contact geometry I. From Arnol’d inequality to Ranada’s dyons . Analysis and Mathematical Physics 6 (2014), 163–198
work page 2014
- [19]
-
[20]
T. Machon and G. P. Alexander. Knotted defects in nematic liquid crystals . Phys. Rev. Lett. 113 (2014), 027801
work page 2014
-
[21]
T. Machon and G. P. Alexander. Global defect topology in nematic liquid crystals . Proc. R. Soc. A 472 (2016), 20160265
work page 2016
-
[22]
J. Milnor. Singular points of complex hypersurfaces. Princeton University Press, Princeton (1968)
work page 1968
-
[23]
H. Moffatt. The degree of knottedness of tangled vortex lines. J. Fluid Mech. 35 (1969), 117–129
work page 1969
-
[24]
A. F. Ra ˜nada. A topological theory of the electromagnetic field. Letters in Mathematical Physics 18 (1989), 97–106
work page 1989
-
[25]
J.-R. Ren, T. Zhu and S. Mo. Knotted topological phase singularities of electromagnetic field. Communica- tions in Theoretical Physics 50 (2008), 1071–1076
work page 2008
-
[26]
L. Rudolph. Algebraic functions and and closed braids. Topology 22 (1983), 191–202
work page 1983
-
[27]
L. Rudolph. Some topologically-flat surfaces in the complex projective plane. Comm. Math. Helv.59 (1984), 592–599
work page 1984
-
[28]
L. Rudolph. Quasipositivity and new knot invariants . Rev. Mat. Univ. Complutense Madrid 2 (1989), 85– 109
work page 1989
-
[29]
L. Rudolph. Knot theory of complex plane curves, in Handbook of Knot Theory, eds. W. Menasco and M. Thistlewaite (Elsevier Science, 2005). pp329–428
work page 2005
- [30]
-
[31]
A. J. Taylor and M. R. Dennis. Vortex knots in tangled quantum eigenfunctions . Nature Comm. 7 (2016), 12346. DEPARTMENT OF MATHEMATICS , GRADUATE SCHOOL OF SCIENCE , OSAKA UNIVERSITY , TOYONAKA , OSAKA 560-0043, J APAN E-mail address: ben.bode.2013@my.bristol.ac.uk
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.