{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:FQ2LHT72LTUYYO7ZNB2FVUZ4K3","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":"61770a3230f09555d5108aa60efb137590b4bc13dcadf4a1ad1dd258b897873f","cross_cats_sorted":["math.FA","math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-10-25T19:27:53Z","title_canon_sha256":"f305b97689566e3d892436843097ed1527d3fd2e8eb99aefa180d094f435279c"},"schema_version":"1.0","source":{"id":"1110.5619","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.5619","created_at":"2026-05-18T04:04:33Z"},{"alias_kind":"arxiv_version","alias_value":"1110.5619v2","created_at":"2026-05-18T04:04:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.5619","created_at":"2026-05-18T04:04:33Z"},{"alias_kind":"pith_short_12","alias_value":"FQ2LHT72LTUY","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FQ2LHT72LTUYYO7Z","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FQ2LHT72","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:b095b627e4a5cf8a1d3a92ff7ced6d20ae1f763541b159fbcf714a60945fb6a0","target":"graph","created_at":"2026-05-18T04:04:33Z","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":"In this paper we prove a strong Hahn-Banach theorem: separation of disjoint convex sets by linear forms is possible without any further conditions, if the target field $\\R$ is replaced by a more general real closed extension field. From this we deduce a general Positivstellensatz for *-algebras, involving representations over real closed fields. We investigate the class of group algebras in more detail. We show that the cone of sums of squares in the augmentation ideal has an interior point if and only if the first cohomology vanishes. For groups with Kazhdan's property (T) the result can be s","authors_text":"Andreas Thom, Tim Netzer","cross_cats":["math.FA","math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-10-25T19:27:53Z","title":"Real Closed Separation Theorems and Applications to Group Algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.5619","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:dff96621233dc7bfc1750f712e117bd8fb899917b8a1cb5d9e9528033cc1395a","target":"record","created_at":"2026-05-18T04:04:33Z","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":"61770a3230f09555d5108aa60efb137590b4bc13dcadf4a1ad1dd258b897873f","cross_cats_sorted":["math.FA","math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-10-25T19:27:53Z","title_canon_sha256":"f305b97689566e3d892436843097ed1527d3fd2e8eb99aefa180d094f435279c"},"schema_version":"1.0","source":{"id":"1110.5619","kind":"arxiv","version":2}},"canonical_sha256":"2c34b3cffa5ce98c3bf968745ad33c56f9be2dbf2cf93778dfbc7637def047df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c34b3cffa5ce98c3bf968745ad33c56f9be2dbf2cf93778dfbc7637def047df","first_computed_at":"2026-05-18T04:04:33.089492Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:04:33.089492Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IOf8gVf6xFh/mfzgtALPTA9XmTTFsexn48eCg+bGmeReJWC+Wb8XgJTj+nZptbya31YwBkxHVRPT6/OCmmbxBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:04:33.090249Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.5619","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dff96621233dc7bfc1750f712e117bd8fb899917b8a1cb5d9e9528033cc1395a","sha256:b095b627e4a5cf8a1d3a92ff7ced6d20ae1f763541b159fbcf714a60945fb6a0"],"state_sha256":"6741d58d17ce86ae16eb178442b6a8c8b04fefd69e15c4c382f8f8a843342e37"}