A note on the knot Floer homology of freely 2-periodic knots and their quotients
Pith reviewed 2026-06-26 11:23 UTC · model grok-4.3
The pith
Freely 2-periodic knots have knot Floer homology rank at least as large as their quotients.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a freely 2-periodic knot P and its projective quotient knot Q, the rank of the knot Floer homology of P is greater than or equal to the rank of the knot Floer homology of Q. This follows from the existence of a spectral sequence arising from Large's generalization of the Seidel-Smith localization theorem for order-two actions.
What carries the argument
Large's generalization of the Seidel-Smith localization spectral sequence for order-two actions, applied to produce a rank inequality in knot Floer homology.
If this is right
- The Seifert genus of the periodic knot is at least the rational Seifert genus of the quotient knot.
- The E2 page of the spectral sequence can be computed explicitly for examples using a modified version of the Baldwin-Gillam grid homology program.
- The rank inequality holds for any knot admitting a free order-two symmetry.
Where Pith is reading between the lines
- The inequality supplies a new obstruction to a knot being the quotient of a freely 2-periodic knot.
- Similar localization arguments might produce rank comparisons for other finite group actions on knots once the corresponding spectral sequences are available.
- Explicit computations of the spectral sequence could reveal cases where the inequality is strict, giving quantitative information about the periodic action.
Load-bearing premise
Large's generalization of the Seidel-Smith localization spectral sequence applies directly to the knot Floer homology of freely 2-periodic knots in the three-sphere.
What would settle it
A concrete freely 2-periodic knot whose knot Floer homology has strictly smaller rank than the knot Floer homology of its quotient knot.
Figures
read the original abstract
A knot P in the three-sphere is freely 2-periodic if it is preserved setwise by a free order-two action. There is a natural projective quotient knot associated to P. We establish a rank inequality between the knot Floer homologies of P and its quotient as a consequence of Large's generalization of Seidel--Smith's localization spectral sequence associated to order 2 actions in Lagrangian Floer homology. As a corollary we obtain an inequality between the Seifert genus of P and the rational Seifert genus of its quotient. We also implement a program which computes the E2 page of this spectral sequence using a modification of Baldwin--Gillam's grid homology calculator.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to establish a rank inequality between the knot Floer homologies of a freely 2-periodic knot P in S^3 and its projective quotient knot, derived directly as a consequence of Large's generalization of the Seidel-Smith localization spectral sequence for order-2 actions in Lagrangian Floer homology. As a corollary it obtains an inequality relating the Seifert genus of P to the rational Seifert genus of the quotient. The authors also describe an implementation of a program computing the E2 page of the spectral sequence via a modification of Baldwin-Gillam's grid homology calculator.
Significance. If the application of Large's result is valid, the rank inequality supplies a new relation between Floer invariants of periodic knots and their quotients under free Z/2-actions, with potential utility for genus bounds and explicit computations. The accompanying computational tool adds practical value for verifying the spectral sequence in examples.
major comments (1)
- [Abstract] Abstract: the rank inequality is asserted to follow directly from Large's generalization, yet the manuscript supplies no explicit check that a free order-two action on a knot in S^3 induces an action on the underlying Heegaard or grid diagram data that satisfies all hypotheses of Large's theorem (e.g., commutation with the almost-complex structure, preservation of the necessary grading, and exact correspondence of the quotient complex to the invariant subcomplex).
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying a point that improves the clarity of the argument. We address the major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract: the rank inequality is asserted to follow directly from Large's generalization, yet the manuscript supplies no explicit check that a free order-two action on a knot in S^3 induces an action on the underlying Heegaard or grid diagram data that satisfies all hypotheses of Large's theorem (e.g., commutation with the almost-complex structure, preservation of the necessary grading, and exact correspondence of the quotient complex to the invariant subcomplex).
Authors: We agree that the manuscript would benefit from an explicit verification that the geometric hypotheses of Large's theorem are met. While the free Z/2-action on S^3 is by diffeomorphisms that can be arranged to preserve a suitable Heegaard diagram (or grid diagram) up to isotopy and to act compatibly with the almost-complex structure and gradings, the current text does not spell this out. In the revised version we will insert a short dedicated paragraph (likely in Section 2) confirming: (i) the action commutes with the almost-complex structure on the symmetric product, (ii) it preserves the relevant Maslov and Alexander gradings, and (iii) the quotient complex is precisely the invariant subcomplex. This addition will make the application fully rigorous without altering the main results. revision: yes
Circularity Check
No circularity; rank inequality follows from external theorem application.
full rationale
The paper's central claim is that the rank inequality is a consequence of Large's generalization of the Seidel-Smith spectral sequence. This is an external result with no overlap in authorship indicated. The derivation chain does not involve any self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations. The applicability to the specific setting is asserted but does not reduce the claimed inequality to a tautology by construction within the paper. No equations or ansatzes are smuggled via self-citation. This is a standard invocation of an independent theorem.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Large's generalization of Seidel-Smith localization spectral sequence applies to knot Floer homology for free Z/2-actions on knots in S^3
Reference graph
Works this paper leans on
-
[1]
Topology and its Applications , volume=
Costa, Antonio and Hongler, Cam Van Quach , title=. Topology and its Applications , volume=
-
[2]
An Overview on Knot Floer Homology , year =
Ozsv\'. An Overview on Knot Floer Homology , year =
-
[3]
Bulletin of the London Mathematical Society , volume =
Boyle, Keegan , title =. Bulletin of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/blms.12595 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms.12595 , abstract =
-
[4]
Ni, Yi , TITLE =. Adv. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.aim.2013.10.001 , URL =
-
[5]
and Szab\'o, Zolt\'an , TITLE =
Ozsv\'ath, Peter S. and Szab\'o, Zolt\'an , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/agt.2011.11.1 , URL =
-
[6]
Ni, Yi and Vafaee, Faramarz , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7510 , URL =
-
[7]
Lidman, Tye and Manolescu, Ciprian , TITLE =. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/gt.2018.22.2817 , URL =
-
[8]
2024 , eprint=
Freely 2-periodic knots have two canonical components , author=. 2024 , eprint=
2024
-
[9]
Ciprian Manolescu and Michael Willis , year=. A. 2301.09764 , archivePrefix=
-
[10]
, biburl =
Hatcher, A. , biburl =
-
[11]
Juh\'asz, Andr\'as , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2006 , PAGES =. doi:10.2140/agt.2006.6.1429 , URL =
-
[12]
2020 , eprint=
Lectures notes on Heegaard Floer homology , author=. 2020 , eprint=
2020
-
[13]
2018 , eprint=
Generating sets of Reidemeister moves of oriented singular links and quandles , author=. 2018 , eprint=
2018
-
[14]
Harvey, Shelly and O'Donnol, Danielle , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.1445 , URL =
-
[15]
2023 , eprint=
The equivariant genera of marked strongly invertible knots associated with 2 -bridge knots , author=. 2023 , eprint=
2023
-
[16]
2021 , eprint=
Strongly invertible knots, invariant surfaces, and the Atiyah-Singer signature theorem , author=. 2021 , eprint=
2021
-
[17]
Sarkar, Sucharit and Wang, Jiajun , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2010 , NUMBER =. doi:10.4007/annals.2010.171.1213 , URL =
-
[18]
Hendricks, Kristen , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/agt.2012.12.2127 , URL =
-
[19]
2023 , eprint=
Equivariant algebraic concordance of strongly invertible knots , author=. 2023 , eprint=
2023
-
[20]
Lobb, Andrew and Watson, Liam , TITLE =. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/gt.2021.25.1861 , URL =
-
[21]
2024 , eprint=
Localization and the Floer homology of strongly invertible knots , author=. 2024 , eprint=
2024
-
[22]
Hendricks, Kristen and Lipshitz, Robert and Sarkar, Sucharit , TITLE =. J. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/jtopol/jtw022 , URL =
-
[23]
Hendricks, Kristen and Lidman, Tye and Lipshitz, Robert , TITLE =. Doc. Math. , FJOURNAL =. 2022 , PAGES =
2022
-
[24]
Torsion invariants of Spin^c -structures on 3-manifolds , volume =
Turaev, Vladimir , year =. Torsion invariants of Spin^c -structures on 3-manifolds , volume =. Mathematical Research Letters , doi =
-
[25]
Surgery exact triangles in involutive
Hendricks, Kristen and Hom, Jennifer and Stoffregen, Matthew and Zemke, Ian , Note =. Surgery exact triangles in involutive
-
[26]
Davis, Christopher W. and Ray, Arunima , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/agt.2016.16.945 , URL =
-
[27]
Cochran, Tim D. and Davis, Christopher W. and Ray, Arunima , TITLE =. J. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/jtopol/jtu003 , URL =
-
[28]
Miller, Allison N. , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2023 , PAGES =. doi:10.1090/btran/123 , URL =
-
[29]
Macdonald, I. G. , TITLE =. Topology , FJOURNAL =. 1962 , PAGES =. doi:10.1016/0040-9383(62)90019-8 , URL =
-
[30]
Scott and Saito, Masahico , TITLE =
Carter, J. Scott and Saito, Masahico , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 1993 , NUMBER =. doi:10.1142/S0218216593000167 , URL =
-
[31]
2021 , eprint=
Non-surjective satellite operators and piecewise-linear concordance , author=. 2021 , eprint=
2021
-
[32]
Satellites of infinite rank in the smooth concordance group , volume=
Hedden, Matthew and Pinzón-Caicedo, Juanita , year=. Satellites of infinite rank in the smooth concordance group , volume=. Inventiones mathematicae , publisher=. doi:10.1007/s00222-020-01026-w , number=
-
[33]
Randall Johanningsmeier and Hillary Kim and Allison N. Miller , year=. A partial resolution of. 2308.06890 , archivePrefix=
-
[34]
Naturality and mapping class groups in H eegaard F loer homology
Juh\' a sz, Andr\' a s and Thurston, Dylan and Zemke, Ian. Naturality and mapping class groups in H eegaard F loer homology
-
[35]
2022 , eprint=
The equivariant concordance group is not abelian , author=. 2022 , eprint=
2022
-
[36]
Dai, Irving and Kang, Sungkyung and Mallick, Abhishek and Park, JungHwan and Stoffregen, Matthew , TITLE =. Invent. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00222-024-01286-w , URL =
-
[37]
Rasmussen, Jacob , TITLE =. Invent. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00222-010-0275-6 , URL =
-
[38]
Geometry and topology of manifolds , SERIES =
Rasmussen, Jacob , TITLE =. Geometry and topology of manifolds , SERIES =. 2005 , MRCLASS =. doi:10.1007/bf01579132 , URL =
-
[39]
2023 , eprint=
A note on the involutive concordance invariants for certain (1,1)-knots , author=. 2023 , eprint=
2023
-
[41]
Mitchell Jubeir and Ina Petkova and Noah Schwartz and Zachary Winkeler and C. -M. Michael Wong , year=. Spectral. 2303.16130 , archivePrefix=
-
[42]
and Lidman, Tye and Wong, C.-M
Baldwin, John A. and Lidman, Tye and Wong, C.-M. Michael , TITLE =. Michigan Math. J. , FJOURNAL =. 2022 , NUMBER =. doi:10.1307/mmj/20195786 , URL =
-
[43]
Carlo Collari and Paolo Lisca , year=. Strongly Invertible. 2311.07974 , archivePrefix=
-
[44]
Legendrian knots, transverse knots and combinatorial Floer homology , volume=
Ozsváth, Peter and Szabó, Zoltán and Thurston, Dylan P , year=. Legendrian knots, transverse knots and combinatorial Floer homology , volume=. Geometry & Topology , publisher=. doi:10.2140/gt.2008.12.941 , number=
-
[45]
Dai, Irving and Mallick, Abhishek and Stoffregen, Matthew , TITLE =. J. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/topo.12312 , URL =
-
[46]
Proceedings of
Perutz, Timothy , TITLE =. Proceedings of. 2008 , ISBN =
2008
-
[47]
Boyle, Keegan and Issa, Ahmad , TITLE =. J. Topol. , FJOURNAL =. 2022 , NUMBER =
2022
-
[48]
Doyle, Gabriel , TITLE =
-
[49]
1995 , MRCLASS =
McDuff Dusa, Salamon Dietmar , TITLE =. 1995 , MRCLASS =
1995
-
[50]
2015 , PAGES =
Racz, Bela Andras , TITLE =. 2015 , PAGES =
2015
-
[51]
Ozsv\'. On knot. Topology , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.top.2005.05.001 , URL =
-
[52]
Sarkar, Sucharit , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/agt.2015.15.2479 , URL =
-
[53]
Grid Homology for Knots and Links
Peter Ozsvath and Zoltan Szabo and Andras Stipsicz. Grid Homology for Knots and Links
-
[54]
2007 , eprint=
A combinatorial description of knot Floer homology , author=. 2007 , eprint=
2007
-
[55]
Algebraic & Geometric Topology , number =
Peter Ozsv. Algebraic & Geometric Topology , number =. 2008 , doi =
2008
-
[56]
Zemke, Ian , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.3461 , URL =
-
[57]
Ghiggini, Paolo , TITLE =. Amer. J. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1353/ajm.0.0016 , URL =
-
[58]
2007 , PAGES =
Ni, Yi , TITLE =. 2007 , PAGES =
2007
-
[59]
Rasmussen, Jacob , TITLE =. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/gt.2004.8.1013 , URL =
-
[60]
Hom, Jennifer , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2017 , NUMBER =. doi:10.1142/S0218216517400156 , URL =
-
[61]
Goda, Hiroshi and Matsuda, Hiroshi and Morifuji, Takayuki , TITLE =. Geom. Dedicata , FJOURNAL =. 2005 , PAGES =. doi:10.1007/s10711-004-5403-2 , URL =
-
[62]
Connected
Dai, Irving , Date-Added =. Connected
-
[63]
Triangulation of manifolds , Year =
Matumoto, Takao , Booktitle =. Triangulation of manifolds , Year =
-
[64]
Hom, Jennifer , TITLE =. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/gt.2015.19.1063 , URL =
-
[65]
An infinite-rank summand of the homology cobordism group , Year =
Dai, Irving and Hom, Jennifer and Stoffregen, Matthew and Truong, Linh , Note =. An infinite-rank summand of the homology cobordism group , Year =
-
[66]
More concordance homomorphisms from knot
Dai, Irving and Hom, Jennifer and Stoffregen, Matthew and Truong, Linh , Note =. More concordance homomorphisms from knot
-
[67]
and Stern, Ronald J
Galewski, David E. and Stern, Ronald J. , Date-Added =. Classification of simplicial triangulations of topological manifolds , Volume =. Ann. of Math. (2) , Number =
-
[68]
Fr. Equivariant aspects of. Topology , Mrclass =. 2002 , Bdsk-Url-1 =. doi:10.1016/S0040-9383(01)00018-0 , Fjournal =
-
[69]
2005 , eprint=
A concordance invariant from the Floer homology of double branched covers , author=. 2005 , eprint=
2005
-
[70]
Fr. Monopole. Duke Math. J. , Mrclass =. 2010 , Bdsk-Url-1 =. doi:10.1215/00127094-2010-060 , Fjournal =
-
[71]
Monopoles and three-manifolds , Url =
Kronheimer, Peter and Mrowka, Tomasz , Doi =. Monopoles and three-manifolds , Url =. 2007 , Bdsk-Url-1 =
2007
-
[72]
Homology cobordism and triangulations , Year =
Manolescu, Ciprian , Note =. Homology cobordism and triangulations , Year =
-
[73]
On concordances in 3-manifolds , Year =
Celoria, Daniele , Note =. On concordances in 3-manifolds , Year =
-
[74]
Levine, Adam Simon , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/agt.2008.8.1163 , URL =
-
[75]
2026 , howpublished =
Daniele Celoria , title =. 2026 , howpublished =
2026
-
[76]
Edmonds, Allan L. , TITLE =. Topology Appl. , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0166-8641(84)90003-8 , URL =
-
[77]
Ni, Yi , TITLE =. Geom. Topol. , FJOURNAL =. 2009 , NUMBER =. doi:10.2140/gt.2009.13.2991 , URL =
-
[78]
Calegari, Danny and Gordon, Cameron , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2013 , NUMBER =. doi:10.4171/CMH/279 , URL =
-
[79]
The equivalence of
Colin, Vincent and Ghiggini, Paolo and Honda, Ko , Note =. The equivalence of
-
[80]
The absolute gradings on embedded contact homology and
Cristofaro-Gardiner, Daniel , Doi =. The absolute gradings on embedded contact homology and. Algebr. Geom. Topol. , Mrclass =. 2013 , Bdsk-Url-1 =
2013
-
[81]
Involutive
Dai, Irving and Manolescu, Ciprian , Note =. Involutive
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.