Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016)...
Transcript of Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016)...
![Page 1: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/1.jpg)
Subnormality of operators of class Q
Jan Stochel
coauthors: S. Chavan, Z. J. Jabłonski, I. B. Jung
OTOA 2018, December 13-19, Bangalore
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 2: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/2.jpg)
The Cauchy dual operator
The Cauchy dual (operator) T ′ of a left-invertible operatorT ∈ B(H) is defined by
T ′ = T (T ∗T )−1.
If T is left-invertible, then T ′ is again left-invertible and
(T ′)′ = T ,T ∗T ′ = I and T ′∗T = I.
This notion has been introduced and studied by Shimorinin the context of the wandering subspace problem forBergman-type operators (2001).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 3: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/3.jpg)
The Cauchy dual operator
The Cauchy dual (operator) T ′ of a left-invertible operatorT ∈ B(H) is defined by
T ′ = T (T ∗T )−1.
If T is left-invertible, then T ′ is again left-invertible and
(T ′)′ = T ,T ∗T ′ = I and T ′∗T = I.
This notion has been introduced and studied by Shimorinin the context of the wandering subspace problem forBergman-type operators (2001).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 4: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/4.jpg)
The Cauchy dual operator
The Cauchy dual (operator) T ′ of a left-invertible operatorT ∈ B(H) is defined by
T ′ = T (T ∗T )−1.
If T is left-invertible, then T ′ is again left-invertible and
(T ′)′ = T ,T ∗T ′ = I and T ′∗T = I.
This notion has been introduced and studied by Shimorinin the context of the wandering subspace problem forBergman-type operators (2001).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 5: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/5.jpg)
Complete hyperexpansivity; m-isometries
Given m > 1, we say that an operator T ∈ B(H) is anm-isometry if Bm(T ) = 0, where
Bm(T ) =m∑
k=0
(−1)k(
mk
)T ∗kT k .
We say that T is:• completely hyperexpansive if Bm(T ) 6 0 for all m > 1.• 2-hyperexpansive if B2(T ) 6 0.• 2-hyperexpansive operator Richter (1988)• m-isometric operator Agler (1990)• completely hyperexpansive operator Athavale (1996)• a 2-isometry is m-isometric for every m > 2, and thus it iscompletely hyperexpansive,• a 2-hyperexpansive (e.g. 2-isometric) operator isleft-invertible and its Cauchy dual T ′ is a contraction.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 6: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/6.jpg)
Complete hyperexpansivity; m-isometries
Given m > 1, we say that an operator T ∈ B(H) is anm-isometry if Bm(T ) = 0, where
Bm(T ) =m∑
k=0
(−1)k(
mk
)T ∗kT k .
We say that T is:• completely hyperexpansive if Bm(T ) 6 0 for all m > 1.• 2-hyperexpansive if B2(T ) 6 0.• 2-hyperexpansive operator Richter (1988)• m-isometric operator Agler (1990)• completely hyperexpansive operator Athavale (1996)• a 2-isometry is m-isometric for every m > 2, and thus it iscompletely hyperexpansive,• a 2-hyperexpansive (e.g. 2-isometric) operator isleft-invertible and its Cauchy dual T ′ is a contraction.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 7: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/7.jpg)
Complete hyperexpansivity; m-isometries
Given m > 1, we say that an operator T ∈ B(H) is anm-isometry if Bm(T ) = 0, where
Bm(T ) =m∑
k=0
(−1)k(
mk
)T ∗kT k .
We say that T is:• completely hyperexpansive if Bm(T ) 6 0 for all m > 1.• 2-hyperexpansive if B2(T ) 6 0.• 2-hyperexpansive operator Richter (1988)• m-isometric operator Agler (1990)• completely hyperexpansive operator Athavale (1996)• a 2-isometry is m-isometric for every m > 2, and thus it iscompletely hyperexpansive,• a 2-hyperexpansive (e.g. 2-isometric) operator isleft-invertible and its Cauchy dual T ′ is a contraction.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 8: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/8.jpg)
Complete hyperexpansivity; m-isometries
Given m > 1, we say that an operator T ∈ B(H) is anm-isometry if Bm(T ) = 0, where
Bm(T ) =m∑
k=0
(−1)k(
mk
)T ∗kT k .
We say that T is:• completely hyperexpansive if Bm(T ) 6 0 for all m > 1.• 2-hyperexpansive if B2(T ) 6 0.• 2-hyperexpansive operator Richter (1988)• m-isometric operator Agler (1990)• completely hyperexpansive operator Athavale (1996)• a 2-isometry is m-isometric for every m > 2, and thus it iscompletely hyperexpansive,• a 2-hyperexpansive (e.g. 2-isometric) operator isleft-invertible and its Cauchy dual T ′ is a contraction.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 9: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/9.jpg)
Hyponormal, quasinormal and subnormal operators
An operator T ∈ B(H) is said to be:• hyponormal if TT ∗ 6 T ∗T (Halmos 1950),• subnormal if there exist a Hilbert space K and a normaloperator N ∈ B(K), i.e. N∗N = NN∗, such that H ⊆ K andTh = Nh for all h ∈ H (Halmos 1950),• quasinormal if TTT ∗ = TT ∗T (A. Brown 1953).quasinormal operators are subnormal and subnormaloperators are hyponormal, but not reversely (if H is infinitedimensional).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 10: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/10.jpg)
Hyponormal, quasinormal and subnormal operators
An operator T ∈ B(H) is said to be:• hyponormal if TT ∗ 6 T ∗T (Halmos 1950),• subnormal if there exist a Hilbert space K and a normaloperator N ∈ B(K), i.e. N∗N = NN∗, such that H ⊆ K andTh = Nh for all h ∈ H (Halmos 1950),• quasinormal if TTT ∗ = TT ∗T (A. Brown 1953).quasinormal operators are subnormal and subnormaloperators are hyponormal, but not reversely (if H is infinitedimensional).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 11: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/11.jpg)
The Cauchy dual subnormality problem
The map T 7−→ T ′ sends♣ 2-hyperexpansive operators into hyponormalcontractions (Shimorin 2002),♣ completely hyperexpansive unilateral weighted shifts intosubnormal contractions (Athavale 1996).This leads to the Cauchy dual subnormality problemoriginally posed by Chavan (2007):Is the Cauchy dual of a completely hyperexpansiveoperator a subnormal contraction?The Cuchy dual operator of a 2-hyperexpansive operator ispower hyponormal contractions (Chavan 2013).The answer is NO even for 2-isometries(Anand, Chavan, Jablonski, JS 2017).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 12: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/12.jpg)
The Cauchy dual subnormality problem
The map T 7−→ T ′ sends♣ 2-hyperexpansive operators into hyponormalcontractions (Shimorin 2002),♣ completely hyperexpansive unilateral weighted shifts intosubnormal contractions (Athavale 1996).This leads to the Cauchy dual subnormality problemoriginally posed by Chavan (2007):Is the Cauchy dual of a completely hyperexpansiveoperator a subnormal contraction?The Cuchy dual operator of a 2-hyperexpansive operator ispower hyponormal contractions (Chavan 2013).The answer is NO even for 2-isometries(Anand, Chavan, Jablonski, JS 2017).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 13: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/13.jpg)
The Cauchy dual subnormality problem
The map T 7−→ T ′ sends♣ 2-hyperexpansive operators into hyponormalcontractions (Shimorin 2002),♣ completely hyperexpansive unilateral weighted shifts intosubnormal contractions (Athavale 1996).This leads to the Cauchy dual subnormality problemoriginally posed by Chavan (2007):Is the Cauchy dual of a completely hyperexpansiveoperator a subnormal contraction?The Cuchy dual operator of a 2-hyperexpansive operator ispower hyponormal contractions (Chavan 2013).The answer is NO even for 2-isometries(Anand, Chavan, Jablonski, JS 2017).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 14: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/14.jpg)
The Cauchy dual subnormality problem
The map T 7−→ T ′ sends♣ 2-hyperexpansive operators into hyponormalcontractions (Shimorin 2002),♣ completely hyperexpansive unilateral weighted shifts intosubnormal contractions (Athavale 1996).This leads to the Cauchy dual subnormality problemoriginally posed by Chavan (2007):Is the Cauchy dual of a completely hyperexpansiveoperator a subnormal contraction?The Cuchy dual operator of a 2-hyperexpansive operator ispower hyponormal contractions (Chavan 2013).The answer is NO even for 2-isometries(Anand, Chavan, Jablonski, JS 2017).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 15: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/15.jpg)
The Cauchy dual subnormality problem
The map T 7−→ T ′ sends♣ 2-hyperexpansive operators into hyponormalcontractions (Shimorin 2002),♣ completely hyperexpansive unilateral weighted shifts intosubnormal contractions (Athavale 1996).This leads to the Cauchy dual subnormality problemoriginally posed by Chavan (2007):Is the Cauchy dual of a completely hyperexpansiveoperator a subnormal contraction?The Cuchy dual operator of a 2-hyperexpansive operator ispower hyponormal contractions (Chavan 2013).The answer is NO even for 2-isometries(Anand, Chavan, Jablonski, JS 2017).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 16: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/16.jpg)
Affirmative solutions
The following question was addressed in (ACJS 2017):• find subclasses of the class of 2-isometries for which theCauchy dual subnormality problem has an affirmativesolution.It was proved in (ACJS 2017) that this is the case for:• 2-isometries satisfying the kernel condition
T ∗T (ker(T ∗)) ⊆ ker(T ∗),
• the so-called quasi-Brownian isometries .A recent generalization: in the class of quasi-Brownianisometries the map T 7→ T ′ sends bijectivelyhyperexpansive operators onto subnormal contractions(Badea, Suciu 2018).Quasi-Brownian isometries = 4T -regular 2-isometries(Majdak, Mbekhta, Suciu 2016) generalize Brownianisometries studied by Agler and Stankus (1995-1996).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 17: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/17.jpg)
Affirmative solutions
The following question was addressed in (ACJS 2017):• find subclasses of the class of 2-isometries for which theCauchy dual subnormality problem has an affirmativesolution.It was proved in (ACJS 2017) that this is the case for:• 2-isometries satisfying the kernel condition
T ∗T (ker(T ∗)) ⊆ ker(T ∗),
• the so-called quasi-Brownian isometries .A recent generalization: in the class of quasi-Brownianisometries the map T 7→ T ′ sends bijectivelyhyperexpansive operators onto subnormal contractions(Badea, Suciu 2018).Quasi-Brownian isometries = 4T -regular 2-isometries(Majdak, Mbekhta, Suciu 2016) generalize Brownianisometries studied by Agler and Stankus (1995-1996).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 18: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/18.jpg)
Affirmative solutions
The following question was addressed in (ACJS 2017):• find subclasses of the class of 2-isometries for which theCauchy dual subnormality problem has an affirmativesolution.It was proved in (ACJS 2017) that this is the case for:• 2-isometries satisfying the kernel condition
T ∗T (ker(T ∗)) ⊆ ker(T ∗),
• the so-called quasi-Brownian isometries .A recent generalization: in the class of quasi-Brownianisometries the map T 7→ T ′ sends bijectivelyhyperexpansive operators onto subnormal contractions(Badea, Suciu 2018).Quasi-Brownian isometries = 4T -regular 2-isometries(Majdak, Mbekhta, Suciu 2016) generalize Brownianisometries studied by Agler and Stankus (1995-1996).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 19: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/19.jpg)
Affirmative solutions
The following question was addressed in (ACJS 2017):• find subclasses of the class of 2-isometries for which theCauchy dual subnormality problem has an affirmativesolution.It was proved in (ACJS 2017) that this is the case for:• 2-isometries satisfying the kernel condition
T ∗T (ker(T ∗)) ⊆ ker(T ∗),
• the so-called quasi-Brownian isometries .A recent generalization: in the class of quasi-Brownianisometries the map T 7→ T ′ sends bijectivelyhyperexpansive operators onto subnormal contractions(Badea, Suciu 2018).Quasi-Brownian isometries = 4T -regular 2-isometries(Majdak, Mbekhta, Suciu 2016) generalize Brownianisometries studied by Agler and Stankus (1995-1996).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 20: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/20.jpg)
A block matrix representation
TheoremIf T ∈ B(H), then TFAE:
(i) T is a quasi-Brownian isometry (resp., Brownian isometry),
(ii) T has a block matrix form
T =
[V E0 U
](1)
with respect to an orthogonal decomposition H = H1 ⊕H2,where V ∈ B(H1), E ∈ B(H2,H1) and U ∈ B(H2) are such that
V isometry, V ∗E = 0, U isometry, UE∗E = E∗EU (2)(resp., V isometry, V ∗E = 0, U unitary, UE∗E = E∗EU), (3)
(iii) T is either an isometry or it has the block matrix form (1) withrespect to a nontrivial orthogonal decomposition H = H1 ⊕H2,where V ∈ B(H1), E ∈ B(H2,H1) and U ∈ B(H2) satisfy (2)(resp. (3)) and ker E = 0.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 21: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/21.jpg)
Aims of the talk
− This leads to a question why this phenomenon canhappen.−We will attempt to answer this by indicating and testing acertain class of operators closed for the operation of takingthe Cauchy dual.For this, we embed the class of quasi-Brownian isometriesinto an essentially larger class of operators having the 2×2block matrix representation described by (1) and (2), notrequiring that U (the bottom right corner) is an isometry.The entry U can be replaced by a more general operator,namely by a normal, a quasinormal or a subnormaloperator; N , Q and S denote the respective classes ofoperators.The most challenging problem is to characterizesubnormality and complete hyperexpansivity within theseclasses. In my talk I will concentrate on the class Q.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 22: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/22.jpg)
Aims of the talk
− This leads to a question why this phenomenon canhappen.−We will attempt to answer this by indicating and testing acertain class of operators closed for the operation of takingthe Cauchy dual.For this, we embed the class of quasi-Brownian isometriesinto an essentially larger class of operators having the 2×2block matrix representation described by (1) and (2), notrequiring that U (the bottom right corner) is an isometry.The entry U can be replaced by a more general operator,namely by a normal, a quasinormal or a subnormaloperator; N , Q and S denote the respective classes ofoperators.The most challenging problem is to characterizesubnormality and complete hyperexpansivity within theseclasses. In my talk I will concentrate on the class Q.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 23: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/23.jpg)
Aims of the talk
− This leads to a question why this phenomenon canhappen.−We will attempt to answer this by indicating and testing acertain class of operators closed for the operation of takingthe Cauchy dual.For this, we embed the class of quasi-Brownian isometriesinto an essentially larger class of operators having the 2×2block matrix representation described by (1) and (2), notrequiring that U (the bottom right corner) is an isometry.The entry U can be replaced by a more general operator,namely by a normal, a quasinormal or a subnormaloperator; N , Q and S denote the respective classes ofoperators.The most challenging problem is to characterizesubnormality and complete hyperexpansivity within theseclasses. In my talk I will concentrate on the class Q.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 24: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/24.jpg)
Aims of the talk
− This leads to a question why this phenomenon canhappen.−We will attempt to answer this by indicating and testing acertain class of operators closed for the operation of takingthe Cauchy dual.For this, we embed the class of quasi-Brownian isometriesinto an essentially larger class of operators having the 2×2block matrix representation described by (1) and (2), notrequiring that U (the bottom right corner) is an isometry.The entry U can be replaced by a more general operator,namely by a normal, a quasinormal or a subnormaloperator; N , Q and S denote the respective classes ofoperators.The most challenging problem is to characterizesubnormality and complete hyperexpansivity within theseclasses. In my talk I will concentrate on the class Q.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 25: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/25.jpg)
The class Q
DefinitionWe say that an operator T ∈ B(H) is of class Q if T has a blockmatrix form
T =
[V E0 Q
]with respect to a nontrivial orthogonal decompositionH = H1 ⊕H2, where V ∈ B(H1), E ∈ B(H2,H1) andQ ∈ B(H2) satisfy the conditions
V isometry, V ∗E = 0, QE∗E = E∗EQ,Q is a quasinormal operator.
If this is the case, then we write T =[
V E0 Q
]∈ QH1,H2 .
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 26: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/26.jpg)
The Cauchy dual
Proposition
Suppose T =[
V E0 Q
]∈ QH1,H2 is left invertible. Then
Ω := E∗E + Q∗Q is invertible in B(H), T ′ ∈ QH1,H2 and
T ′ =
[V E0 Q
],
where
E = EΩ−1 and Q = QΩ−1.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 27: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/27.jpg)
Powers
Proposition
Suppose T =[
V E0 Q
]∈ QH1,H2 . Then
(i) T n =
[V n En0 Qn
]∈ QH1,H2 for any n ∈ Z+, where
En =
0 if n = 0,∑n
j=1 V j−1EQn−j if n > 1,
(ii) T ∗nT n =
[I 00 Ωn
]∈ QH1,H2 for any n ∈ Z+, where
Ωn =
I if n = 0,E∗E
(∑n−1j=0 (Q∗Q)j
)+ (Q∗Q)n if n > 1.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 28: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/28.jpg)
Isometries
Corollary
Suppose T =[
V E0 Q
]∈ QH1,H2 . Then T is an isometry if and
only if
|Q|2 + |E |2 = I, (4)
or equivalently if and only if
σ(|Q|, |E |) ⊆ T+,
where T+ := (x1, x2) ∈ R2+ : x2
1 + x22 = 1.
A pair (T1,T2) ∈ B(H)2 is said to be a spherical isometry ifT ∗1 T1 + T ∗2 T2 = I. Thus (4) means that the pair (|Q|, |E |) isa spherical isometry.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 29: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/29.jpg)
Isometries
Corollary
Suppose T =[
V E0 Q
]∈ QH1,H2 . Then T is an isometry if and
only if
|Q|2 + |E |2 = I, (4)
or equivalently if and only if
σ(|Q|, |E |) ⊆ T+,
where T+ := (x1, x2) ∈ R2+ : x2
1 + x22 = 1.
A pair (T1,T2) ∈ B(H)2 is said to be a spherical isometry ifT ∗1 T1 + T ∗2 T2 = I. Thus (4) means that the pair (|Q|, |E |) isa spherical isometry.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 30: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/30.jpg)
4T -regularity
Proposition
Suppose T =[
V E0 Q
]∈ QH1,H2 . Set 4T = T ∗T − I and
Ω = E∗E + Q∗Q. Then the following conditions are equivalent:(i) T is 4T -regular, i.e., 4T > 0 and 4T T = 41/2
T T41/2T with
4T = T ∗T − I,
(ii) 4T > 0,
(iii) Ω > I,
(iv) σ(|Q|, |E |) ∩ D+ = ∅, where D+ = (x1, x2) ∈ R2+ : x2
1 + x22 < 1.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 31: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/31.jpg)
Quasi-Brownian operators of class Q
Theorem
Suppose T =[
V E0 Q
]∈ QH1,H2 . Then the following conditions
are equivalent:(i) T is a quasi-Brownian isometry,
(ii) T is a 2-isometry,
(iii) (|Q|2 − I)(|Q|2 + |E |2 − I) = 0,
(iv) σ(|Q|, |E |) ⊆ T+ ∪(1 × R+
),
(v) there exists an orthogonal decomposition H2 = H2,1 ⊕H2,2 suchthat H2,1 and H2,2 reduce Q and |E |, Q|H2,1 is an isometry and(
Q∣∣H2,2
, |E |∣∣H2,2
)is a spherical isometry.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 32: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/32.jpg)
Brownian-isometries
Proposition
Suppose T =[
V E0 Q
]∈ QH1,H2 . Then the following conditions
are equivalent:(i) T is a Brownian isometry, i.e., T is a 2-isometry such that4T4T∗4T = 0,
(ii) (|Q|2 − I)(|Q|2 + |E |2 − I) = 0and
(|Q∗|2 − I)(|Q|2 + |E |2 − I)2 = 0,
(iii) there exists an orthogonal decomposition H2 = H2,1 ⊕H2,2 suchthat H2,1 and H2,2 reduce Q and |E |, Q|H2,1 is an isometry,(
Q∣∣H2,2
, |E |∣∣H2,2
)is a spherical isometry and the spaces
H2,1 Q(H2,1) and |E |(H2,1) are orthogonal.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 33: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/33.jpg)
Subnormality
Theorem
Suppose T =[
V E0 Q
]∈ QH1,H2 . Then the following conditions
are equivalent:(i) T is subnormal,
(ii) σ(|Q|, |E |) ⊆ D+ ∪(
(1,∞)× 0),
where σ(|Q|, |E |) stands for the Taylor spectrum of (|Q|, |E |)and
D+ = (x1, x2) ∈ R2+ : x2
1 + x22 < 1.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 34: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/34.jpg)
Hamburger and Stieltjes moment multi-sequences
We say that a multi-sequence γαα∈Zd+⊆ R is a
Hamburger moment multi-sequence (or Hamburgermoment sequence if d = 1) if there exists a positive Borelmeasure µ on Rd , called a representing measure ofγαα∈Zd
+, such that
γα =
∫Rd
xαdµ(x), α ∈ Zd+. (5)
If such µ is unique, then γαα∈Zd+
is said to bedeterminate . If (5) holds for some positive Borel measureµ on Rd supported in Rd
+, then γαα∈Zd+
is called aStieltjes moment multi-sequence (or Stieltjes momentsequence if d = 1).
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 35: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/35.jpg)
Lambert’s characterization of subnormality
Theorem (Lambert 1976)
An operator T ∈ B(H) is subnormal if and only if for everyf ∈ H, the sequence ‖T nf‖2∞n=0 is a Stieltjes momentsequence, i.e., there exists a positive Borel measure µf on[0,∞) such that
‖T nf‖2 =
∫[0,∞)
tndµf (t), n = 0,1,2, . . . .
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 36: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/36.jpg)
Spectral integrals and moments
LemmaLet G : B(X )→ B(H) be a regular Borel spectral measure on atopological Hausdorff space X such that supp G is compact.Suppose that for every n ∈ Z+, ϕn : X → R is a continuousfunction. Then TFAE:
(i) ∫
X ϕn(x)〈G(d x)f , f 〉∞n=0 is a Stieltjes moment sequence forevery f ∈ H,
(ii) ϕn(x)∞n=0 is a Stieltjes moment sequence for every x ∈ supp G.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 37: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/37.jpg)
A characterization of subnormality
TheoremLet G : B(X )→ B(H) be a regular Borel spectral measure on atopological Hausdorff space X such that supp G is compact andlet T ∈ B(H) be such that
T ∗nT n =
∫Xϕn d G, n ∈ Z+,
where ϕn : X → R, n ∈ Z+, are continuous functions. Supposethat for every x ∈ X, there exists a compactly supportedcomplex Borel measure µx on R+ such that
ϕn(x) =
∫R+
tn dµx (t), n ∈ Z+, x ∈ X .
Then T is subnormal if and only if for every x ∈ supp G, µx is apositive measure.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 38: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/38.jpg)
Hamburger multi-sequences
LemmaLet d ∈ N, µ be a compactly supported complex Borel measureon Rd and
γα =
∫Rd
xαdµ(x), α ∈ Zd+.
Then the following conditions are equivalent:(i) γαα∈Rd is a Hamburger moment multi-sequence,
(ii) µ is a positive measure.Moreover, if (i) holds, then γαα∈Rd is determinate.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 39: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/39.jpg)
Uniqueness of moments I
LemmaSuppose d > 1 and µ1 and µ2 are compactly supportedcomplex Borel measures on Rd such that∫
Rdxαdµ1(x) =
∫Rd
xαdµ2(x), α ∈ Zd+.
Then µ1 = µ2.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 40: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/40.jpg)
Uniqueness of moments II
Any sequence γn∞n=0 ⊆ R has infinitely manyrepresenting complex measures. Indeed, by [Boas 1938,Durán], there is a complex Borel measure ρ on R such that
γn =
∫R
xndρ(x), n ∈ Z+.
Let sn∞n=0 be an indeterminate Hamburger momentsequence with two distinct representing measures µ1 andµ2. Then µ := µ1 − µ2 is a signed Borel measure on Rsuch that (Stieltjes)∫
Rxndµ(x) = 0, n ∈ Z+.
As a consequence, we have
γn =
∫R
xnd(ρ+ ϑµ)(x), n ∈ Z+, ϑ ∈ C.
Moreover, the mapping C 3 ϑ 7−→ ρ+ ϑµ is injective.Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 41: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/41.jpg)
Polynomials and moments
LemmaLet for k = 1,2, γk (n)∞n=0 be a Hamburger moment sequencehaving a compactly supported representing measure µk and letp ∈ C[x ] be such that
γ1(n) = γ2(n) + p(n), n ∈ Z+. (6)
Then p is a constant polynomial and µ1 = µ2 + p(0)δ1.
Corollary
Suppose p ∈ C[x ]. Then the following conditions areequivalent:
(i) p(n)∞n=0 is a Hamburger moment sequence,
(ii) p(n)∞n=0 is a Stieltjes moment sequence,
(iii) p is a constant polynomial and p(0) > 0.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 42: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/42.jpg)
Polynomials and moments
LemmaLet for k = 1,2, γk (n)∞n=0 be a Hamburger moment sequencehaving a compactly supported representing measure µk and letp ∈ C[x ] be such that
γ1(n) = γ2(n) + p(n), n ∈ Z+. (6)
Then p is a constant polynomial and µ1 = µ2 + p(0)δ1.
Corollary
Suppose p ∈ C[x ]. Then the following conditions areequivalent:
(i) p(n)∞n=0 is a Hamburger moment sequence,
(ii) p(n)∞n=0 is a Stieltjes moment sequence,
(iii) p is a constant polynomial and p(0) > 0.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 43: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/43.jpg)
References
J. Agler, A disconjugacy theorem for Toeplitz operators,Amer. J. Math. 112 (1990), 1-14.
J. Agler, M. Stankus, m-isometric transformations of Hilbertspaces, I, II, III, Integr. Equ. Oper. Theory 21, 23, 24 (1995,1995, 1996), 383-429, 1-48, 379-421.
W. Majdak, M. Mbekhta, L. Suciu, Operators intertwiningwith isometries and Brownian parts of 2-isometries, LinearAlgebra Appl. 509 (2016), 168-190.
A. Anand, S. Chavan, Z. J. Jabłonski, J. Stochel, A solutionto the Cauchy dual subnormality problem for 2-isometries,preprint 2017.
C. Badea, L. Suciu, The Cauchy dual and 2-isometricliftings of concave operators, preprint 2018.
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q
![Page 44: Subnormality of operators of class Qjay/OTOA/OTOA18/0Jan.pdf · (Majdak, Mbekhta, Suciu 2016) generalizeBrownian isometriesstudied by Agler and Stankus (1995-1996). Jan Stochel [4ex]](https://reader033.fdocuments.in/reader033/viewer/2022050601/5fa8874a4afbf90c52295609/html5/thumbnails/44.jpg)
THANK YOU!
Jan Stochel [4ex] coauthors: S. Chavan, Z. J. Jabłonski, I. B. JungSubnormality of operators of class Q