scientific article; zbMATH DE number 1302555
In the case of 2-freeness the author shows that the constructed tensor product of states agrees with the conditionally free product for correlations of order \(\leq 4\). Let \({\mathcal A}_1\), \({\mathcal A}_2\) be two free \(*\)-algebras generated by \({\mathcal G}^+_1\), \({\mathcal G}^+_2\) respectively, and for two pairs of states \((\phi_i,\psi_i)\), \(i= 1,2\) on those \(*\)-algebras, \((\widetilde\phi_i, \widetilde\psi_i)\) denote their Boolean extensions on \(\widetilde{\mathcal A}_i:={\mathcal A}_i* \mathbb{C}[t]\), \(i= 1,2\) with Hermitian \(t\). Let us consider the double tensor product \(\widetilde{\mathcal A}^{(2)}= \widetilde{\mathcal A}_1\otimes \widetilde{\mathcal A}_1\otimes \widetilde{\mathcal A}_2\otimes \widetilde{\mathcal A}_2\) and construct the state \(\widetilde\Phi^{(2)}:= \widetilde\Phi^{(2)}_1\otimes \widetilde\Phi^{(2)}_2= \widetilde\phi_1\otimes \widetilde\psi_1\otimes \widetilde\phi_2\otimes \widetilde\psi_2\), where \(\widetilde\Phi^{(2)}_i= \widetilde\phi_i\otimes \widetilde\psi_i\), \(i= 1,2\). We introduce the double tensor notation: \(T= t\otimes t\), \(T_2= 1\otimes t\), \(\mathbf{1}= 1\otimes 1\). Then we define a \(*\)-homomorphism \(j^{(2)}\) from \({\mathcal A}_1*{\mathcal A}_2\) into \(\widetilde{\mathcal A}^{(2)}\) as the linear extension of \(j^{(2)}(1)= \mathbf{1}\otimes\text\textbf{1}\) and \(j^{(2)}(w_1\cdots w_n)= j^{(2)}_{k_1}(w_1)\cdots j^{(2)}_{k_n}(w_n)\), where \(w_1,\dots, w_n\) are non-empty words in \({\mathcal A}_{k_1},\dots,{\mathcal A}_{k_n}\) with \(k_1,\dots, k_n\in\{1, 2\}\), and \(j^{(2)}_1(a):= i_1(a)\otimes T+ i_2(a)\otimes (T_2- T)\) and \(j^{(2)}_2(b):= T\otimes i_1(b)+ (T_2- T)\otimes i_2(b)\) for \(a\in{\mathcal G}_1\), \(b\in{\mathcal G}_2\), with \({\mathcal G}_i= {\mathcal G}^+_i\cup{\mathcal G}^-_i\), \({\mathcal G}^-_i:= \{a^*\mid a\in{\mathcal G}^{-1}_i\}\), \(i= 1,2\). Actually, \(\widetilde\Phi^{(2)}\circ j^{(2)}\) agrees with the conditionally free product \(*_{i\in\{1, 2\}}(\phi_i, \psi_i)\) of \((\phi_1,\psi_1)\) and \((\phi_2,\psi_2)\) on products \(w_1\cdots w_n\) for \(n\leq 4\). Thus, \(\widetilde\Phi^{(2)}\circ j^{(2)}\) can be identified with a state of 2-freeness. This construction is extended to an infinite number of \(*\)-algebras by means of the infinite tensor product of \(*\)-algebras \(\bigotimes_{i\in N}\widetilde{\mathcal A}^{\otimes 2}_i\). The author also shows how to associate with 2-freeness a cocommutative \(*\)-bialgebra. For the entire collection see [Zbl 0903.00097].
- \({\ast}\)-freeness in finite tensor products
- Classification of twisted free tensor products
- scientific article; zbMATH DE number 3981842
- Tensorprodukil zwfter turstunsfreier abelscher gruppen des ranges zwei
- scientific article; zbMATH DE number 1873422
- Tensor products of finitely presented functors
- Tensor product realizations of simple torsion free modules
- A survey of tensor products and related constructions in two lectures
- Freeness conditions of tensors and coproducts of groups
- Tensor products, Fréchet-Hilbert complexes and the Künneth theorem
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 Q4249086)
