Display Accessibility Tools

Accessibility Tools

Grayscale

Highlight Links

Change Contrast

Increase Text Size

Increase Letter Spacing

Readability Bar

Dyslexia Friendly Font

Increase Cursor Size

Geometry - August 2023

Summer 2023

Instructions

Each problem is worth 20 points. You will be graded based on your best five problems but may submit solutions to more than five if you wish. You may refer to an earlier part in a problem to solve a later part even if you haven’t solved the earlier part.

Problem (1)

Let M = { ( x , y , z ) ∈ ℝ 3 ∣ z 2 − x 2 − y 2 = 1 } M=\{(x,y,z)\in\mathbb R^3\mid z^2-x^2-y^2=1\} and consider the smooth vector field

X = x z ∂ ∂ x + y z ∂ ∂ y + ( x 2 + y 2 ) ∂ ∂ z X=xz\frac{\partial}{\partial x}+yz\frac{\partial}{\partial y}+(x^2+y^2)\frac{\partial}{\partial z}

defined on ℝ 3 \mathbb R^3 .

  1. Prove M M is a regular two-dimensional submanifold of ℝ 3 \mathbb R^3 .
  2. Show that the restriction of X X to M M is everywhere tangent to M M .
  3. Find a smooth vector field Y Y on ℝ 3 \mathbb R^3 such that the restrictions of X X and Y Y to M M define a global framing of the tangent bundle of M M .
  4. Evaluate the Lie bracket [ X , Y ] [X,Y] .

Problem (2)

Let H = { ( x , y ) ∈ ℝ 2 ∣ y > 0 } H=\{(x,y)\in\mathbb R^2\mid y>0\} denote the (open) upper-half plane and consider the orientation form ω ∈ Ω 2 ( H ) \omega\in\Omega^2(H) defined by ω = 1 y 2 d x ∧ d y \omega=\frac{1}{y^2}\,dx\wedge dy . Define a smooth map F : H → H F:H\to H by

F ( x , y ) = ( x x 2 + y 2 , y x 2 + y 2 ) . F(x,y)=\left(\frac{x}{x^2+y^2},\frac{y}{x^2+y^2}\right).

  1. Show that F F is a diffeomorphism of H H .

  2. Show that F * ω = − ω F^*\omega=-\omega .

  3. Let D ⊂ H D\subset H be the closed subset defined by

    D = { ( x , y ) ∣ − 1 ≤ x ≤ 1 and x 2 + y 2 ≥ 1 } . D=\{(x,y)\mid -1\le x\le1\text{ and }x^2+y^2\ge1\}.

    Show ∫ D ω = π \int_D\omega=\pi . You may use the antiderivative formula

    ∫ 1 1 − x 2 d x = sin − 1 ( x ) + C . \int\frac1{\sqrt{1-x^2}}\,dx=\sin^{-1}(x)+C.

Problem (3)

  1. State the inverse function theorem for smooth maps between smooth manifolds.
  2. Prove that if a 2x2 real matrix A A is sufficiently close to the identity matrix then there exists a 2x2 real matrix B B such that B 2 = A B^2=A .

Problem (4)

  1. Define what an orientation is on a finite dimensional real vector space V V . What are the possible number of orientations a finite dimensional real vector space can admit?

  2. Define what an orientation is on a smooth manifold M M . What are the possible number of orientations a smooth and connected manifold can admit?

  3. Let M M and N N be smooth, connected, and oriented n n -manifolds. Suppose that U ⊂ ℝ k U\subset\mathbb R^k is a connected open set and

    F : U × M → N F:U\times M\to N

    is a smooth map such that for each u ∈ U u\in U , the smooth map

    F u : M → N F_u:M\to N

    defined by F u ( m ) = F ( u , m ) F_u(m)=F(u,m) for each m ∈ M m\in M is a diffeomorphism. Show that F u F_u is orientation-preserving for every u ∈ U u\in U or F u F_u is orientation-reversing for every u ∈ U u\in U .

Problem (5)

  1. Define what it means for a smooth map F : M → N F:M\to N between smooth manifolds M M and N N to be a submersion.
  2. Prove that a submersion is an open map.
  3. Show there are no submersions from a compact manifold to a connected noncompact manifold.
  4. Does there exist a smooth submersion from ℝ 2 \mathbb R^2 to S 2 S^2 ? Justify your answer.

Problem (6)

  1. Define what it means for a smooth map F : M → N F:M\to N between smooth manifolds M M and N N to a be an immersion.
  2. Prove the map F : S 2 → ℝ 4 F:S^2\to\mathbb R^4 defined by F ( x , y , z ) = ( x 2 − y 2 , x y , x z , y z ) F(x,y,z)=(x^2-y^2,xy,xz,yz) is an immersion.

Problem (7)

  1. State Stokes’ theorem.
  2. Let M M be a compact and oriented manifold with nonempty boundary ∂ M \partial M . Prove there is no retraction from M M to ∂ M \partial M . That is, prove there is no smooth map R : M → ∂ M R:M\to\partial M such that R ( x ) = x R(x)=x for each x ∈ ∂ M x\in\partial M .
  3. Give an example of an oriented manifold M M with nonempty boundary ∂ M \partial M and a retraction from M M to ∂ M \partial M .

Problem (8)

  1. Let X X be a smooth vector field on a smooth manifold M M . Define what it means for a smooth curve c : I → M c:I\to M to be an integral curve of X X .
  2. Consider the smooth vector field on ℝ 2 \mathbb R^2 defined by X = e − x ∂ ∂ x X=e^{-x}\frac{\partial}{\partial x} . Compute the maximal integral curve c ( t ) c(t) of X X with c ( 0 ) = ( x 0 , y 0 ) c(0)=(x_0,y_0) .