This course explores the profound interplay between analysis and complex geometry through the lens of L² methods applied to the ∂̄-equation in several complex variables. The central narrative revolves around how estimates in weighted L² spaces can guarantee the existence and regularity of solutions to fundamental differential equations in complex geometry, and how these analytic techniques reveal deep geometric and algebraic structure. Rather than treating complex analysis as an abstract subject divorced from applications, the course demonstrates how solving the ∂̄-equation under carefully chosen metrics yields concrete results about extension theorems, approximation, and the geometry of singularities.

The first half of the course establishes the conceptual and technical foundations. Chapters 1–2 review the ∂̄-equation and introduce plurisubharmonic functions, which serve as the natural "weight" in L² estimates—they encode geometric rigidity and control solutions at the boundary and at infinity. Chapters 3–4 build toward Hörmander's L² existence theorem, the crown jewel of the analytic approach, which asserts that L² bounds on the ∂̄-operator guarantee solvability. The course then pivots to applications: the Ohsawa–Takegoshi [extension theorem](/theorems/59), Bergman spaces and reproducing kernels, and approximation theory in the second half (Chapters 5–7).

The final chapters unify these strands through higher-order structures. Multiplier ideal sheaves (Chapter 8) encode the locus where L² control breaks down, leading to the [Nadel vanishing theorem](/theorems/3718) and refined extension results. Skoda's division theorem (Chapter 9) and the Donnelly–Fefferman theorem (Chapter 10) show how L² methods interact with singular metrics and analytic sets, pushing the theory toward modern algebraic geometry. By Chapter 11, students have seen how weighted L² estimates become a universal tool linking Kähler geometry, algebraic geometry, and complex analysis, with applications extending to multiplicity estimates, effectivity questions, and the geometry of exceptional sets.

# Introduction

This course develops the $L^2$ method for the $\bar{\partial}$-operator in several complex variables. The guiding theme is that analytic estimates for differential forms can replace more indirect sheaf-theoretic arguments, while also producing quantitative bounds on the solutions. The main technical result is the $L^2$ existence theorem of Hörmander, and the main applications are extension, positivity, and vanishing theorems that shape modern complex analysis and complex geometry.

The course assumes a first course in one complex variable, real analysis at the level of $L^p$ spaces and weak compactness, and the basic language of Hilbert spaces. Differential forms on smooth manifolds will be used, but the needed conventions will be recalled as they appear. Basic elliptic PDE is helpful for intuition, especially when comparing the complex Laplacian with the real Laplacian, but the notes keep the analytic estimates self-contained.

## The Central Problem

What does it mean to solve the Cauchy-Riemann equations in several complex variables when there is no single-variable integral formula available on a general domain? In one complex variable, the [Cauchy integral formula](/theorems/345) and residues give direct control over holomorphic functions. In several variables, the equation $\bar{\partial}u=f$ becomes a system on differential forms, and the geometry of the domain begins to control whether solutions with estimates exist.

The first transition in the course is from holomorphic functions to the Dolbeault complex. If $\Omega \subset \mathbb C^n$ is a domain, a smooth function $u: \Omega \to \mathbb C$ is holomorphic precisely when $\bar{\partial}u=0$. More generally, $\bar{\partial}$ maps $(p,q)$-forms to $(p,q+1)$-forms, and the equation

\begin{align*} \bar{\partial}u=f \end{align*}

is meaningful for forms as soon as the compatibility condition $\bar{\partial}f=0$ holds.

The difficulty is not only algebraic compatibility. On domains with poor geometry, the condition $\bar{\partial}f=0$ does not by itself provide useful norm control on a solution. The course therefore asks for estimates of the form

\begin{align*} \int_\Omega |u|^2 e^{-\varphi}\,d\mathcal L^{2n} \le C \int_\Omega |f|^2 e^{-\varphi}\,d\mathcal L^{2n}, \end{align*}

where $\varphi: \Omega \to \mathbb R$ is a weight function and the constant $C>0$ is controlled by the positivity of $\varphi$.

[example: Solving Versus Estimating] For a smoothly bounded disc $D\subset\mathbb C$, an explicit Cauchy-Green operator can solve the scalar equation $\bar{\partial}u=f\,d\bar z$ under regularity assumptions on $f$. For example, the formula has the schematic form \begin{align*} u(z)=\frac{1}{\pi}\int_D \frac{f(\zeta)}{\zeta-z}\,d\mathcal L^2(\zeta), \end{align*} and the identity $\bar{\partial}u=f\,d\bar z$ comes from the distributional relation $\bar{\partial}_z((\zeta-z)^{-1})=\pi\delta_\zeta$ with the chosen normalization. This proves existence by writing down a kernel. The $L^2$ method reorganizes the problem: instead of first constructing $u$ and then estimating it, one proves an inequality of the form \begin{align*} \|v\|_{H_2}^2 \le C\bigl(\|T_\varphi^*v\|_{H_1}^2+\|Sv\|_{H_3}^2\bigr), \end{align*} where $T=\bar{\partial}$, $S=\bar{\partial}$ on the next bidegree, and $T_\varphi^*$ is the weighted [Hilbert space](/page/Hilbert%20Space) adjoint. Since $S T=\bar{\partial}^2=0$, this estimate turns compatible data $f\in\ker S$ into a solution $Tu=f$ with \begin{align*} \|u\|_{H_1}\le C^{1/2}\|f\|_{H_2}. \end{align*} Thus the several-variable theory is organized around estimates: the same inequality supplies both existence of a solution and quantitative control of its size. [/example]

## Why Weighted $L^2$ Spaces Enter

How can a norm detect the complex geometry that governs solvability of $\bar{\partial}u=f$? The answer is to introduce weights whose complex Hessians supply positivity. This shifts the problem from finding an explicit inverse for $\bar{\partial}$ to proving a coercive inequality for $\bar{\partial}$ and its [Hilbert space](/page/Hilbert%20Space) adjoint.

For a real-valued weight $\varphi: \Omega \to \mathbb R$, the weighted space $L^2(\Omega,e^{-\varphi})$ has norm

\begin{align*} \|u\|_{L^2(\Omega,e^{-\varphi})}^2 = \int_\Omega |u|^2 e^{-\varphi}\,d\mathcal L^{2n}. \end{align*}

The exponential weight can penalize growth, localize mass, or encode curvature. In this theory the most important feature is the Levi form of $\varphi$, which is the Hermitian form built from the second derivatives $\partial^2 \varphi/\partial z_i \partial \bar z_j$.