Weakly concave operators

We study a class of left-invertible operators which we call weakly concave operators. It includes the class of concave operators and some subclasses of expansive strict $m$-isometries with $m > 2$. We prove a Wold-type decomposition for weakly concave operators. We also obtain a Berger–Shaw-type theorem for analytic finitely cyclic weakly concave operators. The proofs of these results rely heavily on a spectral dichotomy for left-invertible operators. It provides a fairly close relationship, written in terms of the reciprocal automorphism of the Riemann sphere, between the spectra of a left-invertible operator and any of its left inverses. We further place the class of weakly concave operators, as the term $\mathcal {A}_1$, in the chain $\mathcal {A}_0 \subseteq \mathcal {A}_1 \subseteq \ldots \subseteq \mathcal {A}_{\infty }$ of collections of left-invertible operators. We show that most of the aforementioned results can be proved for members of these classes. Subtleties arise depending on whether the index $k$ of the class $\mathcal {A}_k$ is finite or not. In particular, a Berger–Shaw-type theorem fails to be true for members of $\mathcal {A}_{\infty }$. This discrepancy is better revealed in the context of $C^*$- and $W^*$-algebras.


Introduction
Denote by Z + , Z and R the sets of non-negative integers, integers and real numbers, respectively.For a subset Ω of the complex plane C, let ∂Ω, Ω and C \ Ω stand for the boundary, the closure and the complement of Ω in C, respectively.For a complex number z, the conjugate and the absolute value of z is denoted by z and |z|, respectively.Write Ω * for the set {z : z ∈ Ω}.For a positive real number r, D r stands for the open disc {z ∈ C : |z| < r}.Set D := D 1 .For positive real numbers r and R with r < R, denote by A(r, R) the annulus {z ∈ C : r < |z| < R}.Write R[x] for the ring of polynomials in one real variable x with real coefficients.
Unless otherwise stated, all Hilbert spaces appearing below are complex.Let H denote a Hilbert space and let B(H) stand for the unital C * -algebra of bounded linear operators on H with the identity operator I as the unit.We write ker T and R(T ) for the kernel and the range of an operator T ∈ B(H).The symbol |T | denotes the positive square root (T * T ) 1/2 of T * T .The approximate point spectrum σ ap (T ) of T is the set of those λ in C for which T −λI is not bounded below, and the spectrum σ(T ) is the complement of the set of those λ in C for which (T − λI) −1 exists as a bounded linear operator on H.The spectral radius r(T ) of T is given by r(T ) = sup{|λ| : λ ∈ σ(T )}.It turns out that σ(T ) is a nonempty compact subset of C (provided H = {0}), and hence r(T ) is finite (see [39,Theorem 2.2.9]).By the inner radius i(T ) of T , we understand i(T ) := lim n→∞ inf x =1 T n x 1/n . (1.1) It turns out that i(T ) r(T ), and hence i(T ) is finite.Moreover, by [37,Proposition 13], we have σ ap (T ) ⊆ {λ ∈ C : i(T ) |λ| r(T )}.
An operator T in B(H) is left-invertible if there exists L ∈ B(H) (a leftinverse of T ) such that LT = I.Note that T is left-invertible if and only if 0 / ∈ σ ap (T ), or equivalently if and only if T * T is invertible (as a member of B(H)).Following [35], we call the operator T ′ := T (T * T ) −1 the Cauchy dual of T whenever T is left-invertible.The Cauchy dual operator provides a canonical choice of a left-inverse L := T ′ * for any left-invertible operator T. We refer the reader to [35] for the role that the Cauchy dual operator played in the solution of the wandering subspace problem for the Bergman shift.Straightforward computations yield the following properties of the Cauchy dual, where in general P M denotes the orthogonal projection of H onto a closed vector subspace M of H.The left spectrum σ l (T ) of T ∈ B(H) is defined as the set of those λ in C for which T − λI is not left-invertible.Similarly, one can define the right-invertible operator and the right spectrum σ r (T ) of T. It is easy to see that σ l (T ) = σ ap (T ) = {λ ∈ C : λ ∈ σ r (T * )}.
We say that T is Fredholm if R(T ) is closed and both dim ker T and dim ker T * are finite, where dim stands for the Hilbert space dimension.The essential spectrum σ e (T ) of T is the complement of the set of those λ ∈ C for which T − λI is Fredholm.The Fredholm index ind T : C \ σ e (T ) → Z is given by ind T (λ) := dim ker(T − λI) − dim ker(T * − λI), λ ∈ C \ σ e (T ).
An operator T in B(H) is of trace class if T 1,E := ∞ n=0 |T |e n , e n is finite for every choice of an orthonormal basis E = {e n } n∈Z + of H.The number T 1,E turns out to be independent of the choice of an orthonormal basis E of H and is denoted by T 1 ; it is called the trace norm of T. In case T is of trace class, the trace of T given by tr(T ) = ∞ n=0 T e n , e n is a finite number.Again, it is independent of the choice of an orthonormal basis E of H (see [39] for more details on trace class operators).
An operator T in B(H) is said to be finitely cyclic if there is a finite dimensional vector subspace M of H, called a cyclic space of T , such that The following fact is well known (see [22,Proposition 1(i)] and [5,Lemma 3.6]).
If T ∈ B(H) is finitely cyclic, then ker(T * − λI) is finite dimensional for every λ ∈ C. (1.2) Note that an analytic operator on a non-zero Hilbert space is never invertible.We say that T ∈ B(H) has the wandering subspace property if Recall that an operator T ∈ B(H) is said to be completely non-unitary (resp., completely non-normal) if there is no nonzero closed subspace of H reducing T to a unitary (resp., normal) operator.The following fact is easy to verify.
If T ∈ B(H) has the wandering subspace property, then T is completely non-unitary. (1.3) Denote by [A, B] the commutator AB − BA of A, B ∈ B(H).An operator T ∈ B(H) is said to be hyponormal if the self-commutator [T * , T ] of T is positive.We say that T is cohyponormal if T * is hyponormal.The reader is referred to [18, Chapter IV] and [28,Chapter 1] for the fundamentals of the theory of hyponormal operators including the statements of Berger-Shaw Theorem and Putnam's inequality.Given a positive integer m and T ∈ B(H), we set We say that T is a contraction (resp.an expansion) if B 1 (T ) 0 (resp., B 1 (T ) 0).An operator T is an isometry if B 1 (T ) = 0.For an integer m 2, an operator T ∈ B(H) is said to be an m-isometry (resp.an mexpansion) if B m (T ) = 0 (resp.B m (T ) 0).By a strict m-isometry, we understand an m-isometry which is not an (m − 1)-isometry (or not an isometry if m = 2).A 2-expansion is sometimes called a concave operator.It is well known that any concave operator is expansive (see [31,Lemma 1]).Furthermore, the approximate point spectrum of any m-isometry and any concave operator is contained in the unit circle ∂D (see [3,Lemma 1.21], [26,Lemma 3.1] and [31,Lemma 1]).In particular, the Cauchy dual operator of an m-isometry or a concave operator is well defined.
The following theorem, which is one of the main results of this paper, generalizes [35, Theorem 3.6(A)] (for the notion of weak concavity, see Definition 2.1).Theorem 1.2.Suppose that T ∈ B(H) is a weakly concave operator.Let H u and H ′ u denote the closed vector subspaces of H given by where U ∈ B(H ′ u ) is unitary and S ∈ B((H ′ u ) ⊥ ) has the wandering subspace property.
In general, the Wold-type decomposition obtained in Theorem 1.2 is weaker than Shimorin's one in the sense that the operator S in the decomposition (1.5) of T may not be analytic.However, in the case where T is concave, it can be seen that H ′ u = H u , which allows us to recover [35, Theorem 3.6(A)] (see Corollary 5.1).The proof of Theorem 1.2 is based on the circle of ideas developed by Shimorin in [35] together with the spectral dichotomy principle, which is given in Section 4. We also prove the following Berger-Shaw-type theorem together with the Carey-Pincus trace formula for analytic finitely cyclic weakly concave operators (cf.[18, Theorem 2.1, p. 152] and [12,Proposition 2.21]).
Theorem 1.3.Suppose that T ∈ B(H) is an analytic finitely cyclic weakly concave operator.Then T and T ′ have trace class self-commutators.Moreover, for any complex polynomials p, q in two complex variables z and z, where dA denotes the Lebesgue planar measure.
The proofs of Theorems 1.2 and 1.3 will be given in Section 5. Further, the Pincus principal function of T ′ is equal to − dim ker T * times the characteristic function of the open unit disk (see (5.8)).The reader is referred to [11] for the definition of the Pincus principal function.♦ The paper is organized as follows.In Section 2, we formally introduce the class of weakly concave operators.In particular, we discuss their elementary properties, including their relation to the theory of hyponormal operators.In Section 3, we provide examples of 3-isometric weakly concave operators which are not concave (see Example 3.5).In Section 4, we establish the spectral dichotomy principle for left-invertible operators (see Theorem 4.1).This principle is a key component of the proofs of Theorems 1.2 and 1.3 (see Section 5).Both theorems are generalized in Section 6 to the case of operators of class A k , where k ∈ Z + ∪ {∞} (see Theorems 6.2 and 6.4).If the underlying Hilbert space is infinite dimensional, then the class A 0 is larger than the class of concave operators, the class A 1 consists precisely of weakly concave operators and the sequence {A k } ∞ k=0 is strictly increasing (see Example 6.7).In Section 7, we present necessary and sufficient conditions for some restrictions of the Cauchy dual operator of a left-invertible operator to be hyponormal (see Propositions 7.2 and 7.7).The last section is devoted to C * -and W * -algebraic analogues of the classes A k .

An invitation to weakly concave operators
It is well known that any concave operator admits a Wold-type decomposition (see [35,Theorem 3.6]).Since concave m-isometries are necessarily 2-isometries (see [14,Proposition 4.9]), the above result is insufficient to obtain a Wold-type decomposition for concave strict m-isometries if m > 2. As a first step towards obtaining the Wold-type decomposition for expansive m-isometries, we consider a class of operators containing concave operators and some strict m-isometries with m > 2. Furthermore, in view of the fact that the Cauchy dual of an expansive m-isometry is not necessarily hyponormal (in contrast to the case of concave operators, see [36, p. 294] or [12, Theorem 2.9]), it is natural to search for a class of left-invertible operators satisfying a hyponormality-like condition.This motivates us to define the following notion, which is central to the present article.Definition 2.1.A left-invertible operator T ∈ B(H) is said to be weakly concave if it satisfies the following conditions: where • ′ is the norm on H given by x ′ := T ′ x for x ∈ H and T ′ denotes the Cauchy dual of T .
Remark 2.2.In view of [26,Lemma 3.1] and the inclusion ∂σ(T ) ⊆ σ ap (T ) (see [17,Proposition VII.6.7]), it is easy to see that, under the assumption (2.2), the condition (2.1) is equivalent to σ(T ) ⊆ D (and to r(T ) 1). ♦ According to [31, Lemma 1] and Remark 2.2, concave operators satisfy the conditions (2.1) and (2.2).Hence, trying to generalize the concept of concavity, we included them in Definition 2.1.Moreover, since the concavity is antithetical to the hyponormality (see [12, p. 646]), it is reasonable to expect that the third condition (2.3), resembling the hyponormality, may yield some kind of concavity.Although at first glance it is unclear why we use the term "weakly concave", the following theorem sheds more light on this by connecting, via Cauchy dual, the theory of weakly concave operators with the theory of hyponormal operators.Proposition 2.3.Let T ∈ B(H) be a left-invertible operator.Then the following conditions are equivalent: iv) the restriction of T ′ to its range is hyponormal.In particular, any concave operator is weakly concave.
Proof.That the conditions (i)-(iii) are equivalent is immediate from the following identities (see Proposition 1.1): (2.4) To see that the conditions (i) and (iv) are equivalent, note that Using (2.4) and the equalities ( The above inequality coincides with (2.3).This shows that the conditions (i)-(iv) are equivalent.
To show the remaining part, recall that any concave operator satisfies (2.1) and (2.2).Since the Cauchy dual of a concave operator is hyponormal (see [36, p. 294]) and the restriction of a hyponormal operator to its closed invariant subspace is hyponormal (see [18,Proposition II.4.4]), an application of the implication (iv)⇒(i) completes the proof.
Our next goal is to show that the only invertible weakly concave operators are unitary operators (cf.Corollary 2.5).In fact, this is a consequence of a much more general fact proved below.Proposition 2.4.Let T ∈ B(H) satisfy (2.1) and let T ′ | H ′ u be hyponormal, where Then the following statements are valid: Noting that the invertibility of T implies the invertibility of T ′ , we deduce that H ′ u = H.From the assumption that T ′ | H ′ u is hyponormal, we see that T ′ is hyponormal.However, by invertibility of T , T ′ = T * −1 , which by [18,Proposition II.4.4] implies that T * is hyponormal.Hence, by (2.5) and the second corollary on [40, Pg 473], T is unitary.
(ii) Assume now that T is analytic.Suppose to the contrary that T has a non-zero normal direct summand, say N .Then by (2.1), we have Hence, N is unitary.This contradicts the fact that every analytic operator is completely non-unitary.
The following corollary is immediate from Propositions 2.3 and 2. (i) T is unitary if T is invertible, (ii) T is completely non-normal if T is analytic.

Examples
In this section, we show that there are weakly concave operators which are not concave (see Example 3.5 below).This is done by means of unilateral weighted shifts.Recall that for a bounded sequence {w n } ∞ n=0 of positive real numbers, there exists a unique operator W ∈ B(ℓ 2 ) (called a unilateral weighted shift with weight sequence {w n } ∞ n=0 ) such that W e n := w n e n+1 , n ∈ Z + , where {e n } ∞ n=0 stands for the standard orthonormal basis of ℓ 2 , the Hilbert space of square summable complex sequences indexed by Z + .Note that W is always analytic.Before providing the aforementioned example, we need some auxiliary results.We begin by characterizing those unilateral weighted shifts whose given power is left-invertible and satisfies the condition (2.3).
w n+j e n , n ∈ Z + , we deduce that Clearly  [6,Lemma 3.1] by applying the fact that the (entry-wise) product of Hausdorff moment sequences is a Hausdorff moment sequence (see [7, p. 179]; see also [7,Subsection 6.2.4] for the definition of the Hausdorff moment sequence) and by using the fundamental theorem of algebra (see [23,Theorem V.3.19]).Proposition 3.2.Suppose that p is a polynomial in one real variable which has only negative real roots and whose leading coefficient is positive.Then p(n) > 0 for all n ∈ Z + and {1/p(n)} ∞ n=0 is a Hausdorff moment sequence.
The following characterization of weakly concave m-isometric unilateral weighted shifts is of independent interest.Proposition 3.3.Suppose that W is a unilateral weighted shift with weight sequence {w n } ∞ n=0 and m 2. Then the following statements are equivalent: Finally, if p is as in Proposition 3.2, then {1/p(n)} ∞ n=0 is a Hausdorff moment sequence which as such is monotonically decreasing and logarithmically convex (the former is equivalent to (3.4), while the latter implies (3.5)).
We also need the following fact, which was proved for finite systems of operators in [14].For the reader's convenience, we give its short proof below.This result is a generalization of [38,Proposition 3.6(ii)].Proposition 3.4 ([14, Proposition 4.9]).Suppose that T ∈ B(H) is a concave m-isometry for some m 2. Then T is a 2-isometry.
By [3, p. 389] (see also [25,Theorem 3.3]), for every h ∈ H the expression T n h 2 is a polynomial in 1 n of degree at most m − 1.Combined with (3.6), this implies that m 2, which completes the proof.
We are now ready to construct a class of strict 3-isometric weakly concave operators.Note that such operators cannot be concave which is immediate from Proposition 3.4.
Since p is of degree 2 and p(n) > 0 for all n ∈ Z + , the unilateral weighted shift 1 i.e., there exists a polynomial p ∈ C[z] such that p(n) = T n h 2 for all n ∈ Z+.
W with weight sequence {w n } ∞ n=0 defined by (3.3) is a 3-isometry (see [1, Theorem 2.1] and [25,Proposition A.2]).Note that Straightforward computations show that Combined with (3.7) and Proposition 3.3, this implies that W is weakly concave if and only if Since the second inequality in (3.8) is equivalent to we deduce that if u 0 and v 2 7/2, then W is weakly concave.Assume now that u − 1 2 .Although, in view of (3.8), W need not be weakly concave, quite surprisingly, W k turns out to be weakly concave for sufficiently large k.To see this, we can argue as follows.By (3.7), W is expansive.Since W is a 3-isometry, it follows from [24, Theorem 2.3] that for every integer k 1, W k is an expansive 3-isometry, and so by [3, Lemma 1.21], T = W k satisfies (2.1) and (2.2).Observe that the second inequality in the condition (ii) of Proposition 3.1 holds if and only if Straightforward computations show that Now if k is any positive integer such that k 2 2v 2 , then the above inequality holds, and so p satisfies (3.9).Summarizing, if u − 1 2 and k √ 2|v|, then by Proposition 3.1, W k is a weakly concave 3-isometry.Note that if k is any positive integer, then W k is not a 2-isometry.This follows from [25,Theorem 3.3] by observing that the identity implies that the expression (W k ) n e 0 2 is a polynomial in n of degree 2 (see footnote 1).Hence, by Proposition 3.4, W k is not concave for any positive integer k. ♦

A spectral dichotomy
Recall the well-known fact that the spectra of an invertible operator T ∈ B(H) and its inverse T −1 ∈ B(H) are related to each other and the correspondence is given by where φ(λ) = 1/λ is an automorphism of the punctured plane C • := C\{0} (see [39,Theorem 2.3.2] for the general version of the spectral mapping theorem).A question worth considering in the context of the present paper is to find the counterpart of this simple fact for left-invertible operators T .
More specifically, if L is a left-inverse of T , then what is the relationship between the spectra of T and L. The purpose of this section is largely to answer this question.It is worth noting that among the left inverses of a left-invertible operator T there exist such as T ′ * , where T ′ is the Cauchy dual of T (see [30,Proposition 5.1] for concrete examples).Before stating the main result of this section, observe that if according as 0 ∈ σ(T ) or 0 / ∈ σ(T ) (see Fig. 1).In any case, 0 / ∈ ∂σ(L) and Proof.We begin by noting that Second, there is no loss of generality in assuming that 0 ∈ σ(T ) (because otherwise L = T −1 , and so we can use (4.1) to get φ(σ(L)) = σ(T )).Thus, by (4.2), L is not invertible.Since T is left-invertible, T is not right-invertible.
Proof.By Theorem 4.1, 0 / ∈ ∂σ(L) and so r(L) > 0. According to the definition of the spectral radius, D 1/r(L) ∩ φ(σ(L)) = ∅, and thus the desired dichotomy is immediate from Theorem 4.1.The inequality r(T )r(L) 1 follows from (4.12).Remark 4.3.Since L n T n = I holds for any positive integer n, one may derive r(T )r(L) 1 also from the Gelfand spectral radius formula.♦ Note that if T ∈ B(H) is a left-invertible operator, then by Theorem 4.1 applied to the left-inverse L = T ′ * of T , we get In general, the above inclusion is strict.We discuss this in more detail in the context of unilateral weighted shifts.
Example 4.4.Let W ∈ B(ℓ 2 ) be a left-invertible unilateral weighted shift with positive weights {w n } ∞ n=0 .Then W ′ , the Cauchy dual of W, is a leftinvertible unilateral weighted shift with weights {w −1 n } ∞ n=0 .As a consequence of [32,Theorem 6] and [37, Theorem 4], we get and 0 ∈ σ(W ), we deduce from (4.14) that the condition (4.13) takes the following form If we assume that equality holds in the above inclusion, then 1 r(W ′ ) = i(W ), which is not true in general (see e.g., [15,Example 2], where r(W ′ ) = 2 and i(W ) 2 −3/4 ).♦ We conclude this section with some applications of Theorem 4.1 to the theory of Cauchy dual operators.
Corollary 4.5.Let T ∈ B(H) be a left-invertible operator such that 0 ∈ σ(T ) and let T ′ be the Cauchy dual of T. Then the following assertions hold: This combined with Theorem 4.1 yields which justifies (i).
(ii) Assume now that T 1 and σ r (T ′ ) ⊆ D. Then using (i) and the well-known fact that the spectral radius of a bounded linear operator is at most its operator norm, we get Since σ r (T ) and σ(T ) are closed subsets of C, the proof is complete.Remark 4.6.It is well known and easy to prove that the Cauchy dual T ′ of T is left-invertible and (T ′ ) ′ = T.This together with (4.2) implies that 0 ∈ σ(T ) if and only if 0 ∈ σ(T ′ ).In particular, the roles of T and T ′ in Corollary 4.5 can be interchanged.♦ A solution of the wandering subspace problem for concave operators given by Richter in [31] can also be obtained from the computations of the spectra of the Cauchy dual operators (see [12,Lemma 2.14]).In turn, these computations can be derived from the Bunce result (see [18, Chapter II, §12]) on the existence of a rich supply of non-zero * -homomorphisms of the C * -algebra generated by a hyponormal operator (see the proof of [12,Lemma 2.14]).Interestingly, the following fact, which plays an important role in the proofs of Theorems 1.2 and 1.3, and which generalizes [12, Lemma 2.14(ii)], can be deduced from the spectral dichotomy.
Corollary 4.7.Let T ∈ B(H) be a non-invertible expansion such that σ ap (T ) ⊆ ∂D and let T ′ be the Cauchy dual of T. Then Proof.Recall the fact that for Hilbert space operators, left spectrum and approximate point spectrum coincide.Note that T ′ is a contraction because T is an expansion.Further, since T is not invertible, T ′ is not invertible.Also, because the boundary of the spectrum is contained in the approximate point spectrum and 0 ∈ σ(T ), we infer from σ ap (T ) ⊆ ∂D that σ(T ) = D and σ ap (T ) = ∂D.By applying Corollary 4.5(ii) to T ′ , we obtain σ(T ′ ) = D and ∂D ⊆ σ ap (T ′ ) (see Remark 4.6).An application of Corollary 4.5(i) to and hence σ ap (T ′ ) = ∂D.This completes the proof.

Proofs of Theorems 1.2 and 1.3
The proof of Theorem 1.2 is based on a technique developed in [35].
Since T | H ′ u is unitary, we conclude that T | H⊖H ′ u has the wandering subspace property.This completes the proof.
where H u is as in (1.4).
Proof.It follows from [35,Proposition 3.4] that H u reduces T to a unitary operator, so by (1.3) and Theorem 1.2 we conclude that H u = H ′ u , which completes the proof.This completes the proof.
Proof of Theorem 1.3.By (1.2), ker T * is finite dimensional.Combined with [35, Proposition 2.7(ii)] and the hypothesis that T is analytic, this implies that T ′ is finitely cyclic with the cyclic space ker T * .Moreover, since the range of T ′ is closed, we have where P denotes the orthogonal projection of H onto ker A * , and using the fact that the set of trace class operators is an ideal (see [39, Theorem 3.6.6]),we deduce that T has a trace class self-commutator.To prove the "moreover" part we proceed as follows.First, we show that σ(S) = D and σ e (S) = σ ap (S) = ∂D for S ∈ {T, T ′ }. (5.6) Since T is analytic, we see that 0 ∈ σ(T ).In view of the above discussion, T and T ′ are finitely cyclic.Let S be any of the operators T or T ′ .It follows from Corollary 4.7 and Lemma 5.3 that σ(S) = D and σ e (S) ⊆ σ ap (S) = ∂D.However, if λ ∈ ∂D = ∂σ(S), then by [17, Theorem XI.6.8]either λ is an isolated point of σ(S) (which is not the case) or λ ∈ σ e (S), meaning that ∂D ⊆ σ e (S).Putting all this together, we conclude that σ e (S) = σ ap (S) = ∂D, which completes the proof of (5.6).
Next, applying (5.6) and the fact that ind S (•) is constant on connected components of C\σ e (S) (use [17, Corollary XI.3.13]),we deduce that ind T (λ) = ind T (0) ( where χ D stands for the characteristic function of D. Since the Carey-Pincus trace formula for polynomials in S and S * is valid for completely non-normal operators S with a trace class self-commutator (see [11,Theorem 5.1]; see also [21,Theorem,p. 148]), the proof is complete.
Remark 5.4.Let us mention that the identity σ e (S) = ∂D which appears in (5.6) can be proved without using [17, Theorem XI.6.8].Indeed, as in the proof of (5.6), we see that σ e (S) ⊆ σ ap (S) = ∂D, where S ∈ {T, T ′ }.Suppose, to the contrary, that σ e (S) is a proper subset of ∂D.Then where Ω is the connected component of C\σ e (S).Since ind S (•) is constant on connected components of C \ σ e (S) and, by Corollary 4.7(i), ind S (λ) = 0 whenever λ ∈ C \ D, we conclude that (recall that dim ker T * = dim ker T ′ * ) This implies that T is invertible, which contradicts 0 ∈ σ(T ).♦

Generalizations to the classes A k
Motivated by the study of weakly concave operators, we introduce and discuss the following related classes of operators.
In view of the second paragraph of the proof of Proposition 2.3, the class A 0 contains all concave operators.It follows from Proposition 2.3 that the class A 1 consists exactly of weakly concave operators.Since the restriction of a hyponormal operator to its closed invariant subspace is again hyponormal, we conclude that where U ∈ B(H ′ u ) is unitary and S ∈ B((H ′ u ) ⊥ ) has the wandering subspace property.Remark 6.3.Regarding Theorems 1.2 and 6.2, we make the following observation.Let T ∈ B(H) be an analytic expansion with σ ap (T ) ⊆ ∂D and let T ′ be the Cauchy dual of T. Set R := T ′ | H ′ u .Since the analyticity of T implies that 0 ∈ σ(T ), it can be concluded from the proof of Theorem 1.2 that R is an invertible contraction such that σ ap (R) ⊆ ∂D (see (5.1)), which together with the inclusion ∂σ(R) ⊆ σ ap (R) implies that σ(R) ⊆ ∂D (the reader is referred to [41,Theorem 7], where a non-unitary contraction with spectrum being a nowhere dense perfect set of measure zero on the unit circle has been constructed).Thus R is unitary if and only if R is hyponormal.In particular, this is the case if the restriction of T ′ to the range of some power of it is hyponormal (see (6.1) and Theorem 6.2). ♦ In turn, Theorem 1.3 remains valid for operators of class A k , where k ∈ Z + .Theorem 6.4.Let T ∈ B(H) be an analytic finitely cyclic operator of class A k for some k ∈ Z + .Then T and T ′ have trace class self-commutators.Moreover, for any complex polynomials p, q in two complex variables z and z, where dA denotes the Lebesgue planar measure.
Proof.According to Proposition 2.3, the case k = 1 is precisely Theorem 1.3 (by (6.1), this implies the case k = 0).Assume now that k 2. Since T is finitely cyclic, we infer from (1.2) that dim ker T * < ∞.By the analyticity of T , H u = {0}, so by [35, Proposition 2.7(ii)] T ′ is finitely cyclic with the cyclic space ker T * .Since the range of T ′k is closed, we deduce that R k := T ′ | R(T ′k ) is finitely cyclic with the cyclic space T ′k (ker T * ) (cf. (5.4)).
T j (ker T * ), which yields dim R(T ′k ) ⊥ < ∞.This implies that T ′ is a finite rank perturbation of the operator R k ⊕ 0 which has a trace class self-commutator.Thus, the self-commutator of T ′ and consequently that of T are of trace class (see (5.5)).It is also easy to see that (5.6) holds (with the same proof).Next, arguing as in last paragraph of the proof of Theorem 1.3 (with Proposition 2.4(ii) in place of Corollary 2.5(ii)), we conclude that (5.8) holds.Finally, applying the Carey-Pincus trace formula completes the proof.Corollary 6.5.Suppose that H = {0} and T ∈ B(H) is an analytic finitely cyclic operator satisfying the conditions (i) and (ii) of Definition 6.1.Then where σ le (•) and σ re (•) denote the left essential and the right essential spectrum, respectively.Moreover, dim ker(T * ) is a positive integer and Proof.Look carefully at [17, Theorem XI.6.8] and the proofs of (5.6) and (5.7).That dim ker(T * ) 1 can be inferred from (6.2), (6.3) and the fact that the Fredholm index ind S (•) of any S ∈ B(H) is constant on connected components of C\σ e (S).
The next result generalizes [12, Corollary 2.29], which was stated for concave operators, to operators of class A k with k ∈ Z + (see (6.1)).This is also related to [16].Corollary 6.6.Suppose that H = {0} and T ∈ B(H) is an analytic finitely cyclic operator of class A k , where k ∈ Z + .Then n := dim ker T * is a positive integer and T is unitarily equivalent to a compact perturbation of U n + , where U + is the unilateral shift of multiplicity 1.
Proof.By Corollary 6.5, n is a positive integer.Next, note that U n + is a concave operator which is analytic and finitely cyclic with dim ker(U n + ) * = n.Applying Corollary 6.5 to the operators T and U n + , we conclude that σ e (T ) = σ e (U n + ) = ∂D, (6.4) By Theorem 6.4, the operators T and U n + have compact self-commutators.This together with (6.4), (6.5) and [19,Theorem 2] completes the proof.
The example below shows that if H is infinite dimensional, then all the inclusions in (6.1) are proper, i.e., and note that the following implication is valid.
If (6.10) holds, then r(W ) 1. (6.11) Indeed, if ε > 0, then sup n l w n 1 + ε for some integer l 1, so Together with Gelfand's spectral radius formula, this implies that which yields r(W ) 1. Combining (6.11) and Remark 2.2 with the analyticity of W ′ , we obtain the following sufficient condition for membership in the class 2 A ∞ .
If (6.7) and (6.10) hold, then W is of class A ∞ . (6.12) Moreover, the following necessary and sufficient condition for membership in the class A k with k ∈ Z + can be deduced from [37,Proposition 15] and Remark 2.2.
W is of class A k if and only if (6.7), (6.9) and (6.10) hold.(6.13) It is now easy to deduce from (6.12) and (6.13) that To obtain the operator of class A 0 that is not concave, we proceed as follows.By [25, Proposition A.2], the unilateral weighted shift W with weight sequence n+2 n+1 ∞ n=0 is a strict 3-isometric expansion.Since W ′ is the unilateral weighted shift with weight sequence n+1 n+2 ∞ n=0 which is increasing, W ′ is hyponormal, meaning that W is of class A 0 .However, by Proposition 3.4, W is not concave.This justifies all the strict inclusions in (6.6).

The modulus of the self-commutator
, where w −1 := 0. Suppose that k ∈ Z + and W is of class A k .Then, by (6.13), we have Certainly, the fact that W has a trace class self-commutator as well as the formula (6.14) are particular cases of what is in Theorem 6.4 with the polynomials p(z, z) = z and q(z, z) = z.
Observe that if W satisfies (6.7) and (6.10), then W is of class A ∞ and the self-commutator [W * , W ] of W is compact.That W is of class A ∞ follows from (6.12).In turn, by our assumptions lim n→∞ w n = 1, which implies that [W * , W ], being the diagonal operator with diagonal elements {w 2 n − w 2 n−1 } ∞ n=0 converging to 0, is compact.Now we construct a unilateral weighted shift W of class A ∞ such that the self-commutator [W * , W ] of W is not of trace class (recall that W is analytic and cyclic).Let {w n } ∞ n=0 be defined by α 1 , α 2 , α 1 , α 2 , α 1 5 times , . . ., α l , α l+1 , . . ., α l , α l+1 , α l 2 l+1 +1 times , . . ., which means that [W * , W ] is not of trace class.Since W satisfies (6.7) and (6.10), we infer from (6.12) that W is of class A ∞ .♦ As shown in Example 6.7 (see its last paragraph), Theorem 6.4 ceases to be true for operators of class A ∞ .However, in this example H ′ u = {0} and the operator in question has a compact self-commutator.This motivates us to ask the following question which is closely related to Corollaries 6.5 and 6.6.Question 6.8.Is an analytic finitely cyclic operator T of class A ∞ unitarily equivalent to a compact perturbation of U n + , where n = dim ker(T * )?

Characterizations of classes A k
In this section, we characterize the left-invertible operators T satisfying the condition (iii k ) of Definition 6.1, where k ∈ Z + ∪ {∞}.In particular, we obtain characterizations of classes A k .We begin with an observation of independent interest.Lemma 7.1.Let T ∈ B(H) be left-invertible and let k be a positive integer.Then the range of T ′k is given by Proof.Using [35, Lemma 2.1], the fact that the range of T ′k is closed and finally Proposition 1.1(iii), we get This completes the proof.
The hyponormality of T ′ | R(T ′k ) can now be characterized as follows.
Proposition 7.2.Let T ∈ B(H) be left-invertible and k ∈ Z + .Set C k = T ′ * k T ′k .Then C k is invertible and the following conditions are equivalent: Proof.Since T ′k is left-invertible, C k is invertible and, by Proposition 1.1(iii), we have It is easily seen that T ′ | R(T ′k ) is hyponormal if and only if or equivalently, by (7.1), if and only if which completes the proof.
Proof.It follows from Proposition 1.1(i) that Combined with Proposition 7.2, this completes the proof.
Corollary 7.5.Let T ∈ B(H) be an operator of class A k for some k ∈ Z + .
Then the operator In particular, Proof.By Proposition 7.2, the operator S k is hyponormal.It follows that 2) for m = 2 (this is true for all hyponormal operators).It is now easy to see that (7.2) for m = 2 is equivalent to which in turn is equivalent to (7.3).
Since T * T I, we deduce that Consequently, we have or equivalently that This gives which shows that (7.2) holds for m = 1.This completes the proof.
converge in SOT (the strong operator topology) to positive operators denoted by A and B, respectively, and the following conditions are equivalent: as k ր ∞, we deduce that P k ց P ∞ as k ր ∞ in SOT.By the sequential SOT-continuity of multiplication in B(H), we deduce that the sequences {P k T ′ * P k } ∞ k=0 and {(P k T ′ * P k ) * P k T ′ * P k } ∞ k=0 converge in SOT to P ∞ T ′ * P ∞ and P ∞ T ′ P ∞ T ′ * P ∞ , respectively, ( and by Proposition 1.1(i), Observe now that, Combined with (7.4), this implies that the sequence [20]).
A similar argument shows that so by (7.5) the sequence and moreover: It is easy to see that or equivalently by (7.4) and (7.5) if and only if Combined with (7.6) and (7.8), this shows that (i) and (ii) are equivalent.That (ii) and (iii) are equivalent follows from (7.7) and (7.9).Finally, since A = P ∞ T ′ P ∞ T ′ * P ∞ and B = P ∞ (T * T ) −1 P ∞ , it is easy to see that the conditions (ii) and (iv) are equivalent.This completes the proof.
Remark 7.8.Regarding Proposition 7.7(iii), note that in view of Proposition 1.1(i) applied to T ′k , the operator is an isometry.This implies that the range of We conclude the paper by discussing the possibility of defining membership in the classes A k , k ∈ Z + ∪ {∞}, for elements of an abstract unital C * -algebra.This question is in the spirit of [10,9,42].
Let C be a C * -algebra with unit e. Set C r := {t ∈ C : t r} for r ∈ (0, ∞).Fix t ∈ C. Denote by C * (t) the C * -algebra generated by t and e.We say that t is hyponormal if t * t − tt * is a positive element of C. If t * t is invertible, then the element t ′ := t(t * t) −1 is called the Cauchy dual of t.Clearly, if t * t is invertible, then t is left-invertible (with the leftinverse t ′ * ).The converse implication is true, as can be seen by using the Gelfand-Naimark representation theorem (see [33,Theorem 12.41]) and [17,Proposition VIII.1.14].Namely, the following equivalences are valid: In particular, if t is an expansion, that is t * t e, then t is left-invertible.Moreover, if t is left-invertible, then so is t ′ and consequently t ′k for every k ∈ Z + .As a consequence of (8.1), c k := t ′ * k t ′k is invertible.Observe also that if t ∈ C is left-invertible, then t = (t ′ ) ′ so by (8.1)Note that if t is a left-invertible element of a unital C * -algebra C, then t ′ = t if and only if t is an isometric element of C (use the fact that t ′ * is a left-inverse of t).It is worth mentioning that the C * -algebra generated by a single isometry was studied in [16].
If C 1 and C 2 are two unital C * -algebras, π : The case of the class A ∞ is more delicate.As we will show below, the membership in this class can be satisfactorily defined in the context of W *algebras, which are more special objects compared to C * -algebras (see Definitions 8.6 and 8.7).Several properties of certain sequences associated with an expansion are needed for this.
and thus p k p k+1 = p k+1 p k for all k ∈ Z + , we deduce that Hence, p k+1 p k for all k ∈ Z + .Since e − p k is a selfadjoint idempotent, we see that p k e for all k ∈ Z + .This proves (i).
(ii) We can argue as in the second paragraph of the proof of Corollary 7.5 (the arguments given there are purely C * -algebraic).
(iii) The identity which gives the second part of (iii).The third part of (iii) follows from (iv) It is easy to see that the identity v k = p k t ′ * t ′ p k is valid.Hence, by (i) and (ii), we have proves the third part of (iv).Finally, we come to the conclusion that which gives the first identity in (iv).
The proof of the "moreover" part is as follows.That t is an expansive element of C * (t) and t ′ , c k , c −1 k ∈ C * (t) for every k ∈ Z + follows from (8.1) and the fact that σ C * (t) (s) = σ C (s) for every s ∈ C * (t) (see [17, Proposition VIII.1.14];see also [17,Theorem VIII.3.6]).As a consequence, each of the elements p k , u k and v k belongs to C * (t).This completes the proof.
The following property of elements of class A k is a direct consequence of Proposition 8.3 and [17,Proposition VIII.1.14].We will call it C *permanence property which is shared by some other classes of elements of a unital C * -algebra, including hyponormal ones.
The question of the existence of limits of sequences that were defined in (8.2) is discussed below in the context of W * -algebras.Given an element t of a W * -algebra W, we denote by W * (t) the W * -algebra generated by t and the unit element of W, that is, W * (t) is the σ(W, W * )-closure of C * (t), where W * is the predual of W (see [34,Corollary 1.7.9]).Recall that every W * -algebra always has a unit (see [34,Sec. 1.7]).Proposition 8.5.Let W be a W * -algebra with predual W * and t ∈ W be an expansion.Let {p k } ∞ k=0 , {u k } ∞ k=0 and {v k } ∞ k=0 be as in (8.2).Then (i) the sequence {p k } ∞ k=0 is σ(W, W * )-convergent to a projection (i.e., a selfadjoint idempotent) of W denoted by p ∞ , (ii) p ∞ is the infimum of {p k } ∞ k=0 computed in the set of all selfadjoint elements of W (equivalently, in the set of all projections of W), (iii) the sequences {u k } ∞ k=0 and {v k } ∞ k=0 are σ(W, W * )-convergent to positive elements of W denoted by a and b, respectively.Moreover, t is an expansive element of W * (t) and the elements t ′ , c k , c −1 k , p k , u k , v k , p ∞ , a and b belong to W * (t). is SOT-closed.Since π is an isometric W * -homomorphism, we deduce from [36,Corollary 1.15.6] that for every r ∈ (0, ∞), the mapping π r := π| Wr : W r → π(W) r is continuous if W r and π(W) r are equipped with the topologies σ(W, W * ) and σ-WOT (the σ-weak operator topology), respectively.Because π r is a bijection, we infer from the Banach-Alaoglu theorem that π r is a homeomorphism.By setting T = π(t), it can be verified that It follows from Proposition 7.7 that {π(v k )} ∞ k=0 converges in SOT, and consequently in σ-WOT to a positive operator B ∈ B(H).Since π(W) is SOTclosed, there exists a (unique) positive element b ∈ W such that B = π(b).By the uniform boundedness principle, there exists r ∈ (0, ∞) such that π(b), π(v k ) ∈ π(W) r for all k ∈ Z + .Since π r is a homeomorphism, the sequence {v k } ∞ k=0 converges in σ(W, W * ) to b.The same reasoning can be applied to the sequence {u k } ∞ k=0 .The "moreover" part is a direct consequence of the statements (i) and (iii), the "moreover" part of Proposition 8.3 and [34,Corollary 1.7.9].This completes the proof.
After this preparation, we can give two equivalent definitions of the class A ∞ in the context of W * -algebras.The first one is patterned on the equivalence (i)⇔(iv) of Proposition 7.7.Definition 8.6.Let W be a W * -algebra.We say that t ∈ W is of class A ∞ if (i) the spectral radius of t is at most 1, (ii) t is an expansion, (iii) p ∞ (t * t) −1 − t ′ p ∞ t ′ * p ∞ 0, where p ∞ is as in Proposition 8.5.
The second definition is based on the equivalence (i)⇔(ii) of Proposition 7.7.Definition 8.7.Let W be a W * -algebra.We say that t ∈ W is of class A ∞ if (i) the spectral radius of t is at most 1, (ii) t is an expansion, (iii) a b, where a and b are as in Proposition 8.5.The same reasoning applied to the sequence {u k } ∞ k=0 leads to the identity π(a Clearly, the condition (iii) of Definition 8.7 is equivalent to π(b − a) 0, which by (8.7) and (8.8) is equivalent to the condition (iii) of Definition 8.6.This completes the proof.
The following is the counterpart of Corollary 8.4 for elements of class A ∞ .Corollary 8.9.If W is a W * -algebra and t ∈ W, then t is of class A ∞ if and only if t is of class A ∞ as an element of W * (t).

Corollary 5 . 1 ([ 35 ,
Theorem 3.6(A)]).If T ∈ B(H) is a concave operator, then T has the Wold-type decomposition, that is, H u reduces T , T | Hu is unitary and

. 4 )
It follows that T ′ | R(T ′ ) is finitely cyclic with the cyclic space T ′ (ker T * ).By Proposition 2.3, T ′ | R(T ′ ) is hyponormal.Hence, by the Berger-Shaw Theorem (see[18,  Theorem IV.2.1]), T ′ | R(T ′ ) has a trace class self-commutator.Since T ′ is a finite rank perturbation of T ′ | R(T ′ ) ⊕ 0, where 0 is the zero operator on ker T ′ * = ker T * , and the set of finite rank operators is a * -ideal, one can see that T ′ has a trace class self-commutator.Observing that for any left-invertible operator A ∈ B(H) the following operator identities hold (cf. the proof of[12, Proposition 2.21]): of trace class.The above reasoning can be used to compute the trace tr [W * , W ] of the self-commutator [W * , W ]: tr [W * , W ] =

Remark 7 . 6 .
Regarding the operator C Proposition 7.2, observe that if A ∈ B(H) is positive and invertible and T ∈ B(H), then the adjoint of T with respect to the (equivalent) inner product A(•), -, is equal to (AT A −1 ) * .In turn, if T ∈ B(H) is left-invertible and T = U |T | is the polar decomposition of T , then by Proposition 1.1,T ′ = U |T | −1is the polar decomposition of T ′ , so the operator |T | −1 U that appears in Corollary 7.3 is the Duggal transform 3 of T ′ .Finally, the concept of mhypercontractivity that appears in Corollary 7.5 was introduced by Agler in[2].♦The following characterization of the hyponormality of T ′ | H ′ u can be viewed as an asymptotic version of Proposition 7.2 (see Remark 7.8).Proposition 7.7.Let T ∈ B(H) be left-invertible and let

Proposition 8 . 3 .
Let C be a C * -algebra with unit e and t ∈ C be an expansion.Define the sequences {p

. 2 )
Then the following statements hold for all k ∈ Z + : (i) p k = p * k p k , p k p k+1 = p k+1 and 0 p k+1 p k e, (ii) 0 c k+1 c k e and c −1/2 k Proof.(i)&(ii) By Proposition 8.3(i), {p k } ∞ k=0 is a uniformly bounded monotonically decreasing sequence of projections of W. It can be deduced from [34, Lemma 1.7.4,Theorem 1.16.7 and Corollary 1.15.6] and [29, Theorem 4.3.5]that the sequence {p k } ∞ k=0 is σ(W, W * )-convergent to a projection of W, call it p ∞ , which is equal to the infimum of {p k } ∞ k=0 computed in the set of all selfadjoint elements of W. Consequently, p ∞ coincides with the infimum of {p k } ∞ k=0 computed in the set of all projections of W. (iii) It follows from [34, Theorem 1.16.7] that there exists a faithful W *representation π : W → B(H) of W. By [34, Proposition 1.16.2],π(W) is σ(B(H), B(H) * )-closed.In turn, according to [34, Proposition 1.15.1],π(W)

Proof.
It follows from Proposition 8.5 and [17, Proposition VIII.1.14]that the infimum of {p k } ∞ k=0 computed in the set of all projections of W coincides with the infimum of {p k } ∞ k=0 computed in the set of all projections of W * (t).Hence, by Theorem 8.8, we can apply Definition 8.6 and [17, Proposition VIII.1.14]again.One can see by applying Remark 2.2, Propositions 7.7 and 8.5 and [34, Corollary 1.15.6] that Definitions 6.1 and 8.7 coincide for k = ∞ if W = B(H).Regarding Proposition 8.5(ii), it is worth pointing out that the property of being closed under the operation of taking infimum is one of the two basic properties characterizing W * -algebras among C * -algebras (cf.[27, Definition 2.1]).
Proof.First, observe that if T ∈ B(H), then for any positive integer m, T is left-invertible if and only if T m is left-invertible.Hence, W k is left-invertible if and only if inf n∈Z + w n > 0. This means that there is no loss of generality in assuming that all powers of W are left-invertible.Noting that [13,0, Second Corollary,  p. 473], R is unitary.Recall that if M is a closed invariant subspace for a contraction A ∈ B(H) such that A| M is unitary, then M reduces A (see e.g.,[13, Lemma 2.5]).Applying this fact to A = T ′ (T ′ is a contraction because T is an expansion) and M = H ′ u , we deduce that H ′ u reduces T ′ .By [6, Proposition 2.2] applied to T ′ , H ′ u reduces T and T | H ′ u = R ′ .Consequently, T | H ′ u is unitary and so T (H ′ u ) = H ′ u .This in turn implies that H ′ Theorem 6.2.Suppose that T ∈ B(H) is of class A ∞ .Let H u and H ′ u denote the closed vector subspaces of H given by (1.4).Then H ′ u ⊆ H u and H ′ u reduces T.Moreover, T = U ⊕ S with respect to the decomposition Example 6.7 (Example 4.4 continued).As in Example 4.4, we assume that the unilateral weighted shift W is left-invertible.Clearly, W is cyclic with the cyclic vector e 0 and is expansive if and only if w n 1 for all n ∈ Z + .(6.7)Fix k ∈ Z + .Since W and W ′ are unilateral weighted shifts, we haveR(W k ) = R(W ′k ) =This implies that W and W ′ are analytic.By (6.8), the operatorW ′ | R(W′k ) is unitarily equivalent to the unilateral weighted shift with weights {w −1 k+n } ∞ n=0 .Hence, by [18, Proposition II.6.6],W ′ | R(W ′k ) is hyponormal if and only if the sequence {w k+n } ∞ .6)and Theorem 6.4 is not true for operators of class A ∞ .
and [17, Proposition VIII.1.14],the C * -algebras C * (t) and C * (t ′ ) coincide.We now give the C * -algebra analogue of the class A k for k ∈ Z + .Definition 8.1.Let C be a unital C * -algebra and let k ∈ Z + .We say that t ∈ C is of class A k if • the spectral radius of t is at most 1, Using Remark 2.2 and Proposition 7.2, we see that Definitions 6.1 and 8.1 coincide for k ∈ Z + if C = B(H).First observe that if C is a C * -algebra with unit e and t ∈ C is of class A k for some k ∈ Z + , then C * (t) is commutative if and only if t is unitary, that is, t * t = tt * = e.