{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CVRPHM4EH5CI7NPHV2VCZSOZWD","short_pith_number":"pith:CVRPHM4E","canonical_record":{"source":{"id":"2412.05238","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2024-12-06T18:14:42Z","cross_cats_sorted":[],"title_canon_sha256":"bd2710839b1fc0c4ae4a31e6bbe0e04b355183b388e9d3752c094e0e8c55dde2","abstract_canon_sha256":"33ade4c051a9bd2aef2d41be5b39e56ca4ffe6ac7a3b1b16b828f9dd2888a678"},"schema_version":"1.0"},"canonical_sha256":"1562f3b3843f448fb5e7aeaa2cc9d9b0c25fc8105cc289d2cdeb46c4acc6f222","source":{"kind":"arxiv","id":"2412.05238","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.05238","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"arxiv_version","alias_value":"2412.05238v3","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.05238","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"pith_short_12","alias_value":"CVRPHM4EH5CI","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"pith_short_16","alias_value":"CVRPHM4EH5CI7NPH","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"pith_short_8","alias_value":"CVRPHM4E","created_at":"2026-05-28T02:04:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CVRPHM4EH5CI7NPHV2VCZSOZWD","target":"record","payload":{"canonical_record":{"source":{"id":"2412.05238","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2024-12-06T18:14:42Z","cross_cats_sorted":[],"title_canon_sha256":"bd2710839b1fc0c4ae4a31e6bbe0e04b355183b388e9d3752c094e0e8c55dde2","abstract_canon_sha256":"33ade4c051a9bd2aef2d41be5b39e56ca4ffe6ac7a3b1b16b828f9dd2888a678"},"schema_version":"1.0"},"canonical_sha256":"1562f3b3843f448fb5e7aeaa2cc9d9b0c25fc8105cc289d2cdeb46c4acc6f222","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T02:04:39.560639Z","signature_b64":"w/UuCltOxZ7vNaS9V4u+Iy2C+c73RUyD6GK4ft6BVVXhM11s8+sEp7Ny7tX08YoHUbfB2+FvBhfreRHlSuMPBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1562f3b3843f448fb5e7aeaa2cc9d9b0c25fc8105cc289d2cdeb46c4acc6f222","last_reissued_at":"2026-05-28T02:04:39.559795Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T02:04:39.559795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.05238","source_version":3,"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-28T02:04:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+KiuzOaoUpDY/mYtrVyUMRcFC33y0vHgXd3GqDSPc6sBagp5KOJo3+zDO/bKD0YwlLib3CGbAz8j5702OFu4CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:28:20.538205Z"},"content_sha256":"f9c3b0c1d97dc48cfb8cd09c16a83d2d1c8b1c81d090b5d077da43a9026b507f","schema_version":"1.0","event_id":"sha256:f9c3b0c1d97dc48cfb8cd09c16a83d2d1c8b1c81d090b5d077da43a9026b507f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CVRPHM4EH5CI7NPHV2VCZSOZWD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Some splitting and rigidity results for sub-static spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Sub-static systems split locally and globally when suitable compact minimal hypersurfaces are present.","cross_cats":[],"primary_cat":"math.DG","authors_text":"Allan Freitas, Giulio Colombo, Luciano Mari, Marco Rigoli","submitted_at":"2024-12-06T18:14:42Z","abstract_excerpt":"In this paper we study the rigidity problem for sub-static systems with possibly non-empty boundary. First, we get local and global splitting theorems by assuming the existence of suitable compact minimal hypersurfaces, complementing recent results in the literature. Next, we prove some boundary integral inequalities that extend works by Chr\\'usciel and Boucher-Gibbons-Horowitz to non-vacuum spaces. Even in the vacuum static case, the inequalities improve on known ones. Lastly, we consider the system arising from static solutions to the Einstein field equations coupled with a $\\sigma$-model. T"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Local and global splitting theorems hold for sub-static systems assuming suitable compact minimal hypersurfaces; boundary integral inequalities extend and improve prior results of Chruściel and Boucher-Gibbons-Horowitz even in the vacuum case; a Liouville theorem holds for the sigma-model coupled system allowing positively curved targets, generalizing Reiris.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The existence of suitable compact minimal hypersurfaces is assumed to obtain the splitting theorems; the precise definition of the sub-static system and the sigma-model coupling must satisfy the structural equations stated in the paper for the inequalities and Liouville result to apply.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Establishes local and global splitting theorems under minimal hypersurface assumptions, derives improved boundary inequalities for sub-static systems, and proves a Liouville theorem allowing positive curvature in sigma-model targets.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Sub-static systems split locally and globally when suitable compact minimal hypersurfaces are present.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"459136bad7fd78a7648701a3ce3a4b91e81d67f794d36f09180caa1ec0f03fbd"},"source":{"id":"2412.05238","kind":"arxiv","version":3},"verdict":{"id":"bf853d02-3991-4794-87a8-95462a737d0f","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-23T08:13:45.619695Z","strongest_claim":"Local and global splitting theorems hold for sub-static systems assuming suitable compact minimal hypersurfaces; boundary integral inequalities extend and improve prior results of Chruściel and Boucher-Gibbons-Horowitz even in the vacuum case; a Liouville theorem holds for the sigma-model coupled system allowing positively curved targets, generalizing Reiris.","one_line_summary":"Establishes local and global splitting theorems under minimal hypersurface assumptions, derives improved boundary inequalities for sub-static systems, and proves a Liouville theorem allowing positive curvature in sigma-model targets.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The existence of suitable compact minimal hypersurfaces is assumed to obtain the splitting theorems; the precise definition of the sub-static system and the sigma-model coupling must satisfy the structural equations stated in the paper for the inequalities and Liouville result to apply.","pith_extraction_headline":"Sub-static systems split locally and globally when suitable compact minimal hypersurfaces are present."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.05238/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"04f668c42e0d57bca63ad080395381e352279ab07e4eb6ffc9845764d5104ee8"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"bf853d02-3991-4794-87a8-95462a737d0f"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-28T02:04:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xrjuCh0dxxzIcPInQ/vOVHQHuM/3lHVobwxjYXhmJNxgBpKiPTr1xqHI4YwN1isixk0ZtCnsujRvM9dEYo06Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:28:20.538806Z"},"content_sha256":"bbe866337104785a5a979f9fc3ecfc8b2944f05818891b4aad9886314a659090","schema_version":"1.0","event_id":"sha256:bbe866337104785a5a979f9fc3ecfc8b2944f05818891b4aad9886314a659090"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CVRPHM4EH5CI7NPHV2VCZSOZWD/bundle.json","state_url":"https://pith.science/pith/CVRPHM4EH5CI7NPHV2VCZSOZWD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CVRPHM4EH5CI7NPHV2VCZSOZWD/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-28T11:28:20Z","links":{"resolver":"https://pith.science/pith/CVRPHM4EH5CI7NPHV2VCZSOZWD","bundle":"https://pith.science/pith/CVRPHM4EH5CI7NPHV2VCZSOZWD/bundle.json","state":"https://pith.science/pith/CVRPHM4EH5CI7NPHV2VCZSOZWD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CVRPHM4EH5CI7NPHV2VCZSOZWD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CVRPHM4EH5CI7NPHV2VCZSOZWD","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":"33ade4c051a9bd2aef2d41be5b39e56ca4ffe6ac7a3b1b16b828f9dd2888a678","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2024-12-06T18:14:42Z","title_canon_sha256":"bd2710839b1fc0c4ae4a31e6bbe0e04b355183b388e9d3752c094e0e8c55dde2"},"schema_version":"1.0","source":{"id":"2412.05238","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.05238","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"arxiv_version","alias_value":"2412.05238v3","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.05238","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"pith_short_12","alias_value":"CVRPHM4EH5CI","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"pith_short_16","alias_value":"CVRPHM4EH5CI7NPH","created_at":"2026-05-28T02:04:39Z"},{"alias_kind":"pith_short_8","alias_value":"CVRPHM4E","created_at":"2026-05-28T02:04:39Z"}],"graph_snapshots":[{"event_id":"sha256:bbe866337104785a5a979f9fc3ecfc8b2944f05818891b4aad9886314a659090","target":"graph","created_at":"2026-05-28T02:04:39Z","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":"Local and global splitting theorems hold for sub-static systems assuming suitable compact minimal hypersurfaces; boundary integral inequalities extend and improve prior results of Chruściel and Boucher-Gibbons-Horowitz even in the vacuum case; a Liouville theorem holds for the sigma-model coupled system allowing positively curved targets, generalizing Reiris."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The existence of suitable compact minimal hypersurfaces is assumed to obtain the splitting theorems; the precise definition of the sub-static system and the sigma-model coupling must satisfy the structural equations stated in the paper for the inequalities and Liouville result to apply."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Establishes local and global splitting theorems under minimal hypersurface assumptions, derives improved boundary inequalities for sub-static systems, and proves a Liouville theorem allowing positive curvature in sigma-model targets."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Sub-static systems split locally and globally when suitable compact minimal hypersurfaces are present."}],"snapshot_sha256":"459136bad7fd78a7648701a3ce3a4b91e81d67f794d36f09180caa1ec0f03fbd"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"04f668c42e0d57bca63ad080395381e352279ab07e4eb6ffc9845764d5104ee8"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.05238/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we study the rigidity problem for sub-static systems with possibly non-empty boundary. First, we get local and global splitting theorems by assuming the existence of suitable compact minimal hypersurfaces, complementing recent results in the literature. Next, we prove some boundary integral inequalities that extend works by Chr\\'usciel and Boucher-Gibbons-Horowitz to non-vacuum spaces. Even in the vacuum static case, the inequalities improve on known ones. Lastly, we consider the system arising from static solutions to the Einstein field equations coupled with a $\\sigma$-model. T","authors_text":"Allan Freitas, Giulio Colombo, Luciano Mari, Marco Rigoli","cross_cats":[],"headline":"Sub-static systems split locally and globally when suitable compact minimal hypersurfaces are present.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2024-12-06T18:14:42Z","title":"Some splitting and rigidity results for sub-static spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.05238","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-23T08:13:45.619695Z","id":"bf853d02-3991-4794-87a8-95462a737d0f","model_set":{"reader":"grok-4.3"},"one_line_summary":"Establishes local and global splitting theorems under minimal hypersurface assumptions, derives improved boundary inequalities for sub-static systems, and proves a Liouville theorem allowing positive curvature in sigma-model targets.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Sub-static systems split locally and globally when suitable compact minimal hypersurfaces are present.","strongest_claim":"Local and global splitting theorems hold for sub-static systems assuming suitable compact minimal hypersurfaces; boundary integral inequalities extend and improve prior results of Chruściel and Boucher-Gibbons-Horowitz even in the vacuum case; a Liouville theorem holds for the sigma-model coupled system allowing positively curved targets, generalizing Reiris.","weakest_assumption":"The existence of suitable compact minimal hypersurfaces is assumed to obtain the splitting theorems; the precise definition of the sub-static system and the sigma-model coupling must satisfy the structural equations stated in the paper for the inequalities and Liouville result to apply."}},"verdict_id":"bf853d02-3991-4794-87a8-95462a737d0f"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f9c3b0c1d97dc48cfb8cd09c16a83d2d1c8b1c81d090b5d077da43a9026b507f","target":"record","created_at":"2026-05-28T02:04:39Z","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":"33ade4c051a9bd2aef2d41be5b39e56ca4ffe6ac7a3b1b16b828f9dd2888a678","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2024-12-06T18:14:42Z","title_canon_sha256":"bd2710839b1fc0c4ae4a31e6bbe0e04b355183b388e9d3752c094e0e8c55dde2"},"schema_version":"1.0","source":{"id":"2412.05238","kind":"arxiv","version":3}},"canonical_sha256":"1562f3b3843f448fb5e7aeaa2cc9d9b0c25fc8105cc289d2cdeb46c4acc6f222","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1562f3b3843f448fb5e7aeaa2cc9d9b0c25fc8105cc289d2cdeb46c4acc6f222","first_computed_at":"2026-05-28T02:04:39.559795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T02:04:39.559795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w/UuCltOxZ7vNaS9V4u+Iy2C+c73RUyD6GK4ft6BVVXhM11s8+sEp7Ny7tX08YoHUbfB2+FvBhfreRHlSuMPBg==","signature_status":"signed_v1","signed_at":"2026-05-28T02:04:39.560639Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.05238","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f9c3b0c1d97dc48cfb8cd09c16a83d2d1c8b1c81d090b5d077da43a9026b507f","sha256:bbe866337104785a5a979f9fc3ecfc8b2944f05818891b4aad9886314a659090"],"state_sha256":"9ad6b4f0fcc77631409cb0317a273a3de7005334b98c49815440fe11431ff566"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p0zuCwoYuGCz+UXE/NVSeoll6Xx2LFE5+D+2YiXkykc5/r2wXDueyx2e2wZpmOcK68BXE/eWS7GpQis2Ut6XBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T11:28:20.541469Z","bundle_sha256":"9210b99ce8be6104fbaaa7a3dc26d867bd8f1a7ad6d89c2e54e05d426ab1ddc0"}}