{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:2FEQWODABX7UQEWIU2KIZ7DE4L","short_pith_number":"pith:2FEQWODA","schema_version":"1.0","canonical_sha256":"d1490b38600dff4812c8a6948cfc64e2db26c0f7ee527a954320fffcc05a24e7","source":{"kind":"arxiv","id":"2604.08429","version":2},"attestation_state":"computed","paper":{"title":"Derived jet and arc spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Derived jet and arc spaces coincide with classical ones when the base is smooth or has local complete intersection log canonical singularities.","cross_cats":[],"primary_cat":"math.AG","authors_text":"C. Eric Overton-Walker, Lance Edward Miller, Roi Docampo","submitted_at":"2026-04-09T16:33:32Z","abstract_excerpt":"We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the derived jet and arc spaces. We show that the derived constructions agree with the classical versions when the base scheme is smooth, or more generally for local complete intersection log canonical singularities, giving a derived interpretation to a theorem of Musta\\c{t}\\u{a}. For more singular spaces we get new singularity invariants in the form of higher ho"},"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.08429","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-04-09T16:33:32Z","cross_cats_sorted":[],"title_canon_sha256":"ab1764bf9ee94006fd1935b4e4036e65bbc5f858201fa9ee69a3759846691b18","abstract_canon_sha256":"4a2601501fa6bc45f477fc8b99f4efd142f49f47e269ab5ccaadb87b5b10e85e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:03:19.252632Z","signature_b64":"+83RRVXMTMuMxtQSaMlcLlgAF5vgN+T4pBGExXI6TlpRcyK3MqJDHBYWSdVxdGBRghgZOsPMGrrgc0cDG/BcBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1490b38600dff4812c8a6948cfc64e2db26c0f7ee527a954320fffcc05a24e7","last_reissued_at":"2026-05-22T01:03:19.251865Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:03:19.251865Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Derived jet and arc spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Derived jet and arc spaces coincide with classical ones when the base is smooth or has local complete intersection log canonical singularities.","cross_cats":[],"primary_cat":"math.AG","authors_text":"C. Eric Overton-Walker, Lance Edward Miller, Roi Docampo","submitted_at":"2026-04-09T16:33:32Z","abstract_excerpt":"We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the derived jet and arc spaces. We show that the derived constructions agree with the classical versions when the base scheme is smooth, or more generally for local complete intersection log canonical singularities, giving a derived interpretation to a theorem of Musta\\c{t}\\u{a}. For more singular spaces we get new singularity invariants in the form of higher ho"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We show that the derived constructions agree with the classical versions when the base scheme is smooth, or more generally for local complete intersection log canonical singularities, giving a derived interpretation to a theorem of Mustaţă.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the animation of the jet and arc functors to derived schemes preserves the classical objects precisely when the base is smooth or lci log canonical, without additional hidden obstructions in the derived setting.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Derived jet and arc spaces match classical versions for smooth or lci log canonical singularities, supply higher homotopy groups as new singularity invariants for rougher spaces, generalize cotangent complex formulas, and extend arc space results to non-perfect fields.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Derived jet and arc spaces coincide with classical ones when the base is smooth or has local complete intersection log canonical singularities.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"58133222480f80736b388776e9da249e986df8b57fb10ba92bab32285f8aee3d"},"source":{"id":"2604.08429","kind":"arxiv","version":2},"verdict":{"id":"4b752561-c060-4468-8e52-70d502bb4271","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-10T17:11:33.079974Z","strongest_claim":"We show that the derived constructions agree with the classical versions when the base scheme is smooth, or more generally for local complete intersection log canonical singularities, giving a derived interpretation to a theorem of Mustaţă.","one_line_summary":"Derived jet and arc spaces match classical versions for smooth or lci log canonical singularities, supply higher homotopy groups as new singularity invariants for rougher spaces, generalize cotangent complex formulas, and extend arc space results to non-perfect fields.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the animation of the jet and arc functors to derived schemes preserves the classical objects precisely when the base is smooth or lci log canonical, without additional hidden obstructions in the derived setting.","pith_extraction_headline":"Derived jet and arc spaces coincide with classical ones when the base is smooth or has local complete intersection log canonical singularities."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.08429/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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.08429","created_at":"2026-05-22T01:03:19.251981+00:00"},{"alias_kind":"arxiv_version","alias_value":"2604.08429v2","created_at":"2026-05-22T01:03:19.251981+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.08429","created_at":"2026-05-22T01:03:19.251981+00:00"},{"alias_kind":"pith_short_12","alias_value":"2FEQWODABX7U","created_at":"2026-05-22T01:03:19.251981+00:00"},{"alias_kind":"pith_short_16","alias_value":"2FEQWODABX7UQEWI","created_at":"2026-05-22T01:03:19.251981+00:00"},{"alias_kind":"pith_short_8","alias_value":"2FEQWODA","created_at":"2026-05-22T01:03:19.251981+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/2FEQWODABX7UQEWIU2KIZ7DE4L","json":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L.json","graph_json":"https://pith.science/api/pith-number/2FEQWODABX7UQEWIU2KIZ7DE4L/graph.json","events_json":"https://pith.science/api/pith-number/2FEQWODABX7UQEWIU2KIZ7DE4L/events.json","paper":"https://pith.science/paper/2FEQWODA"},"agent_actions":{"view_html":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L","download_json":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L.json","view_paper":"https://pith.science/paper/2FEQWODA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2604.08429&json=true","fetch_graph":"https://pith.science/api/pith-number/2FEQWODABX7UQEWIU2KIZ7DE4L/graph.json","fetch_events":"https://pith.science/api/pith-number/2FEQWODABX7UQEWIU2KIZ7DE4L/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L/action/storage_attestation","attest_author":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L/action/author_attestation","sign_citation":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L/action/citation_signature","submit_replication":"https://pith.science/pith/2FEQWODABX7UQEWIU2KIZ7DE4L/action/replication_record"}},"created_at":"2026-05-22T01:03:19.251981+00:00","updated_at":"2026-05-22T01:03:19.251981+00:00"}