scientific article; zbMATH DE number 15068
Applications of linear algebraic groups to the sciences (20G45) Representations of Lie and linear algebraic groups over real fields: analytic methods (22E45) Semisimple Lie groups and their representations (22E46) Applications of functional analysis in quantum physics (46N50) Symmetry breaking in quantum theory (81R40)
Let \(U(\mathbb{C}^ n)\) be the set of unitary \(n\times n\) matrices and \(f_{pq}: U(\mathbb{C}^ n)\to \mathbb{C}\), \(1\leq p\), \(q\leq n\), the projection onto the respective coefficient. Moreover, let \(f^*_{pq}(g)= f_{pq}(g^*)\). Then the (commutative) algebra generated by the functions \(f_{pq}\) and \(f^*_{pq}\) is isomorphic to the quotient of the algebra \(\mathbb{C}[\eta]\) of polynomials in \(2n^ 2\) commuting variables \(\eta_{pq}\), \(\eta^*_{pq}\). The ideal \(I\) that has to be factored is the one generated by the polynomials \((\sum_ j \eta_{pj} \eta^*_{jq})- \delta_{pq}\). The authors give a complete proof of this theorem. Their main result, however, is the analogon in which \(\mathbb{C}^ n\) is replaced by the tensor product \(\mathbb{C}^ n\otimes {\mathfrak H}\) with a separable Hilbert space \(\mathfrak H\) and the \(f_{pq}\), \(f^*_{pq}\) are replaced by the functions \(F_{pq}\), \(F^*_{pq}: U(\mathbb{C}\otimes {\mathfrak H})\to B({\mathfrak H})\) which are again the projections onto the respective coefficient if one views a bounded operator on \(\mathbb{C}^ n\otimes {\mathfrak H}\) as an \(n\times n\) matrix of bounded operators on \(\mathfrak H\). In this case the algebras are noncommutative, so one has to take \(2n^ 2\) noncommuting variables \(x_{pq}\) and \(x^*_{pq}\) and the two-sided ideal generated by \((\sum_ j x_{pq} x^*_{pq}- \delta_{pq})\). This noncommutative theorem is proved by reducing it to the commutative theorem via the embeddings \(\mathbb{C}^ n\otimes \mathbb{C}^ m\to \mathbb{C}^ n\otimes {\mathfrak H}\).
- Operator algebras associated with unitary commutation relations
- \(C^*\)-algebras generated by elements of a unitary matrix
- Group C ∗ -Algebras as Algebras of "Continuous Functions" with Non-Commuting Variables
- Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball
- A noncommutative moment problem
- Noncommutative stochastic processes with independent and stationary increments satisfy quantum stochastic differential equations
- On the classification of partition quantum groups
- De Finetti theorems for the unitary dual group
- Null- and positivstellensätze for rationally resolvable ideals
- On the partition approach to Schur-Weyl duality and free quantum groups (appendix by A. Chirvasitu)
- Fusion (semi)rings arising from quantum groups
- Lévy-Khintchine decompositions for generating functionals on algebras associated to universal compact quantum groups
- Some thoughts on Wilhelm von Waldenfels and on universal second order constructions
- Non-commutative stochastic processes with independent increments
- Haar states and Lévy processes on the unitary dual group
- Some \(C^*\)-algebraic properties of non-commutative unitary \(C^*\)-algebra and its state space structure
- Topological isomorphisms for some universal operator algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3977409)
