{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:Z5EN3TWCFARSKCFP5AAHOYKJZ2","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":"36e4c11dae051fe4a4a82f3da0ba322d04562d328e2b6f97c9ba4d400f477432","cross_cats_sorted":["math.SG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-15T15:13:56Z","title_canon_sha256":"b15eb64559bc0cbb1b88f2db3f951a896037a93661f7b4584cd0fab1c92dff67"},"schema_version":"1.0","source":{"id":"2605.16040","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.16040","created_at":"2026-05-20T00:01:50Z"},{"alias_kind":"arxiv_version","alias_value":"2605.16040v1","created_at":"2026-05-20T00:01:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.16040","created_at":"2026-05-20T00:01:50Z"},{"alias_kind":"pith_short_12","alias_value":"Z5EN3TWCFARS","created_at":"2026-05-20T00:01:50Z"},{"alias_kind":"pith_short_16","alias_value":"Z5EN3TWCFARSKCFP","created_at":"2026-05-20T00:01:50Z"},{"alias_kind":"pith_short_8","alias_value":"Z5EN3TWC","created_at":"2026-05-20T00:01:50Z"}],"graph_snapshots":[{"event_id":"sha256:c75b9c508a5ac9ac9cd08e709556b5c7efa0dc3dbd13c9f3e5a39a2531ece178","target":"graph","created_at":"2026-05-20T00:01:50Z","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":"When X is the canonical bundle of a toric Fano n-orbifold S and f is its Givental superpotential, the strong deformation retraction skeleton L of Y has a Weinstein neighborhood U such that the wrapped microlocal sheaf category μSh^w_L(L) ≅ Coh(X^∘). This proves a microlocal categorical version of the SYZ mirror."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The paper assumes that the skeleton L from the RSTZ construction admits a Weinstein neighborhood U in which the wrapped microlocal sheaf category can be defined and that the specific choice of f as the Givental superpotential ensures the isomorphism holds, as stated in the conditions for the equivalence."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Proves that the wrapped microlocal sheaf category μSh^w_L(L) is equivalent to Coh(X^∘) for conic bundle mirrors of toric Calabi-Yau (n+2)-folds under given conditions."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"For the conic bundle mirror of a toric Fano orbifold's canonical bundle, the wrapped microlocal sheaf category on the skeleton equals the coherent sheaves on the space minus its anti-canonical divisor."}],"snapshot_sha256":"9a98e82de251fd1e045d6d83329bb4bea216549328145b4b4a3dc4143139623e"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T19:31:19.009156Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T19:31:02.612050Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T17:33:41.561124Z","status":"skipped","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T16:41:55.536252Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.16040/integrity.json","findings":[],"snapshot_sha256":"789c3c2cf8a58c2aed2a89a00f0834ded4eea75e6e39057d4899bf40575d471f","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the homological mirror symmetry statement where A-side is the conic bundle Hori--Vafa mirror $\\mathcal{Y} = \\{uv = f(z)\\} \\subset \\mathbb{C}^2 \\times (\\mathbb{C}^\\ast)^n$ for a Laurent polynomial $f$ in $(\\mathbb{C}^\\ast)^n$, and B-side is some a toric Calabi--Yau $(n+2)$-fold with a smooth anti-canonical divisor removed $\\mathcal{X}^\\circ = \\mathcal{X} \\setminus w^{-1}(-1)$. We show that when $\\mathcal{X}$ is the canonical bundle of a toric Fano $n$-orbifold $S$ and $f$ is its Givental superpotential, the strong deformation retraction skeleton $\\mathsf{L}$ of $\\mathcal{Y}$ in the sen","authors_text":"Bohan Fang, Peng Zhou, Yuze Sun","cross_cats":["math.SG"],"headline":"For the conic bundle mirror of a toric Fano orbifold's canonical bundle, the wrapped microlocal sheaf category on the skeleton equals the coherent sheaves on the space minus its anti-canonical divisor.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-15T15:13:56Z","title":"Homological Mirror Symmetry for Conic Bundle"},"references":{"count":34,"internal_anchors":0,"resolved_work":34,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Publications math","work_id":"2d77a68c-8bb0-4b83-bde3-f71ba153c374","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"and Chen, Linda and Smith, Gregory G","work_id":"5d4ad860-e10a-4d2d-a339-dfb418b25d28","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"International Mathematics Research Notices , volume =","work_id":"88c97f92-597c-49b5-92f6-4be82e714f82","year":null},{"cited_arxiv_id":"","doi":"10.48550/arxiv.2504.15696","is_internal_anchor":false,"ref_index":4,"title":"2025 , eprint =","work_id":"c734ea71-f50c-438c-9277-efabeb10952b","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Gammage, Benjamin and Le, Ian , title =. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications , volume =","work_id":"a84550f4-d882-4029-91c8-1bd02b213343","year":null}],"snapshot_sha256":"d60c9962114d98c1cb984912eba905dcc35066a13516fe2a0612bd63eea116cc"},"source":{"id":"2605.16040","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T19:22:44.500030Z","id":"44a7923f-34a9-4e1b-82c0-98ac4cdc7875","model_set":{"reader":"grok-4.3"},"one_line_summary":"Proves that the wrapped microlocal sheaf category μSh^w_L(L) is equivalent to Coh(X^∘) for conic bundle mirrors of toric Calabi-Yau (n+2)-folds under given conditions.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"For the conic bundle mirror of a toric Fano orbifold's canonical bundle, the wrapped microlocal sheaf category on the skeleton equals the coherent sheaves on the space minus its anti-canonical divisor.","strongest_claim":"When X is the canonical bundle of a toric Fano n-orbifold S and f is its Givental superpotential, the strong deformation retraction skeleton L of Y has a Weinstein neighborhood U such that the wrapped microlocal sheaf category μSh^w_L(L) ≅ Coh(X^∘). This proves a microlocal categorical version of the SYZ mirror.","weakest_assumption":"The paper assumes that the skeleton L from the RSTZ construction admits a Weinstein neighborhood U in which the wrapped microlocal sheaf category can be defined and that the specific choice of f as the Givental superpotential ensures the isomorphism holds, as stated in the conditions for the equivalence."}},"verdict_id":"44a7923f-34a9-4e1b-82c0-98ac4cdc7875"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f498794a03a9da8f708831c3f402b7e91d7f6dc49c0db1a473c923baff902fed","target":"record","created_at":"2026-05-20T00:01:50Z","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":"36e4c11dae051fe4a4a82f3da0ba322d04562d328e2b6f97c9ba4d400f477432","cross_cats_sorted":["math.SG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-15T15:13:56Z","title_canon_sha256":"b15eb64559bc0cbb1b88f2db3f951a896037a93661f7b4584cd0fab1c92dff67"},"schema_version":"1.0","source":{"id":"2605.16040","kind":"arxiv","version":1}},"canonical_sha256":"cf48ddcec228232508afe800776149ceb915ed1029bb5f161b396ba8088b9baa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf48ddcec228232508afe800776149ceb915ed1029bb5f161b396ba8088b9baa","first_computed_at":"2026-05-20T00:01:50.351517Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:01:50.351517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9YfVNsnwjWyEU9xFqmSl2+Wu5Vt0hCx4W5Km+BTWEEQRV2B0sDezt/sOOf+OXW7jVZ90xX3B6Cg7wAC8a7RWBQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:01:50.351984Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.16040","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f498794a03a9da8f708831c3f402b7e91d7f6dc49c0db1a473c923baff902fed","sha256:c75b9c508a5ac9ac9cd08e709556b5c7efa0dc3dbd13c9f3e5a39a2531ece178"],"state_sha256":"da7150834c7b825197bbeb55829f8d555e66324b871920b983316c1581cec917"}