Analytic Methods: L² Estimates, Integral Kernels, and Bergman Theory¶

Job: develop the Hörmander $L^2$ estimates (twisted / Berndtsson curvature), the Bochner–Martinelli / Cauchy–Fantappiè / Henkin–Ramirez kernels, the Bergman kernel / metric / asymptotics (Fefferman), the Ohsawa–Takegoshi extension, and the Nadel / Demailly vanishing / holomorphic Morse — with the Hörmander $L^2$ / Ohsawa–Takegoshi / Fefferman Bergman asymptotics as the worked example.

Core¶

The Hörmander $L^2$ estimates in full depth¶

Theorem (Hörmander $L^2$). For a pseudoconvex $\Omega\subset\mathbb{C}^n$ and a plurisubharmonic weight $\varphi$, the $\bar\partial$-equation $\bar\partial u=f$ (for $\bar\partial$-closed $f\in L^2_{0,q}(\Omega,e^{-\varphi})$) has a solution $u$ with $$$ |u|^2_{e^{-\varphi}}\le\int_\Omega\frac{|f|^2}{\lambda_1(z)}\,e^{-\varphi}\,dV, $$ where $\lambda_1(z)$ is the smallest eigenvalue of the Levi form $i\partial\bar\partial\varphi$ (the twisted / the weighted estimate).

Hörmander $L^2$	Description
The estimate	$\|u\|^2_{e^{-\varphi}}\le\int
Weight $\varphi$	the plurisubharmonic weight, the Levi form $i\partial\bar\partial\varphi\ge0$
$\lambda_1(z)$	the smallest eigenvalue of the Levi form (the curvature lower bound)
Berndtsson estimate	the curvature estimate for $\bar\partial$ on vector bundles (the complex Brunn–Minkowski, the positivity of the direct image)

The Berndtsson estimate (the curvature estimate for the $\bar\partial$ on the vector bundles, the complex Brunn–Minkowski, the positivity of the direct image): the curvature of the $\bar\partial$-operator on the $L^2$-bundles is positive (the subbundle of the $L^2$-holomorphic sections), the complex Brunn–Minkowski inequality.

Integral kernels and the Bochner–Martinelli / Cauchy–Fantappiè¶

Integral kernel	Description
Bochner–Martinelli kernel	the integral kernel for the holomorphic functions on $\mathbb{C}^n$ (the analog of the Cauchy kernel in $n=1$, the invariant kernel)
Cauchy–Fantappiè formula	the integral representation via the Leray kernel (the general integral formula for the holomorphic functions)
Henkin–Ramirez kernel	the integral kernel for the strictly pseudoconvex domains (the explicit kernel / the $\bar\partial$-solution via the integral)
Integral representations	the holomorphic functions via the integral kernels (the Bochner–Martinelli, the Cauchy–Fantappiè, the Henkin–Ramirez)

The Bergman theory and the Bergman kernel asymptotics¶

Bergman theory	Description
Bergman kernel $K_\Omega(z,w)$	the reproducing kernel of $L^2(\Omega)\cap\mathcal{O}(\Omega)$, the Bergman projection $P$
Bergman metric	the Kähler metric $g_{i\bar j}=\partial_i\partial_{\bar j}\log K(z,z)$ (the invariant metric on the bounded domains)
Bergman asymptotics (Fefferman / Boutet de Monvel–Sjöstrand)	$K(z,z)\sim$ the boundary behavior on the strictly pseudoconvex (the asymptotic expansion)
Tian–Yau / Zelditch	the geometric quantization (the relation to the complex geometry / Kähler and the mirror symmetry)

The extension theorems and the Ohsawa–Takegoshi¶

Theorem (Ohsawa–Takegoshi). For a Stein domain $\Omega\subset\mathbb{C}^n$ and a complex submanifold / analytic subset $V\subset\Omega$ of codimension $k$, a holomorphic function / section on $V$ with $L^2$ bound extends to $\Omega$ with the $L^2$ bound controlled by the codimension.

Ohsawa–Takegoshi / vanishing	Description
Ohsawa–Takegoshi	the $L^2$ extension theorem (from $V\subset\Omega$ of codim $k$, with the $L^2$ bound)
Nadel vanishing	the $L^2$ vanishing $H^q(X,K_X\otimes L\otimes\mathcal{I}(\varphi))=0$ for $q>0$ (the multiplier ideal, the Nadel)
Demailly holomorphic Morse	the holomorphic Morse inequalities (the asymptotic of the cohomology of the tensor powers $L^k$)
Effective AG	the global generation, the effective algebraic geometry (the Demailly–Skoda–Hörmander)

The analytic / algebraic comparison and the transcendence¶

Analytic / algebraic	Description
GAGA (Serre)	the analytic vs algebraic coherent sheaves on projective varieties (the comparison, foundations)
Kodaira embedding	the Kähler $\to$ projective via the Hodge / the ample line bundle (the Kodaira theorem)
Transcendental methods	the $L^2$ / the Bergman / the Ohsawa–Takegoshi (the analytic toolkit not available in the algebraic category)
Analytic-to-algebraic	the application of the transcendental methods to the algebraic / projective geometry

See it¶

Hörmander $L^2$ estimate and the Ohsawa–Takegoshi extension for the Bergman kernel. The Hörmander $L^2$ estimate for $\bar\partial$ on a pseudoconvex $\Omega$ with the weight $\varphi=\log|z-z_0|^2$ (the logarithmic weight, the singularity at $z_0$): the $\bar\partial$-solution with the $1/|z-z_0|^2$ bound, and the Ohsawa–Takegoshi / the Bombieri–Skoda (the extension of a holomorphic function from $z_0$ with the $L^2$ bound, the Skoda division / the ideal generation). The consequence: the Bergman kernel asymptotics $$ K(z,z)\sim\frac{1}{\mathrm{dist}(z,\partial\Omega)^{n+1}} $$ (the Fefferman / the Boutet de Monvel–Sjöstrand boundary asymptotic on the strictly pseudoconvex domain, the Bergman kernel blows up at the boundary with the $(n+1)$-power), and the Bergman metric $g_{i\bar j}=\partial_i\partial_{\bar j}\log K\sim$ the hyperbolic / the boundary behavior. The key point: the Hörmander $L^2$ / the Ohsawa–Takegoshi is the analytic engine for the Bergman kernel / the Bergman metric, and the Fefferman asymptotics give the explicit boundary behavior — the analytic toolkit for the complex geometry / the mirror symmetry.

Check¶

Show that the Hörmander $L^2$ estimate with the logarithmic weight $\varphi=\log|z-z_0|^2$ gives the Ohsawa–Takegoshi extension, and identify the role of the multiplier ideal.

The Hörmander $L^2$ with $\varphi=\log|z-z_0|^2$ (the psh weight with the logarithmic singularity at $z_0$, the Levi form $i\partial\bar\partial\varphi$ the delta at $z_0$ plus the smooth part): the $\bar\partial$-solution $u$ satisfies $\|u\|^2_{e^{-\varphi}}\le\int|f|^2 e^{-\varphi}/\lambda_1\,dV$, with $\lambda_1$ the Levi lower bound (the delta at $z_0$, the singularity). The $e^{-\varphi}=1/|z-z_0|^2$ (the weight), so the $\bar\partial$-solution with the $1/|z-z_0|^2$ bound. The Ohsawa–Takegoshi: the extension from $z_0$ (the point submanifold) with the $L^2$ bound, the codimension-1 / the general codimension version. The multiplier ideal $\mathcal{I}(\varphi)$ (the Nadel multiplier ideal, the functions $f$ with $|f|^2 e^{-\varphi}$ locally $L^2$): the Nadel vanishing $H^q(K\otimes L\otimes\mathcal{I}(\varphi))=0$ for $q>0$ (the $L^2$ vanishing, the Ohsawa–Takegoshi / the Nadel connection). The role: the multiplier ideal is the $L^2$-integrability condition (the $|f|^2 e^{-\varphi}\in L^2$), the Nadel vanishing the $L^2$-based cohomology vanishing, the engine for the effective AG / the global generation.

Explain the Fefferman Bergman kernel asymptotics $K(z,z)\sim 1/\mathrm{dist}(z,\partial\Omega)^{n+1}$ on the strictly pseudoconvex domain, and identify the Bergman metric behavior.

The Fefferman / Boutet de Monvel–Sjöstrand asymptotics: on a strictly pseudoconvex domain $\Omega$ (the smooth boundary, the positive Levi form), the Bergman kernel $K(z,z)$ on the diagonal blows up as $z\to\partial\Omega$ with the $(n+1)$-power of the distance: $K(z,z)\sim c_n/\mathrm{dist}(z,\partial\Omega)^{n+1}$ (the boundary asymptotic, the Fefferman 1974 / the Boutet de Monvel–Sjöstrand 1976). The Bergman metric $g_{i\bar j}=\partial_i\partial_{\bar j}\log K(z,z)$: the $\log K\sim -(n+1)\log\mathrm{dist}(z,\partial\Omega)$, so the metric $\sim (n+1)/\mathrm{dist}^2$ (the hyperbolic / the boundary behavior, the Bergman metric blows up at the boundary, the complete metric). The Bergman metric on the strictly pseudoconvex domain is the complete Kähler metric (the boundary blow-up, the hyperbolic behavior), the Fefferman asymptotics giving the explicit form. The key: the Bergman kernel / metric is the analytic invariant computed via the Hörmander $L^2$ / the Ohsawa–Takegoshi, and the Fefferman asymptotics the explicit boundary behavior.

Pitfalls¶

The Hörmander $L^2$ estimate requires the pseudoconvexity / the psh weight (the non-pseudoconvex domains fail — the Levi form not positive, the $\lambda_1$ not bounded below).
The Berndtsson curvature / the complex Brunn–Minkowski is the recent / deep result (not the classical Hörmander — the curvature of the $L^2$-bundles, the positivity of the direct image, the recent advance).
The Bergman asymptotics (the Fefferman) is for the strictly pseudoconvex (the non-strict / the weakly pseudoconvex have a more subtle / non-asymptotic Bergman kernel — the worm domain, the non-regular Bergman projection).
The Ohsawa–Takegoshi requires the codimension and the $L^2$ bound (the optimal constant / the Blocki–Guan–Zhou is the recent sharp version, the optimal $L^2$ extension constant).
The Nadel / Demailly vanishing is the $L^2$-based cohomology vanishing (the multiplier ideal, the $\mathcal{I}(\varphi)$), the analytic / transcendental vanishing, not the algebraic Kodaira vanishing (the two are related via the GAGA but the methods differ).
The transcendental methods (the $L^2$ / the Bergman / the Ohsawa–Takegoshi) are the analytic toolkit not available in the pure algebraic category — the analytic-to-algebraic is the application (the effective AG), not the equivalence (the GAGA is the equivalence, the transcendental methods are the additional analytic tools).

Refs¶

Hörmander, An Introduction to Complex Analysis in Several Variables (the $L^2$ estimates); Berndtsson, "Curvature of vector bundles associated to holomorphic fibrations" (2006)
Fefferman, "The Bergman kernel and biholomorphic mappings of pseudoconvex domains" (Invent. 1974); Boutet de Monvel–Sjöstrand, "Sur la singularité des noyaux de Bergman et de Szegő" (1976)
Ohsawa–Takegoshi, "On the extension of $L^2$ holomorphic functions" (Math. Z. 1987); Blocki–Guan–Zhou, "Optimal $L^2$ extension" (2013)
Nadel, "Multiplier ideal sheaves and Kähler–Einstein metrics" (Invent. 1990); Demailly, "Holomorphic Morse inequalities" (the effective AG); Demailly–Skoda, the $L^2$ division

Next¶

SCV index · Foundations · $\bar\partial$-Neumann & Kohn Estimates · Stein & Oka Principle · CR Geometry & $\bar\partial_b$ · Complex geometry / Kähler · Mirror symmetry · Functional analysis

Hörmander \(L^2\)	Description
The estimate	$\|u\|^2_{e^{-\varphi}}\le\int
Weight \(\varphi\)	the plurisubharmonic weight, the Levi form \(i\partial\bar\partial\varphi\ge0\)
\(\lambda_1(z)\)	the smallest eigenvalue of the Levi form (the curvature lower bound)
Berndtsson estimate	the curvature estimate for \(\bar\partial\) on vector bundles (the complex Brunn–Minkowski, the positivity of the direct image)