{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:HTXTF7YFQROULMQPTJAVTJWDY2","short_pith_number":"pith:HTXTF7YF","canonical_record":{"source":{"id":"1612.00105","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-12-01T01:30:51Z","cross_cats_sorted":[],"title_canon_sha256":"197a9edc4ca8e1155d5b56451a8203136c7954dc3c33d80586fcc6ca7e8fb876","abstract_canon_sha256":"fb92c04e4f99a0f9a236e1fd84d68daea954ab7bb39f04e2da1623fac2d82ba1"},"schema_version":"1.0"},"canonical_sha256":"3cef32ff05845d45b20f9a4159a6c3c6b2e02420c00991b1363578e2a2357f8a","source":{"kind":"arxiv","id":"1612.00105","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00105","created_at":"2026-05-17T23:49:44Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00105v1","created_at":"2026-05-17T23:49:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00105","created_at":"2026-05-17T23:49:44Z"},{"alias_kind":"pith_short_12","alias_value":"HTXTF7YFQROU","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"HTXTF7YFQROULMQP","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"HTXTF7YF","created_at":"2026-05-18T12:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:HTXTF7YFQROULMQPTJAVTJWDY2","target":"record","payload":{"canonical_record":{"source":{"id":"1612.00105","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-12-01T01:30:51Z","cross_cats_sorted":[],"title_canon_sha256":"197a9edc4ca8e1155d5b56451a8203136c7954dc3c33d80586fcc6ca7e8fb876","abstract_canon_sha256":"fb92c04e4f99a0f9a236e1fd84d68daea954ab7bb39f04e2da1623fac2d82ba1"},"schema_version":"1.0"},"canonical_sha256":"3cef32ff05845d45b20f9a4159a6c3c6b2e02420c00991b1363578e2a2357f8a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:44.433228Z","signature_b64":"+NbyOuZHoOCMjVwFAwi9OSu5zo8vJchjZIikwV8eE7cFsrc5vP9JGLATkOmR7yayuuVU8AVwcgE8IBuMduY7Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3cef32ff05845d45b20f9a4159a6c3c6b2e02420c00991b1363578e2a2357f8a","last_reissued_at":"2026-05-17T23:49:44.432657Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:44.432657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.00105","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:49:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GW+GSvJr0DuaLl95poXkTNgjSR9Au3FZH6ZnbQ8HVwBLa8vMAv1gD4P9Gz4eeDb66eyqorVakGF2DnvY5mydAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T03:07:44.262795Z"},"content_sha256":"590e5712454fef5b2e7a0541c4cebc1f1aa605c6e93444886031552e6224403f","schema_version":"1.0","event_id":"sha256:590e5712454fef5b2e7a0541c4cebc1f1aa605c6e93444886031552e6224403f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:HTXTF7YFQROULMQPTJAVTJWDY2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Galois level and congruence ideal for $p$-adic families of finite slope Siegel modular forms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Andrea Conti","submitted_at":"2016-12-01T01:30:51Z","abstract_excerpt":"We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00105","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:49:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qVUb6DMCLALqZvtsZ7g9XstPZNaCpydDHldr646/kfcgorR00KRkE9J0pwpzO1PXjWsUxddagumLLhgrJ4IJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T03:07:44.263462Z"},"content_sha256":"f5f7f76375e006315215169a07e1afb3b5fa56390edc5c90c5e4cae2d5fb2f76","schema_version":"1.0","event_id":"sha256:f5f7f76375e006315215169a07e1afb3b5fa56390edc5c90c5e4cae2d5fb2f76"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HTXTF7YFQROULMQPTJAVTJWDY2/bundle.json","state_url":"https://pith.science/pith/HTXTF7YFQROULMQPTJAVTJWDY2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HTXTF7YFQROULMQPTJAVTJWDY2/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T03:07:44Z","links":{"resolver":"https://pith.science/pith/HTXTF7YFQROULMQPTJAVTJWDY2","bundle":"https://pith.science/pith/HTXTF7YFQROULMQPTJAVTJWDY2/bundle.json","state":"https://pith.science/pith/HTXTF7YFQROULMQPTJAVTJWDY2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HTXTF7YFQROULMQPTJAVTJWDY2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HTXTF7YFQROULMQPTJAVTJWDY2","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":"fb92c04e4f99a0f9a236e1fd84d68daea954ab7bb39f04e2da1623fac2d82ba1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-12-01T01:30:51Z","title_canon_sha256":"197a9edc4ca8e1155d5b56451a8203136c7954dc3c33d80586fcc6ca7e8fb876"},"schema_version":"1.0","source":{"id":"1612.00105","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00105","created_at":"2026-05-17T23:49:44Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00105v1","created_at":"2026-05-17T23:49:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00105","created_at":"2026-05-17T23:49:44Z"},{"alias_kind":"pith_short_12","alias_value":"HTXTF7YFQROU","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"HTXTF7YFQROULMQP","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"HTXTF7YF","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:f5f7f76375e006315215169a07e1afb3b5fa56390edc5c90c5e4cae2d5fb2f76","target":"graph","created_at":"2026-05-17T23:49:44Z","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"},"paper":{"abstract_excerpt":"We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer","authors_text":"Andrea Conti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-12-01T01:30:51Z","title":"Galois level and congruence ideal for $p$-adic families of finite slope Siegel modular forms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00105","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:590e5712454fef5b2e7a0541c4cebc1f1aa605c6e93444886031552e6224403f","target":"record","created_at":"2026-05-17T23:49:44Z","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":"fb92c04e4f99a0f9a236e1fd84d68daea954ab7bb39f04e2da1623fac2d82ba1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-12-01T01:30:51Z","title_canon_sha256":"197a9edc4ca8e1155d5b56451a8203136c7954dc3c33d80586fcc6ca7e8fb876"},"schema_version":"1.0","source":{"id":"1612.00105","kind":"arxiv","version":1}},"canonical_sha256":"3cef32ff05845d45b20f9a4159a6c3c6b2e02420c00991b1363578e2a2357f8a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3cef32ff05845d45b20f9a4159a6c3c6b2e02420c00991b1363578e2a2357f8a","first_computed_at":"2026-05-17T23:49:44.432657Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:44.432657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+NbyOuZHoOCMjVwFAwi9OSu5zo8vJchjZIikwV8eE7cFsrc5vP9JGLATkOmR7yayuuVU8AVwcgE8IBuMduY7Dw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:44.433228Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.00105","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:590e5712454fef5b2e7a0541c4cebc1f1aa605c6e93444886031552e6224403f","sha256:f5f7f76375e006315215169a07e1afb3b5fa56390edc5c90c5e4cae2d5fb2f76"],"state_sha256":"4ca3de385f0d7ead9f275d826beef9d106e313918e6366961ff9335449a6229a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dU725+Pik2BYRANnNYjMSTxJhGkk17T300sDMnA7qEeh1VuAuBbSU+RP96gkaHItsdYKNxi8gZQsyOHpXxfgCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T03:07:44.266442Z","bundle_sha256":"ee131655e4f9a5371b45217687aa50e3bbc985453ce5f7153b2ead9d283ce734"}}