Toeplitz Operators with Measure-Valued Symbols

• Toeplitz operators with measure-valued symbols are integral operators defined on reproducing kernel Hilbert spaces that use measure symbols to investigate boundedness, compactness, and spectral properties.
• They employ Carleson measure conditions and the Berezin transform to precisely characterize operator norms in classical spaces such as Fock and Bergman spaces.
• The framework extends to singular distributions, providing detailed criteria for Schatten class membership and compactness through localized measure estimates and norm comparability.

Toeplitz operators with measure-valued symbols are integral operators arising in functional analysis, complex analysis, and mathematical physics, defined on spaces of holomorphic (or entire) functions, such as Fock spaces and Bergman spaces, with potentially highly singular symbols ranging from integrable functions to general positive Borel measures and distributions. For such operators, fundamental questions concern their boundedness, compactness, spectral properties, and membership in operator ideals, framed in terms of real-variable and geometric properties of the underlying measure symbol.

1. Definition and Functional Framework

Given a complex domain $X$ (typically $\C^n$), let $\mathcal{H}$ be a reproducing kernel Hilbert space (RKHS) of entire or holomorphic functions with kernel $K(z, w)$. For a (possibly unbounded) complex Borel measure $\mu$ satisfying certain local finiteness or exponential integrability conditions, the (measure-valued) Toeplitz operator $T_\mu$ acts on $f\in\mathcal{H}$ via

$(T_\mu f)(z) = \int_{X} f(w) K(z, w) \, d\mu(w)$

where the kernel is explicitly known for classical spaces: for the Segal–Bargmann (Fock) space $F^2(\C^n)$, $K(z, w) = e^{z \cdot \overline{w}}$; for weighted Bergman and Fock–Sobolev spaces, the kernel is adapted to the weight or Sobolev order. The construction extends via the theory of bounded sesquilinear forms to encompass distributions, allowing singular symbols such as derivatives of Dirac measures (Rozenblum et al., 2014, Rozenblum et al., 2019).

The symbol $\mu$ is called a measure-valued symbol, and a central problem is to give geometric and analytic characterizations of when $T_\mu$ is bounded, compact, or belongs to a specific operator ideal (Schatten class, Lorentz, Marcinkiewicz, etc.) (Orenstein, 2014, Isralowitz, 2012, Oliver et al., 2015, Asserda, 2017).

2. Carleson–Type Conditions and Boundedness

Boundedness criteria for $T_\mu$ are uniformly characterized via Carleson measures adapted to the space $\mathcal{H}$:

• For the standard Fock space $F^2(\C^n)$ with weight $e^{-|z|^2}$, a positive Borel measure $\mu$ is a Carleson measure if for all $r > 0$,

$\sup_{z \in \C^n} \mu(B(z, r)) < \infty$

where $B(z, r)$ is the Euclidean ball. This condition ensures that the Toeplitz operator $T_\mu$ extends to a bounded operator on $F^2(\C^n)$, with the operator norm comparable to $\sup_z \mu(B(z, r))$ (Rozenblum et al., 2014, Orenstein, 2014, Isralowitz, 2012).

• The same criterion applies in more general frameworks, including weighted Fock–Sobolev spaces (Cho et al., 2013), doubling Fock spaces (Oliver et al., 2015), weighted Bergman spaces (Duan et al., 2020), and analytic function spaces on Kähler manifolds (Asserda, 2017). The precise nature of the Carleson measure adapts to the volume form and the geometry (e.g., the metric balls in the setting of complex manifolds).
• Equivalently, boundedness is detected by the Berezin transform: for each $z$, define

$$\widetilde{\mu}(z) = \int_{X} \frac{|K(z, w)|^2}{K(z, z)} d\mu(w)$$

and $T_\mu$ is bounded if and only if $\sup_z \widetilde{\mu}(z) < \infty$ (Isralowitz, 2012, Asserda, 2017, Huang et al., 14 Feb 2025, Chen, 8 Dec 2025). On weighted spaces, disc averages or small ball averages of $\mu$ against the ambient weight/volume precisely encode boundedness.

• In non-Hilbert settings (e.g., Fock $F^\infty$), similar Carleson/Berezin transform characterizations hold (Huang et al., 14 Feb 2025).

3. Compactness and Vanishing Carleson Conditions

Compactness of Toeplitz operators with measure-valued symbols is characterized by the vanishing Carleson condition:

• For classical Fock, Fock–Sobolev, or weighted Bergman spaces, $T_\mu$ is compact if and only if

$\lim_{|z| \to \infty} \mu(B(z, r)) = 0$

or equivalently, $\lim_{|z| \to \infty} \widetilde{\mu}(z) = 0$ (Isralowitz, 2012, Cho et al., 2013, Rozenblum et al., 2014, Oliver et al., 2015, Asserda, 2017).

• In geometric terms, compactness arises if the measure $\mu$ “decouples” from infinity: no mass can concentrate “far out” in the phase space.
• In settings of weighted Fock spaces with $A_\infty$-type weights, the vanishing condition applies to the normalized ball averages $\frac{\mu(B(z, r))}{w(B(z, r))} \to 0$ (Chen, 8 Dec 2025).

4. Spectral Properties and Ideal Membership

Given the RKHS formulation, the spectral and ideal-theoretic properties of Toeplitz operators with measure symbols are sharply characterized:

• For positive Borel measure $\nu$ on $\C^n$, and for any symmetric norming function $\varphi$ (e.g., $\ell^p$ giving Schatten classes), $(T_\nu)^s$ belongs to the symmetrically normed ideal ($\mathcal{S}_\varphi$) if and only if

$\int_{\C^n} \varphi\big(v_r(z)^s\big) d\lambda(z) < \infty$

where $v_r(z) = \nu(B(z, r))$, and $s \in (0,1]$ (Orenstein, 2014).

• This result generalizes the Schatten $S_p$ criterion (take $\varphi(x) = |x|^p$), and extends to Lorentz and Marcinkiewicz ideals via more general norming functions (Orenstein, 2014).
• The singular values of $(T_\nu)^s$ satisfy two-sided comparability estimates with $v_r(a_j)^s$ over a suitable lattice covering $\C^n$.

5. Extensions: Singular Symbols and Operator Algebras

The measure-valued symbol framework admits substantial generalizations:

• For arbitrary (even distributional) symbols $\varphi \in \mathcal{D}'(\C^n)$ with compact support, Toeplitz operators are defined via sesquilinear forms:

$$\Phi_\varphi(f, g) = \langle \varphi, f \overline{g} e^{-|z|^2} \rangle$$

and result in bounded, often compact, operators on Fock-type spaces (Rozenblum et al., 2014, Rozenblum et al., 2019).

• In Bergman spaces on the upper half-plane, Toeplitz operators with symbols given by distributional derivatives of measures, including Dirac masses and their derivatives supported on the boundary, are described and their mapping properties explicitly classified using Carleson conditions for higher derivatives (Rozenblum et al., 2019).
• On generalized Fock spaces with rapidly growing weights, compact operators are norm limits of Toeplitz operators with compactly supported smooth symbols (Isralowitz, 2012). This establishes the foundational “closure” property of the Toeplitz algebra.

6. Applications and Illustrative Examples

Concrete symbolic classes and associated operator properties demonstrate the breadth of the theory:

Symbol Class	Boundedness Criterion	Spectral/Ideal Membership
Atomic measures $\sum c_k \delta_{w_k}$	Sparseness or decay in $\sum c_k^s<\infty$	$(T_\nu)^s \in \mathcal{S}_\varphi$ if $\sum \varphi(c_k^s)<\infty$
Radial densities $h(|z|)\,dV$	$\int \varphi(C^s h(|z|)^s) d\lambda(z) < \infty$	Norms/spectral decay linked to $h(|z|)$
Weighted compositions/Volterra	Symbol-induced measure meets disc-average growth	Schatten/compactness as in (Chen, 8 Dec 2025)

The spectral distribution of Toeplitz operators traces the “local mass” distribution of the measure symbol; mass concentration near infinity or excessive atomic accumulation yields non-compactness or failure to belong to Schatten ideals.

7. Extensions: Bergman Spaces, Fock–Sobolev, and Beyond

The general framework is robust across a wide spectrum:

• On holomorphic line bundles over Cartan–Hadamard manifolds, positive measure symbols yield Toeplitz operators satisfying analogous boundedness, compactness, and Schatten class criteria, controlled by geometric (ball-averaging) Carleson conditions and the associated Berezin transform (Asserda, 2017).
• Weighted Fock–Sobolev spaces, doubling Fock spaces, and Fock spaces with $A_\infty$-type weights all admit a parallel theory, with precise kernel estimates ensuring that real-variable Carleson-type control of the measure symbol prescribes the operator-theoretic properties in these regimes (Cho et al., 2013, Oliver et al., 2015, Chen, 8 Dec 2025).
• In Banach-space settings for $F_\alpha^p$ ($1\leq p < \infty$), sharp nuclearity results are available: Toeplitz operators with finite-mass symbols are nuclear from $F_\alpha^p$ to $F_\alpha^q$ if $q \leq p$, with nuclear norm given by the total mass; the situation for $p < q$ is more subtle, and full characterization requires additional conditions beyond Berezin transform integrability (Ma et al., 15 Jan 2026).

In all cases, the shared methodology is an overview of RKHS techniques, real-variable geometric measure theory, and operator ideal theory, with universal core: local control of the measure symbol—via ball averages, Berezin transforms, or suitable functional averages—governs mapping, spectral, and ideal-theoretic regimes of Toeplitz operators with measure-valued symbols (Orenstein, 2014, Rozenblum et al., 2014, Isralowitz, 2012, Asserda, 2017, Oliver et al., 2015).