{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:GRDRFKRQ3ZHWNYDR34BDMOZ3TA","short_pith_number":"pith:GRDRFKRQ","schema_version":"1.0","canonical_sha256":"344712aa30de4f66e071df02363b3b983ca1afd5efe346b80ac5c160d79b4401","source":{"kind":"arxiv","id":"1304.2812","version":4},"attestation_state":"computed","paper":{"title":"Free actions of compact quantum group on unital C*-algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT","math.QA"],"primary_cat":"math.OA","authors_text":"Kenny De Commer, Paul F. Baum, Piotr M. Hajac","submitted_at":"2013-04-09T23:00:19Z","abstract_excerpt":"Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying H"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1304.2812","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2013-04-09T23:00:19Z","cross_cats_sorted":["math.AT","math.QA"],"title_canon_sha256":"42fc45c7d231e102135015f99deb796d6c5dd675f319f5a1509cd9137db5ce98","abstract_canon_sha256":"3b14e61a909c2a18f6eacd6c19b1b8129944d3ce00368844b2788e75fa873508"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:38.201683Z","signature_b64":"lKmczcONLMiKKi3VfVby2KbjwZfwuBvn1tncOQh3SsUyRC6G9OwECxbEEZayjYBIVISP/mT/8AqGT7fP4jjsAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"344712aa30de4f66e071df02363b3b983ca1afd5efe346b80ac5c160d79b4401","last_reissued_at":"2026-05-18T01:37:38.200864Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:38.200864Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Free actions of compact quantum group on unital C*-algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT","math.QA"],"primary_cat":"math.OA","authors_text":"Kenny De Commer, Paul F. Baum, Piotr M. Hajac","submitted_at":"2013-04-09T23:00:19Z","abstract_excerpt":"Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying H"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.2812","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1304.2812","created_at":"2026-05-18T01:37:38.201003+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.2812v4","created_at":"2026-05-18T01:37:38.201003+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.2812","created_at":"2026-05-18T01:37:38.201003+00:00"},{"alias_kind":"pith_short_12","alias_value":"GRDRFKRQ3ZHW","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_16","alias_value":"GRDRFKRQ3ZHWNYDR","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_8","alias_value":"GRDRFKRQ","created_at":"2026-05-18T12:27:45.050594+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA","json":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA.json","graph_json":"https://pith.science/api/pith-number/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/graph.json","events_json":"https://pith.science/api/pith-number/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/events.json","paper":"https://pith.science/paper/GRDRFKRQ"},"agent_actions":{"view_html":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA","download_json":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA.json","view_paper":"https://pith.science/paper/GRDRFKRQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.2812&json=true","fetch_graph":"https://pith.science/api/pith-number/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/graph.json","fetch_events":"https://pith.science/api/pith-number/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/action/storage_attestation","attest_author":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/action/author_attestation","sign_citation":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/action/citation_signature","submit_replication":"https://pith.science/pith/GRDRFKRQ3ZHWNYDR34BDMOZ3TA/action/replication_record"}},"created_at":"2026-05-18T01:37:38.201003+00:00","updated_at":"2026-05-18T01:37:38.201003+00:00"}