Exact sequences for dual Toeplitz algebras on hypertori

In this paper, we construct a symbol calculus yielding short exact sequences for the dual Toeplitz algebra generated by all bounded dual Toeplitz operators on the Hardy space associated with the polydisk Dn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {D}}^n$$\end{document} in the unitary space Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {C}}^n$$\end{document}, that have been introduced and well studied in our earlier paper (Benaissa and Guediri in Taiwan J Math 19: 31–49, 2015), as well as for the C*-subalgebra generated by dual Toeplitz operators with symbols continuous on the associated hypertorus Tn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {T}}^n$$\end{document}.


Introduction
Dual Toeplitz operators on the orthogonal complement of the Bergman space on the unit disk have been introduced and well studied by K. Stroethoff and D. Zheng [11]. Since then, various algebraic and spectral properties of dual Toeplitz operators on the orthogonal complements of various Hilbert spaces of analytic functions have been attracting more and more attention of many authors; see for instance [1,2,7,9,13] and the references therein. In particular, in our earlier paper [1], we have introduced and started a systematic study of dual Toeplitz operators on the Hardy space of the polydisk D n in C n , where we have established some of their algebraic properties, including commutativity and products. In particular, we have established a Brown-Halmos type theorem and characterized zero divisors among dual Toeplitz operators, as well as normal dual Toeplitz operators. Moreover, we have studied Hankel products and mixed Toeplitz-Hankel products. All of these results hinge on a crucial transformation of operators, namely the operator S w , which will play again an important role here too. Banach algebra techniques turn out to be very useful for the investigation of various classes of linear operators on function spaces. The monograph of R. Douglas [5] contains most fundamental results in this direction. In particular, symbol calculi and structure theorems play a fundamental role in studying spectra and Fredholm properties of Toeplitz operators and related facts. In the Hardy space setting, L.A. Coburn [3] obtained a short exact sequence for the Toeplitz algebra generated by symbols that are continuous on the sphere. More related structure theorems have been well explored in [5]. In particular, the following short exact sequence has been established: where I (L ∞ (T)) is the Toeplitz algebra generated by all bounded Toeplitz operators on the Hardy space of the unit circle, and Comm(I (L ∞ (T)) denotes its commutator ideal. On the other hand, A.M. Davie and N.P. Jewell [4] have remarkably established a short exact sequence for the Toeplitz algebra generated by all bounded Hardy space Toeplitz operators on the unit sphere S n , and obtained a spectral inclusion theorem, as well as many other interesting properties. N. P. Jewell and S. Krantz [8] have generalized some of the latter results to the setting of pseudoconvex domains in C n , while M. Engliš [6] has constructed a symbol calculus for Toeplitz operators on the Bergman space. Returning to dual Toeplitz operators and structure theorems of their algebras, K. Stroethoff and D. Zheng [11] have constructed a symbol calculus for their Bergman space dual Toeplitz operators on the unit disk, and obtained short exact sequences related to some dual Toeplitz algebras, and deduced many corresponding spectral and Fredholm properties. In particular, the following short exact sequence has been established: where I (L ∞ (D)) denotes the dual Toeplitz algebra generated by bounded dual Toeplitz operators and Semi(I (L ∞ (D)) is its semi-commutator ideal. On the other hand, Z. Yang, B. Zhang, and Y. Lu [13] obtained analogue short exact sequences in the setting of the Bergman space of the unit ball in C n , while L. Kong and Y. Lu [9] obtained similar structure theorems. In the framework of the polydisk, G. Z. Cheng and T. Yu [2] have obtained analogue short exact sequences for certain dual Toeplitz algebras on the Bergman space. The purpose of the present paper is to establish more algebraic and spectral properties of our dual Toeplitz operators on the Hardy space associated with the hypertorus which have been introduced in our earlier paper [1]. In particular, in the aim of constructing a corresponding symbol calculus, we introduce a symbol map ρ and show that it is a contractive C*-homomorphism from the dual Toeplitz algebra I (L ∞ (T n )) into the algebra L ∞ (T n ), whose null-space ker ρ coincides with the semi-commutator ideal of the dual Toeplitz algebra I (L ∞ (T n )). This represents our first main result, namely Theorem 3.1. Consequently, these facts enable us to establish our second main result, namely Theorem 3.2, consisting of a short exact sequence analogue to (1.1) and (1.2) above. Furthermore, making appeal once more to our crucial transformation S w constructed in [1], we show that the semi-commutator ideal Semi(I (L ∞ (T n )) is irreducible and contains the ideal K of all compact operators in B H 2 (T n ) ⊥ , and then, we derive many important consequences. On the other hand, our last main result, namely Theorem 3.9, deals with the C*-algebra I (C (T n )) generated by dual Toeplitz operators with symbols in C (T n ). More precisely, we show first that its semi-commutator ideal coincides with the ideal K of all compact operators on H 2 (T n ) ⊥ . Then, we establish a corresponding short exact sequence analogue to the above ones (1.1) and (1.2). Our paper is organized as follows: in Sect. 2, we establish some auxiliary material needed for our structure theorems. Section 3 is devoted to the main results, where we construct the desired symbol map and derive short exact sequences and deduce interesting consequences.
If dσ (θ) = dθ 2π denotes the Lebesgue measure on the unit circle T, then dσ (ζ ) = dθ 1 dθ 2 ...dθ n (2π) n , where ζ = (ζ 1 , . . . , ζ n ) with ζ j = e iθ j , j = 1, . . . , n, is the normalized Lebesgue measure on T n . The Lebesgue space L 2 (T n , dσ ) = L 2 (T n ) is defined in the usual way, and it is known to be a Hilbert space with respect to the inner product < f, g >:= On the other hand, denote by H 2 (T n ) the closure of analytic polynomials in L 2 (T n ), which is itself a Hilbert subspace with respect to the induced inner product. In fact, it coincides with H 2 (D n ). Denote by H 2 (T n ) ⊥ the orthogonal complement of the Hardy space H 2 (T n ) in L 2 (T n ). Then, we have the following orthogonal decomposition: (2.1) If we define H 2 0 (T n ) as follows: where 1 denotes the constant function with value 1, and then, we see that kernel Hilbert space with kernel function given by while its normalized reproducing kernel is given by Referring to the orthogonal decomposition (2.1), let P be the orthogonal projection of L 2 (T n ) on its closed subspace H 2 (T n ), and let Q = I − P be the orthogonal projection of , the multiplication operator on L 2 (T n ) is defined as follows: For a symbol f ∈ L ∞ (T n ), the Toeplitz operator on H 2 (T n ) is defined by Similarly, the "big" Hankel operator is defined by Finally, a dual Toeplitz operator with symbol f ∈ L ∞ (T n ) is defined as follows: This class of operators (2.7) has been introduced and well elaborated in our earlier paper [1]. Now, for a symbol f ∈ L ∞ (T n ), the multiplication operator M f can be represented in the following matrix form: Thus, for f, g ∈ L ∞ (T n ), the identity M f g = M f M g leads to the following algebraic identities: For each λ ∈ D, let ϕ λ be the linear fractional transformation of D into itself given by Every map ϕ λ is an automorphism of the unit disk D satisfying the identity is still well defined on T n , and we also have ϕ w • ϕ w = I d. For all f and g in L 2 (T n ), we consider the operator of rank 1 defined on L 2 (T n ) by Finally, for two operators T, S ∈ B H 2 (T n ) and for all f, g ∈ L 2 (T n ), we have For further details on function theory, operator theory, and Banach algebras related to our context, we refer to the monographs [5,10,14]. Now, by combining all of these elements, namely equations (2.9)-(2.12), we were able to prove the following crucial representation in our previous paper [1]: On the Hardy space H 2 (T n ), the following operator identity holds: On the other hand, to obtain spectral properties of dual Toeplitz operators and establish structure theorems for their dual Toeplitz algebras, a curious function g w,s (z), z ∈ D has been introduced and well exploited by K. Stroethoff and D. Zheng [11]. Variants of this function have been analogously used by many authors to obtain similar results, see for instance [2,9,13]. Since we are working on hypertori, it is unclear for us how to adopt such type of arguments, and thus, an alternative approach is needed. To overcome this difficulty, we introduce a suitable peaking function, which will play the same central role as the domain function g w,s (z). Although the construction is quite different, but the idea of using peaking functions has its roots in the work of A. M. Davie and N. P. Jewell [4]. For w ∈ T n , consider the function Then, we have the following peaking property of g w :

Proposition 2.2
The map w ∈ T n −→ g w ∈ H 2 (T n ) ⊥ is continuous, and the function g w peaks at w.
Proof First, observe that the function g w peaks exactly at w, since each component function 2w j is a rotation of g 1 (z j ) = 1 2 (1 + z j ) that sends the unit circle to the smaller circle of radius 1 2 centered at ( 1 2 , 0) and peaks at 1. On the other hand, it is not difficult to see that For the continuity of this map g w , we proceed by induction on n. For n = 1, we see that, given w, w 0 ∈ T, we have whence the continuity of the mapping follows for n = 1. Next, suppose that the continuity is satisfied for T n−1 . Put w = (w , w n ) ∈ T n , with w = (w 1 , ..., w n−1 ) ∈ T n−1 , and observe that g w (z) = g w (z )g w n (z n ). It follows that, for w, v ∈ T n , we have: Thus, the continuity follows from the above inequality and the induction hypothesis.
Next, put which is independent of w ∈ T n , owing to the fact that the measure dσ is rotation invariant on hypertori. The following crucial assertion is the analogue of Theorem 2.1 of [4] and Lemma 2.3 of [7]. See also Theorem 2 of [8].

Proposition 2.3
For every f ∈ C (T n ) and any w ∈ T n , we have Proof Without loss of generality, we may suppose that f is real-valued. By continuity of f , for any ε > 0, there is an open neighbourhood V w ⊂ T n of the point w ∈ T n satisfying (2.14) Note also that sup Hence, from (2.16) and (2.18), we see that Whence (2.17) follows. It also follows that we have: As mentioned above, since the measure dσ is rotation invariant, the quantity λ k is independent of w ∈ T n . Thus, for any f ∈ C (T n ), we have from (2.14)--(2.16) and (2.18)--(2.19) that Finally, the continuity of f along with the properties (2.17) and (2.20) yields the desired result.
An immediate corollary can be obtained.

Corollary 2.4 Suppose that f ∈ L ∞ (T n ) is a nonnegative real-valued function. Then, for every
, with g w (z) as above, such that The idea of the next key proposition goes back to A.M. Davie and N.P. Jewell [4], namely Theorem 2.2. See also Theorem 2 of [8]. Note that it has been used in a more abstract context by K. Sundberg [12] to establish his beautiful general structure theorem. f 2 , . . ., f k ), where denotes the joint spectrum of ( f 1 , f 2 , . . ., f k ).

Proposition 2.5 Let P be a polynomial in k non-commuting variables. Then, we have
Then, set Clearly f has a zero in T n . By Corollary 2.4, given Next, observe that the quantity P(S f 1 ...S f k )(h) − P(λ 1 , . . . , λ k )h 2 can be made arbitrarily small by choosing ε small enough. For, consider operators of the form Without loss of generality, we can assume that f j ∞ ≤ 1 and |λ j | ≤ 1 for 1 ≤ j ≤ k. It follows that: For any δ > 0, we can choose ε > 0, such that The triangle inequality implies that As δ is arbitrary, we infer that Since (λ 1 , λ 2 , . . ., λ k ) ∈ ( f 1 , f 2 , . . ., f k ) are arbitrarily chosen, we conclude that which completes the proof.
Denote the closed ideal generated by the semi-commutators of all bounded dual Toeplitz operators by S. The next assertion will be needed in the sequel.
Proof We proceed by induction. Clearly, Now, suppose that for any f 1 , ..., f k ∈ L ∞ (T n ), we have that Thus, we conclude that Since S is an ideal, by (2.21) and (2.22), we see that

Structure theorems for some dual Toeplitz algebras
First, recall that S denotes the semi-commutator ideal of the dual Toeplitz algebra I ∞ := I (L ∞ (T n )). In the aim of constructing a symbol calculus theory for the C*-algebra I ∞ , we follow the general procedure developed in Douglas' monograph [5] for the Hardy space case, and by M. Engliš [6] for the Bergman space case, as well as by K. Stroethoff and D. Zheng [11] for dual Toeplitz operators in the framework of the Bergman space of the unit disk. It consists in defining a symbol map acting from the dual Toeplitz algebra I ∞ into the algebra L ∞ (T n ) as follows. For a single dual Toeplitz operator, we just set ρ( while for an operator in the form of sums of finite products of dual Toeplitz operators S = then each S ∈ I ∞ is the limit of a sequence of finite sums of finite products of dual Toeplitz operators, and thus, ρ(S) can be defined by passing to the limit. Furthermore, we have the following assertion whose proof is similar to that of Theorem 8.4 of [11]. Indeed, by similar arguments, we can show that ρ is linear, multiplicative, contractive, and preserves involution, and obtain the following theorem:

Theorem 3.1 The symbol map ρ is a contractive C*-homomorphism from the dual Toeplitz algebra
Next, define the map ξ : The following theorem asserts that the mapping ξ c from L ∞ := L ∞ (T n ) to I ∞ / S induced by ξ is a * -isometrical isomorphism.

Theorem 3.2 There is a short exact sequence
for which ξ is an isometric cross section.
Proof The mapping ξ c is readily seen to be linear, multiplicative, and contractive.
To complete the proof, we must show that ξ c ( f ) ≥ f ∞ , for f ∈ L ∞ (T n ), which implies that ξ c is an isometry. First, observe that Proof Taking S = E in Theorem 5.39 of [5], mentioned above, and combining this fact with Lemmas 3.3 and 3.4, we conclude that K ⊂ S.
The next consequence is closely related to the commutativity properties stated in Theorem 3.1 of [1].
Proof Since the map ξ c is linear and multiplicative, by Theorem 3.2, we see that From Theorem 3.5, we know that S contains the ideal K of compact operators on H 2 (T n ) ⊥ , and by assumption we see that Remark 3. 7 We can also show the latter by considering the symbol map ρ. By Theorem 3.2, S contains all compact operators. Thus If the product S f 1 · · · S f k is compact, then we have that Proof If S f 1 · · · S f k is compact, then by Theorem 3.5, S f 1 · · · S f k is in S. By Proposition 2.6, we have that Therefore, by Theorem 3.1, we have ρ(S f 1 . . . f k ) = 0. Hence, by definition of the symbol map ρ, we infer that f 1 . . . f k = 0, a.e. on T n . Now, we can extend the results of theorems 3.2 and 3.5 to another related dual Toeplitz algebra mentioned above, namely, the C*-algebra I 0 := I (C (T n )) generated by dual Toeplitz operators with symbols in C (T n ). For, denote by C := C (T n ) the algebra of all continuous functions on T n , and by C the semi-commutator ideal of the dual Toeplitz algebra I 0 , as well as by K the ideal of all compact operators on H 2 (T n ) ⊥ . The following theorem says that the quotient algebra I (C (T n )) /K is * -isometrically isomorphic to C (T n ) .

Theorem 3.9
The semi-commutator ideal C of the dual Toeplitz algebra I 0 coincides with the ideal K of compact operators on H 2 (T n ) ⊥ . Moreover, the sequence is short exact.
Proof Arguing in the same manner as in Theorem 3.5, we see that K ⊂ C. On the other hand, by the identities (2.8), for two continuous functions f and g on T n , the semi-commutator S f g − S f S g = H f H * g is compact. Since C is generated by the semi-commutators of dual Toeplitz operators with symbols in C (T n ), it follows that C is contained in K . Hence, we infer that C ≡ K . Now, if we replace L ∞ (T n ) by C (T n ) and S by C in the proof of Theorem 3.2, we obtain the desired short exact sequence.
Acknowledgements The authors would like to express their sincere thanks to the anonymous reviewers for their valuable comments which improved the earlier version of the manuscript.
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/.
Funding No funding was received for conducting this study. The authors declare they have no financial interests.

Conflict of interest
The authors declare no conflicts of interest.

Informed consent statement Not applicable.
Author contributions All authors contribute to the study and approve the final version of the manuscript.
Data availability Not applicable.