• Aucun résultat trouvé

For x= (x1, x2

N/A
N/A
Protected

Academic year: 2022

Partager "For x= (x1, x2"

Copied!
1
0
0

Texte intégral

(1)

FINAL MATH-GA 2350.001 DIFFERENTIAL GEOMETRY I December, 12, 2016, 1.25-3.15pm.

Authorized documents: Jeffrey M. Lee Manifolds and Differential Geometry, class notes from the lectures, homeworks. No other books, no internet access or

electronic materials.

1. Let p, q be integers with p > 0, q ≥ 0 and let E be the real vector space Rp ×Rq. We denote by (x1, x2, . . . xp, y1, . . . yq) the coordinates of E. For x= (x1, x2, . . . xp, y1, . . . yq), we define

Q(x) =x21+. . .+x2p−y21 −. . .−y2q.

LetM ⊂E be defined by equation

Q(x) = 1.

(a) Show that M is a smooth manifold. What is the dimension of M? (b) Assume that p, q ≥2 and define, for x= (x1, x2, . . . xp, y1, . . . yq):

A(x) = x2

∂x1 −x1

∂x2, B(x) = y2

∂y1 −y1

∂y2, C(x) =y1

∂x1 +x1

∂y1. Show that A, B and C are complete vector fields on M. Compute the flow for C. Compute[A, C].

(c) Show that M retracts on M ∩(Rp× {0}).

(d) Compute the de Rham cohomology HdRi (M) for i≥0.

2. Let

G={

a b

0 1

a >0, b∈R} ⊂GL2(R).

(a) Show that Gis a Lie group.

(b) Let g be the Lie algebra of Gand let A, B ∈g be defined by

A =

1 0

0 0

, B =

0 1

0 0

.

Compute [A, B].

(c) Describe all one-parameter subgroups of G.

3. Show that there is no Lie group structure on a sphere of dimension n with n >0even. (Hint: you can use that any vector field on the sphereS2n has at least one zero.)

1

Références

Documents relatifs

(Hint: you can use the conclusion in the last

1 Getting started: WordPress from scratch 1 2 Changing your blog’s look and feel: A question of style 43 3 Content management with WordPress: Beyond the blog 89 4

For example, the locally defined vector bundle A^^E' over a quaternionic Kahler manifold has a natural Sp(n)-connection which is quaternionic [S^], theorem 3.1... It is curious to

L’espace Lip(X, Y ) des applications lipschitziennes X → Y n’est donc pas compact en général, mais d’apr`es le théor`eme d’Ascoli, si on précise la constante λ, l’ensemble Lip

Si une description complète de cette logique, qui diffère profondément du calcul classique des prédicats, sortirait du cadre de cet article, nous expliciterons ici les principes et

Première STG Exercices sur le chapitre 11

[r]

[r]