{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:O735V64MM57LKMSSCVJTNPKW7Q","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":"4cce9bbe77180f2c21b8e872a940b9a8230107aea72e6421652d0fdd1141ab12","cross_cats_sorted":["math.SG"],"license":"","primary_cat":"math.AG","submitted_at":"2004-02-03T21:41:00Z","title_canon_sha256":"f92996ed6ab153f38c15d9d3f440744f9787cbf766532728d7d3c1b9bf598309"},"schema_version":"1.0","source":{"id":"math/0402045","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0402045","created_at":"2026-07-04T14:38:12Z"},{"alias_kind":"arxiv_version","alias_value":"math/0402045v1","created_at":"2026-07-04T14:38:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0402045","created_at":"2026-07-04T14:38:12Z"},{"alias_kind":"pith_short_12","alias_value":"O735V64MM57L","created_at":"2026-07-04T14:38:12Z"},{"alias_kind":"pith_short_16","alias_value":"O735V64MM57LKMSS","created_at":"2026-07-04T14:38:12Z"},{"alias_kind":"pith_short_8","alias_value":"O735V64M","created_at":"2026-07-04T14:38:12Z"}],"graph_snapshots":[{"event_id":"sha256:431de0e2630e3d13642d99b1717d8f363e4b0f2560ad28be8b6549ca8e06cd27","target":"graph","created_at":"2026-07-04T14:38: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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/math/0402045/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the long paper \"Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)\" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by using techniques from differential topology/symplectic geometry (including family Seiberg-Witten theory) and some ideas derived from Taubes' \"SW=Gr\". In the current paper, we offer an algebraic proof of the \"universality theorem\", showing that the counting of nodal curves for 5$\\delta$-1 very ample complete linear systems are controled by universal polynomials ","authors_text":"Ai-Ko Liu","cross_cats":["math.SG"],"headline":"","license":"","primary_cat":"math.AG","submitted_at":"2004-02-03T21:41:00Z","title":"The Algebraic Proof of the Universality Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0402045","kind":"arxiv","version":1},"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:06afe5c3f18b6c1f857a80bf773fff69caedba689652fb2588f00ad249cd617e","target":"record","created_at":"2026-07-04T14:38: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":"4cce9bbe77180f2c21b8e872a940b9a8230107aea72e6421652d0fdd1141ab12","cross_cats_sorted":["math.SG"],"license":"","primary_cat":"math.AG","submitted_at":"2004-02-03T21:41:00Z","title_canon_sha256":"f92996ed6ab153f38c15d9d3f440744f9787cbf766532728d7d3c1b9bf598309"},"schema_version":"1.0","source":{"id":"math/0402045","kind":"arxiv","version":1}},"canonical_sha256":"77f7dafb8c677eb53252155336bd56fc27a36172d78d6199423f1cd67889652c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77f7dafb8c677eb53252155336bd56fc27a36172d78d6199423f1cd67889652c","first_computed_at":"2026-07-04T14:38:12.517398Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:38:12.517398Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4aybi93puf2gfj6skCa9fBViERb87wjP/ruIBQlrc8yoZxAoukilIR00quunfQQxXlpapgEG6Hod9hJme/gVCw==","signature_status":"signed_v1","signed_at":"2026-07-04T14:38:12.517798Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0402045","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06afe5c3f18b6c1f857a80bf773fff69caedba689652fb2588f00ad249cd617e","sha256:431de0e2630e3d13642d99b1717d8f363e4b0f2560ad28be8b6549ca8e06cd27"],"state_sha256":"900b85a732028c222e672b17618ab5539ea87a450c2c5b138389fea8f13093b6"}