pith. sign in

arxiv: 2606.28596 · v1 · pith:7ZGD5ZY2new · submitted 2026-06-26 · 🧮 math.GT

Multi-framed real monopole Floer theory

Pith reviewed 2026-06-30 00:54 UTC · model grok-4.3

classification 🧮 math.GT
keywords real monopole Floer homologyframed Floer homologythree-manifolds with involutionsSeiberg-Witten invariantsfour-manifolds with involutionsmultiple basepointsrelative gradingsmulti-framing
0
0 comments X

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.

This work develops a version of monopole Floer homology adapted to three-manifolds that carry involutions together with multiple basepoints at which framing data is recorded. The resulting homology groups carry relative gradings that depend on the framing information, and a sufficient condition is supplied for the existence of relative mod-two gradings. Assuming the four-manifolds are orientable and orientations have been chosen, the paper also supplies a definition of integer-valued framed real Seiberg-Witten invariants for four-manifolds equipped with involutions and marked by circles. The constructions extend classical Floer and Seiberg-Witten theories into the setting of real structures and multi-point framings.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2606.28596 by Jiakai Li.

Figure 1
Figure 1. Figure 1: Table of notations in Morse and monopole theories Example 2.2 (Tt ). Suppose 0 ≤ r ≤ t. This example models the case of a pointed real 3-manifold that admits an invariant metric of positive scalar curvature. The prototype is the double branched cover #t (S 1 × S 2 ) of the (t + 1)-component unlink Ut+1, and there are (r + 1) basepoints on (r + 1) components of Ut+1, cf § 3. Let B = Bred = Tt ∼= (R/Z) t ; t… view at source ↗
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.

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

0 major / 1 minor

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)
  1. The abstract uses boldface Z for the integers; consistent notation should be checked throughout the manuscript.

Simulated Author's Rebuttal

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; the ledger is therefore minimal and records only the orientability assumption explicitly stated for the four-manifold invariants.

axioms (1)
  • domain assumption Orientability of the four-manifolds together with choices of orientations are required for the Z-valued invariants.
    Explicitly stated in the final sentence of the abstract as a prerequisite for the definition.

pith-pipeline@v0.9.1-grok · 5587 in / 1248 out tokens · 38641 ms · 2026-06-30T00:54:55.427336+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

119 extracted references · 70 canonical work pages · 1 internal anchor

  1. [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=

  2. [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. [3]

    , TITLE =

    Fintushel, Ronald and Stern, Ronald J. , TITLE =. Math. Res. Lett. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/MRL.1997.v4.n6.a10 , URL =

  4. [4]

    An exotic 5

    Gordana Mati\'. An exotic 5. 2024 , journal=

  5. [5]

    1989 , PAGES =

    Appel, Kenneth and Haken, Wolfgang , TITLE =. 1989 , PAGES =. doi:10.1090/conm/098 , URL =

  6. [6]

    Atiyah, M. F. and Bott, R. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970721 , URL =

  7. [7]

    Atiyah, M. F. , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.1093/qmath/17.1.367 , URL =

  8. [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. [9]

    , TITLE =

    Baldwin, John A. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2011 , NUMBER =. doi:10.1093/imrn/rnq220 , URL =

  10. [10]

    Baldridge, Scott , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1142/S021919970100038X , URL =

  11. [11]

    2021 , copyright =

    Baraglia, David and Hekmati, Pedram , title =. 2021 , copyright =. doi:10.48550/ARXIV.2108.06855 , journal =

  12. [12]

    2022 , copyright =

    Baraglia, David and Hekmati, Pedram , title =. 2022 , copyright =. doi:10.48550/ARXIV.2208.05143 , journal =

  13. [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. [14]

    1992 , PAGES =

    Berline, Nicole and Getzler, Ezra and Vergne, Mich\`ele , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-642-58088-8 , URL =

  15. [15]

    Biswas, Indranil and Huisman, Johannes and Hurtubise, Jacques , TITLE =. Math. Ann. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00208-009-0442-5 , URL =

  16. [16]

    , TITLE =

    Bloom, Jonathan M. , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2010.10.014 , URL =

  17. [17]

    Braam, P. J. and Donaldson, S. K. , TITLE =. The. 1995 , ISBN =

  18. [18]

    Chen, Weimin , TITLE =. J. G\". 2012 , PAGES =

  19. [19]

    Chen, Weimin , TITLE =. J. Differential Geom. , FJOURNAL =. 2006 , NUMBER =

  20. [20]

    Geometry and topology of manifolds , SERIES =

    Chen, Weimin , TITLE =. Geometry and topology of manifolds , SERIES =. 2005 , ISBN =

  21. [21]

    Chen, Weimin , TITLE =. J. G\". 2020 , PAGES =

  22. [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 =

  23. [23]

    2014 , PAGES =

    Daemi, Aliakbar , TITLE =. 2014 , PAGES =

  24. [24]

    Abelian Gauge Theory, Knots and Odd Khovanov Homology

    Daemi, Aliakbar. Abelian Gauge Theory, Knots and Odd Khovanov Homology. arXiv Preprint 1508.07650. 2015

  25. [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. [26]

    2023 , journal=

    Lattice homology and Seiberg-Witten-Floer spectra , author=. 2023 , journal=

  27. [27]

    Topology , FJOURNAL =

    Finashin, Sergey , TITLE =. Topology , FJOURNAL =. 2002 , NUMBER =. doi:10.1016/S0040-9383(00)00023-9 , URL =

  28. [28]

    Turkish J

    Finashin, Sergey , TITLE =. Turkish J. Math. , FJOURNAL =. 2001 , NUMBER =

  29. [29]

    Proceedings of

    Finashin, Sergey , TITLE =. Proceedings of. 2009 , ISBN =

  30. [30]

    Finashin, S. M. and Kreck, M. and Viro, O. Ya. , TITLE =. Topology and geometry---. 1988 , ISBN =. doi:10.1007/BFb0082777 , URL =

  31. [31]

    , TITLE =

    Floer, A. , TITLE =. The. 1995 , MRCLASS =

  32. [32]

    Geometry of low-dimensional manifolds, 1 (

    Floer, Andreas , TITLE =. Geometry of low-dimensional manifolds, 1 (. 1990 , ISBN =

  33. [33]

    Fr. The. Math. Res. Lett. , FJOURNAL =. 1996 , NUMBER =. doi:10.4310/MRL.1996.v3.n3.a7 , URL =

  34. [34]

    Monopole

    Fr. Monopole. Duke Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.1215/00127094-2010-060 , URL =

  35. [35]

    Greenlees, J. P. C. and May, J. P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1090/memo/0543 , URL =

  36. [36]

    Blaine , TITLE =

    Gromov, Mikhael and Lawson, Jr., H. Blaine , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1980 , NUMBER =. doi:10.2307/1971103 , URL =

  37. [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 =

  38. [38]

    2018 , PAGES =

    Gong, Sherry , TITLE =. 2018 , PAGES =

  39. [39]

    Hsiang, W. C. and Szczarba, R. H. , TITLE =. Algebraic topology (. 1971 , MRCLASS =

  40. [40]

    Nonsmoothable actions of

    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. [41]

    and Taylor, Laurence R

    Kauffman, Louis H. and Taylor, Laurence R. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1976 , PAGES =. doi:10.2307/1997704 , URL =

  42. [42]

    Khovanov, Mikhail and Rozansky, Lev , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2007 , NUMBER =

  43. [43]

    Khovanov, Mikhail and Rozansky, Lev , TITLE =. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/gt.2008.12.1387 , URL =

  44. [44]

    Kim, Hee Jung , TITLE =. Geom. Topol. , FJOURNAL =. 2006 , PAGES =. doi:10.2140/gt.2006.10.27 , URL =

  45. [45]

    Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Topology , FJOURNAL =. 1993 , NUMBER =. doi:10.1016/0040-9383(93)90051-V , URL =

  46. [46]

    Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Topology , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0040-9383(94)E0003-3 , URL =

  47. [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. [48]

    Kronheimer, Peter and Mrowka, Tomasz , TITLE =. J. Differential Geom. , FJOURNAL =. 2010 , NUMBER =

  49. [49]

    Duke Math

    Khovanov, Mikhail , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =. doi:10.1215/S0012-7094-00-10131-7 , URL =

  50. [50]

    Khovanov, Mikhail , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.1045 , URL =

  51. [51]

    Kronheimer, P. B. and Mrowka, T. S. , TITLE =. 2007 , PAGES =. doi:10.1017/CBO9780511543111 , URL =

  52. [52]

    and Mrowka, Tomasz S

    Kronheimer, Peter B. and Mrowka, Tomasz S. , TITLE =. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/gt.2019.23.1491 , URL =

  53. [53]

    Kronheimer, P. B. and Mrowka, T. S. , TITLE =. J. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/jtopol/jtw010 , URL =

  54. [54]

    Kronheimer, P. B. and Mrowka, T. S. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/JEMS/831 , URL =

  55. [55]

    Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Publ. Math. Inst. Hautes \'. 2011 , PAGES =. doi:10.1007/s10240-010-0030-y , URL =

  56. [56]

    and Mrowka, T

    Kronheimer, P. and Mrowka, T. and Ozsv\'. Monopoles and lens space surgeries , JOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.165.457 , URL =

  57. [57]

    2023 , journal=

    A gauge theoretic invariant of embedded surfaces in 4-manifolds and exotic P^2 -knots , author=. 2023 , journal=

  58. [58]

    Involutions, knots, and

    Hokuto Konno and Jin Miyazawa and Masaki Taniguchi , year=. Involutions, knots, and. arXiv Preprint 2110.09258 , archivePrefix=

  59. [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=

  60. [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=

  61. [62]

    Kuperberg, Greg , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1996 , NUMBER =

  62. [63]

    1965 , issn =

    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 =

  63. [64]

    Dimension theory , SERIES =

    Nagami, Kei\^. Dimension theory , SERIES =. 1970 , PAGES =

  64. [65]

    LeBrun, Claude , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 2015 , NUMBER =. doi:10.2969/jmsj/06730979 , URL =

  65. [66]

    , TITLE =

    Lee, Ronnie and Weintraub, Steven H. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2160729 , URL =

  66. [67]

    Lidman, Tye and Manolescu, Ciprian , TITLE =. Ast\'. 2018 , NUMBER =

  67. [68]

    Ast\'erisque , FJOURNAL =

    Lidman, Tye and Manolescu, Ciprian , TITLE =. Ast\'erisque , FJOURNAL =. 2018 , NUMBER =

  68. [69]

    Lin, Francesco , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/memo/1221 , URL =

  69. [70]

    Lin, Francesco and Lipnowski, Michael , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/jams/982 , URL =

  70. [71]

    Lin, Francesco and Lipnowski, Michael , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , NUMBER =. doi:10.1093/imrn/rnaa310 , URL =

  71. [72]

    2024 , title =

    Journal of the European Mathematical Society , publisher =. 2024 , title =

  72. [73]

    Manolescu, Ciprian , TITLE =. Math. Res. Lett. , FJOURNAL =. 2007 , NUMBER =. doi:10.4310/MRL.2007.v14.n5.a11 , URL =

  73. [74]

    Manolescu, Ciprian , TITLE =. Geom. Topol. , FJOURNAL =. 2003 , PAGES =. doi:10.2140/gt.2003.7.889 , URL =

  74. [75]

    Manolescu, Ciprian , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/jams829 , URL =

  75. [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 =

  76. [77]

    2006 , PAGES =

    Milnor, John , TITLE =. 2006 , PAGES =

  77. [78]

    Seiberg-

    Mu\. Seiberg-. Math. Nachr. , FJOURNAL =. 2005 , NUMBER =. doi:10.1002/mana.200310277 , URL =

  78. [79]

    Seiberg-

    Mrowka, Tomasz and Ozsv\'. Seiberg-. Comm. Anal. Geom. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/CAG.1997.v5.n4.a3 , URL =

  79. [80]

    and Mrowka, Tomasz S

    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 =

  80. [81]

    2022 , journal=

    Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary , author=. 2022 , journal=

Showing first 80 references.