{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:AIDSGAXEK4D2KUNJ7DJR4MBCF4","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":"b08d77863527addbb6a28762fb7e54251b4c58fe61aea9e6654798defbaf3888","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2013-07-12T03:53:22Z","title_canon_sha256":"df5a1b3b836045d5a1e13616dd3c4c35bdfe802158ad81b563d8a15680b19bc4"},"schema_version":"1.0","source":{"id":"1307.3315","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.3315","created_at":"2026-05-18T03:18:39Z"},{"alias_kind":"arxiv_version","alias_value":"1307.3315v1","created_at":"2026-05-18T03:18:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.3315","created_at":"2026-05-18T03:18:39Z"},{"alias_kind":"pith_short_12","alias_value":"AIDSGAXEK4D2","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"AIDSGAXEK4D2KUNJ","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"AIDSGAXE","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:ac308922dfefa0a7b885c9dce175b89ac220f66ab4e9c45cefc417a418287d35","target":"graph","created_at":"2026-05-18T03:18: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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We prove that some symetric semi-riemannian manifolds do not admit a proper domain which is divisible by the action of a discrete group of isometries. In other words, if a closed semi-riemannian manifold is locally isometric to such a model, and if its developing map is injective, then the manifold is actually geodesically complete, and therefore isometric to a quotient of the whole model space. Those results extend, under additional hypothesis (the injectivity of the developing map), the theorems of Carriere and Klingler stating that closed lorentz manifolds of constant curvature are geodesic","authors_text":"Nicolas Tholozan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2013-07-12T03:53:22Z","title":"Sur la compl\\'etude de certaines vari\\'et\\'es pseudo-riemanniennes localement sym\\'etriques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.3315","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:410aa1d5a0c55ba6c89131b06490cd644b993ebc9a78423cdd7324e27f4229d7","target":"record","created_at":"2026-05-18T03:18: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":"b08d77863527addbb6a28762fb7e54251b4c58fe61aea9e6654798defbaf3888","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2013-07-12T03:53:22Z","title_canon_sha256":"df5a1b3b836045d5a1e13616dd3c4c35bdfe802158ad81b563d8a15680b19bc4"},"schema_version":"1.0","source":{"id":"1307.3315","kind":"arxiv","version":1}},"canonical_sha256":"02072302e45707a551a9f8d31e30222f2a9aa187187e5cf81b2ca99f2cae0afb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"02072302e45707a551a9f8d31e30222f2a9aa187187e5cf81b2ca99f2cae0afb","first_computed_at":"2026-05-18T03:18:39.495615Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:18:39.495615Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7YX/hjfR6oJMTPNagaWi7S+QoLDJPxvAHh/Ja9cw580Pq2Rb63OHflU7hceuYrw4hAW58rAfbvgLldtSFxo9DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:18:39.496038Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.3315","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:410aa1d5a0c55ba6c89131b06490cd644b993ebc9a78423cdd7324e27f4229d7","sha256:ac308922dfefa0a7b885c9dce175b89ac220f66ab4e9c45cefc417a418287d35"],"state_sha256":"78a5eeef85b3c844a2ca787201f2d11efa5590115a2def9f9372c15a9cabee83"}