[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/cuntz-algebra-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/en\/wiki24\/cuntz-algebra-wikipedia\/","headline":"Cuntz algebra – Wikipedia","name":"Cuntz algebra – Wikipedia","description":"In mathematics, the Cuntz algebra On{displaystyle {mathcal {O}}_{n}} , named after Joachim Cuntz, is the universal C*-algebra generated by n{displaystyle","datePublished":"2022-04-04","dateModified":"2022-04-04","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/en\/wiki24\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/23c1482aadf309ab3fe04327732c45c8fb8b30c7","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/23c1482aadf309ab3fe04327732c45c8fb8b30c7","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/en\/wiki24\/cuntz-algebra-wikipedia\/","wordCount":6987,"articleBody":"In mathematics, the Cuntz algebra On{displaystyle {mathcal {O}}_{n}}, named after Joachim Cuntz, is the universal C*-algebra generated by n{displaystyle n} isometries of an infinite-dimensional Hilbert space H{displaystyle {mathcal {H}}} satisfying certain relations.[1] These algebras were introduced as the first concrete examples of a separable infinite simple C*-algebra, meaning as a Hilbert space, On{displaystyle {mathcal {O}}_{n}} is isometric to the sequence spacel2(N){displaystyle l^{2}(mathbb {N} )}and it has no nontrivial closed ideals. These algebras are fundamental to the study of simple infinite C*-algebras since any such algebra contains, for any given n, a subalgebra that has On{displaystyle {mathcal {O}}_{n}} as quotient.Table of ContentsDefinitions[edit]Properties[edit]Classification[edit]Relation between concrete C*-algebras and the universal C*-algebra[edit]Cuntz algebras to represent direct sums[edit]Generalisations[edit]Applied mathematics[edit]See also[edit]References[edit]Definitions[edit]Let n \u2265  2 and H{displaystyle {mathcal {H}}} be a separable Hilbert space. Consider the C*-algebra A{displaystyle {mathcal {A}}} generated by a set{Si}i=1n{displaystyle {S_{i}}_{i=1}^{n}}of isometries (i.e. Si\u2217Si=1{displaystyle S_{i}^{*}S_{i}=1}) acting on H{displaystyle {mathcal {H}}} satisfying\u2211i=1nSiSi\u2217=1.{displaystyle sum _{i=1}^{n}S_{i}S_{i}^{*}=1.}This universal C*-algebra is called the Cuntz algebra, denoted by On{displaystyle {mathcal {O}}_{n}}.A simple C*-algebra is said to be purely infinite if every hereditary C*-subalgebra of it is infinite. On{displaystyle {mathcal {O}}_{n}} is a separable, simple, purely infinite C*-algebra. Any simple infinite C*-algebra contains a subalgebra that has On{displaystyle {mathcal {O}}_{n}} as a quotient.Properties[edit]Classification[edit]The Cuntz algebras are pairwise non-isomorphic, i.e. On{displaystyle {mathcal {O}}_{n}} and Om{displaystyle {mathcal {O}}_{m}} are non-isomorphic for n \u2260 m. The K0 group of On{displaystyle {mathcal {O}}_{n}} is Z\/(n\u22121)Z{displaystyle mathbb {Z} \/(n-1)mathbb {Z} }, the cyclic group of order n\u00a0\u2212\u00a01. Since K0 is a functor, On{displaystyle {mathcal {O}}_{n}} and Om{displaystyle {mathcal {O}}_{m}} are non-isomorphic.Relation between concrete C*-algebras and the universal C*-algebra[edit]Theorem. The concrete C*-algebra A{displaystyle {mathcal {A}}} is isomorphic to the universal C*-algebra L{displaystyle {mathcal {L}}} generated by n generators s1… sn subject to relations si*si = 1 for all i and \u2211 sisi* = 1.The proof of the theorem hinges on the following fact: any C*-algebra generated by n isometries s1… sn with orthogonal ranges contains a copy of the UHF algebra F{displaystyle {mathcal {F}}} type n\u221e. Namely F{displaystyle {mathcal {F}}} is spanned by words of the formsi1\u22efsiksj1\u2217\u22efsjk\u2217,k\u22650.{displaystyle s_{i_{1}}cdots s_{i_{k}}s_{j_{1}}^{*}cdots s_{j_{k}}^{*},kgeq 0.}The *-subalgebra F{displaystyle {mathcal {F}}}, being approximately finite-dimensional, has a unique C*-norm. The subalgebra F{displaystyle {mathcal {F}}} plays role of the space of Fourier coefficients for elements of the algebra. A key technical lemma, due to Cuntz, is that an element in the algebra is zero if and only if all its Fourier coefficients vanish. Using this, one can show that the quotient map from  L{displaystyle {mathcal {L}}} to A{displaystyle {mathcal {A}}} is injective, which proves the theorem.The UHF algebra F{displaystyle {mathcal {F}}} has a non-unital subalgebra F\u2032{displaystyle {mathcal {F}}’} that is canonically isomorphic to F{displaystyle {mathcal {F}}} itself: In the Mn stage of the direct system defining F{displaystyle {mathcal {F}}}, consider the rank-1 projection e11, the matrix that is 1 in the upper left corner and zero elsewhere. Propagate this projection through the direct system. At the Mnk stage of the direct system, one has a rank nk \u2212 1 projection. In the direct limit, this gives a projection P in F{displaystyle {mathcal {F}}}. The cornerPFP=F\u2032{displaystyle P{mathcal {F}}P={mathcal {F’}}}is isomorphic to F{displaystyle {mathcal {F}}}. The *-endomorphism \u03a6 that maps F{displaystyle {mathcal {F}}} onto F\u2032{displaystyle {mathcal {F}}’} is implemented by the isometry s1, i.e. \u03a6(\u00b7) = s1(\u00b7)s1*. On{displaystyle ;{mathcal {O}}_{n}}is in fact the crossed product of F{displaystyle {mathcal {F}}} with the endomorphism \u03a6.Cuntz algebras to represent direct sums[edit]The relations defining the Cuntz algebras align with the definition of the biproduct for preadditive categories. This similarity is made precise in the C*-category of unital *-endomorphisms over C*-algebras. The objects of this category are unital *-endomorphisms, and morphisms are the elements a\u2208A{displaystyle ain A}, where a:\u03c1\u2192\u03c3{displaystyle a:rho to sigma } if a\u03c1(b)=\u03c3(b)a{displaystyle arho (b)=sigma (b)a} for every b\u2208A{displaystyle bin A}. A unital *-endomorphism \u03c1:A\u2192A{displaystyle rho :Ato A} is the direct sum of endomorphisms \u03c31,\u03c32,...,\u03c3n{displaystyle sigma _{1},sigma _{2},…,sigma _{n}} if there are isometries {Sk}k=1n{displaystyle {S_{k}}_{k=1}^{n}} satisfying the On{displaystyle {mathcal {O}}_{n}} relations and\u03c1(x)=\u2211k=1nSk\u03c3k(x)Sk\u2217,\u2200x\u2208A.{displaystyle rho (x)=sum _{k=1}^{n}S_{k}sigma _{k}(x)S_{k}^{*},forall xin A.}In this direct sum, the inclusion morphisms are Sk:\u03c3k\u2192\u03c1{displaystyle S_{k}:sigma _{k}to rho }, and the projection morphisms are Sk\u2217:\u03c1\u2192\u03c3k{displaystyle S_{k}^{*}:rho to sigma _{k}}.Generalisations[edit]Cuntz algebras have been generalised in many ways. Notable amongst which are the Cuntz\u2013Krieger algebras, graph C*-algebras and k-graph C*-algebras.Applied mathematics[edit]In signal processing, a subband filter with exact reconstruction give rise to representations of a Cuntz algebra. The same filter also comes from the multiresolution analysis construction in wavelet theory.[2]See also[edit]References[edit]"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki24\/cuntz-algebra-wikipedia\/#breadcrumbitem","name":"Cuntz algebra – Wikipedia"}}]}]