{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:J5QCI7WMCS6GYHBY37LBFLFNL4","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":"f9bdbfe5a89e286635ee720d41cf7b00a54b1c69e062ca799b8aa67c09500bc3","cross_cats_sorted":["math.NT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T10:13:21Z","title_canon_sha256":"f8e151a4cc3298fa04e5c2c5890703002bfe0151801a84062cf7c8b7ab01e86c"},"schema_version":"1.0","source":{"id":"2605.13300","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13300","created_at":"2026-05-18T02:44:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13300v1","created_at":"2026-05-18T02:44:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13300","created_at":"2026-05-18T02:44:49Z"},{"alias_kind":"pith_short_12","alias_value":"J5QCI7WMCS6G","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"J5QCI7WMCS6GYHBY","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"J5QCI7WM","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:d869198a7fabd627a38c6c066802b3bb45b76a000534e7c4b321e68daf3adffc","target":"graph","created_at":"2026-05-18T02:44:49Z","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":"We construct all vector-valued Siegel modular forms of level two and degree two in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the divisors on the projectivized Hodge bundle produce a complete set of generators under the action of invariant theory without missing relations or requiring additional ad-hoc forms."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"All vector-valued Siegel modular forms of level two and degree two are generated from basic forms connected to genus-two curve moduli via divisors on the projectivized Hodge bundle and invariant theory."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Divisors on the projectivized Hodge bundle generate all vector-valued Siegel modular forms of level two and degree two."}],"snapshot_sha256":"4a62915de2f1110a854efaed8b9a303537d40af145ff46ecbc5f02378c23a8c2"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"960e1fd77c8849fbfd51c68de98a35ca3f997cf7ffb7ec10abe7962490e17e4f"},"paper":{"abstract_excerpt":"We show how to use divisors on the projectivized Hodge bundle to construct special vector-valued modular forms and then apply invariant theory to construct all vector-valued Siegel modular forms of level two and degree two. Thus we construct all modular forms in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two.","authors_text":"Fabien Cl\\'ery, Gerard van der Geer","cross_cats":["math.NT"],"headline":"Divisors on the projectivized Hodge bundle generate all vector-valued Siegel modular forms of level two and degree two.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T10:13:21Z","title":"Tautological modular forms of level two and degree two"},"references":{"count":21,"internal_anchors":0,"resolved_work":21,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"J. Bergstr¨ om, F. Cl´ ery:Dimension formulas for spaces of vector-valued Siegel modular forms of degree2and level2.Publ. Mat.,69(2), 367—388, 2025","work_id":"1fdf1895-d501-4b6a-adea-9409c1525bfd","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"J. Bruinier, G. van der Geer, G. Harder, D. Zagier:The 1-2-3 of modular forms.Universitext. Springer Verlag 2007","work_id":"72654f6a-e988-4c57-98bd-6942b1b9d122","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"F. Cl´ ery, C. Faber, and G. van der Geer:Covariants of binary sextics and vector-valued Siegel modular forms of genus2.Math. Annalen369(3—4), 1649—1669 (2017)","work_id":"cf2d6263-9109-41d8-add7-7f29008f1b23","year":2017},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"F. Cl´ ery, C. Faber, and G. van der Geer:Covariants of binary sextics and modular forms of degree 2with a character.Mathematics of Computation88, No. 319, 2423–2441, 2019","work_id":"446c1481-5afe-41b7-bdde-2e3b0882e74b","year":2019},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"F. Cl´ ery, C. Faber, and G. van der Geer:Concomitants of ternary quartics and vector-valued Siegel modular and Teichmueller modular forms of genus three.Selecta Mathematica (2020) 26:55","work_id":"5a2a4978-f0eb-41f7-a4f7-858d34573ad2","year":2020}],"snapshot_sha256":"0d259b592375d6aabbd2eedb4ecea3088402fa0b69a62a894eb5ea67993540ee"},"source":{"id":"2605.13300","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T18:13:15.721860Z","id":"c90d744e-153d-4719-9b02-92a283538f05","model_set":{"reader":"grok-4.3"},"one_line_summary":"All vector-valued Siegel modular forms of level two and degree two are generated from basic forms connected to genus-two curve moduli via divisors on the projectivized Hodge bundle and invariant theory.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Divisors on the projectivized Hodge bundle generate all vector-valued Siegel modular forms of level two and degree two.","strongest_claim":"We construct all vector-valued Siegel modular forms of level two and degree two in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two.","weakest_assumption":"That the divisors on the projectivized Hodge bundle produce a complete set of generators under the action of invariant theory without missing relations or requiring additional ad-hoc forms."}},"verdict_id":"c90d744e-153d-4719-9b02-92a283538f05"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5d1cdf72451d7e7420853c89795ff0e898bc106542d43309cc5402208a93a0a6","target":"record","created_at":"2026-05-18T02:44:49Z","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":"f9bdbfe5a89e286635ee720d41cf7b00a54b1c69e062ca799b8aa67c09500bc3","cross_cats_sorted":["math.NT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T10:13:21Z","title_canon_sha256":"f8e151a4cc3298fa04e5c2c5890703002bfe0151801a84062cf7c8b7ab01e86c"},"schema_version":"1.0","source":{"id":"2605.13300","kind":"arxiv","version":1}},"canonical_sha256":"4f60247ecc14bc6c1c38dfd612acad5f3f5024230295789db5fac40b91726e42","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f60247ecc14bc6c1c38dfd612acad5f3f5024230295789db5fac40b91726e42","first_computed_at":"2026-05-18T02:44:49.051021Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:49.051021Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fDKuzEOI2VMtBKMCE22/d/MtEeiSRwGC/xaaeOdzDBz2cApe937KaavbG7lgaI9dtHm1mZigcxS7PcTMZ1kQAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:49.051459Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13300","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d1cdf72451d7e7420853c89795ff0e898bc106542d43309cc5402208a93a0a6","sha256:d869198a7fabd627a38c6c066802b3bb45b76a000534e7c4b321e68daf3adffc"],"state_sha256":"83f0f9dfbd449011adff4210ee208b4e3d5020518e04d11b5bda7e5ca5013f61"}