Fock–Carleson Measure in Fock Spaces

• Fock–Carleson measure is a concept that defines when a positive measure controls the norm of entire functions in Gaussian-weighted Fock spaces.
• It employs analytic and geometric criteria, such as reproducing kernels and ball conditions, to ensure boundedness of associated operators.
• Its framework extends to weighted, vector-valued, Sobolev, and quaternionic settings, influencing Toeplitz operator theory and spectral analysis.

A Fock–Carleson measure is a precise measure-theoretic concept central to operator theory and function space geometry in the Fock space, the Hilbert or Banach space of entire functions endowed with a Gaussian-weighted $L^p$ norm. Fock–Carleson measures dictate boundedness, compactness, and invertibility properties of integral and Toeplitz operators acting on Fock spaces and their generalizations, and are deeply connected to sampling, interpolation, and geometric function theory.

1. Definition and Core Characterization

Let $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$ denote Gaussian measure on $\mathbb{C}$, and let $\mathcal{F}^2$ be the Hilbert Fock space of entire $f$ with finite norm $$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$. A positive Borel measure $\mu$ on $\mathbb{C}$ is a Fock–Carleson measure if there exists $C>0$ such that, for all $f\in\mathcal{F}^2$,

$d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$0

This extends to Fock spaces $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$1, $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$2, and weighted Fock spaces $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$3 and vector-valued or Sobolev-type variants (Chen et al., 2024, Cho et al., 2012, Cascante et al., 2016, Esmeral et al., 2019, Huang et al., 14 Feb 2025, Arroussi et al., 21 Apr 2025, Mengestie, 2015).

A measure is a reverse Fock–Carleson measure if the same inequality holds in reverse with $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$4 (i.e., $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$5). These conditions regulate the boundedness and invertibility of associated operators.

2. Equivalent Formulations and Geometric Criteria

The Fock–Carleson property admits several equivalent analytic and geometric characterizations:

• Via reproducing kernels $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$6,

$d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$7

• Through ball conditions: For every $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$8, there exists $d\lambda(z) = \frac{1}{2} e^{-|z|^2/2}dA(z)$9 with

$\mathbb{C}$0

For reverse Carleson,

$\mathbb{C}$1

Weighted and Sobolev Fock spaces introduce modifications in the ball conditions, incorporating growth rates of $\mathbb{C}$2 for Fock–Sobolev spaces $\mathbb{C}$3 (Cho et al., 2012).

In multi-dimensional and vector-valued settings, similar criteria use balls in $\mathbb{C}$4 or generalized Dall'Ara weights and require local averages against the underlying measure (Arroussi et al., 21 Apr 2025).

3. Berezin Transform, Operator Theory, and Examples

The Berezin transform of a measure $\mathbb{C}$5 is

$\mathbb{C}$6

where $\mathbb{C}$7 is the normalized kernel (Chen et al., 2024, Huang et al., 14 Feb 2025, Arroussi et al., 21 Apr 2025, Mengestie, 2015).

For Toeplitz operators $\mathbb{C}$8 with symbol $\mathbb{C}$9, boundedness on $\mathcal{F}^2$0 is equivalent to $\mathcal{F}^2$1 being Carleson, and invertibility to $\mathcal{F}^2$2 being reverse Carleson (Chen et al., 2024). While boundedness can often be detected via uniform control of $\mathcal{F}^2$3, invertibility is stricter; pointwise lower bounds for $\mathcal{F}^2$4 do not suffice (see the lattice counterexample in (Chen et al., 2024)). This exemplifies the subtlety: bounded Berezin transforms do not guarantee invertibility—local mass lower bounds (reverse Carleson) are essential.

Illustrative example: A “thin” lattice of point masses $\mathcal{F}^2$5, spaced widely, gives $\mathcal{F}^2$6 so $\mathcal{F}^2$7 is bounded below and above, yet $\mathcal{F}^2$8 may fail the reverse Carleson inequality globally, making $\mathcal{F}^2$9 non-invertible (Chen et al., 2024).

4. Fock–Carleson Measures in Weighted, Vector, and Sobolev Settings

For weighted Fock spaces $f$0 or vector-valued analogs $f$1 with subharmonic weights, the Carleson property is similarly formulated with respect to the weighted norm and reproducing kernel. The scalar-valued and operator-valued Berezin transforms and box averages (e.g. $f$2 normalized by local scale) provide equivalent criteria for boundedness and compactness of Toeplitz operators (Arroussi et al., 21 Apr 2025).

Carleson measures for Fock–Sobolev spaces $f$3 are characterized by polynomial growth controls:

$f$4

and weighted Fock–Sobolev variants with $f$5-type weights require analogous arithmetic on the covering balls and associated averages (Cho et al., 2012, Cascante et al., 2016, Mengestie, 2015).

Averaging functions and sequences derived from such local ball conditions or Berezin transforms describe both the embedding and operator-theoretic aspects (Mengestie, 2015).

5. Advanced Extensions: Higher Derivatives, Quaternionic, and Lagrangian-Invariant Cases

Generalizations include Fock–Carleson measures for $f$6-th derivatives (horizontal Fock–Carleson type measures, $f$7-hFC), defined by

$f$8

and codifferentials define an isomorphism to a commutative $f$9-algebra via the Bargmann transform (Esmeral et al., 2019).

Quaternionic Fock spaces on $$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$0 extend the notion: $$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$1 is a right-linear Fock–Carleson measure if, for slice-regular $$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$2,

$$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$3

with equivalent slice and global formulations. The slice-averaging over symmetric Carleson boxes introduces new geometric complexity, but the embedding and compactness criteria parallel the complex case (Lin et al., 15 Jan 2026).

Measures invariant under Lagrangian translations in phase space $$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$4 are mapped (via unitary transformation) to horizontal Fock–Carleson measures, and the associated Toeplitz operators are again commutative and diagonalizable (Esmeral et al., 2019).

6. Functional Analytic Applications and Connections

Fock–Carleson measures are foundational for the study of Toeplitz operator spectra, Schatten class criteria, interpolation and sampling in entire function spaces, boundedness/compactness of weighted composition operators, and extension to $$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$5-$$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$6 Carleson measure theory for $$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$7 embedding (Mengestie, 2015).

In operator theory, they determine exactly when integral or kernel-induced operators, Berezin transforms, and composition-type mappings are bounded, compact, or invertible. The interplay of local mass conditions, Berezin transforms, lattice averaging, and geometric measure properties underpins a unified theory spanning classical, weighted, Sobolev, vector-valued, and quaternionic Fock spaces (Chen et al., 2024, Cho et al., 2012, Cascante et al., 2016, Esmeral et al., 2019, Huang et al., 14 Feb 2025, Lin et al., 15 Jan 2026, Arroussi et al., 21 Apr 2025, Mengestie, 2015).

7. Summary Table: Key Criteria

Property	Analytic Criterion	Geometric Criterion	Operator-Theoretic Outcome
Fock–Carleson	$$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$8	$$\|f\|^2 = \int_\mathbb{C} |f(z)|^2 e^{-|z|^2/2} dA(z) < \infty$$9	$\mu$0 bounded on Fock space
Reverse Fock–Carleson	$\mu$1	$\mu$2	$\mu$3 invertible on Fock space
Berezin-based (boundedness)	$\mu$4 bounded above	-	Bounded embedding/Toeplitz
Berezin-based (invertible)	$\mu$5 bounded below insufficient	-	Full reverse Carleson needed

The table summarizes the essential analytic, geometric, and operator relations: boundedness is guaranteed by Carleson-type local upper bounds; invertibility requires two-sided control (reverse Carleson), and Berezin transform criteria—though necessary for boundedness—do not suffice for invertibility.