{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:3Q32SYEIY5BQVDF7CJ4KXWDQ57","short_pith_number":"pith:3Q32SYEI","schema_version":"1.0","canonical_sha256":"dc37a96088c7430a8cbf1278abd870efdef1014a1702a00b5dd093d62fded4c9","source":{"kind":"arxiv","id":"2604.27545","version":2},"attestation_state":"computed","paper":{"title":"Exotic Surfaces in 4-manifolds and Surface Corks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"A contractible 4-ball acts as a surface cork that changes the smooth structure of certain exotic embedded surfaces while preserving their homeomorphism type.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Cindy Zhang","submitted_at":"2026-04-30T07:51:49Z","abstract_excerpt":"A fundamental result in 4-manifold topology asserts that any two exotic smooth structures on a simply-connected, closed 4-manifold differ by a cork twist: the operation of removing a compact, contractible, codimension-zero submanifold and regluing it by a diffeomorphism of its boundary. In this paper, we introduce the notion of a surface cork, an analogous object in the setting of smoothly embedded, closed surfaces $F$ in closed 4-manifolds $X$. This is a compact, contractible, codimension-zero submanifold intersecting $F$ in a controllable manner, whose removal and regluing via a diffeomorphi"},"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":"2604.27545","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-04-30T07:51:49Z","cross_cats_sorted":[],"title_canon_sha256":"5f86180d55995c35021be26fcba299c85f6f8c271f74d449c759eb1844395ec1","abstract_canon_sha256":"bf3f61cd8aabd5fd486f962f00ce676a608723518bee39ad49977aa6ea322f84"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:04:58.581421Z","signature_b64":"icHmvyME2k8us7FSOenRCitCVReNNs16NuuJyz+iOn6Rv7RIh8MzddICUDjiPvmShaHLvsvB5C7QojqdgTpBCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc37a96088c7430a8cbf1278abd870efdef1014a1702a00b5dd093d62fded4c9","last_reissued_at":"2026-05-27T01:04:58.580838Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:04:58.580838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exotic Surfaces in 4-manifolds and Surface Corks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"A contractible 4-ball acts as a surface cork that changes the smooth structure of certain exotic embedded surfaces while preserving their homeomorphism type.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Cindy Zhang","submitted_at":"2026-04-30T07:51:49Z","abstract_excerpt":"A fundamental result in 4-manifold topology asserts that any two exotic smooth structures on a simply-connected, closed 4-manifold differ by a cork twist: the operation of removing a compact, contractible, codimension-zero submanifold and regluing it by a diffeomorphism of its boundary. In this paper, we introduce the notion of a surface cork, an analogous object in the setting of smoothly embedded, closed surfaces $F$ in closed 4-manifolds $X$. This is a compact, contractible, codimension-zero submanifold intersecting $F$ in a controllable manner, whose removal and regluing via a diffeomorphi"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We construct the first example of a surface cork for certain exotic families constructed from Fintushel and Stern's rim surgery. In particular, this surface cork turns out to be diffeomorphic to a 4-ball.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the specific rim-surgery families produce pairs (X, F) whose diffeomorphism type is altered by the boundary diffeomorphism of the surface cork while the homeomorphism type remains unchanged, and that the intersection of the cork with F is controllable in the required sense.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"The first surface cork, diffeomorphic to the 4-ball, is constructed to detect exotic smooth structures on embedded surfaces in 4-manifolds produced by rim surgery.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A contractible 4-ball acts as a surface cork that changes the smooth structure of certain exotic embedded surfaces while preserving their homeomorphism type.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"1c59512d07ee45cbdc0728bcf52bf7f22fdbde4a481da0fa5ecf278b204f08b3"},"source":{"id":"2604.27545","kind":"arxiv","version":2},"verdict":{"id":"46a11583-d544-4411-b822-b6d61e1f14b5","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-07T08:56:34.428006Z","strongest_claim":"We construct the first example of a surface cork for certain exotic families constructed from Fintushel and Stern's rim surgery. In particular, this surface cork turns out to be diffeomorphic to a 4-ball.","one_line_summary":"The first surface cork, diffeomorphic to the 4-ball, is constructed to detect exotic smooth structures on embedded surfaces in 4-manifolds produced by rim surgery.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the specific rim-surgery families produce pairs (X, F) whose diffeomorphism type is altered by the boundary diffeomorphism of the surface cork while the homeomorphism type remains unchanged, and that the intersection of the cork with F is controllable in the required sense.","pith_extraction_headline":"A contractible 4-ball acts as a surface cork that changes the smooth structure of certain exotic embedded surfaces while preserving their homeomorphism type."},"integrity":{"clean":false,"summary":{"advisory":4,"critical":3,"by_detector":{"doi_compliance":{"total":7,"advisory":4,"critical":3,"informational":0}},"informational":0},"endpoint":"/pith/2604.27545/integrity.json","findings":[{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1112/topo.12121.url:https://doi.org/10.1112/topo.12121) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detector":"doi_compliance","severity":"advisory","ref_index":11,"audited_at":"2026-05-19T19:04:59.453874Z","detected_doi":"10.1112/topo.12121.url:https://doi.org/10.1112/topo.12121","finding_type":"recoverable_identifier","verdict_class":"incontrovertible","detected_arxiv_id":null},{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1090/S0273-0979-1987-15562-5.url:https://doi.org/10.1090/S0273-0979-1987-15562-5) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detector":"doi_compliance","severity":"advisory","ref_index":3,"audited_at":"2026-05-19T19:04:59.453874Z","detected_doi":"10.1090/S0273-0979-1987-15562-5.url:https://doi.org/10.1090/S0273-0979-1987-15562-5","finding_type":"recoverable_identifier","verdict_class":"incontrovertible","detected_arxiv_id":null},{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/s00222-020-01009-x.url:https://doi.org/10.1007/s00222-020-01009-x) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detector":"doi_compliance","severity":"advisory","ref_index":10,"audited_at":"2026-05-19T19:04:59.453874Z","detected_doi":"10.1007/s00222-020-01009-x.url:https://doi.org/10.1007/s00222-020-01009-x","finding_type":"recoverable_identifier","verdict_class":"incontrovertible","detected_arxiv_id":null},{"note":"Identifier '10.1112/jlms/jdu075.url:https://doi.org/10.1112/jlms/jdu075' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","detector":"doi_compliance","severity":"critical","ref_index":1,"audited_at":"2026-05-19T19:04:59.453874Z","detected_doi":"10.1112/jlms/jdu075.url:https://doi.org/10.1112/jlms/jdu075","finding_type":"unresolvable_identifier","verdict_class":"cross_source","detected_arxiv_id":null},{"note":"Identifier '10.4310/mrl.241024232537.url:https://doi.org/10.4310/mrl.241024232537' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","detector":"doi_compliance","severity":"critical","ref_index":2,"audited_at":"2026-05-19T19:04:59.453874Z","detected_doi":"10.4310/mrl.241024232537.url:https://doi.org/10.4310/mrl.241024232537","finding_type":"unresolvable_identifier","verdict_class":"cross_source","detected_arxiv_id":null},{"note":"Identifier '10.1090/gsm/020.url:https://doi.org/10.1090/gsm/020' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","detector":"doi_compliance","severity":"critical","ref_index":4,"audited_at":"2026-05-19T19:04:59.453874Z","detected_doi":"10.1090/gsm/020.url:https://doi.org/10.1090/gsm/020","finding_type":"unresolvable_identifier","verdict_class":"cross_source","detected_arxiv_id":null},{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1515/form.2011.130.url:https://doi.org/10.1515/form.2011.130) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detector":"doi_compliance","severity":"advisory","ref_index":7,"audited_at":"2026-05-19T19:04:59.453874Z","detected_doi":"10.1515/form.2011.130.url:https://doi.org/10.1515/form.2011.130","finding_type":"recoverable_identifier","verdict_class":"incontrovertible","detected_arxiv_id":null}],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-20T22:33:32.523947Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T19:04:59.453874Z","status":"completed","version":"1.0.0","findings_count":7}],"snapshot_sha256":"bee9fc723e6320eb0ba3bc7951100890c15e06ec464c3359ad0280c56d6fbac3"},"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":"2604.27545","created_at":"2026-05-27T01:04:58.580918+00:00"},{"alias_kind":"arxiv_version","alias_value":"2604.27545v2","created_at":"2026-05-27T01:04:58.580918+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.27545","created_at":"2026-05-27T01:04:58.580918+00:00"},{"alias_kind":"pith_short_12","alias_value":"3Q32SYEIY5BQ","created_at":"2026-05-27T01:04:58.580918+00:00"},{"alias_kind":"pith_short_16","alias_value":"3Q32SYEIY5BQVDF7","created_at":"2026-05-27T01:04:58.580918+00:00"},{"alias_kind":"pith_short_8","alias_value":"3Q32SYEI","created_at":"2026-05-27T01:04:58.580918+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/3Q32SYEIY5BQVDF7CJ4KXWDQ57","json":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57.json","graph_json":"https://pith.science/api/pith-number/3Q32SYEIY5BQVDF7CJ4KXWDQ57/graph.json","events_json":"https://pith.science/api/pith-number/3Q32SYEIY5BQVDF7CJ4KXWDQ57/events.json","paper":"https://pith.science/paper/3Q32SYEI"},"agent_actions":{"view_html":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57","download_json":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57.json","view_paper":"https://pith.science/paper/3Q32SYEI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2604.27545&json=true","fetch_graph":"https://pith.science/api/pith-number/3Q32SYEIY5BQVDF7CJ4KXWDQ57/graph.json","fetch_events":"https://pith.science/api/pith-number/3Q32SYEIY5BQVDF7CJ4KXWDQ57/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57/action/storage_attestation","attest_author":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57/action/author_attestation","sign_citation":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57/action/citation_signature","submit_replication":"https://pith.science/pith/3Q32SYEIY5BQVDF7CJ4KXWDQ57/action/replication_record"}},"created_at":"2026-05-27T01:04:58.580918+00:00","updated_at":"2026-05-27T01:04:58.580918+00:00"}