Showing 1–50 of 93 results for author: Sarkar, J

Liftings and invariant subspaces of Hankel operators

Authors: Sneha B, Neeru Bala, Samir Panja, Jaydeb Sarkar

Abstract: We prove a Hankel-variant commutant lifting theorem. This also uncovers the complete structure of the Beurling-type reducing and invariant subspaces of Hankel operators. Kernel spaces of Hankel operators play a key role in the analysis. We prove a Hankel-variant commutant lifting theorem. This also uncovers the complete structure of the Beurling-type reducing and invariant subspaces of Hankel operators. Kernel spaces of Hankel operators play a key role in the analysis. △ Less

Submitted 25 August, 2024; originally announced August 2024.

Comments: 17 pages

MSC Class: 30H10; 47B35; 32A35; 47B38; 46E20; 15B05

Invariant subspaces of perturbed backward shift

Authors: Soma Das, Jaydeb Sarkar

Abstract: We represent closed subspaces of the Hardy space that are invariant under finite-rank perturbations of the backward shift. We apply this to classify almost invariant subspaces of the backward shift and represent a more refined version of nearly invariant subspaces. Kernels of certain perturbed Toeplitz operators are examples of the newly introduced nearly invariant subspaces. We represent closed subspaces of the Hardy space that are invariant under finite-rank perturbations of the backward shift. We apply this to classify almost invariant subspaces of the backward shift and represent a more refined version of nearly invariant subspaces. Kernels of certain perturbed Toeplitz operators are examples of the newly introduced nearly invariant subspaces. △ Less

Submitted 8 August, 2024; v1 submitted 24 July, 2024; originally announced July 2024.

Comments: 26 pages. revised and corrected

MSC Class: 30H10; 47A15; 47B35; 46E22; 45E10; 81Q15

Contractive representations of odometer semigroup

Authors: Anindya Ghatak, Narayan Rakshit, Jaydeb Sarkar, Mansi Suryawanshi

Abstract: Given a natural number $n \geq 1$, the odometer semigroup $O_n$, also known as the adding machine or the Baumslag-Solitar monoid with two generators, is a well-known object in group theory. This paper examines the odometer semigroup in relation to representations of bounded linear operators. We focus on noncommutative operators and prove that contractive representations of $O_n$ always admit to ni… ▽ More Given a natural number $n \geq 1$, the odometer semigroup $O_n$, also known as the adding machine or the Baumslag-Solitar monoid with two generators, is a well-known object in group theory. This paper examines the odometer semigroup in relation to representations of bounded linear operators. We focus on noncommutative operators and prove that contractive representations of $O_n$ always admit to nicer representations of $O_n$. We give a complete description of representations of $O_n$ on the Fock space and relate it to the odometer lifting and subrepresentations of $O_n$. Along the way, we also classify Nica covariant representations of $O_n$. △ Less

Submitted 2 June, 2024; v1 submitted 23 May, 2024; originally announced May 2024.

Comments: 29 pages. Revised

MSC Class: 47A13; 46L05; 47A20; 30H10; 20E08; 32A35

$L^p$-asymptotic behavior of solutions of the fractional heat equation on Riemannian symmetric spaces of non-compact type

Authors: Muna Naik, Swagato K. Ray, Jayanta Sarkar

Abstract: For Riemannian symmetric spaces $X=G/K$ of noncompact type, we show that for all left $K$-invariant $f\in L^1(X)$, the functions $\|h_t\|_p^{-1}(f\ast h_t-M_p(f)h_t)$ (with $h_t$ being the heat kernel of $X$) converges to zero in $L^p(X)$, $p\in [1,\infty]$, as $t\to\infty$, with the constant $M_p(f)$ depending only on $p$ and $f$. We also prove an analogous result for the fractional heat kernels… ▽ More For Riemannian symmetric spaces $X=G/K$ of noncompact type, we show that for all left $K$-invariant $f\in L^1(X)$, the functions $\|h_t\|_p^{-1}(f\ast h_t-M_p(f)h_t)$ (with $h_t$ being the heat kernel of $X$) converges to zero in $L^p(X)$, $p\in [1,\infty]$, as $t\to\infty$, with the constant $M_p(f)$ depending only on $p$ and $f$. We also prove an analogous result for the fractional heat kernels $h_t^α$, $α\in (0,1)$. The above results were earlier proved for the important special cases $p=1$ and $α= 1,\frac 12$ in \cite{Vaz-2, AE, Eff2}. △ Less

Submitted 5 June, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

Comments: 35 pages, modified proofs of Proposition 3.2 and Proposition 3.4 of the earlier version

MSC Class: Primary 43A85; Secondary 22E30; 58J35; 35B40

Paired and Toeplitz + Hankel operators

Authors: Nilanjan Das, Soma Das, Jaydeb Sarkar

Abstract: We present complete classifications of paired operators on the Hilbert space $L^2(\mathbb{T})$ and Toeplitz + Hankel operators on vector-valued Hardy spaces. We introduce the notion of inner-paired operators defined on the Hardy space that use the classical model spaces. We fully classify inner-paired operators. We present complete classifications of paired operators on the Hilbert space $L^2(\mathbb{T})$ and Toeplitz + Hankel operators on vector-valued Hardy spaces. We introduce the notion of inner-paired operators defined on the Hardy space that use the classical model spaces. We fully classify inner-paired operators. △ Less

Submitted 17 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: 22 pages, revised

MSC Class: 47B35; 47B38; 46J15; 30H10; 30J05; 15B05; 32A25

$M$-ideals in $H^\infty(\mathbb{D})$

Authors: Deepak K. D, Jaydeb Sarkar, Sreejith Siju

Abstract: This article intends to initiate an investigation into the structure of $M$-ideals in $H^\infty(\mathbb{D})$, where $H^\infty(\mathbb{D})$ denotes the Banach algebra of all bounded analytic functions on the open unit disc $\mathbb{D}$ in $\mathbb{C}$. We introduce the notion of analytic primes and prove that $M$-ideals in $H^\infty(\mathbb{D})$ are analytic primes. From Hilbert function space pers… ▽ More This article intends to initiate an investigation into the structure of $M$-ideals in $H^\infty(\mathbb{D})$, where $H^\infty(\mathbb{D})$ denotes the Banach algebra of all bounded analytic functions on the open unit disc $\mathbb{D}$ in $\mathbb{C}$. We introduce the notion of analytic primes and prove that $M$-ideals in $H^\infty(\mathbb{D})$ are analytic primes. From Hilbert function space perspective, we additionally prove that $M$-ideals in $H^\infty(\mathbb{D})$ are dense in the Hardy space. We show that outer functions play a key role in representing singly generated closed ideals in $H^\infty(\mathbb{D})$ that are $M$-ideals. This is also relevant to $M$-ideals in $H^\infty(\mathbb{D})$ that are finitely generated closed ideals in $H^\infty(\mathbb{D})$. We analyze $p$-sets of $H^\infty(\mathbb{D})$ and their connection to the Šilov boundary of the maximal ideal space of $H^\infty(\mathbb{D})$. Some of our results apply to the polydisc. In addition to addressing questions regarding $M$-ideals, the results presented in this paper offer some new perspectives on bounded analytic functions. △ Less

Submitted 15 May, 2024; v1 submitted 25 March, 2024; originally announced March 2024.

Comments: Corrected and thoroughly revised. 34 pages

MSC Class: 46H10; 30H10; 32A35; 47L20; 46J15; 58C10

Isometric pairs with compact + normal cross-commutator

Authors: Sandipan De, Jaydeb Sarkar, P Shankar, Sankar T. R

Abstract: We represent and classify pairs of commuting isometries $(V_1, V_2)$ acting on Hilbert spaces that satisfy the condition \[ [V_1^*, V_2] = \text{compact} + \text{normal}, \] where $[V_1^*, V_2] := V_1^* V_2 - V_2 V_1^*$ is the cross-commutator of $(V_1, V_2)$. The precise description of such pairs also gives a complete and concrete set of unitary invariants. The basic building blocks of representa… ▽ More We represent and classify pairs of commuting isometries $(V_1, V_2)$ acting on Hilbert spaces that satisfy the condition \[ [V_1^*, V_2] = \text{compact} + \text{normal}, \] where $[V_1^*, V_2] := V_1^* V_2 - V_2 V_1^*$ is the cross-commutator of $(V_1, V_2)$. The precise description of such pairs also gives a complete and concrete set of unitary invariants. The basic building blocks of representations of such pairs consist of four distinguished pairs of commuting isometries. One of them relies on some peculiar examples of invariant subspaces tracing back to Rudin's intricate constructions of analytic functions on the bidisc. Along the way, we present a rank formula for a general pair of commuting isometries that looks to be the first of its kind. △ Less

Submitted 28 February, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: 58 pages. Revised. A new rank formula for general isometric pairs

MSC Class: 47A15; 32A10; 42B30; 47A13; 30H10; 47A65; 46E30; 47B47; 15A15

Unique Continuation Inequalities for the Schrödinger equations associated with the Special Hermite operators

Authors: Jayanta Sarkar

Abstract: We investigate unique continuation inequalities for solutions of the Schrödinger equations associated with special Hermite operators. Our main result establishes that if the solution remains small at two distinct time points outside sets of finite measure, then the solution also remains small throughout the entire space. We also explore analogous results for the Hermite-Schrödinger equations. We investigate unique continuation inequalities for solutions of the Schrödinger equations associated with special Hermite operators. Our main result establishes that if the solution remains small at two distinct time points outside sets of finite measure, then the solution also remains small throughout the entire space. We also explore analogous results for the Hermite-Schrödinger equations. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 13 pages

MSC Class: Primary: 35B60; Secondary: 93B07; 35P10; 35J10

Weighted estimates for Hardy-Littlewood maximal functions on Harmonic $NA$ groups

Authors: Pritam Ganguly, Tapendu Rana, Jayanta Sarkar

Abstract: Our aim in this article is to study the weighted boundedness of the centered Hardy-Littlewood maximal operator in Harmonic $NA$ groups. Following Ombrosi et al. \cite{ORR}, we define a suitable notion of $A_p$ weights, and for such weights, we prove the weighted $L^p$-boundedness of the maximal operator. Furthermore, as an endpoint case, we prove a variant of the Fefferman-Stein inequality, from w… ▽ More Our aim in this article is to study the weighted boundedness of the centered Hardy-Littlewood maximal operator in Harmonic $NA$ groups. Following Ombrosi et al. \cite{ORR}, we define a suitable notion of $A_p$ weights, and for such weights, we prove the weighted $L^p$-boundedness of the maximal operator. Furthermore, as an endpoint case, we prove a variant of the Fefferman-Stein inequality, from which vector-valued maximal inequality has been established. We also provide various examples of weights to substantiate many aspects of our results. In particular, we have shown certain spherical functions of the Harmonic $NA$ group constitute examples of $A_p$ weights. The purely exponential volume growth property of the Harmonic $NA$ group has played a crucial role in our proofs. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Comments: 32 pages

MSC Class: Primary: 43A80; Secondary: 43A90; 43A15; 42B25

Pairs of inner projections and two applications

Authors: Ramlal Debnath, Deepak K. Pradhan, Jaydeb Sarkar

Abstract: Orthogonal projections onto closed subspaces of $H^2(\mathbb{D}^n)$ of the form $\varphi H^2(\mathbb{D}^n)$ for inner functions $\varphi$ on $\mathbb{D}^n$ are referred to as inner projections, where $H^2(\mathbb{D}^n)$ denotes the Hardy space over the open unit polydisc $\mathbb{D}^n$. In this paper, we classify pairs of commuting inner projections. We also present two seemingly independent appli… ▽ More Orthogonal projections onto closed subspaces of $H^2(\mathbb{D}^n)$ of the form $\varphi H^2(\mathbb{D}^n)$ for inner functions $\varphi$ on $\mathbb{D}^n$ are referred to as inner projections, where $H^2(\mathbb{D}^n)$ denotes the Hardy space over the open unit polydisc $\mathbb{D}^n$. In this paper, we classify pairs of commuting inner projections. We also present two seemingly independent applications: the first is an answer to a question posed by R. G. Douglas, and the second is a complete classification of partially isometric truncated Toeplitz operators with inner symbols on the polydisc. △ Less

Submitted 21 October, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 21 pages. A revised version and a new section, ''Examples'', have been included. To appear in the Journal of Functional Analysis

MSC Class: 47A46; 32A10; 42B30; 30J05; 47L80; 46J15; 47A15; 30H05

A Bishop-Phelps-Bollobas theorem for disc algebra

Authors: Neeru Bala, Jaydeb Sarkar, Aryaman Sensarma

Abstract: Let $\mathbb{D}$ represent the open unit disc in $\mathbb{C}$. Denote by $A(\mathbb{D})$ the disc algebra, and $\mathscr{B}(X, A(\mathbb{\mathbb{D}}))$ the Banach space of all bounded linear operators from a Banach space $X$ into $A(\mathbb{D})$. We prove that, under the assumption of equicontinuity at a point in $\partial \mathbb{D}$, the Bishop-Phelps-Bollobás property holds for… ▽ More Let $\mathbb{D}$ represent the open unit disc in $\mathbb{C}$. Denote by $A(\mathbb{D})$ the disc algebra, and $\mathscr{B}(X, A(\mathbb{\mathbb{D}}))$ the Banach space of all bounded linear operators from a Banach space $X$ into $A(\mathbb{D})$. We prove that, under the assumption of equicontinuity at a point in $\partial \mathbb{D}$, the Bishop-Phelps-Bollobás property holds for $\mathscr{B}(X, A(\mathbb{\mathbb{D}}))$. △ Less

Submitted 1 May, 2023; originally announced May 2023.

Comments: 12 pages

MSC Class: 46E15; 46E22; 46H10; 30H05; 47L20; 46J10

Automorphisms and generalized projections on spaces of analytic functions

Authors: Rahul Maurya, Jaydeb Sarkar, Aryaman Sensarma

Abstract: We present complete classifications of automorphisms of two closed subalgebras of the bounded analytic functions on the open unit disc $\mathbb{D}$, namely, the subalgebra of functions vanishing at the origin, and the subalgebra of functions whose first derivative vanishes at the origin. The later subalgebra is known as the Neil algebra. We also characterize generalized tri-circular projections on… ▽ More We present complete classifications of automorphisms of two closed subalgebras of the bounded analytic functions on the open unit disc $\mathbb{D}$, namely, the subalgebra of functions vanishing at the origin, and the subalgebra of functions whose first derivative vanishes at the origin. The later subalgebra is known as the Neil algebra. We also characterize generalized tri-circular projections on $H^{p}(\mathbb{D})$ and $H^{p}(\mathbb{D}^2)$, $1\leq p \leq \infty$, $p\neq 2$. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 20 pages

MSC Class: 46B20; 30H05; 46J15; 47L20; 46J10; 46E15; 47B38

Generalized Hausdorff metric on $S_{b}$-metric space and some fixed point results

Authors: Jayanta Sarkar, Megha Pandey, Tanmoy Som, B. S. Choudhury

Abstract: In this paper, a metric on $S_b$-metric space analogous to the Hausdorff metric has been introduced and some basic properties are obtained on multi-valued $S_b$-metric space. Further, the fundamental multi-valued contraction of Nadler(1962) has been extended to the $S_b$-metric space setting, and two results have been established. The entire study is supported by suitable examples. In this paper, a metric on $S_b$-metric space analogous to the Hausdorff metric has been introduced and some basic properties are obtained on multi-valued $S_b$-metric space. Further, the fundamental multi-valued contraction of Nadler(1962) has been extended to the $S_b$-metric space setting, and two results have been established. The entire study is supported by suitable examples. △ Less

Submitted 5 March, 2023; originally announced March 2023.

Commutant lifting, interpolation, and perturbations on the polydisc

Authors: Deepak K. D., Jaydeb Sarkar

Abstract: The fundamental theorem on commutant lifting due to Sarason does not carry over to the setting of the polydisc. This paper presents two classifications of commutant lifting in several variables. The first classification links the lifting problem to the contractivity of certain linear functionals. The second one transforms it into nonnegative real numbers. We also solve the Nevanlinna-Pick interpol… ▽ More The fundamental theorem on commutant lifting due to Sarason does not carry over to the setting of the polydisc. This paper presents two classifications of commutant lifting in several variables. The first classification links the lifting problem to the contractivity of certain linear functionals. The second one transforms it into nonnegative real numbers. We also solve the Nevanlinna-Pick interpolation problem for bounded analytic functions on the polydisc. Along the way, we solve a perturbation problem for bounded analytic functions. Commutant lifting and interpolation on the polydisc solve two well-known problems in Hilbert function space theory. △ Less

Submitted 18 April, 2023; v1 submitted 24 January, 2023; originally announced January 2023.

Comments: 56 pages. Thoroughly revised, new results, sections, and examples

MSC Class: 32A38; 47A57; 30E05; 47A13; 46J15; 30D55; 93C73; 15B05

Orthogonal decompositions and twisted isometries II

Authors: Narayan Rakshit, Jaydeb Sarkar, Mansi Suryawanshi

Abstract: We classify tuples of (not necessarily commuting) isometries that admit von Neumann-Wold decomposition. We introduce the notion of twisted isometries for tuples of isometries and prove the existence of orthogonal decomposition for such tuples. The former classification is partially inspired by a result that was observed more than three decades ago by Gaspar and Suciu. And the latter result general… ▽ More We classify tuples of (not necessarily commuting) isometries that admit von Neumann-Wold decomposition. We introduce the notion of twisted isometries for tuples of isometries and prove the existence of orthogonal decomposition for such tuples. The former classification is partially inspired by a result that was observed more than three decades ago by Gaspar and Suciu. And the latter result generalizes Popovici's orthogonal decompositions for pairs of commuting isometries to general tuples of twisted isometries which also includes the case of tuples of commuting isometries. Our results unify all the known orthogonal decomposition related results in the literature. △ Less

Submitted 28 September, 2022; originally announced September 2022.

Comments: 24 pages. [See arXiv:2104.07628 for Part I]

MSC Class: 46L65; 47A20; 46L05; 81S05; 30H10; 46J1; 15B99

Characterizations of complex symmetric Toeplitz operators

Authors: Sudip Ranjan Bhuia, Deepak Pradhan, Jaydeb Sarkar

Abstract: We present complete characterizations of Toeplitz operators that are complex symmetric. This follows as a by-product of characterizations of conjugations on Hilbert spaces. Notably, we prove that every conjugation admits a canonical factorization. As a consequence, we prove that a Toeplitz operator is complex symmetric if and only if the Toeplitz operator is $S$-Toeplitz for some unilateral shift… ▽ More We present complete characterizations of Toeplitz operators that are complex symmetric. This follows as a by-product of characterizations of conjugations on Hilbert spaces. Notably, we prove that every conjugation admits a canonical factorization. As a consequence, we prove that a Toeplitz operator is complex symmetric if and only if the Toeplitz operator is $S$-Toeplitz for some unilateral shift $S$ and the transpose of the Toeplitz operator matrix is equal to the matrix of the Toeplitz operator corresponding to the basis of the unilateral shift $S$. Also, we characterize complex symmetric Toeplitz operators on the Hardy space over the open unit polydisc. Our results answer the well known open question about characterizations of complex symmetric Toeplitz operators. △ Less

Submitted 26 July, 2022; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: 40 pages. Revised

MSC Class: 47B35; 46E20; 15B05; 32A35; 47B32; 30H10; 30H50; Secondary 47B33; 30H05

Invariant subspaces of idempotents on Hilbert spaces

Authors: Neeru Bala, Nirupam Ghosh, Jaydeb Sarkar

Abstract: In the setting of operators on Hilbert spaces, we prove that every quasinilpotent operator has a non-trivial closed invariant subspace if and only if every pair of idempotents with a quasinilpotent commutator has a non-trivial common closed invariant subspace. We also present a geometric characterization of invariant subspaces of idempotents and classify operators that are essentially idempotent. In the setting of operators on Hilbert spaces, we prove that every quasinilpotent operator has a non-trivial closed invariant subspace if and only if every pair of idempotents with a quasinilpotent commutator has a non-trivial common closed invariant subspace. We also present a geometric characterization of invariant subspaces of idempotents and classify operators that are essentially idempotent. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Comments: 15 pages

MSC Class: 47A15; 46B50; 47B15; 15A60; 47B10

An analogue of Ingham's theorem on the Heisenberg group

Authors: Sayan Bagchi, Pritam Ganguly, Jayanta Sarkar, Sundaram Thangavelu

Abstract: We prove an exact analogue of Ingham's uncertainty principle for the group Fourier transform on the Heisenberg group. This is accomplished by explicitly constructing compactly supported functions on the Heisenberg group whose operator-valued Fourier transforms have suitable Ingham type decay and proving an analogue of Chernoff's theorem for the family of special Hermite operators. We prove an exact analogue of Ingham's uncertainty principle for the group Fourier transform on the Heisenberg group. This is accomplished by explicitly constructing compactly supported functions on the Heisenberg group whose operator-valued Fourier transforms have suitable Ingham type decay and proving an analogue of Chernoff's theorem for the family of special Hermite operators. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 26 pages. It is an updated and modified version of arXiv:2009.14230

MSC Class: Primary: 43A80. Secondary: 22E25; 33C45; 26E10; 46E35

Left-invertibility of rank-one perturbations

Authors: Susmita Das, Jaydeb Sarkar

Abstract: For each isometry $V$ acting on some Hilbert space and a pair of vectors $f$ and $g$ in the same Hilbert space, we associate a nonnegative number $c(V;f,g)$ defined by \[ c(V; f,g) = (\|f\|^2 - \|V^*f\|^2) \|g\|^2 + |1 + \langle V^*f , g\rangle|^2. \] We prove that the rank-one perturbation $V + f \otimes g$ is left-invertible if and only if \[ c(V;f,g) \neq 0. \] We also consider examples of rank… ▽ More For each isometry $V$ acting on some Hilbert space and a pair of vectors $f$ and $g$ in the same Hilbert space, we associate a nonnegative number $c(V;f,g)$ defined by \[ c(V; f,g) = (\|f\|^2 - \|V^*f\|^2) \|g\|^2 + |1 + \langle V^*f , g\rangle|^2. \] We prove that the rank-one perturbation $V + f \otimes g$ is left-invertible if and only if \[ c(V;f,g) \neq 0. \] We also consider examples of rank-one perturbations of isometries that are shift on some Hilbert space of analytic functions. Here, shift refers to the operator of multiplication by the coordinate function $z$. Finally, we examine $D + f \otimes g$, where $D$ is a diagonal operator with nonzero diagonal entries and $f$ and $g$ are vectors with nonzero Fourier coefficients. We prove that $D + f\otimes g$ is left-invertible if and only if $D+f\otimes g$ is invertible. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Comments: 16 pages

MSC Class: 47A55; 47B37; 30H10; 47B32; 46B50; 47B07

Tridiagonal shifts as compact + isometry

Authors: Susmita Das, Jaydeb Sarkar

Abstract: Let $\{a_n\}_{n\geq 0}$ and $\{b_n\}_{n\geq 0}$ be sequences of scalars. Suppose $a_n \neq 0$ for all $n \geq 0$. We consider the tridiagonal kernel (also known as band kernel with bandwidth one) as \[ k(z, w) = \sum_{n=0}^\infty ((a_n + b_n z)z^n) \overline{(({a}_n + {b}_n {w}) {w}^n)} \qquad (z, w \in \mathbb{D}), \] where $\mathbb{D} = \{z \in \mathbb{C}: |z| < 1\}$. Denote by $M_z$ the multipl… ▽ More Let $\{a_n\}_{n\geq 0}$ and $\{b_n\}_{n\geq 0}$ be sequences of scalars. Suppose $a_n \neq 0$ for all $n \geq 0$. We consider the tridiagonal kernel (also known as band kernel with bandwidth one) as \[ k(z, w) = \sum_{n=0}^\infty ((a_n + b_n z)z^n) \overline{(({a}_n + {b}_n {w}) {w}^n)} \qquad (z, w \in \mathbb{D}), \] where $\mathbb{D} = \{z \in \mathbb{C}: |z| < 1\}$. Denote by $M_z$ the multiplication operator on the reproducing kernel Hilbert space corresponding to the kernel $k$. Assume that $M_z$ is left-invertible. We prove that $M_z =$ compact $+$ isometry if and only if $|\frac{b_n}{a_n}-\frac{b_{n+1}}{a_{n+1}}|\rightarrow 0$ and $|\frac{a_n}{a_{n+1}}| \rightarrow 1$. △ Less

Submitted 5 February, 2022; v1 submitted 7 November, 2021; originally announced November 2021.

Comments: 10 pages. A minor error in the main theorem has been fixed

MSC Class: 46E22; 47B38; 47A55; 47B07; 30H10; 47B37

A Bishop-Phelps-Bollobás theorem for bounded analytic functions

Authors: Neeru Bala, Kousik Dhara, Jaydeb Sarkar, Aryaman Sensarma

Abstract: Let $H^\infty$ denote the Banach algebra of all bounded analytic functions on the open unit disc and denote by $\mathscr{B}(H^\infty)$ the Banach space of all bounded linear operators from $H^\infty$ to itself. We prove that the Bishop-Phelps-Bollobás property holds for $\mathscr{B}(H^\infty)$. As an application to our approach, we prove that the Bishop-Phelps-Bollobás property also holds for oper… ▽ More Let $H^\infty$ denote the Banach algebra of all bounded analytic functions on the open unit disc and denote by $\mathscr{B}(H^\infty)$ the Banach space of all bounded linear operators from $H^\infty$ to itself. We prove that the Bishop-Phelps-Bollobás property holds for $\mathscr{B}(H^\infty)$. As an application to our approach, we prove that the Bishop-Phelps-Bollobás property also holds for operator ideals of $\mathscr{B}(H^\infty)$. △ Less

Submitted 11 June, 2024; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: Lemma 3.1 is incorrect, so the proof of Theorem 3.2 is wrong. The same applies to the results of Section 4. However, the Urysohn-type lemma in Section 2 remains correct and appears to be a result of independent interest

MSC Class: 46B20; 30H05; 46J15; 47L20; 46B22; 46J10

Model spaces invariant under composition operators

Authors: P. Muthukumar, Jaydeb Sarkar

Abstract: Given a holomorphic self-map $\varphi$ of $\D$ (the open unit disc in $\mathbb{C}$), the composition operator $C_{\varphi} f = f \circ \varphi$, $f \in H^2(\mathbb{\D})$, defines a bounded linear operator on the Hardy space $H^2(\mathbb{\D})$. The model spaces are the backward shift-invariant closed subspaces of $H^2(\mathbb{\D})$, which are canonically associated with inner functions. In this pap… ▽ More Given a holomorphic self-map $\varphi$ of $\D$ (the open unit disc in $\mathbb{C}$), the composition operator $C_{\varphi} f = f \circ \varphi$, $f \in H^2(\mathbb{\D})$, defines a bounded linear operator on the Hardy space $H^2(\mathbb{\D})$. The model spaces are the backward shift-invariant closed subspaces of $H^2(\mathbb{\D})$, which are canonically associated with inner functions. In this paper, we study model spaces that are invariant under composition operators. Emphasis is put on finite-dimensional model spaces, affine transformations, and linear fractional transformations. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: 14 pages

Invariant subspaces of analytic perturbations

Authors: Susmita Das, Jaydeb Sarkar

Abstract: By analytic perturbations, we refer to shifts that are finite rank perturbations of the form $M_z + F$, where $M_z$ is the unilateral shift and $F$ is a finite rank operator on the Hardy space over the open unit disc. Here shift refers to the multiplication operator $M_z$ on some analytic reproducing kernel Hilbert space. In this paper, we first isolate a natural class of finite rank operators for… ▽ More By analytic perturbations, we refer to shifts that are finite rank perturbations of the form $M_z + F$, where $M_z$ is the unilateral shift and $F$ is a finite rank operator on the Hardy space over the open unit disc. Here shift refers to the multiplication operator $M_z$ on some analytic reproducing kernel Hilbert space. In this paper, we first isolate a natural class of finite rank operators for which the corresponding perturbations are analytic, and then we present a complete classification of invariant subspaces of those analytic perturbations. We also exhibit some instructive examples and point out several distinctive properties (like cyclicity, essential normality, hyponormality, etc.) of analytic perturbations. △ Less

Submitted 11 July, 2021; originally announced July 2021.

Comments: 20 pages

MSC Class: 47A55; 46E22; 47A15; 30H10; 30J05; 47B20

Fatou theorem and its converse for positive eigenfunctions of the Laplace-Beltrami operator on Harmonic $NA$ groups

Authors: Swagato K. Ray, Jayanta Sarkar

Abstract: We prove a Fatou-type theorem and its converse for certain positive eigenfunctions of the Laplace-Beltrami operator $\mathcal{L}$ on a Harmonic $NA$ group. We show that a positive eigenfunction $u$ of $\mathcal{L}$ with eigenvalue $β^2-ρ^2$, $β\in (0,\infty)$, has an admissible limit in the sense of Korányi, precisely at those boundary points where the strong derivative of the boundary measure of… ▽ More We prove a Fatou-type theorem and its converse for certain positive eigenfunctions of the Laplace-Beltrami operator $\mathcal{L}$ on a Harmonic $NA$ group. We show that a positive eigenfunction $u$ of $\mathcal{L}$ with eigenvalue $β^2-ρ^2$, $β\in (0,\infty)$, has an admissible limit in the sense of Korányi, precisely at those boundary points where the strong derivative of the boundary measure of $u$ exists. Moreover, the admissible limit and the strong derivative are the same. This extends a result of Ramey and Ullrich regarding nontangential convergence of positive harmonic functions on the Euclidean upper half space. △ Less

Submitted 14 February, 2022; v1 submitted 11 May, 2021; originally announced May 2021.

Comments: 28 pages, minor corrections have made

MSC Class: Primary 43A80; 31B25; 35R03; Secondary 28A15; 44A35

Journal ref: J. Geom. Anal. 33 (2023), no. 7, 225

Orthogonal decompositions and twisted isometries

Authors: Narayan Rakshit, Jaydeb Sarkar, Mansi Suryawanshi

Abstract: Let $n > 1$. Let $\{U_{ij}\}_{1 \leq i < j \leq n}$ be $\binom{n}{2}$ commuting unitaries on some Hilbert space $\mathcal{H}$, and suppose $U_{ji} := U_{ij}^*$, $1 \leq i < j \leq n$. An $n$-tuple of isometries $V = (V_1, \ldots ,V_n)$ on $\mathcal{H}$ is called $\mathcal{U}_n$-twisted isometry with respect to $\{U_{ij}\}_{i<j}$ (or simply $\mathcal{U}_n$-twisted isometry if $\{U_{ij}\}_{i<j}$ is… ▽ More Let $n > 1$. Let $\{U_{ij}\}_{1 \leq i < j \leq n}$ be $\binom{n}{2}$ commuting unitaries on some Hilbert space $\mathcal{H}$, and suppose $U_{ji} := U_{ij}^*$, $1 \leq i < j \leq n$. An $n$-tuple of isometries $V = (V_1, \ldots ,V_n)$ on $\mathcal{H}$ is called $\mathcal{U}_n$-twisted isometry with respect to $\{U_{ij}\}_{i<j}$ (or simply $\mathcal{U}_n$-twisted isometry if $\{U_{ij}\}_{i<j}$ is clear from the context) if $V_i$'s are in the commutator $\{U_{st}: s \neq t\}'$, and $V_i^*V_j=U_{ij}^*V_jV_i^*$, $i \neq j$ We prove that each $\mathcal{U}_n$-twisted isometry admits a von Neumann-Wold type orthogonal decomposition, and prove that the universal $C^*$-algebra generated by $\mathcal{U}_n$-twisted isometry is nuclear. We exhibit concrete analytic models of $\mathcal{U}_n$-twisted isometries, and establish connections between unitary equivalence classes of the irreducible representations of the $C^*$-algebras generated by $\mathcal{U}_n$-twisted isometries and the unitary equivalence classes of the non-zero irreducible representations of twisted noncommutative tori. Our motivation of $\mathcal{U}_n$-twisted isometries stems from the classical rotation $C^*$-algebras, Heisenberg group $C^*$-algebras, and a recent work of de Jeu and Pinto. △ Less

Submitted 9 May, 2022; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: 24 pages, revised and corrected. To appear in International Journal of Mathematics

MSC Class: 46L65; 47A20; 46L05; 81S05; 30H10; 46J15

Beurling quotient modules on the polydisc

Authors: Monojit Bhattacharjee, B. Krishna Das, Ramlal Debnath, Jaydeb Sarkar

Abstract: Let $H^2(\mathbb{D}^n)$ denote the Hardy space over the polydisc $\mathbb{D}^n$, $n \geq 2$. A closed subspace $\mathcal{Q} \subseteq H^2(\mathbb{D}^n)$ is called Beurling quotient module if there exists an inner function $θ\in H^\infty(\mathbb{D}^n)$ such that $\mathcal{Q} = H^2(\mathbb{D}^n) /θH^2(\mathbb{D}^n)$. We present a complete characterization of Beurling quotient modules of… ▽ More Let $H^2(\mathbb{D}^n)$ denote the Hardy space over the polydisc $\mathbb{D}^n$, $n \geq 2$. A closed subspace $\mathcal{Q} \subseteq H^2(\mathbb{D}^n)$ is called Beurling quotient module if there exists an inner function $θ\in H^\infty(\mathbb{D}^n)$ such that $\mathcal{Q} = H^2(\mathbb{D}^n) /θH^2(\mathbb{D}^n)$. We present a complete characterization of Beurling quotient modules of $H^2(\mathbb{D}^n)$: Let $\mathcal{Q} \subseteq H^2(\mathbb{D}^n)$ be a closed subspace, and let $C_{z_i} = P_{\mathcal{Q}} M_{z_i}|_{\mathcal{Q}}$, $i=1, \ldots, n$. Then $\mathcal{Q}$ is a Beurling quotient module if and only if \[ (I_{\mathcal{Q}} - C_{z_i}^* C_{z_i}) (I_{\mathcal{Q}} - C_{z_j}^* C_{z_j}) = 0 \qquad (i \neq j). \] We present two applications: first, we obtain a dilation theorem for Brehmer $n$-tuples of commuting contractions, and, second, we relate joint invariant subspaces with factorizations of inner functions. All results work equally well for general vector-valued Hardy spaces. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: 15 pages

MSC Class: 46J15; 47A15; 30H05; 47A56

Partially isometric Toeplitz operators on the polydisc

Authors: Deepak K. D, Deepak Pradhan, Jaydeb Sarkar

Abstract: A Toeplitz operator $T_\varphi$, $\varphi \in L^\infty(\mathbb{T}^n)$, is a partial isometry if and only if there exist inner functions $\varphi_1, \varphi_2 \in H^\infty(\mathbb{D}^n)$ such that $\varphi_1$ and $\varphi_2$ depends on different variables and $\varphi = \bar{\varphi}_1 \varphi_2$. In particular, for $n=1$, along with new proof, this recovers a classical theorem of Brown and Douglas… ▽ More A Toeplitz operator $T_\varphi$, $\varphi \in L^\infty(\mathbb{T}^n)$, is a partial isometry if and only if there exist inner functions $\varphi_1, \varphi_2 \in H^\infty(\mathbb{D}^n)$ such that $\varphi_1$ and $\varphi_2$ depends on different variables and $\varphi = \bar{\varphi}_1 \varphi_2$. In particular, for $n=1$, along with new proof, this recovers a classical theorem of Brown and Douglas. \noindent We also prove that a partially isometric Toeplitz operator is hyponormal if and only if the corresponding symbol is an inner function in $H^\infty(\mathbb{D}^n)$. Moreover, partially isometric Toeplitz operators are always power partial isometry (following Halmos and Wallen), and hence, up to unitary equivalence, a partially isometric Toeplitz operator with symbol in $L^\infty(\mathbb{T}^n)$, $n > 1$, is either a shift, or a co-shift, or a direct sum of truncated shifts. Along the way, we prove that $T_\varphi$ is a shift whenever $\varphi$ is inner in $H^\infty(\mathbb{D}^n)$. △ Less

Submitted 5 February, 2022; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 12 pages. To appear in Bulletin of the London Mathematical Society

MSC Class: 47B35; 47B20; 30J05; 30H10; 15B05; 46L99

A note on $σ$-point and nontangential convergence

Authors: Jayanta Sarkar

Abstract: In this article, we generalize a theorem of Victor L. Shapiro concerning nontangential convergence of the Poisson integral of a $L^p$-function. We introduce the notion of $σ$-points of a locally finite measure and consider a wide class of convolution kernels. We show that convolution integrals of a measure have nontangential limits at $σ$-points of the measure. We also investigate the relationship… ▽ More In this article, we generalize a theorem of Victor L. Shapiro concerning nontangential convergence of the Poisson integral of a $L^p$-function. We introduce the notion of $σ$-points of a locally finite measure and consider a wide class of convolution kernels. We show that convolution integrals of a measure have nontangential limits at $σ$-points of the measure. We also investigate the relationship between $σ$-point and the notion of the strong derivative introduced by Ramey and Ullrich. In one dimension, these two notions are the same. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Comments: 15 pages

MSC Class: 31B25; 44A35 (Primary) 31A20; 28A15 (Secondary)

Boundary behavior of positive solutions of the heat equation on a stratified Lie group

Authors: Jayanta Sarkar

Abstract: In this article, we are concerned with a certain type of boundary behavior of positive solutions of the heat equation on a stratified Lie group at a given boundary point. We prove that a necessary and sufficient condition for the existence of the parabolic limit of a positive solution $u$ at a point on the boundary is the existence of the strong derivative of the boundary measure of $u$ at that po… ▽ More In this article, we are concerned with a certain type of boundary behavior of positive solutions of the heat equation on a stratified Lie group at a given boundary point. We prove that a necessary and sufficient condition for the existence of the parabolic limit of a positive solution $u$ at a point on the boundary is the existence of the strong derivative of the boundary measure of $u$ at that point. Moreover, the parabolic limit and the strong derivative are equal. We also construct an example of a positive measure on the Heisenberg group to show that the set of all points where strong derivative exists is strictly larger than the set of Lebesgue points of the measure. △ Less

Submitted 19 January, 2022; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: 32 pages. A new example added. arXiv admin note: text overlap with arXiv:2012.11234

MSC Class: 43A80; 31B25; 35R03 (Primary); 28A15; 44A35 (Secondary)

Idempotent, model, and Toeplitz operators attaining their norms

Authors: Neeru Bala, Kousik Dhara, Jaydeb Sarkar, Aryaman Sensarma

Abstract: We study idempotent, model, and Toeplitz operators that attain the norm. Notably, we prove that if $\mathcal{Q}$ is a backward shift invariant subspace of the Hardy space $H^2(\mathbb{D})$, then the model operator $S_{\mathcal{Q}}$ attains its norm. Here $S_{\mathcal{Q}} = P_{\mathcal{Q}}M_z|_{\mathcal{Q}}$, the compression of the shift $M_z$ on the Hardy space $H^2(\mathbb{D})$ to $\mathcal{Q}$. We study idempotent, model, and Toeplitz operators that attain the norm. Notably, we prove that if $\mathcal{Q}$ is a backward shift invariant subspace of the Hardy space $H^2(\mathbb{D})$, then the model operator $S_{\mathcal{Q}}$ attains its norm. Here $S_{\mathcal{Q}} = P_{\mathcal{Q}}M_z|_{\mathcal{Q}}$, the compression of the shift $M_z$ on the Hardy space $H^2(\mathbb{D})$ to $\mathcal{Q}$. △ Less

Submitted 25 March, 2021; v1 submitted 10 January, 2021; originally announced January 2021.

Comments: 15 pages.To appear in Linear Algebra and Its Applications

MSC Class: 47B07; 47A46; 47A10; 47B35; 30J05

Schur functions and inner functions on the bidisc

Authors: Ramlal Debnath, Jaydeb Sarkar

Abstract: We study representations of inner functions on the bidisc from a fractional linear transformation point of view, and provide sufficient conditions, in terms of colligation matrices, for the existence of two-variable inner functions. Here the sufficient conditions are not necessary in general, and we prove a weak converse for rational inner functions that admit one variable factorization. We pres… ▽ More We study representations of inner functions on the bidisc from a fractional linear transformation point of view, and provide sufficient conditions, in terms of colligation matrices, for the existence of two-variable inner functions. Here the sufficient conditions are not necessary in general, and we prove a weak converse for rational inner functions that admit one variable factorization. We present a complete classification of de Branges-Rovnyak kernels on the bidisc (which equally works in the setting of polydisc and the open unit ball of $\mathbb{C}^n$, $n \geq 1$). We also classify, in terms of Agler kernels, two-variable Schur functions that admit one variable factor. △ Less

Submitted 5 February, 2022; v1 submitted 24 December, 2020; originally announced December 2020.

Comments: 25 pages, minor revision. To appear in Computational Methods and Function Theory (CMFT)

MSC Class: 46C07; 46E22; 47A48; 47B32; 30J05; 30H10; 47A15; 47B35

On parabolic convergence of positive solutions of the heat equation

Authors: Jayanta Sarkar

Abstract: In this article, we study certain type of boundary behaviour of positive solutions of the heat equation on the upper half-space of $\R^{n+1}$. We prove that the existence of the parabolic limit of a positive solution of the heat equation at a point in the boundary is equivalent to the existence of the strong derivative of the boundary measure of the solution at that point. Moreover, the parabolic… ▽ More In this article, we study certain type of boundary behaviour of positive solutions of the heat equation on the upper half-space of $\R^{n+1}$. We prove that the existence of the parabolic limit of a positive solution of the heat equation at a point in the boundary is equivalent to the existence of the strong derivative of the boundary measure of the solution at that point. Moreover, the parabolic limit and the strong derivative are equal. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Comments: 15 pages

MSC Class: 31A20; 31B25; 42B99

Journal ref: Complex Variables and Elliptic Equations (2021)

On Pointwise converse of Fatou's theorem for Euclidean and Real hyperbolic spaces

Authors: Jayanta Sarkar

Abstract: In this article, we extend a result of L. Loomis and W. Rudin, regarding boundary behavior of positive harmonic functions on the upper half space $\R_+^{n+1}$. We show that similar results remain valid for more general approximate identities. We apply this result to prove a result regarding boundary behavior of nonnegative eigenfunctions of the Laplace-Beltrami operator on real hyperbolic space… ▽ More In this article, we extend a result of L. Loomis and W. Rudin, regarding boundary behavior of positive harmonic functions on the upper half space $\R_+^{n+1}$. We show that similar results remain valid for more general approximate identities. We apply this result to prove a result regarding boundary behavior of nonnegative eigenfunctions of the Laplace-Beltrami operator on real hyperbolic space $\mathbb H^n$. We shall also prove a generalization of a result regarding large time behavior of solution of the heat equation proved in \cite{Re}. We use this result to prove a result regarding asymptotic behavior of certain eigenfunctions of the Laplace-Beltrami operator on real hyperbolic space $\mathbb H^n$. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Comments: 25 pages

MSC Class: 31B25; 44A35 (Primary); 31A20; 43A85 (Secondary)

Journal ref: Israel Journal of Mathematics, 250 (2022)

Orthogonality in Banach Spaces via projective tensor product

Authors: Kousik Dhara, Narayan Rakshit, Jaydeb Sarkar, Aryaman Sensarma

Abstract: Let $X$ be a complex Banach space and $x,y\in X$. By definition, we say that $x$ is Birkhoff-James orthogonal to $y$ if $ \|x+λy\|_{X} \geq \|x\|_{X}$ for all $λ\in \mathbb{C}$. We prove that $x$ is Birkhoff-James orthogonal to $y$ if and only if there exists a semi-inner product $\varphi$ on $X$ such that $\|\varphi\| = 1$, $\varphi(x,x)=\|x\|^2$ and $\varphi(x,y)=0$. A similar result holds for… ▽ More Let $X$ be a complex Banach space and $x,y\in X$. By definition, we say that $x$ is Birkhoff-James orthogonal to $y$ if $ \|x+λy\|_{X} \geq \|x\|_{X}$ for all $λ\in \mathbb{C}$. We prove that $x$ is Birkhoff-James orthogonal to $y$ if and only if there exists a semi-inner product $\varphi$ on $X$ such that $\|\varphi\| = 1$, $\varphi(x,x)=\|x\|^2$ and $\varphi(x,y)=0$. A similar result holds for $C^*$-algebras. A key point in our approach to orthogonality is the representations of bounded bilinear maps via projective tensor product spaces. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: 8 pages

MSC Class: 46B28; 47A30; 46B20; 46B22; 47B01; 47L05

On theorems of Chernoff and Ingham on the Heisenberg group

Authors: Sayan Bagchi, Pritam Ganguly, Jayanta Sarkar, Sundaram Thangavelu

Abstract: We prove an analogue of Chernoff's theorem for the sublaplacian on the Heisenberg group and use it prove a version of Ingham's theorem for the Fourier transform on the same group. We prove an analogue of Chernoff's theorem for the sublaplacian on the Heisenberg group and use it prove a version of Ingham's theorem for the Fourier transform on the same group. △ Less

Submitted 8 February, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 26 pages, Revised version

MSC Class: Primary: 43A80. Secondary: 22E25; 33C45; 26E10; 46E35

Tridiagonal kernels and left-invertible operators with applications to Aluthge transforms

Authors: Susmita Das, Jaydeb Sarkar

Abstract: Given scalars $a_n (\neq 0)$ and $b_n$, $n \geq 0$, the tridiagonal kernel or band kernel with bandwidth $1$ is the positive definite kernel $k$ on the open unit disc $\mathbb{D}$ defined by \[ k(z, w) = \sum_{n=0}^\infty \Big((a_n + b_n z)z^n\Big) \Big((\bar{a}_n + \bar{b}_n \bar{w}) \bar{w}^n \Big) \qquad (z, w \in \mathbb{D}). \] This defines a reproducing kernel Hilbert space $\mathcal{H}_k$ (… ▽ More Given scalars $a_n (\neq 0)$ and $b_n$, $n \geq 0$, the tridiagonal kernel or band kernel with bandwidth $1$ is the positive definite kernel $k$ on the open unit disc $\mathbb{D}$ defined by \[ k(z, w) = \sum_{n=0}^\infty \Big((a_n + b_n z)z^n\Big) \Big((\bar{a}_n + \bar{b}_n \bar{w}) \bar{w}^n \Big) \qquad (z, w \in \mathbb{D}). \] This defines a reproducing kernel Hilbert space $\mathcal{H}_k$ (known as tridiagonal space) of analytic functions on $\mathbb{D}$ with $\{(a_n + b_nz) z^n\}_{n=0}^\infty$ as an orthonormal basis. We consider shift operators $M_z$ on $\mathcal{H}_k$ and prove that $M_z$ is left-invertible if and only if $\{|{a_n}/{a_{n+1}}|\}_{n\geq 0}$ is bounded away from zero. We find that, unlike the case of weighted shifts, Shimorin's models for left-invertible operators fail to bring to the foreground the tridiagonal structure of shifts. In fact, the tridiagonal structure of a kernel $k$, as above, is preserved under Shimorin model if and only if $b_0=0$ or that $M_z$ is a weighted shift. We prove concrete classification results concerning invariance of tridiagonality of kernels, Shimorin models, and positive operators. We also develop a computational approach to Aluthge transforms of shifts. Curiously, in contrast to direct kernel space techniques, often Shimorin models fails to yield tridiagonal Aluthge transforms of shifts defined on tridiagonal spaces. △ Less

Submitted 11 April, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: heavily revised, title changed, 38 pages

MSC Class: 47B37; 47B49; 15B48; 46B99; 47N99; 65F55; 46A32; 65Z99; 47A05

Pairs of projections and commuting isometries

Authors: Sandipan De, Shankar. P, Jaydeb Sarkar, Sankar T. R

Abstract: It is known that the non-zero part of compact defect operators of Berger-Coburn-Lebow pairs (BCL pairs in short) of isometries are diagonal operators of the form \[ \begin{bmatrix} I_1 & & & \\ & D & & \\ & & - I_2 & \\ & & & - D \\ \end{bmatrix}, \] where $I_1$ and $I_2$ are the identity operators and $D$ is a positive contractive diagonal operator. We discuss the question of constructing an irre… ▽ More It is known that the non-zero part of compact defect operators of Berger-Coburn-Lebow pairs (BCL pairs in short) of isometries are diagonal operators of the form \[ \begin{bmatrix} I_1 & & & \\ & D & & \\ & & - I_2 & \\ & & & - D \\ \end{bmatrix}, \] where $I_1$ and $I_2$ are the identity operators and $D$ is a positive contractive diagonal operator. We discuss the question of constructing an irreducible BCL pair from a diagonal operator of the above type. The answer to this question is sometimes in the affirmative and sometimes in the negative. This also answers a part of the question raised by He, Qin, and Yang. Our explicit constructions of BCL pairs yield concrete examples of pairs of commuting isometries. △ Less

Submitted 19 April, 2022; v1 submitted 27 August, 2020; originally announced August 2020.

Comments: 28 pages, thoroughly revised. To appear in Journal of Operator Theory

MSC Class: 47A13; 47A65; 47B47; 15A15; 47B35; 47B07

Commuting row contractions with polynomial characteristic functions

Authors: Monojit Bhattacharjee, Kalpesh J. Haria, Jaydeb Sarkar

Abstract: A characteristic function is a special operator-valued analytic function defined on the open unit ball of $\mathbb{C}^n$ associated with an $n$-tuple of commuting row contraction on some Hilbert space. In this paper, we continue our study of the representations of $n$-tuples of commuting row contractions on Hilbert spaces, which have polynomial characteristic functions. Gleason's problem plays an… ▽ More A characteristic function is a special operator-valued analytic function defined on the open unit ball of $\mathbb{C}^n$ associated with an $n$-tuple of commuting row contraction on some Hilbert space. In this paper, we continue our study of the representations of $n$-tuples of commuting row contractions on Hilbert spaces, which have polynomial characteristic functions. Gleason's problem plays an important role in the representations of row contractions. We further complement the representations of our row contractions by proving theorems concerning factorizations of characteristic functions. We also emphasize the importance and the role of the noncommutative operator theory and noncommutative varieties to the classification problem of polynomial characteristic functions. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Comments: 26 pages

MSC Class: 47A45; 47A20; 47A48; 47A56

Beurling type invariant subspaces of composition operators

Authors: Snehasish Bose, P. Muthukumar, Jaydeb Sarkar

Abstract: Let $\mathbb{D}$ be the open unit disk in $\mathbb{C}$, let $H^2$ denote the Hardy space on $\mathbb{D}$ and let $\varphi : \mathbb{D} \rightarrow \mathbb{D}$ be a holomorphic self map of $\mathbb{D}$. The composition operator $C_{\varphi}$ on $H^2$ is defined by \[ (C_{\varphi} f)(z)=f(\varphi(z)) \quad \quad (f \in H^2,\, z \in \mathbb{D}). \] Denote by $\mathcal{S}(\mathbb{D})$ the set of all f… ▽ More Let $\mathbb{D}$ be the open unit disk in $\mathbb{C}$, let $H^2$ denote the Hardy space on $\mathbb{D}$ and let $\varphi : \mathbb{D} \rightarrow \mathbb{D}$ be a holomorphic self map of $\mathbb{D}$. The composition operator $C_{\varphi}$ on $H^2$ is defined by \[ (C_{\varphi} f)(z)=f(\varphi(z)) \quad \quad (f \in H^2,\, z \in \mathbb{D}). \] Denote by $\mathcal{S}(\mathbb{D})$ the set of all functions that are holomorphic and bounded by one in modulus on $\mathbb{D}$, that is \[ \mathcal{S}(\mathbb{D}) = \{ψ\in H^\infty(\mathbb{D}): \|ψ\|_{\infty} := \sup_{z \in \mathbb{D}} |ψ(z)| \leq 1\}. \] The elements of $\mathcal{S}(\mathbb{D})$ are called Schur functions. The aim of this paper is to answer the following question concerning invariant subspaces of composition operators: Characterize $\varphi$, holomorphic self maps of $\mathbb{D}$, and inner functions $θ\in H^\infty(\mathbb{D})$ such that the Beurling type invariant subspace $θH^2$ is an invariant subspace for $C_{\varphi}$. We prove the following result: $C_{\varphi} (θH^2) \subseteq θH^2$ if and only if \[ \frac{θ\circ \varphi}θ \in \mathcal{S}(\mathbb{D}). \] This classification also allows us to recover or improve some known results on Beurling type invariant subspaces of composition operators. △ Less

Submitted 27 August, 2020; v1 submitted 1 April, 2020; originally announced April 2020.

Comments: 13 pages, revised. To appear in Journal of Operator Theory

MSC Class: Primary: 47B33; Secondary: 30H10; 47B38; 30D55; 46E15; 47A15; 47B38; 46E22

Submodules in polydomains and noncommutative varieties

Authors: Susmita Das, Deepak Kumar Pradhan, Jaydeb Sarkar

Abstract: Tensor product of Fock spaces is analogous to the Hardy space over the unit polydisc. This plays an important role in the development of noncommutative operator theory and function theory in the sense of noncommutative polydomains and noncommutative varieties. In this paper we study joint invariant subspaces of tensor product of full Fock spaces and noncommutative varieties. We also obtain, in par… ▽ More Tensor product of Fock spaces is analogous to the Hardy space over the unit polydisc. This plays an important role in the development of noncommutative operator theory and function theory in the sense of noncommutative polydomains and noncommutative varieties. In this paper we study joint invariant subspaces of tensor product of full Fock spaces and noncommutative varieties. We also obtain, in particular, by using techniques of noncommutative varieties, a classification of joint invariant subspaces of $n$-fold tensor products of Drury-Arveson spaces. △ Less

Submitted 23 April, 2020; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: revised version, 27 pages

MSC Class: 47A15; 30H05; 32A10; 46L40; 46L06; 47A13

A subclass of the Cowen-Douglas class and similarity

Authors: Kui Ji, Hyun-Kyoung Kwon, Jaydeb Sarkar, Jing Xu

Abstract: We consider a subclass of the Cowen-Douglas class in which the problem of deciding whether two operators are similar becomes more manageable. A similarity criterion for Cowen-Douglas operators is known to be dependent on the trace of the curvatures of the corresponding eigenvector bundles. Unless the given eignvector bundle is a line bundle, the computation of the curvatures, in general, is not so… ▽ More We consider a subclass of the Cowen-Douglas class in which the problem of deciding whether two operators are similar becomes more manageable. A similarity criterion for Cowen-Douglas operators is known to be dependent on the trace of the curvatures of the corresponding eigenvector bundles. Unless the given eignvector bundle is a line bundle, the computation of the curvatures, in general, is not so simple as one might hope. By using a structure theorem given in \cite{JW}, we reduce the problem of finding the trace of the curvatures to looking at the curvatures of the associated line bundles. Moreover, several questions related to the similarity problem are also taken into account. △ Less

Submitted 25 March, 2021; v1 submitted 14 December, 2019; originally announced December 2019.

Comments: 23pages(to appear in Mathematische Nachrichten)

Factorizations of Schur functions

Authors: Ramlal Debnath, Jaydeb Sarkar

Abstract: The Schur class, denoted by $\mathcal{S}(\mathbb{D})$, is the set of all functions analytic and bounded by one in modulus in the open unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$, that is \[ \mathcal{S}(\mathbb{D}) = \{\varphi \in H^\infty(\mathbb{D}): \|\varphi\|_{\infty} := \sup_{z \in \mathbb{D}} |\varphi(z)| \leq 1\}. \] The elements of $\mathcal{S}(\mathbb{D})$ are called Schur fu… ▽ More The Schur class, denoted by $\mathcal{S}(\mathbb{D})$, is the set of all functions analytic and bounded by one in modulus in the open unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$, that is \[ \mathcal{S}(\mathbb{D}) = \{\varphi \in H^\infty(\mathbb{D}): \|\varphi\|_{\infty} := \sup_{z \in \mathbb{D}} |\varphi(z)| \leq 1\}. \] The elements of $\mathcal{S}(\mathbb{D})$ are called Schur functions. A classical result going back to I. Schur states: A function $\varphi: \mathbb{D} \rightarrow \mathbb{C}$ is in $\mathcal{S}(\mathbb{D})$ if and only if there exist a Hilbert space $\mathcal{H}$ and an isometry (known as colligation operator matrix or scattering operator matrix) \[ V = \begin{bmatrix} a & B \\ C & D \end{bmatrix} : \mathbb{C} \oplus \mathcal{H} \rightarrow \mathbb{C} \oplus \mathcal{H}, \] such that $\varphi$ admits a transfer function realization corresponding to $V$, that is \[ \varphi(z) = a + z B (I_{\mathcal{H}} - z D)^{-1} C \quad \quad (z \in \mathbb{D}). \] An analogous statement holds true for Schur functions on the bidisc. On the other hand, Schur-Agler class functions on the unit polydisc in $\mathbb{C}^n$ is a well-known "analogue" of Schur functions on $\mathbb{D}$. In this paper, we present algorithms to factorize Schur functions and Schur-Agler class functions in terms of colligation matrices. More precisely, we isolate checkable conditions on colligation matrices that ensure the existence of Schur (Schur-Agler class) factors of a Schur (Schur-Agler class) function and vice versa. △ Less

Submitted 4 March, 2021; v1 submitted 5 August, 2019; originally announced August 2019.

Comments: 27 pages, revised and compressed. To appear in Complex Analysis and Operator Theory

MSC Class: 32A10; 32A70; 47A48; 47A13; 46E15; 93B15; 15.40; 15A23; 93C35; 32A38; 30H05; 47N70; 93B28; 94A12

Commutant lifting and Nevanlinna-Pick interpolation in several variables

Authors: Deepak K. D., Deepak Pradhan, Jaydeb Sarkar, Dan Timotin

Abstract: This paper concerns a commutant lifting theorem and a Nevanlinna-Pick type interpolation result in the setting of multipliers from vector-valued Drury-Arveson space to a large class of vector-valued reproducing kernel Hilbert spaces over the unit ball in $\mathbb{C}^n$. The special case of reproducing kernel Hilbert spaces includes all natural examples of Hilbert spaces like Hardy space, Bergman s… ▽ More This paper concerns a commutant lifting theorem and a Nevanlinna-Pick type interpolation result in the setting of multipliers from vector-valued Drury-Arveson space to a large class of vector-valued reproducing kernel Hilbert spaces over the unit ball in $\mathbb{C}^n$. The special case of reproducing kernel Hilbert spaces includes all natural examples of Hilbert spaces like Hardy space, Bergman space and weighted Bergman spaces over the unit ball. △ Less

Submitted 2 December, 2019; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: 13 pages, revised version

MSC Class: 30E05; 47A13; 47A20; 34L25; 47B32; 47B35; 32A35; 32A36; 32A38

Hypercontractions and factorizations of multipliers in one and several variables

Authors: Monojit Bhattacharjee, B. Krishna Das, Jaydeb Sarkar

Abstract: We introduce the notion of characteristic functions for commuting tuples of hypercontractions on Hilbert spaces, as a generalization of the notion of Sz.-Nagy and Foias characteristic functions of contractions. We present an explicit method to compute characteristic functions of hypercontractions and relate characteristic functions by means of the factors of Schur-Agler class of functions and univ… ▽ More We introduce the notion of characteristic functions for commuting tuples of hypercontractions on Hilbert spaces, as a generalization of the notion of Sz.-Nagy and Foias characteristic functions of contractions. We present an explicit method to compute characteristic functions of hypercontractions and relate characteristic functions by means of the factors of Schur-Agler class of functions and universal multipliers on the unit ball in $\mathbb{C}^n$. We also offer some factorization properties of multipliers. Characteristic functions of hypercontrctions are complete unitary invariant. The Drury-Arveson space and the weighted Bergman spaces on the unit ball continues to play a significant role in our consideration. Our results are new even in the special case of single hypercontractions. △ Less

Submitted 20 May, 2019; v1 submitted 19 December, 2018; originally announced December 2018.

Comments: 31 pages, revised and expanded version

MSC Class: 47A13; 47A20; 47A45; 47A48; 47A56; 46E22; 47B32; 32A35; 32A36; 32A70

Multiplicities, invariant subspaces and an additive formula

Authors: Arup Chattopadhyay, Jaydeb Sarkar, Srijan Sarkar

Abstract: Let $T = (T_1, \ldots, T_n)$ be a commuting tuple of bounded linear operators on a Hilbert space $\mathcal{H}$. The multiplicity of $T$ is the cardinality of a minimal generating set with respect to $T$. In this paper, we establish an additive formula for multiplicities of a class of commuting tuples of operators. A special case of the main result states the following: Let $n \geq 2$, and let… ▽ More Let $T = (T_1, \ldots, T_n)$ be a commuting tuple of bounded linear operators on a Hilbert space $\mathcal{H}$. The multiplicity of $T$ is the cardinality of a minimal generating set with respect to $T$. In this paper, we establish an additive formula for multiplicities of a class of commuting tuples of operators. A special case of the main result states the following: Let $n \geq 2$, and let $\mathcal{Q}_i$, $i = 1, \ldots, n$, be a proper closed shift co-invariant subspaces of the Dirichlet space or the Hardy space over the unit disc in $\mathbb{C}$. If $\mathcal{Q}_i^{\bot}$, $i = 1, \ldots, n$, is a zero-based shift invariant subspace, then the multiplicity of the joint $M_{\boldsymbol{z}} = (M_{z_1}, \ldots, M_{z_n})$-invariant subspace $(\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^\perp$ of the Dirichlet space or the Hardy space over the unit polydisc in $\mathbb{C}^n$ is given by \[ \mbox{mult}_{M_{\boldsymbol z}|_{ (\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^\perp}} (\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^\perp = \sum_{i=1}^n (\mbox{mult}_{M_z|_{\mathcal{Q}_i^\perp}} (\mathcal{Q}_i^{\bot})) = n. \] A similar result holds for the Bergman space over the unit polydisc. △ Less

Submitted 24 September, 2019; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: Modified and corrected version

MSC Class: 47A13; 47A15; 47A16; 47M05; 46C99; 32A70

Journal ref: Proceedings of the Edinburgh Mathematical Society 64 (2021) 279-297

Linear dynamics in reproducing kernel Hilbert spaces

Authors: Aneesh Mundayadan, Jaydeb Sarkar

Abstract: Complementing earlier results on dynamics of unilateral weighted shifts, we obtain a sufficient (but not necessary, with supporting examples) condition for hypercyclicity, mixing and chaos for $M_z^*$, the adjoint of $M_z$, on vector-valued analytic reproducing kernel Hilbert spaces $\mathcal{H}$ in terms of the derivatives of kernel functions on the open unit disc $\mathbb{D}$ in $\mathbb{C}$. He… ▽ More Complementing earlier results on dynamics of unilateral weighted shifts, we obtain a sufficient (but not necessary, with supporting examples) condition for hypercyclicity, mixing and chaos for $M_z^*$, the adjoint of $M_z$, on vector-valued analytic reproducing kernel Hilbert spaces $\mathcal{H}$ in terms of the derivatives of kernel functions on the open unit disc $\mathbb{D}$ in $\mathbb{C}$. Here $M_z$ denotes the multiplication operator by the coordinate function $z$, that is \[ (M_z f) (w) = w f(w), \] for all $f \in \mathcal{H}$ and $w \in \mathbb{D}$. We analyze the special case of quasi-scalar reproducing kernel Hilbert spaces. We also present a complete characterization of hypercyclicity of $M_z^*$ on tridiagonal reproducing kernel Hilbert spaces and some special classes of vector-valued analytic reproducing kernel Hilbert spaces. △ Less

Submitted 6 May, 2019; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: 23 pages. Enlarged, corrected and revised. To appear in Bulletin des Sciences Mathematiques

MSC Class: 47A16; 46E22; 32K05; 47B32; 47B37; 37A99

Isometric dilations and von Neumann inequality for finite rank commuting contractions

Authors: Sibaprasad Barik, B. Krishna Das, Jaydeb Sarkar

Abstract: Motivated by Ball, Li, Timotin and Trent's Schur-Agler class version of commutant lifting theorem, we introduce a class, denoted by $\mathcal{P}_n(\mathcal{H})$, of $n$-tuples of commuting contractions on a Hilbert space $\mathcal{H}$. We always assume that $n \geq 3$. The importance of this class of $n$-tuples stems from the fact that the von Neumann inequality or the existence of isometric dilat… ▽ More Motivated by Ball, Li, Timotin and Trent's Schur-Agler class version of commutant lifting theorem, we introduce a class, denoted by $\mathcal{P}_n(\mathcal{H})$, of $n$-tuples of commuting contractions on a Hilbert space $\mathcal{H}$. We always assume that $n \geq 3$. The importance of this class of $n$-tuples stems from the fact that the von Neumann inequality or the existence of isometric dilation does not hold in general for $n$-tuples, $n \geq 3$, of commuting contractions on Hilbert spaces (even in the level of finite dimensional Hilbert spaces). Under some rank-finiteness assumptions, we prove that tuples in $\mathcal{P}_n(\mathcal{H})$ always admit explicit isometric dilations and satisfy a refined von Neumann inequality in terms of algebraic varieties in the closure of the unit polydisc in $\mathbb{C}^n$. △ Less

Submitted 5 April, 2020; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: 21 pages, thoroughly revised and corrected

MSC Class: 47A13; 47A20; 47A56; 47B38; 14M99; 46E20; 30H10

Contractively embedded invariant subspaces

Authors: Sushil Gorai, Jaydeb Sarkar

Abstract: This paper focuses on representations of contractively embedded invariant subspaces in several variables. We present a version of the de Branges theorem for $n$-tuples of multiplication operators by the coordinate functions on analytic reproducing kernel Hilbert spaces over the unit ball $\mathbb{B}^n$ and the Hardy space over the unit polydics $\mathbb{D}^n$ in $\mathbb{C}^n$. This paper focuses on representations of contractively embedded invariant subspaces in several variables. We present a version of the de Branges theorem for $n$-tuples of multiplication operators by the coordinate functions on analytic reproducing kernel Hilbert spaces over the unit ball $\mathbb{B}^n$ and the Hardy space over the unit polydics $\mathbb{D}^n$ in $\mathbb{C}^n$. △ Less

Submitted 24 March, 2018; originally announced March 2018.

Comments: 14 pages. To appear in Operator Theory Advances and Applications (Special volume honoring Joe Ball)

MSC Class: 46C07; 46E22; 47A13; 47A15; 47B32

On certain commuting isometries, joint invariant subspaces and C*-algebras

Authors: B. Krishna Das, Ramlal Debnath, Jaydeb Sarkar

Abstract: In this paper, motivated by the Berger, Coburn and Lebow and Bercovici, Douglas and Foias theory for tuples of commuting isometries, we study analytic representations and joint invariant subspaces of a class of commuting $n$-isometries and prove that the $C^*$-algebra generated by the $n$-shift restricted to an invariant subspace of finite codimension in $H^2(\mathbb{D}^n)$ is unitarily equivalent… ▽ More In this paper, motivated by the Berger, Coburn and Lebow and Bercovici, Douglas and Foias theory for tuples of commuting isometries, we study analytic representations and joint invariant subspaces of a class of commuting $n$-isometries and prove that the $C^*$-algebra generated by the $n$-shift restricted to an invariant subspace of finite codimension in $H^2(\mathbb{D}^n)$ is unitarily equivalent to the $C^*$-algebra generated by the $n$-shift on $H^2(\mathbb{D}^n)$. △ Less

Submitted 27 August, 2019; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 19 pages, new section and new title

MSC Class: 47A05; 47A13; 47A20; 47A45; 47B35; 47A65; 46E22; 46E40; 47C15; 47L80

Characterization of Invariant subspaces in the polydisc

Authors: Amit Maji, Aneesh Mundayadan, Jaydeb Sarkar, Sankar T. R

Abstract: We give a complete characterization of invariant subspaces for $(M_{z_1}, \ldots, M_{z_n})$ on the Hardy space $H^2(\mathbb{D}^n)$ over the unit polydisc $\mathbb{D}^n$ in $\mathbb{C}^n$, $n >1$. In particular, this yields a complete set of unitary invariants for invariant subspaces for $(M_{z_1}, \ldots, M_{z_n})$ on $H^2(\mathbb{D}^n)$, $n > 1$. As a consequence, we classify a large class of… ▽ More We give a complete characterization of invariant subspaces for $(M_{z_1}, \ldots, M_{z_n})$ on the Hardy space $H^2(\mathbb{D}^n)$ over the unit polydisc $\mathbb{D}^n$ in $\mathbb{C}^n$, $n >1$. In particular, this yields a complete set of unitary invariants for invariant subspaces for $(M_{z_1}, \ldots, M_{z_n})$ on $H^2(\mathbb{D}^n)$, $n > 1$. As a consequence, we classify a large class of $n$-tuples, $n > 1$, of commuting isometries. All of our results hold for vector-valued Hardy spaces over $\mathbb{D}^n$, $n > 1$. Our invariant subspace theorem solves the well-known open problem on characterizations of invariant subspaces of the Hardy space over the unit polydisc. △ Less

Submitted 9 November, 2017; v1 submitted 26 October, 2017; originally announced October 2017.

Comments: 23 pages, revised

MSC Class: 47A15; 47A13; 47A80; 30H10; 30H05; 32A10; 32A70; 46E22; 47B32