{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:PU3GFURXHF6KKAJYOLSCF7WSFH","short_pith_number":"pith:PU3GFURX","canonical_record":{"source":{"id":"0902.3220","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-02-18T20:51:35Z","cross_cats_sorted":[],"title_canon_sha256":"590aedf05a90956b1168f9bc61fb0aadf9798e114d95b7be69acf17d6a2b6d82","abstract_canon_sha256":"40d0282a6fedd0d67213e8713b96f1942919338df4171aa5f0ebebca9066f942"},"schema_version":"1.0"},"canonical_sha256":"7d3662d237397ca5013872e422fed229d79cae700d81e8f872dea4cdb576bfa1","source":{"kind":"arxiv","id":"0902.3220","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0902.3220","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"arxiv_version","alias_value":"0902.3220v1","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0902.3220","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"pith_short_12","alias_value":"PU3GFURXHF6K","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"PU3GFURXHF6KKAJY","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"PU3GFURX","created_at":"2026-05-18T12:26:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:PU3GFURXHF6KKAJYOLSCF7WSFH","target":"record","payload":{"canonical_record":{"source":{"id":"0902.3220","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-02-18T20:51:35Z","cross_cats_sorted":[],"title_canon_sha256":"590aedf05a90956b1168f9bc61fb0aadf9798e114d95b7be69acf17d6a2b6d82","abstract_canon_sha256":"40d0282a6fedd0d67213e8713b96f1942919338df4171aa5f0ebebca9066f942"},"schema_version":"1.0"},"canonical_sha256":"7d3662d237397ca5013872e422fed229d79cae700d81e8f872dea4cdb576bfa1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:58:37.085387Z","signature_b64":"TakP8cemgUmkC07mbxC1U044f7LvcC4dEXSqhLVDzJjfFp/ugOVIWYeFMKBdZEbKq2rxjx20W79Jtz2HV/WZDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d3662d237397ca5013872e422fed229d79cae700d81e8f872dea4cdb576bfa1","last_reissued_at":"2026-05-18T03:58:37.084888Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:58:37.084888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0902.3220","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-18T03:58:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qz3oiWPq0dmIU4zhM3r6UVvy9GfEDyr0dF9ZYWdJFQNBD68Hc05Ns/h+l0MK0lHnBBnHJKJcScBSCUzptI7WDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:38:01.055443Z"},"content_sha256":"0592b89765fb186cc320d10c23159850d4132b3dc91fa30d8ccbb2b50ca38af7","schema_version":"1.0","event_id":"sha256:0592b89765fb186cc320d10c23159850d4132b3dc91fa30d8ccbb2b50ca38af7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:PU3GFURXHF6KKAJYOLSCF7WSFH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The congruence subgroup problem for branch groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Laurent Bartholdi, Olivier Siegenthaler, Pavel Zalesskii","submitted_at":"2009-02-18T20:51:35Z","abstract_excerpt":"We state and study the congruence subgroup problem for groups acting on rooted tree, and for branch groups in particular. The problem is reduced to the computation of the congruence kernel, which we split into two parts: the branch kernel and the rigid kernel. In the case of regular branch groups, we prove that the first one is Abelian while the second has finite exponent. We also establish some rigidity results concerning these kernels.\n  We work out explicitly known and new examples of non-trivial congruence kernels, describing in each case the group action. The Hanoi tower group receives pa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0902.3220","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-18T03:58:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bX0GxpXUCD2iIfIEWOTrCj5HtLc6rzEHBn6xS8kJmCDvgGzN6+G6ND4efdY8atVR6yFMCexNg8QlQUKJxBsbDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:38:01.056177Z"},"content_sha256":"e48b9d8140fc58bb5f97c1a86aa90af7008a1a59db8e1225d9a4f92f943f3e90","schema_version":"1.0","event_id":"sha256:e48b9d8140fc58bb5f97c1a86aa90af7008a1a59db8e1225d9a4f92f943f3e90"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PU3GFURXHF6KKAJYOLSCF7WSFH/bundle.json","state_url":"https://pith.science/pith/PU3GFURXHF6KKAJYOLSCF7WSFH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PU3GFURXHF6KKAJYOLSCF7WSFH/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-09T08:38:01Z","links":{"resolver":"https://pith.science/pith/PU3GFURXHF6KKAJYOLSCF7WSFH","bundle":"https://pith.science/pith/PU3GFURXHF6KKAJYOLSCF7WSFH/bundle.json","state":"https://pith.science/pith/PU3GFURXHF6KKAJYOLSCF7WSFH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PU3GFURXHF6KKAJYOLSCF7WSFH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:PU3GFURXHF6KKAJYOLSCF7WSFH","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":"40d0282a6fedd0d67213e8713b96f1942919338df4171aa5f0ebebca9066f942","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-02-18T20:51:35Z","title_canon_sha256":"590aedf05a90956b1168f9bc61fb0aadf9798e114d95b7be69acf17d6a2b6d82"},"schema_version":"1.0","source":{"id":"0902.3220","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0902.3220","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"arxiv_version","alias_value":"0902.3220v1","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0902.3220","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"pith_short_12","alias_value":"PU3GFURXHF6K","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"PU3GFURXHF6KKAJY","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"PU3GFURX","created_at":"2026-05-18T12:26:01Z"}],"graph_snapshots":[{"event_id":"sha256:e48b9d8140fc58bb5f97c1a86aa90af7008a1a59db8e1225d9a4f92f943f3e90","target":"graph","created_at":"2026-05-18T03:58:37Z","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 state and study the congruence subgroup problem for groups acting on rooted tree, and for branch groups in particular. The problem is reduced to the computation of the congruence kernel, which we split into two parts: the branch kernel and the rigid kernel. In the case of regular branch groups, we prove that the first one is Abelian while the second has finite exponent. We also establish some rigidity results concerning these kernels.\n  We work out explicitly known and new examples of non-trivial congruence kernels, describing in each case the group action. The Hanoi tower group receives pa","authors_text":"Laurent Bartholdi, Olivier Siegenthaler, Pavel Zalesskii","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-02-18T20:51:35Z","title":"The congruence subgroup problem for branch groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0902.3220","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:0592b89765fb186cc320d10c23159850d4132b3dc91fa30d8ccbb2b50ca38af7","target":"record","created_at":"2026-05-18T03:58:37Z","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":"40d0282a6fedd0d67213e8713b96f1942919338df4171aa5f0ebebca9066f942","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-02-18T20:51:35Z","title_canon_sha256":"590aedf05a90956b1168f9bc61fb0aadf9798e114d95b7be69acf17d6a2b6d82"},"schema_version":"1.0","source":{"id":"0902.3220","kind":"arxiv","version":1}},"canonical_sha256":"7d3662d237397ca5013872e422fed229d79cae700d81e8f872dea4cdb576bfa1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d3662d237397ca5013872e422fed229d79cae700d81e8f872dea4cdb576bfa1","first_computed_at":"2026-05-18T03:58:37.084888Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:58:37.084888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TakP8cemgUmkC07mbxC1U044f7LvcC4dEXSqhLVDzJjfFp/ugOVIWYeFMKBdZEbKq2rxjx20W79Jtz2HV/WZDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:58:37.085387Z","signed_message":"canonical_sha256_bytes"},"source_id":"0902.3220","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0592b89765fb186cc320d10c23159850d4132b3dc91fa30d8ccbb2b50ca38af7","sha256:e48b9d8140fc58bb5f97c1a86aa90af7008a1a59db8e1225d9a4f92f943f3e90"],"state_sha256":"8af86292c52627ccbb92317d2df5f667f197c2b4e9808c514b8caae5eb49225d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b9q4f3RQ+677XyG2h0oLtaufdwITZmTOVWJTsnm5dek9Q6yXQ96tyQv9ELenOsm8n9KRhOf/IZrS9QbyM9rvBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T08:38:01.060110Z","bundle_sha256":"50af98abd3454acd9a036d328eeb466ee787500b0a27a97e3a945b3b234e6ca9"}}