{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:GHXFV3K5OP2LYGAOIUXU64PK6R","short_pith_number":"pith:GHXFV3K5","canonical_record":{"source":{"id":"1009.0148","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2010-09-01T09:54:02Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"14f59d890441fdbd003109834f48af7fa150e2140c5f63b624988f107296239c","abstract_canon_sha256":"09c91f630147b0a7e87d857a446e4c3f3a3ffb0d124d0be40cc232e53f84708c"},"schema_version":"1.0"},"canonical_sha256":"31ee5aed5d73f4bc180e452f4f71eaf460fc6ee5ec0b043fe89932b96a295f02","source":{"kind":"arxiv","id":"1009.0148","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.0148","created_at":"2026-05-18T04:16:32Z"},{"alias_kind":"arxiv_version","alias_value":"1009.0148v2","created_at":"2026-05-18T04:16:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.0148","created_at":"2026-05-18T04:16:32Z"},{"alias_kind":"pith_short_12","alias_value":"GHXFV3K5OP2L","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GHXFV3K5OP2LYGAO","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GHXFV3K5","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:GHXFV3K5OP2LYGAOIUXU64PK6R","target":"record","payload":{"canonical_record":{"source":{"id":"1009.0148","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2010-09-01T09:54:02Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"14f59d890441fdbd003109834f48af7fa150e2140c5f63b624988f107296239c","abstract_canon_sha256":"09c91f630147b0a7e87d857a446e4c3f3a3ffb0d124d0be40cc232e53f84708c"},"schema_version":"1.0"},"canonical_sha256":"31ee5aed5d73f4bc180e452f4f71eaf460fc6ee5ec0b043fe89932b96a295f02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:32.173561Z","signature_b64":"xESSXuX5zUmKbnRUOAWECmMPWfqU/O11TkKy9ZDi0wAza0fVVyvLbIHs4544AGnr05LqAIZTF5XNHlMM5fLuDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31ee5aed5d73f4bc180e452f4f71eaf460fc6ee5ec0b043fe89932b96a295f02","last_reissued_at":"2026-05-18T04:16:32.173206Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:32.173206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1009.0148","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-18T04:16:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5We/NRMmM+QfWrLR7HAdY7EWszNtG+Z3FtO3N63B6FA/cLhspKbJIMDVaWBiJ8WVGqD8yIDUB4di2uWYceyGBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:23:50.599747Z"},"content_sha256":"933f8b4cb1ceca89b3f51619a7168b088794a5b28dd06432c01c26bca8872f60","schema_version":"1.0","event_id":"sha256:933f8b4cb1ceca89b3f51619a7168b088794a5b28dd06432c01c26bca8872f60"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:GHXFV3K5OP2LYGAOIUXU64PK6R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intersection Theory in Differential Algebraic Geometry: Generic Intersections and the Differential Chow Form","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AG","authors_text":"Chun-Ming Yuan, Wei Li, Xiao-Shan Gao","submitted_at":"2010-09-01T09:54:02Z","abstract_excerpt":"In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension $d$ and order $h$ with a generic differential hypersurface of order $s$ is shown to be an irreducible variety of dimension $d-1$ and order $h+s$. As a consequence, the dimension conjecture for generic differential polynomials is proved. Based on the intersection theory, the Chow form for an irreducible differential variety is defined and most of the properties of the Chow form in the algebraic case are established for its differential cou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.0148","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-18T04:16:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1n3fSIV6si2dmE7BCpqhvOW0MQTx0kj6EJpEynL7wTgCRBWovCu8j1SOTU5U2x9LmFkYzL9D47rZgxcuaL/aAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:23:50.600095Z"},"content_sha256":"5ec3edc709f71c1a9cb721bdd9b8ffb896185dfef47e0ba5471131f226970448","schema_version":"1.0","event_id":"sha256:5ec3edc709f71c1a9cb721bdd9b8ffb896185dfef47e0ba5471131f226970448"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GHXFV3K5OP2LYGAOIUXU64PK6R/bundle.json","state_url":"https://pith.science/pith/GHXFV3K5OP2LYGAOIUXU64PK6R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GHXFV3K5OP2LYGAOIUXU64PK6R/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-03T05:23:50Z","links":{"resolver":"https://pith.science/pith/GHXFV3K5OP2LYGAOIUXU64PK6R","bundle":"https://pith.science/pith/GHXFV3K5OP2LYGAOIUXU64PK6R/bundle.json","state":"https://pith.science/pith/GHXFV3K5OP2LYGAOIUXU64PK6R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GHXFV3K5OP2LYGAOIUXU64PK6R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:GHXFV3K5OP2LYGAOIUXU64PK6R","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":"09c91f630147b0a7e87d857a446e4c3f3a3ffb0d124d0be40cc232e53f84708c","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2010-09-01T09:54:02Z","title_canon_sha256":"14f59d890441fdbd003109834f48af7fa150e2140c5f63b624988f107296239c"},"schema_version":"1.0","source":{"id":"1009.0148","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.0148","created_at":"2026-05-18T04:16:32Z"},{"alias_kind":"arxiv_version","alias_value":"1009.0148v2","created_at":"2026-05-18T04:16:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.0148","created_at":"2026-05-18T04:16:32Z"},{"alias_kind":"pith_short_12","alias_value":"GHXFV3K5OP2L","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GHXFV3K5OP2LYGAO","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GHXFV3K5","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:5ec3edc709f71c1a9cb721bdd9b8ffb896185dfef47e0ba5471131f226970448","target":"graph","created_at":"2026-05-18T04:16:32Z","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":"In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension $d$ and order $h$ with a generic differential hypersurface of order $s$ is shown to be an irreducible variety of dimension $d-1$ and order $h+s$. As a consequence, the dimension conjecture for generic differential polynomials is proved. Based on the intersection theory, the Chow form for an irreducible differential variety is defined and most of the properties of the Chow form in the algebraic case are established for its differential cou","authors_text":"Chun-Ming Yuan, Wei Li, Xiao-Shan Gao","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2010-09-01T09:54:02Z","title":"Intersection Theory in Differential Algebraic Geometry: Generic Intersections and the Differential Chow Form"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.0148","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:933f8b4cb1ceca89b3f51619a7168b088794a5b28dd06432c01c26bca8872f60","target":"record","created_at":"2026-05-18T04:16:32Z","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":"09c91f630147b0a7e87d857a446e4c3f3a3ffb0d124d0be40cc232e53f84708c","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2010-09-01T09:54:02Z","title_canon_sha256":"14f59d890441fdbd003109834f48af7fa150e2140c5f63b624988f107296239c"},"schema_version":"1.0","source":{"id":"1009.0148","kind":"arxiv","version":2}},"canonical_sha256":"31ee5aed5d73f4bc180e452f4f71eaf460fc6ee5ec0b043fe89932b96a295f02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31ee5aed5d73f4bc180e452f4f71eaf460fc6ee5ec0b043fe89932b96a295f02","first_computed_at":"2026-05-18T04:16:32.173206Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:32.173206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xESSXuX5zUmKbnRUOAWECmMPWfqU/O11TkKy9ZDi0wAza0fVVyvLbIHs4544AGnr05LqAIZTF5XNHlMM5fLuDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:32.173561Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.0148","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:933f8b4cb1ceca89b3f51619a7168b088794a5b28dd06432c01c26bca8872f60","sha256:5ec3edc709f71c1a9cb721bdd9b8ffb896185dfef47e0ba5471131f226970448"],"state_sha256":"5aa8ac75512c2a26d04c65bf53bcaee67d09ff84914d4c03bd11d239689bc007"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c1YCtuFtGJJgxiNrmIcqwg++G29VV0T2Wk6QT0KFrCKgjaRGMxlTp1tjNWwtiPDDRhT7znigmhxOOzLgROCeAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:23:50.602046Z","bundle_sha256":"8dc5329202adaac1aa81dd35d2dfb733cdfabfc590a55b65f20d5ed2393bc829"}}