No label defined (Q4948821)

Let \((M,\tau)\) be a von Neumann algebra with a normal faithful trace-state, and \(1\in B\subset M\) denotes a \(W^*\)-subalgebra. \(E_B\) denotes the canonical conditional expectation of \(M\) onto the von Neumann algebra \(W^*(B)\), which is the weak closure of \(B\). The author treats the \(B\)-valued version of the analytic subordination result for free increments, and proves that: ``For selfadjoint elements \(X\), \(Y\) in \(M\) satisfying \(B\)-freeness in \((M,E_B)\), there exists a holomorphic map \(F_n:{\mathbf H}_+({\mathcal M}_n(B))\to {\mathbf H}_+({\mathcal M}_n(B))\) such that \[ E_{{\mathcal M}_n(B[X])}((X+ Y)\otimes I_n- \beta)^{-1}= (X\otimes I_n- F_n(\beta))^{-1}\quad\text{if }\beta\in{\mathbf H}_+({\mathcal M}_n(B)), \] where \({\mathbf H}_+(A)\) is the upper half-plane of \(A\)''. This is nothing but an extension of the result in \textit{P. Biane} [Math. Z. 227, No. 1, 143-174 (1998; Zbl 0902.60060)] to the \(B\)-valued case. The author also examines the algebraic duality structure arising from the difference quotient and provided by a generalized difference quotient (GDQ-)ring, and finds that the dual of a GDQ-ring \((B[X],\mu,*, \partial_{X:B}, L_{X:B})\) is again a GDQ-ring, where \(\mu: B[X]\otimes B[X]\to B[X]\) is the multiplication map, \(*\) is the involution, \(\partial_{X:B}\) is the free difference quotient, and \(L_{X:B}\) is a linear map: \(B[X]\to B[X]\). Moreover, it is shown that the GDQ-ring duality is naturally connected to Hilbert and Cauchy transforms and to the algebra \(H^\infty(({\mathbb{C}}\cup\{\infty\})\setminus \text{supp } \mu)\) in analytic capacity theory [cf. \textit{M. Christ}, ``Lectures on singular integral operators'', CBMS Reg. Conf. Ser. Math. 77 (1990; Zbl 0745.42008)], in the analysis context arising from the difference quotient in the case where the algebra of constants is \({\mathbb{C}}\) and \(X\) is the identical function in \(L^\infty({\mathbb{R}},d\mu)\) with the Lebesgue absolutely continuous measure \(\mu\).