• No results found

Differentiable manifolds – Exam 2

N/A
N/A
Protected

Academic year: 2021

Share "Differentiable manifolds – Exam 2"

Copied!
2
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Differentiable manifolds – Exam 2

1. Write your name and student number **clearly** on each page of written solutions you hand in.

2. You can give solutions in English or Dutch.

3. You are expected to explain your answers.

4. You are allowed to consult text books and class notes.

5. You are not allowed to consult colleagues, calculators, computers etc.

Some useful definitions and results

• Definition. A star shaped domain of Rn is an open set U ⊂ Rn such that there is p ∈ U with the property that if q ∈ U , then all the points in the segment connecting p and q are also in U , that is, there is p such that

(1 − t)p + tq ∈ U ; for all q ∈ U and all t ∈ [0, 1].

The Poincar´e Lemma states

Theorem 1 (Poincar´e Lemma). If U is (diffeomorphic to) a star shaped domain of Rn then Hk(U ) = {0} for k > 0.

Questions

Exercise 1 (2.5 pt). Suppose M is a smooth n-dimensional manifold and S ⊂ M is an embedded compact submanifold. Suppose further that there is a smooth vector field X defined on a neighborhood of S and which is nowhere tangent to S. Show that there exists ε > 0 such that the flow of X restricts to a smooth embedding

Φ : (−ε, ε) × S −→ M ; Φ(t, p) = etX(p).

Exercise 2 (2.5 pt). Let α ∈ Ω2(R3) be given by α = xdydz Compute the integral of α over

a) The unit sphere;

b) The torus parametrized by

S1× S1−→ R3; (θ, ϕ) 7→ ((cos θ + 2) cos ϕ, (cos θ + 2) sin ϕ, sin θ).

Exercise 3 (2.5 pt). Consider the form ρ ∈ Ω1(R2\{0})

ρ =xdy − ydx x2+ y2 a) Show that dρ = 0;

(2)

b) Compute the integral of ρ over the circle of radius r centered at the origin.

c) Compute the integral of ρ over the paths drawn below in R2, both traced counterclockwise.

6

-

6

-x y

(0, 0) x

y

(0, 0)

d) Does ρ represent a nontrivial cohomology class in R2\{0}? Does ρ represent a nontrivial class in R2\{(x, 0) : x ≥ 0}?

Exercise 4 (2.5 pt). Let Ω(M ) be the graded vector space of differential forms on M and L(Ω(M )) be the graded space of linear endomorphisms of Ω(M ) endowed with the graded commutator as a bracket

{·, ·} : Lk(Ω(M )) × Ll(Ω(M )) −→ Lk+l(Ω(M )), {A, B} = AB + (−1)kl+1BA.

Recall that interior product by a vector field X ∈ X(M ) is a map of degree −1, wedge product by a 1-form ξ and the exterior derivative are maps of degree +1. To simplify notation we denote ξ ∧ ϕ simply by ξ · ϕ and ιXϕ by X · ϕ. The point of this exercise is to define a natural bracket on Γ(T M ⊕ TM ) and determine some of its basic properties.

a) Show that for all ϕ ∈ Ω(M ), X, Y ∈ X(M ) and ξ, η ∈ Ω1(M ),

{{X + ξ, d}, Y + η} · ϕ = ([X, Y ] + (LXη) − (ιYdξ)) · ϕ.

Define a bracket [[·, ·]] : Γ(T M ⊕ TM ) × Γ(T M ⊕ TM ) −→ Γ(T M ⊕ TM ) by [[X + ξ, Y + η]] = [X, Y ] + LXη − ιY

for X, Y ∈ X(M ) and ξ, η ∈ Ω1(M ).

b) Show that for f ∈ C(M )

[[X + ξ, f (Y + η)]] = f [[X + ξ, Y + η]] + (LXf )(Y + η).

c) Show that

[[X + ξ, X + ξ]] = d(ξ(X)).

d) Show that if ω ∈ Ω2(M ) is a closed form then

[[X + ξ + ιXω, Y + η + ιYω]] = [[X + ξ, Y + η]] + ι[X,Y ]ω.

Referenties

GERELATEERDE DOCUMENTEN

Obtain in the first Born approximation the scattering amplitude, the differential and the total cross-sections for scattering by the Yukawa potential V (r) = V 0 exp(−αr)/r4. Show

Advice: read all questions first, then start solving the ones you already know how to solve or have good idea on the steps to find a solution.. After you have finished the ones

The complex projective n-space, denoted by CP n , is the set of all 1-dimensional complex linear subspaces of C n+1 with the quotient topology inherited from the natural projections π

Advice: read all questions first, then start solving the ones you already know how to solve or have good idea on the steps to find a solution.. After you have finished the ones

An open cover U of a manifold M is fine if any finite intersection of elements of U is either empty or (diffeomorphic to) a disc4. With this definition,

Advice: read all questions first, then start solving the ones you already know how to solve or have good idea on the steps to find a solution.. After you have finished the ones

Advice: read all questions first, then start solving the ones you already know how to solve or have good idea on the steps to find

Advice: read all questions first, then start solving the ones you already know how to solve or have good idea on the steps to find a solution3. The critical values of f are the