{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JI775NO2HQCKH4B2SWXRBHJ3SA","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":"ec2c30639275d75b5e975fa73eb9751cbafeb46abfadf8b887aad041f484f6c0","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-14T07:04:31Z","title_canon_sha256":"0edc446f76e3cad7febad294e965a782eab4a5924291f0f45cd26243ede47ac2"},"schema_version":"1.0","source":{"id":"2605.14470","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14470","created_at":"2026-05-17T23:39:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14470v1","created_at":"2026-05-17T23:39:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14470","created_at":"2026-05-17T23:39:06Z"},{"alias_kind":"pith_short_12","alias_value":"JI775NO2HQCK","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JI775NO2HQCKH4B2","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JI775NO2","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:48006cc391929587156bc2c2882392fa844eddca902c111443bcd3f17ef97e7d","target":"graph","created_at":"2026-05-17T23:39:06Z","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 the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The geometric properties of complex analytic stacks (such as the existence of suitable model structures or localization properties) are compatible with the motivic homotopy framework in the same way as in the algebraic case."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Proves the localization theorem for motivic homotopy theory over complex analytic stacks and supplies general techniques for algebraic and differentiable stacks."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The localization theorem of Morel and Voevodsky holds for motivic homotopy theory over complex analytic stacks."}],"snapshot_sha256":"4d89cf3950b8916ec660c8cc2fef6f41db8a8106ffd7fffd0048609a0fe66eb8"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We prove the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory and produce an analytification map that is compatible with the six operations. Along the way, we establish general techniques for proving this theorem over other geometric settings, which also apply, for example, to the settings of algebraic stacks and differentiable stacks.","authors_text":"Roy Magen","cross_cats":["math.CT"],"headline":"The localization theorem of Morel and Voevodsky holds for motivic homotopy theory over complex analytic stacks.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-14T07:04:31Z","title":"The Localization Theorem for the Motivic Homotopy Theory of Complex Analytic Stacks and other Geometric Settings"},"references":{"count":36,"internal_anchors":2,"resolved_work":36,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Jarod Alper , Jack Hall , and David Rydh , The \\'e tale local structure of algebraic stacks , arXiv e-prints (2025), arXiv:1912.06162","work_id":"42623131-ec97-4e15-aa39-92d0e0fcb802","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"I , Ast\\'erisque (2007), no","work_id":"0fa7c022-63f6-4e69-b741-5cb6596d69bc","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"II , Ast\\'erisque (2007), no","work_id":"20796612-c02c-40c7-85c6-231e64274de8","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Denis-Charles Cisinski and Frédéric Déglise, Triangulated categories of mixed motives, Springer International Publishing, 2019","work_id":"781c1957-6048-4e32-aba1-1d37adac0177","year":2019},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"thesis, Universit \\\"a ts-und Landesbibliothek Bonn, 2023","work_id":"ef2ade6d-5d5e-47b9-9943-430fd24a11c6","year":2023}],"snapshot_sha256":"96f14074f9161392863fc48f3e52b1b595966e0378781cd3aa2daedbe01704c5"},"source":{"id":"2605.14470","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T01:55:35.376853Z","id":"7abcbf50-9572-4924-9251-ddb676ea1860","model_set":{"reader":"grok-4.3"},"one_line_summary":"Proves the localization theorem for motivic homotopy theory over complex analytic stacks and supplies general techniques for algebraic and differentiable stacks.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The localization theorem of Morel and Voevodsky holds for motivic homotopy theory over complex analytic stacks.","strongest_claim":"We prove the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory.","weakest_assumption":"The geometric properties of complex analytic stacks (such as the existence of suitable model structures or localization properties) are compatible with the motivic homotopy framework in the same way as in the algebraic case."}},"verdict_id":"7abcbf50-9572-4924-9251-ddb676ea1860"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:d0bc1e8ebfa810b5695671094a4b4603357068d3d2cf8149c453d2197b578ded","target":"record","created_at":"2026-05-17T23:39:06Z","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":"ec2c30639275d75b5e975fa73eb9751cbafeb46abfadf8b887aad041f484f6c0","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-14T07:04:31Z","title_canon_sha256":"0edc446f76e3cad7febad294e965a782eab4a5924291f0f45cd26243ede47ac2"},"schema_version":"1.0","source":{"id":"2605.14470","kind":"arxiv","version":1}},"canonical_sha256":"4a3ffeb5da3c04a3f03a95af109d3b902b800f6ddf1336926a2b0d511fe2e7ad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a3ffeb5da3c04a3f03a95af109d3b902b800f6ddf1336926a2b0d511fe2e7ad","first_computed_at":"2026-05-17T23:39:06.672383Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:06.672383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pEU5i1cNVEU1dlIhjqhceY+vlN3xKq/NgyveOJxCUY8vb3WHgY3AXhZFjd9KLHiahStQjXYnJTD2pVAJL7drDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:06.673090Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14470","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0bc1e8ebfa810b5695671094a4b4603357068d3d2cf8149c453d2197b578ded","sha256:48006cc391929587156bc2c2882392fa844eddca902c111443bcd3f17ef97e7d"],"state_sha256":"478676a85942c2a7b9b77625e4ca04a2f6a2938342e65eb18eb900e524e6a3c5"}