{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:K4FC76G7OC3KORR6RF4TYU4TWC","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":"2621e9d30da4426811b88986b9e77d02f3168283f290277df5e400223b7c0a49","cross_cats_sorted":["math.AG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.RT","submitted_at":"2025-04-29T08:52:10Z","title_canon_sha256":"fc1bad1c7041cb05442b5ce12ddcc2519b4d0d3fad19f11f38f57193e2d6b627"},"schema_version":"1.0","source":{"id":"2504.20549","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.20549","created_at":"2026-06-02T01:03:31Z"},{"alias_kind":"arxiv_version","alias_value":"2504.20549v3","created_at":"2026-06-02T01:03:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.20549","created_at":"2026-06-02T01:03:31Z"},{"alias_kind":"pith_short_12","alias_value":"K4FC76G7OC3K","created_at":"2026-06-02T01:03:31Z"},{"alias_kind":"pith_short_16","alias_value":"K4FC76G7OC3KORR6","created_at":"2026-06-02T01:03:31Z"},{"alias_kind":"pith_short_8","alias_value":"K4FC76G7","created_at":"2026-06-02T01:03:31Z"}],"graph_snapshots":[{"event_id":"sha256:565103a325c5f365fa0aa1c22d92cbc1d9a70f59fdf95dee058ceca6afe4eaf3","target":"graph","created_at":"2026-06-02T01:03:31Z","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":"The paper formulates an algebraic construction providing an explicit link between Demazure modules in the algebraic reformulation of the Pappas-Rapoport coherence conjecture, applicable to a wider class of representations in type A, with the general case involving affine Kostant-Kumar modules."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The assumption that the proposed algebraic construction indeed provides the explicit link for the Demazure modules and extends appropriately to the affine Kostant-Kumar modules as stated."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Formulates a type A algebraic construction linking Demazure modules to address the algebraic reformulation of the Pappas-Rapoport coherence conjecture, extending to affine Kostant-Kumar modules in general cases."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"An algebraic construction in type A explicitly connects Demazure modules from the Pappas-Rapoport coherence conjecture to a wider class of representations."}],"snapshot_sha256":"d950308432179c982453a9557f9170cc357159ae0e1e15d6fc956231200e974d"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"a6fafba9bb2a2fb25707a23bc992d555d0110b9e1f6878ad4b572f1d0e96900d"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2504.20549/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Pappas--Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to line bundles on spherical Schubert varieties in affine Grassmannians and to line bundles on unions of Schubert varieties in affine flag varieties. Algebraically, the claim can be reformulated as an equality between the dimensions of certain Demazure modules and certain sums of Demazure modules. The goal of this paper is to formulate an algebraic construction that provides an explicit link between the aforementio","authors_text":"an appendix in collaboration with Andrey Karenskih, Evgeny Feigin","cross_cats":["math.AG"],"headline":"An algebraic construction in type A explicitly connects Demazure modules from the Pappas-Rapoport coherence conjecture to a wider class of representations.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.RT","submitted_at":"2025-04-29T08:52:10Z","title":"Type A algebraic coherence conjecture of Pappas and Rapoport"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.20549","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-22T18:44:17.341122Z","id":"97e731de-e161-4027-b54e-f668e8bdceda","model_set":{"reader":"grok-4.3"},"one_line_summary":"Formulates a type A algebraic construction linking Demazure modules to address the algebraic reformulation of the Pappas-Rapoport coherence conjecture, extending to affine Kostant-Kumar modules in general cases.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"An algebraic construction in type A explicitly connects Demazure modules from the Pappas-Rapoport coherence conjecture to a wider class of representations.","strongest_claim":"The paper formulates an algebraic construction providing an explicit link between Demazure modules in the algebraic reformulation of the Pappas-Rapoport coherence conjecture, applicable to a wider class of representations in type A, with the general case involving affine Kostant-Kumar modules.","weakest_assumption":"The assumption that the proposed algebraic construction indeed provides the explicit link for the Demazure modules and extends appropriately to the affine Kostant-Kumar modules as stated."}},"verdict_id":"97e731de-e161-4027-b54e-f668e8bdceda"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4a879e698289f996c3f255439084da20fddf3fea843138a94f22409f7af17d25","target":"record","created_at":"2026-06-02T01:03:31Z","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":"2621e9d30da4426811b88986b9e77d02f3168283f290277df5e400223b7c0a49","cross_cats_sorted":["math.AG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.RT","submitted_at":"2025-04-29T08:52:10Z","title_canon_sha256":"fc1bad1c7041cb05442b5ce12ddcc2519b4d0d3fad19f11f38f57193e2d6b627"},"schema_version":"1.0","source":{"id":"2504.20549","kind":"arxiv","version":3}},"canonical_sha256":"570a2ff8df70b6a7463e89793c5393b0a75d66e3559f56adda5fdcd5e1049887","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"570a2ff8df70b6a7463e89793c5393b0a75d66e3559f56adda5fdcd5e1049887","first_computed_at":"2026-06-02T01:03:31.385775Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T01:03:31.385775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RzXOG7HCZhbbd/7ubg5uhpBNuqe/Lypk1OhnIHGwxZBowJE3pZBH3txLopSCrw+X021Qx3eLL0ajQSirHg1BBg==","signature_status":"signed_v1","signed_at":"2026-06-02T01:03:31.386277Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.20549","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a879e698289f996c3f255439084da20fddf3fea843138a94f22409f7af17d25","sha256:565103a325c5f365fa0aa1c22d92cbc1d9a70f59fdf95dee058ceca6afe4eaf3"],"state_sha256":"c10a85f8490ae1bee6783d08670bf23d552c3604afabb183d9341563111f4a31"}