21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

58 [CH. 5: REPRODUCING KERNEL SPACES<br />

Exercise 5.1. Show that V is continuous in Bergman space A(M).<br />

Hint: verify first that for u harmonic and r small enough,<br />

∫<br />

1<br />

u(z) dz = u(p).<br />

Vol B(p, r)<br />

B(p,r)<br />

5.2 Metric structure on root space<br />

Because of Definition 5.2(2), K(·, y) ≠ 0. Thus, y ↦→ K(·, y) induces<br />

a map from M to P(F). The differential form ω is defined as the<br />

pull-back of the Fubini-Study form ω f of P(F) by y ↦→ K(·, y).<br />

Recall from (4.5) that The Fubini-Study differential 1-1 form in<br />

F \ {0} is defined by<br />

√ −1<br />

ω f =<br />

2 ∂ ¯∂ log ‖f‖ 2<br />

and is equivariant by scaling. Its pull-back is<br />

√ −1<br />

ω x =<br />

2 ∂ ¯∂ log K(x, x).<br />

When the form ω is non-degenerate for all x ∈ M, it induces a<br />

Hermitian structure on M. This happens if and only if the fewspace<br />

is a non-degenerate fewspace.<br />

Remark 5.6. If F is the Bergman space, the kernel obtained above is<br />

known as the Bergman Kernel and the metric induced by ω as the<br />

Bergman metric.<br />

Remark 5.7. If φ i (x) denotes an orthonormal basis of F (finite or<br />

infinite), then the kernel can be written as<br />

K(x, y) = ∑ φ i (x)φ i (y).<br />

Remark 5.8. The form ω induces an element of the cohomology ring<br />

H ∗ (M), namely the operator that takes a 2k-chain C to ∫ ω∧· · ·∧ω.<br />

C<br />

If F is a fewspace and x ∈ M, we denote by F x the space K(·, x) ⊥<br />

of all f ∈ F vanishing at x.

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

Saved successfully!

Ooh no, something went wrong!