Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
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.