{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:OS5XGRBNPHU62UTORAREV5QLXK","short_pith_number":"pith:OS5XGRBN","schema_version":"1.0","canonical_sha256":"74bb73442d79e9ed526e88224af60bbaafdcf5361da59f2f655f420b6e0bd019","source":{"kind":"arxiv","id":"2605.14996","version":1},"attestation_state":"computed","paper":{"title":"Miyazawa's Invariant, Lefschetz Numbers, and Seifert Solids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Judson Kuhrman","submitted_at":"2026-05-14T15:56:44Z","abstract_excerpt":"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."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.14996","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-05-14T15:56:44Z","cross_cats_sorted":[],"title_canon_sha256":"07862a5be9d0319d331e96dca87f6b3f258d1435808b27d234e90cefc9368ce4","abstract_canon_sha256":"bbac931f88fce09cefb289ac5b93ca2c78f140f20d30cb16b7373631c45d30a3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:38:54.961483Z","signature_b64":"QNnnEa1rK3Va9a3jTeW+klSw2nXGNIdmAc1RiNK3UPfFJLv8r5M685PLk65aotwv9QtoCspG76l6d2hCp+ruAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74bb73442d79e9ed526e88224af60bbaafdcf5361da59f2f655f420b6e0bd019","last_reissued_at":"2026-05-17T23:38:54.960786Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:38:54.960786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Miyazawa's Invariant, Lefschetz Numbers, and Seifert Solids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Judson Kuhrman","submitted_at":"2026-05-14T15:56:44Z","abstract_excerpt":"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."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We establish a formula expressing Miyazawa's 2-knot invariant |deg| in terms of the Lefschetz number of a map on ordinary (i.e., not real) monopole Floer homology.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That there exists a well-defined map on the monopole Floer homology whose Lefschetz number exactly recovers |deg|, and that Lin's Pin(2)-equivariant construction extends to integer coefficients without introducing new obstructions.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Miyazawa's |deg| for 2-knots equals the Lefschetz number on ordinary monopole Floer homology, hence equals 1 for any 2-knot with a punctured L-space Seifert solid.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"f968a55e038ba75bc6d93d559e7196973dbb9d87d063f97c36219d1d872a95b6"},"source":{"id":"2605.14996","kind":"arxiv","version":1},"verdict":{"id":"ac62c801-be99-4fea-b932-7aa0d8dfa831","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T14:19:42.435790Z","strongest_claim":"We establish a formula expressing Miyazawa's 2-knot invariant |deg| in terms of the Lefschetz number of a map on ordinary (i.e., not real) monopole Floer homology.","one_line_summary":"Miyazawa's |deg| for 2-knots equals the Lefschetz number on ordinary monopole Floer homology, hence equals 1 for any 2-knot with a punctured L-space Seifert solid.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That there exists a well-defined map on the monopole Floer homology whose Lefschetz number exactly recovers |deg|, and that Lin's Pin(2)-equivariant construction extends to integer coefficients without introducing new obstructions.","pith_extraction_headline":"Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology."},"references":{"count":22,"sample":[{"doi":"10.2307/1970721","year":1968,"title":"Atiyah, M. F. and Bott, R. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970721 , URL =","work_id":"da6c03ea-fe20-4aeb-83c5-64258dfd3b76","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1016/j.aim.2010.10.014","year":2011,"title":"Bloom, Jonathan M. , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2010.10.014 , URL =","work_id":"cc7b9cb3-6d34-44c9-9e99-87e2dcb5836a","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1307/mmj/1523498585","year":2018,"title":"Michigan Math","work_id":"7cbe514f-b679-44fe-a929-c1479aaa6b4e","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.2307/1969592","year":1956,"title":"Fox, Ralph H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1956 , PAGES =. doi:10.2307/1969592 , URL =","work_id":"41b18834-7592-4b7b-add1-84b71e5d2393","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1090/memo/1221","year":2018,"title":"Lin, Francesco , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/memo/1221 , URL =","work_id":"8833aa0b-ce8f-4074-a8cc-e86ef88e7593","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":22,"snapshot_sha256":"3764d5586dc8f131a61389e87bf8a3830e19eb913a5860359d29b44902373067","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"08b03d678eabbaf14f3737bec8f6e840ad902c8710099a9cdbe988e549548d90"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.14996","created_at":"2026-05-17T23:38:54.960886+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.14996v1","created_at":"2026-05-17T23:38:54.960886+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14996","created_at":"2026-05-17T23:38:54.960886+00:00"},{"alias_kind":"pith_short_12","alias_value":"OS5XGRBNPHU6","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"OS5XGRBNPHU62UTO","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"OS5XGRBN","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK","json":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK.json","graph_json":"https://pith.science/api/pith-number/OS5XGRBNPHU62UTORAREV5QLXK/graph.json","events_json":"https://pith.science/api/pith-number/OS5XGRBNPHU62UTORAREV5QLXK/events.json","paper":"https://pith.science/paper/OS5XGRBN"},"agent_actions":{"view_html":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK","download_json":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK.json","view_paper":"https://pith.science/paper/OS5XGRBN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.14996&json=true","fetch_graph":"https://pith.science/api/pith-number/OS5XGRBNPHU62UTORAREV5QLXK/graph.json","fetch_events":"https://pith.science/api/pith-number/OS5XGRBNPHU62UTORAREV5QLXK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK/action/storage_attestation","attest_author":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK/action/author_attestation","sign_citation":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK/action/citation_signature","submit_replication":"https://pith.science/pith/OS5XGRBNPHU62UTORAREV5QLXK/action/replication_record"}},"created_at":"2026-05-17T23:38:54.960886+00:00","updated_at":"2026-05-17T23:38:54.960886+00:00"}