Abstract
Asymmetric dual truncated Toeplitz operators acting between the orthogonal complements of two (eventually different) model spaces are introduced and studied. They are shown to be equivalent after extension to paired operators on \(L^2({\mathbb {T}}) \oplus L^2({\mathbb {T}})\) and, if their symbols are invertible in \(L^\infty ({\mathbb {T}})\), to asymmetric truncated Toeplitz operators with the inverse symbol. Relations with Carleson’s corona theorem are also established. These results are used to study the Fredholmness, the invertibility and the spectra of various classes of dual truncated Toeplitz operators.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Toeplitz operators have been for a long time one of the most studied classes of nonselfadjoint operators [3]. They are defined as compressions of multiplication operators on \(L^2({\mathbb {T}})\), to the Hardy space of the unit disk \(H^2({\mathbb {D}})\). Dual Toeplitz operators are analogously defined on the orthogonal complement of \(H^2({\mathbb {D}})\), identified as usual with a subspace of \(L^2({\mathbb {T}})\), as multiplication operators followed by projection onto \(L^2({\mathbb {T}}) \ominus H^2({\mathbb {D}})\). Although they differ in various ways from Toeplitz operators, they also share many properties, which is not surprising given that they are anti-unitarily equivalent. The algebraic and spectral properties of dual Toeplitz operators, and the extent to which their properties are parallel to those of Toeplitz operators on \(H^2({\mathbb {D}})\), were studied in [19].
Truncated Toeplitz operators, defined as compressions of multiplication operators to closed subspaces of \(H^2({\mathbb {D}})\) which are invariant for the backward shift \(S^*\), called model spaces, have also generated great interest, partly motivated by Sarason’s paper [17]. Their study, as well as that of asymmetric truncated Toeplitz operators later introduced in [6], raised many interesting questions and has led to new and sometimes surprising results, see for example [2, 6, 8, 11]. It is natural to consider dual truncated Toeplitz operators, defined analogously as compressions of multiplication operators to the orthogonal complement of a model space in \(L^2({\mathbb {T}})\). These operators were very recently introduced and studied in [9, 13, 15]. It turns out that, in this case, they behave very differently from truncated Toeplitz operators. For instance, the symbol of a dual truncated Toeplitz operator is unique and the only compact operator of that kind is the zero operator, in sharp contrast with what happens with truncated Toeplitz operators on model spaces.
In this paper we study the kernels and various spectral properties, such as Fredholmness and invertibility, of dual truncated Toeplitz operators. The results are applied to describe the spectra of dual truncated Toeplitz operators in several classes including, as particular cases, the dual truncated shift and its adjoint. We do this by using a novel approach to dual truncated Toeplitz operators and their asymmetric analogues, defined similarly between the orthogonal complements of two possibly different model spaces. This involves proving their equivalence after extension to paired operators in \(L^2({\mathbb {T}})\oplus L^2({\mathbb {T}})\), defined in Sect. 2, and establishing connections with the corona theorem. This allows moreover to show that, whenever their symbol is invertible in \(L^\infty ({\mathbb {T}})\), dual truncated Toeplitz operators are in fact equivalent after extension to truncated Toeplitz operators with the inverse symbol.
The paper is organized as follows. In Sect. 1 we introduce asymmetric dual truncated Toeplitz operators and present some basic properties, while in Sect. 2 we recall the concepts of paired operator and equivalence after extension between two Banach spaces. In Sect. 3 we study the solvability of certain equations involving asymmetric dual truncated Toeplitz operators in connection with equations involving paired operators. In Sect. 5 we show that dual truncated Toeplitz operators are equivalent after extension to truncated Toeplitz operators with the inverse symbol, if the latter is invertible in \(L^\infty ({\mathbb {T}})\). In Sect. 6 we study the kernels of asymmetric dual truncated Toeplitz operators in terms of explicitly defined isomorphisms with kernels of other operators. We show in particular that the kernels of a dual truncated Toeplitz operator and its adjoint are isomorphic and related by the usual conjugation on a model space. In Sect. 7 we present sufficient conditions for a dual truncated Toeplitz operator to be injective or invertible in terms of certain corona pairs, i.e., pairs of functions satisfying the hypotheses of Carleson’s corona theorem [12, 16]. We use the previous results to study the Fredholmness, invertibility and spectra of several classes of dual truncated Toeplitz operators.
2 Elementary properties
Let \(P^+,\,P^-\) be the orthogonal projections from \(L^2\) onto \(H^2\) and \(H^2_-={\bar{z}}\overline{H^2}\), respectively. We have \(P^-=I - P^+\).
Recall that for \(\varphi \in L^\infty =L^\infty (\mathbb {T})\) a Toeplitz operator \(T_\varphi :H^2\rightarrow H^2\) is defined by \(T_\varphi f=P^+(\varphi f)\) for \(f\in H^2\).
For an inner function \(\theta\) define the model space \(K_\theta =H^2\ominus \theta H^2\) and let \(P_\theta\) and \(Q_\theta\) be the orthogonal projections from \(L^2 =L^2({\mathbb {T}})\) onto the model space \(K_\theta\) and its orthogonal complement \((K_{\theta })^{\bot }= L^2\ominus K_{\theta }=H^2_-\oplus \theta H^2\), respectively.
Let \(\alpha ,\theta\) be inner functions and let \(\varphi \in L^2\). An asymmetric truncated Toeplitz operator \(A^{\theta ,\alpha }_\varphi\) is defined by
for \(f\in K_\theta \cap L^\infty\) (see [6, 8]), whereas the asymmetric dual truncated Toeplitz operator \(D_{\varphi }^{\theta ,\alpha }\) is defined by
for \(f\in (K_{\theta })^{\bot }\cap L^{\infty }\), which is a dense subset of \((K_{\theta })^{\bot }\). If \(A^{\theta ,\alpha }_\varphi\) or \(D_{\varphi }^{\theta ,\alpha }\) have a bounded extension to \(K_\theta\) or \((K_{\theta })^{\bot }\), respectively, we denote them also by \(A^{\theta ,\alpha }_\varphi\) and \(D_{\varphi }^{\theta ,\alpha }\), respectively. When \(\alpha =\theta\) instead of \(A^{\theta ,\theta }_\varphi\) and \(D_{\varphi }^{\theta ,\theta }\) we write \(A^{\theta }_\varphi\) and \(D_{\varphi }^{\theta }\), respectively.
We start with some elementary properties of asymmetric dual truncated Toeplitz operators. These properties were proved in [9] for \(\alpha =\theta\).
Proposition 2.1
Let \(\varphi \in L^2\). Then \(D_{\varphi }^{\theta ,\alpha }\)is bounded if and only if \(\varphi \in L^{\infty }\)and, in that case, \(\Vert D_{\varphi }^{\theta ,\alpha }\Vert =\Vert \varphi \Vert _{\infty }\).
Proof
Let \(\varphi \in L^2\) and take \(f\in H^\infty\). Then \(\theta f \in \theta H^\infty \subset \theta H^2\),
and
If \(D_{\varphi }^{\theta ,\alpha }\) is bounded, then, for some \(C>0\), \(\Vert D_{\varphi }^{\theta ,\alpha }(\theta f)\Vert ^2 \leqslant C\Vert f\Vert ^2\), so by the above \(\Vert T_{{\bar{\alpha }}\theta \varphi }(f)\Vert ^2\leqslant C\Vert f\Vert ^2\). Since this holds for any \(f\in H^\infty\), it follows that \(T_{{\bar{\alpha }}\theta \varphi }\) is bounded in \(H^2\) and therefore \({\bar{\alpha }}\theta \varphi \in L^{\infty }\), which implies that \(\varphi \in L^{\infty }\). Moreover, \(\Vert \varphi \Vert _{\infty }=\Vert T_{{\bar{\alpha }}\theta \varphi }\Vert \leqslant \Vert D_{\varphi }^{\theta ,\alpha }\Vert\).
On the other hand, if \(\varphi \in L^{\infty }\), then \(D_{\varphi }^{\theta ,\alpha }\) is clearly a bounded operator from \((K_{\theta })^{\bot }\) into \((K_{\alpha })^{\bot }\). Indeed, for any \(f\in (K_{\theta })^{\bot }\) we then have
Moreover, \(\Vert D_{\varphi }^{\theta ,\alpha }\Vert \leqslant \Vert \varphi \Vert _{\infty }\). \(\square\)
Taking the result of Proposition 2.1 into account, we assume from now on that \(\varphi \in L^\infty\). It is also easy to see that \((D_{\varphi }^{\theta ,\alpha })^*=D_{\overline{\varphi }}^{\alpha ,\theta }\).
Proposition 2.2
For \(\varphi \in L^{\infty }\), we have that \(D_{\varphi }^{\theta ,\alpha }\)is compact if and only if \(\varphi =0\).
Proof
Assume that \(D_{\varphi }^{\theta ,\alpha }\) is compact and let \(f_n\in (K_{\theta })^{\bot }\), with \(f_n\) weakly convergent to 0 \((f_n\rightharpoonup 0)\). Then \(\Vert D_{\varphi }^{\theta ,\alpha }f_n\Vert \rightarrow 0\). Note that for \(f_n=\theta \tilde{f}_n\) with \(\tilde{f}_n\in H^2\), we have \(f_n\rightharpoonup 0\) (in \(\theta H^2\)) if and only if \({\tilde{f}}_n \rightharpoonup 0\) (in \(H^2\)). It follows that if \({\tilde{f}}_n \rightharpoonup 0\), then \(\Vert D_{\varphi }^{\theta ,\alpha }(\theta {\tilde{f}}_n)\Vert \rightarrow 0\). Since \(\Vert T_{{\bar{\alpha }}\theta \varphi }{\tilde{f}}_n\Vert \leqslant \Vert D_{\varphi }^{\theta ,\alpha }(\theta {\tilde{f}}_n)\Vert\) (see the proof of Proposition 2.1), we have that \(\Vert T_{{\bar{\alpha }}\theta \varphi } {\tilde{f}}_n\Vert \rightarrow 0\) whenever \({\tilde{f}}_n \rightharpoonup 0\). So, if \(D_{\varphi }^{\theta ,\alpha }\) is compact, then \(T_{{\bar{\alpha }}\theta \varphi }\) is also compact and therefore \(\varphi =0\). \(\square\)
Remark 2.3
Proposition 2.2 implies, in particular, that the only symbol for the zero asymmetric dual truncated Toeplitz operator is \(\varphi =0\). Since the question of \(D_{\varphi }^{\theta ,\alpha }\) being the zero operator is equivalent to \(\varphi\) being a multiplier from \((K_{\theta })^{\bot }\) into \(K_{\alpha }\), we conclude also that there are no non-trivial \(L^\infty\)-multipliers from \((K_{\theta })^{\bot }\) into \(K_\alpha\). In contrast with this, the question of whether there are non-trivial multipliers from \(K_{\alpha }\) into \((K_{\theta })^{\bot }\), which is equivalent to \(A_{\varphi }^{\alpha ,\theta }\) being the zero operator, has a positive answer [6, 8].
3 Paired operators and equivalence after extension
For a Banach space X denote by \(\mathcal {L}(X)\) the space of all bounded linear operators \(A:X\rightarrow X\). Let \(P\in \mathcal {L}(X)\) be a projection and let \(Q=I-P\) be its complementary projection. An operator of the form \(AP+BQ\) or \(PA+QB\), where \(A,B \in \mathcal {L}(X)\), is called a paired operator [14].
Paired operators are closely connected with operators of the form \(PCP|_{{{\,\mathrm{Im}\,}}P}\) and \(QCQ|_{{{\,\mathrm{Im}\,}}Q}\), where \(C\in \mathcal {L}(X)\), which are called general Wiener–Hopf operators or operators of Wiener–Hopf type [14, 18]. To understand this relation, it will be useful to introduce here the concept of equivalence after extension for operators.
Definition 3.1
(Equivalence after extension, [1]) Let X, \({\tilde{X}}\), Y, \({\tilde{Y}}\) be Banach spaces and let us use the term operator to mean a bounded linear operator.
The operators \(T:X\rightarrow {\tilde{X}}\) and \(S:Y\rightarrow {\tilde{Y}}\) are said to be (algebraically and topologically) equivalent if and only if \(T=ESF\) where E and F are invertible operators; in that case we use the notation \(T \sim S\).
The operators T and S are equivalent after extension (\(T \overset{\star }{\sim }S\)) if and only if there exist (possibly trivial) Banach spaces \(X_0,Y_0\), called extension spaces, and invertible operators \(E :{\tilde{Y}} \oplus Y_0 \rightarrow {\tilde{X}} \oplus X_0\), \(F:X \oplus X_0 \rightarrow Y \oplus Y_0\), such that
Clearly, if \(T \sim S\), then \(T \overset{\star }{\sim }S\). Operators that are equivalent after extension share many properties. In particular we have the following.
Theorem 3.2
[1] Let T and S be two operators, \(T:X\rightarrow {\tilde{X}}\), \(S:Y \rightarrow {\tilde{Y}}\), and assume that \(T \overset{\star }{\sim }S\). Then
-
1.
\(\ker T\)is isomorphic to \(\ker S\), i.e., \(\ker T \simeq \ker S\);
-
2.
\({{\,\mathrm{Im}\,}}T\)is closed if and only if \({{\,\mathrm{Im}\,}}S\)is closed and, in that case, \({\tilde{X}}/{{\,\mathrm{Im}\,}}T \simeq {\tilde{Y}} / {{\,\mathrm{Im}\,}}S\);
-
3.
if one of the operators T, S is generalized (left, right) invertible [14, 18], then the other is generalized (left, right) invertible too;
-
4.
T is Fredholm if and only if S is Fredholm and, in that case, \(\dim \ker T=\dim \ker S\), \({{\,\mathrm{codim}\,}}{{\,\mathrm{Im}\,}}T={{\,\mathrm{codim}\,}}{{\,\mathrm{Im}\,}}S\).
It is not difficult to see that \(PCP|_{{{\,\mathrm{Im}\,}}P}\) (respectively, \(QCQ|_{{{\,\mathrm{Im}\,}}Q}\)) is equivalent after extension to \(CP+Q\) (respectively, \(P+CQ\)) and
because
and
where
(and analogously \(P+CQ \sim P+QC \sim P+QCQ\)).
As an example of two operators which are equivalent after extension we have the following.
Theorem 3.3
[6] Let \(\varphi \in L^{\infty }\)and let \(\alpha\), \(\theta\)be inner functions. Then \(A_{\varphi }^{\theta ,\alpha }\overset{\star }{\sim }T_{\varPhi }\)where \(A_{\varphi }^{\theta ,\alpha }=P_{\alpha }\varphi P_{\theta }|_{K_{\theta }}\)and \(T_{\varPhi }\)is the block Toeplitz operator on \(H^2\oplus H^2\)with symbol \(\varPhi =\begin{bmatrix} {\bar{\theta }} &{} 0 \\ \varphi &{} \alpha \end{bmatrix}\).
Equivalence after extension for two operators T and S implies that there is a strong connection between the solvability of the equations \(T\varphi =\psi\) and \(Sx=y\), in particular as regards the existence and uniqueness of solutions.
In the next section we study the relations between the solutions of the equations
and
where \(AP^++BP^-\) is a certain paired operator on \(L^2\oplus L^2\), as a first step in establishing the equivalence after extension of \(D_{\varphi }^{\theta ,\alpha }\) to a paired operator \(AP^++BP^-\). Here \(P^{\pm }(L^2\oplus L^2)=P^{\pm }L^2\oplus P^{\pm }L^2\).
4 Solvability relations
Let \(\varphi \in L^{\infty }\) and let \(\alpha ,\theta\) be inner functions. We define
Theorem 4.1
-
1.
Let \(f_-,g_-\in H^2_-\), \({\tilde{f}}_+, {\tilde{g}}_+\in H^2\). Then
$$\begin{aligned} D_{\varphi }^{\theta ,\alpha }(f_-+\theta {\tilde{f}}_+)=g_-+\alpha {\tilde{g}}_+ \end{aligned}$$implies that
$$\begin{aligned} (AP^++BP^-)\varPhi =\varPsi , \end{aligned}$$where \(\varPhi ,\varPsi \in L^2\oplus L^2\)are given by
$$\begin{aligned} \varPhi =&\begin{bmatrix} \phi _1 \\ \phi _2 \end{bmatrix}= \begin{bmatrix} f_-+{\tilde{f}}_+ \\ (1+{\bar{\alpha }})P_{\alpha }\varphi (f_-+\theta {\tilde{f}}_+) \end{bmatrix},\\ \varPsi =&\begin{bmatrix} \psi _1 \\ \psi _2 \end{bmatrix}= \begin{bmatrix} g_-+\alpha {\tilde{g}}_+ \\ {\bar{\alpha }} g_-+{\tilde{g}}_+ \end{bmatrix}. \end{aligned}$$ -
2.
Let \(\varPhi ,\varPsi \in L^2\oplus L^2\), \(\varPhi =\begin{bmatrix} \phi _1 \\ \phi _2 \end{bmatrix},\ \varPsi =\begin{bmatrix} \psi _1 \\ \psi _2 \end{bmatrix}.\)Then
$$\begin{aligned} (AP^++BP^-)\varPhi =\varPsi \end{aligned}$$implies that
$$\begin{aligned} D_{\varphi }^{\theta ,\alpha }(f_-+\theta {\tilde{f}}_+)=g_-+\alpha {\tilde{g}}_+, \end{aligned}$$where \(f_-,g_-\in H^2_-\)and \({\tilde{f}}_+,{\tilde{g}}_+\in H^2\)are given by
$$\begin{aligned} f_-=P^-\phi _1,&\quad g_-=P^-\psi _1,\\ {\tilde{f}}_+=P^+\phi _1,&\quad {\tilde{g}}_+=P^+\psi _2. \end{aligned}$$
Proof
To prove (1) assume that \(f_-,g_-\in H^2_-\) and \({\tilde{f}}_+, \tilde{g}_+\in H^2\). Since by definition \(D_{\varphi }^{\theta ,\alpha }(f_-+\theta \tilde{f}_+)=Q_{\alpha }\varphi (f_-+\theta {\tilde{f}}_+)\), the equality \(D_{\varphi }^{\theta ,\alpha }(f_-+\theta {\tilde{f}}_+)=g_-+\alpha {\tilde{g}}_+\) means that there exists \(\psi _+\in K_{\alpha }\) such that
Note that \(\psi _+\in K_\alpha =H^2\ominus \alpha H^2\) if and only if \({\bar{\alpha }}\psi _+\in {\bar{\alpha }} H^2\ominus H^2\subset H^2_-\) (see [5, 6]). Hence equivalently, there exist \(\psi _+\in H^2\) and \(\psi _-\in H^2_-\) such that
i.e.,
This last system of equations can be written in matrix form as
with
and
Now the result for \(\varPhi\) follows from the fact that
and
To prove (2) let \(\varPhi =\begin{bmatrix} \phi _1 \\ \phi _2 \end{bmatrix}\in L^2\oplus L^2\), \(\varPsi =\begin{bmatrix} \psi _1 \\ \psi _2 \end{bmatrix}\in L^2\oplus L^2\) and put \(\phi _{i\pm }=P^{\pm }\phi _i\), \(i=1,2\). Then \((AP^++BP^-)\varPhi =\varPsi\) can be written as a system of equations
which is equivalent to
Moreover, the above is equivalent to
The first equation in the system above implies that
and the second equation gives
that is,
\(\square\)
The relations in Theorem 4.1 imply that \(D_{\varphi }^{\theta ,\alpha }\) and \(AP^++BP^-\) share many properties. Indeed, in the next section we show that the former is equivalent after extension to the latter.
5 Equivalence after extension of \(D_{\varphi }^{\theta ,\alpha }\) to a paired operator
Let us introduce some notations (see [4]). If \(\mathcal {H}\), \(\mathcal {K}_1\), \(\mathcal {K}_2\) are Hilbert spaces and \(A_1 :\mathcal {H}\rightarrow \mathcal {K}_1\), \(A_2:\mathcal {H}\rightarrow \mathcal {K}_2\), \(B_1:\mathcal {K}_1\rightarrow \mathcal {H}\), \(B_2:\mathcal {K}_2 \rightarrow \mathcal {H}\) are bounded linear operators, we define
and
In what follows, \(\alpha\) and \(\theta\) are inner functions, \(\varphi \in L^{\infty }\) and
as at the beginning of Sect. 4.
Proposition 5.1
Let \(\varphi \in L^{\infty }\)and let \(\alpha\), \(\theta\)be inner functions. Then
where \(Q_{\alpha }\varphi Q_{\theta } \boxplus P_{\alpha } :(K_{\theta })^{\bot }\oplus K_{\alpha } \rightarrow L^2\).
Proof
An easy computation shows that
where \(F_1 :(K_{\theta })^{\bot }\oplus K_{\alpha } \rightarrow ((K_{\theta })^{\bot }\oplus K_{\alpha })\oplus \{0\}\) is defined for \(f_-\in H^2_-\), \(\tilde{f}_+\in H^2\) and \(g_\alpha \in K_\alpha\) by
and \(E_1 :L^2\oplus \{0\} \rightarrow (K_\alpha )^\perp \oplus K_{\alpha }\) is defined for \(f\in L^2\) by
Clearly, \(F_1\) and \(E_1\) are invertible. \(\square\)
Theorem 5.2
Let \(\varphi \in L^{\infty }\)and let \(\alpha\), \(\theta\)be inner functions. Then
where \(AP^++BP^-:L^2\oplus L^2 \rightarrow L^2\oplus L^2\)is a paired operator with A, B given by (2).
Proof
Given the result of Proposition 5.1 and the fact that \(\overset{\star }{\sim }\) is an equivalence relation and thus transitive, we only have to prove that
To this end, we note that \(Q_{\alpha }\varphi Q_{\theta }\boxplus P_{\alpha }\) is obviously equivalent after extension to
Using the relations from Sect. 4 and rewriting them appropriately, we get (as can be verified independently)
where \(F:((K_{\theta })^{\bot }\oplus K_{\alpha })\oplus L^2 \rightarrow L^2\oplus L^2\),
and \(E :L^2\oplus L^2 \rightarrow L^2\oplus L^2\),
The operators F and E are invertible by Lemmas 5.3 and 5.4 below. \(\square\)
The proofs of the following two lemmas are straightforward.
Lemma 5.3
The operator \(F:((K_{\theta })^{\bot }\oplus K_{\alpha })\oplus L^2 \rightarrow L^2\oplus L^2\),
is invertible and \(F^{-1}:L^2\oplus L^2 \rightarrow ((K_{\theta })^{\bot }\oplus K_{\alpha })\oplus L^2\),
Lemma 5.4
The operator \(E:L^2\oplus L^2 \rightarrow L^2\oplus L^2\),
is invertible and \(E^{-1}=E\).
Corollary 5.5
Let \(\theta\) be an inner function. Then
where
In what follows \(\mathcal {G}L^{\infty }\) will denote the set of all invertible elements of the algebra \(L^{\infty }\).
Corollary 5.6
The operator \(D_{\varphi }^{\theta ,\alpha }\)is semi-Fredholm (respectively Fredholm) if and only if \(AP^++BP^-\)is semi-Fredholm (respectively Fredholm) on \(L^2\oplus L^2\)and, in that case, we have \(\varphi \in \mathcal {G}L^{\infty }\).
Proof
The equivalence is a consequence of Theorems 3.2 and 5.2. To prove that \(\varphi\) is invertible note that \(|\det A|=|\det B|=|\varphi |\). Since a necessary condition for the operator \(AP^++BP^-\) to be semi-Fedholm is that
([14, Chapter V, Theorem 5.1]), we conclude that if \(D_{\varphi }^{\theta ,\alpha }\) is semi-Fredholm, then \(\varphi \in \mathcal {G}L^{\infty }\). \(\square\)
In particular, we conclude that if \(D_{\varphi }^{\theta }\) is invertible, then \(\varphi \in \mathcal {G}L^{\infty }\) ([9, Proposition 2.4]) and then, denoting by \(\varphi ({\mathbb {T}})\) the essential range of \(\varphi \in L^\infty\), we have
(see also [15, Theorem 4.1]).
6 Equivalence relations between \(D_{\varphi }^{\theta ,\alpha }\) and truncated Toeplitz operators
In view of Corollary 5.6, the case where \(\varphi\) is an invertible element of \(L^{\infty }\) becomes particularly interesting. Assume then that
This implies that, for A, B defined by (2), we have \(A, B\in \mathcal {G}(L^{\infty })^{2\times 2}\) with
In that case
where B (identified with multiplication by B on \(L^2\oplus L^2\)) is invertible, as well as \(I+P^-B^{-1}AP^+\) because
Therefore \(AP^++BP^-\) is equivalent to \(P^+CP^++P^-\), where
It follows from Theorem 5.2 that the operator \(D_{\varphi }^{\theta ,\alpha }\) is equivalent after extension to \(P^+CP^++P^-\). It is easy to see that \(P^+CP^++P^- \sim P^+GP^++P^-\), where
(since G and C differ by constant factors). Therefore we have that
where we took Theorem 3.3 into account. We have thus proved the following:
Theorem 6.1
Let \(\alpha\), \(\theta\)be inner functions. If \(\varphi \in \mathcal {G}L^{\infty }\), then \(D_{\varphi }^{\theta ,\alpha }\overset{\star }{\sim }A^{\alpha ,\theta }_{{\varphi }^{-1}}\).
Corollary 6.2
If \(\varphi \in \mathcal {G}L^{\infty }\), then \(D_{\varphi }^{\theta }\overset{\star }{\sim }A^{\theta }_{{\varphi }^{-1}}\).
Corollary 6.3
The operator \(D_{\varphi }^{\theta }\)is Fredholm (respectively, invertible) if and only if \(\varphi \in \mathcal {G}L^{\infty }\)and \(A^{\theta }_{{\varphi }^{-1}}\)is Fredholm (respectively, invertible).
Proof
If \(D_{\varphi }^{\theta }\) is Fredholm, then by Corollary 5.6 we have \(\varphi \in \mathcal {G}L^{\infty }\) and since \(D_{\varphi }^{\theta }\overset{\star }{\sim }A^{\theta }_{{\varphi }^{-1}}\), it follows that \(A^{\theta }_{{\varphi }^{-1}}\) is Fredholm. Conversely, if \(\varphi \in \mathcal {G}L^{\infty }\) and \(A^{\theta }_{{\varphi }^{-1}}\) is Fredholm, then Corollary 6.2 implies that \(D_{\varphi }^{\theta }\) is also Fredholm. The proof for invertibility is analogous. \(\square\)
7 Kernel isomorphisms
By Theorem 3.2, the kernels of two operators that are equivalent after extension, are isomorphic. Using the relations from Sect. 2, we describe here several of those isomorphisms. We use the same notation as in Sect. 4.
Theorem 7.1
The map
is an isomorphism and
where \(P_1\left( \begin{bmatrix}x\\ y\end{bmatrix}\right) =x\).
Proof
Since
it follows from Theorem 4.1 that \(D_{\varphi }^{\theta ,\alpha }(f_-+\theta \tilde{f}_+)=0\) if and only if
Thus \(\mathcal {N}\) is well defined and injective. To see that \(\mathcal {N}\) is also surjective note that if
then
which means that \(\phi _2\) is determined by \(\phi _1\). Thus by Theorem 4.1(2), if \(\varPhi =\begin{bmatrix} \phi _1 \\ \phi _2 \end{bmatrix}\) is in \(\ker ( AP^++BP^-)\), then \(\varPhi =\mathcal {N}(P^-\phi _1+\theta P^+\phi _1)\). \(\square\)
Theorem 7.2
The map
is an isomorphism.
Proof
We have \((D_{\varphi }^{\theta ,\alpha })^*=D_{{\bar{\varphi }}}^{\alpha ,\theta }\) and \((AP^++BP^-)^*=P^+A^*+P^-B^*\), where \(A^*={\bar{A}}^T\), \(B^*={\bar{B}}^T\) and we identify \(A^*\) and \(B^*\) with the corresponding multiplication operators on \(L^2\oplus L^2\). Now, let \(\varPhi =\begin{bmatrix} \phi _1 \\ \phi _2 \end{bmatrix}\in L^2\oplus L^2\). Then \((AP^++BP^-)^*\varPhi =0\) if and only if \(P^+A^*\varPhi =0\) and \(P^-B^*\varPhi =0\). The last two conditions are equivalent to
that is,
In other words, \(\phi _1\in H^2_-\), \(\phi _2\in H^2\) and
The two conditions above can be written as \({\bar{\varphi }}(\phi _1+\alpha \phi _2)\in K_{\theta }\). Therefore, \((AP^++BP^-)^*\varPhi =0\) if and only if \(\phi _1\in H^2_-\), \(\phi _2\in H^2\) and \(D_{{\bar{\varphi }}}^{\alpha ,\theta }(\phi _1+\alpha \phi _2)=0\). This implies that \(\mathcal {N}_*\) is well defined and surjective. It is now easy to see that \(\mathcal {N}_*\) is injective. \(\square\)
A conjugation on a Hilbert space \(\mathcal {H}\) is an antilinear isometric involution (see for instance [10]). In what follows let \(C_{\theta }:L^2\rightarrow L^2\) denote the conjugation defined as
The conjugation \(C_\theta\) preserves both the model space \(K_\theta\) and its orthogonal complement \((K_\theta )^\perp\), (i.e., \(C_\theta P_\theta =P_\theta C_\theta\)), and therefore induces a conjugation in \(K_\theta\) and in \((K_\theta )^\perp\), which we also denote by \(C_\theta\). This conjugation plays an important role in the study of truncated Toeplitz operators.
Theorem 7.3
The map
is an isomorphism and
Proof
Let \(f_-\in H_-^2\) and \({\tilde{f}}_+\in H^2\). Then \(D^{\theta }_{\varphi }(f_-+\theta {\tilde{f}}_+)=0\) if and only if \(\varphi (f_-+\theta {\tilde{f}}_+)\in K_{\theta }\), that is, if and only if
The above means that
with \(g_-=\overline{z{\tilde{f}}_+}\in H^2_-\), \({\tilde{g}}_+=\overline{z f_-}\in H^2\) (i.e., \(g_-+\theta {\tilde{g}}_+=\mathcal {N}_D(f_-+\theta {\tilde{f}}_+)\)). Thus \(\mathcal {N}_D\) is an isomorphism and we have
\(\square\)
Corollary 7.4
If \(D^{\theta }_{\varphi }\)is Fredholm, then it has Fredholm index 0.
Corollary 7.5
If \(D^{\theta }_{\varphi }\)is Fredholm, then it is invertible if and only if \(\ker D^{\theta }_{\varphi } =\{0\}\).
Theorem 7.6
If \(\varphi \in \mathcal {G}L^{\infty }\), then the map
is an isomorphism and
Proof
Let \(f\in L^2\). Then \(f\in \ker D_{\varphi }^{\theta ,\alpha }\) if and only if \(f \in (K_{\theta })^{\bot }\) and \(\varphi f \in K_\alpha\). In other words, \(g=\varphi f\in K_{\alpha }\) and \(\varphi ^{-1}g=f\in (K_{\theta })^{\bot }\), that is, \(g\in \ker A^{\alpha ,\theta }_{\varphi ^ {-1}}\). \(\square\)
8 Dual truncated Toeplitz operators and the corona theorem
Corona problems, seen as left invertibility problems, have a strong connection with the invertibility and Fredholmness of block Toeplitz operators (see for instance [7] and references in it). In this section we extend some of those connections to paired operators and apply them to the study of injectivity and invertibility of dual truncated Toeplitz operators.
Let \(CP^{\pm }\) denote the sets of corona pairs, i.e., pairs of functions satisfying the so called corona conditions in \(\mathbb {D}\) and \({\mathbb {C}}{\setminus }(\mathbb {D}\cup \mathbb {T})\), denoted here by \(\mathbb {D}^\pm\), respectively:
Obviously, \(\mathfrak {h}_-\in CP^-\) if and only if \(\overline{\mathfrak {h}_-}\in CP^+\).
By the corona theorem \(\mathfrak {h}_{\pm }\in CP^{\pm }\) if and only if there exist \(\tilde{\mathfrak {h}}_{\pm }\) with \(\tilde{\mathfrak {h}}_+ \in (H^{\infty }\oplus H^{\infty })\) and \(\tilde{\mathfrak {h}}_- \in \overline{H^{\infty }}\oplus \overline{H^{\infty }}\) such that
Theorem 8.1
Let \(A,B\in (L^{\infty })^{2\times 2}\)be such that \(\det A=\varphi f_+\)and \(\det B=\varphi f_-\), where \(\varphi \in \mathcal {G}L^{\infty }\)and \(f_+,\overline{f_-}\in H^{\infty }{\setminus } \{0\}\). If there exist \(\mathfrak {h}_{\pm }\in CP^{\pm }\)satisfying
with \(A\mathfrak {h}_+(t)\ne 0\)a. e. on \(\mathbb {T}\), then the operator \(AP^++BP^-\)is injective in \(L^2\oplus L^2\).
Proof
Let \(\varPhi =\begin{bmatrix} \phi _1\\ \phi _2 \end{bmatrix}\in \ker (AP^++BP^-)\subset L^2\oplus L^2\). Taking \(\varPhi _{\pm }=P^{\pm }\varPhi\) we have
So, using (6), we can write
Taking determinants on both sides, we get
which, since \(\varphi \in \mathcal {G}L^{\infty }\), is equivalent to
Moreover, since the left hand side of the above equality represents a function in \(H^2\) while the right hand side represents a function in \(H^2_-\), both sides must be zero. It follows that
so there exist non-zero linear combinations, with \(\delta _{1\pm }\) and \(\delta _{2\pm }\) defined a. e. on \(\mathbb {T}\),
Multiplying on the left by \((\tilde{\mathfrak {h}}_{\pm })^T\), by (5) we have
Therefore there exist \(\delta _{\pm }\ne 0\) a. e. on \(\mathbb {T}\) such that
From (6) and (8), \(A\varPhi _+=-B\varPhi _-\) if and only if \(\delta _+A\mathfrak {h}_+=-\delta _-B\mathfrak {h}_-\), or \((\delta _+-\delta _-)A\mathfrak {h}_+=0\). This however happens if and only if \(\delta _+=\delta _-\) (as \(A\mathfrak {h}_+(t)\ne 0\) a. e. on \(\mathbb {T}\)). Since \(\delta _{+}=(\tilde{\mathfrak {h}}_{+})^T\varPhi _{+}\in H^2\), \(\delta _{-}=(\tilde{\mathfrak {h}}_{-})^T\varPhi _{-}\in H^2_{-}\) and \(\delta _+=\delta _-\), we have \(\delta _{\pm }=0\) and therefore \(\varPhi _{\pm }=0\). \(\square\)
Theorem 8.2
Assume that \(A, B\in (L^{\infty })^{2\times 2}\)are invertible matrices such that \(\det (B^{-1}A)=f_- z^k f_+\)with \(f_+, \overline{f_-}\in \mathcal {G}H^\infty\), \(k\in \mathbb {Z}\). If there exist \(\mathfrak {h}_{\pm }\in CP^{\pm }\)satisfying
then \(AP^++BP^-\)is invertible, injective (and not surjective), or surjective (and not injective) if and only if \(k=0\), \(k>0\)or \(k<0\), respectively.
Proof
If \(\mathfrak {h}_{\pm }\) satisfy (9), then \(B^{-1}A\mathfrak {h}_+=-\mathfrak {h}_-\), where \(\det (B^{-1}A)=f_- z^k f_+\) with \(f_+, \overline{f_-}\in \mathcal {G}H^\infty\), \(k\in \mathbb {Z}\) and \(\mathfrak {h}_{\pm }\in CP^{\pm }\). Therefore, by [7, Theorem 4.5] and the proof given there, we have that the Toeplitz operator \(T_{B^{-1}A}:(H^2\oplus H^2) \rightarrow (H^2\oplus H^2)\) is invertible, only injective, or only surjective if and only if \(k=0\), \(k>0\) or \(k<0\), respectively. We conclude that the same holds for \(AP^++BP^-\) because (by (1)),
\(\square\)
Taking Theorem 5.2 into account, we also have the following.
Theorem 8.3
Let \(\theta ,\alpha\)be inner functions such that \(\alpha \leqslant \theta\) (i.e., \(\alpha\)divides \(\theta\)).
-
1.
If \(\varphi \in \mathcal {G}L^{\infty }\), and there exist \(h_{1+},h_{2+}, \overline{h_{2-}}\in H^\infty\)satisfying
$$\begin{aligned} \begin{bmatrix} h_{1+}\\ h_{2+} \end{bmatrix} \in CP^+, \quad \begin{bmatrix} {\bar{\alpha }} h_{1+}\\ h_{2-} \end{bmatrix}\in CP^- \end{aligned}$$(10)and
$$\begin{aligned} \varphi (h_{2-}+\theta h_{2+})=h_{1+}, \end{aligned}$$(11)then \(\ker D_{\varphi }^{\theta ,\alpha }=\{0\}\).
-
2.
If, moreover, \(\theta {\bar{\alpha }}\)is a finite Blaschke product of degree k, then \(D_{\varphi }^{\theta ,\alpha }\)is injective; it is invertible if and only if \(\alpha =c\theta\)with \(c\in \mathbb {C}, |c|=1\); so in particular \(D_{\varphi }^{\theta }\)is invertible.
Proof
To prove (1) note that for A, B given by (2), we have
where \(\theta {\bar{\alpha }}\in H^{\infty }\). For \(h_{1-}={\bar{\alpha }} h_{1+}\in \overline{H^{\infty }}\), we have from (11) that
which can be written as
By (10), \(\begin{bmatrix} h_{2+}\\ h_{1+} \end{bmatrix} \in CP^+\) and \(\begin{bmatrix} h_{2-}\\ h_{1-} \end{bmatrix}\in CP^-\), so Theorem 8.1 implies that \(AP^++BP^-\) is injective. By Theorems 3.2 and 5.2 the operator \(D_{\varphi }^{\theta ,\alpha }\) is also injective.
Now we prove (2). If \(\theta {\bar{\alpha }}\) is a finite Blaschke product of degree k, then we can factorize \(\theta {\bar{\alpha }}=R_- z^k R_+\), where \(R_{\pm }\) are rational functions such that \(R_+,\bar{R}_-\in \mathcal {G}H^{\infty }\). Since \(\det (B^{-1}A)\,=\,-\theta {\bar{\alpha }}\), the result follows from Theorems 8.2 and 5.2. \(\square\)
Dual truncated Toeplitz operators can also be related to corona problems by using Corollary 6.2 and the known relations between truncated Toeplitz operators and the corona theorem [5, 6], as in the following theorem which will be used in the next section to describe the spectrum of a class of dual truncated Toeplitz operators with analytic symbols.
Theorem 8.4
Let \(\theta\)be an inner function. If \(\varphi \in \mathcal {G}L^{\infty }\)and there exist \(\mathfrak {h}_+ \in H^\infty \oplus H^\infty ,\,\overline{\mathfrak {h}_-}\in CP^+\)such that \(G \mathfrak {h}_+=\mathfrak {h}_-\)with
then \(D_{\varphi }^{\theta }\)is invertible if and only if \(\mathfrak {h}_+\in CP^+\).
Proof
In this case \(D_{\varphi }^{\theta }\) is invertible if and only if \(A^{\theta }_{\varphi ^{-1}}\) is invertible, and this is equivalent to the Toeplitz operator \(T_G\) being invertible. The result now follows from Theorem 3.11 in [5]. \(\square\)
9 Fredholmness, invertibility and spectra of dual truncated Toeplitz operators
In this section we apply the previous results to study several classes of dual truncated Toeplitz operators. In what follows \(\theta\) is always an inner function.
9.1 Analytic symbols
We start by using the results of Theorem 8.4 to describe the spectrum of dual truncated Toeplitz operators with analytic symbols of a particular type.
Theorem 9.1
If \(\varphi \in H^{\infty }\)and \({\bar{\theta }} \varphi \in \overline{H^{\infty }}\), then \(\sigma (D_{\varphi }^{\theta })={{\,\mathrm{clos}\,}}\varphi (\mathbb {D})\).
Proof
If \(\lambda \in \varphi (\mathbb {T})\), then \(\varphi - \lambda \notin \mathcal {G}L^{\infty }\), so \(D_{\varphi -\lambda }^{\theta }\) is not Fredholm. If \(\lambda \notin \varphi (\mathbb {T})\), then \(\varphi -\lambda \in \mathcal {G}L^{\infty }\) and we have
Since the right hand side of the above equality belongs to \(CP^-\), by Theorem 8.4 we have that \(D_{\varphi -\lambda }^{\theta }\) in invertible if and only if \(\begin{bmatrix} \varphi -\lambda \\ 0 \end{bmatrix}\in CP^+\). The latter is equivalent to \((\varphi -\lambda )\in \mathcal {G} H^{\infty }\), i.e.,
Since \(\varphi (\mathbb {T})\subset {{\,\mathrm{clos}\,}}\varphi (\mathbb {D})\), we conclude that \(\sigma (D_{\varphi }^{\theta })={{\,\mathrm{clos}\,}}\varphi (\mathbb {D})\). \(\square\)
The assumptions of Theorem 9.1, are satisfied in particular if \(\varphi \in K_{z\theta } \cap L^{\infty }\) since, in that case, \(\varphi \in H^{\infty }\) and \({\bar{\theta }} \varphi \in \overline{H^{2}}\cap L^{\infty }=\overline{H^{\infty }}\) (see [15, Theorem 4.3]).
Several other results regarding analytic symbols will be obtained from the properties studied below.
9.2 Symbols with analytic or co-analytic inverse
We consider now symbols \(\varphi \in \mathcal {G}L^{\infty }\) such that \(\varphi ^{-1}\) is in \(H^{\infty }\) or in \(\overline{H^{\infty }}\). In that case, by Corollary 6.2, \(D_{\varphi }^{\theta }\) is equivalent after extension to a truncated Toeplitz operator \(A^{\theta }_{\varphi ^{-1}}\); therefore we start by recalling the following.
Theorem 9.2
[5, 6] Let \(g_+\in H^{\infty }\)and denote by \(g_+^i\)the inner factor of \(g_+\). Then:
-
1.
\(A^{\theta }_{g_+}\)is Fredholm if and only if \(\gamma ={{\,\mathrm{GCD}\,}}(\theta ,g_+^i)\)is a finite Blaschke product and \({\bar{\gamma }} \begin{bmatrix} \theta \\ g_+ \end{bmatrix}\in CP^+\),
-
2.
\(A^{\theta }_{g_+}\)is invertible if and only if \(\begin{bmatrix} \theta \\ g_+ \end{bmatrix}\in CP^+\),
-
3.
\(\ker A^{\theta }_{g_+} = \frac{\theta }{\gamma }K_{\gamma }\).
Using Theorem 3.2 and Corollary 6.2 we now obtain the following.
Theorem 9.3
Let \(\varphi \in \mathcal {G}L^{\infty }\). Assume that \(\varphi ^{-1}\in H^{\infty }\)and let \(\varphi ^{-1}=\beta a_+\)be its standard inner–outer decomposition (\(\beta\)-inner, \(a_+\)-outer). Denote \(\gamma = {{\,\mathrm{GCD}\,}}(\theta ,\beta )\). Then
-
1.
\(D_{\varphi }^{\theta }\)is Fredholm if and only if \(\gamma\)is a finite Blaschke product,
-
2.
\(D_{\varphi }^{\theta }\)is invertible if and only if \(\begin{bmatrix} \theta \\ \beta \end{bmatrix}\in CP^+\),
-
3.
\(\ker D_{\varphi }^{\theta }=\beta a_+ \frac{\theta }{\gamma } K_{\gamma }\subset \frac{\theta \beta }{\gamma }H^2\).
Proof
Parts (1) and (2) follow from Theorems 9.2, 3.2 and Corollary 6.2. Note that the condition \(\begin{bmatrix} \theta \\ \beta \end{bmatrix}\in CP^+\) in (2) is equivalent to \(\begin{bmatrix} \theta \\ \varphi ^{-1} \end{bmatrix}\in CP^+\) in this case. On the other hand, by Theorem 7.6,
\(\square\)
Corollary 9.4
If \(\varphi \in \mathcal {G}H^{\infty }\), then \(D_{\varphi }^{\theta }\)is invertible.
Proof
In this case \(\beta \in \mathbb {C}\) with \(|\beta |=1\), therefore \(\begin{bmatrix} \theta \\ \beta \end{bmatrix}\in CP^+\). \(\square\)
Corollary 9.5
If \(\theta\) is a singular inner function, then \(D^{\theta }_{\varphi }\) is Fredholm if and only if it is invertible.
Proof
Using the same notation as in Theorem 9.3 we have that \(\gamma = {{\,\mathrm{GCD}\,}}(\theta ,\beta )\) is either a constant or a singular inner function. So either \(\ker D_{\varphi }^{\theta }=\{0\}\) and in that case the Fredholmness of \(D_{\varphi }^{\theta }\) is equivalent to its invertibility by Corollary 7.5, or \(\ker D_{\varphi }^{\theta }\) is infinite dimensional and in this case \(D_{\varphi }^{\theta }\) is neither Fredholm nor invertible. \(\square\)
Corollary 9.6
Let \(\beta\)be an inner function and let \(\gamma = {{\,\mathrm{GCD}\,}}(\theta ,\beta )\). Then \(\ker D_{{\bar{\beta }}}^{\theta } = \beta \frac{\theta }{\gamma }K_{\gamma }\). The operator \(D_{{\bar{\beta }}}^{\theta }\)is Fredholm if and only if \(\gamma\)is a finite Blaschke product, and it is invertible if and only if \(\begin{bmatrix} \beta \\ \theta \end{bmatrix}\in CP^+\).
It follows from Corollary 9.6 that we have
and \(\theta \in \ker D_{{\bar{\theta }}}^{\theta }\) if and only if \(\theta (0)=0\) (cf. [9, Example 2.5]).
If \(\varphi \in \mathcal {G}L^{\infty }\) and \(\varphi ^{-1}\in \overline{H^{\infty }}\), then we can reduce the study of Fredholmness and invertibility of \(D_{\varphi }^{\theta }\) to that of \((D_{\varphi }^{\theta })^*=D_{{\bar{\varphi }}}^{\theta }\) and use Theorem 9.3. Regarding the kernel, we have the following:
Corollary 9.7
Let \(\varphi \in \mathcal {G}L^{\infty }\). Assume that \(\varphi ^{-1}\in \overline{ H^{\infty }}\)and let \(\overline{\varphi ^{-1}}=\beta a_+\)be its standard inner–outer decomposition (\(\beta\)–inner, \(a_+\)–outer). Denote \(\gamma = {{\,\mathrm{GCD}\,}}(\theta ,\beta )\). Then
9.3 Rational symbols
Let now \(\varphi\) be continuous on the unit circle \(\mathbb {T}\), \(\varphi \in C(\mathbb {T})\). In this case we can describe the essential spectrum of \(D_{\varphi }^{\theta }\) (see also [15, Theorem 4.3]).
For an inner function \(\theta\),
Theorem 9.8
If \(\varphi \in C(\mathbb {T})\), then \(\sigma _e(D_{\varphi }^{\theta })=\varphi (\mathbb {T})\).
Proof
By (4), we have \(\varphi (\mathbb {T})\subset \sigma _e(D_{\varphi }^{\theta })\). Conversely, if \(\lambda \in \mathbb {C}{\setminus } \varphi (\mathbb {T})\), then \(\varphi -\lambda \in \mathcal {G}L^{\infty }\) and \(D_{\varphi }^{\theta }\) is Fredholm if and only if \(A_{\frac{1}{\varphi -\lambda }}^{\theta }\) is Fredholm. By Theorem 5.3 in [5] we have that this happens if and only if \(0\notin g(\varSigma (\theta )\cap \mathbb {T})\) with \(g=\frac{1}{\varphi -\lambda }\), which is always true. \(\square\)
Corollary 9.9
If \(\varphi \in C(\mathbb {T})\), then \(D_{\varphi }^{\theta }\)is Fredholm if and only if \(\varphi\)is invertible in \(C(\mathbb {T})\).
We can obtain further results if \(\varphi\) is rational and continuous on \(\mathbb {T}\), i.e., \(\varphi \in \mathcal {R}\). We start by describing the kernels of dual truncated Toeplitz operators with rational symbols.
Theorem 9.10
Let \(R\in \mathcal {R}\)and \(R=P/Q\), where P and Q are polynomials without common zeros. Then \(f\in \ker D_R^{\theta }\)if and only if there is a decomposition \(f=f_-+\theta {\tilde{f}}_+\), \(f_-\in H_-^2,\ {\tilde{f}}_+\in H^2\)such that there are polynomials \(P_1\), \(P_2\)with \(\deg (P_2) \leqslant \max \{\deg (P),\deg (Q)\}-1\)such that
Proof
Let \(f=f_-+\theta {\tilde{f}}_+\) with \(f_-\in H_-^2\), \({\tilde{f}}_+\in H^2\). Then \(f\in \ker D_R^{\theta }\) if and only if \(R(f_-+\theta {\tilde{f}}_+)\in K_{\theta }\). The latter happens if and only if there exist \(k_+\in H^2\) and \(k_-\in H^2_-\) such that
or equivalently,
By a generalization of Liouville’s theorem, both sides of the first equation in (13) must be equal to a polynomial \(P_1\) such that \(\frac{P_1}{P} \in H_-^2\) and, analogously, both sides of the second equation in (13) must be equal to a polynomial \(P_2\) such that \(\frac{P_2}{P} \in H^2\) and \(P_2=Qk_--P{\bar{\theta }} f_-\). So the degree of \(P_2\) is appropriate and
Conversely, if \(P_1\) and \(P_2\) are polynomials satisfying desired conditions, then for \(f_-=\frac{P_1}{P}\), \({\tilde{f}}_+=\frac{P_2}{P}\) we have that \(f_-\in H_-^2\), \({\tilde{f}}_+\in H^2\) and
so that \(f=f_-+\theta {\tilde{f}}_+\in \ker D_R^{\theta }\). \(\square\)
The previous theorem enables us to characterize the points \(\lambda \in \sigma (D_R^{\theta })\) for \(R\in \mathcal {R}\), as follows.
Theorem 9.11
If \(R\in \mathcal {R}\), then
Proof
From Theorem 9.8 we have \(\sigma _e(D_R^{\theta })=R(\mathbb {T}) \subset \sigma (D_R^{\theta })\). If \(\lambda \notin R(\mathbb {T})\), then \(D_{R-\lambda }^{\theta }\) is Fredholm, so it is invertible if and only if it is injective by Corollary 7.5. Therefore \(\lambda \in \sigma (D_R^{\theta })\) if and only if \(\ker D_{\varphi -\lambda }^{\theta }\ne \{0\}\), i.e., \(\lambda\) is an eigenvalue of \(D_{\varphi }^{\theta }\). \(\square\)
As an application we study the spectra of the dual truncated shift \(D_{z}^{\theta }\) and its adjoint – the dual truncated backward shift \(D_{{\bar{z}}}^{\theta }\). We start by studying their kernels. The next result is a consequence of Theorems 9.10 and 9.11.
Theorem 9.12
If \(\lambda \in \mathbb {T} \cup \mathbb {D^-}\)or if \(\lambda \in \mathbb {D}\)and \(\theta (0)\ne 0\)then \(\ker D_{z-\lambda }^{\theta }=\ker D_{{\bar{z}}-{\bar{\lambda }}}^{\theta }=\{0\}\). If \(\lambda \in \mathbb {D}\), \(\theta (0)=0\), then
and
Proof
By Theorem 9.10, \(f\in \ker D_{z-\lambda }^{\theta }\) if and only if there are constants \(A,B\in \mathbb {C}\) such that \(f=f_-+\theta {\tilde{f}}_+\) with \(f_-=\frac{A}{z-\lambda }\) and \(\tilde{f}_+=\frac{B}{z-\lambda }\). Note that if \(\lambda \in \mathbb {T}\cup \mathbb {D}^-\), then \(A=0\), and if \(\lambda \in \mathbb {T}\cup \mathbb {D}\), then \(B=0\). Therefore
-
1.
if \(\lambda \in \mathbb {T}\), then \(\ker D_{z-\lambda }^{\theta }=\{0\}\);
-
2.
if \(\lambda \in \mathbb {D}^-\), then \(\ker D_{z-\lambda }^{\theta }=\{\theta \tfrac{B}{z-\lambda } : B\in {\mathbb {C}},\ \theta B\in K_{\theta }\}\);
-
3.
if \(\lambda \in \mathbb {D}\), then \(\ker D_{z-\lambda }^{\theta }=\{\tfrac{A}{z-\lambda } : A\in {\mathbb {C}}\cap K_{\theta }\}=\{0\}\).
So \(\ker D_{z-\lambda }^{\theta }=\{0\}\) unless \(\lambda \in \mathbb {D}\) and \(\theta (0)=0\). By Theorem 7.3, we have \(\ker D_{{\bar{z}}-{\bar{\lambda }}}^{\theta }=C_{\theta } (\ker D_{z-\lambda }^{\theta })\). \(\square\)
Corollary 9.13
-
1.
\(\sigma _e(D_z^{\theta })=\sigma _e(D_{{\bar{z}}}^{\theta })=\mathbb {T}\);
-
2.
\(\sigma (D_z^{\theta })\)and \(\sigma (D_{{\bar{z}}}^{\theta })\)are the disjoint union of \(\mathbb {T}\)with \(\sigma _p(D_z^{\theta })=\sigma _p(D_{{\bar{z}}}^{\theta })\), where \(\sigma _p(D_z^{\theta })=\emptyset\) if \(\theta (0)\ne 0\)and \(\sigma _p(D_z^{\theta })=\mathbb {D}\) if \(\theta (0)=0\).
References
Bart, H., Tsekanovskiĭ, V. È.: Matricial Coupling and Equivalence after Extension, Operator Theory and Complex Analysis (Sapporo, 1991), vol. 59, Oper. Theory Adv. Appl., pp. 143–160. Birkhäuser, Basel (1992)
Bercovici, H., Timotin, D.: Truncated Toeplitz operators and complex symmetries. Proc. Am. Math. Soc. 146, 261–266 (2018)
Böttcher, A., Silberman, B.: Analysis of Toeplitz Operators, 2nd edn. Springer, Berlin (2006)
Câmara, C., Kliś-Garlicka, K., Ptak, M.: Asymmetric truncated Toeplitz operators and conjugations. Filomat 33(12), 3697–3710 (2019)
Câmara, M.C., Partington, J.R.: Spectral properties of truncated Toeplitz operators by equivalence after extension. J. Math. Anal. Appl. 433(2), 762–784 (2016)
Câmara, M.C., Partington, J.R.: Asymmetric truncated Toeplitz operators and Toeplitz operators with matrix symbol. J. Oper. Theory 77(2), 455–479 (2017)
Câmara, M.C., Diogo, C., Rodman, L.: Fredholmness of Toeplitz operators and corona problems. J. Funct. Anal. 259(5), 1273–1299 (2010)
Câmara, C., Jurasik, J., Kliś-Garlicka, K., Ptak, M.: Characterizations of asymmetric truncated Toeplitz operators. Banach J. Math. Anal. 11(4), 899–922 (2017)
Ding, X., Sang, Y.: Dual truncated Toeplitz operators. J. Math. Anal. Appl. 461(1), 929–946 (2018)
Garcia, S.R., Putinar, M.: Complex symmetric operators and applications. Trans. Am. Math. Soc. 358, 1285–1315 (2006)
Garcia, S.R., Mashreghi, J., Ross, W.T.: Introduction to Model Spaces and Their Operators. Cambridge University Press, Cambridge (2016)
Garnett, J.B.: Bounded Analytic Functions. Academic Press, New York (1981)
Hu, Y., Deng, J., Yu, T., Liu, L., Lu, Y.: Reducing subspaces of the dual truncated Toeplitz operator. J. Funct. Spaces 2018, 7058401 (2018)
Mikhlin, S.G., Prössdorf, S.: Singular Integral Operators (Trans. from the German by Böttcher, A., Lehmann, R.). Springer, Berlin (1986).
Sang, Y., Qin, Y., Ding, X.: Dual truncated Toeplitz \(C^*\)-algebras. Banach J. Math. Anal. 13(2), 275–292 (2019)
Sarason, D.: Doubly shift-invariant spaces in \(H^2\). J. Oper. Theory 16, 75–97 (1986)
Sarason, D.: Algebraic properties of truncated Toeplitz operators. Oper. Matrices 1, 491–526 (2007)
Speck, F.O.: General Wiener–Hopf factorization methods. With a foreword by E. Meister. Research Notes in Mathematics, vol. 119. Pitman (Advanced Publishing Program), Boston (1985)
Stroethoff, K., Zheng, D.: Dual Toeplitz operators. Trans. Am. Math. Soc. 354(6), 2495–2520 (2002)
Acknowledgements
The work of the M. Cristina Câmara was partially supported by FCT/Portugal through UID/MAT/04459/2019. The research of the Kamila Kliś-Garlicka and the Marek Ptak was financed by the Ministry of Science and Higher Education of the Republic of Poland.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Dechao Zheng.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Câmara, M.C., Kliś-Garlicka, K., Łanucha, B. et al. Invertibility, Fredholmness and kernels of dual truncated Toeplitz operators. Banach J. Math. Anal. 14, 1558–1580 (2020). https://doi.org/10.1007/s43037-020-00077-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s43037-020-00077-8
Keywords
- Truncated Toeplitz operator
- Dual truncated Toeplitz operator
- Paired operator
- Equivalence after extension
- Hardy space
- Model space
- Invariant subspaces for unilateral shift