Subvarieties of the tetrablock and von Neumann's inequality

DOI10.1512/IUMJ.2016.65.5918MaRDI QIDQ2963314zbMATH OpenOpenAlexFDO

Authors Sourav Pal

Publication date 13 February 2017

Published in Indiana University Mathematics Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.2436

zbMATH Keywords

distinguished varietiesspectral settetrablockcommuting operators

Mathematics Subject Classification ID

Spectral sets of linear operators (47A25) Functional calculus for linear operators (47A60) Several-variable operator theory (spectral, Fredholm, etc.) (47A13) Canonical models for contractions and nonselfadjoint linear operators (47A45)

Abstract: We show an interplay between the complex geometry of the tetrablock $mathbbE$ and the commuting triples of operators having $overlinemathbbE$ as a spectral set. We prove that every distinguished variety in the tetrablock is one-dimensional and can be represented as �egin{equation}label{eqn:1} Omega={ (x_1,x_2,x_3)in mathbb E ,:, (x_1,x_2) in sigma_T(A_1^*+x_3A_2,,, A_2^*+x_3A_1) }, end{equation} where $A_1,A_2$ are commuting square matrices of the same order satisfying $[A_1^{\ast },A_1]=[A_2^{\ast },A_2]$ and a norm condition. The converse also holds, i.e, a set of the form ( ef{eqn:1}) is always a distinguished variety in $mathbbE$. We show that for a triple of commuting operators $Upsilon=(T_1,T_2,T_3)$ having $overlinemathbbE$ as a spectral set, there is a one-dimensional subvariety $Omeg{a}_{Upsilon}$ of $overlinemathbbE$ depending on $Upsilon$ such that von-Neumann's inequality holds, i.e, [ f(T_1,T_2,T_3)leq sup_{(x_1,x_2,x_3)inOmega_{Upsilon}}, |f(x_1,x_2,x_3)|, ] for any holomorphic polynomial $f$ in three variables, provided that $T_3^{n}ightarrow0$ strongly as $nightarrowinfty$. The variety $Omeg{a}_{U}psilon$ has been shown to have representation like ( ef{eqn:1}), where $A_1,A_2$ are the unique solutions of the operator equations �egin{gather*} T_1-T_2^*T_3=(I-T_3^*T_3)^{frac{1}{2}}X_1(I-T_3^*T_3)^{frac{1}{2}} ext{ and } \ T_2-T_1^*T_3=(I-T_3^*T_3)^{frac{1}{2}}X_2(I-T_3^*T_3)^{frac{1}{2}}. end{gather*} We also show that under certain condition, $Omeg{a}_{Upsilon}$ is a distinguished variety in $mathbbE$. We produce an explicit dilation and a concrete functional model for such a triple $(T_1,T_2,T_3)$ in which the unique operators $A_1,A_2$ play the main role. Also, we describe a connection of this theory with the distinguished varieties in the bidisc and in the symmetrized bidisc.

Recommendations

• Ando dilations, von Neumann inequality, and distinguished varieties
• The failure of rational dilation on the tetrablock
• The tetrablock as a spectral set
• Canonical decomposition of a tetrablock contraction and operator model
• Von Neumann's Inequality for Commuting, Diagonalizable Contractions. I

Cited in

(9)

• Canonical decomposition of a tetrablock contraction and operator model
• A model theory for operators associated with a domain related to \(\mu\)-synthesis
• A generalized Schwarz lemma for two domains related to \(\mu\)-synthesis
• Distinguished varieties through the Berger-Coburn-Lebow theorem
• Schwarz lemma for the tetrablock
• Structure theorems for operators associated with two domains related to \(\mu \)-synthesis
• Common reducing subspaces and decompositions of contractions
• The failure of rational dilation on the tetrablock
• The Lempert theorem and the tetrablock

This page was built for publication: Subvarieties of the tetrablock and von Neumann's inequality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963314)