{"entities":{"Q2436079":{"pageid":2446822,"ns":120,"title":"Item:Q2436079","lastrevid":73404810,"modified":"2026-04-14T15:48:25Z","type":"item","id":"Q2436079","labels":{"en":{"language":"en","value":"A construction of finite index \\(C^*\\)-algebra inclusions from free actions of compact quantum groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6260646"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$B69D4BAB-F5E8-46AE-8970-0B91A2D81491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f36df92b78787d939fbd1e64fc0fe5a46f9509f3","datavalue":{"value":{"text":"A construction of finite index \\(C^*\\)-algebra inclusions from free actions of compact quantum groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2436079$8451087E-E0E4-451C-8B53-4BEE0CA041D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb04e4ccb27e4557b7b5173600331ac8e2a27ed5","datavalue":{"value":"1338.46077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$181E8D04-FF2E-4D58-A7B4-C811302DA4F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7edabe642e174bb185bdd27d6b67378c685a0169","datavalue":{"value":"10.4171/PRIMS/117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$224A23A9-1B58-49D0-837B-0D8D7E5D538D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7d34f90f6eb907daefc4594a5b342d5e8dbabe4","datavalue":{"value":{"entity-type":"item","numeric-id":265905,"id":"Q265905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$996F6F64-6577-466A-BE46-4AB360903A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c12d85924238561ab3c6b5c5687f46cfaf2c0be","datavalue":{"value":{"entity-type":"item","numeric-id":506588,"id":"Q506588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$06FB4D53-DBD0-4DF4-AE37-AC1639B4939E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$FB82EFCD-F3BC-4400-B307-AACACF0A1939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4ba8a782472381a782c06e87bf427bf702d445","datavalue":{"value":{"time":"+2014-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2436079$5BC3D12E-6DD5-43B7-968A-30B332097441","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c69df76918f42db82717a19cec7de56e1ac41d0a","datavalue":{"value":"https://arxiv.org/abs/1201.4022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2436079$A0C70986-A2BD-4648-9FB5-CE881C5276E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e049708c3037da6b8c3b269f0d206fb683a4c347","datavalue":{"value":"For a compact quantum group \\(C\\left( \\mathbb{G}\\right) \\) acting on a \\(C^*\\)-algebra \\(A\\) by a nondegenerate injective coaction *-homomorphism \\(\\alpha:A\\rightarrow A\\otimes_{\\min}C\\left( \\mathbb{G}\\right) \\), the authors show that two natural freeness conditions on the action, one introduced by Ellwood and the other by Rieffel, are equivalent, and that the Wassermann type inclusion associated with a free quantum group action provides an example of Watatani's finite index inclusion of \\(C^*\\)-algebras.  Given a finite-dimensional unitary representation \\(\\pi\\) of \\(\\mathbb{G}\\) defined by a left \\(C\\left( \\mathbb{G}\\right) \\)-comodule structure \\(\\delta_{\\pi}:\\mathcal{H}_{\\pi}\\rightarrow C\\left( \\mathbb{G}\\right) \\otimes\\mathcal{H}_{\\pi}\\) on a Hilbert space \\(\\mathcal{H}_{\\pi}\\), the closed left ideal generated by \\(1\\otimes\\widehat{\\chi_{\\pi}}\\) in the crossed product \\(A\\rtimes\\mathbb{G}\\) is denoted \\(\\left( A\\rtimes\\mathbb{G}\\right) _{\\pi}\\), where \\(\\chi_{\\pi}\\in C\\left( \\mathbb{G}\\right) \\) is the quantum character of \\(\\pi\\) and \\(\\widehat{\\chi_{\\pi}}:=\\varphi\\left( \\chi_{\\pi}\\cdot\\right) \\in C\\left( \\mathbb{G}\\right) ^{\\ast}\\) for the invariant Haar state \\(\\varphi\\) on \\(C\\left( \\mathbb{G}\\right) \\). The \\(\\mathbb{G}\\)-action \\(\\alpha\\) is called free if it satisfies the Ellwood condition that \\(A\\otimes_{\\min}C\\left( \\mathbb{G}\\right) \\) is the closed linear span of \\(\\alpha\\left( A\\right) \\left( A\\otimes1\\right) \\), and is called saturated if it satisfies the Rieffel condition that the crossed product \\(A\\rtimes\\mathbb{G}\\) is the closed linear span of \\(\\left( A\\rtimes\\mathbb{G}\\right) _{\\tau}\\cdot\\left( A\\rtimes\\mathbb{G}\\right) _{\\tau}^{\\ast}\\) for the trivial representation \\(\\tau\\) of \\(\\mathbb{G}\\). In this paper, the authors show that a \\(\\mathbb{G} \\)-action \\(\\alpha\\) is free if and only if it is saturated.  Furthermore when \\(\\mathbb{G}\\) acts freely on a unital \\(C^*\\)-algebra \\(A\\), it is shown that \\(A^{\\mathbb{G}}\\subset\\left( A\\otimes\\mathcal{B}\\left( \\mathcal{H}_{\\pi}\\right) \\right) ^{\\mathbb{G}}\\) is a finite index inclusion of \\(C^*\\)-algebras for any finite-dimensional unitary representation \\(\\pi\\) of \\(\\mathbb{G}\\) and the fixed point subalgebra \\(A^{\\mathbb{G}}\\) of \\(A\\), and the index of the canonical conditional expectation equals the square of the quantum dimension of \\(\\mathcal{H}_{\\pi}\\) if \\(\\pi\\) is irreducible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$8B62432D-0B97-4F91-9F04-B4E70DD13234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5342f284ca3db5d46f8073ff56cc0bfd4e84fb36","datavalue":{"value":"46L55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$A21D56F1-A95F-4A99-A89F-630D76FDACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2feab095e571d74f47af02f2cae691340e37e0c","datavalue":{"value":"17B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$999D6FFF-6F58-4D25-9413-062D2DFD01BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2de454df83c991018fe8ecaf4f187a6184917e5","datavalue":{"value":"46L08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$F44C0094-6A5A-493C-8E47-713C2620CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48583039d81a4a8e03f12d71989d6bbcf8ba5cb8","datavalue":{"value":"58B32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$55FA7384-C6DF-48A1-B6AF-2E3942545CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49f85219d4aaf27207591d7b39b00a39137cbaa5","datavalue":{"value":"81R50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$56F037C1-466A-4B4B-8436-80AA9A8BEA1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cefe47e900004172e1595623facf9c937db3e28","datavalue":{"value":"6260646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436079$83E61D29-C3D8-4FFA-8F70-AC662EBF5178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57d12e602506b094bf817660344886d7fc91331b","datavalue":{"value":"compact quantum groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$CABFA43A-6803-47D1-8349-6D23DC938055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162853d244d906c8fe257a2f492fa7d7d9a7b0bc","datavalue":{"value":"\\(C^*\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$23683079-DBBF-4EAE-AFDD-D1FCAAF069CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a003f7a567d8c61ab1b898d35d3ca644095bcd","datavalue":{"value":"quantum group action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$46373670-A7E3-492F-9768-0F4CD4294834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d50c007ad0905c78ca2e8c71d522621cc102b687","datavalue":{"value":"Hilbert modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$F17E7397-B37D-4C49-BE53-76B9ABFAE066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7352f8cfdf2c4e6b5376e22d251489947a5ac24d","datavalue":{"value":"free actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$4401AA89-922A-4F02-89C3-05129F50D902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc1c9f29b644167ba32859e520852ba01ee4a77","datavalue":{"value":"coaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$C68DDC53-35FA-4AFD-85DD-85FED8B52A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffa06f79fa604a845a9891a8bacb383be02d679","datavalue":{"value":"unitary representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$B7549EFE-D353-4576-9130-1A57524729CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfff7ef7d034d77f20aa5dadf8a416626121d18","datavalue":{"value":"finite index inclusion of \\(C^*\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436079$194AE2CA-35B5-4683-9A9D-2900330373A2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"09d48db81513ebfd48f079edeaaa776c79dd45ca","datavalue":{"value":{"entity-type":"item","numeric-id":749686,"id":"Q749686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$C21A899B-0C7B-43AF-B63E-E99D5EE4B1DC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$0FCA0108-2638-47CA-B5D0-0860AB735055","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb540813981543ad0d46008ee876dad0173d327e","datavalue":{"value":{"entity-type":"item","numeric-id":1589979,"id":"Q1589979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$8630E667-E0E6-4004-B404-0DE929C0860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b9ab8b306fc459e864c6c5161aa4ba0eabc3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5928435,"id":"Q5928435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$371F6E4D-1A33-440F-A2AD-0E26C240B6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f68baf5e48782add3352cceb8eb5e106889785","datavalue":{"value":{"entity-type":"item","numeric-id":852396,"id":"Q852396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$2E0E3D19-EF32-4261-9121-E8E82F45E3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eee2d68e9fcdd32d278f42c8bc49f8003bbc9fb","datavalue":{"value":{"entity-type":"item","numeric-id":4869294,"id":"Q4869294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$D3362485-CA54-4B49-B05D-5ECA81F1C01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcee5b541e6d1a895a44686fbdbc76d7e202f9da","datavalue":{"value":{"entity-type":"item","numeric-id":4420456,"id":"Q4420456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436079$14CD6B48-C351-44C1-B7BC-42C0A39D4A4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c4c0aac96d2aea0b265b43e834f6ec2ba2fcd2","datavalue":{"value":{"entity-type":"item","numeric-id":1677370,"id":"Q1677370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cecdce32f0358e12a9471de0e2b0d475f9cf152","datavalue":{"value":{"amount":"+0.7958781719207764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2436079$C4AFF3B9-3367-4BC8-8089-834D7214E799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c250628e616f11c0efc1574ba88e30c8eaf8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1677418,"id":"Q1677418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd1cff29e64e27dc62992006091e96f0c876307","datavalue":{"value":{"amount":"+0.7801799178123474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2436079$9A79A3E3-F478-4412-A1E9-355DC9DB21BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed743193e670b20f3c65fad94e2f2744b3fa005","datavalue":{"value":{"entity-type":"item","numeric-id":803486,"id":"Q803486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3235e68d92e9d6d52442c3b69804cb1443c0b58b","datavalue":{"value":{"amount":"+0.7720531821250916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2436079$B443C5E2-B3DB-47C4-858F-78A258547CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02cf7edc1c879f479023d634f85431420ce7534c","datavalue":{"value":{"entity-type":"item","numeric-id":5928435,"id":"Q5928435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7fc5614d5f5ac3bb5ce55b6ea428b0ac7d576a","datavalue":{"value":{"amount":"+0.7702271938323975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2436079$41957C9E-45C5-486F-911A-B67C4FC51FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abccbe6bcb442cfd7299c16c34a7a09575bacc43","datavalue":{"value":{"entity-type":"item","numeric-id":3623214,"id":"Q3623214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dc2908e8ea593143bacc8b06308c4443a8c05e","datavalue":{"value":{"amount":"+0.7689815163612366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2436079$EC7A6EDC-1B88-4A8F-A28D-E4A6DA23CF8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A construction of finite index \\(C^*\\)-algebra inclusions from free actions of compact quantum groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_construction_of_finite_index_%5C(C%5E*%5C)-algebra_inclusions_from_free_actions_of_compact_quantum_groups"}}}}}