Analytic mappings between noncommutative pencil balls (Q624600)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analytic mappings between noncommutative pencil balls
scientific article

    Statements

    Analytic mappings between noncommutative pencil balls (English)
    0 references
    0 references
    0 references
    0 references
    9 February 2011
    0 references
    Let \(n, d, d^\prime, g\) be positive integers, \(\mathbb{C}^{d^\prime\times d}\) denote the \(d^\prime \times d\) matrices with complex coefficients and \((\mathbb{C}^{n\times n})^g\) be the set of \(g\)-tuples of \(n \times n\) matrices. For \(A_1,\dots, A_g \in \mathbb{C}^{d^\prime\times d}\), the expression \(L(x) =\sum_{j=1}^gA_jx_j\) is a homogeneous linear pencil. Given \(X = \text{col}(X_1,\dots, X_g) \in (\mathbb{C}^{n\times n})^g\), define \(L(X) =\sum_{j=1}^gA_j\otimes X_j\). Let \(\mathcal{B}_L(n) = \{X \in (\mathbb{C}^{n\times n})^g: \|L(X)\|< 1\}\) and let \(\mathcal{B}_L\) denote the sequence \((\mathcal{B}_L(n))_{n\in\mathbb{N}}\). Similarly, let \(M_{\ell^\prime,\ell}=(\mathbb{C}^{n\times n})^{\ell^\prime\times \ell}_{n\in\mathbb{N}}\). The authors describe analytic mappings \(f\) from the pencil ball \(\mathcal{B}_L\) to \(M_{\ell^\prime,\ell}\) that preserve the boundary in a specific sense. They show that every \(\mathcal{B}_L\) has a minimal dimensional defining pencil. To prove the main result, they use the results of \textit{J.\,W.\thinspace Helton, I.\,Klep, S.\,McCullough} and \textit{N.\,Slinglend} [J.~Funct.\ Anal.\ 257, No.\,1, 47--87 (2009; Zbl 1179.47012)] as well as some completely contractive map techniques.
    0 references
    noncommutative analytic function
    0 references
    complete isometry
    0 references
    ball map
    0 references
    linear matrix inequality
    0 references

    Identifiers