{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:3HM2CU24NZ3RMOTALJBKMAHNJ7","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":"f0c240518f652fa9629616bef974bddd14125f2d6c135439d9e33629f331244d","cross_cats_sorted":["math-ph","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2008-12-18T13:33:51Z","title_canon_sha256":"ea3e591361c0cb6c637281b116e4b5b8b00cc877ac51e36a43764a0d2d5e048e"},"schema_version":"1.0","source":{"id":"0812.3530","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0812.3530","created_at":"2026-05-18T04:40:56Z"},{"alias_kind":"arxiv_version","alias_value":"0812.3530v4","created_at":"2026-05-18T04:40:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0812.3530","created_at":"2026-05-18T04:40:56Z"},{"alias_kind":"pith_short_12","alias_value":"3HM2CU24NZ3R","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_16","alias_value":"3HM2CU24NZ3RMOTA","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_8","alias_value":"3HM2CU24","created_at":"2026-05-18T12:25:56Z"}],"graph_snapshots":[{"event_id":"sha256:9e94bc134ecad5587eca69281db8ea22f6caa48d0a4e6a3776e2818672cf2f1a","target":"graph","created_at":"2026-05-18T04:40:56Z","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":"Let (g,k) be a reductive symmetric superpair of even type, i.e. so that there exists an even Cartan subspace a in p. The restriction map S(p^*)^k->S(a^*)^W where W=W(g_0:a) is the Weyl group, is injective. We determine its image explicitly.\n  In particular, our theorem applies to the case of a symmetric superpair of group type, i.e. (k+k,k) with the flip involution where k is a classical Lie superalgebra with a non-degenerate invariant even form (equivalently, a finite-dimensional contragredient Lie superalgebra). Thus, we obtain a new proof of the generalisation of Chevalley's restriction the","authors_text":"Alexander Alldridge, Joachim Hilgert, Martin R. Zirnbauer","cross_cats":["math-ph","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2008-12-18T13:33:51Z","title":"Chevalley's restriction theorem for reductive symmetric superpairs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0812.3530","kind":"arxiv","version":4},"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:ef3c6acbd1a4211e609ad27cbcd29dbe00a9170cb501ca67fdabcb4876b06c5f","target":"record","created_at":"2026-05-18T04:40:56Z","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":"f0c240518f652fa9629616bef974bddd14125f2d6c135439d9e33629f331244d","cross_cats_sorted":["math-ph","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2008-12-18T13:33:51Z","title_canon_sha256":"ea3e591361c0cb6c637281b116e4b5b8b00cc877ac51e36a43764a0d2d5e048e"},"schema_version":"1.0","source":{"id":"0812.3530","kind":"arxiv","version":4}},"canonical_sha256":"d9d9a1535c6e77163a605a42a600ed4fcd6f7b39b0066ac85871db097323d301","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d9d9a1535c6e77163a605a42a600ed4fcd6f7b39b0066ac85871db097323d301","first_computed_at":"2026-05-18T04:40:56.251449Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:40:56.251449Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kN8UQrKoFbbrqJMWbt8P9Ui0NQKAFsqFxCwlhuiiclqaERlGE5lbl9DelLwyc5vfK0+eT14WVqSP/6eaBtvUBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:40:56.252106Z","signed_message":"canonical_sha256_bytes"},"source_id":"0812.3530","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef3c6acbd1a4211e609ad27cbcd29dbe00a9170cb501ca67fdabcb4876b06c5f","sha256:9e94bc134ecad5587eca69281db8ea22f6caa48d0a4e6a3776e2818672cf2f1a"],"state_sha256":"d8a4c09936c5c1efc09bf29fee79436f97dcf2eb6c9b0e90821ab2bc77b7c7f7"}