28.11.2014 Views

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!