COMPLEX GEOMETRY Course notes
COMPLEX GEOMETRY Course notes
COMPLEX GEOMETRY Course notes
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Theorem 5.4.1. Let (X, g) be a compact Riemannian manifold. Then there exists K p (x, y, t) ∈ A p x(X),<br />
depending only on (X, g) and p, called the heat kernel of X on p-forms such that<br />
∫<br />
A(t) = K p (·, y, t)α(y)dVol(y)<br />
solves (∗), for every α ∈ A p (X).<br />
X<br />
Let T t (x) = ∫ K(·, y, t)α(y)dy.<br />
X<br />
Theorem 5.4.2. T t satisfies:<br />
(1) T t1+t 2<br />
= T t1 T t2 .<br />
(2) T t is formally self-adjoint.<br />
(3) T t α tends to a C ∞ harmonic form H(α) as t −→ ∞.<br />
(4) G(α) = ∫ ∞<br />
0 (T tα − Hα)dt is well defined and yields the Green operator G, i.e.<br />
G(α) ⊥ (harmonic forms) and α = H(α) + ∆G(α).<br />
Proof:<br />
(1) Holds because A(t 1 + t) solves the heat equation with initial condition A(t 1 ).<br />
(2) ∂ t 〈T t η, T τ ɛ〉 = 〈∂ t T t η, T τ ɛ〉 = − 〈∆T t η, T τ ɛ〉 = − 〈T t η, ∆T τ ɛ〉 = 〈T t η, ∂ t T τ ɛ〉 = ∂ t 〈T t η, T τ ɛ〉. This<br />
implies that 〈 , 〉 is a function of t + τ, so denote 〈 , 〉 by g(t + τ). Therefore,<br />
(3) (1) + (2) =⇒ ∀h > 0,<br />
〈T t η, ɛ〉 = g(t + 0) = g(0 + t) = 〈η, T τ ɛ〉 .<br />
||T t+2h α − T t α|| 2 = ||T t+2h α|| 2 + ||T t α|| 2 − 2 〈T t+2h α, T t α〉<br />
= ||T t+2h α|| 2 − ||T t α|| 2 − 2(||T t+h α|| 2 − ||T t+2h α||||T t α||)<br />
and ||T α α|| 2 converges, and therefore it is decreasing. Hence ||T t+2h α − T t α|| 2 −→ 0. It follows<br />
T t α −→ H(α), for some H(α) ∈ A p (X) L2 , called the harmonic projection. Fix τ > 0, then<br />
T t α = T τ T t−τ α −→ H(α) := T τ H(α) as t −→ ∞. Hence H(α) is C ∞ since T τ is given by a C ∞<br />
kernel. Hence H = lim t→∞ T t is also formally self-adjoint.<br />
(4) ||T t α − Hα|| can be shown to decay rapidly enough so that G(α) = ∫ ∞<br />
0 (T tα − H(α))dt is well<br />
defined. We verify that G is formally the Green operator:<br />
∆G(α) =<br />
and for β harmonic we have<br />
〈Gα, β〉 =<br />
∫ ∞<br />
0<br />
∫ ∞<br />
〈(T t − H)α, β〉 dt =<br />
0<br />
∆T t αdt =<br />
∫ ∞<br />
0<br />
∫ ∞<br />
0<br />
−∂ t T t αdt = α − H(α),<br />
〈α, (T t − H)β〉 dt = 0, since (T t − H)β = 0.<br />
69