{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NCCK2JBEVE6WZAWAVGWQ2HEM3U","short_pith_number":"pith:NCCK2JBE","canonical_record":{"source":{"id":"2605.07609","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2026-05-08T11:35:51Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"4a9ed33f28189e83b867ffedde2a6425341168d3e48c3e1280440d23254ad017","abstract_canon_sha256":"03d2d1432b8cbd216d684179e2714a429100e8121f9b77b35cea985c95437560"},"schema_version":"1.0"},"canonical_sha256":"6884ad2424a93d6c82c0a9ad0d1c8cdd026cbd0fc6c477a2a0060e028502aa8f","source":{"kind":"arxiv","id":"2605.07609","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.07609","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"arxiv_version","alias_value":"2605.07609v2","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.07609","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"pith_short_12","alias_value":"NCCK2JBEVE6W","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"pith_short_16","alias_value":"NCCK2JBEVE6WZAWA","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"pith_short_8","alias_value":"NCCK2JBE","created_at":"2026-05-20T00:05:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NCCK2JBEVE6WZAWAVGWQ2HEM3U","target":"record","payload":{"canonical_record":{"source":{"id":"2605.07609","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2026-05-08T11:35:51Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"4a9ed33f28189e83b867ffedde2a6425341168d3e48c3e1280440d23254ad017","abstract_canon_sha256":"03d2d1432b8cbd216d684179e2714a429100e8121f9b77b35cea985c95437560"},"schema_version":"1.0"},"canonical_sha256":"6884ad2424a93d6c82c0a9ad0d1c8cdd026cbd0fc6c477a2a0060e028502aa8f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:46.521942Z","signature_b64":"OnOgOfYNbUKGgaTVY5wrRSagWZjlFMsKTf43BvNuRqLXUyHAV4MNjjGxrxfyL7Gq7u6poiThZ11GFLTWuG3ZBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6884ad2424a93d6c82c0a9ad0d1c8cdd026cbd0fc6c477a2a0060e028502aa8f","last_reissued_at":"2026-05-20T00:05:46.521423Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:46.521423Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.07609","source_version":2,"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-20T00:05:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w5IiBXlsVoDmwKxzaSJmRmtRNWNhjWMFkUTdf8v+DhY9Y9Ln3/8bqGXeRPHO05Psiizk0jUhYTXAZCSlTfq5AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:30:26.880178Z"},"content_sha256":"f19732386f4243081010196729f3b9b13c1f33229673ca1ed9a36a1cf75a87d7","schema_version":"1.0","event_id":"sha256:f19732386f4243081010196729f3b9b13c1f33229673ca1ed9a36a1cf75a87d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NCCK2JBEVE6WZAWAVGWQ2HEM3U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Solvability and Rigidity for Topological Skew Braces","license":"http://creativecommons.org/licenses/by/4.0/","headline":"If a connected locally compact Hausdorff topological skew brace has a solvable additive group, then its multiplicative group is also solvable.","cross_cats":["math.GN"],"primary_cat":"math.GR","authors_text":"Andrea Loi, Marco Damele","submitted_at":"2026-05-08T11:35:51Z","abstract_excerpt":"We study compact and locally compact topological analogues of the Byott--Vendramin solvability problem for finite skew braces, asking whether solvability of the additive group forces solvability of the multiplicative group. Our main theorem proves an affirmative result in the connected locally compact Hausdorff setting: if \\(B=(B,\\cdot,\\circ)\\) is a connected locally compact Hausdorff topological skew brace and the additive group \\((B,\\cdot)\\) is solvable, then the multiplicative group \\((B,\\circ)\\) is solvable. The proof proceeds by reducing the additive group to a solvable Lie quotient and t"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Our main theorem proves an affirmative result in the connected locally compact Hausdorff setting: if B=(B,·,∘) is a connected locally compact Hausdorff topological skew brace and the additive group (B,·) is solvable, then the multiplicative group (B,∘) is solvable.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The reduction of the additive group to a solvable Lie quotient together with the applicability of the cited affine-action theorem for connected Lie groups acting affinely with solvable stabilizer identity component.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"In connected locally compact Hausdorff topological skew braces, solvability of the additive group forces solvability of the multiplicative group, with the two operations coinciding when the additive group is abelian and the brace is compact.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"If a connected locally compact Hausdorff topological skew brace has a solvable additive group, then its multiplicative group is also solvable.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"5de936c55e2805664ce44a3056c57df8b159c24ddd2e2e30e98a106188a28a12"},"source":{"id":"2605.07609","kind":"arxiv","version":2},"verdict":{"id":"890c885d-a064-4555-a1a3-d6835f458640","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-11T02:05:15.799507Z","strongest_claim":"Our main theorem proves an affirmative result in the connected locally compact Hausdorff setting: if B=(B,·,∘) is a connected locally compact Hausdorff topological skew brace and the additive group (B,·) is solvable, then the multiplicative group (B,∘) is solvable.","one_line_summary":"In connected locally compact Hausdorff topological skew braces, solvability of the additive group forces solvability of the multiplicative group, with the two operations coinciding when the additive group is abelian and the brace is compact.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The reduction of the additive group to a solvable Lie quotient together with the applicability of the cited affine-action theorem for connected Lie groups acting affinely with solvable stabilizer identity component.","pith_extraction_headline":"If a connected locally compact Hausdorff topological skew brace has a solvable additive group, then its multiplicative group is also solvable."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.07609/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T16:01:18.965249Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T11:40:41.168648Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"3d9a02722ff0b3fdbcbea8d7138a5106bd6b1b11e1d365d04b6b0bc41e53d005"},"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":"890c885d-a064-4555-a1a3-d6835f458640"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:05:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+3LWa6yn+DQQ6HbducWA3oleNXqjjH3hmS566CKC3kzOLEZXcyT9RpGhjcmEYp9NOl5x0/9vEBYV0Tqpnb87CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:30:26.881266Z"},"content_sha256":"ecb327b3826165720cba31f87a3b77bdf41fdbf30da49a293da8804813c59511","schema_version":"1.0","event_id":"sha256:ecb327b3826165720cba31f87a3b77bdf41fdbf30da49a293da8804813c59511"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NCCK2JBEVE6WZAWAVGWQ2HEM3U/bundle.json","state_url":"https://pith.science/pith/NCCK2JBEVE6WZAWAVGWQ2HEM3U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NCCK2JBEVE6WZAWAVGWQ2HEM3U/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-05-26T04:30:26Z","links":{"resolver":"https://pith.science/pith/NCCK2JBEVE6WZAWAVGWQ2HEM3U","bundle":"https://pith.science/pith/NCCK2JBEVE6WZAWAVGWQ2HEM3U/bundle.json","state":"https://pith.science/pith/NCCK2JBEVE6WZAWAVGWQ2HEM3U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NCCK2JBEVE6WZAWAVGWQ2HEM3U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NCCK2JBEVE6WZAWAVGWQ2HEM3U","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":"03d2d1432b8cbd216d684179e2714a429100e8121f9b77b35cea985c95437560","cross_cats_sorted":["math.GN"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2026-05-08T11:35:51Z","title_canon_sha256":"4a9ed33f28189e83b867ffedde2a6425341168d3e48c3e1280440d23254ad017"},"schema_version":"1.0","source":{"id":"2605.07609","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.07609","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"arxiv_version","alias_value":"2605.07609v2","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.07609","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"pith_short_12","alias_value":"NCCK2JBEVE6W","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"pith_short_16","alias_value":"NCCK2JBEVE6WZAWA","created_at":"2026-05-20T00:05:46Z"},{"alias_kind":"pith_short_8","alias_value":"NCCK2JBE","created_at":"2026-05-20T00:05:46Z"}],"graph_snapshots":[{"event_id":"sha256:ecb327b3826165720cba31f87a3b77bdf41fdbf30da49a293da8804813c59511","target":"graph","created_at":"2026-05-20T00:05:46Z","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":"Our main theorem proves an affirmative result in the connected locally compact Hausdorff setting: if B=(B,·,∘) is a connected locally compact Hausdorff topological skew brace and the additive group (B,·) is solvable, then the multiplicative group (B,∘) is solvable."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The reduction of the additive group to a solvable Lie quotient together with the applicability of the cited affine-action theorem for connected Lie groups acting affinely with solvable stabilizer identity component."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"In connected locally compact Hausdorff topological skew braces, solvability of the additive group forces solvability of the multiplicative group, with the two operations coinciding when the additive group is abelian and the brace is compact."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"If a connected locally compact Hausdorff topological skew brace has a solvable additive group, then its multiplicative group is also solvable."}],"snapshot_sha256":"5de936c55e2805664ce44a3056c57df8b159c24ddd2e2e30e98a106188a28a12"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T16:01:18.965249Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T11:40:41.168648Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.07609/integrity.json","findings":[],"snapshot_sha256":"3d9a02722ff0b3fdbcbea8d7138a5106bd6b1b11e1d365d04b6b0bc41e53d005","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study compact and locally compact topological analogues of the Byott--Vendramin solvability problem for finite skew braces, asking whether solvability of the additive group forces solvability of the multiplicative group. Our main theorem proves an affirmative result in the connected locally compact Hausdorff setting: if \\(B=(B,\\cdot,\\circ)\\) is a connected locally compact Hausdorff topological skew brace and the additive group \\((B,\\cdot)\\) is solvable, then the multiplicative group \\((B,\\circ)\\) is solvable. The proof proceeds by reducing the additive group to a solvable Lie quotient and t","authors_text":"Andrea Loi, Marco Damele","cross_cats":["math.GN"],"headline":"If a connected locally compact Hausdorff topological skew brace has a solvable additive group, then its multiplicative group is also solvable.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2026-05-08T11:35:51Z","title":"Solvability and Rigidity for Topological Skew Braces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.07609","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-11T02:05:15.799507Z","id":"890c885d-a064-4555-a1a3-d6835f458640","model_set":{"reader":"grok-4.3"},"one_line_summary":"In connected locally compact Hausdorff topological skew braces, solvability of the additive group forces solvability of the multiplicative group, with the two operations coinciding when the additive group is abelian and the brace is compact.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"If a connected locally compact Hausdorff topological skew brace has a solvable additive group, then its multiplicative group is also solvable.","strongest_claim":"Our main theorem proves an affirmative result in the connected locally compact Hausdorff setting: if B=(B,·,∘) is a connected locally compact Hausdorff topological skew brace and the additive group (B,·) is solvable, then the multiplicative group (B,∘) is solvable.","weakest_assumption":"The reduction of the additive group to a solvable Lie quotient together with the applicability of the cited affine-action theorem for connected Lie groups acting affinely with solvable stabilizer identity component."}},"verdict_id":"890c885d-a064-4555-a1a3-d6835f458640"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f19732386f4243081010196729f3b9b13c1f33229673ca1ed9a36a1cf75a87d7","target":"record","created_at":"2026-05-20T00:05:46Z","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":"03d2d1432b8cbd216d684179e2714a429100e8121f9b77b35cea985c95437560","cross_cats_sorted":["math.GN"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2026-05-08T11:35:51Z","title_canon_sha256":"4a9ed33f28189e83b867ffedde2a6425341168d3e48c3e1280440d23254ad017"},"schema_version":"1.0","source":{"id":"2605.07609","kind":"arxiv","version":2}},"canonical_sha256":"6884ad2424a93d6c82c0a9ad0d1c8cdd026cbd0fc6c477a2a0060e028502aa8f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6884ad2424a93d6c82c0a9ad0d1c8cdd026cbd0fc6c477a2a0060e028502aa8f","first_computed_at":"2026-05-20T00:05:46.521423Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:46.521423Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OnOgOfYNbUKGgaTVY5wrRSagWZjlFMsKTf43BvNuRqLXUyHAV4MNjjGxrxfyL7Gq7u6poiThZ11GFLTWuG3ZBQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:46.521942Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.07609","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f19732386f4243081010196729f3b9b13c1f33229673ca1ed9a36a1cf75a87d7","sha256:ecb327b3826165720cba31f87a3b77bdf41fdbf30da49a293da8804813c59511"],"state_sha256":"6722f6b2fc048b40fb097e8e4e5c6ecf04c4948ad9d9b94f9a61599b1651e465"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CUfG6b0R58CDMK/jjHOT59I26bh42ENc85ZgJZUsxy/V0b7XWmW9VUfvZt/uGycvYbnXlkYmVNZDXIp3HRsaCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T04:30:26.886854Z","bundle_sha256":"1ec093dd1f96be942020157afa7b7f53be57855d85dbcfaa2827a617d8ae6a88"}}