• No results found

Differentieerbare Vari¨ eteiten (WISB342) 9 november 2005

N/A
N/A
Protected

Academic year: 2021

Share "Differentieerbare Vari¨ eteiten (WISB342) 9 november 2005"

Copied!
2
0
0

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

Hele tekst

(1)

Department of Mathematics, Faculty of Science, UU.

Made available in electronic form by the TBC of A–Eskwadraat In 2005/2006, the course WISB342 was given by Dmitry Roytenberg.

Differentieerbare Vari¨ eteiten (WISB342) 9 november 2005

Question 1

Consider the function F : R3→ R given by F (x, y, z) = x2+ y2− z2.

a) For which values r is Mr = F−1(r) a manifold? Why? What is its dimension? How many connected components does Mrhave, depending on r? Sketch a picture of Mrfor several typical values of r.

b) Find an atlas for M1 consisting of two charts and compute the transition map between them (Hint : use cylindrical coordinates).

c) Show that M1is diffeomorphic to the cylinder S1× R.

Question 2

Consider the following vector fields on R3: V1= y ∂

∂z − z ∂

∂y; V2= z ∂

∂x− x ∂

∂z; V3= x ∂

∂y − y ∂

∂x.

a) Show that all the Vi’s are tangent to the unit sphere S2, and that their values span TpS2 at every p ∈ S2.

b) Show that, nevertheless, no two of the three Vi’s suffice to give a basis for TpS2 at every p.

c) Find smooth functions c1, c2 and c3on R3 such that ciVi= 0 identically on R3.

Question 3

Let M be a manifold, V and W vector fields on M . Consider the operator [V, W ] : C(M ) → C(M ) defined by [V, W ](h) = V (W (h)) − W (V (h)).

a) Show that for f, g ∈ C(M ),

[f V, gW ] = f g[V, W ] + f V (g)W − gW (f )V

b) Show that [V, W ] is in fact a derivation, hence a vector field whose value at p ∈ M is given by [V, W ]p(h) = Vp(W (h)) − Wp(V (h)).

c) If V = vi ∂∂xi, W = wj∂xj in some coordinate chart (x, U ), with vi, wj ∈ C(U ), it follows that [V, W ] = ck∂xk for some ck∈ C(U ).

Express the ck’s in terms of the vi’s and wj’s. In particular, what is

∂xi,∂xj?

Question 4

Let M be a manifold, h ∈ C(M ).

a) Show that p ∈ M is a critical point of h if and only if v(h) = 0 for all v ∈ TpM .

(2)

b) For a critical point p of h and v, w ∈ TpM , define Hh,p(v, w) = v( ˜w(h)), where ˜w is a vector field defined in some neighborhood of p whose value at p is w. Show that v( ˜w(h)) = w(˜v(h)) (where

˜

v is, likewise, an extension of v to a vector field near p), and deduce from this that the definition of Hh,ponly depends on v and w rather than their extensions. Thus, Hh,p : TpM × TpM → R is a well-defined symmetric bilinear form, known as the Hessian of h at p. A critical point is called nondegenerate if the matrix Hij= Hh,p(ei, ej) of the Hessian with respect to some (hence any) basis {ei} is nonsingular. The index of a nondegenerate critical point is, by definition, the number of negative eigenvalues of the Hessian at that point.

c) Consider the torus T2embedded in R3 as follows:

x = (2 + cos θ1) cos θ2; y = sin θ1; z = (2 + cos θ1) sin θ2

for θ1 ∈ [−π/2, 3π/2), θ2 ∈ [−π, π]. Let h ∈ C(T2) be the “height function” given by h(x, y, z) = z (restricted to the torus). Find the critical points of h, show that they are all nondegenerate and compute their indices. Sketch a picture of the torus, indicating the critical points. (Hint: the formulas describing the torus, when restricted to θ1∈ (−π/2, 3π/2), θ2∈ (−π, π), can be viewed as x−1for a coordinate system (x, U ) on T2. All critical points on h lie in U . Use the basis

∂θ1,∂θ2 to compute the Hessian matrix at each critical point: it is nothing but the matrix of second partial derivatives!)

Referenties

GERELATEERDE DOCUMENTEN

Write down the Lagrangian for the following system: a cart of mass m can roll without friction on a rail along

The grey ‘+’ represents the data point inside the sphere in the feature space.... In this case, there are in total

The grey ‘+’ represents the data point inside the sphere in the feature space... In this case, there are in total

or fluid flow, the surface can represent a potential function of two variables, the second derivatives from which a shear field can be defined that corresponds to the

In this section, we discuss a geometric approach to determine the group of rational points on an elliptic curve E defined over Q(t).. The elliptic surface E associated to E is a

This model may, for example, explain the first-order ferro- magnetic to paramagnetic transition in UGe 2 , where the quantum fluctuations of the superconducting order parameter

However, we show that along the generalized isostatic line in the space spanned by the contact number z and the number of fully mobilized contacts n m , the system shows

While destruction of amino acids in Ata- cama desert soil and Orgueil meteorite samples is rapid, deposits from the Salten Skov region show negligible loss of amino acids after