DOCSLIB.ORG

Arxiv:2008.04758V3 [Math.FA]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2008.04758V3 [Math.FA] Subnormal nth roots of quasinormal operators are quasinormal Pawe l Pietrzycki and Jan Stochel Abstract. In a recent paper [11], R. E. Curto, S. H. Lee and J. Yoon asked the following question: Let A be a subnormal operator, and assume that A2 is quasinormal. Does it follow that A is quasinormal? In this paper, we answer that question in the affirmative. In fact, we prove a more general result that subnormal nth roots of quasinormal operators are quasinormal. 1. Introduction An operator1 A on a (complex) Hilbert space H is said to be subnormal if it is (unitarily equivalent to) the restriction of a normal operator to its invariant (closed vector) subspace. In turn, A is called quasinormal if A(A∗A) = (A∗A)A, or equivalently, if and only if U|A| = |A|U, where A = U|A| is the polar decomposition of A (see [40, Theorem 7.20]). The classes of subnormal and quasinormal operators were introduced by P. Halmos in [15] and by A. Brown in [5], respectively. It is well-known that quasinormal operators are subnormal but not conversely (see [16, Problem 195]). For more information on subnormal and quasinormal operators we refer the reader to [16, 7]. In a recent paper [11], R. E. Curto, S. H. Lee and J. Yoon, partially motivated by the results of their previous articles [9, 10], asked the following question Problem 1.1 ([11, Problem 1.1]). Let A be a subnormal operator, and assume that A2 is quasinormal. Does it follow that A is quasinormal? arXiv:2008.04758v3 [math.FA] 24 Sep 2020 They proved that a left invertible subnormal operator A whose square A2 is quasinormal, must be quasinormal (see [11, Theorem 2.4]). It remains an open question as to whether this is true in general, without assuming left invertibility. In this paper, we show that Problem 1.1 has an affirmative answer. In fact, we prove the following more general result (see also Theorem 4.1 for an even more general statement). Theorem 1.2. Let A be a subnormal operator on a Hilbert space H and n be an integer greater than 1. Assume that An is quasinormal. Then A is quasinormal. 2010 Mathematics Subject Classification. Primary 47B20, 47B15; Secondary 47A63, 44A60. Key words and phrases. quasinormal operator, subnormal operator, operator monotone func- tion, Stieltjes moment problem. 1In this paper, by “an operator” we mean “a bounded linear operator”. 1 2 P.PIETRZYCKIANDJ.STOCHEL In Section 3 we give two proofs of Theorem 1.2. In both cases we use Embry’s characterization of quasinormal operators which, for the reader’s convenience, is stated explicitly below. In fact, this characterization takes two equivalent forms described by the conditions (ii) and (iii) of Theorem 1.3. In the first proof of Theorem 1.2 we exploit the condition (ii), while in the second the condition (iii). This is because we use two completely different techniques for proving Theorem 1.2. The first one appeals to the theory of operator monotone functions, in particular to Hansen’s inequality. The other relies on the theory of (scalar and operator) moment problems; its origin goes back to the celebrated Embry’s characterization of subnormal operators expressed in terms of the Stieltjes operator moment problem [13], later on developed by Lambert [26] and Agler [1, Theorem 3.1]. In the next section, we give basic information on these techniques. Similar questions to that in Problem 1.1 concerning square roots (or more generally nth roots) in selected classes of operators have been studied since at least the early 50’s (see e.g., [17, 18, 31, 41, 8]). In particular, it is known that the hyponormal nth roots of normal operators are normal (see [35, Theorem 5]). However, if A is a hyponormal operator and An is subnormal, then A doesn’t have to be subnormal (see [36, pp. 378/379]). It is also worth mentioning that there are subnormal (or even isometric) operators which have no square roots (see [16, Problem 145]; see also [17]). We now state Embry’s characterization of quasinormal operators (the “more- over” part of Theorem 1.3 follows from the observation that due to (1.1), E is the spectral measure of A∗A). Theorem 1.3 (Embry’s characterization [13, page 63]). Let A be an operator on H. Then the following conditions are equivalent: (i) A is quasinormal, (ii) A∗kAk = (A∗A)k for k =0, 1, 2,..., (iii) there exists a Borel spectral measure E on R+ such that A∗kAk = xkE(dx), k =0, 1, 2,.... (1.1) ZR+ Moreover, the spectral measure E in (iii) is unique and E((kAk2, ∞))=0. (We refer the reader to [23, Theorem 3.6] for the version of the above theorem for operators that are not necessarily bounded; cf. also [38]). The condition (ii) of Theorem 1.3 leads to the following question. Problem 1.4. For what subsets S of {1, 2, 3,...} does the system of equations A∗kAk = (A∗A)k, k ∈ S, (1.2) imply the quasinormality of A? This problem, to some extent related to the theory of operator monotone and operator convex functions, has been studied by several authors (see [38, 39, 24, 23, 29, 30]). In particular, A is quasinormal if any of the following conditions holds: • A is compact (hyponormal, a unilateral or bilateral weighted shift) and satisfies (1.2) with S = {n}, where n is a fixed integer greater than 1 (see [38, p. 198], [30, Theorem 5.3] and [29, Theorem 3.3]), • A is log-hyponormal and satisfies (1.2) with S = {n}, where n is a fixed integer greater than 2 (see [39, Theorem 4.1]), SUBNORMAL nTH ROOTS OF QUASINORMAL OPERATORS ARE QUASINORMAL 3 • A satisfies (1.2) with S = {m,n,p,m + p,n + p}, where m,n,p are fixed positive integers such that m<n (see [30, Theorem 3.11]; see also [38, Theorem 2.1] for the case p = 1; in particular, taking m = p = 1 and n =2 covers the case S = {2, 3} considered much later in [24, Proposition 13]). On the other hand, for every integer n > 2, there exists an operator A such that A∗nAn = (A∗A)n and A∗kAk 6= (A∗A)k for all k ∈{2, 3, 4,...}\{n}. (1.3) Examples of such operators are to be found in the classes of weighted shifts on directed trees and composition operators on L2-spaces (see [23, Example 5.5] and [29, Theorem 4.3]). It turns out that the operators satisfying (1.2) with S = {κ}, where κ is a fixed integer greater than 1, can successfully replace quasinormal operators in the prede- cessor of the implication in Problem 1.1 (see Theorem 4.1). The adaptation of both techniques used in the proof of Theorem 1.2 to the proof of Theorem 4.1 resulted in finding a new criterion for a semi-spectral measure to be spectral, expressed in terms of its two “moments” (see Theorem 4.2). 2. Preliminaries In this paper, we use the following notation. The fields of real and complex numbers are denoted by R and C, respectively. The symbols Z+, N and R+ stand for the sets of nonnegative integers, positive integers and nonnegative real numbers, respectively. We write B(X) for the σ-algebra of all Borel subsets of a topological Hausdorff space X. ∞ A sequence {γn}n=0 of real numbers is said to be a Stieltjes moment sequence if there exists a positive Borel measure µ on R+ such that n γn = t dµ(t), n ∈ Z+. (2.1) ZR+ A positive Borel measure µ on R+ satisfying (2.1) is called a representing measure of ∞ ∞ {γn}n=0. If {γn}n=0 is a Stieltjes moment sequence which has a unique representing ∞ measure, then we say that {γn}n=0 is determinate. It is well known that if a Stieltjes moment sequence has a representing measure with compact support, then it is determinate. The reader is referred to [3] for comprehensive information regarding the Stieltjes moment problem. Let H be a Hilbert space. Denote by B(H) the C∗-algebra of all bounded ∗ linear operators on H, and by IH the identity operator on H. As usual, A stands for the adjoint of A ∈ B(H). We say that an operator A ∈ B(H) is • positive if hAh,hi > 0 for all h ∈ H, • an orthogonal projection if A = A∗ and A = A2, • selfadjoint if A = A∗, • normal if A∗A = AA∗, • quasinormal if A(A∗A) = (A∗A)A, • subnormal if it is (unitarily equivalent to) the restriction of a normal operator to its invariant subspace. Let A be a σ-algebra of subsets of a set X and let F : A → B(H) be a semispectral measure, that is hF (·)f,fi is a positive measure for every f ∈ H, 1 and F (X)= IH. Denote by L (F ) the vector space of all A -measurable functions C f : X → such that X |f(x)|hF (dx)h,hi < ∞ for all h ∈ H. Then for every R 4 P.PIETRZYCKIANDJ.STOCHEL 1 B f ∈ L (F ), there exists a unique operator X fdF ∈ (H) such that (see e.g., [37, Appendix]) R fdFh,h = f(x)hF (dx)h,hi, h ∈ H. (2.2) D ZX E ZX If F is a spectral measure, that is F (∆) is an orthogonal projection for every ∆ ∈ A , then X fdF coincides with the usual spectral integral.
Load more

Recommended publications
  • On Unbounded Subnormal Operators
    Proc. Indian Acad. Sci. (Math. Sci.), Vol. 99, No. 1, Aprd 1989, pp. 85-92. Printed in India. On unbounded subnormal operators ARVIND B PATEL and SUBHASH J BHATT Department of Mathematics Sardar Patel University, Vallabh Vidyanagar 388 120 India MS received 28 May 1987; revised to April 1988 Abstract. A minimal normal extension of unbounded subnormal operators is established and characterized and spectral inclusion theorem is proved. An inverse Cayley transform is constructed to obtain a closed unbounded subnormal operator from a bounded one. Two classes of unbounded subnormals VlZ analytic Toeplitz operators and Bergman operators are exhibited. Keywords. Unbounded subnormal operator; Cayley transform; Toephtz and Bergman operators; minimal normal extension. 1. Introduction Recently there has been some interest in unbounded operators that admit normal extensions viz unbounded subnormal operators defined as follows: DEFINITION 1.1 Let S be a linear operator (not necessarily bounded) defined in D(S), a dense subspace of a Hilbert space H. S is called a subnormal operator if it admits a normal extension (N, D(N), K) in the sense that there exists a Hilbert space K, containing H as a closed subspace (the norm induced by K on H is the given norm on /4) and a normal operator N with domain D(N) in K such that Sh = Nh for all h~D(S). These operators appear to have been introduced in [12] following Foias [4]. An operator could be subnormal internally admitting a normal extension in H; or it could admit a normal extension in a larger space. As is well known, a symmetric operator always admits a self-adjoint extension in a larger space, contrarily a formally normal operator may fail to be subnormal ([2], [ 11 ]).
    [Show full text]
  • Reduced Commutativity of Moduli of Operators 3
    Reduced commutativity of moduli of operators Pawe l Pietrzycki Abstract. In this paper, we investigate the question of when the equations A∗sAs = (A∗A)s for all s ∈ S, where S is a finite set of positive integers, imply the quasinormality or normality of A. In particular, it is proved that if S = {p, m, m + p,n,n + p}, where 2 ≤ m<n, then A is quasinormal. Moreover, if A is invertible and S = {m,n,n + m}, where m ≤ n, then A is normal. Furthermore, the case when S = {m, m + n} and A∗nAn ≤ (A∗A)n is discussed. 1. Introduction The class of bounded quasinormal operators was introduced by A. Brown in [5]. A bounded operator A on a (complex) Hilbert space H is said to be quasinormal if A(A∗A) = (A∗A)A. Two different definitions of unbounded quasinormal operators appeared independently in [40] and in [49]. As recently shown in [35], these two definitions are equivalent. Following [49], we say that a closed densely defined operator A in H is quasinormal if A commutes with the spectral measure E of |A|, i.e E(σ)A ⊂ AE(σ) for all Borel subsets σ of the nonnegative part of the real line. By [49, Proposition 1], a closed densely defined operator A in H is quasinormal if and only if U|A| ⊂ |A|U, where A = U|A| is the polar decomposition of A (cf. [53, Theorem 7.20]). For more information on quasinormal operators we refer the reader to [5, 15, 51], the bounded case, and to [40, 49, 43, 35, 8, 51], the unbounded one.
    [Show full text]
  • On Subnormal Operators
    Proc. Indian Acad. Sci. (Math. Sci.). Vol. 95, No. l, September 1986, pp. 41-44. 9 Printed in India, On subnormal operators B C GUPTA Department of Mathematics, Sardar Patel University, Vallabh Vidyanagar 388 120, India MS received 10 September 1985 Abstract. Let S be a pure subnormal operator such that C*(S), the C*-algebra generated by S, is generated by a unilateral shift U of multiplicity 1. We obtain conditions under which S is unitarily equivalent to o~+/3U, o~ and /3 being scalars or S has C*-spectral inclusion property. It is also proved that if in addition. S has C*-spectral inclusion property, then so does its dual T and C*(T) is generated by a unilateral shift of multiplicity 1. Finally, a characterization of quasinormal operators among pure subnormal operators is obtained. Keywords. Subnormal operators; self-dual subnormal operators: quasinormal operators: unilateral shifts; C*-algebra; C*-spectral inclusion property. By an operator we mean a bounded linear operator on a fixed separable infinite dimensional Hilbert space H. For an operator A, let o-s(A), o'a(A) and o'(A) denote respectively the essential spectrum, the approximate point spectrum and the spectrum of A and let C*(A) denote the C*-algebra generated by A. Let S be a subnormal operator on H and N ..... (,) o T* be its minimal normal extension on 3f = H 9 H~. The subnormal operator T appearing in the representation (,) is called the dual of S and has been studied by Conway [5]. Dual of S is unique up to unitary equivalence; and ifS is pure, then N* is the minimal normal extension of T.
    [Show full text]
  • On the Decomposition of Families of Quasinormal Operators
    Opuscula Math. 33, no. 3 (2013), 419–438 http://dx.doi.org/10.7494/OpMath.2013.33.3.419 Opuscula Mathematica ON THE DECOMPOSITION OF FAMILIES OF QUASINORMAL OPERATORS Zbigniew Burdak Communicated by Aurelian Gheondea Abstract. The canonical injective decomposition of a jointly quasinormal family of operators is given. Relations between the decomposition of a quasinormal operator T and the decompo- sition of a partial isometry in the polar decomposition of T are described. The decomposition of pairs of commuting quasinormal partial isometries and its applications to pairs of com- muting quasinormal operators is shown. Examples are given. Keywords: multiple canonical decomposition, quasinormal operators, partial isometry. Mathematics Subject Classification: 47B20, 47A45. 1. INTRODUCTION Let L(H) be the algebra of all bounded linear operators on a complex Hilbert space H. If T L(H), then T ∗ stands for the adjoint of T. By (T ) and (T ) we denote the ∈ N R kernel and the range space of T respectively. By a subspace we always understand a closed subspace. The orthogonal comple- ment of a subspace H H is denoted by H⊥ or H H . The commutant of T L(H) 0 ⊂ 0 0 ∈ denoted by T 0 is the algebra of all operators commuting with T. A subspace H H 0 ⊂ is T hyperinvariant, when it is invariant for every S T 0. An orthogonal projection ∈ onto H is denoted by P . A subspace H reduces operator T L(H) (or is reduc- 0 H0 0 ∈ ing for T ) if and only if P T 0. An operator is called completely non unitary (non H0 ∈ normal, non isometric etc.) if there is no non trivial subspace reducing it to a unitary operator (normal operator, isometry).
    [Show full text]
  • Mathematical Work of Franciszek Hugon Szafraniec and Its Impacts
    Tusi Advances in Operator Theory (2020) 5:1297–1313 Mathematical Research https://doi.org/10.1007/s43036-020-00089-z(0123456789().,-volV)(0123456789().,-volV) Group ORIGINAL PAPER Mathematical work of Franciszek Hugon Szafraniec and its impacts 1 2 3 Rau´ l E. Curto • Jean-Pierre Gazeau • Andrzej Horzela • 4 5,6 7 Mohammad Sal Moslehian • Mihai Putinar • Konrad Schmu¨ dgen • 8 9 Henk de Snoo • Jan Stochel Received: 15 May 2020 / Accepted: 19 May 2020 / Published online: 8 June 2020 Ó The Author(s) 2020 Abstract In this essay, we present an overview of some important mathematical works of Professor Franciszek Hugon Szafraniec and a survey of his achievements and influence. Keywords Szafraniec Á Mathematical work Á Biography Mathematics Subject Classification 01A60 Á 01A61 Á 46-03 Á 47-03 1 Biography Professor Franciszek Hugon Szafraniec’s mathematical career began in 1957 when he left his homeland Upper Silesia for Krako´w to enter the Jagiellonian University. At that time he was 17 years old and, surprisingly, mathematics was his last-minute choice. However random this decision may have been, it was a fortunate one: he succeeded in achieving all the academic degrees up to the scientific title of professor in 1980. It turned out his choice to join the university shaped the Krako´w mathematical community. Communicated by Qingxiang Xu. & Jan Stochel [email protected] Extended author information available on the last page of the article 1298 R. E. Curto et al. Professor Franciszek H. Szafraniec Krako´w beyond Warsaw and Lwo´w belonged to the famous Polish School of Mathematics in the prewar period.
    [Show full text]
  • Range-Kernel Weak Orthogonality of Some Elementary Operators
    Open Mathematics 2021; 19: 32–45 Research Article Ahmed Bachir*, Abdelkader Segres, and Nawal A. Sayyaf Range-kernel weak orthogonality of some elementary operators https://doi.org/10.1515/math-2021-0001 received December 3, 2019; accepted October 12, 2020 Abstract: We study the range-kernel weak orthogonality of certain elementary operators induced by non- normal operators, with respect to usual operator norm and the Von Newmann-Schatten p-norm(1 ≤<∞p ). Keywords: range-kernel orthogonality, elementary operator, Schatten p-classes, quasinormal operator, sub- normal operator, k-quasihyponormal operator MSC 2020: 47A30, 47B20, 47B47, 47B10 1 Introduction Let B() be the algebra of all bounded linear operators acting on a complex separable Hilbert space . Given AB, ∈( B),wedefine the generalized derivation δAB, : BB()→() by δAB, ()=XAXX − B. ∗ 1 Let X ∈(B ) be a compact operator, and let s12()≥XsX ()≥…≥0 denote the eigenvalues of∣XXX∣=( )2 arranged in their decreasing order. The operator X is said to belong to the Schatten p-class p(),if 1 ∞ p pp1 ( ) ∥∥=XsXXp ∑ i () =tr (∣∣)<+∞p , 1 i=1 where tr denotes the trace functional. In case p =∞, we denote by ∞(), the ideal of compact operators equipped with the norm ∥∥XsX∞ =1 (). For p =(1, 1 ) is called the trace class, and for p =(2, 2 ) is called the Hilbert-Schmidt class and the case p =∞corresponds to the class. For more details, the reader is referred to [1]. In the sequel, we will use the following further notations and definitions. The closure of the range of an operatorTB∈() will be denoted by ran T and ker T denotes the kernel ofT.
    [Show full text]
  • L(N)-HYPONORMALITY: a MISSING BRIDGE BETWEEN SUBNORMALITY and PARANORMALITY
    J. Aust. Math. Soc. 88 (2010), 193–203 doi:10.1017/S1446788710000091 L.n/-HYPONORMALITY: A MISSING BRIDGE BETWEEN SUBNORMALITY AND PARANORMALITY IL BONG JUNG ˛, SUN HYUN PARK and JAN STOCHEL (Received 13 March 2009; accepted 17 January 2010) Communicated by J. J. Koliha Abstract A new notion of L.n/-hyponormality is introduced in order to provide a bridge between subnormality and paranormality, two concepts which have received considerable attention from operator theorists since the 1950s. Criteria for L.n/-hyponormality are given. Relationships to other notions of hyponormality are discussed in the context of weighted shift and composition operators. 2000 Mathematics subject classification: primary 47B20; secondary 47B33, 47B37. Keywords and phrases: subnormal operator, paranormal operator, L.n/-hyponormal operator, weighted shift operator, composition operator. 1. Towards L.n/-hyponormality Let H be a complex Hilbert space and let B.H/ be the set of all bounded linear operators on H. Denote by I the identity operator on H. We write N .T / and R.T / for the kernel and the range of T 2 B.H/. Given two operators A; B 2 B.H/, we denote by TA; BU their commutator, that is, TA; BU VD AB − BA. Recall that an operator T 2 B.H/ is said to be subnormal if there exists a complex Hilbert space K and a normal operator N 2 B.K/ such that H ⊆ K (isometric embedding) and Th D Nh for all h 2 H. The celebrated Halmos–Bram characterization of subnormality (see T5, 19U) states that an operator T 2 B.H/ is subnormal if and only if n X i j hT f j ; T fi i ≥ 0 (1.1) i; jD0 The work of the first author was supported by a Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (No.
    [Show full text]
  • Unbounded Quasinormal Operators Revisited 3
    Unbounded quasinormal operators revisited Zenon Jan Jab lo´nski, Il Bong Jung, and Jan Stochel Abstract. Various characterizations of unbounded closed densely defined op- erators commuting with the spectral measures of their moduli are established. In particular, Kaufman’s definition of an unbounded quasinormal operator is shown to coincide with that given by the third-named author and Szafraniec. Examples demonstrating the sharpness of results are constructed. 1. Introduction The class of bounded quasinormal operators was introduced by A. Brown in [3]. Two different definitions of unbounded quasinormal operators appeared inde- pendently in [15] and (a few years later) in [21]. In the present paper we show that both of these definitions coincide (cf. Theorem 3.1). We also discuss the question of whether the equality in Kaufman’s definition of quasinormality can be replaced by inclusion. It is shown that the answer is in the affirmative if the inclusion is properly chosen (cf. Theorem 3.1 and Remark 3.2). Next, we characterize quasinor- mality of unbounded operators in terms of the truncated operator Stieltjes moment problem (cf. Theorem 3.6(iv)). This part of the paper is inspired by a result of Embry which characterizes quasinormality of bounded operators by means of the operator Stieltjes moment problem (cf. [9, page 63]). Yet another characterization of quasinormality of unbounded operators is given in Theorem 3.6(v). It states that a closed densely defined operator C is quasinormal if and only if the equal- ity C∗nCn = (C∗C)n holds for n = 2, 3. In the case of bounded operators, this characterization has been known for specialists working in this area since late ’80s arXiv:1310.3144v1 [math.FA] 11 Oct 2013 (recently it has been published in [14, Proposition 13]; unfortunately, this paper contains several errors).
    [Show full text]
  • Normals, Subnormals and an Open Question
    Normals, subnormals and an open question Franciszek Hugon Szafraniec To Zolt´an Sebesty´en for his 65th birthday anniversary Abstract. An acute look at basic facts concerning unbounded subnormal operators is taken here. These operators have the richest structure and are the most exciting among the whole family of beneficiaries of the normal ones. Therefore, the latter must necessarily be taken into account as the reference point for any exposition of subnormality. So as to make the presentation more appealing a kind of comparative survey of the bounded and unbounded case has been set forth. This piece of writing serves rather as a practical guide to this largely impene- trable territory than an exhausting report. We begin with bounded operators pointing out those well known properties of normal and subnormal operators, which in unbounded case become much more complex. Then we are going to show how the situation looks like for their un- bounded counterparts. The distinguished example of the creation operator coming from the quantum harmonic oscillator crowns the theory. Finally we discuss an open question, one of those which seem to be pretty much intriguing and hopefully inspiring. By an unbounded operator we mean a not necessarily bounded one, nevertheless it is always considered to be densely defined, always in a complex Hilbert space. If we want to emphasis an operator to be everywhere defined we say it is on, otherwise we say it is in. Unconventionally though suggestively, B( ) denotes all the bounded H arXiv:0906.5412v1 [math.FA] 30 Jun 2009 operators on . If A is an operator, then (A), (A) and (A) stands for its domain, kernel(nullH space) and range respectively;D N if A is closable,R its closure is denoted by A.
    [Show full text]
  • ESSENTIALLY SUBNORMAL OPERATORS 1. Introduction Let H
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 4, April 1999, Pages 1171{1181 S 0002-9939(99)05053-4 ESSENTIALLY SUBNORMAL OPERATORS NATHAN S. FELDMAN (Communicated by David R. Larson) Abstract. An operator is essentially subnormal if its image in the Calkin al- gebra is subnormal. We shall characterize the essentially subnormal operators as those operators with an essentially normal extension. In fact, it is shown that an essentially subnormal operator has an extension of the form “normal plus compact”. The essential normal spectrum is defined and is used to characterize the essential isometries. It is shown that every essentially subnormal operator may be decomposed as the direct sum of a subnormal operator and some irreducible essentially subnormal operators. An essential version of Putnam’s Inequality is proven for these operators. Also, it is shown that essential normality is a similarity invariant within the class of essentially subnormal operators. The class of essentially hyponormal operators is also briefly discussed and several examples of essentially subnormal operators are given. 1. Introduction Let denote a separable Hilbert space, let ( ) denote the algebra of all boundedH linear operators on and let ( ) denoteB H the ideal of compact op- H B0 H erators. Also, let = 0 denote the Calkin algebra and let π: ( ) = 0 denote the natural quotientB B map. B H →B B It is well known that subnormality is a C∗-property. That is, one may define, in terms of positivity conditions, what it means for any element of a C∗-algebra to be subnormal. Furthermore, subnormal elements of C∗-algebras are preserved under *-homomorphisms.
    [Show full text]
  • Binormal, Complex Symmetric Operators T Such That T 2 Is Not Even Binormal, Let Alone Normal
    Binormal, Complex Symmetric Operators Caleb Holleman, Thaddeus McClatchey, Derek Thompson May 16, 2017 Abstract In this paper, we describe necessary and sufficient conditions for a bi- normal or complex symmetric operator to have the other property. Along the way, we find connections to the Duggal and Aluthge transforms, and give further properties of binormal, complex symmetric operators. 1 Introduction An operator T on a Hilbert space is said to be a complex symmetric operator if there exists a conjugation C (an isometric, antilinear involution) such that CT C = T ∗. An operator is said to be binormal if T ∗T and TT ∗ commute. Garcia initiated the study of complex symmetric operators [9]; researchers have made much progress in the last decade. The study of binormal operators was initiated by Campbell [3] in 1972. A normal operator is both binormal and complex symmetric. As we will see below, there are many classes of operators for which normal operators are a subclass, several of which are equivalent to normality in finite dimensions. However, both binormality and complex symmetry are meaningful for matrices. Both are properties that automatically transfer to the adjoint of an operator. Furthermore, both have a joint connection to square roots of normal operators. For these reasons, we investigate the possible connections between binormality and complex symmetry. In the rest of Section 1, we give necessary preliminaries. In Section 2, we arXiv:1705.04882v1 [math.FA] 13 May 2017 give exact conditions for when a complex symmetric operator is binormal. In Section 3, we give conditions for when a binormal operator is complex symmet- ric in terms of the Duggal and Aluthge transforms.
    [Show full text]
  • Arxiv:2103.09961V2 [Math.FA] 6 Apr 2021
    On nth roots of bounded and unbounded quasinormal operators Pawe l Pietrzycki and Jan Stochel Abstract. In this paper, we prove that both class A nth roots of bounded quasinormal and subnormal nth roots of unbounded quasinormal operators are quasinormal. 1. Introduction The class of bounded quasinormal operators was introduced by A. Brown in [4]. A bounded operator A on a (complex) Hilbert space is said to be quasinormal if A(A∗A) = (A∗A)A. Two different definitions of unboundedH quasinormal operators appeared independently in [19] and in [32]. As shown in [15, Theorem 3.1], these two definitions are equivalent. Following [32, 154 pp.], we say that a closed densely defined operator A in is quasinormal if A commutes with the spectral measure E of A , i.e. E(σ)A HAE(σ) for all Borel subsets σ of the nonnegative part of the real line.| | A densely⊂ defined operator A in is called subnormal if there exists a complex Hilbert space and a normal operatorH N in such that (isometric embedding) and Sh =KNh for all h (S). TheK foundationsH of ⊆ the K theory of unbounded (i.e., not necessarily bounded)∈ D subnormal operators were developed by the second-named author and F. H. Szafraniec (cf. [31, 32, 33, 34]). It is well known that normal ( quasinormal ( subnormal ( hyponormal (1.1) { } { } { } { } The present paper is a sequel to [23], where the authors showed that the ques- arXiv:2103.09961v2 [math.FA] 6 Apr 2021 tion formulated by R. E. Curto, S. H. Lee and J. Yoon (see [7, Problem 1.1]) has the affirmative answer.
    [Show full text]