{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1996:D6A7IDVXTYSW2PT2EHBKIQ5PHE","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":"dba973096cdc58016f9fcec83ad86b19bec3f4dd3ed9ec4856a944919ec9abc5","cross_cats_sorted":["math.AG"],"license":"","primary_cat":"alg-geom","submitted_at":"1996-11-12T12:57:18Z","title_canon_sha256":"89d90264f66d6a14870395e1686b520a1fee3b007872e9fd493904c4cd4fbb08"},"schema_version":"1.0","source":{"id":"alg-geom/9611013","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"alg-geom/9611013","created_at":"2026-07-04T15:08:07Z"},{"alias_kind":"arxiv_version","alias_value":"alg-geom/9611013v1","created_at":"2026-07-04T15:08:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.alg-geom/9611013","created_at":"2026-07-04T15:08:07Z"},{"alias_kind":"pith_short_12","alias_value":"D6A7IDVXTYSW","created_at":"2026-07-04T15:08:07Z"},{"alias_kind":"pith_short_16","alias_value":"D6A7IDVXTYSW2PT2","created_at":"2026-07-04T15:08:07Z"},{"alias_kind":"pith_short_8","alias_value":"D6A7IDVX","created_at":"2026-07-04T15:08:07Z"}],"graph_snapshots":[{"event_id":"sha256:5bd3c58a361aba14b4488532d055c884e5e670b35a730379bb59eb6eee982565","target":"graph","created_at":"2026-07-04T15:08:07Z","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/alg-geom/9611013/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Let $p$ be a prime number and $N$ an integer prime to $p$. We show that the operator $U_p$ on the space of cuspidal modular forms of level $pN$ and weight two is semi-simple. It follows from this that the Hecke algebra acting on the space of weight two forms of level $M$ is reduced if $M$ is cube free. Assuming Tate's conjecture for cycles on smooth projective varieties over finite fields, we generalize these results to higher weights. The main point in the proof is that the crystalline Frobenius of the reduction mod $p$ of the motive associated to a newform of level prime to $p$ and weight at","authors_text":"Bas Edixhoven, Robert F. Coleman","cross_cats":["math.AG"],"headline":"","license":"","primary_cat":"alg-geom","submitted_at":"1996-11-12T12:57:18Z","title":"On the semi-simplicity of the $U_p$-operator on modular forms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"alg-geom/9611013","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:922df6ddd16ffada630b0599b23818c401d677c224e698b4626427f22d237fb5","target":"record","created_at":"2026-07-04T15:08:07Z","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":"dba973096cdc58016f9fcec83ad86b19bec3f4dd3ed9ec4856a944919ec9abc5","cross_cats_sorted":["math.AG"],"license":"","primary_cat":"alg-geom","submitted_at":"1996-11-12T12:57:18Z","title_canon_sha256":"89d90264f66d6a14870395e1686b520a1fee3b007872e9fd493904c4cd4fbb08"},"schema_version":"1.0","source":{"id":"alg-geom/9611013","kind":"arxiv","version":1}},"canonical_sha256":"1f81f40eb79e256d3e7a21c2a443af393d3be7dd83eec19fb93e2045a658c365","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1f81f40eb79e256d3e7a21c2a443af393d3be7dd83eec19fb93e2045a658c365","first_computed_at":"2026-07-04T15:08:07.375342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:08:07.375342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"N8Ba7Aa5JObE95hCyx7O42Yj56douIB8XK8bW4QXy7Tzw6UVxd2OKjFWIBaepXb6BDqGVLIQOlpRVoOKE/FXDA==","signature_status":"signed_v1","signed_at":"2026-07-04T15:08:07.375749Z","signed_message":"canonical_sha256_bytes"},"source_id":"alg-geom/9611013","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:922df6ddd16ffada630b0599b23818c401d677c224e698b4626427f22d237fb5","sha256:5bd3c58a361aba14b4488532d055c884e5e670b35a730379bb59eb6eee982565"],"state_sha256":"96f28694cd511644ef3edb514f380b4e53f28d52917ca9f36baff8164544fe97"}