Paper 1, Section II, I

Differential Geometry
Part II, 2017

Define what it means for a subset XRNX \subset \mathbb{R}^{N} to be a manifold.

For manifolds XX and YY, state what it means for a map f:XYf: X \rightarrow Y to be smooth. For such a smooth map, and xXx \in X, define the differential map dfxd f_{x}.

What does it mean for yYy \in Y to be a regular value of ff ? Give an example of a map f:XYf: X \rightarrow Y and a yYy \in Y which is not a regular value of ff.

Show that the set SLn(R)S L_{n}(\mathbb{R}) of n×nn \times n real-valued matrices with determinant 1 can naturally be viewed as a manifold SLn(R)Rn2S L_{n}(\mathbb{R}) \subset \mathbb{R}^{n^{2}}. What is its dimension? Show that matrix multiplication f:SLn(R)×SLn(R)SLn(R)f: S L_{n}(\mathbb{R}) \times S L_{n}(\mathbb{R}) \rightarrow S L_{n}(\mathbb{R}), defined by f(A,B)=ABf(A, B)=A B, is smooth. [Standard theorems may be used without proof if carefully stated.] Describe the tangent space of SLn(R)S L_{n}(\mathbb{R}) at the identity ISLn(R)I \in S L_{n}(\mathbb{R}) as a subspace of Rn2\mathbb{R}^{n^{2}}.

Show that if n2n \geqslant 2 then the set of real-valued matrices with determinant 0 , viewed as a subset of Rn2\mathbb{R}^{n^{2}}, is not a manifold.