Szegő kernel

Szegő kernel
Name	Szegő kernel
Field	Complex analysis
Introduced	1920s
Named after	Gábor Szegő

Szegő kernel is a reproducing kernel arising in the theory of orthogonal projection of square-integrable boundary values of holomorphic functions. It serves as a fundamental object connecting harmonic analysis on the unit circle, operator theory on Hardy spaces, and several complex variables on strictly pseudoconvex domains. The kernel encodes geometric and spectral information useful in problems related to Toeplitz operators, Bergman kernels, and quantization.

Definition and basic properties

The Szegő kernel is defined as the integral kernel of the orthogonal projection from L^2 of the boundary of a domain onto the Hardy space of boundary values of holomorphic functions; this projection was studied by Gábor Szegő, Norbert Wiener, and Stefan Banach. In classical settings one constructs the kernel as a reproducing kernel for Hardy spaces, paralleling the construction used for the Bergman kernel by Stefan Bergman and Otto Toeplitz. The kernel is positive-definite, Hermitian symmetric, and depends sensitively on the smoothness of the boundary and CR structure studied by Kohn and Hörmander. Important functional-analytic properties connect the Szegő projection to boundedness questions addressed by Calderón, Stein, and Fefferman.

Szegő kernel on planar domains and the unit circle

On the unit circle the Szegő kernel has an explicit form related to Fourier series and the classical Poisson kernel encountered in work of Henri Poincaré, Carl Friedrich Gauss, and Bernhard Riemann. For simply connected planar domains conformal maps of the Riemann mapping theorem, as developed by Augustin-Louis Cauchy and Riemann, relate the Szegő kernel to pullbacks of the unit-circle kernel via maps studied by Koebe and Carathéodory. Connections to potential theory and Green functions, pursued by George Green and Lord Kelvin, allow the Szegő kernel to be expressed in terms of harmonic measure and boundary correspondence used in works by Julia and Carathéodory. Analytic continuation and boundary regularity issues evoke techniques from Aleksandr Lyapunov and Marcel Riesz.

Szegő kernel in several complex variables and strictly pseudoconvex domains

In higher dimensions the Szegő kernel is defined on the boundary of domains in complex manifolds and is central in the analysis of strictly pseudoconvex domains studied by Kohn, Hörmander, and Charles Fefferman. The Boutet de Monvel–Sjöstrand parametrix construction and microlocal techniques developed by Lars Hörmander, Louis Boutet de Monvel, and Johannes Sjöstrand produce detailed descriptions of the Szegő kernel near the diagonal. CR geometry approaches pioneered by Andréotti and Fredholm theory considerations by Israel Gelfand and Mark Krein inform regularity and spectral properties. The interplay with the ∂̄-Neumann problem considered by Joseph Kohn and the boundary behavior studied by Elias Stein yields global existence and subelliptic estimates.

Relation to Bergman kernel and orthogonal projection

The Szegő kernel is closely related to the Bergman kernel through boundary limit operations and integral transforms rooted in the work of Bergman, Kerzman, and Stein. While the Bergman kernel reproduces holomorphic functions in L^2 of the domain interior (studied by Bergman and Paul Dirac), the Szegő kernel reproduces boundary traces in Hardy spaces connected to Wiener and Paley. Relations are clarified by work of Kerzman–Stein on singular integral operators and by microlocal equivalences used by Boutet de Monvel and Guillemin. In several complex variables links to the ∂̄-operator and Hodge theory invoked by Donaldson and Atiyah reflect deeper geometric quantization analogies.

Asymptotic expansions and microlocal analysis

Asymptotic expansions of the Szegő kernel for high powers of positive line bundles and large tensor powers are studied in the context of geometric quantization by Tian, Catlin, and Zelditch. Microlocal analysis techniques by Hörmander, Maslov, and Duistermaat provide stationary phase and Fourier integral operator frameworks that produce on-diagonal and off-diagonal asymptotics studied by Shiffman and Zelditch. These expansions connect to spectral asymptotics in the sense of Weyl and to semi-classical limits explored by Simon and Helffer. The results are essential for understanding concentration phenomena and Bergman–Szegő comparison theorems.

Applications in complex analysis and geometric quantization

The Szegő kernel finds applications in Toeplitz operator theory studied by Brown and Douglas, in the analysis of random holomorphic sections investigated by Sarnak and Rudnick, and in the study of Kähler geometry pursued by Yau and Calabi. In geometric quantization contexts used by Kostant and Souriau, the Szegő kernel models the projector onto quantum states associated with classical Kähler manifolds, informing Berezin–Toeplitz quantization as developed by Bordemann and Ma–Marinescu. Further applications appear in spectral geometry studied by Berger and in algebraic geometry contexts linked to Kodaira and Grothendieck.

Category:Complex analysis Category:Several complex variables Category:Reproducing kernel Hilbert spaces