Fredholm Toeplitz operators on doubling Fock spaces

Recently the authors characterized the Fredholmn properties of Toeplitz operators on weighted Fock spaces when the Laplacian of the weight function is bounded below and above. In the present work the authors extend their characterization to doubling Fock spaces with a subharmonic weight whose Laplacian is a doubling measure. The geometry induced by the Bergman metric for doubling Fock spaces is much more complicated than that of the Euclidean metric used in all the previous cases to study Fredholmness, which leads to considerably more involved calculations.


Introduction
Let Ω be a domain of the complex plane C, and let µ be a positive Borel measure on Ω. For 0 < p < ∞, the space L p (Ω, dµ) consists of all Lebesgue measurable functions f on Ω for which We denote by H(Ω) the family of all holomorphic functions on Ω.
A positive Borel measure ν on C is called doubling if there exists some constant M > 0 such that ν(D(z, 2r)) ≤ M ν(D(z, r)) for z ∈ C and r > 0, where D(z, r) = {w ∈ C : |w − z| < r}. The smallest value of M in (1.1) is called the doubling constant of ν. We denote by dA the Lebesgue area measure on C. For a subharmonic function φ, not identically zero on C, with ν = ∆φ dA doubling, we denote by ρ(z) the positive radius such that ν (D(z, ρ(z)) = 1. The function ρ −2 can be viewed as a regularized version of ∆φ, see [7] and [23].
For 0 < p < ∞, we write L p φ instead of L p (C, e −pφ dA) for simplicity, that is, we say f ∈ L p φ if f is Lebesgue measurable on C and f p p,φ = C |f (z)| p e −pφ(z) dA(z) < ∞.
By L ∞ φ we denote the set of all Lebesgue measurable functions f on C for which f ∞,φ = ess sup z∈C |f (z)|e −φ(z) < ∞. The doubling Fock space F p φ is defined by F p φ = L p φ ∩ H(C). Under · p,φ , F p φ is a Banach space when 1 ≤ p ≤ ∞ and it is a quasi-Banach space when 0 < p < 1. It is worth noting that F p φ is of infinite dimension if ∆φ dA is a nontrivial doubling measure (see, e.g., [7,23,24]); for further details on the dimension of weighted Fock spaces, see [4]. In a larger framework, the doubling Fock spaces F 2 φ can be viewed as Bergman spaces with admissible weights in the sense of [27], but this connection will not be exploited in our present work.
The Fock spaces considered in the present paper cover a great deal in the literature. In particular, when φ(z) = α 2 |z| 2 with α > 0, F 2 φ is the classical Fock space F p α , which has been studied by many authors, see, e.g. [13,33,34] and the references therein. If φ(z) = m log |z| + |z| 2 , m is a positive integer, F 2 φ is just the Fock-Sobolev space discussed in [5] and [6]. For φ(z) = |z| m , F 2 φ is the weighted Fock space studied in [30] and [31]. Doubling Fock spaces also include the so-called generalized Fock spaces F p φ , where 0 < m < ∆φ < M (see [18] and the references therein).
Let K(·, ·) be the reproducing kernel of the Hilbert space F 2 φ . The asymptotic behavior of K(·, ·) has been studied in [7] and [24] for example. For 0 < p < ∞ and z ∈ C, set k p,z (w) = K(w, z)/ K(·, z) p,φ to be the normalized Bergman kernel for F p φ . We simply write k z for k 2,z . It is easy to see that k z (w) = K(w, z)/ K(z, z). With K(·, ·), we define an integral operator P (known as the Bergman projection) by for z ∈ C. With this integral representation, given a Lebesgue measurable function f on C, we define the Toeplitz operator T f and the Hankel operator H f on F p φ , respectively, as T f g = P (f g) and H f g = (I − P )(f g) = f g − P (f g) provided that the corresponding integral P (f g) makes sense, where I is the identity operator on functions. The function f generating Toeplitz and Hankel operators is referred to as the symbol of the operator under consideration.
In the present paper, we investigate the properties of Toeplitz and Hankel operators acting on doubling Fock spaces with symbols of bounded and vanishing mean oscillation. We denote these symbol classes by BM O p and V M O p , respectively-their precise definitions and basic properties, such as the decompositions BM O p = BO ∩ BA p and V M O p = V O + V A p , will be given in the next section.
Our main focus is on the study of Fredholmness of Toeplitz operators on doubling Fock spaces. A bounded operator T on a vector space X is said to be Fredholm if its kernel ker T and cokernel X/T (X) are both finitedimensional. Fredholm operators are important for a variety of reasons, such as their role in global analysis, spectral theory and numerical analysis, and in many other branches of mathematics and mathematical physics. The study of the Fredholm properties of Toeplitz operators on Hardy spaces with continuous symbols is the culmination of works of several authors in the 1950s, including Gohberg, Simonenko and Widom, depending on the precise setting of the underlying Hardy space H p . Since then there has been a steady increase in the study of spectral properties of Toeplitz operators on Hardy spaces and Bergman spaces, and in particular the Fredholm properties of Toeplitz operators on these spaces are well understood for several classes of symbols. Regarding Toeplitz operators on Fock spaces, most efforts have been focused on the study of boundedness, compactness, and Schatten class properties, and until recently there were only two articles on their Fredholm properties (see [3,29], which both deal with the classical Fock space F 2 and bounded symbols of vanishing mean oscillation). In the past three years, a series of works have appeared (see [1,2,12,18]), which has brought the level closer to that of the other two spaces. Indeed, the following characterization was obtained independently in [2] and [12] using different methods, which we discuss in some detail below.
This result naturally leads to the question of whether the preceding theorem remains true for (i) unbounded symbols; (ii) small exponents; (iii) more general weights.
Very recently, in [18], we have managed to make significant progress in answering these questions and in particular found a condition that (1.1) should be replaced with as stated in the following theorem.
wheref is the Berezin transform of the symbol f .
Notice that it is not difficult to see that Theorem 1.1 follows immediately from Theorem 1.2. To completely settle the theory of Fredholm Toeplitz operators T f with symbols in V M O 1 on all Fock spaces F p φ with f ∈ V M O 1 , we prove that Theorem 1.2 remains true even for weights whose Laplacian is a doubling measure. This is our main result-see Theorem 4.9. Of course, there are Fock spaces F p φ that cannot be viewed as doubling Fock spaces and hence further work related to (iii) remains. However, before such study can proceed, we would first need to characterize bounded (and compact) Toeplitz operators on more general Fock spaces than those with doubling weights.
Here the main obstacle is that the Bergman kernel estimates are only known up to the doubling weights. Another natural problem is the study of higher dimensional setting-we discuss this and other types of Fock spaces briefly in Section 5.
We should note that recently, in [1], an attempt was made to address (iii) when p = 2 and in particular to prove Theorem 1.1 in the Hilbert space setting F 2 φ with doubling weights φ. However, while this generalization is true as seen from our main theorem, its proof contains a gap in the construction of a regularizer because Proposition 4.1 of [1] is only known to be true when the vanishing (mean) oscillation is defined with respect to the Euclidean metric as opposed to the Bergman metric-see Remark 4.8 for further details. A correct argument to this problem is given in the proof of Theorem 4.9. This further demonstrates the complexities and pitfalls one encounters when dealing with the geometry of doubling Fock spaces.
For further details about the history of the problem, see [2,12,18] and the references therein. We limit our discussion here to the methodologies that have been used to treat the problem previously.
The first approach for the Hilbert space F 2 α was based heavily on Hilbert space and C * -algebra techniques, the use of the Weyl operator, the Berezin transform, and the Heisenberg group; see [3]. Aside from the Berezin transform, these are not suitable for operators acting on Banach spaces-whether one can employ these techniques for doubling Fock spaces F 2 φ may be an interesting question but we do not address it in our present work.
Recently developed limit operator techniques due to Hagger and his collaborators offer an efficient way of dealing with Toeplitz operators on Banach spaces that possess sufficiently "nice bases" (see [12] and the references therein). Briefly, the idea is to densely embed C n into the maximal ideal space M of BU C (the space of bounded uniformly continuous functions), and view M \ C n as the boundary of C n . Then the boundary values of an operator T in the Toeplitz algebra T p,α at M \ C n are obtained by "shifting" T to the boundary (for the precise meaning, see [12]). This way, for each x ∈ M \ C n , one obtains the so-called limit operator T x . Using limit operator techniques, the following result was proved in [12].
Then an operator T in the Toeplitz algebra T p,α on F p α is Fredholm if and only if all of its limit operators are invertible. As a corollary of the preceding result, Theorem 1.1 was obtained in [12]. Limit operator techniques were further developed in a more abstract setting in [14] and applied to Toeplitz operators acting on the Fock-Sobolev spaces. However, it is currently not known whether the limit operator techniques can be used to treat more general Fock (or Bergman) spaces that do not possess nice bases or explicit formulas for the reproducing kernels. In particular, one of the central objects is the weighted shift operator C z : L p α → L p α defined for each z ∈ C n by Now observe that the shift operators are connected to the Weyl operator, which cannot be defined in the more general setting of Fock spaces F 2 φ , and hence the limit operator techniques do not seem to be suitable for more general weights without further adjustments. We should say that when they can be used, they offer additional benefits, such as the treatment of Toeplitz algebras and certain other more abstract characterizations of Fredholm properties. On the other hand, there appears no way of using limit operators to obtain the usual formula for the index of Fredholm Toeplitz operators on F p α (see, e.g., Theorem 20 of [2]). This brings us to the approach of the present work, which can be described as function theoretic and a more direct way of dealing with the problem at hand. More precisely, we use upper pointwise estimates for the Bergman kernel of the doubling Fock space [24], a certain auxiliary integral operator whose kernel is related to the reproducing kernel and the Bergman metric, and provide characterizations of bounded and compact Hankel operators, which may be of interest in their own right.
The use of the Bergman metric in the context of the doubling Fock spaces F 2 φ originates in the work on interpolation and sampling [23] and no other metric has ever been used to deal with F 2 φ . This is indeed natural and expected because the Bergman metric corresponds to the Bergman kernel of the doubling Fock space F 2 φ in the same way as the Euclidean metric corresponds to the Bergman kernel of the standard Fock space F 2 α . The main difficulty in our work is caused by the geometry induced by the Bergman metric for doubling Fock spaces, which is much more complicated than that of the Euclidean metric used previously in the study of Fredholm properties, and in particular the role of the Euclidean disks D(z, r) is played by the sets of the form D r (z) = D(z, rρ(z)), where ρ is not constant in general. Finally, we note that the nesting property F p φ ⊂ F q φ (p ≤ q) known for weights whose Laplacian is bounded below and above is no longer true for doubling Fock spaces, which is yet another complication that we have to deal with.

Preliminaries
In this section we recall and prove some key lemmas on the Bergman metric, the reproducing kernel and their related integral and norm estimates.
Notation. Throughout, we use C to denote positive constants whose value may change from line to line but does not depend on the functions being considered. We say that two quantities A and B are equivalent, and write Suppose that dν = ∆φ dA is a doubling measure. Then, for all z ∈ C and r > 0, µ (∂(D(z, r)) = µ({z}) = 0 (so that doubling measures have no mass on circles), and, since ν is a locally finite nonzero doubling measure on C, It follows that, for each z ∈ C, and the function r → µ (D(z, r)) is an increasing homeomorphism from the interval (0, ∞) onto itself. Thus, for every z ∈ C, there is a unique positive radius ρ(z) such that µ(D(z, ρ(z)) = 1.
We also note that (2.1) implies that F p φ is of infinite dimension. For r > 0 and z ∈ C, we write D r (z) = D(z, rρ(z)), and D(z) = D 1 (z) for short. By [23], there exist some absolute constants θ and C > 0 such that, for z ∈ C and w ∈ D r (z), Then, for r > 0, there exists some constant α > 0 such that for z ∈ C and w ∈ D r (z). From (2.3) and the triangle inequality, for r > 0, it follows that there are m 1 = m 1 (r) and m 2 = m 2 (r) so that Clearly, m j > 1 for j = 1, 2, and further, we have The existence of r-lattice follows from a standard covering lemma-see Theorem 2.1 of [25] and also [23]. In addition, if {a j } ∞ j=1 is an r-lattice, for m > 0, there exists an integer N such that, for each z ∈ C, D mr (z) can intersect at most N discs of {D r (a j )}.
For z, w ∈ C, the distance d φ induced by the metric ρ −2 dz ⊗ dz is given by where the infimum is taken over all piecewise C 1 curves γ : [0, 1] → C with γ(0) = z and γ(1) = w. It is known that the Bergman metric which is given by the solution to the extremal problem is comparable to the metric ρ −2 dz ⊗ dz (see page 355 of [8] for further details). We write β(·, ·) for the Bergman distance on C. Therefore, there are two positive constants C 1 and C 2 such that for z, w ∈ C. We refer to [20,21] for further details on the basic properties of the Bergman metric and distance. We need the following estimates for the Bergman distance β, instead of d φ , because β is more suitable for the analysis of operators on Fock spaces. Lemma 2.1. There exists δ ∈ (0, 1) such that for every r > 0 there exists C r > 0 such that and Proof. A completely analogous result was proved for d φ (·, ·) in [23, Lemma 4]. Using (2.5), it can be seen that all remain valid if d φ (z, w) is replaced by β(z, w).
For z ∈ C and r > 0, we set B(z, r) = {w : β(w, z) < r}. The estimate in the following technical lemma will be very useful in our analysis.
for z ∈ C, Proof. Since β(z, w) + 1 ≥ 1, to prove (2.6) and (2.7), we may assume l > 0. We claim first that for z, w ∈ C, we have Observe that, for w ∈ C\D(z) (i.e., |w − z| ≥ ρ(z)), by Lemma 2.1, we get where the positive constants C are independent of z, w. Thus, which gives (2.8). Now for all z ∈ C, (2.8) and Lemma 2.1 of [16] imply and hence (2.6) follows. Choosing r = 1 in Lemma 2.1, for β(w, z) ≥ R with R sufficiently large, we see that the following inclusion holds: We write N = N (R) for the integer part of (R/C 1 ) 1 2−δ . Then by (2.9) and (2.2), we get In 2009, Marzo and Ortega-Cerdà [24] obtained the following pointwise estimates on the Bergman kernel.
(B) There exists some r 0 > 0 such that for z ∈ C and w ∈ D r 0 (z), we have Proof. For (A), see Theorem 1.1 of [24], and for (B), see Proposition 2.11 of [24].
Corollary 2.5. For s ∈ R, there are positive constants C 1 and C 2 such that for all z ∈ C.
In our analysis, we need some auxiliary function spaces. Given a Lebesgue measurable function f on C, we set When defining the following function spaces, we suppress r, because the spaces are independent of it, and often choose r = 1. We denote by for the average of f over D(z). For 0 < p < ∞, we use BA p to denote the space of all f ∈ L p loc (C) such that Given a Lebesgue measurable function f which is positive or satisfies the condition f |k z | 2 ∈ L 1 2φ for all z ∈ C, we define the Berezin transform f of f by For f ∈ L p loc (C), take dµ = |f | p dA, p = q and t = 2 in Theorems 3.2 and 3.3 of [16] to obtain which can be obtained by writing f =f + (f −f ); for further details, see Theorem 2.5 of [15].

Hankel operators with BO symbols
In this section, we show that for 0 < p < ∞, the Hankel operator H f : In addition to the intrinsic interest, these properties will be needed for our characterization of Fredholm Toeplitz operators.
We start with an auxiliary operator. For l ∈ R, with kernel (β(·, ·) + 1) l |K(·, ·)| we define an integral operator G l by To show that G l is bounded from F p φ to L p φ also for 0 < p < 1, we need the following generalization of a result in [23].
Lemma 3.1. Let 0 < p < ∞. For any r > 0, there is a C > 0 such that for all f ∈ H(C) and z ∈ C.
Proof. When 1 ≤ p < ∞, estimate (3.1) is just Lemma 19 (a) of [23]. To deal with the other values of p, notice that the function f e −Hz with H z defined as in [23] is holomorphic in D r (z). Then f e −Hz p is subharmonic for 0 < p < 1 so that the sub-mean value estimate can be applied as in the case 1 ≤ p < ∞. This shows that the proof of Lemma 19 (a) in [23] works for all 0 < p < ∞.
Lemma 3.2. For 1 ≤ p ≤ ∞, the operator G l is bounded on L p φ ; and for 0 < p ≤ ∞, G l is bounded from F p φ to L p φ . Proof. We begin with the case 1 ≤ p ≤ ∞. For f Lebesgue measurable, it follows from Lemmas 2.2 and 2.3 that Similarly, we have By interpolation (see Theorem 3.5 of [26]), we know that G l is bounded on L p φ when 1 ≤ p ≤ ∞.
Relative to the Bergman projection P , there is another operator P + , known as the absolute Bergman projection, which has been studied in the Bergman space case. In the context of Fock spaces, we define P + : L p φ → F p φ analogously by setting The following boundedness properties of P + follow directly from the preceding lemma.
Corollary 3.3. The operator P + is bounded on L p φ for 1 ≤ p ≤ ∞, and it is bounded from F p φ to L p φ for 0 < p < 1. Lemma 3.4. For each R > 0 and ε > 0, there is a function h R defined on C such that supp h R , the support of h R , is compact and Proof. Without loss of generality, we may assume R > 1 ε . Define We show that this function satisfies the required properties. Clearly, supp h R is compact and h R | B(z,R) ≡ 1. For z with β(z, 0) ≤ R − 1 or β(z, 0) ≥ 2R + 1, we see that ω(h R )(z) = 0. For z with R + 1 ≤ β(z, 0) ≤ 2R − 1 and w ∈ B(z, 1), we have Now for z with R − 1 ≤ β(z, 0) < R + 1, when R ≥ 1, and w ∈ B(z, 1), we have Similarly, for z with 2R−1 ≤ β(z, 0) < 2R+1, when R ≥ 1, and w ∈ B(z, 1), we have It follows from these estimates that we have ω(h R )(z) ≤ 1 R < ε. The following lemma is well known in other weighted Fock spaces but requires extra work when the Laplacian of the weight function is a doubling measure.
Proof. We denote by B(F p φ ) the unit ball of F p φ . To show that H f is compact from F p φ to L p φ , we only need to show that H f (B(F p φ )) is relatively compact in L p φ . By Lemma 3.1, there is some constant C such that, for f ∈ B(F p φ ) and z ∈ C, This implies that B(F p φ ) are uniformly bounded on any compact subset of C. Thus, B(F p φ ) is a normal family. Hence, to prove H f (B(F p φ )) is relatively compact in L p φ , it suffices to prove that (3.4) lim for any bounded sequence {g j } ∞ j=1 in F p φ converging to 0 uniformly on any compact subset of C. But this will be an easy consequence of the limits bounded in F p φ converging to 0 uniformly on compact subsets. As a simple consequence, observe that (3.5) implies (3.6) for 1 ≤ p < ∞ because P is bounded on L p φ . It remains to prove (3.6) for 0 < p < 1. Without loss of generality, we may assume that the support of f is contained in some D(0, σ). Write dµ = |f |dA. As stated on page 869 of [23], there are some C > 0 and 0 < s < 1 such that ρ(z) ≤ C|z| s for |z| > 1. Hence and so there is an R > 0 so that µ(ξ) = D(ξ) dµ/A(D(ξ)) = 0 when |ξ| ≥ R. Then applying Lemma 2.4 of [16] gives the following estimate: Now, with the same approach as that of (3.3) we obtain where we have chosen R large enough so that |ξ| + ρ(ξ) ≤ 2R for |ξ| ≤ R. Therefore, by Corollary 2.4, we get as j → ∞, which completes the proof.
The next theorem provides useful properties of Hankel operators with BO (and V O) symbols and it plays an important role in the study of Fredholmness of Toeplitz operators. While we give the proof for all values of p, we note that for 1 ≤ p < ∞, the result is also a consequence of Theorem 3.3 of [15]. Theorem 3.6. Suppose that 0 < p < ∞.
(i) If f ∈ BO, then H f is bounded from F p φ to L p φ and we have the following norm estimate: Proof. For f ∈ BO, it is easy to verify that (3.9) |f (z) − f (ξ)| ≤ f BO (β(z, ξ) + 1).
Notice that H f R is compact, and so is H f since the family of all compact linear operators from F p φ to L p φ is closed under the operator norm. The proof is completed.

Fredholm theory
A linear mapping T on a topological vector space X is said to be Fredholm if dim ker T < ∞ and dim X/T (X) < ∞.
When X is a Banach space, it is well known that T is Fredholm if and only if T + K(X) is invertible in the Calkin algebra B(X)/K(X), where B(X) and K(X) stand for the spaces of bounded and compact operators, respectively. From this, it follows that an operator on a Banach space is Fredholm if and only if there are bounded operators A and B on X such that AT = I + K 1 and T B = I + K 2 for some compact operators K 1 and K 2 acting on X. Because two Toeplitz operators often commute modulo compact operators, the previous characterization for their Fredholmness is almost tailor-made for large classes of symbols. These characterizations of Fredholm operators are not true in general if X is not a Banach space. However, an adequate theory can still be developed for quasi-Banach spaces under some additional conditions, which is important in certain PDE problems; see, e.g. [19]. A pair (X, · ) is said to be a quasi-Banach space if · satisfies all the properties of a norm except for the triangle inequality and if there is a constant C > 0 such that for all x, y ∈ X. Observe that all generalized Fock spaces F p φ are quasi-Banach spaces. We now define an additional property for quasi-Banach spaces as in [28].
Definition 4.1. A quasi-Banach space X is said to be dual rich if for all nonzero vectors x ∈ X, there is a continuous linear functional x * such that x * (x) = 1.
As an example, we mention that every Banach space is dual rich, and so are ℓ p with 0 < p < 1, while none of the L p (C n , dv) spaces with 0 < p < 1 is dual rich; see [28].
For the Fock space F p φ with a small exponent, we have the following lemma which is an easy consequence of Theorem 5.1 of [22].
The following result is needed when we characterize Fredholm operators on F p φ for 0 < p < 1. Proof. See Section 3.5.1 of [28].
Before we can embark on the proof of our main theorem, we need a few preliminary results that illustrate the role played by the Berezin transform and the normalized reproducing kernel function.
as R → ∞. Thus, for each ε > 0, there is an R > 0 such that which gives (4.1) and hence the proof is complete.
Lemma 4.6. If 0 < p < ∞ and T is compact linear operator on F p φ , then (4.5) lim z→∞ T (z) = 0, whereT is the Berezin transform of the operator T defined by T (z) = T k z , k z for z ∈ C and ·, · is the inner product on F 2 φ .
Proof. When 1 ≤ p < ∞, the conclusion (4.5) is trivial because F p φ is a Banach space. Our proof here works well for all 0 < p < ∞. As stated on page 476 of [16] or alternatively using the approach of Theorem 7 in [11], a subset E ⊂ F p φ is relatively compact in F p φ if and only if for each ε > 0 there is some R > 0 such that Since T is compact on F p φ , we have Hence, by the reproducing formula for functions in F p φ , given in (3.10), we have This and (4.6) imply as z → ∞. This completes the proof.
Proof. (i) First we show that the Berezin transform f is continuous on C. By Lemma 2.3, for w ∈ B(z, 1), and C e − |ξ−z| ρ(z) ǫ dA(ξ) < ∞. Therefore, by Lebesgue's dominated convergence theorem, it follows that Hence f − f ∈ C(C), which together with Lemma 4.4 That T f − f is compact on F p φ is an easy consequence of the stronger assertion that T g is compact if g ∈ L ∞ and lim z→∞ g(z) = 0. Indeed, to verify this, write χ R for the characteristic function of D(0, R). Theorem 3.2 of [16] tells us that T |g|χ R is compact on F p φ , and so is T gχ R . Now, since g − gχ R L ∞ → 0 as r → ∞, we have as R → 0, and hence T g is compact on F p φ . (ii) Suppose that T f is compact. Then lim z→∞ T f (z) = 0 by Lemma 4.6. Notice that, for f ∈ V O ⊆ BO, from (3.9) and Corollary 2.4 we obtain C |k z (ξ)|e −2φ(ξ) dA(ξ) C |f (ζ)k z (ζ)K(ξ, ζ))|e −2φ(ζ) dA(ζ) < ∞.
Then, applying Fubini's theorem, we get Therefore, we have lim z→∞ f (z) = 0. The converse follows from the simple identity and the proof is complete.
Before proving our main result, we comment briefly on the previous attempt to prove it in the Hilbert space setting.
There are two problems with this statement. First, it is only known in the setting of the standard Fock spaces when the space V O is defined using the Euclidean metric (see Proposition 9 of [2] and Lemma 17 of [3]); that is, when the Bergman metric is replaced by the Euclidean metric in (2.15) (or, equivalently, when D r (z) is replaced by the Euclidean disk D(z, r) in (2.16)). Second, the claim that g is continuous does not seem correct in general when f is only in L ∞ ∩ V M O 1 . In [1], the above statement was then used to construct a regularizer of T f as follows: The proof of the following theorem indicates how these problems can be avoided.
We are now ready to state and prove our main result.  On the other hand, by Theorem 4.7, we know that T f = T f + T f −f is also Fredholm on F p φ , and so we can apply Lemma 4.2 and Theorem 4.3 to get some bounded linear operator S on F p φ such that where I is the identity operator and K is some compact operator on F p φ . By Lemma 4.6, we have lim z→∞ K(z) = 0 and hence lim j→∞ ST f (z j ) ≥ 1 − lim j→∞ K(z j ) = 1, which contradicts (4.13). This completes the proof of the necessary condition.
Conversely, suppose that f ∈ V O and f satisfies (4.8). Then there are positive constants R, c and C such that (4.14) c ≤ | f (z)| ≤ C for |z| ≥ R. On the other hand, it follows easily from Lemma 4.4 that f ∈ V O ∩ L ∞ . We define a function g on C by g(z) = 0, |z| < R; 1 f , |z| ≥ R.
Therefore, T f g = I − T χ R on F p φ . Thus, where K 1 = −T χ R − P Mf H g is compact on F p φ because P Mf is clearly bounded from L p φ to F p φ . Similarly, T g T f = I +K 2 for some compact operator K 2 on F p φ . We conclude that T f is Fredholm and the proof is complete. Proof. The previous theorem gives the description in (4.15) and the connectedness follows from this becausef is continuous.

Open problems and conclusions
Our work completes the study of Fredholm Toeplitz operators on the most general weighted Fock spaces F p φ where their boundedness and compactness are well understood but only in dimension one. As our work makes use of a number of results, for example, on the reproducing kernel and the Bergman distance that are only known in dimension one, it seems that the generalization to the higher dimensions is an onerous task. However, we still think that the ideas presented in our current work may well serve as a blueprint for such generalizations and we conjecture that our main result remains true for doubling Fock spaces over C n . It is worth noting that pointwise estimates for the weighted Bergman kernel in several complex variables was recently obtained in [10], which may serve as (partial) substitutes for the estimates used in our present work.
Perhaps another suitable starting point for further study is the notion of Fock spaces A 2 (Ψ) in C n defined with logarithmic growth functions Ψ; for further details about these types of Fock spaces, see [32]. In particular, we note that both the spaces F p φ and A p (Ψ) serve as generalizations of the classical Fock space that have potential to stimulate further interest in function-theoretic operator theory and interplay between several branches of analysis.