Noncommutative plurisubharmonic polynomials. II: Local assumptions (Q714059): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: NCAlgebra / rank | |||
Normal rank |
Revision as of 18:59, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Noncommutative plurisubharmonic polynomials. II: Local assumptions |
scientific article |
Statements
Noncommutative plurisubharmonic polynomials. II: Local assumptions (English)
0 references
19 October 2012
0 references
Let \({\mathbb R}\langle x,x^T\rangle\) be the ring of noncommutative polynomials over \(\mathbb R\) in the noncommuting variables \(x_1,\dots,x_g\), \(x_1^T,\dots,x_g^T\). Elements of this ring are called nc polynomials. The variables \(x_j^T\) are formal transposes of the variables \(x_j\). An nc polynomial is called nc analytic if it contains only the variables \(x_j\) and none of the transposed variables \(x_j^T\). An nc polynomial \(p\) is symmetric if \(p^T=p\). If \(p\) is an nc polynomial and \(X=(X_1,\dots,X_g)\in\left({\mathbb R}^{n\times n}\right)^g\), then the evaluation \(p(X,X^T)\) is defined by replacing \(x_j\) by \(X_j\) and \(x_j^T\) by \(X_j^T\). An nc symmetric polynomial \(p\) is matrix positive if \(p(X,X^T)\) is a positive semidefinite matrix when evaluated on every \(X\in\left({\mathbb R}^{n\times n}\right)^g\) for all \(n\geqslant 1\). The nc complex Hessian, \(q(x,x^T)[h,h^T]\), of an nc polynomial \(p\) is the nc polynomial in the \(4g\) variables \(x=(x_1,\dots,x_g)\), \(x^T=(x_1^T,\dots,x_g^T)\), \(h=(h_1,\dots,h_g)\), and \(h^T=(h_1^T,\dots,h_g^T)\) defined by \[ q(x,x^T)[h,h^T]={\partial^2p\over\partial s\partial t}(x+th,y+sk)\bigg|_{t,s=0}\bigg|_{y=x^T,k=h^T}. \] Let \(\mathcal B=\bigcup_{n=1}^\infty{\mathcal B}_n\), where \({\mathcal B}_n\subset\left({\mathbb R}^{n\times n}\right)^g\) for \(n=1,2\dots\) The graded set \(\mathcal B\) respects direct sums if, for each finite set \(\{X^1,\dots,X^t\}\) with \(X^j\in{\mathcal B}_{n_j}\) and \(n=\sum_{j=1}^t n_j\), with repetitions allowed, \(\oplus_{j=1}^t X^j\in{\mathcal B}_n\). A set \({\mathcal G}\subset\bigcup_{n\geqslant 1}\left({\mathbb R}^{n\times n}\right)^g\) is an nc open set if it satisfies the following two conditions: {\parindent=6mm\begin{itemize}\item[(1)] \(\mathcal G\) respects direct sums, \item[(2)] there exists a positive integer \(n_0\) such that, if \(n>n_0\), then the set \({\mathcal G}_n={\mathcal G}\cap \left({\mathbb R}^{n\times n}\right)^g\) is an open set of matrix tuples. \end{itemize}} A symmetric nc polynomial \(p\) is nc plurisubharmonic on an nc open set \(\mathcal G\) if its nc complex Hessian \(q\) is matrix positive for all \(X\in{\mathcal G}\). The paper is devoted to prove the following Theorem. If \(p\) is an nc symmetric polynomial that is nc plurisubharmonic on an open nc set, then its nc complex Hessian \(q\) can be written as \[ q=V(x,x^T)[h,h^T]^TL(x,x^T)DL(x,x^T)^TV(x,x^T)[h,h^T], \] where \(V(x,x^T)[h,h^T]\) is a vector monomial in \(x, x^T, h, h^T\), \(D={\text{diag}}(d_1,\dots,d_{\mathcal N})\) is a positive semidefinite constant real matrix, and \(L(x,x^T)\) is a unit lower triangular matrix with nc polynomial entries. The above theorem is used to prove the following result, which is a local version of the main theorem of [\textit{J. M. Greene, J. W. Helton} and \textit{V. Vinnikov}, J. Funct. Anal. 261, No. 11, 3390--3417 (2011; Zbl 1254.47005)]. Theorem. If an nc symmetric polynomial \(p\) is nc plurisubharmonic on an nc open set, then it is nc plurisubharmonic everywhere and has the form \[ p=\sum f_j^Tf_j+\sum k_jk_j^T+F+F^T, \] where the sums are finite and each \(f_j\), \(k_j\), and \(F\) is nc analytic. For Part I, see [\textit{J. M. Greene}, \textit{J. W. Helton} and \textit{V. Vinnikov}, J. Funct. Anal. 261, No.~11, 3390--3417 (2011; Zbl 1254.47005)].
0 references
oncommutative analytic function
0 references
noncommutative analytic maps
0 references
noncommutative plurisubharmonic polynomial
0 references
noncommutative open set
0 references