MATH 623: Harmonic Forms Homework Solutions - Prof. Colleen Robles, Assignments of Geometry

Solutions to homework problems in a university-level course on harmonic forms. Topics covered include the properties of the hodge star operator, laplacian, and inner product in the context of riemannian manifolds. Problems involve proving identities and properties related to these concepts.

Typology: Assignments

Pre 2010

Uploaded on 02/13/2009

koofers-user-ejr
koofers-user-ejr 🇺🇸

5

(1)

8 documents

1 / 1

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
MATH 623: HARMONIC FORMS HW
C. ROBLES
Assume: that Mis an oriented, n-dimensional Riemannian manifold.
Let p(M) denote the (globally defined) p-forms on M.
1.) Prove that ∗∗ = (1)p(np).
2.) Suppose that Mis Euclidean space Rn. Prove that = Pn
i=1 ∂/∂xi2on functions.
3.) Prove that ∆=∆.
Assume: that Mis compact.
4.) Prove that the inner product on p(M)
hα, βi=ZM
α β
is symmetric and nondegenerate. (Hint: first show that if v , w ΛpT
xM, then v w=
w v.)
5.) Prove that δ2= 0.
6.) Suppose that α, β n(M) and RMα=RMβ. Assume that Mis connected and prove
that αβis exact.
7.) Prove that Gis a bounded, self-adjoint linear operator.
1

Partial preview of the text

Download MATH 623: Harmonic Forms Homework Solutions - Prof. Colleen Robles and more Assignments Geometry in PDF only on Docsity!

MATH 623: HARMONIC FORMS HW

C. ROBLES

Assume: that M is an oriented, n-dimensional Riemannian manifold. Let Ωp(M ) denote the (globally defined) p-forms on M.

1.) Prove that ∗∗ = (−1)p(n−p).

2.) Suppose that M is Euclidean space Rn. Prove that ∆ = −

∑n i=1 ∂/∂xi

(^2) on functions.

3.) Prove that ∗∆ = ∆∗.

Assume: that M is compact.

4.) Prove that the inner product on Ωp(M )

〈α, β〉 =

M

α ∧ ∗β

is symmetric and nondegenerate. (Hint: first show that if v, w ∈ ΛpT (^) x∗ M , then v ∧ ∗w = w ∧ ∗v.)

5.) Prove that δ^2 = 0.

6.) Suppose that α, β ∈ Ωn(M ) and

M α^ =^

M β. Assume that^ M^ is connected and prove that α − β is exact.

7.) Prove that G is a bounded, self-adjoint linear operator.

1