arxiv: 2605.14996 · v1 · submitted 2026-05-14 · 🧮 math.GT

Recognition: 2 theorem links

· Lean Theorem

Miyazawa's Invariant, Lefschetz Numbers, and Seifert Solids

Judson Kuhrman

Authors on Pith no claims yet

Pith reviewed 2026-05-15 14:19 UTC · model grok-4.3

classification 🧮 math.GT

keywords Miyazawa invariant2-knotsmonopole Floer homologyLefschetz numberSeifert solidsL-spacesPin(2) equivariance

0 comments

The pith

Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives an explicit formula that computes Miyazawa's 2-knot invariant |deg| directly from the Lefschetz number of a map defined on standard monopole Floer homology. This links a geometric invariant of 2-knots in four-space to gauge-theoretic data that can be extracted from Floer groups. As a direct consequence, |deg| must equal 1 whenever a 2-knot bounds a punctured L-space as its Seifert solid. The same argument also shows that Lin's Pin(2)-equivariant perturbation scheme for monopole Floer homology extends to integer coefficients without extra obstructions.

Core claim

We establish a formula expressing Miyazawa's 2-knot invariant |deg| in terms of the Lefschetz number of a map on ordinary monopole Floer homology. As an application, we deduce that |deg|=1 for any 2-knot in S^4 which has a punctured L-space as a Seifert solid. In the course of the proof we show how Francesco Lin's construction of monopole Floer homology with Pin(2)-equivariant perturbations can be made to work with integer coefficients.

What carries the argument

A map on ordinary (non-real) monopole Floer homology groups whose Lefschetz number recovers Miyazawa's |deg| for 2-knots, constructed via Pin(2)-equivariant perturbations that work over the integers.

If this is right

|deg| equals 1 for every 2-knot that bounds a punctured L-space Seifert solid.
Miyazawa's invariant becomes computable from ordinary monopole Floer homology data rather than real Floer data.
The Pin(2)-equivariant construction of monopole Floer homology is available over the integers.
Any 2-knot whose Seifert solid is an L-space has |deg| equal to 1.

Where Pith is reading between the lines

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

The formula opens the possibility of computing |deg| for additional families of 2-knots once their monopole Floer groups are known.
It suggests that |deg| may detect the existence or non-existence of certain L-space fillings for 2-knots.
Similar Lefschetz-number formulas could be sought for other 2-knot invariants by adapting the same perturbation scheme.

Load-bearing premise

That a well-defined map exists on the monopole Floer homology whose Lefschetz number exactly equals |deg|, and that Lin's Pin(2) construction extends to integer coefficients without new obstructions.

What would settle it

A 2-knot in S^4 with a punctured L-space Seifert solid for which direct computation shows |deg| differs from the Lefschetz number of the corresponding map on its monopole Floer homology.

read the original abstract

We establish a formula expressing Miyazawa's 2-knot invariant $|\mathrm{deg}|$ in terms of the Lefschetz number of a map on ordinary (i.e., not real) monopole Floer homology. As an application, we deduce that $|\mathrm{deg}|=1$ for any 2-knot in $S^4$ which has a punctured $L$-space as a Seifert solid. In the course of the proof of the main theorem, we show how Francesco Lin's construction of monopole Floer homology with $\operatorname{Pin}(2)$-equivariant perturbations can be made to work with integer coefficients.

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.

Desk Editor's Note private letter to a colleague

The paper gives a formula for Miyazawa's |deg| as a Lefschetz number on ordinary monopole Floer homology by extending Lin's Pin(2) perturbations to Z-coefficients, with a quick application to L-space Seifert solids.

read the letter

The main new piece is the explicit formula that turns |deg| into the Lefschetz number of a map on ordinary monopole Floer homology. The paper also shows how to run Lin's Pin(2)-equivariant perturbations over the integers rather than rationals or reals. Once that is in place, the application is immediate: any 2-knot whose Seifert solid is a punctured L-space has |deg| equal to 1. That link is concrete and could make some 2-knot calculations more direct for people already using Floer tools. The derivation appears to rest on existing constructions without obvious circularity or free parameters. The integer-coefficient step is the part that adds something practical, since it keeps the homology ordinary instead of real. The soft spot is exactly the one the stress test flags. If the Floer chain groups carry torsion, the induced endomorphism may not stay well-defined up to chain homotopy over Z, and the Lefschetz number could then differ from its rational counterpart or become undefined. The abstract states that the perturbations and continuation maps extend without new obstructions, but the details on freeness and homotopy equivalences would need checking before the formula can be trusted in full generality. The thinking is clear and stays inside the existing literature on monopole Floer homology. No internal contradictions show up in the claims. This is for specialists who already work with Pin(2)-equivariant Floer homology and 2-knot invariants. A reader comfortable with those constructions would get the most out of it and could verify the coefficient extension in a few hours. I would send it to peer review. The central formula is specific enough that a referee could test it against known examples and decide whether the Z-extension holds.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a formula expressing Miyazawa's 2-knot invariant |deg| in terms of the Lefschetz number of a map on ordinary (non-real) monopole Floer homology. As an application, it deduces that |deg|=1 for any 2-knot in S^4 admitting a punctured L-space as Seifert solid. The proof includes an adaptation of Francesco Lin's Pin(2)-equivariant perturbation construction to work over integer coefficients.

Significance. If the central formula is valid, the work supplies a concrete bridge between Miyazawa's invariant and standard monopole Floer homology, enabling potential computations via existing Floer packages. The integer-coefficient extension of Lin's construction is a reusable technical contribution. The L-space application furnishes an infinite family of 2-knots for which |deg| is provably 1, sharpening the landscape of 2-knot invariants.

major comments (2)

[§4] §4 (proof of the main theorem): the assertion that Lin's Pin(2)-equivariant perturbations and continuation maps extend to Z-coefficients without new obstructions lacks an explicit argument that the resulting chain complexes remain free or that the induced endomorphism is well-defined up to chain homotopy when 2-torsion appears in the Floer groups. The Lefschetz number over Z may then differ from its rational counterpart, breaking the claimed equality with |deg|.
[§3.2] §3.2 (definition of the map on ordinary monopole Floer homology): the construction of the endomorphism whose Lefschetz number recovers |deg| is obtained by adapting Lin's real version, but the manuscript does not verify that the map preserves the integer lattice or commutes with the differential up to homotopy over Z for the specific 3-manifolds arising from Seifert solids.

minor comments (2)

[Introduction] The distinction between 'ordinary' and 'real' monopole Floer homology is mentioned in the abstract but should be recalled with a brief sentence in the introduction for readers outside the immediate subfield.
[Theorem 1.1] Notation for the Lefschetz number (e.g., whether it is taken over Z or Q) should be fixed consistently in the statement of the main theorem and in the application to L-spaces.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the arguments over integer coefficients require more explicit justification. We will revise the manuscript to address both major comments by adding the missing details on freeness, integrality, and homotopy commutativity. These additions strengthen the exposition without changing the main results.

read point-by-point responses

Referee: §4 (proof of the main theorem): the assertion that Lin's Pin(2)-equivariant perturbations and continuation maps extend to Z-coefficients without new obstructions lacks an explicit argument that the resulting chain complexes remain free or that the induced endomorphism is well-defined up to chain homotopy when 2-torsion appears in the Floer groups. The Lefschetz number over Z may then differ from its rational counterpart, breaking the claimed equality with |deg|.

Authors: We agree that an explicit argument is needed. In the revised §4 we will insert a new paragraph showing that the relevant 3-manifolds (Seifert fibered spaces arising as punctured L-space Seifert solids) have monopole Floer homology groups that are free abelian of rank one in a single degree, with no 2-torsion; this follows from the isomorphism with Heegaard Floer homology for L-spaces. Consequently the chain complexes are free Z-modules, the endomorphism induced by the adapted Pin(2)-equivariant perturbation is well-defined over Z, and the Lefschetz number computed over Z coincides with the one over Q. The continuation maps are constructed exactly as in Lin's work but with integer coefficients; no division by 2 occurs because the equivariant perturbation data are chosen to be integral from the outset. revision: partial
Referee: §3.2 (definition of the map on ordinary monopole Floer homology): the construction of the endomorphism whose Lefschetz number recovers |deg| is obtained by adapting Lin's real version, but the manuscript does not verify that the map preserves the integer lattice or commutes with the differential up to homotopy over Z for the specific 3-manifolds arising from Seifert solids.

Authors: We will expand §3.2 with a short verification subsection. For the Seifert manifolds under consideration the underlying chain complexes are free Z-modules (as already noted above). The endomorphism is defined by counting solutions to the perturbed Seiberg-Witten equations with the same integral perturbation data used in Lin's construction; because the perturbation is Pin(2)-equivariant and the moduli spaces are cut out transversely over Z, the map sends the integer lattice to itself. Commutation with the differential up to homotopy follows by the standard continuation argument, which carries over verbatim to Z coefficients once freeness is established. We will include a brief diagram chase confirming that the homotopy operators remain integral. revision: partial

Circularity Check

0 steps flagged

Derivation uses independent Floer constructions and adaptation of Lin's work without self-referential reduction.

full rationale

The paper defines a map on monopole Floer homology by extending Lin's Pin(2)-equivariant perturbations to Z-coefficients and shows that its Lefschetz number equals Miyazawa's |deg|. No quoted equation or definition reduces this equality to a tautology, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The central claim remains an independent computation from existing Floer data rather than a rephrasing of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claim rests on the standard well-definedness of monopole Floer homology and the extension of an existing construction to integer coefficients, without introducing fitted numerical parameters or new postulated entities.

axioms (1)

domain assumption Francesco Lin's construction of monopole Floer homology with Pin(2)-equivariant perturbations extends to integer coefficients
The paper states that this extension can be made to work and uses it in the proof of the main formula.

invented entities (1)

the map on ordinary monopole Floer homology no independent evidence
purpose: whose Lefschetz number equals Miyazawa's |deg|
The map is introduced to link the two invariants; no independent falsifiable evidence for its existence outside the derivation is provided.

pith-pipeline@v0.9.0 · 5397 in / 1398 out tokens · 56011 ms · 2026-05-15T14:19:42.435790+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1... |deg(˜X)| = |1 + 2 Tr(ȷ^*(W^* - 1))| where Tr is the Lefschetz number.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

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

work page doi:10.2307/1970721 1968
[2]

, TITLE =

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

work page doi:10.1016/j.aim.2010.10.014 2011
[3]

Michigan Math

Dai, Irving , TITLE =. Michigan Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1307/mmj/1523498585 , URL =

work page doi:10.1307/mmj/1523498585 2018
[4]

, TITLE =

Fox, Ralph H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1956 , PAGES =. doi:10.2307/1969592 , URL =

work page doi:10.2307/1969592 1956
[5]

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

work page doi:10.1090/memo/1221 2018
[6]

Lin, Jianfeng , TITLE =. J. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/topo.12090 , URL =

work page doi:10.1112/topo.12090 2019
[7]

Litherland, R. A. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1979 , PAGES =. doi:10.2307/1998993 , URL =

work page doi:10.2307/1998993 1979
[8]

Konno, Hokuto and Miyazawa, Jin and Taniguchi, Masaki , TITLE =. Compos. Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/S0010437X25102820 , URL =

work page doi:10.1112/s0010437x25102820 2025
[9]

Lin, Jianfeng and Ruberman, Daniel and Saveliev, Nikolai , TITLE =. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/gt.2018.22.2865 , URL =

work page doi:10.2140/gt.2018.22.2865 2018
[10]

Manolescu, Ciprian , TITLE =. J. Differential Geom. , FJOURNAL =. 2007 , NUMBER =

work page 2007
[11]

Mrowka, Tomasz and Ruberman, Daniel and Saveliev, Nikolai , TITLE =. J. Differential Geom. , FJOURNAL =. 2011 , NUMBER =

work page 2011
[12]

Mrowka, Tomasz and Ozsv\'ath, Peter and Yu, Baozhen , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/CAG.1997.v5.n4.a3 , URL =

work page doi:10.4310/cag.1997.v5.n4.a3 1997
[13]

Nakamura, Nobuhiro , TITLE =. J. Differential Geom. , FJOURNAL =. 2015 , NUMBER =

work page 2015
[14]

2004 , PAGES =

Carter, Scott and Kamada, Seiichi and Saito, Masahico , TITLE =. 2004 , PAGES =. doi:10.1007/978-3-662-10162-9 , URL =

work page doi:10.1007/978-3-662-10162-9 2004
[15]

and Fox, Ralph H

Crowell, Richard H. and Fox, Ralph H. , TITLE =. 1977 , PAGES =

work page 1977
[16]

2007 , PAGES =

Kronheimer, Peter and Mrowka, Tomasz , TITLE =. 2007 , PAGES =. doi:10.1017/CBO9780511543111 , URL =

work page doi:10.1017/cbo9780511543111 2007
[17]

, TITLE =

Morgan, John W. , TITLE =. 1996 , PAGES =

work page 1996
[18]

Austin, D. M. and Braam, P. J. , TITLE =. The. 1995 , ISBN =

work page 1995
[19]

Geometric Homology

Max Lipyanskiy. Geometric Homology. 2014

work page 2014
[20]

A gauge theoretic invariant of embedded surfaces in 4 -manifolds and exotic P ^2 -knots

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

work page 2023
[21]

A satellite formula for real Seiberg-Witten Floer homotopy types

Jin Miyazawa and JungHwan Park and Masaki Taniguchi , title="A satellite formula for real Seiberg-Witten Floer homotopy types", year = "2025", note = "preprint,

work page 2025
[22]

Cables of the figure-eight knot via real F r yshov invariants

Kang, Sungkyung and Park, JungHwan and Taniguchi, Masaki. Cables of the figure-eight knot via real F r yshov invariants. 2024

work page 2024