Morse-Novikov theory for links
Pith reviewed 2026-06-26 05:42 UTC · model grok-4.3
The pith
For 2-component 2-bridge links a cohomology class represents a circle fibration exactly when the 2-variable Alexander polynomial is monic in that class.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a 2-component 2-bridge link L a cohomology class ξ in H¹ of the exterior can be represented by a fibration over the circle if and only if the 2-variable Alexander polynomial of L is ξ-monic. The equivalence is established by showing that the non-abelian Novikov homology vanishes precisely when this monicity condition holds.
What carries the argument
Non-abelian Novikov homology of the universal cover of the link exterior, which converts the geometric question of fibration representability into an algebraic vanishing condition on the Alexander polynomial.
If this is right
- The fibred faces of the Thurston polyhedron for these links are exactly the cones where the Alexander polynomial satisfies the monic condition.
- Morse-Novikov numbers become computable for the majority of 2-component prime links with at most eight crossings.
- The fibration property for these link exteriors reduces to a concrete polynomial test rather than a geometric search.
Where Pith is reading between the lines
- Polynomial software could now flag fibration classes for all tabulated 2-bridge links without constructing the fibration itself.
- If the same Novikov-homology detection works for links outside the 2-bridge case, the monic criterion would extend directly.
- The result ties an algebraic invariant (Alexander polynomial) to a geometric structure (fibration) in a way that may simplify classification of fibred 3-manifolds.
Load-bearing premise
Non-abelian Novikov homology of the universal cover correctly detects which cohomology classes on the link exterior come from fibrations.
What would settle it
A single 2-component 2-bridge link together with a cohomology class ξ such that the Alexander polynomial is ξ-monic yet no fibration over the circle exists for that class, or the opposite mismatch.
read the original abstract
For a compact 3-manifold W. Thurston introduced a norm on the first cohomology group of the manifold. The unit ball $B$ of this norm is a polyhedron and the set of cohomology classes that are representable by fibrations over a circle is a union of cones on some of the open faces of $B$. In the present paper we study the fibred faces of the Thurston polyhedra of exteriors of links in $S^3$. Our approach is based on the non-abelian Novikov homology associated with the universal covering of the exterior of the link. We prove in particular that for a 2-component 2-bridge link $L$ a cohomology class $\xi\in H^1(E(L))$ can be represented by a fibration over a circle if and only if its 2-variable Alexander polynomial is $\xi$-monic. We compute the Morse-Novikov numbers for a majority of 2-component prime links with number of crossings $\leq 8$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops Morse-Novikov theory for link exteriors in S^3, employing non-abelian Novikov homology associated to the universal cover to analyze fibred faces of the Thurston norm. It proves that for any 2-component 2-bridge link L, a class ξ ∈ H¹(E(L)) is represented by a fibration over the circle if and only if the 2-variable Alexander polynomial Δ_L(t₁,t₂) is ξ-monic. It further computes the Morse-Novikov numbers for most 2-component prime links with crossing number ≤8.
Significance. If the central equivalence holds, the work supplies an explicit algebraic test (via Alexander polynomial monicity) for fibered classes in a computable family of links, directly linking Novikov homology vanishing to the geometry of the Thurston norm. The tabulated Morse-Novikov numbers constitute concrete, falsifiable data that can be checked against other invariants.
major comments (1)
- The proof that non-abelian Novikov homology vanishes precisely when Δ_L is ξ-monic (the load-bearing step for the iff statement) must be examined in detail. In particular, the reduction from the non-abelian chain complex on the universal cover to the abelian Alexander module, including any spectral sequence or exact sequence relating the two coefficient systems for 2-bridge fundamental groups, requires explicit verification; any gap here would falsify the claimed equivalence.
minor comments (1)
- The computational section should list the exact links examined, the software or method used to evaluate the Alexander polynomials, and the criterion applied to test ξ-monicity, so that the numerical results can be independently reproduced.
Simulated Author's Rebuttal
We thank the referee for the detailed report and the recommendation for major revision. We address the single major comment below, providing a point-by-point response while maintaining the integrity of the manuscript's arguments.
read point-by-point responses
-
Referee: The proof that non-abelian Novikov homology vanishes precisely when Δ_L is ξ-monic (the load-bearing step for the iff statement) must be examined in detail. In particular, the reduction from the non-abelian chain complex on the universal cover to the abelian Alexander module, including any spectral sequence or exact sequence relating the two coefficient systems for 2-bridge fundamental groups, requires explicit verification; any gap here would falsify the claimed equivalence.
Authors: We appreciate the referee's focus on this central step. The equivalence is proved in Theorem 4.2. For 2-bridge links the fundamental group admits a two-generator one-relator presentation coming from the Wirtinger presentation of the diagram. We construct the non-abelian Novikov chain complex over the completed group ring of the universal cover and exhibit an explicit chain map to the abelianized complex whose homology is the twisted Alexander module. Because the relator is a single word in two generators, the associated spectral sequence degenerates at the E₂-page; the only surviving differential is multiplication by the Alexander polynomial evaluated at the character corresponding to ξ. Consequently the non-abelian Novikov homology vanishes if and only if this polynomial is ξ-monic. The matrices arising from the presentation are written out explicitly for the 2-bridge case, so the reduction is fully algebraic and does not rely on additional assumptions. We therefore maintain that the argument contains no gap. revision: no
Circularity Check
No significant circularity; derivation relies on established Novikov homology applied to link exteriors
full rationale
The paper states it proves the fibration equivalence for 2-bridge links via non-abelian Novikov homology of the universal cover, with the monicity condition on the 2-variable Alexander polynomial as the explicit criterion. No equations, definitions, or steps in the abstract reduce the claimed iff statement to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The approach invokes standard homology constructions whose vanishing properties are treated as independent inputs, and the result for specific links is presented as a theorem rather than a renaming or ansatz smuggling. The derivation chain is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Thurston norm on H^1 of compact 3-manifolds has polyhedral unit ball with fibered faces corresponding to open cones
- domain assumption Non-abelian Novikov homology associated to the universal cover detects fibration representability for link exteriors
Reference graph
Works this paper leans on
-
[1]
Kenneth L. Baker. The Morse-Novikov number of knots under connected sum and cabling.J. Topol., 14(4):1351–1368, 2021
2021
-
[2]
Baker and Fabiola Manjarrez-Guti´errez
Kenneth L. Baker and Fabiola Manjarrez-Guti´errez. Morse-Novikov numbers, tunnel numbers, and handle numbers of sutured manifolds.J. Differ. Geom., 129(1):17–63, 2025
2025
-
[3]
Neumann, and Ralph Strebel
Robert Bieri, Walter D. Neumann, and Ralph Strebel. A geometric invariant of discrete groups.Invent. Math., 90(3):451–477, 1987
1987
-
[4]
The Heegaard genus of manifolds obtained by surgery on links and knots.Int
Bradd Clark. The Heegaard genus of manifolds obtained by surgery on links and knots.Int. J. Math. Math. Sci., 3:583–589, 1980
1980
-
[5]
Circle-valued Morse theory for frame spun knots and surface-links.Michigan Math
Hisaaki Endo and Andrei Pajitnov. Circle-valued Morse theory for frame spun knots and surface-links.Michigan Math. J., 66(4):813–830, 2017
2017
-
[6]
On the Morse-Novikov number for 2-knots
Hisaaki Endo and Andrei Pajitnov. On the Morse-Novikov number for 2-knots. Osaka J. Math., 54(4):723–734, 2017. [Paging previously given as 725–736]
2017
-
[7]
The Murasugi sum is a natural geometric operation
David Gabai. The Murasugi sum is a natural geometric operation. II. Combi- natorial methods in topology and algebraic geometry, Proc. Conf. Hon. A. M. Stone, Rochester/N.Y. 1982, Contemp. Math. 44, 93-100 (1985)., 1985
1982
-
[8]
On handle number of Seifert surfaces inS 3.Osaka J
Hiroshi Goda. On handle number of Seifert surfaces inS 3.Osaka J. Math., 30(1):63–80, 1993
1993
-
[9]
Circle valued Morse theory for knots and links
Hiroshi Goda. Circle valued Morse theory for knots and links. InFloer ho- mology, gauge theory, and low-dimensional topology. Proceedings of the Clay Mathematics Institute 2004 summer school, Budapest, Hungary, June 5–26, 2004, pages 71–99. Providence, RI: American Mathematical Society (AMS). Cambridge, MA: Clay Mathematics Institute, 2006
2004
-
[10]
Some estimates of the Morse-Novikov numbers for knots and links
Hiroshi Goda. Some estimates of the Morse-Novikov numbers for knots and links. InIntelligence of low dimensional topology 2006, Hiroshima, Japan July 22–26, 2006, pages 35–42. Hackensack, NJ: World Scientific, 2007
2006
-
[11]
Reidemeister tor- sion, twisted Alexander polynomial and fibered knots.Comment
Hiroshi Goda, Teruaki Kitano, and Takayuki Morifuji. Reidemeister tor- sion, twisted Alexander polynomial and fibered knots.Comment. Math. Helv., 80(1):51–61, 2005
2005
-
[12]
Pajitnov
Hiroshi Goda and Andrei V. Pajitnov. Twisted Novikov homology and circle- valued Morse theory for knots and links.Osaka J. Math., 42(3):557–572, 2005
2005
-
[13]
Homology cylinders and sutured mani- folds for homologically fibered knots.Tokyo J
Hiroshi Goda and Takuya Sakasai. Homology cylinders and sutured mani- folds for homologically fibered knots.Tokyo J. Math., 36(1):85–111, 2013
2013
-
[14]
R. I. Hartley. On two-bridged knot polynomials.J. Aust. Math. Soc., Ser. A, 28:241–249, 1979
1979
-
[15]
On the uniqueness of the decomposition of a link.Osaka Math
Yoko Hashizume. On the uniqueness of the decomposition of a link.Osaka Math. J., 10:283–300, 1959
1959
-
[16]
A note on Alexander polynomials of 2-bridge links.J
Jim Hoste. A note on Alexander polynomials of 2-bridge links.J. Knot Theory Ramifications, 29(8):7, 2020. Id/No 1971003
2020
-
[17]
Additivity of handle number and Morse-Novikov number of a-small knots.Topology Appl., 160(1):117–125, 2013
Fabiola Manjarrez-Guti ´errez. Additivity of handle number and Morse-Novikov number of a-small knots.Topology Appl., 160(1):117–125, 2013
2013
-
[18]
Murasugi
K. Murasugi. On a certain subgroup of the group of an alternating link.Am. J. Math., 85:544–550, 1963
1963
-
[19]
S. P. Novikov. Multivalued functions and functionals. An analogue of the Morse theory.Sov. Math., Dokl., 24:222–226, 1981. MORSE-NOVIKOV THEORY FOR LINKS 29
1981
-
[20]
A. V. Pajitnov. Novikov homology, twisted Alexander polynomials, and Thurston cones.Algebra i Analiz, 18(5):173–209, 2006
2006
-
[21]
A. V. Pajitnov. Novikov homology, twisted Alexander polynomials, and Thurston cones.St. Petersbg. Math. J., 18(5):809–835, 2007
2007
-
[22]
On the tunnel number and the Morse-Novikov number of knots.Algebr
Andrei Pajitnov. On the tunnel number and the Morse-Novikov number of knots.Algebr. Geom. Topol., 10(2):627–635, 2010
2010
-
[23]
A. V. Pazhitnov. Modules over some localizations of the ring of Laurent poly- nomials.Mat. Zametki, 46(5):40–49, 103, 1989
1989
-
[24]
On the Novikov complex for rational Morse forms.Ann
Andrei Vladimirovich Pazhitnov. On the Novikov complex for rational Morse forms.Ann. Fac. Sci. Toulouse Math. (6), 4(2):297–338, 1995
1995
-
[25]
PhD thesis, Sciences Math ´ematiques, Universit ´e Paris-Sud, Centre d’Orsay, 1987
Jean-Claude Sikorav.Points fixes de diff ´eomorphismes symplectiques, inter- sections de sous-vari´et´es lagrangiennes, et singularit´es de un-formes ferm ´ees. PhD thesis, Sciences Math ´ematiques, Universit ´e Paris-Sud, Centre d’Orsay, 1987
1987
-
[26]
Thurston
William P. Thurston. A norm for the homology of 3-manifolds. InTwo papers: Genera of the arborescent links and A norm for the homology of 3-manifolds, pages 99–130. Providence, RI: American Mathematical Society (AMS), 1986
1986
-
[27]
Veber, A
K. Veber, A. Pazhitnov, and L. Rudolf. The Morse-Novikov number for knots and links.Algebra i Analiz, 13(3):105–118, 2001. DEPARTMENT OFMATHEMATICSTOKYOINSTITUTE OFTECHNOLOGY2-12-1 OOKAYAMA, MEGURO-KUTOKYO152-8551 JAPAN Email address:chen.l.aj@m.titech.ac.jp DEPARTMENT OFMATHEMATICSTOKYOINSTITUTE OFTECHNOLOGY2-12-1 OOKAYAMA, MEGURO-KUTOKYO152-8551 JAPAN E...
2001
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.