{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:YX2CESBD67JXKH5EBWN27NSXND","short_pith_number":"pith:YX2CESBD","schema_version":"1.0","canonical_sha256":"c5f4224823f7d3751fa40d9bafb65768dcb9ee8e5fec333f9f79834eecf0d938","source":{"kind":"arxiv","id":"1306.0828","version":3},"attestation_state":"computed","paper":{"title":"Noetherianity for infinite-dimensional toric varieties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Anton Leykin, Jan Draisma, Robert Krone, Rob H. Eggermont","submitted_at":"2013-06-04T15:07:15Z","abstract_excerpt":"We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar-Sullivant's Independent Set Theorem and settle several finiteness conjectures due to Aschenbrenner, Martin del Campo, Hillar, and Sullivant.\n  We introduce a matching monoid and show that its monoid ring is Noetherian up to symmetry. Our approach is then to factorize "},"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":"1306.0828","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-06-04T15:07:15Z","cross_cats_sorted":[],"title_canon_sha256":"e3760f0ffb4548db6e8ebe37c10f4889b360d04316cc0eddcfc669be8ed9e6c2","abstract_canon_sha256":"2154625f55976df3fa53aaa3ca7bb791778ba522a7f674d2dafaaa39fadbd178"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:48:06.971757Z","signature_b64":"7JB2e1ptn9f+dqhhrk4AIHz/8rMOILkdpHWNGaWtXhqUCBHckXynMR1ll2qachTQHY0cxrwy27m0R8a9bgyRCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c5f4224823f7d3751fa40d9bafb65768dcb9ee8e5fec333f9f79834eecf0d938","last_reissued_at":"2026-05-18T01:48:06.971188Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:48:06.971188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Noetherianity for infinite-dimensional toric varieties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Anton Leykin, Jan Draisma, Robert Krone, Rob H. Eggermont","submitted_at":"2013-06-04T15:07:15Z","abstract_excerpt":"We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar-Sullivant's Independent Set Theorem and settle several finiteness conjectures due to Aschenbrenner, Martin del Campo, Hillar, and Sullivant.\n  We introduce a matching monoid and show that its monoid ring is Noetherian up to symmetry. Our approach is then to factorize "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.0828","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1306.0828","created_at":"2026-05-18T01:48:06.971267+00:00"},{"alias_kind":"arxiv_version","alias_value":"1306.0828v3","created_at":"2026-05-18T01:48:06.971267+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.0828","created_at":"2026-05-18T01:48:06.971267+00:00"},{"alias_kind":"pith_short_12","alias_value":"YX2CESBD67JX","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_16","alias_value":"YX2CESBD67JXKH5E","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_8","alias_value":"YX2CESBD","created_at":"2026-05-18T12:28:09.283467+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/YX2CESBD67JXKH5EBWN27NSXND","json":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND.json","graph_json":"https://pith.science/api/pith-number/YX2CESBD67JXKH5EBWN27NSXND/graph.json","events_json":"https://pith.science/api/pith-number/YX2CESBD67JXKH5EBWN27NSXND/events.json","paper":"https://pith.science/paper/YX2CESBD"},"agent_actions":{"view_html":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND","download_json":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND.json","view_paper":"https://pith.science/paper/YX2CESBD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1306.0828&json=true","fetch_graph":"https://pith.science/api/pith-number/YX2CESBD67JXKH5EBWN27NSXND/graph.json","fetch_events":"https://pith.science/api/pith-number/YX2CESBD67JXKH5EBWN27NSXND/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND/action/storage_attestation","attest_author":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND/action/author_attestation","sign_citation":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND/action/citation_signature","submit_replication":"https://pith.science/pith/YX2CESBD67JXKH5EBWN27NSXND/action/replication_record"}},"created_at":"2026-05-18T01:48:06.971267+00:00","updated_at":"2026-05-18T01:48:06.971267+00:00"}