Multi-framed real monopole Floer theory
Pith reviewed 2026-06-30 00:54 UTC · model grok-4.3
The pith
The paper constructs framed real monopole Floer homology for three-manifolds with involutions marked by multiple basepoints and proposes Z-valued invariants for four-manifolds with involutions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that there exists a framed real monopole Floer homology for three-manifolds with involutions, marked with multiple basepoints, whose relative gradings depend on the framing information, with a sufficient condition given for the existence of relative mod two gradings; furthermore, assuming orientability and choices of orientations, Z-valued framed real Seiberg-Witten invariants are defined for four-manifolds with involutions marked with circles.
What carries the argument
Framed real monopole Floer homology, which incorporates framing data at multiple basepoints to define the homology groups for three-manifolds equipped with involutions.
If this is right
- The homology groups are equipped with relative gradings determined by the chosen framings at the basepoints.
- A sufficient condition on the framing data guarantees the existence of relative mod-two gradings.
- Z-valued invariants for four-manifolds with involutions are obtained once orientability and orientation choices are fixed.
- The invariants are marked by circles on the four-manifolds and are framed real versions of Seiberg-Witten invariants.
Where Pith is reading between the lines
- The dependence of gradings on framing data implies that distinct framings can produce different homology groups for the same underlying manifold and involution.
- The multi-basepoint marking suggests the theory may be compatible with operations that add or remove basepoints while preserving the involution.
- The construction supplies a new source of invariants that could be compared with other real or equivariant Floer theories once explicit examples are computed.
Load-bearing premise
The definition of the Z-valued invariants requires the assumption of orientability of the four-manifolds together with choices of orientations.
What would settle it
An explicit calculation on a concrete four-manifold with involution showing that the proposed invariants change with different orientation choices or fail to take integer values would falsify the definition.
Figures
read the original abstract
This paper constructs a framed real monopole Floer homology for three-manifolds with involutions, marked with multiple basepoints. The relative gradings of these Floer homologies depend on the framing information and the paper gives a sufficient condition for the existence of relative mod two gradings. Assuming orientability and choices of orientations, this paper also proposes a definition of $\mathbf{Z}$-valued framed real Seiberg--Witten invariants for 4-manifolds with involutions, marked with circles.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper constructs a framed real monopole Floer homology for three-manifolds with involutions, marked with multiple basepoints. The relative gradings of these Floer homologies depend on the framing information and the paper gives a sufficient condition for the existence of relative mod two gradings. Assuming orientability and choices of orientations, this paper also proposes a definition of Z-valued framed real Seiberg-Witten invariants for 4-manifolds with involutions, marked with circles.
Significance. If the constructions and definitions are rigorously established, the work would extend real monopole Floer theory to multi-basepoint and multi-framed settings for 3-manifolds with involutions, while also supplying Z-valued invariants for 4-manifolds with involutions and circle markings. Such invariants could strengthen existing mod-2 versions and find applications in equivariant 3- and 4-manifold topology.
minor comments (1)
- The abstract uses boldface Z for the integers; consistent notation should be checked throughout the manuscript.
Simulated Author's Rebuttal
We thank the referee for the summary of our manuscript, which accurately reflects its content and potential applications. No specific major comments appear in the report, so we offer no point-by-point responses. We maintain that the constructions and definitions are rigorously established in the paper as written.
Circularity Check
No significant circularity identified
full rationale
The paper is a construction of framed real monopole Floer homology for 3-manifolds with involutions and multiple basepoints, together with a proposed definition of Z-valued invariants for 4-manifolds under explicit orientability assumptions. No equations, self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the abstract or description. The central content consists of new definitions and sufficient conditions whose validity is independent of the target objects by construction, making the derivation self-contained.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Orientability of the four-manifolds together with choices of orientations are required for the Z-valued invariants.
Reference graph
Works this paper leans on
-
[1]
Functional Analysis and Its Applications , author=
On the arrangement of ovals of real plane algebraic curves, involutions of four-dimensional smooth manifolds, and the arithmetic of integral quadratic forms , volume=. Functional Analysis and Its Applications , author=. 1971 , pages=
1971
-
[2]
Cyclic Branched Coverings of Brieskorn Spheres Bounding Acyclic 4-manifolds , volume=
ANVARI, NIMA and HAMBLETON, IAN , year=. Cyclic Branched Coverings of Brieskorn Spheres Bounding Acyclic 4-manifolds , volume=. Glasgow Mathematical Journal , publisher=. doi:10.1017/S0017089520000269 , number=
-
[3]
Fintushel, Ronald and Stern, Ronald J. , TITLE =. Math. Res. Lett. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/MRL.1997.v4.n6.a10 , URL =
-
[4]
An exotic 5
Gordana Mati\'. An exotic 5. 2024 , journal=
2024
-
[5]
Appel, Kenneth and Haken, Wolfgang , TITLE =. 1989 , PAGES =. doi:10.1090/conm/098 , URL =
-
[6]
Atiyah, M. F. and Bott, R. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970721 , URL =
-
[7]
Atiyah, M. F. , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.1093/qmath/17.1.367 , URL =
-
[8]
Atiyah, M. F. and Patodi, V. K. and Singer, I. M. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1973 , PAGES =. doi:10.1112/blms/5.2.229 , URL =
-
[9]
Baldwin, John A. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2011 , NUMBER =. doi:10.1093/imrn/rnq220 , URL =
-
[10]
Baldridge, Scott , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1142/S021919970100038X , URL =
-
[11]
Baraglia, David and Hekmati, Pedram , title =. 2021 , copyright =. doi:10.48550/ARXIV.2108.06855 , journal =
-
[12]
Baraglia, David and Hekmati, Pedram , title =. 2022 , copyright =. doi:10.48550/ARXIV.2208.05143 , journal =
-
[13]
and Hedden, Matthew and Lobb, Andrew , TITLE =
Baldwin, John A. and Hedden, Matthew and Lobb, Andrew , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.01.026 , URL =
-
[14]
Berline, Nicole and Getzler, Ezra and Vergne, Mich\`ele , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-642-58088-8 , URL =
-
[15]
Biswas, Indranil and Huisman, Johannes and Hurtubise, Jacques , TITLE =. Math. Ann. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00208-009-0442-5 , URL =
-
[16]
Bloom, Jonathan M. , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2010.10.014 , URL =
-
[17]
Braam, P. J. and Donaldson, S. K. , TITLE =. The. 1995 , ISBN =
1995
-
[18]
Chen, Weimin , TITLE =. J. G\". 2012 , PAGES =
2012
-
[19]
Chen, Weimin , TITLE =. J. Differential Geom. , FJOURNAL =. 2006 , NUMBER =
2006
-
[20]
Geometry and topology of manifolds , SERIES =
Chen, Weimin , TITLE =. Geometry and topology of manifolds , SERIES =. 2005 , ISBN =
2005
-
[21]
Chen, Weimin , TITLE =. J. G\". 2020 , PAGES =
2020
-
[22]
Every real 3-manifold is real contact , publisher =
Cengiz, Merve and Ozturk, Ferit , keywords =. Every real 3-manifold is real contact , publisher =. arXiv 2104.05265 , url =. 2021 , copyright =
arXiv 2021
-
[23]
2014 , PAGES =
Daemi, Aliakbar , TITLE =. 2014 , PAGES =
2014
-
[24]
Abelian Gauge Theory, Knots and Odd Khovanov Homology
Daemi, Aliakbar. Abelian Gauge Theory, Knots and Odd Khovanov Homology. arXiv Preprint 1508.07650. 2015
Pith/arXiv arXiv 2015
-
[25]
Journal of the American Mathematical Society , year =
A Spectral Sequence from Khovanov Homology to Knot Floer Homology , language =. Journal of the American Mathematical Society , year =
-
[26]
2023 , journal=
Lattice homology and Seiberg-Witten-Floer spectra , author=. 2023 , journal=
2023
-
[27]
Finashin, Sergey , TITLE =. Topology , FJOURNAL =. 2002 , NUMBER =. doi:10.1016/S0040-9383(00)00023-9 , URL =
-
[28]
Turkish J
Finashin, Sergey , TITLE =. Turkish J. Math. , FJOURNAL =. 2001 , NUMBER =
2001
-
[29]
Proceedings of
Finashin, Sergey , TITLE =. Proceedings of. 2009 , ISBN =
2009
-
[30]
Finashin, S. M. and Kreck, M. and Viro, O. Ya. , TITLE =. Topology and geometry---. 1988 , ISBN =. doi:10.1007/BFb0082777 , URL =
-
[31]
, TITLE =
Floer, A. , TITLE =. The. 1995 , MRCLASS =
1995
-
[32]
Geometry of low-dimensional manifolds, 1 (
Floer, Andreas , TITLE =. Geometry of low-dimensional manifolds, 1 (. 1990 , ISBN =
1990
-
[33]
Fr. The. Math. Res. Lett. , FJOURNAL =. 1996 , NUMBER =. doi:10.4310/MRL.1996.v3.n3.a7 , URL =
-
[34]
Fr. Monopole. Duke Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.1215/00127094-2010-060 , URL =
-
[35]
Greenlees, J. P. C. and May, J. P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1090/memo/0543 , URL =
-
[36]
Gromov, Mikhael and Lawson, Jr., H. Blaine , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1980 , NUMBER =. doi:10.2307/1971103 , URL =
-
[37]
Seiberg-Witten invariants and real curves
Gayet, Damien , keywords =. Seiberg-Witten invariants and real curves , publisher =. 2004 , copyright =. doi:10.48550/ARXIV.MATH/0404556 , journal =
work page internal anchor Pith review doi:10.48550/arxiv.math/0404556 2004
-
[38]
2018 , PAGES =
Gong, Sherry , TITLE =. 2018 , PAGES =
2018
-
[39]
Hsiang, W. C. and Szczarba, R. H. , TITLE =. Algebraic topology (. 1971 , MRCLASS =
1971
-
[40]
Yuya Kato , keywords =. Nonsmoothable actions of. Topology and its Applications , volume =. 2022 , issn =. doi:https://doi.org/10.1016/j.topol.2021.107868 , url =
-
[41]
Kauffman, Louis H. and Taylor, Laurence R. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1976 , PAGES =. doi:10.2307/1997704 , URL =
-
[42]
Khovanov, Mikhail and Rozansky, Lev , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2007 , NUMBER =
2007
-
[43]
Khovanov, Mikhail and Rozansky, Lev , TITLE =. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/gt.2008.12.1387 , URL =
-
[44]
Kim, Hee Jung , TITLE =. Geom. Topol. , FJOURNAL =. 2006 , PAGES =. doi:10.2140/gt.2006.10.27 , URL =
-
[45]
Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Topology , FJOURNAL =. 1993 , NUMBER =. doi:10.1016/0040-9383(93)90051-V , URL =
-
[46]
Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Topology , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0040-9383(94)E0003-3 , URL =
-
[47]
Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Math. Res. Lett. , FJOURNAL =. 1994 , NUMBER =. doi:10.4310/MRL.1994.v1.n6.a14 , URL =
-
[48]
Kronheimer, Peter and Mrowka, Tomasz , TITLE =. J. Differential Geom. , FJOURNAL =. 2010 , NUMBER =
2010
-
[49]
Khovanov, Mikhail , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =. doi:10.1215/S0012-7094-00-10131-7 , URL =
-
[50]
Khovanov, Mikhail , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.1045 , URL =
-
[51]
Kronheimer, P. B. and Mrowka, T. S. , TITLE =. 2007 , PAGES =. doi:10.1017/CBO9780511543111 , URL =
-
[52]
Kronheimer, Peter B. and Mrowka, Tomasz S. , TITLE =. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/gt.2019.23.1491 , URL =
-
[53]
Kronheimer, P. B. and Mrowka, T. S. , TITLE =. J. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/jtopol/jtw010 , URL =
-
[54]
Kronheimer, P. B. and Mrowka, T. S. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/JEMS/831 , URL =
-
[55]
Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Publ. Math. Inst. Hautes \'. 2011 , PAGES =. doi:10.1007/s10240-010-0030-y , URL =
-
[56]
Kronheimer, P. and Mrowka, T. and Ozsv\'. Monopoles and lens space surgeries , JOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.165.457 , URL =
-
[57]
2023 , journal=
A gauge theoretic invariant of embedded surfaces in 4-manifolds and exotic P^2 -knots , author=. 2023 , journal=
2023
-
[58]
Hokuto Konno and Jin Miyazawa and Masaki Taniguchi , year=. Involutions, knots, and. arXiv Preprint 2110.09258 , archivePrefix=
-
[60]
Exotically knotted closed surfaces from
Hokuto Konno and Abhishek Mallick and Masaki Taniguchi , year=. Exotically knotted closed surfaces from. arXiv Preprint 2409.07287 , archivePrefix=
-
[61]
Cables of the figure-eight knot via real Fr
Sungkyung Kang and JungHwan Park and Masaki Taniguchi , year=. Cables of the figure-eight knot via real Fr. arXiv Preprint 2405.09295 , archivePrefix=
-
[62]
Kuperberg, Greg , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1996 , NUMBER =
1996
-
[63]
The homotopy type of the unitary group of Hilbert space , journal =. 1965 , issn =. doi:https://doi.org/10.1016/0040-9383(65)90067-4 , url =
-
[64]
Dimension theory , SERIES =
Nagami, Kei\^. Dimension theory , SERIES =. 1970 , PAGES =
1970
-
[65]
LeBrun, Claude , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 2015 , NUMBER =. doi:10.2969/jmsj/06730979 , URL =
-
[66]
Lee, Ronnie and Weintraub, Steven H. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2160729 , URL =
-
[67]
Lidman, Tye and Manolescu, Ciprian , TITLE =. Ast\'. 2018 , NUMBER =
2018
-
[68]
Ast\'erisque , FJOURNAL =
Lidman, Tye and Manolescu, Ciprian , TITLE =. Ast\'erisque , FJOURNAL =. 2018 , NUMBER =
2018
-
[69]
Lin, Francesco , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/memo/1221 , URL =
-
[70]
Lin, Francesco and Lipnowski, Michael , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/jams/982 , URL =
-
[71]
Lin, Francesco and Lipnowski, Michael , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , NUMBER =. doi:10.1093/imrn/rnaa310 , URL =
-
[72]
2024 , title =
Journal of the European Mathematical Society , publisher =. 2024 , title =
2024
-
[73]
Manolescu, Ciprian , TITLE =. Math. Res. Lett. , FJOURNAL =. 2007 , NUMBER =. doi:10.4310/MRL.2007.v14.n5.a11 , URL =
-
[74]
Manolescu, Ciprian , TITLE =. Geom. Topol. , FJOURNAL =. 2003 , PAGES =. doi:10.2140/gt.2003.7.889 , URL =
-
[75]
Manolescu, Ciprian , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/jams829 , URL =
-
[76]
International Mathematics Research Notices , volume =
Manolescu, Ciprian and Owens, Brendan , title = ". International Mathematics Research Notices , volume =. 2007 , month =. doi:10.1093/imrn/rnm077 , url =
-
[77]
2006 , PAGES =
Milnor, John , TITLE =. 2006 , PAGES =
2006
-
[78]
Mu\. Seiberg-. Math. Nachr. , FJOURNAL =. 2005 , NUMBER =. doi:10.1002/mana.200310277 , URL =
-
[79]
Mrowka, Tomasz and Ozsv\'. Seiberg-. Comm. Anal. Geom. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/CAG.1997.v5.n4.a3 , URL =
-
[80]
Morgan, John W. and Mrowka, Tomasz S. and Szab\'o, Zolt\'an , TITLE =. Math. Res. Lett. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/MRL.1997.v4.n6.a11 , URL =
-
[81]
2022 , journal=
Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary , author=. 2022 , journal=
2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.