{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DKDAATXCNPXWMT2RFUJDM7VEGV","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":"ec81001c6c3fb6b4522dfc99e05040806a7fb015d74cc3d1801e2f8e7bdaebfd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-08T19:03:31Z","title_canon_sha256":"90d8c0f80f11ed4022ea0ad5cbe59f6ec2be6016754b53c5db8ee57560b74f06"},"schema_version":"1.0","source":{"id":"2605.08394","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.08394","created_at":"2026-05-26T02:04:12Z"},{"alias_kind":"arxiv_version","alias_value":"2605.08394v2","created_at":"2026-05-26T02:04:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.08394","created_at":"2026-05-26T02:04:12Z"},{"alias_kind":"pith_short_12","alias_value":"DKDAATXCNPXW","created_at":"2026-05-26T02:04:12Z"},{"alias_kind":"pith_short_16","alias_value":"DKDAATXCNPXWMT2R","created_at":"2026-05-26T02:04:12Z"},{"alias_kind":"pith_short_8","alias_value":"DKDAATXC","created_at":"2026-05-26T02:04:12Z"}],"graph_snapshots":[{"event_id":"sha256:3997583946c36877954cd9da9bbc44309a62a82facde289c6209912a0a83f05f","target":"graph","created_at":"2026-05-26T02:04:12Z","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":"Taking the quotient of a derived symplectic space descends the symplectic data to a contact structure, avoiding a transverse hypersurface, where the fundamental vector field of a weight 1 Gm-action replaces the classical Liouville vector field."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the derived Gm-action and quotient construction faithfully reproduce the classical transversality and contact data without additional hidden assumptions on the derived stack or the action."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Quotients of derived symplectic spaces by Gm-actions yield contact structures, enabling a derived Legendrian intersection theorem with applications to moduli stacks."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The quotient of a derived symplectic space by a weight-1 Gm-action carries a derived contact structure, with the action's fundamental vector field replacing the classical Liouville field."}],"snapshot_sha256":"738b5993deaee26ffac53029cde2fae8217285b96575024dad9e6399e0299c08"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"6b8b3e56ccb741d774d3b7170a023db5f47e01b11920e525d824eb0e3cc01e83"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-20T09:42:04.110860Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-20T04:37:10.524117Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T15:01:18.101935Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T11:10:27.116533Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.08394/integrity.json","findings":[],"snapshot_sha256":"3057a72ef0688d7c5f51f04ab87dea5637ce2a53a92be896c160fab8e53442b3","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The classical transversality lemma of contact geometry constructs a contact structure on a hypersurface transverse to a Liouville vector field using point-set topology and local flows. This paper translates the classical transversality lemma into the context of derived algebraic geometry and provides the derived Legendrian intersection theorem, along with various applications to moduli theory.\n  In brief, we first prove that taking the quotient of a derived symplectic space descends the symplectic data to a contact structure, avoiding a transverse hypersurface, where the fundamental vector fie","authors_text":"Efe \\.Izbudak, Kadri \\.Ilker Berktav","cross_cats":[],"headline":"The quotient of a derived symplectic space by a weight-1 Gm-action carries a derived contact structure, with the action's fundamental vector field replacing the classical Liouville field.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-08T19:03:31Z","title":"Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.08394","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-12T01:31:22.224359Z","id":"6d3e492c-8f40-44f8-90e2-de3bb13a54c2","model_set":{"reader":"grok-4.3"},"one_line_summary":"Quotients of derived symplectic spaces by Gm-actions yield contact structures, enabling a derived Legendrian intersection theorem with applications to moduli stacks.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The quotient of a derived symplectic space by a weight-1 Gm-action carries a derived contact structure, with the action's fundamental vector field replacing the classical Liouville field.","strongest_claim":"Taking the quotient of a derived symplectic space descends the symplectic data to a contact structure, avoiding a transverse hypersurface, where the fundamental vector field of a weight 1 Gm-action replaces the classical Liouville vector field.","weakest_assumption":"That the derived Gm-action and quotient construction faithfully reproduce the classical transversality and contact data without additional hidden assumptions on the derived stack or the action."}},"verdict_id":"6d3e492c-8f40-44f8-90e2-de3bb13a54c2"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7473581a6482dc50b49db621a7ffbc3c9f97cb160d4e3609f9236ba999f3bc15","target":"record","created_at":"2026-05-26T02:04:12Z","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":"ec81001c6c3fb6b4522dfc99e05040806a7fb015d74cc3d1801e2f8e7bdaebfd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-08T19:03:31Z","title_canon_sha256":"90d8c0f80f11ed4022ea0ad5cbe59f6ec2be6016754b53c5db8ee57560b74f06"},"schema_version":"1.0","source":{"id":"2605.08394","kind":"arxiv","version":2}},"canonical_sha256":"1a86004ee26bef664f512d12367ea4354bd31367d903c1ddc52a3a9cbca57e43","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a86004ee26bef664f512d12367ea4354bd31367d903c1ddc52a3a9cbca57e43","first_computed_at":"2026-05-26T02:04:12.514444Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T02:04:12.514444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jFdwbMrJKhBNs4jVo6Ny74jJDlSJ1E5SeEK5fYAYjcfpoN10EHJCRKLrTLmzWxseoX6sqUqAIUu2QfnK/0wZBA==","signature_status":"signed_v1","signed_at":"2026-05-26T02:04:12.515344Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.08394","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7473581a6482dc50b49db621a7ffbc3c9f97cb160d4e3609f9236ba999f3bc15","sha256:3997583946c36877954cd9da9bbc44309a62a82facde289c6209912a0a83f05f"],"state_sha256":"40a267abef5f639731dffe39759d30363c97d52bf411de20211a22e6884d1dba"}