{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:42IZVQTGSGNSAV6VSYGH2KJI7C","short_pith_number":"pith:42IZVQTG","canonical_record":{"source":{"id":"1405.3433","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-14T10:04:42Z","cross_cats_sorted":[],"title_canon_sha256":"888c1d4f5d3d88edfdac64f414dc11fa84da7643330464224bfbbb5bf6f18691","abstract_canon_sha256":"e806a20b7fdc48194556a6e5cdd26fa656d5da8a1c3976085722ca9b35137063"},"schema_version":"1.0"},"canonical_sha256":"e6919ac266919b2057d5960c7d2928f8a299c1fd0566d80029aca1bffd48932d","source":{"kind":"arxiv","id":"1405.3433","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.3433","created_at":"2026-05-18T00:44:29Z"},{"alias_kind":"arxiv_version","alias_value":"1405.3433v2","created_at":"2026-05-18T00:44:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3433","created_at":"2026-05-18T00:44:29Z"},{"alias_kind":"pith_short_12","alias_value":"42IZVQTGSGNS","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"42IZVQTGSGNSAV6V","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"42IZVQTG","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:42IZVQTGSGNSAV6VSYGH2KJI7C","target":"record","payload":{"canonical_record":{"source":{"id":"1405.3433","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-14T10:04:42Z","cross_cats_sorted":[],"title_canon_sha256":"888c1d4f5d3d88edfdac64f414dc11fa84da7643330464224bfbbb5bf6f18691","abstract_canon_sha256":"e806a20b7fdc48194556a6e5cdd26fa656d5da8a1c3976085722ca9b35137063"},"schema_version":"1.0"},"canonical_sha256":"e6919ac266919b2057d5960c7d2928f8a299c1fd0566d80029aca1bffd48932d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:29.022200Z","signature_b64":"DBhtdtPJ0h++IP7vZkkoKXKU5bB2W5/Tl53LPqgvJAMg1qauzFP7i/c9dFedAtWigYcYPPSRXFSYluqcoiF/BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e6919ac266919b2057d5960c7d2928f8a299c1fd0566d80029aca1bffd48932d","last_reissued_at":"2026-05-18T00:44:29.021704Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:29.021704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.3433","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-18T00:44:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9JKwwViDAg/Kc38ZX5P3hpYMYqHnhtpytye1JoxGAm7n8sKZevQZrMsCRLQpcRFNkmpCWhtlMpds3mMOwQwjBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:09:20.233253Z"},"content_sha256":"761282e85b121b4d5d24a7817ce083e9e4a0aba7e0df2625e7268f4269da3e2b","schema_version":"1.0","event_id":"sha256:761282e85b121b4d5d24a7817ce083e9e4a0aba7e0df2625e7268f4269da3e2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:42IZVQTGSGNSAV6VSYGH2KJI7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Tits alternative for non-spherical triangles of groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Johannes Cuno, J\\\"org Lehnert","submitted_at":"2014-05-14T10:04:42Z","abstract_excerpt":"Triangles of groups have been introduced by Gersten and Stallings. They are, roughly speaking, a generalisation of the amalgamated free product of two groups and occur in the framework of Corson diagrams. First, we prove an intersection theorem for Corson diagrams. Then, we focus on triangles of groups. It has been shown by Howie and Kopteva that the colimit of a hyperbolic triangle of groups contains a non-abelian free subgroup. We give two natural conditions, each of which ensures that the colimit of a non-spherical triangle of groups either contains a non-abelian free subgroup or is virtual"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3433","kind":"arxiv","version":2},"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-18T00:44:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZAhgpk+QhGxFmRu54AuCxZu08cx7i5CzNf63eC4HCD2Xg/aU0Qrbgo8zz/bkKQLbXddjq+omikswMnhMKzCCCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:09:20.233609Z"},"content_sha256":"d1ae7eb7d84e8d2d521b6fbef74a5c1ba81ccd6f3d8f822a1c7989d54fb855b8","schema_version":"1.0","event_id":"sha256:d1ae7eb7d84e8d2d521b6fbef74a5c1ba81ccd6f3d8f822a1c7989d54fb855b8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/42IZVQTGSGNSAV6VSYGH2KJI7C/bundle.json","state_url":"https://pith.science/pith/42IZVQTGSGNSAV6VSYGH2KJI7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/42IZVQTGSGNSAV6VSYGH2KJI7C/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-02T11:09:20Z","links":{"resolver":"https://pith.science/pith/42IZVQTGSGNSAV6VSYGH2KJI7C","bundle":"https://pith.science/pith/42IZVQTGSGNSAV6VSYGH2KJI7C/bundle.json","state":"https://pith.science/pith/42IZVQTGSGNSAV6VSYGH2KJI7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/42IZVQTGSGNSAV6VSYGH2KJI7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:42IZVQTGSGNSAV6VSYGH2KJI7C","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":"e806a20b7fdc48194556a6e5cdd26fa656d5da8a1c3976085722ca9b35137063","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-14T10:04:42Z","title_canon_sha256":"888c1d4f5d3d88edfdac64f414dc11fa84da7643330464224bfbbb5bf6f18691"},"schema_version":"1.0","source":{"id":"1405.3433","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.3433","created_at":"2026-05-18T00:44:29Z"},{"alias_kind":"arxiv_version","alias_value":"1405.3433v2","created_at":"2026-05-18T00:44:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3433","created_at":"2026-05-18T00:44:29Z"},{"alias_kind":"pith_short_12","alias_value":"42IZVQTGSGNS","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"42IZVQTGSGNSAV6V","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"42IZVQTG","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:d1ae7eb7d84e8d2d521b6fbef74a5c1ba81ccd6f3d8f822a1c7989d54fb855b8","target":"graph","created_at":"2026-05-18T00:44:29Z","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":"Triangles of groups have been introduced by Gersten and Stallings. They are, roughly speaking, a generalisation of the amalgamated free product of two groups and occur in the framework of Corson diagrams. First, we prove an intersection theorem for Corson diagrams. Then, we focus on triangles of groups. It has been shown by Howie and Kopteva that the colimit of a hyperbolic triangle of groups contains a non-abelian free subgroup. We give two natural conditions, each of which ensures that the colimit of a non-spherical triangle of groups either contains a non-abelian free subgroup or is virtual","authors_text":"Johannes Cuno, J\\\"org Lehnert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-14T10:04:42Z","title":"The Tits alternative for non-spherical triangles of groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3433","kind":"arxiv","version":2},"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:761282e85b121b4d5d24a7817ce083e9e4a0aba7e0df2625e7268f4269da3e2b","target":"record","created_at":"2026-05-18T00:44:29Z","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":"e806a20b7fdc48194556a6e5cdd26fa656d5da8a1c3976085722ca9b35137063","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-14T10:04:42Z","title_canon_sha256":"888c1d4f5d3d88edfdac64f414dc11fa84da7643330464224bfbbb5bf6f18691"},"schema_version":"1.0","source":{"id":"1405.3433","kind":"arxiv","version":2}},"canonical_sha256":"e6919ac266919b2057d5960c7d2928f8a299c1fd0566d80029aca1bffd48932d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e6919ac266919b2057d5960c7d2928f8a299c1fd0566d80029aca1bffd48932d","first_computed_at":"2026-05-18T00:44:29.021704Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:29.021704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DBhtdtPJ0h++IP7vZkkoKXKU5bB2W5/Tl53LPqgvJAMg1qauzFP7i/c9dFedAtWigYcYPPSRXFSYluqcoiF/BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:29.022200Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.3433","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:761282e85b121b4d5d24a7817ce083e9e4a0aba7e0df2625e7268f4269da3e2b","sha256:d1ae7eb7d84e8d2d521b6fbef74a5c1ba81ccd6f3d8f822a1c7989d54fb855b8"],"state_sha256":"133f368ab86692bd9e93fd6e5d204e9681436b62451ab20994a19e1b3a634bfd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hf40yR/f0tWakcbqTe6ei8hZfFxltEB0hnggrKYDnWsw54WsA2ZvhUGAA6E8h44q1oFiyVb/BLpyNhh2GR6TAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T11:09:20.235556Z","bundle_sha256":"9c3a6df47d7d28f43238cc9f39df9ef7f0f7abe812da754097f1129e3a30de93"}}