• Keine Ergebnisse gefunden

Symplectic Topology Example Sheet 4

N/A
N/A
Protected

Academic year: 2022

Aktie "Symplectic Topology Example Sheet 4"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Symplectic Topology Example Sheet 4

Dietmar Salamon ETH Z¨ urich 13 March 2013

Exercise 4.1. Let (M, ω) be a symplectic manifold and letU ⊂Cbe an open set. Identify C with R2 and let s+it, respectively (s, t), be the coordinate on U. Let {Js,t}(s,t)∈Ω be a smooth family of ω-compatible almost complex structures on M, let F, G : U ×M → R be smooth functions, and define Fs,t, Gs,t :M →R by

Fs,t :=F(s, t,·), Gs,t:=G(s, t,·) for (s, t)∈U. Consider the partial differential equation

su+XFs,t(u) +Js,t(u) ∂su+XGs,t(u)

= 0 (1)

for a smooth function u:U →M. (i) Define

Mf:=U ×M,

choose a function c:U →R, and let eω∈Ω2(Mf) be the 2-form

ωe :=ω−dMf(F ds+G dt) +c ds∧dt. (2) Here we identify the 2-forms ω ∈ Ω2(M) and c ds∧dt ∈ Ω2(U) with their pullbacks to Mf. Prove that ωe is a symplectic form on Mfwhenever

c(s, t)> ∂sGs,t(p)−∂tFs,t(p) +{Fs,t, Gs,t}(p) for all (s, t)∈U and all p∈M. Hint: Compute ωen+1.

1

(2)

(ii) Prove that the almost complex structureJe∈ J(Mf), defined by

Je:=

0 −1 0

1 0 0

J XF −XG J XG+XF J

, (3)

is compatible with eω. Here we abbreviate

J :=Js,t(p), XF :=XFs,t(p), XG:=XGs,t(p) for pe= (s, t, p)∈U ×M =Mf. Note that T

peMf=R2×TpM and that, with these abbreviations, the right hand side of (3) defines an automorphism of TepMfin block form.

(iii) Prove that u : U → M is a solution of (1) if and only if the function ue:U →Mf, defined byu(s, t) := (s, t, u(s, t)) is ae Je-holomorphic curve.

(iv) Examine the energy identity for u.e

Exercise 4.2. Let U ⊂ Rd be an open set and x0 ∈ U. Prove that the following are equivalent for every smooth function w : U → R and every integer k ≥d.

(i)

r→0lim 1 rk

Z

Br(x0)

|w|= 0.

(ii)∂αw(x0) = 0 for everyα= (α1, . . . , αd) with |α|=α1+· · ·+αd ≤k−d.

A smooth functionw:U →Ris said to vanish to infinite order atx0 if it satisfies these equivalent conditions for every integer k ≥d. An L1-function w : U → R is said to vanish to infinite order at x0 if it satisfies (i) for every integer k≥d.

Exercise 4.3. Denote Bε :={z∈C| |z|< ε}. Let J : Bε → GLR(Cn) be a continuous map such that J(z)2 = −1l for every z ∈ Bε. Prove that there exists a constant 0 < δ ≤ ε and a continuous function Ψ : Bδ → GLR(Cn) such that

Ψ(z)−1J(z)Ψ(z) = i1l

for every z ∈ Bδ. If J is continuously differentiable, show that Ψ can be chosen continuously differentiable. IfJ is smooth prove that Ψ can be chosen smooth. IfJ is of classW1,p,p >2, show that Ψ can be chosen of classW1,p.

2

Referenzen

ÄHNLICHE DOKUMENTE

Fachbereich Mathematik Prof.. Karl-Hermann

Show that a topological space X is separated if and only if each filter F on X converges at most to one point.

4.2 Counterexample to Brouwer’s fixed point theorem in infinite dimensions In this exercise, we show that Brouwer’s fixed point theorem does not extend to infinite dimensions, i.e.

In this exercise you will use Brouwer’s fixed point theorem to show the existence of Nash equilibria which appear in game theory.. Formally, an n-player game is given by a tuple (n,

Differential Topology: Exercise Sheet 7. Exercises

Differential Topology: Exercise Sheet 8. Exercises

Prove that the fixed point set of every linear anti-symplectic involution of R 2n is a Lagrangian

This is a key source for different choices of sign conventions in symplectic topology.. Prove that the Nijenhuis tensor vanishes if and only if the subbundles E ± are