{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:C4X7TY5GE2UAQRI7DNHPPIWUVO","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":"fc2cffaa2707d789e908b9ba918bd9e39fc15c4b1ff583b3c8cb26b62596e4bd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2025-07-30T09:25:28Z","title_canon_sha256":"5e7d44fb35c4ce66e1d2a03656ee5884ec7353778bba3b5ee1335b6edea4bd3d"},"schema_version":"1.0","source":{"id":"2507.22507","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.22507","created_at":"2026-07-05T11:45:43Z"},{"alias_kind":"arxiv_version","alias_value":"2507.22507v1","created_at":"2026-07-05T11:45:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.22507","created_at":"2026-07-05T11:45:43Z"},{"alias_kind":"pith_short_12","alias_value":"C4X7TY5GE2UA","created_at":"2026-07-05T11:45:43Z"},{"alias_kind":"pith_short_16","alias_value":"C4X7TY5GE2UAQRI7","created_at":"2026-07-05T11:45:43Z"},{"alias_kind":"pith_short_8","alias_value":"C4X7TY5G","created_at":"2026-07-05T11:45:43Z"}],"graph_snapshots":[{"event_id":"sha256:7f1d4163326a40643db80542f3540e51c254c54216e7664a735b270fd57bcf06","target":"graph","created_at":"2026-07-05T11:45:43Z","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/2507.22507/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We disprove a well-known conjecture of Boston (2000), which claims that a just-infinite pro-$p$ group is branch if and only if it admits a positive-dimensional embedding in the group of $p$-adic automorphisms. This is obtained as a result of a comprehensive study of the rigidity of branch actions.\n  Firstly, we generalize the notion of the structure graph, introduced by Wilson in 2000, to weakly branch groups and use it to prove several results on the first-order theory of weakly branch groups, extending previous results of Wilson on branch groups.\n  Secondly, we completely characterize the ri","authors_text":"Jorge Fari\\~na-Asategui","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2025-07-30T09:25:28Z","title":"Weakly branch actions: first-order theory, rigidity and Boston's conjecture"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.22507","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:8f4350747ef8efb65af1ac7730a42e8a10c14a41531de330c110bedea8ec7d14","target":"record","created_at":"2026-07-05T11:45:43Z","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":"fc2cffaa2707d789e908b9ba918bd9e39fc15c4b1ff583b3c8cb26b62596e4bd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2025-07-30T09:25:28Z","title_canon_sha256":"5e7d44fb35c4ce66e1d2a03656ee5884ec7353778bba3b5ee1335b6edea4bd3d"},"schema_version":"1.0","source":{"id":"2507.22507","kind":"arxiv","version":1}},"canonical_sha256":"172ff9e3a626a808451f1b4ef7a2d4ab9d1e4770a199c632ee7d49aad0e553cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"172ff9e3a626a808451f1b4ef7a2d4ab9d1e4770a199c632ee7d49aad0e553cf","first_computed_at":"2026-07-05T11:45:43.585940Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:45:43.585940Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tY9IZTD4+VoeHxxRXMkok9MapEiR/a5kILtlzEuTdL6yyWPWPa89GX3KDwnOPagohnxXI79qYivx32ZuW9wkBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:45:43.586389Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.22507","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f4350747ef8efb65af1ac7730a42e8a10c14a41531de330c110bedea8ec7d14","sha256:7f1d4163326a40643db80542f3540e51c254c54216e7664a735b270fd57bcf06"],"state_sha256":"0553bb6d87f0404fdf1c922657c8591480865ecd734d7e4b6ce32b8aa9053a6f"}