{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:KWC36XOW77NIARXOX4W3BEGSOR","short_pith_number":"pith:KWC36XOW","canonical_record":{"source":{"id":"1504.03755","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-15T01:22:45Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"78ee0f0ba77753ce7dd756890bde67c4bae7847daa96e2666ca16e5265aff68c","abstract_canon_sha256":"bfe21defd769fd130b24c7a3c1cddab9a88cbfad0a84faed1511aa5d0720f561"},"schema_version":"1.0"},"canonical_sha256":"5585bf5dd6ffda8046eebf2db090d27450a351c36f1c78072c5602ede565ecd0","source":{"kind":"arxiv","id":"1504.03755","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.03755","created_at":"2026-05-18T00:45:08Z"},{"alias_kind":"arxiv_version","alias_value":"1504.03755v2","created_at":"2026-05-18T00:45:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.03755","created_at":"2026-05-18T00:45:08Z"},{"alias_kind":"pith_short_12","alias_value":"KWC36XOW77NI","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"KWC36XOW77NIARXO","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"KWC36XOW","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:KWC36XOW77NIARXOX4W3BEGSOR","target":"record","payload":{"canonical_record":{"source":{"id":"1504.03755","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-15T01:22:45Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"78ee0f0ba77753ce7dd756890bde67c4bae7847daa96e2666ca16e5265aff68c","abstract_canon_sha256":"bfe21defd769fd130b24c7a3c1cddab9a88cbfad0a84faed1511aa5d0720f561"},"schema_version":"1.0"},"canonical_sha256":"5585bf5dd6ffda8046eebf2db090d27450a351c36f1c78072c5602ede565ecd0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:08.742748Z","signature_b64":"00/U2txFsEH0VA3amIZ7+P+Z1UjYc12kSpL2qHlga+vsH7CmWyBH8UFOAGPeoU4V24ROnBIo/sw3GsfhXua0Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5585bf5dd6ffda8046eebf2db090d27450a351c36f1c78072c5602ede565ecd0","last_reissued_at":"2026-05-18T00:45:08.742217Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:08.742217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.03755","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:45:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l+G1pGkehi3I5Yio1enAQilgX0ivT7v9Rl6XmBdNiDDk/LbTw32FDzFyDe2AisnbwEB9KC/peoKgb/UR7a9IAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:14:43.736947Z"},"content_sha256":"4d0e70fabc48586cb38b5cbe6eb43bbb717abf16a0eb37c51181442c71d5a7c0","schema_version":"1.0","event_id":"sha256:4d0e70fabc48586cb38b5cbe6eb43bbb717abf16a0eb37c51181442c71d5a7c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:KWC36XOW77NIARXOX4W3BEGSOR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Differential Chow varieties exist","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.AG","authors_text":"James Freitag, Thomas Scanlon, Wei Li","submitted_at":"2015-04-15T01:22:45Z","abstract_excerpt":"Chow varieties are a parameter space for cycles of a given variety of a given codimension and degree. We construct their analog for differential algebraic varieties with differential algebraic subvarieties, answering a question of Gao, Li and Wei. The proof uses the construction of classical algebro-geometric Chow varieties, the theory of characteristic sets of differential varieties, the theory of prolongation spaces, and the theory of differential Chow forms. In the course of the proof several definability results from the theory of algebraically closed fields are required. Elementary proofs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.03755","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:45:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tWUnYInnML7M+9HIvScB/IOvA0hyWfgi5DXkk4+MAhcDVhwegTtubSWZJKhB5tpLTLCSFQ99lsYX3Fi3fmH2Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:14:43.737546Z"},"content_sha256":"44441361217f4a5ef9ae64aa5524983c23a0767a45a43b9b44c46cfc78adca47","schema_version":"1.0","event_id":"sha256:44441361217f4a5ef9ae64aa5524983c23a0767a45a43b9b44c46cfc78adca47"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KWC36XOW77NIARXOX4W3BEGSOR/bundle.json","state_url":"https://pith.science/pith/KWC36XOW77NIARXOX4W3BEGSOR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KWC36XOW77NIARXOX4W3BEGSOR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T06:14:43Z","links":{"resolver":"https://pith.science/pith/KWC36XOW77NIARXOX4W3BEGSOR","bundle":"https://pith.science/pith/KWC36XOW77NIARXOX4W3BEGSOR/bundle.json","state":"https://pith.science/pith/KWC36XOW77NIARXOX4W3BEGSOR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KWC36XOW77NIARXOX4W3BEGSOR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:KWC36XOW77NIARXOX4W3BEGSOR","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":"bfe21defd769fd130b24c7a3c1cddab9a88cbfad0a84faed1511aa5d0720f561","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-15T01:22:45Z","title_canon_sha256":"78ee0f0ba77753ce7dd756890bde67c4bae7847daa96e2666ca16e5265aff68c"},"schema_version":"1.0","source":{"id":"1504.03755","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.03755","created_at":"2026-05-18T00:45:08Z"},{"alias_kind":"arxiv_version","alias_value":"1504.03755v2","created_at":"2026-05-18T00:45:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.03755","created_at":"2026-05-18T00:45:08Z"},{"alias_kind":"pith_short_12","alias_value":"KWC36XOW77NI","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"KWC36XOW77NIARXO","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"KWC36XOW","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:44441361217f4a5ef9ae64aa5524983c23a0767a45a43b9b44c46cfc78adca47","target":"graph","created_at":"2026-05-18T00:45:08Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Chow varieties are a parameter space for cycles of a given variety of a given codimension and degree. We construct their analog for differential algebraic varieties with differential algebraic subvarieties, answering a question of Gao, Li and Wei. The proof uses the construction of classical algebro-geometric Chow varieties, the theory of characteristic sets of differential varieties, the theory of prolongation spaces, and the theory of differential Chow forms. In the course of the proof several definability results from the theory of algebraically closed fields are required. Elementary proofs","authors_text":"James Freitag, Thomas Scanlon, Wei Li","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-15T01:22:45Z","title":"Differential Chow varieties exist"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.03755","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4d0e70fabc48586cb38b5cbe6eb43bbb717abf16a0eb37c51181442c71d5a7c0","target":"record","created_at":"2026-05-18T00:45:08Z","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":"bfe21defd769fd130b24c7a3c1cddab9a88cbfad0a84faed1511aa5d0720f561","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-04-15T01:22:45Z","title_canon_sha256":"78ee0f0ba77753ce7dd756890bde67c4bae7847daa96e2666ca16e5265aff68c"},"schema_version":"1.0","source":{"id":"1504.03755","kind":"arxiv","version":2}},"canonical_sha256":"5585bf5dd6ffda8046eebf2db090d27450a351c36f1c78072c5602ede565ecd0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5585bf5dd6ffda8046eebf2db090d27450a351c36f1c78072c5602ede565ecd0","first_computed_at":"2026-05-18T00:45:08.742217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:08.742217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"00/U2txFsEH0VA3amIZ7+P+Z1UjYc12kSpL2qHlga+vsH7CmWyBH8UFOAGPeoU4V24ROnBIo/sw3GsfhXua0Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:08.742748Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.03755","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d0e70fabc48586cb38b5cbe6eb43bbb717abf16a0eb37c51181442c71d5a7c0","sha256:44441361217f4a5ef9ae64aa5524983c23a0767a45a43b9b44c46cfc78adca47"],"state_sha256":"1ccfea0875940a271c2a3fb8c52eee984300a1de7e5c28fb7e952944f5407d10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sly7nWsIIRT/Vhi70/z+Htw6Q00RNciIqokJAAx8uVEI4RQH/4Ff0jL47oR9G3SKWAbnxwtTgvxCCti3BYjeDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T06:14:43.741116Z","bundle_sha256":"0306098098c3f68f7eb1e0dee919d045ec00ca6d1ba1f1a63e01205b74b3f33b"}}