{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5JSNCAAVVTGLSAC73XNNV4XHFF","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":"7c1d6e03c1ec4206127cdb62b5e0b4676ec8c13b21f937f2210a586741722c26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-31T00:33:44Z","title_canon_sha256":"05777a0a081c8d349902ddee2749d66455effa4a92a6ad749f3afb4584a4325f"},"schema_version":"1.0","source":{"id":"1707.09686","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09686","created_at":"2026-05-18T00:20:30Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09686v2","created_at":"2026-05-18T00:20:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09686","created_at":"2026-05-18T00:20:30Z"},{"alias_kind":"pith_short_12","alias_value":"5JSNCAAVVTGL","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5JSNCAAVVTGLSAC7","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5JSNCAAV","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:8465f26b585891ba45bcbffa11e68ec47ba9b464cab469490969f907560356c6","target":"graph","created_at":"2026-05-18T00:20:30Z","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 consider isometric immersions of complete connected Riemannian manifolds into space forms of nonzero constant curvature. We prove that if such an immersion is compact and has semi-definite second fundamental form, then it is an embedding with codimension one, its image bounds a convex set, and it is rigid. This result generalizes previous ones by M. do Carmo and E. Lima, as well as by M. do Carmo and F. Warner. It also settles affirmatively a conjecture by do Carmo and Warner. We establish a similar result for complete isometric immersions satisfying a stronger condition on the second funda","authors_text":"Ronaldo F. de Lima, Rubens L. de Andrade","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-31T00:33:44Z","title":"Convexity, Rigidity, and Reduction of Codimension of Isometric Immersions into Space Forms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09686","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:751744c97a883799508808c420ce8dcd9ec12e6f2ab48e8ae4664f5581c17b8f","target":"record","created_at":"2026-05-18T00:20:30Z","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":"7c1d6e03c1ec4206127cdb62b5e0b4676ec8c13b21f937f2210a586741722c26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-31T00:33:44Z","title_canon_sha256":"05777a0a081c8d349902ddee2749d66455effa4a92a6ad749f3afb4584a4325f"},"schema_version":"1.0","source":{"id":"1707.09686","kind":"arxiv","version":2}},"canonical_sha256":"ea64d10015acccb9005fdddadaf2e72959926424dbdfde0a2792cf945f01466c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea64d10015acccb9005fdddadaf2e72959926424dbdfde0a2792cf945f01466c","first_computed_at":"2026-05-18T00:20:30.207779Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:30.207779Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"K36WCF1O5LZH9QwGwskkB/0pNjLE3zXkuA0NlpwDZCQrsazUMJvQ/NHRmlCMX8OL+wwTQqysWhSouJRl0Q7UAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:30.208496Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.09686","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:751744c97a883799508808c420ce8dcd9ec12e6f2ab48e8ae4664f5581c17b8f","sha256:8465f26b585891ba45bcbffa11e68ec47ba9b464cab469490969f907560356c6"],"state_sha256":"74e0125dc0f5c6c00572856d825bac433fd7dda7d46fedeb203104d09a45ed61"}