• Aucun résultat trouvé

Riemannian submanifolds

N/A
N/A
Protected

Academic year: 2021

Partager "Riemannian submanifolds"

Copied!
1
0
0

Texte intégral

(1)

Differential Geometry 2017–2018 ENS de Lyon

Riemannian submanifolds

Exercise 1. Let(M, g)be a Riemannian manifold and let f :M →Rbe a smooth map. We assume thatf vanishes transversally, that dxf 6= 0 whenever f(x) = 0. Let us denote by Z the hypersurfacef−1(0) and byII its second fundamental form.

1. Show that for anyx∈Z,dxf ◦IIx=−∇2xf|TxZ. 2. ExpressII only in terms off.

Exercise 2. Recall that if (M, g) is a Riemannian surface, then its Gauss curvature at p is κ(p) =K(TpM), the sectional curvature ofTpM.

1. Is there a metricg onS2 such thatκ takes a negative value at some point?

2. Is there a metricg on the torusT2 such thatκ does not vanish?

3. Is there a2-dimensional submanifold (without boundary)M ofR3 such thatκ vanishes everywhere?

4. Same question assuming that M is not a plane.

5. Same question assuming thatM is compact without boundary. (Hint: Use Sard’s theo- rem: the set of critical values of a smooth map between smooth manifolds has measure0.) 6. Is there a compact surface without boundaryM inR3such thatκis negative everywhere?

1

Références

Documents relatifs

We construct a complete space of smooth strictly convex preference relations defined over physical commodities and monetary transfers.. This construction extends the classical one

We prove that smooth foliations on rational compact homogeneous manifolds are locally trivial fibrations and classify the smooth foliations with all leaves analytically dense on

In this lecture we wish to survey the problem of classifying up to diffeomorphism all smooth oriented connected closed manifolds (which we shall call standard manifolds from now

Throughout this paper the term real algebraic variety designates a locally ringed space isomorphic to a Zariski closed subset of R n , for some n, endowed with the Zariski topology

In [2], E.Dubuc introduced the notion of a well adapted model of SDG (Syn- thetic Differential Geometry), and built one such, the Cahiers topos as it is usually called, showing

In this paper we develop the calculus of differential forms and use it to prove the theorem of de Rham for such infinite dimensional manifolds : the de Rham

In particular, the harmonic mappings f: M -> N depend only on the harmonic structure on M , in the sense that two Riemannian metrics on a manifold M determine the same

Proposition 2. Suppose moreover that the conormal bundle N Z/Y ∗ is ample. This implies that there is at least one Mori extremal curve of Y which is not contained in Z.. Minimal