{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MB3OC7QIJ3XV6PVNOYEXVUHPIW","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":"57c42faecd6a2a1350a10258b6f73144ad20bf01a76d5c86af96ae9b1e4d1a13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-04-14T08:40:46Z","title_canon_sha256":"d32ae22b823524423591ae69b538c97ceb6290e471f7e67b6f9f7b97edab7fd2"},"schema_version":"1.0","source":{"id":"2604.12453","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.12453","created_at":"2026-05-20T00:00:37Z"},{"alias_kind":"arxiv_version","alias_value":"2604.12453v2","created_at":"2026-05-20T00:00:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.12453","created_at":"2026-05-20T00:00:37Z"},{"alias_kind":"pith_short_12","alias_value":"MB3OC7QIJ3XV","created_at":"2026-05-20T00:00:37Z"},{"alias_kind":"pith_short_16","alias_value":"MB3OC7QIJ3XV6PVN","created_at":"2026-05-20T00:00:37Z"},{"alias_kind":"pith_short_8","alias_value":"MB3OC7QI","created_at":"2026-05-20T00:00:37Z"}],"graph_snapshots":[{"event_id":"sha256:41acb05d84197ff375c232fe156d673c80162cc655f482243c300449b8ffb3ed","target":"graph","created_at":"2026-05-20T00:00:37Z","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 prove categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1. Among these is the family of Verra fourfolds. ... For the three families of threefolds, our proof is based on reducing equivalences between the Kuznetsov components ... to derived equivalences of their respective K3 branch divisors, and deducing that the resulting isomorphism of branch divisors gives rise to an isomorphism of the Fano threefolds for each family. For Verra fourfolds, we show that an equivalence of their Kuznetsov components induces an isomorphism of the branch divisors using the theory of 2-torsion Brauer classes on K3 surfaces."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The reduction from equivalences of Kuznetsov components of the Fano threefolds to derived equivalences of the K3 branch divisors holds within each deformation family, and that an isomorphism of the branch divisors lifts to an isomorphism of the ambient Fano threefolds (or, for Verra fourfolds, that the 2-torsion Brauer class data suffices to recover the isomorphism). This premise is invoked in the abstract's description of the proof strategy for the three families and the Brauer class argument for Verra fourfolds."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Categorical Torelli theorems are proved for Verra fourfolds and three families of Fano threefolds by reducing Kuznetsov component equivalences to derived equivalences of K3 branch divisors or using 2-torsion Brauer classes."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"An equivalence of Kuznetsov components implies an isomorphism for four families of Fano double covers with Picard rank greater than 1."}],"snapshot_sha256":"de0e4957192811205001a21ab67f37e13f4cadfa5681c9fd6f6ed901f2e1d4cd"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"2fcb7d5b8f9018cd8df1ccf9ce6dd57d48f0f03da7d4890676c59fdaf5fcdfa4"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.12453/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1. Among these is the family of Verra fourfolds. The other three families manifest as double covers of Fano threefolds, branched in anticanonical K3 surfaces. For the three families of threefolds, our proof is based on reducing equivalences between the Kuznetsov components of Fano threefolds in the same deformation family to derived equivalences of their respective K3 branch divisors, and deducing that the resulting isomorphism of branch divisors gives rise to an isomorphism of the Fano ","authors_text":"Augustinas Jacovskis, Reinder Meinsma","cross_cats":[],"headline":"An equivalence of Kuznetsov components implies an isomorphism for four families of Fano double covers with Picard rank greater than 1.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-04-14T08:40:46Z","title":"Categorical Torelli theorems for higher Picard rank Fano double covers"},"references":{"count":5,"internal_anchors":0,"resolved_work":5,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Cyclic covers: Hodge theory and categorical Torelli theorems.Int","work_id":"7670b325-1603-4353-9bc2-7b39cbe8ecc2","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Lian, Keiji Oguiso, and Shing-Tung Yau","work_id":"0b0dc4a9-a3fb-4e82-bc75-70eaa6c5d412","year":2003},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Semiorthogonal decompositions in algebraic geometry","work_id":"ade49819-7eae-4548-9f4a-1e58600c1ee5","year":2014},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Derived Equivalence for Elliptic K3 Surfaces and Jacobians.International Mathematics Research Notices, 2024(13):10139–10164, 04","work_id":"17c973d3-d01e-485c-bb43-8bb63f9b715f","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"[Muk87] S. Mukai. On the moduli space of bundles on K3 surfaces. I. InVector bundles on algebraic varieties (Bombay, 1984), volume 11 ofTata Inst. Fund. Res. Stud. Math., pages 341–413. Tata Inst. Fun","work_id":"a933085b-e9d9-41ec-bbfa-5f654036b461","year":1984}],"snapshot_sha256":"8c53a44f79388ba41751e362eed3458f03fadc72137e5388e76463951f55c48c"},"source":{"id":"2604.12453","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-19T17:55:20.063540Z","id":"2c2d48ff-b133-43b0-a099-cd425ccb276e","model_set":{"reader":"grok-4.3"},"one_line_summary":"Categorical Torelli theorems are proved for Verra fourfolds and three families of Fano threefolds by reducing Kuznetsov component equivalences to derived equivalences of K3 branch divisors or using 2-torsion Brauer classes.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"An equivalence of Kuznetsov components implies an isomorphism for four families of Fano double covers with Picard rank greater than 1.","strongest_claim":"We prove categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1. Among these is the family of Verra fourfolds. ... For the three families of threefolds, our proof is based on reducing equivalences between the Kuznetsov components ... to derived equivalences of their respective K3 branch divisors, and deducing that the resulting isomorphism of branch divisors gives rise to an isomorphism of the Fano threefolds for each family. For Verra fourfolds, we show that an equivalence of their Kuznetsov components induces an isomorphism of the branch divisors using the theory of 2-torsion Brauer classes on K3 surfaces.","weakest_assumption":"The reduction from equivalences of Kuznetsov components of the Fano threefolds to derived equivalences of the K3 branch divisors holds within each deformation family, and that an isomorphism of the branch divisors lifts to an isomorphism of the ambient Fano threefolds (or, for Verra fourfolds, that the 2-torsion Brauer class data suffices to recover the isomorphism). This premise is invoked in the abstract's description of the proof strategy for the three families and the Brauer class argument for Verra fourfolds."}},"verdict_id":"2c2d48ff-b133-43b0-a099-cd425ccb276e"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:60d72c11b2716cf487f50ee993c85011c0a1d5e7007cc2d1d8dac770c652776d","target":"record","created_at":"2026-05-20T00:00:37Z","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":"57c42faecd6a2a1350a10258b6f73144ad20bf01a76d5c86af96ae9b1e4d1a13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-04-14T08:40:46Z","title_canon_sha256":"d32ae22b823524423591ae69b538c97ceb6290e471f7e67b6f9f7b97edab7fd2"},"schema_version":"1.0","source":{"id":"2604.12453","kind":"arxiv","version":2}},"canonical_sha256":"6076e17e084eef5f3ead76097ad0ef45bc402f4dfb8c14bf69c75b9ccf7f2fab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6076e17e084eef5f3ead76097ad0ef45bc402f4dfb8c14bf69c75b9ccf7f2fab","first_computed_at":"2026-05-20T00:00:37.898027Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:00:37.898027Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5YUQmVCgP9Vkj8mPs6vSZJF3U1gFf7cb8Nvp3FtJOb2TQBsbUil6cX2yNUqVt+8t2NMkvQNijIT5DKCi4sN9AA==","signature_status":"signed_v1","signed_at":"2026-05-20T00:00:37.898477Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.12453","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:60d72c11b2716cf487f50ee993c85011c0a1d5e7007cc2d1d8dac770c652776d","sha256:41acb05d84197ff375c232fe156d673c80162cc655f482243c300449b8ffb3ed"],"state_sha256":"daeb64096342a1b2512ddfe12cfd91b7ba96c67feb931bf21ad331d82e0fa642"}