{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OS5XGRBNPHU62UTORAREV5QLXK","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"bbac931f88fce09cefb289ac5b93ca2c78f140f20d30cb16b7373631c45d30a3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-05-14T15:56:44Z","title_canon_sha256":"07862a5be9d0319d331e96dca87f6b3f258d1435808b27d234e90cefc9368ce4"},"schema_version":"1.0","source":{"id":"2605.14996","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14996","created_at":"2026-05-17T23:38:54Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14996v1","created_at":"2026-05-17T23:38:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14996","created_at":"2026-05-17T23:38:54Z"},{"alias_kind":"pith_short_12","alias_value":"OS5XGRBNPHU6","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"OS5XGRBNPHU62UTO","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"OS5XGRBN","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:36c815cd85f015860b022c0ed74d844196efc4c82b0aecf79306c29ed7971595","target":"graph","created_at":"2026-05-17T23:38:54Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","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."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","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."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","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."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology."}],"snapshot_sha256":"f968a55e038ba75bc6d93d559e7196973dbb9d87d063f97c36219d1d872a95b6"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"08b03d678eabbaf14f3737bec8f6e840ad902c8710099a9cdbe988e549548d90"},"paper":{"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.","authors_text":"Judson Kuhrman","cross_cats":[],"headline":"Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-05-14T15:56:44Z","title":"Miyazawa's Invariant, Lefschetz Numbers, and Seifert Solids"},"references":{"count":22,"internal_anchors":0,"resolved_work":22,"sample":[{"cited_arxiv_id":"","doi":"10.2307/1970721","is_internal_anchor":false,"ref_index":1,"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","year":1968},{"cited_arxiv_id":"","doi":"10.1016/j.aim.2010.10.014","is_internal_anchor":false,"ref_index":2,"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","year":2011},{"cited_arxiv_id":"","doi":"10.1307/mmj/1523498585","is_internal_anchor":false,"ref_index":3,"title":"Michigan Math","work_id":"7cbe514f-b679-44fe-a929-c1479aaa6b4e","year":2018},{"cited_arxiv_id":"","doi":"10.2307/1969592","is_internal_anchor":false,"ref_index":4,"title":"Fox, Ralph H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1956 , PAGES =. doi:10.2307/1969592 , URL =","work_id":"41b18834-7592-4b7b-add1-84b71e5d2393","year":1956},{"cited_arxiv_id":"","doi":"10.1090/memo/1221","is_internal_anchor":false,"ref_index":5,"title":"Lin, Francesco , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/memo/1221 , URL =","work_id":"8833aa0b-ce8f-4074-a8cc-e86ef88e7593","year":2018}],"snapshot_sha256":"3764d5586dc8f131a61389e87bf8a3830e19eb913a5860359d29b44902373067"},"source":{"id":"2605.14996","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T14:19:42.435790Z","id":"ac62c801-be99-4fea-b932-7aa0d8dfa831","model_set":{"reader":"grok-4.3"},"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","pith_extraction_headline":"Miyazawa's 2-knot invariant |deg| equals the Lefschetz number of a map on ordinary monopole Floer homology.","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.","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."}},"verdict_id":"ac62c801-be99-4fea-b932-7aa0d8dfa831"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c0b3297491c09d849ebdf429ca8ba6114723ef9548cfb8859808486de07c26c4","target":"record","created_at":"2026-05-17T23:38:54Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"bbac931f88fce09cefb289ac5b93ca2c78f140f20d30cb16b7373631c45d30a3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-05-14T15:56:44Z","title_canon_sha256":"07862a5be9d0319d331e96dca87f6b3f258d1435808b27d234e90cefc9368ce4"},"schema_version":"1.0","source":{"id":"2605.14996","kind":"arxiv","version":1}},"canonical_sha256":"74bb73442d79e9ed526e88224af60bbaafdcf5361da59f2f655f420b6e0bd019","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"74bb73442d79e9ed526e88224af60bbaafdcf5361da59f2f655f420b6e0bd019","first_computed_at":"2026-05-17T23:38:54.960786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:54.960786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QNnnEa1rK3Va9a3jTeW+klSw2nXGNIdmAc1RiNK3UPfFJLv8r5M685PLk65aotwv9QtoCspG76l6d2hCp+ruAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:54.961483Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14996","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0b3297491c09d849ebdf429ca8ba6114723ef9548cfb8859808486de07c26c4","sha256:36c815cd85f015860b022c0ed74d844196efc4c82b0aecf79306c29ed7971595"],"state_sha256":"1404998397be666cf1217cc832bc776ac89a38a35082fb8e40a867e80e96b96e"}