{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:TVFM7QYJA77M2GJQK5WN2UGJRI","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":"3d143cad8dc913cc1019d3ca40d94c8a7adf0627cc7f78765cd161ad38cfe13d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2022-04-28T09:38:17Z","title_canon_sha256":"c6fcaaac7677bce6c65fb333d4334ca1586b03855c13038b5a1514a9c2578eb7"},"schema_version":"1.0","source":{"id":"2204.13375","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.13375","created_at":"2026-07-05T04:18:34Z"},{"alias_kind":"arxiv_version","alias_value":"2204.13375v1","created_at":"2026-07-05T04:18:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.13375","created_at":"2026-07-05T04:18:34Z"},{"alias_kind":"pith_short_12","alias_value":"TVFM7QYJA77M","created_at":"2026-07-05T04:18:34Z"},{"alias_kind":"pith_short_16","alias_value":"TVFM7QYJA77M2GJQ","created_at":"2026-07-05T04:18:34Z"},{"alias_kind":"pith_short_8","alias_value":"TVFM7QYJ","created_at":"2026-07-05T04:18:34Z"}],"graph_snapshots":[{"event_id":"sha256:5430212cc44692de1a8402f22fe995aa6dd604c60902d79c2313f6ef4e616361","target":"graph","created_at":"2026-07-05T04:18:34Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2204.13375/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Around twenty years ago Ghys conjectured that finite subgroups of the diffeomorphism group of a compact smooth manifold M have an abelian normal subgroup of index at most a(M), where a(M) depends only on M. First we construct a family of counterexamples to this conjecture including, for example, the product space $T^2\\times S^2$. Following the first appearance of our counterexample on the arXiv Ghys put forward a revised conjecture, which predicts only the existence of a nilpotent normal subgroup of index at most n(M). Our main result is the proof of the revised Ghys conjecture. More generally","authors_text":"Bal\\'azs Csik\\'os, Endre Szab\\'o, L\\'aszl\\'o Pyber","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2022-04-28T09:38:17Z","title":"Finite subgroups of the homeomorphism group of a compact topological manifold are almost nilpotent"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.13375","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:ce79c2d552a50f1bd38b376a7a178a573bb49a5d3842cc2b2a93a4f351b2d789","target":"record","created_at":"2026-07-05T04:18:34Z","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":"3d143cad8dc913cc1019d3ca40d94c8a7adf0627cc7f78765cd161ad38cfe13d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2022-04-28T09:38:17Z","title_canon_sha256":"c6fcaaac7677bce6c65fb333d4334ca1586b03855c13038b5a1514a9c2578eb7"},"schema_version":"1.0","source":{"id":"2204.13375","kind":"arxiv","version":1}},"canonical_sha256":"9d4acfc30907fecd1930576cdd50c98a3136bd766498f6793090f44a74e98ff9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d4acfc30907fecd1930576cdd50c98a3136bd766498f6793090f44a74e98ff9","first_computed_at":"2026-07-05T04:18:34.213217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:18:34.213217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zCtZfSkFFvv7WTbjTKjDQdYqHUQL9qQjwkPQbWrDz2zpgDvVvina6+fx/WiIakJfHGo9OEm3apO07+C2z+5ZAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:18:34.213698Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.13375","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce79c2d552a50f1bd38b376a7a178a573bb49a5d3842cc2b2a93a4f351b2d789","sha256:5430212cc44692de1a8402f22fe995aa6dd604c60902d79c2313f6ef4e616361"],"state_sha256":"1029c7df9ba20ebdba41297612245a81f36ec0047d7b47cf8a9b65da108ea3e5"}