Commutative Toeplitz Algebras and Their Gelfand Theory: Old and New Results

We present a survey and new results on the construction and Gelfand theory of commutative Toeplitz algebras over the standard weighted Bergman and Hardy spaces over the unit ball in 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}. As an application we discuss semi-simplicity and the spectral invariance of these algebras. The different function Hilbert spaces are dealt with in parallel in successive chapters so that a direct comparison of the results is possible. As a new aspect of the theory we define commutative Toeplitz algebras over spaces of functions in infinitely many variables and present some structural results. The paper concludes with a short list of open problems in this area of research.


Introduction
During the last years there has been an intensive study of commutative Banach and C * algebras generated by Toeplitz operators acting on different function Hilbert spaces In memory of Jörg Eschmeier. such as Bergman, Hardy or Fock spaces, see [3-7, 12, 13, 15, 20, 24-28, 30-34]. We call them Toeplitz algebras and remark that interesting examples already appear if the underlying domain is complex one dimensional. As is well known, Toeplitz operators acting on the Hardy space over the unit circle only commute in rare cases (see [10] for a precise statement). However, when passing to the standard weighted Bergman space over the unit disc D in C one discovers a variety of commutative C * Toeplitz algebras. When assuming some "richness" of the symbol class and commutativity of the generating Toeplitz operators simultaneously in the weight parameter one even obtains a complete classification of such algebras based on the structure of geodesic pencils in the Poincaré hyperbolic disc, see [33]. One source of commutativity of a C * Toeplitz algebra over D is the invariance of the symbols of the generating operators under the action of a maximal commutative subgroup of the automorphism group Aut(D). In [27] the authors have extended these results to complex domains of dimension n > 1 and studied commutative C * algebras generated by Toeplitz operators over the unit ball B n in C n . Again, families of such algebras subordinate to the maximal commutative subgroups of the automorphism group of the domain could be constructed and a spectral decomposition of Toeplitz operators in each of these algebras was derived in a rather explicit form, see [27,32,34]. However, a classification result as was mentioned in dimension n = 1 is still missing. In the higher dimensional setting n > 1 the dependence of the symbol functions on different (groups of) coordinates is another source of commutativity and provides additional flexibility in the construction of commutative Toeplitz C * algebras. In [12] the authors extend the results in [27,33] replacing the unit ball by a general bounded symmetric domain of higher rank. Based on tools from representation theory this paper characterizes subgroups of the automorphism group that induce commutative C * Toeplitz algebras generated by operators having symbols that are constant along the orbits.
Another line of research is concerned with the structure of commutative Toeplitz Banach algebras which are not C * . More precisely, symbol classes subordinate to a given abelian subgroup of Aut(B n ) having the property that the corresponding Toeplitz operators generate a commutative Banach algebra while the generated C * algebra is non-commutative have been considered [3-7, 32, 34]. Typical problems concern the structural properties of these algebras, such as a description of their maximal ideal spaces and Gelfand transform, semi-simplicity or spectral invariance inside the full algebra of bounded operators.
It is natural to study the existence and structure of the above commutative Toeplitz algebras for different function Hilbert spaces such as the Hardy space over the unit sphere [24,30] or the Fock space of Gaussian square integrable entire functions [4,13]. In fact, there is an interesting interplay between these cases and the analysis of one of these spaces may be useful in the study of another.
The aim of this paper is twofold. First, we present a survey of the recent research on commutative Toeplitz Banach and C * algebras for the weighted Bergman spaces and the Hardy space over the unit ball and the unit sphere in C n , respectively. By adding some new results we will complement this survey. However, due to the constantly growing literature on the subject, not all aspects of the theory can be dealt with in detail. Secondly, we introduce a new set up in the construction of operator algebras by considering Toeplitz operators over the Fock space in infinitely many variables.
Such operators have been introduced in [21,22] and generalize the notion of Toeplitz operators on the Fock-Segal-Bargmann space H 2 (C n , μ) of Gaussian square integrable entire functions in C n . New effects in the analysis of Toeplitz operators can be observed and in parts are a consequence of the infinite dimensional measure theory of the underlying Hilbert space H = 2 (N). Another new feature from a topological point of view is the non-nuclearity of the compact open topology on the space of entire functions over H . In the classical setting of the space H 2 (C n , μ) commutative C * and Banach algebras generated by Toeplitz operators were considered in [4,13,15].
The main Sects. 3-5 of the paper discuss commutative Toeplitz algebras for the above mentioned function Hilbert spaces and all sections have the same structure. This allows to easily compare the results and methods in the different cases.
The structural analysis of commutative Toeplitz algebras is a current topic of interest in Operator Theory and Complex Analysis. A number of open problems intends to stimulate further research in the area. Therefore, in the last section we have collected a (certainly incomplete) list of questions which arose from the analysis presented in this work.
We now describe the structure of the paper. In Sect. 2 we explain some notation that are standard in the literature and will be used throughout. Commutative algebras generated by Toeplitz operators acting on the (weighted) Bergman space over the unit ball have been studied most intensively (see [3-7, 20, 26, 27, 31-34] and the literature cited therein) and will be treated in Sect. 3. We introduce various symbol classes which either are invariant or have a homogeneity property under a torus action on B n . The induced Toeplitz operators generate commutative Banach algebras. The main result concerns the Gelfand theory of such algebras. As an application we discuss semi-simplicity, description of the radical and spectral invariance in the algebra of all bounded operators on the Bergman space. Section 4 carries out the corresponding analysis in case of the classical Hardy space H 2 (S 2n−1 ) over the unit sphere S 2n−1 in C n , see [1,10,24,30]. An useful ingredient to the proofs is a decomposition of Toeplitz operators (with certain symbols) as an infinite sum of Bergman space Toeplitz operators over B n−1 with integer weights. This provides a link to the results in Sect. 3. We present some original results, which extend and generalize for general dimensions the results regarding the case n = 3, which was presented in [24].
Section 5 starts with a reminder on the construction of Gaussian measures on an infinite dimensional separable Hilbert space H [9,14,18]. Without restriction we assume that H = 2 (N) is the space of square summable sequences over the natural numbers N. We introduce the corresponding Fock space, Toeplitz operators and consider commutative Toeplitz algebras in this set up, see [21,22]. The structural results on these algebras are new and therefore we have added some proofs.
Various open questions remain unsolved. In the concluding Sect. 6 we compare some of the results on operator algebras over different function Hilbert spaces. Moreover, a list of open problems will be mentioned.

Notations
We will often divide n-tuples of numbers in groups as follows. Let m ∈ N and k = (k 1 , . . . , k m ) ∈ N m such that n = k 1 + · · · + k m . Given a tuple of complex numbers u = (u 1 , . . . , u n ), we define u ( j) , j = 1, . . . , m, by Hence we have u = (u (1) , . . . , u (m) ). We will write u ( j) = (u j,1 , . . . , u j,k j ) for the entries of u ( j) . Throughout the paper we will denote by Z + the set N ∪ {0} and, for any integer m > 1, we will repeatedly use the usual multi-index notations for the elements of Z m + : We denote by B n the open unit ball of C n , by S 2n−1 = ∂B n the unit sphere in C n and by T = S 1 the unit circle. Moreover, τ (B n ) will denote the basis of B n as a Reinhardt domain: τ (B n ) = {(r 1 , . . . , r n ) ∈ R n + : r 2 1 + · · · + r 2 n < 1}.
As usual, we write L(X ) for the space of bounded operators acting on a Banach space X .

On the Spectrum of an Operator
Since we will constantly deal with different notions of spectrum, we set up the following notations. Given an operator S ∈ L(X ), we denote by sp pt (S) the point-spectrum, understood as the set of all eigenvalues of S. If S belongs to an algebra A, then σ A (S) means the spectrum of S as an element of A and sp(S) denotes the spectrum of S as an operator with respect to the algebra L(X ). Furthermore, ess-sp(S) denotes the essential spectrum of S. If U is a bounded subset of C n , the polynomially convex hull of U is defined as the set U of all z ∈ C n such that for every (analytic) polynomial p ∈ C[z 1 , . . . , z n ] we have Recall that a set U is called polynomially convex if U = U .
As is well-known, a set is polynomially convex if and only if it is the maximal ideal space of some finitely generated commutative unital Banach algebra. As a consequence, if A is the commutative unital Banach algebra generated by an operator S, then σ A (S) = sp S. For more details consult [16,23].

The Bergman Space
For λ > −1 define the (probability) measure dv λ on B n by where dv denotes the usual Lebesgue measure on C n ∼ = R 2n and c λ is a normalizing constant given by We denote by A 2 λ (B n ) the weighted Bergman space with weight parameter λ, being the space of all holomorphic functions from L 2 (B n , dv λ ).
As is well known, the Bergman space A 2 λ (B n ) is a reproducing kernel Hilbert space, with a standard orthonormal basis (e α ) α∈Z n + consisting of normalized monomials: We denote by P the orthogonal projection from L 2 (B n , dv λ ) onto A 2 λ (B n ). Given m and k as in the previous section, we can decompose the Bergman space with respect to these data into an orthogonal sum. So, for any κ ∈ Z m + consider the finite dimensional subspace Then we have Given a bounded measurable function ϕ ∈ L ∞ (B n ) we define the Toeplitz operator with symbol ϕ as Our main task is to study certain operator algebras generated by Toeplitz operators with special symbols. In particular, as it was indicated in the introduction, some symbol classes subordinate to the maximal abelian subgroups of automorphisms of B n lead to Banach algebras that are commutative for each weight parameter λ > −1, but such that the C * algebra generated by them is no longer commutative.
In this work, we present operator algebras that appear when applying such ideas in case of different function spaces. Since the best understood cases are algebras associated with the so-called quasi-radial symbols, we begin our study with this setting and use it as a model case to introduce some of the main ideas.

Quasi-radial Symbols
Alternatively, a bounded measurable function ϕ is k-quasi-radial if and only if it is invariant under the action of the Cartesian product of unitary groups U (1) ×· · ·×U (m) , where U ( j) = U(C k j ) denotes the group of unitary k j × k j -matrices and each U ( j) acts on C k j . This notion interpolates between some well known special cases: ϕ is radial when m = 1 and separately radial when m = n. Let L ∞ k−qr (B n ) denote the space of all k-quasi-radial functions and T k-qr the corresponding C * algebra generated by Toeplitz operators with symbols in this set.
Since the above formula depends only on the quantities |α ( j) |, the functions γ a,k,λ generate an algebra of bounded functions on the set Z m + . Moreover, as was shown in [32], this algebra separates points of Z m + and thus we can identify T k-qr with a C * algebra of continuous functions on a suitable compactification M(T k-qr ) of Z m + .
As was observed in [5], the algebra T k-qr contains the C * algebra of all functions on Z m + having limits at infinity. In particular, it contains all orthogonal projections P κ from A 2 λ (B n ) onto H κ , κ ∈ Z m + . Furthermore, as a non-trivial fact, it turns out to contain also all orthogonal projections Q Note that for each fixed j ∈ {1, . . . , m} one obtains an orthogonal decomposition of the Bergman space: Finally, we recall a useful fibration of the compact set M(T k-qr ) of maximal ideals which was presented in [3]. Consider the set = {0, 1} m and for each θ ∈ define J θ = { j : θ j = 1}. We set where Z + ( j) denotes a copy of Z + . Given θ ∈ we set Thus the set M θ consists of all points of the maximal ideal space that are reached by nets (κ α ) in Z m + such that the coordinate (κ α ) j tends to infinity if and only if θ j = 0. Since the other entries (κ α ) j are essentially constant, we can further decompose the set M θ as where M θ (κ θ ) := {μ ∈ M θ : μ(Q ( j) κ j ) = 1 for all j ∈ J θ }. In particular, we have M 1 = Z m + and M 1 (κ) = {κ} for any κ ∈ Z m + . Here and subsequently we use the notation 1 := (1, . . . , 1) ∈ {0, 1} m .
By construction we obtain the following result.

Lemma 3.2 [3, Lemma 3.13]
The compact space of maximal ideals of T k-qr admits the following decomposition into mutually disjoints sets The elements of T k-qr , being diagonal with respect to the canonical basis, will customary be written as D γ , where γ denotes the corresponding eigenvalue function defined on Z m + . Furthermore, given an element μ ∈ M(T k-qr ), we will usually write γ (μ) for μ(D γ ), i.e. the evaluation of the multiplicative functional μ in D γ .

Quasi-and Pseudo-homogeneous Symbols
The next ingredient to the construction of the algebras we are studying is a family of Toeplitz operators whose symbols are subordinated to the aforementioned group U (1) × · · · × U (m) (see [25]).
This class of functions was generalized afterwards to the family of pseudohomogeneous symbols (see [17,34]), which are defined as We remark that a Toeplitz operator T φ with symbol φ of the form (3.8) or (3.9) leaves H κ invariant and that the restriction T φ | H κ is nilpotent for every κ ∈ Z m . In particular, sp(T φ | H κ ) = {0}. Both classes of functions are invariant under the action of T on C k j given by (3.10) It turns out that this condition suffices for much of the previous results to hold and so this was the approach in [30], where the so-called generalized pseudo-homogeneous symbols were introduced. These symbols are defined by is invariant under the aforementioned action of T (restricted to T k j ) on its second component.
Finally, as was shown in [25], the most general form of these kind of symbols is given by adjoining a quasi-radial dependence to (3.11). That is, symbols of the form (3.12) Whatever the case may be, it can be shown that the corresponding Toeplitz operator T φ j also leaves all subspaces H κ invariant and so it can be decomposed as We note that the symbols of the form (3.11) (and its above particular cases) can be regarded as functions defined on B n , B k j or even C n and C k j . To avoid lengthy notation we will use the same symbol to represent any of these functions.
As an immediate consequence of the decomposition (3.13), the operator T φ j commutes with all operators from the C * algebra T k-qr . Moreover, summarizing the results from [25], the action of T φ j is given by the following proposition.
It can be shown that the restriction of such an operator T φ j to the spaces H κ is naturally unitarily equivalent to a tensor product of operators where all factors except the one at the j th position equal the identity operator. So, for different indices j 1 , j 2 ∈ {1, . . . , m} the operators T φ j 1 and T φ j 2 , acting on different "positions" with respect to the tensor product, commute. (See Section 7 from [25] for more details).
As is known, the Bergman space A 2 λ (B n ) does not carry a natural tensor product structure such as the Fock space, and so in general the phenomenon described above has to be studied locally on H κ instead of on the whole space. Nevertheless, when we restrict ourselves to symbols of the form (3.11), we obtain a useful representation for these operators.
Consider the tensor product of weightless Bergman spaces . This is a Hilbert space with a canonical orthonormal basis given by . We note that, by identifying the corresponding orthonormal basis, the space A 2 λ (B n ) is isomorphic to this tensor product of Bergman spaces. More specifically, we denote by U : Lemma 3.4 Let j ∈ {1, . . . , m} and let φ j be a symbol of the form (3.11). We have φ j is the Toeplitz operator with symbol φ j acting on the Bergman space Although the proof of this lemma is straightforward, one way of understanding why this representation holds consists of analyzing the action of the corresponding Toeplitz operators on the Fock space with symbols given by (3.11) (changing trivially its domain from B k j to C k j ). Indeed, since those symbols φ j do not depend on the quantities |z ( j) |, the formulas appearing on the Fock space turn out to be the same as the corresponding ones on the Bergman space, so that one can naturally identify these operators. Then using the inherent tensor product structure of the Fock space one easily shows that the corresponding Toeplitz operators can be viewed as some tensor products of operators as in the above lemma. This approach was followed, for example, in [4] and [33].
We introduce some notations suggested by the tensor product structure mentioned above. For j ∈ {1, . . . , m} and d ∈ Z + let H Note that U * maps

Commutative Banach Algebras
We will present the most general setting and explain the particular cases. However, it is worth mentioning that, although the quasi-homogeneous case is the simplest one regarding the symbols, it has the interesting property that for each portion j we can take several generators, which leads to some non-trivial properties of the algebra.
For each ( p, q) ∈ P, let ψ ( p,q) denote the quasi-homogeneous function given by Then {T ψ ( p,q) : ( p, q) ∈ P} is a commuting set of operators and so the Banach algebra generated by them together with T k-qr is a commutative unital Banach algebra. Furthermore, it can be shown that the infinite set of generators T ψ ( p,q) can be reduced to a finite set. Although the maximal ideal space of the unital Banach algebra generated by the operators from {T ψ ( p,q) : ( p, q) ∈ P} is known, it is still an open question to find an explicit description of this set, being the polynomially convex hull of a subset of C h(n−h) . As a consequence of this, not much can be said about the spectral invariance of the algebras studied in this context (compare with Proposition 3.12 below). See [3,5,32] for more details.
The action of a Toeplitz operator with arbitrary pseudo-homogeneous symbol on H κ could be more complicated, as (3.14) indicates. In general, it is no longer possible to take more than one generator for each portion j without losing commutativity.
Since much of the results of this section still hold for quasi-homogeneous symbols, we proceed to describe the Gelfand theory of the corresponding algebras when the symbols are of the more general form (3.11). Thus fix for each j = 1, . . . , m a generalized pseudo-homogeneous symbol φ j of the form (3.11) and let T ph be the (commutative) unital Banach algebra generated by the Toeplitz operators T φ j , j = 1, . . . , m.

Gelfand Theory
We recall that for j ∈ {1, . . . , m} one has a decomposition is an operator on a finitedimensional space one has the following result.  .11), considered as a function on B k j , and ζ j ∈ sp(T Using a suitable sequence of tensor products of the above functions f ( j) n one obtains the following characterization for the maximal ideal space of the algebra T ph .
We introduce now our main object of study. Let T k-qr,ph be the Banach algebra generated by both algebras T k-qr and T ph . By our previous discussion, T k-qr,ph is a commutative Banach algebra for each weight parameter λ > −1 and, in general, it is no longer commutative when it is extended to a C * algebra. Denote by T k-qr,ph the non-closed dense subalgebra of T k-qr,ph generated by all finite sums of finite products of the generators. Now we proceed to develop the Gelfand theory of this algebra, presenting the main results and ideas. Since some of the proofs are non-trivial and lenghty, we refer to [29] for a detailed discussion.
First, we determine the maximal ideal space of T k-qr,ph . By restricting multiplicative functionals to the generating subalgebras and applying Proposition 3.7 we obtain the following inclusion: Thus one needs to determine all points from the Cartesian product that lie in the maximal ideal space of T k-qr,ph . For the following remarks and results, we recall decomposition (3.7) and the notations introduced before it. Furthermore, we will constantly write ζ for the tuple Roughly speaking (and under some additional conditions) it turns out that the compact set of maximal ideals M(T k-qr,ph ) consists of (the polynomially convex hull of) those ordered pairs (μ, ζ ) from the above Cartesian product such that μ ∈ M θ (κ θ ) for θ ∈ {0, 1} m and κ ∈ Z θ + , and Although the first condition holds in general, we have to assume special properties of the symbols φ j for the second one to hold. As is well known (see for example [11]), the C * algebra T 0 (C(B k j )) generated by Toeplitz operators with continuous symbols on B k j contains the ideal of compact operators K(A 2 0 (B k j )) and the quotient T 0 (C(B k j ))/K(A 2 0 (B k j )) is isometrically isomorphic to the C * algebra C(∂B k j ) via the isomorphism generated by the mapping In particular, for a Toeplitz operator T a ∈ T 0 (C(B k j )), we have The compactness of the semi-commutators T |φ j | 2 − T φ j T * φ j will be an essential ingredient to our analysis. Therefore, for the rest of the section, we will assume that the symbols φ j , considered as functions on B k j , extend continuously to the boundary of B k j . This condition was assumed for symbols of the form (3.9) in [17].
Proposition 3.8 [29,Theorem 4.4] The maximal ideal space of T k-qr,ph can be identified with the set

17)
where with the previous notation κ θ = (κ j 1 , . . . , κ j |θ| ), and j l ∈ J θ Furthermore, the Gelfand transform is generated by the following map on the generators of the algebra: It is not difficult to recover the known particular cases. If n = 2 (and then necessarily m = 1), we get where M ∞ represents the points at infinity. Since for the quasi-homogeneous and pseudo-homogeneous cases, all matrices T which coincides with the previous results from [5,17].

Applications
We make use of the above results to obtain structural information about the algebra T k-qr,ph . A non-trivial problem concerns the characterization of its radical. Since the first works on this topic, one usually starts the study of the radical by analyzing the non-closed subalgebra Rad(T k-qr,ph ) ∩ T k-qr,ph . After a short examination one can detect some typical elements of this algebra. These operators have the form (3.19) according to the orthogonal decomposition (3.6). Here, p Indeed, provided such an element belongs to the algebra T k-qr,ph , one can easily see that it is mapped to zero by all multiplicative functionals in Propositon 3.8.
Nevertheless it is still not clear whether such an operator always belong to T k-qr,ph . A complete answer to this (and a generalization of Proposition 3.10 below) could probably be obtained by analyzing the (asymptotical) behaviour of the cardinality of the finite sets sp(T in the parameter d. In particular, it would be useful to know under which conditions on the symbol φ j the quantity | sp(T We remark that if φ j is of the form (3.8) or (3.9), then all matrices T so that (3.19) can be written as D γ T φ j , recovering the corresponding operators described in [4,5].
As we can see, the polynomials p ( j) d above turn out to play an essential role. One can furthermore characterize semi-simplicity by means of these polynomials:   Then R := Rad(T k-qr,ph ) ∩ T k−qr,qh is the non-closed algebra generated by all operators of the form (3.19).
As a non-trivial fact, it turns out that the closure of R coincides with the whole radical: Proposition 3.11 [29,Corollary 6.9]. Suppose that φ j is continuous up to the boundary of B k j for every j ∈ {1, . . . , m}. Then Rad(T k-qr,ph ) = clos Rad(T k-qr,ph ) ∩ T k-qr,ph ). (3.20) This result was partially proved for the case n = 2 in [5] and for the case m = 1 (and any positive integer n) in [4]. We remark that it is still valid for the quasi-homogeneous case taking more than one generator in each division. (See Section 6 from [29]).
Finally, we state an interesting result regarding the spectral invariance, which can be completely characterized in this setting. We observe a different behaviour from what was obtained in the quasi-homogeneous case. Recall that an algebra A ⊂ L(X ) of bounded operators acting on some Banach space X , is called spectral invariant or closed under inversion if the inverse of every invertible operator A ∈ A (invertible with respect to algebra of all bounded operators L(X )) belongs to A. We may shortly express this statement in the form where A −1 denotes the group of invertible elements in A. For a commutative unital Banach algebra A, spectral invariance is not automatic and can be studied in terms of its multiplicative functionals. Indeed, given an operator S ∈ A, invertible with respect to the algebra of bounded operators, its inverse S −1 will also belong to A if and only if the Gelfand transform of S is nowhere zero.

Hardy Space Over the Unit Ball
In this section we construct and analyze families of commutative Banach algebras generated by Toeplitz operators on the Hardy space over the unit sphere.
One of the first approaches to the study of such algebras is [1]. Partially by adapting methods in [27] the authors described commutative Toeplitz C * algebras by studying symbols invariant under the action of maximal abelian groups of automorphisms. However, there is a different approach based on the known Bergman space theory. In [24], the Hardy space is decomposed into a direct sum of Bergman spaces (with different integer weight parameters). Then results obtained in the Bergman space setting can be applied. This approach permits also the study of commutative Toeplitz Banach algebras as in the preceding section. We recall the ideas and further extend the analysis in [24].

The Hardy Space
For the study of the Hardy space we follow the notations and the constructions from [24].
Let S 2n−1 = ∂B n denote the unit sphere in C n and by dσ denote the normalized surface measure of S 2n−1 . Denote the points z of S 2n−1 as z = (z , z n ), where z ∈ B n−1 and z n ∈ C with |z n | = 1 − |z | 2 .
As usual we define the Hardy space H 2 (S 2n−1 ) as the (closed) subspace of the Hilbert space L 2 (S 2n−1 , dσ ) consisting of functions f satisfying the tangential Cauchy-Riemann equations: The orthogonal projection from L 2 (S 2n−1 , dσ ) onto H 2 (S 2n−1 ) is called the Szegö projection and will be denoted by P.
There is an interesting relation between the Hardy space and Bergman spaces over B n−1 with integer weights: . Given a bounded measurable function ϕ defined on S 2n−1 we define the Toeplitz operator T ϕ acting on the Hardy space H 2 (S 2n−1 ) as To avoid confusion we will denote by T p ϕ the Toeplitz operator with symbol ϕ ∈ L ∞ (B n−1 ) acting on the Bergman space A 2 p (B n−1 ). Now let ϕ ∈ L ∞ (S 2n−1 ) be a function of the form ϕ(z) = ϕ(z , |z n |) = ϕ(z , 1 − |z | 2 ). (4.1) Note that to ϕ we can associate a unique function ϕ ∈ L ∞ (B n−1 ) such that Toeplitz operators with that kind of symbols behave well with respect to the decomposition from Theorem 4.1 as the following result shows.
Consider a positive integer m and a tuple of positive integers k = (k 1 , . . . , k m ) such that k 1 + · · · + k m = n − 1. Taking into account our representation of points in S 2n−1 as z = (z , z n ), with z ∈ B n−1 , we divide the tuple z into m groups as before (see Sect. 2). Thus we will write z = (z (1) , . . . , z (m) ).

Quasi-radial Symbols
Let L ∞ k−qr (S 2n−1 ) be the set of all symbols a of the form (4.1) such that the associated symbol a belongs to L ∞ k−qr (B n−1 ). By Proposition 4.2 and Lemma 3.1, a Toeplitz operator T a with a ∈ L ∞ k−qr (S 2n−1 ) acts as a constant multiple of the identity on all subspaces H p κ , Here γ a,k is the function given by γ a,k ( p, κ) := γ a,k, p (κ), where γ a,k, p was defined in (3.4). Thus T a is a diagonal operator whose eigenvalue set depends on κ as well as on the weight parameter p ∈ Z + . Again, we denote by T k-qr the C * algebra generated by Toeplitz operators with symbols from L ∞ k−qr (S 2n−1 ). First, we present some facts in the particular case m = 1 and k = (k 1 ) = (n − 1). That is, we consider the space H 2 (S 2k 1 +1 ). In this case, for a k-quasi-radial function a ∈ L ∞ (0, 1), the eigenvalues γ a,k of the corresponding Toeplitz operator have the form So, the algebra T k-qr is isomorphic to an algebra of bounded functions on Z 2 + . We remark that γ a,k (κ, p) = γ a, (2) where γ a, (2) represents the corresponding function for the particular case n = 3 (corresponding to operators acting on H 2 (S 5 )). This case was studied in [24, Section 6] and, due to the above relation, one can imitate the analysis done there.
In particular, we conclude that the algebra T k-qr separates the points of Z 2 + and, furthermore, it contains the C * algebra C( Z 2 + ), where Z 2 + = Z 2 + ∪ S ∞ is the compactification of Z 2 + by the infinitely far quarter-circle S ∞ ∼ = {e iθ ∞ : θ ∈ [0, π/2]}. Here e iθ ∞ is the point reached by sequences ((k , p )) with Finally, we consider the symbol g ∈ L ∞ (0, 1) (see Section 6 in [24]) given by As was shown in the aforementioned work, given (κ, p) ∈ Z 2 + , we have By some careful analysis one can show that indeed O( 1 p+1 ) is a function of (κ, p) that converges uniformly to zero whenever κ + p → ∞ with κ p ≤ 1. Moreover, we have lim κ→∞ d κ = (1 + i) −1 . As a consequence, we can separate some of the points of M(T k-qr )\Z 2 + for different integer coordinates κ: If (κ α , p α ) is a net convergent to an element μ in M(T k-qr ) and κ α p α ≤ 1 for all α, then μ ∈ d κ 0 +1 T if and only if, for some subnet ((κ α β , p α β )) β , we have κ α β = κ 0 . Now we proceed to examine the general case m ≥ 1 by means of the above remarks. Given j ∈ {1, . . . , m} and a function a ∈ L ∞ (0, 1), we denote by a ( j) the function defined on S 2n−1 by a ( j) (z) = a(|z ( j) |).
where γ a,(k j ) is the eigenvalue sequence corresponding to the Toeplitz operator with radial symbol a acting on the space H 2 (S 2k j +1 ).
Proof It follows directly from Fubini's Theorem applied to the representation (3.4) of eigenvalues and well-known properties of the Beta function.
Given (κ, p) ∈ Z m + × Z + consider the following subspaces of the Hardy space where e p α denote the normalized monomials from the Bergman space A 2 p (B n−1 ) given by (3.1). We denote by P (κ, p) the orthogonal projection from H 2 (S 2n−1 ) onto H p κ .

Corollary 4.4 The algebra T k-qr contains all projections P
Proof This is clear for the case k = (k 1 ), since all such projections belong to C( Z 2 + ). The general case then follows from Lemma 4.3 by multiplying adequate projections for each coordinate κ j .
According to our previous remarks about g in (4.3), the eigenvalue function γ g ( j) ,k , defined on Z m+1 + and corresponding to an Toeplitz operator on H 2 (S 2n−1 ), has the property that for every net ((κ α , p α )) α in Z m+1 We can use this to separate the points of M(T k-qr )\Z m+1 + with different "finite" coordinates: Corollary 4.5 Let j ∈ {1, . . . , m} and ρ ∈ Z + . Then there is an operator D h j,ρ ∈ T k-qr with h j,ρ (κ, p) ∈ [0, 1] for all (κ, p) ∈ Z m+1 + and such that, for any net ((κ α , p α )) α in Z m+1 Proof Let f 1 : C → [0, 1] be a bump function equal to 1 on the set d ρ+k j −1 T and equal to 0 outside a sufficiently small neighborhood of this set. Let f 2 : Z 2 + → [0, 1] be a bump function with f 2 (e 0·i ∞ ) = 1 and equal to 0 outside a sufficiently small neighborhood of this point.

Corollary 4.6
The compact set of maximal ideals of T k-qr admits the following decomposition into disjoint sets Proof It follows from separating the points by means of the operators from Corollary 4.5 and the projections P (κ, p) , (κ, p) ∈ Z m+1 + , similarly as in the Bergman space setting.

Commutative Banach Algebras
Note that we can reproduce the construction from Sect. 3.3 for the z -component of the tuples (z , z n ) ∈ S 2n−1 . Thus we can naturally define symbols φ j ∈ L ∞ (S 2n−1 ) such that the corresponding functions φ j ∈ L ∞ (B n−1 ) are of the form (3.12).
Moreover, such symbols do not depend on z n , and with respect to the decomposition in Proposition 4.2 the corresponding Toeplitz operators T φ j decompose as Here T p φ j is the Toeplitz operator with symbol φ j acting on the Bergman space A 2 p (B n−1 ), already studied in Sect. 3. From the integral expression (3.14) one observes that when the functions φ j are of the form (3.11), the action of T p φ j does not depend on p so that the operator is essentially the same for different weight parameters. This observation simplifies some of the calculations. We will consider only this case, leaving the study of symbols of the form (3.12) for a future work.

Gelfand Theory and Applications
Fix for each j ∈ {1, . . . , m} a symbol φ j of the form (3.11) and let T ph be the Banach algebra generated by the operators T φ 1 , . . . , T φ m . By the analysis of the previous section, we note that this is a commutative Banach algebra, which in general is noncommutative, when extended to a C * algebra.
To avoid notation, we will use the Toeplitz operators T Proof A similar argument as in the Bergman space case.
Let T k-qr,ph be the Banach algebra generated by the algebra T k-qr and the Toeplitz operators T φ 1 , . . . , T φ m . As usual, we denote by M(T k-qr,ph ) its maximal ideal space.
Reasoning as before, we can identify M(T k-qr,ph ) with a subset of the Cartesian product of the maximal ideal spaces of the generating algebras: Using the same arguments as in the Bergman space case, one can detect almost all points belonging to the maximal ideal space. There is, however, an interesting difference compared to the Bergman space setting given by the following proposition.
Let I be the closed ideal in T k-qr,ph generated by the projections P (κ, p) , (κ, p) ∈ Z m+1 + , and let π : T k-qr,ph −→ T k-qr,ph /I be the canonical projection. One easily sees that the multiplicative functional (μ, ζ ) =: ψ (μ,ζ ) can be factorized as where ψ (μ,ζ ) is a multiplicative functional defined on T k-qr,ph /I. Consider now the operator S = D h j,ρ q(T φ j ), where D h j,ρ is given by Corollary 4.5. By construction, one can check that S + I = 0 and thus In both cases (1) and (2) we have q(ζ j ) = 0 and thus ζ j ∈ sp(T ( j) As a consequence, we see that for a multiplicative functional (μ, ζ ) ∈ M(T k-qr,ph ) we have ζ j ∈ ess-sp(T ( j) φ j ) only when μ ∈ M θ with θ j = 0, that is, roughly speaking, when μ has an "infinite j th coordinate". We note that this fact is independent of the behaviour of the coordinate κ m+1 = p, which plays the role of the weight parameter in the space decomposition in Proposition 4.1.

Proposition 4.9
The maximal ideal space of T k-qr,ph coincides with the set Furthermore, the Gelfand transform is generated by the following map on the generators of the algebra T k-qr,ph : Proof It follows from Proposition 4.8 and similar arguments as in the Bergman space setting.
Compare with [24] for the case n = 3. Although the maximal ideal space has almost the same form as in the Bergman space setting, it is worth mentioning that, according to our remarks before the proposition, we have the above set J θ \{m + 1}, instead of just J θ , as in the Bergman space. This will probably change for symbols of the form (3.12).
We can apply this result to obtain some structural information on the algebra T k-qr,ph as in the previous section. However, there is still much work to do in this direction.
As a matter of example, we can search for typical elements of the radical of T k-qr,ph . However, such operators seem to be more complicated compared to those found in the Bergman space case. Indeed, one would consider elements similar to the operator (3.19), replacing the projections Q only if all such matrices are diagonalizable in the sense that their Jordan canonical form is diagonal.

Fock Space Over Infinite Dimensional Hilbert Spaces
In this section we consider Toeplitz operators acting on the Segal-Bargmann space over an infinite dimensional Hilbert space (see [21,22]) and commutative Banach algebras generated by such operators.
We start by recalling the notion of Gaussian measures on a real separable Hilbert space (H , ·, · ) (see [18] for further details and proofs). Let (·, ·) be a continuous scalar product ( Let F ⊂ H be a subspace of finite dimension n ∈ N. Bochner's Theorem implies that on F there is a unique Radon measure ν F with Fourier transform χ ν F (y) satisfying: for all y ∈ F.
We call ν F the Gaussian measure on F associated with the inner product (·, ·). Define the annihilator space and consider the finite dimensional quotient H /F • . Let π : H ∼ = H → H /F • denote the canonical projection. Given any Borel subset X ⊂ H /F • we can consider the preimage N X := π −1 (X ) ⊂ H . We call N X a cylinder set with base X and we refer to H /F • as its generating space. When F runs through the collection of all finite dimensional subspaces of H then the corresponding cylinder sets form an algebra denoted by C(H ). Moreover, the σ -algebra generated by C(H ) coincides with the Borel σ -algebra B(H ) of H . Consider F ⊂ H equipped with the restriction of (·, ·) as a Hilbert space. There is a canonical isomorphism which can be applied to define a Radon measure μ F on B(H /F • ) by It can be verified that the family of measures (μ F ) F , where F runs through the finite dimensional subspaces of H fulfills the following compatibility condition: let G ⊂ H be finite dimensional with F ⊂ G and consider the canonical map Then, for each Borel set X ∈ H /F • we have: Condition (5.2) implies that there is a well-defined real valued set function μ on C(H ) such that In this section we consider complex separable Hilbert space H . Since H can as well be seen as a real Hilbert space the above construction of Gaussian measures applies. The operator B appearing there will be assumed to be complex linear.
To simplify the setting we consider the model case H = 2 (N) of all squaresummable complex valued sequences equipped with the standard inner product. Let [ε j = (δ j ) ∈ H : j ∈ N] denote the canonical orthonormal basis of H and assume that B is a positive diagonal nuclear (trace class) operator, i.e.
We write Z 0 ⊂ Z N + for the set of all sequences α = (α n ) n with non-negative integer entries such that α n = 0 for all but finitely many n ∈ N. Let z = (z 1 , z 2 , . . .) be the coordinates of H . With α ∈ Z 0 we use the usual notation: According to Proposition 5.1, the induced Gaussian cylinder measure is a σ -additive measure on B(H ) and will be denoted by μ B . Note that the space L 2 B := L 2 (H , dμ B ) contains all complex polynomials in H .

Definition 5.2
We define the Fock space over H induced from B by (see [21,22]): where the closure is taken in L 2 B .
It can be checked that the monomials [e α : α ∈ Z 0 ] form an orthonormal basis of A 2 B (H ). In the following we call it the standard orthonormal basis.

Remark 5.3
In the classical case where we deal with a finite number of variables (i.e. H = C n for some n ∈ N) it is well-known that A 2 B (C n ) can be interpreted as a Hilbert space of (pointwisely defined) entire functions with reproducing kernel. In fact, well-known apriori estimates (see [35]) imply that L 2 -convergence in ) and a constant C z 0 > 0 such that for any holomorphic function f in V : only. In conclusion we may consider elements in the Fock space  (H , μ B ) we define the Toeplitz operator T ϕ with symbol ϕ in the usual way: Clearly T ϕ ≤ ϕ ∞ such that T ϕ defines a bounded operator on the Fock space. Now we pass to operator symbols with additional structure such that the corresponding Toeplitz operators commute. We are interested in the generated commutative Banach algebras and, in particular, in extensions of the results in [3-5, 13, 32, 34] we consider the infinite dimensional setting H = 2 (N).
Furthermore, we assume that the eigenvalue sequence λ = (λ n ) n of the operator B in the above construction is compatible with k. By this we mean that there is a sequence (u j ) j∈N of positive real numbers such that Clearly, in the case where k = (1, 1, 1, . . .) there is no additional assumption on the sequence λ ∈ 1 (N).
Let a : 2 (N) → C be a k-quasi-radial measurable and bounded symbol, i.e. a = a(z) only depends on the infinite vector (|z ( j) |) j∈N . Standard arguments from representation theory show that the Toeplitz operator T a acts on the standard orthonormal basis E B := [e α : α ∈ Z 0 ] as a diagonal operator with eigenvalues γ a . More precisely: In the following we denote by T k-qr the C * algebra in L(A 2 B (H )) generated by all Toeplitz operators with bounded k-quasi-radial symbols. According to (5.4) we can identify T k-qr with a C * subalgebra of the bounded complex-valued functions C b (Z 0 ) on the discrete set Z 0 . Since the system E B forms an orthonormal basis of A 2 B (H ) we obtain: If, in addition, a is cylindrical, k-quasi-radial, i.e. a is of the form with some L ∈ N andã ∈ L ∞ (R L + ), then we can evaluate γ a (κ) more explicitly in form of a finite dimensional integral: where 1 = (1, . . . , 1) ∈ Z L + ,κ = (κ 1 , . . . , κ L ) and |r | = r 1 + . . . + r L .

Remark 5.4
If a ≥ 0, then the eigenvalue sequence γ a (κ) is a moment sequence. Note that the corresponding moment problem which asks for a characterization of moment sequences in infinitely many variables via representing measures has been studied in the literature (cf. [2,19]). In particular, there is an infinite dimensional generalization of Haviland's Theorem.
Clearly, for all n ∈ N as above: Note that the eigenvalues γ a (κ) in (5.7) only depend onκ = (κ 1 , . . . , κ L ) ∈ Z L + . Hence, we can identity T (L) k-qr with a subalgebra of C b (Z L + ). In [13] the authors define the square root metric ρ L on Z L + and consider the C * subalgebra of all bounded functions on Z L + that are uniformly continuous with respect to ρ L . It is an interesting observation in [13] that the algebra C b,u (Z L + , ρ L ) in general is strictly larger than the L-fold tensor product of C b,u (Z + , ρ 1 ). The main result of [13] (which generalizes [15] to the case L > 1) immediately implies: Theorem 5.5 [13,15] The algebra T (L) k-qr is isometrically isomorphic to C b,u (Z L + , ρ L ). For each L ∈ N we can consider the C * algebra Then, clearly, T k-qr = T L . Proof Let γ ∈ T k-qr . Then κ → γ (κ) uniformly can be approximated by a sequence ( ) , where is a finite sum of finite products of eigenvalues of the form: Each a j for j = 1, . . . , k is a bounded k-quasi-radial function on H = 2 (N). Let L ∈ N be fixed and pickκ = (κ 1 , . . . , κ L ) ∈ Z L + . Choose α ∈ Z 0 such that κ = (κ, 0, 0, . . .) = κ(α). Now, we replace a j by a cylindrical function without changing the eigenvalue γ a j (κ). Consider the orthogonal projection where n = k 1 + . . . + k L . By Fubini's Theorem we obtain: In the last equality we used the definition: Note thatã j is a bounded cylindrical k-quasi-radial function. Hence, for all κ = (κ, 0, . . .) of the above form we can replace by an element in T (L) k-qr which proves the assertion.
Consider now the C * algebra: k-qr for allκ ∈ Z L + for all L ∈ N . Furthermore, consider the C * subalgebra T c-k-qr ⊂ T k-qr generated by Toeplitz operators having cylindrical bounded k-quasi radial symbols, i.e. symbols of the type (5.5). With L ∈ N define the projections:

Lemma 5.7 We have the equality
Proof Let γ ∈ T c-k-qr . From T c-k-qr ⊂ T k-qr ⊂ A we conclude that γ ∈ A. Letγ be a finite sum of finite products of eigenvalues of Toeplitz operators with symbols of the form (5.5). From the expression (5.6) of the eigenvalues we conclude thatγ • π L =γ for L ∈ N sufficiently large. Hence lim L→∞γ • π L =γ (5.10) uniformly on Z 0 . Since such sequences are uniformly dense in T c-k-qr we conclude that γ fulfills (5.10) as well. Conversely, let γ ∈ A such that lim L→∞ γ •π L = γ uniformly on Z 0 . By definition of A we have γ • π L ∈ T (L) k-qr ⊂ T c-k-qr . Hence γ ∈ T c-k-qr .
Example 5. 8 We show that the algebra T c-k-qr contains Toeplitz operators with noncylindrical symbols, i.e. functions that depend on infinitely many variables. For simplicity we only consider the case k = (1, 1, . . .). Let ρ ∈ 1 (N) with 1 > ρ j > 0 for all j ∈ N. Consider a sequence ( f ) ∈N of non-constant continuous functions f : R + → R + such that Define a k-quasi-radial (non-cylindrical) function F : 2 (N) → R + as the infinite product: Note that for all z ∈ 2 (N): Since ρ ∈ 1 (N) we conclude that lim L→∞ R L (z) = 0 uniformly in 2 (N). Therefore lim L→∞ F L = F uniformly. It follows that γ F = lim L→∞ γ F L ∈ T c-k-qr .

Commutative Banach Algebras and Gelfand Theory
Finally, we present the corresponding commutative Banach algebras and their Gelfand theory. Following our previous constructions we consider a sequence of generalized pseudo-homogeneous symbols φ j j∈N , where each φ j (formally defined on B k j ) is a function of the form (3.11). That is, our symbols φ j are formally cylindrical functions defined on H depending only on the coordinates z ( j) , such that the associated function on C k j coincides with the extension of a function (3.11) defined on B k j . For the sake of simplicity, we will denote by φ j all of these functions.
Thus, as one easily sees, we have an infinite dimensional version of the tensor product introduced in Sect. 3.3. That is, for each of the operators T φ j there is a uniquely associated Toeplitz operator T otherwise.
Here e ( j) α ( j) denotes the canonical basic monomial of A 2 0 (B k j ). Denote by T ph the unital Banach algebra generated by the operators (T φ j ) j∈N .

Corollary 5.10
The sequence of operators T φ j j∈N is a commutative family of operators. In particular, the Banach algebra T ph is commutative.

Proposition 5.11
The compact set of maximal ideals of T ph can be (topologically) identified with the following set Proof This follows from standard arguments as in the Bergman space case.
Denote by T k-qr,ph the Banach algebra generated by the algebras T k-qr and T ph . To conclude, we characterize the maximal ideal space of the algebra T k-qr,ph . As in the previous sections, we have the following natural inclusion: Although some special care has to be taken in the corresponding calculations, it is not hard to find the points which belong to the maximal ideal space following the same methods as before.

Proposition 5.12
The maximal ideal space of T k-qr,ph coincides with the set otherwise.
It seems reasonable to expect that T k-qr,ph shares similar properties with the corresponding algebra on the Bergman space (e.g. being not simple but spectral invariant). Yet we leave this for future works, as it requires some detailed analysis.

Conclusion and Open Problems
To conclude the present work we compare our results for different function Hilbert spaces. In each section we introduced a commutative Banach algebra T k-qr,ph generated by a commutative C * algebra T k-qr and a commutative (not C * ) Banach algebra T ph . The model cases are the corresponding algebras defined on the Bergman space A 2 λ (B n ). The other cases are somehow infinite extensions of this: an infinite direct sum for the Hardy space and an infinite tensor product for the Fock space.
The C * algebras T k-qr have already been an interesting object of study in the recent literature. The C * algebra generated by radial Toeplitz operators on the Bergman space A 2 λ (B n ) was characterized in [8], whereas the corresponding result for C * algebras generated by Toeplitz operators with quasi-radial symbols on the Fock space F 2 (C n ) on finitely many variables can be found in [13,15]. In particular, in both cases it turns out that the closed linear span of the generators coincides with the corresponding C * algebra.
However, a complete characterization of these algebras for all other function Hilbert spaces and non-radial quasi-radial symbols, presented in this work, remains an open problem (see Problem 1).
As for the algebras T ph , we have seen that their structure is essentially the same in all three cases, so that the work done on the Bergman space can be reproduced on the Hardy and Fock spaces without much effort. This will probably change when studying symbols of the more general form (3.12), where the corresponding weight parameters have to be carefully analyzed.
In all three cases, after analyzing individually the generating algebras, we introduced the corresponding algebra T k-qr,ph and developed its Gelfand theory. In this context, much of the work done on the Bergman space can be reproduced on the other spaces. However, in the case of the Hardy space some careful examination of the set M(T k-qr ) has to be done to show that the points at infinity are separated. We recall that this was not necessary in the Bergman and Fock spaces due to the existence of some particular orthogonal projections inside the algebra.
Finally, in the Bergman space setting, we showed how these results can give structural information (description of the radical and spectral invariance) of the algebra T k-qr,ph . Such an analysis can probably be performed also on the Hardy and Fock spaces along the same lines and we leave this for future works.
To close this survey, we list some open problems collected along the paper.
(1) Find a characterization of the algebras T k-qr (e.g. as uniformly bounded continuous function with respect to some metric) for the remaining cases: (not radial) quasiradial symbols on the Bergman space, quasi-radial symbols on the Hardy space and quasi-radial symbols on the Fock space in infinitely many variables. Does Funding Open Access funding enabled and organized by Projekt DEAL. The second author was partially supported by Consejo Nacional de Ciencia y Tecnología (Conacyt), Mexico.
Availability of data and material Not applicable.

Conflict of interest
The authors have no relevant financial or non-financial interest to disclose.
Code availability Not applicable.
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/.