-
Gromov-Hausdorff convergence of metric spaces of UCP maps
Authors:
Tirthankar Bhattacharyya,
Ritul Duhan,
Chandan Pradhan
Abstract:
It is shown that van Suijlekom's technique of imposing a set of conditions on operator system spectral triples ensures Gromov-Hausdorff convergence of sequences of sets of unital completely positive maps (equipped with the BW-topology which is metrizable). This implies that even when only a part of the spectrum of the Dirac operator is available together with a certain truncation of the $C^*$-alge…
▽ More
It is shown that van Suijlekom's technique of imposing a set of conditions on operator system spectral triples ensures Gromov-Hausdorff convergence of sequences of sets of unital completely positive maps (equipped with the BW-topology which is metrizable). This implies that even when only a part of the spectrum of the Dirac operator is available together with a certain truncation of the $C^*$-algebra, information about the geometry can be extracted.
△ Less
Submitted 26 February, 2025; v1 submitted 20 October, 2024;
originally announced October 2024.
-
Hankel operators and Projective Hilbert modules on quotients of bounded symmetric domains
Authors:
Tirthankar Bhattacharyya,
Mainak Bhowmik,
Haripada Sau
Abstract:
Consider a bounded symmetric domain $Ω$ with a finite pseudo-reflection group acting on it as a subgroup of the group of automorphisms. This gives rise to quotient domains by means of basic polynomials $θ$ which by virtue of being proper maps map the \v Silov boundary of $Ω$ to the \v Silov boundary of $θ(Ω)$. Thus, the natural measure on the \v Silov boundary of $Ω$ can be pushed forward. This gi…
▽ More
Consider a bounded symmetric domain $Ω$ with a finite pseudo-reflection group acting on it as a subgroup of the group of automorphisms. This gives rise to quotient domains by means of basic polynomials $θ$ which by virtue of being proper maps map the \v Silov boundary of $Ω$ to the \v Silov boundary of $θ(Ω)$. Thus, the natural measure on the \v Silov boundary of $Ω$ can be pushed forward. This gives rise to Hardy spaces on the quotient domain.
The study of Hankel operators on the Hardy spaces of the quotient domains is introduced. The use of the weak product space shows that an analogue of Hartman's theorem holds for the small Hankel operator. Nehari's theorem fails for the big Hankel operator and this has the consequence that when the domain $Ω$ is the polydisc $\mathbb D^d$, the {\em Hardy space} is not a projective object in the category of all Hilbert modules over the algebra $\mathcal A (θ(\mathbb D^d))$ of functions which are holomorphic in the quotient domain and continuous on the closure $\overline {θ(\mathbb D^d)}$. It is not a projective object in the category of cramped Hilbert modules either. Indeed, no projective object is known in these two categories. On the other hand, every normal Hilbert module over the algebra of continuous functions on the \v Silov boundary, treated as a Hilbert module over the algebra $\mathcal A (θ(\mathbb D^d))$, is projective.
△ Less
Submitted 6 September, 2024;
originally announced September 2024.
-
Functions with image in a strip
Authors:
Tirthankar Bhattacharyya,
Anthony G. O'Farrell,
Shubham Rastogi,
Vijaya Kumar U
Abstract:
We consider holomorphic functions on the unit disc whose images are contained in a strip of the complex plane. Under an additional condition, such functions are constants. We also consider appropriate operator valued versions. Applications are found to the theory of semigroups.
We consider holomorphic functions on the unit disc whose images are contained in a strip of the complex plane. Under an additional condition, such functions are constants. We also consider appropriate operator valued versions. Applications are found to the theory of semigroups.
△ Less
Submitted 11 June, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
The Bishop-Phelps-Bollobas property for certain Banach spaces
Authors:
Tirthankar Bhattacharyya,
Mainak Bhowmik,
Kousik Dhara
Abstract:
Let $X$ be a complex Banach space. We prove that if $L$ is an extremally disconnected compact Hausdorff topological space, then the pair $(X, C(L))$ satisfies the Bishop-Phelps-Bollobás property (BPBp for short). As a byproduct, we obtain the BPBp for the pair $(X, L^\infty(ν))$ for any measure $ν$. In particular, this settles an unresolved question regarding the BPBp for the pair…
▽ More
Let $X$ be a complex Banach space. We prove that if $L$ is an extremally disconnected compact Hausdorff topological space, then the pair $(X, C(L))$ satisfies the Bishop-Phelps-Bollobás property (BPBp for short). As a byproduct, we obtain the BPBp for the pair $(X, L^\infty(ν))$ for any measure $ν$. In particular, this settles an unresolved question regarding the BPBp for the pair $(L^\infty(μ), L^\infty(ν) )$ for any two measures $μ$ and $ν$. Finally, we show that $(X,H^\infty(Ω)$ has the BPBp when $Ω$ is a multi-connected planar domain bounded by finitely many disjoint analytic simple closed curves.
△ Less
Submitted 7 March, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Complete Nevanlinna-Pick Kernels and the Curvature Invariant
Authors:
Tirthankar Bhattacharyya,
Abhay Jindal
Abstract:
We consider a unitarily invariant complete Nevanlinna-Pick kernel denoted by $s$ and a commuting $d$-tuple of bounded operators $T = (T_{1}, \dots, T_{d})$ satisfying a natural contractivity condition with respect to $s$. We associate with $T$ its curvature invariant which is a non-negative real number bounded above by the dimension of a defect space of $\bfT$. The instrument which makes this poss…
▽ More
We consider a unitarily invariant complete Nevanlinna-Pick kernel denoted by $s$ and a commuting $d$-tuple of bounded operators $T = (T_{1}, \dots, T_{d})$ satisfying a natural contractivity condition with respect to $s$. We associate with $T$ its curvature invariant which is a non-negative real number bounded above by the dimension of a defect space of $\bfT$. The instrument which makes this possible is the characteristic function developed in \cite{BJ}.
\medskip
We present an asymptotic formula for the curvature invariant. In the special case when $\bfT$ is pure, we provide a notably simpler formula, revealing that in this instance, the curvature invariant is an integer. We further investigate its connection with an algebraic invariant known as fibre dimension. Moreover, we obtain a refined and simplified asymptotic formula for the curvature invariant of $\bfT$ specifically when its characteristic function is a polynomial.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
Lipschitz Estimates and an application to trace formulae
Authors:
Tirthankar Bhattacharyya,
Arup Chattopadhyay,
Saikat Giri,
Chandan Pradhan
Abstract:
In this note, we provide an elementary proof for the expression of $f(U)-f(V)$ in the form of a double operator integral for every Lipschitz function $f$ on the unit circle $\cir$ and for a pair of unitary operators $(U,V)$ with $U-V\in\mathcal{S}_{2}(\hilh)$ (the Hilbert-Schmidt class). As a consequence, we obtain the Schatten $2$-Lipschitz estimate…
▽ More
In this note, we provide an elementary proof for the expression of $f(U)-f(V)$ in the form of a double operator integral for every Lipschitz function $f$ on the unit circle $\cir$ and for a pair of unitary operators $(U,V)$ with $U-V\in\mathcal{S}_{2}(\hilh)$ (the Hilbert-Schmidt class). As a consequence, we obtain the Schatten $2$-Lipschitz estimate $\|f(U)-f(V)\|_2\leq \|f\|_{\lip(\cir)}\|U-V\|_2$ for all Lipschitz functions $f:\cir\to\C$. Moreover, we develop an approach to the operator Lipschitz estimate for a pair of contractions with the assumption that one of them is a strict contraction, which significantly extends the class of functions from results known earlier. More specifically, for each $p\in(1,\infty)$ and for every pair of contractions $(T_0,T_1)$ with $\|T_0\|<1$, there exists a constant $d_{f, p,T_0}>0$ such that $\|f(T_1)-f(T_0)\|_p\leq d_{f,p, T_0}\|T_1-T_0\|_p$ for all Lipschitz functions on $\cir$. Using our Lipschitz estimates, we establish a modified Krein trace formula applicable to a specific category of pairs of contractions featuring Hilbert-Schmidt perturbations.
△ Less
Submitted 15 April, 2025; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Complete Nevanlinna-Pick kernels, the Schwarz lemma and the Schur algorithm
Authors:
Daniel Alpay,
Tirthankar Bhattacharyya,
Abhay Jindal,
Poornendu Kumar
Abstract:
We investigate the Schwarz lemma and the Schur algorithm for elements in the unit ball of the multiplier algebra of a reproducing kernel Hilbert space on the open unit ball whose kernel satisfies the complete Nevanlinna-Pick property. This paper also explores the Poincaré contractivity for elements in the unit ball of the multiplier algebra of a reproducing kernel Hilbert space whose kernel satisf…
▽ More
We investigate the Schwarz lemma and the Schur algorithm for elements in the unit ball of the multiplier algebra of a reproducing kernel Hilbert space on the open unit ball whose kernel satisfies the complete Nevanlinna-Pick property. This paper also explores the Poincaré contractivity for elements in the unit ball of the multiplier algebra of a reproducing kernel Hilbert space whose kernel satisfies the property mentioned above.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
Herglotz's representation and Caratheodory's approximation
Authors:
Tirthankar Bhattacharyya,
Mainak Bhowmik,
Poornendu Kumar
Abstract:
Herglotz's representation of holomorphic functions with positive real part and Carathéodory's theorem on approximation by inner functions are two well-known classical results in the theory of holomorphic functions on the unit disc. We show that they are equivalent.
On a multi-connected domain $Ω$, a version of Heglotz's representation is known. Carathéodory's approximation was not known. We form…
▽ More
Herglotz's representation of holomorphic functions with positive real part and Carathéodory's theorem on approximation by inner functions are two well-known classical results in the theory of holomorphic functions on the unit disc. We show that they are equivalent.
On a multi-connected domain $Ω$, a version of Heglotz's representation is known. Carathéodory's approximation was not known. We formulate and prove it and then show that it is equivalent to the known form of Herglotz's representation. Additionally, it also enables us to prove a new Heglotz's representation in the style of Koranyi and Pukanszky. Of particular interest is the fact that the scaling technique of the disc is replaced by Carathéodory's approximation theorem while proving this new form of Herglotz's representation.
Carathéodory's approximation theorem is also proved for matrix-valued functions on a multi-connected domain.
△ Less
Submitted 1 March, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Kernels with complete Nevanlinna-Pick factors and the characteristic function
Authors:
Tirthankar Bhattacharyya,
Abhay Jindal
Abstract:
The Sz.-Nagy Foias characteristic function for a contraction has had a rejuvenation in recent times due to a number of authors. Such a classical object relates to an object of very contemporary interest, viz., the complete Nevanlinna-Pick kernels. Indeed, a unitarily invariant kernel on the unit ball {\em admits} a characteristic function if and only if it is a complete Nevanlinna-Pick kernel. How…
▽ More
The Sz.-Nagy Foias characteristic function for a contraction has had a rejuvenation in recent times due to a number of authors. Such a classical object relates to an object of very contemporary interest, viz., the complete Nevanlinna-Pick kernels. Indeed, a unitarily invariant kernel on the unit ball {\em admits} a characteristic function if and only if it is a complete Nevanlinna-Pick kernel. However, what has captured our curiosity are the recent advancements in constructing characteristic functions for kernels that do not have complete Nevanlinna-Pick property. In such cases, the reproducing kernel Hilbert space which has served as the domain of the multiplication operator has always been the vector-valued Drury-Arveson space (thus the Hardy space in case of the unit disc).
We present a unified framework for deriving characteristic functions for kernels that allow a complete Nevanlinna-Pick factor. Notably, our approach not only encapsulates all previously documented cases but also achieves a remarkable level of generalization, thereby expanding the concept of the characteristic function substantially. We also provide an explanation for the prominence of the Drury-Arveson kernel in all previously established results by showing that the Drury-Arveson kernel was the natural choice inherently suitable for those situations.
△ Less
Submitted 8 February, 2024; v1 submitted 20 July, 2023;
originally announced July 2023.
-
On factorization of the shift semigroup
Authors:
Tirthankar Bhattacharyya,
Shubham Rastogi,
Kalyan B. Sinha,
Vijaya Kumar U
Abstract:
Let $\E$ be a finite dimensional Hilbert space. This note finds all factorizations of the right shift semigroup $§^\E=(S_t^\E)_{t\ge 0}$ on $L^2(\R_+,\E)$ into the product of $n$ commuting contractive semigroups, i.e., characterizes all $n$-tuples of commuting semigroups $(\V_1,\V_2,...,\V_n)$ where $\V_i=(V_{i,t})_{t\ge 0}$ for $i=1,2,...,n$ are semigroups of contractions satisfying…
▽ More
Let $\E$ be a finite dimensional Hilbert space. This note finds all factorizations of the right shift semigroup $§^\E=(S_t^\E)_{t\ge 0}$ on $L^2(\R_+,\E)$ into the product of $n$ commuting contractive semigroups, i.e., characterizes all $n$-tuples of commuting semigroups $(\V_1,\V_2,...,\V_n)$ where $\V_i=(V_{i,t})_{t\ge 0}$ for $i=1,2,...,n$ are semigroups of contractions satisfying $V_{i,t}V_{j,t}=V_{j,t}V_{i,t}$ for all $i$ and $j$ and $S_t^\E=V_{1,t}V_{2,t}\cdots V_{n,t}$ for all $t\ge 0.$ The factorizations are characterized by tuples of self-adjoint operators $\underline{A}=(A_1,A_2,...,A_n)$ and tuples of positive contractions $\underline{B}=(B_1,B_2,...,B_n)$ on $\E$ satisfying certain conditions which are stated in \cref{thm:psi12}. One of the tools of our analysis is a convexity argument using the extreme points of the {\em Herglotz } class of functions
\[P:=\{f:\D\to \C \text{ is analytic}, \Re{f}>0 \text{ and }f(0)=1 \}.\]
△ Less
Submitted 14 March, 2024; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Doubly commuting and dual doubly commuting semigroups of isometries
Authors:
Tirthankar Bhattacharyya,
Shubham Rastogi,
Vijaya Kumar U
Abstract:
Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.
Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.
△ Less
Submitted 25 June, 2023;
originally announced June 2023.
-
Sequences of operator algebras converging to odd spheres in the quantum Gromov-Hausdorff distance
Authors:
Tirthankar Bhattacharyya,
Sushil Singla
Abstract:
Marc Rieffel had introduced the notion of the quantum Gromov-Hausdorff distance on compact quantum metric spaces and found a sequence of matrix algebras that converges to the space of continuous functions on $2$-sphere in this distance. One finds applications of similar approximations in many places in the theoretical physics literature. In this paper, we have defined a compact quantum metric spac…
▽ More
Marc Rieffel had introduced the notion of the quantum Gromov-Hausdorff distance on compact quantum metric spaces and found a sequence of matrix algebras that converges to the space of continuous functions on $2$-sphere in this distance. One finds applications of similar approximations in many places in the theoretical physics literature. In this paper, we have defined a compact quantum metric space structure on the sequence of Toeplitz algebras on generalized Bergman spaces and have proved that the sequence converges to the space of continuous function on odd spheres in the quantum Gromov-Hausdorff distance.
△ Less
Submitted 8 January, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
Toeplitz operators and Hilbert modules on the symmetrized polydisc
Authors:
Tirthankar Bhattacharyya,
B. Krishna Das,
Haripada Sau
Abstract:
When is the collection of $\mathsf S$-Toeplitz operators with respect to a tuple of commuting bounded operators $\mathsf S= (S_1, S_2, \ldots , S_{d-1}, P)$, which has the symmetrized polydisc as a spectral set, non-trivial? The answer is in terms of powers of $P$ as well as in terms of a unitary extension. En route, Brown-Halmos relations are investigated. A commutant lifting theorem is establish…
▽ More
When is the collection of $\mathsf S$-Toeplitz operators with respect to a tuple of commuting bounded operators $\mathsf S= (S_1, S_2, \ldots , S_{d-1}, P)$, which has the symmetrized polydisc as a spectral set, non-trivial? The answer is in terms of powers of $P$ as well as in terms of a unitary extension. En route, Brown-Halmos relations are investigated. A commutant lifting theorem is established. Finally, we establish a general result connecting the $C^*$-algebra generated by the commutant of $\mathsf S$ and the commutant of its unitary extension $\mathsf R$.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
How to approximate irrational numbers nicely?
Authors:
Tirthankar Bhattacharyya,
Soham Bakshi,
Arka Das
Abstract:
In the literature, we have various ways of proving irrationality of a real number. In this survey article, we shall emphasize on a particular criterion to prove irrationality. This is called nice approximation of a number by a sequence of rational numbers. This criterion of irrationality is easy to prove and is of great importance. Using it, irrationality of a large class of numbers is proved. We…
▽ More
In the literature, we have various ways of proving irrationality of a real number. In this survey article, we shall emphasize on a particular criterion to prove irrationality. This is called nice approximation of a number by a sequence of rational numbers. This criterion of irrationality is easy to prove and is of great importance. Using it, irrationality of a large class of numbers is proved. We shall apply this method to prove irrationality of algebraic, exponential and trigonometric irrational numbers. Most of the times, explicit constructions are done of the nice sequence of rational numbers. Arguments used are basic like the binomial theorem and maxima and minima of functions. Thus, this survey article is accessible to undergraduate students and has a broad appeal for anyone looking for entertaining mathematics. This article brings out classically known beautiful mathematics without using any heavyweight machinery.
△ Less
Submitted 25 June, 2022;
originally announced June 2022.
-
A note on the dilation of a certain family of tetrablock contractions
Authors:
Tirthankar Bhattacharyya,
Mainak Bhowmik
Abstract:
We find an explicit tetrablock isometric dilation for every member $(A_α, B, P)$ of a family of tetrablock contractions indexed by a parameter $α$ in the closed unit disc (only the first operator of the tetrablock contraction depends on the parameter). The dilation space is the same for any member of the family. Explicit dilation for the adjoint tetrablock contraction $(A_α^*, B^*, P^*)$ for every…
▽ More
We find an explicit tetrablock isometric dilation for every member $(A_α, B, P)$ of a family of tetrablock contractions indexed by a parameter $α$ in the closed unit disc (only the first operator of the tetrablock contraction depends on the parameter). The dilation space is the same for any member of the family. Explicit dilation for the adjoint tetrablock contraction $(A_α^*, B^*, P^*)$ for every member of the family mentioned above is constructed as well. This example is important because it has been claimed in the literature that this example does not have a dilation. Taking cue from this construction and using Toeplitz operators on $H^2_{\mathbb D}(\mathcal D_P)$, we obtain necessary and sufficient conditions for a tetrablock contraction to have a certain type of tetrablock isometric dilation.
△ Less
Submitted 4 March, 2023; v1 submitted 22 April, 2022;
originally announced April 2022.
-
A dilation theoretic approach to approximation by inner functions
Authors:
Daniel Alpay,
Tirthankar Bhattacharyya,
Abhay Jindal,
Poornendu Kumar
Abstract:
Using results from theory of operators on a Hilbert space, we prove approximation results for matrix-valued holomorphic functions on the unit disc and the unit bidisc.
The essential tools are the theory of unitary dilation of a contraction and the realization formula for functions in the unit ball of $H^\infty$. We first prove a generalization of a result of Carathéodory. This generalization has…
▽ More
Using results from theory of operators on a Hilbert space, we prove approximation results for matrix-valued holomorphic functions on the unit disc and the unit bidisc.
The essential tools are the theory of unitary dilation of a contraction and the realization formula for functions in the unit ball of $H^\infty$. We first prove a generalization of a result of Carathéodory. This generalization has many applications. A uniform approximation result for matrix-valued holomorphic functions which extend continuously to the unit circle is proved using the Potapov factorization. This generalizes a theorem due to Fisher.
Approximation results are proved for matrix-valued functions for whom a naturally associated kernel has finitely many negative squares. This uses the Krein-Langer factorization. Approximation results for $J$-contractive meromorphic functions where $J$ induces an indefinite metric on $\mathbb C^N$ are proved using the Potapov-Ginzburg Theorem. Moreover, approximation results for holomorphic functions on the unit disc with values in certain other domains of interest are also proved.
△ Less
Submitted 24 June, 2023; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Complete Nevanlinna-Pick kernels And The Characteristic Function
Authors:
Tirthankar Bhattacharyya,
Abhay Jindal
Abstract:
This note finds a new characterization of complete Nevanlinna-Pick kernels on the Euclidean unit ball.
The classical theory of Sz.-Nagy and Foias about the characteristic function is extended in this note to a commuting tuple $\bfT$ of bounded operators satisfying the natural positivity condition of $1/k$-contractivity for an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The c…
▽ More
This note finds a new characterization of complete Nevanlinna-Pick kernels on the Euclidean unit ball.
The classical theory of Sz.-Nagy and Foias about the characteristic function is extended in this note to a commuting tuple $\bfT$ of bounded operators satisfying the natural positivity condition of $1/k$-contractivity for an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The characteristic function is a multiplier from $H_k \otimes \cE$ to $H_k \otimes \cF$, {\em factoring} a certain positive operator, for suitable Hilbert spaces $\cE$ and $\cF$ depending on $\bfT$. There is a converse, which roughly says that if a kernel $k$ {\em admits} a characteristic function, then it has to be an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The characterization explains, among other things, why in the literature an analogue of the characteristic function for a Bergman contraction ($1/k$-contraction where $k$ is the Bergman kernel), when viewed as a multiplier between two vector valued reproducing kernel Hilbert spaces, requires a different (vector valued) reproducing kernel Hilbert space as the domain.
△ Less
Submitted 28 April, 2023; v1 submitted 1 October, 2021;
originally announced October 2021.
-
On the structure and the joint spectrum of a pair of commuting isometries
Authors:
Tirthankar Bhattacharyya,
Shubham Rastogi,
Vijaya Kumar U
Abstract:
The study of a pair $(V_1,V_2)$ of commuting isometries is a classical theme. We shine new light on it by using the defect operator. In the cases when the defect operator is zero or positive or negative, or the difference of two mutually orthogonal projections with ranges adding up to $\ker (V_1V_2)^*$, we write down structure theorems for $(V_1,V_2)$.
The structure theorems allow us to compute…
▽ More
The study of a pair $(V_1,V_2)$ of commuting isometries is a classical theme. We shine new light on it by using the defect operator. In the cases when the defect operator is zero or positive or negative, or the difference of two mutually orthogonal projections with ranges adding up to $\ker (V_1V_2)^*$, we write down structure theorems for $(V_1,V_2)$.
The structure theorems allow us to compute the joint spectrum in each of the cases above. Moreover, in each case, we also point out at which stage of the Koszul complex the exactness breaks. A pair of operator valued functions $(\varphi_1,\varphi_2)$ is canonically associated by Berger, Coburn and Lebow with $(V_1,V_2)$. If $(V_1,V_2)$ is a pure pair, then in each case above we show that $σ(V_1,V_2)=\bar{\cup_{z\in\D} σ(\varphi_1(z),\varphi_2(z))}.$
It has been known that the fundamental pair of commuting isometries with positive defect is the pair of multiplication operators by the coordinate functions on the Hardy space of the bidisc. A major contribution of this note is to figure out the fundamental pair of commuting isometries with negative defect. This pair of commuting isometries is constructed on the Hardy space of the bidisc.
△ Less
Submitted 17 May, 2022; v1 submitted 5 May, 2021;
originally announced May 2021.
-
On the geometry of the symmetrized bidisc
Authors:
Tirthankar Bhattacharyya,
Anindya Biswas,
Anwoy Maitra
Abstract:
We study the action of the automorphism group of the $2$ complex dimensional manifold symmetrized bidisc $\mathbb{G}$ on itself. The automorphism group is 3 real dimensional. It foliates $\mathbb{G}$ into leaves all of which are 3 real dimensional hypersurfaces except one, viz., the royal variety. This leads us to investigate Isaev's classification of all Kobayashi-hyperbolic 2 complex dimensional…
▽ More
We study the action of the automorphism group of the $2$ complex dimensional manifold symmetrized bidisc $\mathbb{G}$ on itself. The automorphism group is 3 real dimensional. It foliates $\mathbb{G}$ into leaves all of which are 3 real dimensional hypersurfaces except one, viz., the royal variety. This leads us to investigate Isaev's classification of all Kobayashi-hyperbolic 2 complex dimensional manifolds for which the group of holomorphic automorphisms has real dimension 3 studied by Isaev. Indeed, we produce a biholomorphism between the symmetrized bidisc and the domain
\[\{(z_1,z_2)\in \mathbb{C} ^2 : 1+|z_1|^2-|z_2|^2>|1+ z_1 ^2 -z_2 ^2|, Im(z_1 (1+\overline{z_2}))>0\}\]
in Isaev's list. Isaev calls it $\mathcal D_1$. The road to the biholomorphism is paved with various geometric insights about $\mathbb{G}$.
Several consequences of the biholomorphism follow including two new characterizations of the symmetrized bidisc and several new characterizations of $\mathcal D_1$. Among the results on $\mathcal D_1$, of particular interest is the fact that $\mathcal D_1$ is a "symmetrization". When we symmetrize (appropriately defined in the context in the last section) either $Ω_1$ or $\mathcal{D}^{(2)}_1$ (Isaev's notation), we get $\mathcal D_1$. These two domains $Ω_1$ and $\mathcal{D}^{(2)}_1$ are in Isaev's list and he mentioned that these are biholomorphic to $\mathbb{D} \times \mathbb{D}$. We produce explicit biholomorphisms between these domains and $\mathbb{D} \times \mathbb{D}$.
△ Less
Submitted 30 August, 2020; v1 submitted 1 May, 2020;
originally announced May 2020.
-
Distinguished Varieties Through the Berger--Coburn--Lebow Theorem
Authors:
Tirthankar Bhattacharyya,
Poornendu Kumar,
Haripada Sau
Abstract:
A distinguished algebraic variety in $\mathbb{C}^2$ has been the focus of much research in recent years because of good reasons. This note gives a different perspective. (1) We find a new characterization of an algebraic variety $\mathcal W$ which is distinguished with respect to the bidisc. It is in terms of the joint spectrum of a pair of commuting linear matrix pencils. (2) There is a character…
▽ More
A distinguished algebraic variety in $\mathbb{C}^2$ has been the focus of much research in recent years because of good reasons. This note gives a different perspective. (1) We find a new characterization of an algebraic variety $\mathcal W$ which is distinguished with respect to the bidisc. It is in terms of the joint spectrum of a pair of commuting linear matrix pencils. (2) There is a characterization known of $\mathbb{D}^2\cap\mathcal{W}$ due to a seminal work of Agler and McCarthy. We show that Agler--McCarthy characterization can be obtained from the new one and vice versa. (3) En route, we develop a new realization formula for operator-valued contractive analytic functions on the unit disc. (4) There is a one-to-one correspondence between operator valued contractive holomorphic functions and {\em canonical model triples}. This pertains to the new realization formula mentioned above. (5) Pal and Shalit gave a characterization of an algebraic variety, which is distinguished with respect to the symmetrized bidisc, in terms of a matrix of numerical radius no larger than $1$. We refine their result by making the class of matrices strictly smaller. (6) In a generalization in the direction of more than two variables, we characterize all one-dimensional algebraic varieties which are distinguished with respect to the polydisc.
At the root of our work is the Berger--Coburn--Lebow theorem characterizing a commuting tuple of isometries.
△ Less
Submitted 9 October, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Interpolating sequences and the Toeplitz corona theorem on the symmetrized bidisk
Authors:
Tirthankar Bhattacharyya,
Haripada Sau
Abstract:
This paper is a continuation of work done in \cite{BS}. It contains two new theorems about bounded holomorphic functions on the symmetrized bidisk -- a characterization of interpolating sequences and a Toeplitz corona theorem.
This paper is a continuation of work done in \cite{BS}. It contains two new theorems about bounded holomorphic functions on the symmetrized bidisk -- a characterization of interpolating sequences and a Toeplitz corona theorem.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
Toeplitz operators and pseudo-extensions
Authors:
Tirthankar Bhattacharyya,
B. Krishna Das,
Haripada Sau
Abstract:
There are three main results in this paper. First, we find an easily computable and simple condition which is necessary and sufficient for a commuting tuple of contractions to possess a non-zero Toeplitz operator. This condition is just that the adjoint of the product of the contractions is not pure. On one hand this brings out the importance of the product of the contractions and on the other han…
▽ More
There are three main results in this paper. First, we find an easily computable and simple condition which is necessary and sufficient for a commuting tuple of contractions to possess a non-zero Toeplitz operator. This condition is just that the adjoint of the product of the contractions is not pure. On one hand this brings out the importance of the product of the contractions and on the other hand, the non-pureness turns out to be equivalent to the existence of a pseudo-extension to a tuple of commuting unitaries. The second main result is a commutant pseudo-extension theorem obtained by studying the unique canonical unitary pseudo-extension of a tuple of commuting contractions. The third one is about the $C^*$-algebra generated by the Toeplitz operators determined by a commuting tuple of contractions. With the help of a special completely positive map, a different proof of the existence of the unique canonical unitary pseudo-extension is given.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
On the Nevanlinna problem -- Characterization of all Schur-Agler class solutions affiliated with a given kernel
Authors:
Tirthankar Bhattacharyya,
Anindya Biswas,
Vikramjeet Singh Chandel
Abstract:
Given a domain $Ω$ in $\mathbb{C}^m$, and a finite set of points $z_1,z_2,\ldots, z_n\in Ω$ and $w_1,w_2,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the \textit{Pick interpolation problem} asks when there is a holomorphic function $f:Ω\rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for…
▽ More
Given a domain $Ω$ in $\mathbb{C}^m$, and a finite set of points $z_1,z_2,\ldots, z_n\in Ω$ and $w_1,w_2,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the \textit{Pick interpolation problem} asks when there is a holomorphic function $f:Ω\rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for such an $interpolant$ to exist if $Ω=\mathbb{D}$. Nevanlinna characterized all possible functions $f$ that \textit{interpolate} the data. We generalize Nevanlinna's result to a domain $Ω$ in $\mathbb{C}^m$ admitting holomorphic test functions when the function $f$ comes from the Schur-Agler class and is affiliated with a certain completely positive kernel. The Schur class is a naturally associated Banach algebra of functions with a domain. The success of the theory lies in characterizing the Schur class interpolating functions for three domains - the bidisc, the symmetrized bidisc and the annulus - which are affiliated to given kernels.
△ Less
Submitted 3 October, 2019; v1 submitted 10 May, 2019;
originally announced May 2019.
-
On the Nevanlinna problem - Characterization of all Schur-Agler class solutions
Authors:
Tirthankar Bhattacharyya,
Anindya Biswas,
Vikramjeet Singh Chandel
Abstract:
Given a domain $Ω$ in $\mathbb{C}^m$, and a finite set of points $z_1,\ldots, z_n\in Ω$ and $w_1,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the $Pick\, interpolation\, problem$ asks when there is a holomorphic function $f:Ω\rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for such an…
▽ More
Given a domain $Ω$ in $\mathbb{C}^m$, and a finite set of points $z_1,\ldots, z_n\in Ω$ and $w_1,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the $Pick\, interpolation\, problem$ asks when there is a holomorphic function $f:Ω\rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for such an $interpolant$ to exist if $Ω=\mathbb{D}$. Nevanlinna characterized all possible functions $f$ that $interpolate$ the data. We generalize Nevanlinna's result to an arbitrary set $Ω$. In this case, the function $f$ comes from the Schur-Agler class. The abstract result is then applied to three examples - the bidisc, the symmetrized bidisc and the annulus. In these examples, the Schur-Agler class is the same as the Schur class.
△ Less
Submitted 11 April, 2021; v1 submitted 1 December, 2018;
originally announced December 2018.
-
Truncated Toeplitz operators and the Agler-Young class
Authors:
Tirthankar Bhattacharyya,
Tapesh Yadav
Abstract:
Truncated Toeplitz operators were introduced in a seminal paper by Sarason in 2007. We show that they have an intimate connection with the Agler-Young class.
Truncated Toeplitz operators were introduced in a seminal paper by Sarason in 2007. We show that they have an intimate connection with the Agler-Young class.
△ Less
Submitted 28 November, 2018; v1 submitted 18 April, 2018;
originally announced April 2018.
-
On certain Toeplitz operators and associated completely positive maps
Authors:
Tirthankar Bhattacharyya,
B. Krishna Das,
Haripada Sau
Abstract:
We study Toeplitz operators with respect to a commuting $n$-tuple of bounded operators which satisfies some additional conditions coming from complex geometry. Then we consider a particular such tuple on a function space. The algebra of Toeplitz operators with respect to that particular tuple becomes naturally homeomorphic to $L^\infty$ of a certain compact subset of $\mathbb C^n$. Dual Toeplitz o…
▽ More
We study Toeplitz operators with respect to a commuting $n$-tuple of bounded operators which satisfies some additional conditions coming from complex geometry. Then we consider a particular such tuple on a function space. The algebra of Toeplitz operators with respect to that particular tuple becomes naturally homeomorphic to $L^\infty$ of a certain compact subset of $\mathbb C^n$. Dual Toeplitz operators are characterized. En route, we prove an extension type theorem which is not only important for studying Toeplitz operators, but also has an independent interest because dilation theorems do not hold in general for $n>2$.
△ Less
Submitted 7 July, 2022; v1 submitted 5 December, 2017;
originally announced December 2017.
-
The Agler-Young Class
Authors:
Tirthankar Bhattacharyya,
Subrata Shyam Roy,
Tapesh Yadav
Abstract:
This note introduces a special class of tuples of bounded operators on a Hilbert space. It is called the Agler Young class. Major results about this class include a Wold decomposition and a dilation theorem. The structure of the dilation is completely spelt out. A characterization of this class using the hereditary functional calculus of Agler is obtained and examples are discussed. Toeplitz opera…
▽ More
This note introduces a special class of tuples of bounded operators on a Hilbert space. It is called the Agler Young class. Major results about this class include a Wold decomposition and a dilation theorem. The structure of the dilation is completely spelt out. A characterization of this class using the hereditary functional calculus of Agler is obtained and examples are discussed. Toeplitz operators play a major role in this note. An Agler-Young pair arising from a truncated Toeplitz operator is characterized. Thus, we extend results obtained in the case of commuting operators by several authors over many decades to the non-commutative situation. The results for the commuting case can be recovered as special cases.
△ Less
Submitted 22 September, 2018; v1 submitted 4 December, 2017;
originally announced December 2017.
-
Toeplitz operators on the symmetrized bidisc
Authors:
Tirthankar Bhattacharyya,
B. Krishna Das,
Haripada Sau
Abstract:
The symmetrized bidisc has been a rich field of holomorphic function theory and operator theory. A certain well-known reproducing kernel Hilbert space of holomorphic functions on the symmetrized bidisc resembles the Hardy space of the unit disc in several aspects. This space is known as the Hardy space of the symmetrized bidisc. We introduce the study of those operators on the Hardy space of the s…
▽ More
The symmetrized bidisc has been a rich field of holomorphic function theory and operator theory. A certain well-known reproducing kernel Hilbert space of holomorphic functions on the symmetrized bidisc resembles the Hardy space of the unit disc in several aspects. This space is known as the Hardy space of the symmetrized bidisc. We introduce the study of those operators on the Hardy space of the symmetrized bidisc that are analogous to Toeplitz operators on the Hardy space of the unit disc. More explicitly, we first study multiplication operators on a bigger space (an $L^2$-space) and then study compressions of these multiplication operators to the Hardy space of the symmetrized bidisc and prove the following major results:
(1) Theorem I analyzes the Hardy space of the symmetrized bidisc, not just as a Hilbert space, but as a Hilbert module over the polynomial ring and finds three isomorphic copies of it as $\mathbb D^2$-contractive Hilbert modules.
(2) Theorem II provides an algebraic, Brown and Halmos type, characterization of Toeplitz operators.
(3)Theorem III gives several characterizations of an analytic Toeplitz operator.
(4)Theorem IV characterizes asymptotic Toeplitz operators.
(5)Theorem V is a commutant lifting theorem.
(6)Theorem VI yields an algebraic characterization of dual Toeplitz operators.
Every section from Section 1 to Section 6 contains a theorem each, the main result of that section.
△ Less
Submitted 3 December, 2019; v1 submitted 12 June, 2017;
originally announced June 2017.
-
Holomorphic functions on the symmetrized bidisk II -- Interpolating sequences and the Toeplitz corona theorem
Authors:
Tirthankar Bhattacharyya,
Haripada Sau
Abstract:
This note contains two new theorems about bounded holomorphic functions on the symmetrized bidisk -- a characterization of interpolating sequences and a Toeplitz corona theorem.
This note contains two new theorems about bounded holomorphic functions on the symmetrized bidisk -- a characterization of interpolating sequences and a Toeplitz corona theorem.
△ Less
Submitted 12 September, 2019; v1 submitted 14 December, 2015;
originally announced December 2015.
-
Holomorphic functions on the symmetrized bidisk - realization, interpolation and extension
Authors:
Tirthankar Bhattacharyya,
Haripada Sau
Abstract:
There are three new things in this paper about the open symmetrized bidisk $\mathbb G = \{(z_1+z_2, z_1z_2) : |z_1|, |z_2| < 1\}$. They are motivated in the Introduction. In this Abstract, we mention them in the order in which they will be proved.
\begin{enumerate}
\item The Realization Theorem: A realization formula is demonstrated for every $f$ in the norm unit ball of $H^\infty(\mathbb G)$.…
▽ More
There are three new things in this paper about the open symmetrized bidisk $\mathbb G = \{(z_1+z_2, z_1z_2) : |z_1|, |z_2| < 1\}$. They are motivated in the Introduction. In this Abstract, we mention them in the order in which they will be proved.
\begin{enumerate}
\item The Realization Theorem: A realization formula is demonstrated for every $f$ in the norm unit ball of $H^\infty(\mathbb G)$.
\item The Interpolation Theorem: Nevanlinna-Pick interpolation theorem is proved for data from the symmetrized bidisk and a specific formula is obtained for the interpolating function.
\item The Extension Theorem: A characterization is obtained of those subsets $V$ of the open symmetrized bidisk $\mathbb G$ that have the property that every function $f$ holomorphic in a neighbourhood of $V$ and bounded on $V$ has an $H^\infty$-norm preserving extension to the whole of $\mathbb G$. \end{enumerate}
△ Less
Submitted 3 October, 2016; v1 submitted 28 November, 2015;
originally announced November 2015.
-
Explicit and unique construction of tetrablock unitary dilation in a certain case
Authors:
Tirthankar Bhattacharyya,
Haripada Sau
Abstract:
Consider the domain $E$ in $\mathbb{C}^3$ defined by
$$
E=\{(a_{11},a_{22},\text{det}A): A=\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix}\text{ with }\lVert A \rVert <1\}.
$$
This is called the tetrablock. This paper constructs explicit boundary normal dilation for a triple $(A,B,P)$ of commuting bounded operators which has $\bar{E}$ as a spectral set.
We show that the…
▽ More
Consider the domain $E$ in $\mathbb{C}^3$ defined by
$$
E=\{(a_{11},a_{22},\text{det}A): A=\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix}\text{ with }\lVert A \rVert <1\}.
$$
This is called the tetrablock. This paper constructs explicit boundary normal dilation for a triple $(A,B,P)$ of commuting bounded operators which has $\bar{E}$ as a spectral set.
We show that the dilation is minimal and unique under a certain natural condition. As is well-known, uniqueness of minimal dilation usually does not hold good in several variables, e.g., Ando's dilation is not known to be unique. However, in the case of the tetrablock, the third component of the dilation can be chosen in such a way as to ensure uniqueness.
△ Less
Submitted 14 December, 2014;
originally announced December 2014.
-
Admissible fundamental operators
Authors:
Tirthankar Bhattacharyya,
Sneh Lata,
Haripada Sau
Abstract:
Let $F$ and $G$ be two bounded operators on two Hilbert spaces. Let their numerical radii be no greater than one. This note investigate when there is a $Γ$-contraction $(S,P)$ such that $F$ is the fundamental operator of $(S,P)$ and $G$ is the fundamental operator of $(S^*,P^*)$. Theorem 1 puts a necessary condition on $F$ and $G$ for them to be the fundamental operators of $(S,P)$ and…
▽ More
Let $F$ and $G$ be two bounded operators on two Hilbert spaces. Let their numerical radii be no greater than one. This note investigate when there is a $Γ$-contraction $(S,P)$ such that $F$ is the fundamental operator of $(S,P)$ and $G$ is the fundamental operator of $(S^*,P^*)$. Theorem 1 puts a necessary condition on $F$ and $G$ for them to be the fundamental operators of $(S,P)$ and $(S^*,P^*)$ respectively. Theorem 2 shows that this necessary condition is sufficient too provided we restrict our attention to a certain special case. The general case is investigated in Theorem 3. Some of the results obtained for $Γ$-contractions are then applied to tetrablock contractions to figure out when two pairs $(F_1, F_2)$ and $(G_1, G_2)$ acting on two Hilbert spaces can be fundamental operators of a tetrablock contraction $(A, B, P)$ and its adjoint $(A^*, B^*, P^*)$ respectively. This is the content of Theorem 4.
△ Less
Submitted 23 April, 2014;
originally announced April 2014.
-
$Γ$-unitaries, dilation and a natural example
Authors:
Tirthankar Bhattacharyya,
Haripada Sau
Abstract:
This note constructs an explicit normal boundary dilation for a commuting pair $(S,P)$ of bounded operators with the symmetrized bidisk $$Γ=\{(z_1+z_2,z_1z_2):|z_1|,|z_2| \leq 1\}$$ as a spectral set. Such explicit dilations had hitherto been constructed only in the unit disk \cite{sfr}, the unit bidisk \cite{ando} and in the tetrablock \cite{sir and me1}. The dilation is minimal and unique under…
▽ More
This note constructs an explicit normal boundary dilation for a commuting pair $(S,P)$ of bounded operators with the symmetrized bidisk $$Γ=\{(z_1+z_2,z_1z_2):|z_1|,|z_2| \leq 1\}$$ as a spectral set. Such explicit dilations had hitherto been constructed only in the unit disk \cite{sfr}, the unit bidisk \cite{ando} and in the tetrablock \cite{sir and me1}. The dilation is minimal and unique under a suitable condition. This paper also contains a natural example of a $Γ$-isometry. We compute its associated fundamental operator.
△ Less
Submitted 11 March, 2016; v1 submitted 7 November, 2013;
originally announced November 2013.
-
Analytic Model of Doubly Commuting Contractions
Authors:
T. Bhattacharyya,
E. K. Narayanan,
Jaydeb Sarkar
Abstract:
An n-tuple (n \geq 2), T = (T_1, \ldots, T_n), of commuting bounded linear operators on a Hilbert space \mathcal{H} is doubly commuting if T_i T_j^* = T_j^* T_i for all $1 \leq i < j \leq n$. If in addition, each T_i \in C_{\cdot 0}, then we say that T is a doubly commuting pure tuple. In this paper we prove that a doubly commuting pure tuple $T$ can be dilated to a tuple of shift operators on som…
▽ More
An n-tuple (n \geq 2), T = (T_1, \ldots, T_n), of commuting bounded linear operators on a Hilbert space \mathcal{H} is doubly commuting if T_i T_j^* = T_j^* T_i for all $1 \leq i < j \leq n$. If in addition, each T_i \in C_{\cdot 0}, then we say that T is a doubly commuting pure tuple. In this paper we prove that a doubly commuting pure tuple $T$ can be dilated to a tuple of shift operators on some suitable vector-valued Hardy space H^2_{\mathcal{D}_{T^*}}(\mathbb{D}^n). As a consequence of the dilation theorem, we prove that there exists a closed subspace \mathcal{S}_T of the form \[\mathcal{H}_{T} := \sum_{i=1}^n Φ_{T_i} H^2_{\mathcal{E}_{T_i}}(\mathbb{D}^n),\] where \{\mathcal{E}_{T_i}\}_{i=1}^n are Hilbert spaces, Φ_{T_i} \in H^\infty_{\mathcal{B}(\mathcal{E}_{T_i}, \mathcal{D}_{T^*})}(\mathbb{D}^n) such that each Φ_{T_i} (1 \leq i \leq n) is either a one variable inner function in z_i, or the zero function. Moreover, \mathcal{H} \cong \mathcal{S}_T^\perp and \[(T_1, \ldots, T_n) \cong P_{\mathcal{S}_T^\perp} (M_{z_1}, \ldots, M_{z_n})|_{\mathcal{S}_T^\perp}.\]
△ Less
Submitted 7 July, 2016; v1 submitted 3 October, 2013;
originally announced October 2013.
-
The Defect Sequence for Contractive Tuples
Authors:
Tirthankar Bhattacharyya,
Bata Krishna Das,
Santanu Sarkar
Abstract:
We introduce the defect sequence for a contractive tuple of Hilbert space operators and investigate its properties. The defect sequence is a sequence of numbers, called defect dimensions associated with a contractive tuple. We show that there are upper bounds for the defect dimensions. The tuples for which these upper bounds are obtained, are called maximal contractive tuples. The upper bounds are…
▽ More
We introduce the defect sequence for a contractive tuple of Hilbert space operators and investigate its properties. The defect sequence is a sequence of numbers, called defect dimensions associated with a contractive tuple. We show that there are upper bounds for the defect dimensions. The tuples for which these upper bounds are obtained, are called maximal contractive tuples. The upper bounds are different in the non-commutative and in the com- mutative case. We show that the creation operators on the full Fock space and the co ordinate multipliers on the Drury-Arveson space are maximal. We also study pure tuples and see how the defect dimensions play a role in their irreducibility.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
Operator theory on the tetrablock
Authors:
Tirthankar Bhattacharyya
Abstract:
We study a commuting triple of bounded operators $(A, B, P)$ which has the tetrablock as a spectral set.
We study a commuting triple of bounded operators $(A, B, P)$ which has the tetrablock as a spectral set.
△ Less
Submitted 28 August, 2013; v1 submitted 14 July, 2012;
originally announced July 2012.
-
A functional model for pure $Γ$-contractions
Authors:
Tirthankar Bhattacharyya,
Sourav Pal
Abstract:
A pair of commuting operators $(S,P)$ defined on a Hilbert space $\mathcal H$ for which the closed symmetrized bidisc $$ Γ= \{(z_1+z_2,z_1z_2):: |z_1|\leq 1,\, |z_2|\leq 1 \}\subseteq \mathbb C^2, $$ is a spectral set is called a $Γ$-contraction in the literature. A $Γ$-contraction $(S,P)$ is said to be pure if $P$ is a pure contraction, i.e, ${P^*}^n \rightarrow 0$ strongly as…
▽ More
A pair of commuting operators $(S,P)$ defined on a Hilbert space $\mathcal H$ for which the closed symmetrized bidisc $$ Γ= \{(z_1+z_2,z_1z_2):: |z_1|\leq 1,\, |z_2|\leq 1 \}\subseteq \mathbb C^2, $$ is a spectral set is called a $Γ$-contraction in the literature. A $Γ$-contraction $(S,P)$ is said to be pure if $P$ is a pure contraction, i.e, ${P^*}^n \rightarrow 0$ strongly as $n \rightarrow \infty $. Here we construct a functional model and produce a complete unitary invariant for a pure $Γ$-contraction. The key ingredient in these constructions is an operator, which is the unique solution of the operator equation $$ S-S^*P=D_PXD_P, \textup{where} X\in \mathcal B(\mathcal D_P), $$and is called the fundamental operator of the $Γ$-contraction $(S,P)$. We also discuss some important properties of the fundamental operator.
△ Less
Submitted 27 July, 2015; v1 submitted 17 February, 2012;
originally announced February 2012.
-
Dilations of Γ-contractions by solving operator equations
Authors:
Tirthankar Bhattacharyya,
Sourav Pal,
Subrata Shyam Roy
Abstract:
For a contraction P and a bounded commutant S of P, we seek a solution X of the operator equation S-S*P = (I-P*P)^1/2 X(I-P*P) 1/2, where X is a bounded operator on Ran(I-P*P) 1/2 with numerical radius of X being not greater than 1. A pair of bounded operators (S,P) which has the domain \Gamme = {(z 1 +z 2, z 1z 2) : |z1|{\leq} 1, |z2| {\leq}1} {\subseteq} C2 as a spectral set, is called a \Gamme-…
▽ More
For a contraction P and a bounded commutant S of P, we seek a solution X of the operator equation S-S*P = (I-P*P)^1/2 X(I-P*P) 1/2, where X is a bounded operator on Ran(I-P*P) 1/2 with numerical radius of X being not greater than 1. A pair of bounded operators (S,P) which has the domain \Gamme = {(z 1 +z 2, z 1z 2) : |z1|{\leq} 1, |z2| {\leq}1} {\subseteq} C2 as a spectral set, is called a \Gamme-contraction in the literature. We show the existence and uniqueness of solution to the operator equation above for a Γ-contraction (S,P). This allows us to construct an explicit Γ-isometric dilation of a Γ-contraction (S,P). We prove the other way too, i.e, for a commuting pair (S,P) with |P|| {\leq} 1 and the spectral radius of S being not greater than 2, the existence of a solution to the above equation implies that (S,P) is a Γ-contraction. We show that for a pure Γ-contraction (S,P), there is a bounded operator C with numerical radius not greater than 1, such that S = C +C*P. Any Γ-isometry can be written in this form where P now is an isometry commuting with C and C*. Any Γ-unitary is of this form as well with P and C being commuting unitaries. Examples of Γ-contractions on reproducing kernel Hilbert spaces and their Γ-isometric dilations are discussed.
△ Less
Submitted 27 July, 2015; v1 submitted 3 August, 2011;
originally announced August 2011.
-
Completely bounded kernels
Authors:
Tirthankar Bhattacharyya,
Michael A. Dritschel,
Christopher S. Todd
Abstract:
We introduce completely bounded kernels taking values in L(A,B) where A and B are C*-algebras. We show that if B is injective such kernels have a Kolmogorov decomposition precisely when they can be scaled to be completely contractive, and that this is automatic when the index set is countable.
We introduce completely bounded kernels taking values in L(A,B) where A and B are C*-algebras. We show that if B is injective such kernels have a Kolmogorov decomposition precisely when they can be scaled to be completely contractive, and that this is automatic when the index set is countable.
△ Less
Submitted 14 December, 2012; v1 submitted 20 January, 2010;
originally announced January 2010.
-
Coincidence of Schur multipliers of the Drury-Arveson space
Authors:
Angshuman Bhattacharya,
Tirthankar Bhattacharyya
Abstract:
In a purely multi-variable setting (i.e., the issues discussed in this note are not interesting in the single variable operator theory setting), we show that the coincidence of two operator valued Schur class multipliers of a certain kind on the Drury-Arveson space is characterized by the fact that the associated colligations (or a variant, obtained canonically) are `unitarily coincident' in a sen…
▽ More
In a purely multi-variable setting (i.e., the issues discussed in this note are not interesting in the single variable operator theory setting), we show that the coincidence of two operator valued Schur class multipliers of a certain kind on the Drury-Arveson space is characterized by the fact that the associated colligations (or a variant, obtained canonically) are `unitarily coincident' in a sense to be made precise in the last section of this article.
△ Less
Submitted 9 July, 2013; v1 submitted 18 November, 2009;
originally announced November 2009.
-
Complete Pick Positivity and Unitary Invariance
Authors:
Angshuman Bhattacharya,
Tirthankar Bhattacharyya
Abstract:
The characteristic function for a contraction is a classical complete unitary invariant devised by Sz.-Nagy and Foias. Just as a contraction is related to the Szego kernel $k_S(z,w) = (1 - z\ow)^{-1}$ for $|z|, |w| < 1$, by means of $(1/k_S)(T,T^*) \ge 0$, we consider an arbitrary open connected domain $Ω$ in $\BC^n$, a complete Nevanilinna-Pick kernel $k$ on $Ω$ and a tuple…
▽ More
The characteristic function for a contraction is a classical complete unitary invariant devised by Sz.-Nagy and Foias. Just as a contraction is related to the Szego kernel $k_S(z,w) = (1 - z\ow)^{-1}$ for $|z|, |w| < 1$, by means of $(1/k_S)(T,T^*) \ge 0$, we consider an arbitrary open connected domain $Ω$ in $\BC^n$, a complete Nevanilinna-Pick kernel $k$ on $Ω$ and a tuple $T = (T_1, ..., T_n)$ of commuting bounded operators on a complex separable Hilbert space $\clh$ such that $(1/k)(T,T^*) \ge 0$. For a complete Pick kernel the $1/k$ functional calculus makes sense in a beautiful way. It turns out that the model theory works very well and a characteristic function can be associated with $T$. Moreover, the characteristic function then is a complete unitary invariant for a suitable class of tuples $T$.
△ Less
Submitted 18 May, 2011; v1 submitted 27 October, 2009;
originally announced October 2009.
-
On c.n.c. commuting contractive tuples
Authors:
T. Bhattacharyya,
J. Eschmeier,
J. Sarkar
Abstract:
The characteristic function has been an important tool for studying completely non unitary contractions on Hilbert spaces. In this note, we consider completely non-coisometric contractive tuples of commuting operators on a Hilbert space $\clh$. We show that the characteristic function, which is now an operator valued analytic function on the open Euclidean unit ball in $\mathbb{C}^n$, is a compl…
▽ More
The characteristic function has been an important tool for studying completely non unitary contractions on Hilbert spaces. In this note, we consider completely non-coisometric contractive tuples of commuting operators on a Hilbert space $\clh$. We show that the characteristic function, which is now an operator valued analytic function on the open Euclidean unit ball in $\mathbb{C}^n$, is a complete unitary invariant for such a tuple. We prove that the characteristic function satisfies a natural transformation law under biholomorphic mappings of the unit ball. We also characterize all operator-valued analytic functions which arise as characteristic functions of pure commuting contractive tuples.
△ Less
Submitted 12 April, 2006; v1 submitted 7 September, 2005;
originally announced September 2005.
-
Contractive and completely contractive maps over planar algebras
Authors:
Tirthankar Bhattacharyya,
Gadadhar Misra
Abstract:
We consider contractive homomorphisms of a planar algebra ${\mathcal A}(Ω)$ over a finitely connected bounded domain $Ω\subseteq \C$ and ask if they are necessarily completely contractive. We show that a homomorphism $ρ:{\mathcal A}(Ω) \to {\mathcal B}(\mathcal H)$ for which $\dim({\mathcal A}(Ω)/\ker ρ) = 2$ is the direct integral of homomorphisms $ρ_T$ induced by operators on two dimensional H…
▽ More
We consider contractive homomorphisms of a planar algebra ${\mathcal A}(Ω)$ over a finitely connected bounded domain $Ω\subseteq \C$ and ask if they are necessarily completely contractive. We show that a homomorphism $ρ:{\mathcal A}(Ω) \to {\mathcal B}(\mathcal H)$ for which $\dim({\mathcal A}(Ω)/\ker ρ) = 2$ is the direct integral of homomorphisms $ρ_T$ induced by operators on two dimensional Hilbert spaces via a suitable functional calculus $ρ_T: f \mapsto f(T), f\in {\mathcal A}(Ω)$. It is well-known that contractive homomorphisms $ρ_T$, induced by a linear transformation $T:\C^2 \to \C^2$ are necessarily completely contractive. Consequently, using Arveson's dilation theorem for completely contractive homomorphisms, one concludes that such a homomorphism $ρ_T$ possesses a dilation. In this paper, we construct this dilation explicitly. In view of recent examples discovered by Dritschel and McCullough, we know that not all contractive homomorphisms $ρ_T$ are completely contractive even if $T$ is a linear transformation on a finite-dimensional Hilbert space. We show that one may be able to produce an example of a contractive homomorphism $ρ_T$ of ${\mathcal A}(Ω)$ which is not completely contractive if an operator space which is naturally associated with the problem is not the MAX space. Finally, within a certain special class of contractive homomorphisms $ρ_T$ of the planar algebra ${\mathcal A}(Ω)$, we construct a dilation.
△ Less
Submitted 22 July, 2005; v1 submitted 12 May, 2005;
originally announced May 2005.
-
Construction of some special subsequences within a Farey sequence
Authors:
B. Basu-Mallick,
Tanaya Bhattacharyya,
Diptiman Sen
Abstract:
Recently it has been found that some special subsequences within a Farey sequence play a crucial role in determining the ranges of coupling constant for which quantum soliton states can exist for an integrable derivative nonlinear Schrodinger model. In this article, we find a novel mapping which connects two such subsequences belonging to Farey sequences of different orders. By using this mappin…
▽ More
Recently it has been found that some special subsequences within a Farey sequence play a crucial role in determining the ranges of coupling constant for which quantum soliton states can exist for an integrable derivative nonlinear Schrodinger model. In this article, we find a novel mapping which connects two such subsequences belonging to Farey sequences of different orders. By using this mapping, we construct an algorithm to generate all of these special subsequences within a Farey sequence. We also derive the continued fraction expansions for all the elements belonging to a subsequence and observe a close connection amongst the corresponding expansion coefficients.
△ Less
Submitted 9 December, 2003;
originally announced December 2003.
-
Standard noncommuting and commuting dilations of commuting tuples
Authors:
B. V. Rajarama Bhat,
Tirthankar Bhattacharyya,
Santanu Dey
Abstract:
We introduce a notion called `maximal commuting piece' for tuples of Hilbert space operators. Given a commuting tuple of operators forming a row contraction there are two commonly used dilations in multivariable operator theory. Firstly there is the minimal isometric dilation consisting of isometries with orthogonal ranges and hence it is a noncommuting tuple. There is also a commuting dilation…
▽ More
We introduce a notion called `maximal commuting piece' for tuples of Hilbert space operators. Given a commuting tuple of operators forming a row contraction there are two commonly used dilations in multivariable operator theory. Firstly there is the minimal isometric dilation consisting of isometries with orthogonal ranges and hence it is a noncommuting tuple. There is also a commuting dilation related with a standard commuting tuple on Boson Fock space. We show that this commuting dilation is the maximal commuting piece of the minimal isometric dilation. We use this result to classify all representations of Cuntz algebra O_n coming from dilations of commuting tuples.
△ Less
Submitted 10 April, 2002;
originally announced April 2002.
