{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:6NLSL7EBDR2JFQADERXZSPSCMF","short_pith_number":"pith:6NLSL7EB","schema_version":"1.0","canonical_sha256":"f35725fc811c7492c003246f993e4261770db741b88e4d2f5f6ad761195c1433","source":{"kind":"arxiv","id":"2605.12921","version":1},"attestation_state":"computed","paper":{"title":"An irreducible real projective plane in the 4-sphere","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"An irreducible embedded projective plane is constructed in S^4, countering the Kinoshita conjecture via a peripheral map with kernel of order 2.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Gheehyun Nahm, Maggie Miller, Mark Hughes, Seungwon Kim","submitted_at":"2026-05-13T02:56:46Z","abstract_excerpt":"We construct an irreducible embedded projective plane in $S^4$. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. Moreover, we answer both Questions (i) and (ii) of Problem 4.37: (i) the connected sum $R\\# R$ is a Klein bottle in $S^4$ with extremal normal Euler number that does not admit an unknotted projective plane summand, and (ii) we show that our projective plane $R$ is irreducible by showing that the peripheral map $\\pi_1 (\\partial (S^4\\setminus\\mathring{N}(R)))\\to \\pi_1 (S^4 \\setminus \\mathring{N}(R))$ has kernel of order $2$."},"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":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.12921","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-05-13T02:56:46Z","cross_cats_sorted":[],"title_canon_sha256":"c3c0c44589cebd87931959a60da9a3a88e45d9307ac2028b67e31c840d80b3ce","abstract_canon_sha256":"653586dc2732e9fa58bc6e66150c57ed4266660d7463dfb57cd74d0f0fa61a79"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:10.219596Z","signature_b64":"tWfxwMLf+zh016V5IPqJ4FpdEURvTB7gZqhExwMfQtoo0bR23oL8scbyXrXCImWHvi71ZBLLopAIu1ZNpySACA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f35725fc811c7492c003246f993e4261770db741b88e4d2f5f6ad761195c1433","last_reissued_at":"2026-05-18T03:09:10.218945Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:10.218945Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An irreducible real projective plane in the 4-sphere","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"An irreducible embedded projective plane is constructed in S^4, countering the Kinoshita conjecture via a peripheral map with kernel of order 2.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Gheehyun Nahm, Maggie Miller, Mark Hughes, Seungwon Kim","submitted_at":"2026-05-13T02:56:46Z","abstract_excerpt":"We construct an irreducible embedded projective plane in $S^4$. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. Moreover, we answer both Questions (i) and (ii) of Problem 4.37: (i) the connected sum $R\\# R$ is a Klein bottle in $S^4$ with extremal normal Euler number that does not admit an unknotted projective plane summand, and (ii) we show that our projective plane $R$ is irreducible by showing that the peripheral map $\\pi_1 (\\partial (S^4\\setminus\\mathring{N}(R)))\\to \\pi_1 (S^4 \\setminus \\mathring{N}(R))$ has kernel of order $2$."},"claims":{"count":3,"items":[{"kind":"strongest_claim","text":"We construct an irreducible embedded projective plane in S^4. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The construction assumes that a specific handlebody or embedding in 4D can be arranged so the peripheral map from the boundary of the tubular neighborhood to the complement has kernel precisely of order 2, which is used to establish irreducibility.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"An irreducible embedded projective plane is constructed in S^4, countering the Kinoshita conjecture via a peripheral map with kernel of order 2.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"}],"snapshot_sha256":"62cd86479ee56426394c2e1f792bd5ee07fa880cc82f97523d274c8e1b92360b"},"source":{"id":"2605.12921","kind":"arxiv","version":1},"verdict":{"id":"a7de23cf-896f-4503-b9f1-5994ef003737","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T02:25:27.561405Z","strongest_claim":"We construct an irreducible embedded projective plane in S^4. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list.","one_line_summary":"An irreducible embedded projective plane is constructed in S^4, countering the Kinoshita conjecture via a peripheral map with kernel of order 2.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The construction assumes that a specific handlebody or embedding in 4D can be arranged so the peripheral map from the boundary of the tubular neighborhood to the complement has kernel precisely of order 2, which is used to establish irreducibility.","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"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.12921","created_at":"2026-05-18T03:09:10.219033+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.12921v1","created_at":"2026-05-18T03:09:10.219033+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12921","created_at":"2026-05-18T03:09:10.219033+00:00"},{"alias_kind":"pith_short_12","alias_value":"6NLSL7EBDR2J","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"6NLSL7EBDR2JFQAD","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"6NLSL7EB","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":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF","json":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF.json","graph_json":"https://pith.science/api/pith-number/6NLSL7EBDR2JFQADERXZSPSCMF/graph.json","events_json":"https://pith.science/api/pith-number/6NLSL7EBDR2JFQADERXZSPSCMF/events.json","paper":"https://pith.science/paper/6NLSL7EB"},"agent_actions":{"view_html":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF","download_json":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF.json","view_paper":"https://pith.science/paper/6NLSL7EB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.12921&json=true","fetch_graph":"https://pith.science/api/pith-number/6NLSL7EBDR2JFQADERXZSPSCMF/graph.json","fetch_events":"https://pith.science/api/pith-number/6NLSL7EBDR2JFQADERXZSPSCMF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF/action/storage_attestation","attest_author":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF/action/author_attestation","sign_citation":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF/action/citation_signature","submit_replication":"https://pith.science/pith/6NLSL7EBDR2JFQADERXZSPSCMF/action/replication_record"}},"created_at":"2026-05-18T03:09:10.219033+00:00","updated_at":"2026-05-18T03:09:10.219033+00:00"}