# Differential Geometry

Last Updated on 01/26/2023 by Sophia

Students Name:

Professors Name:

Course Name:

Date:

Differential Geometry

ACKNOWLEDGEMENTS

I sincerely thank Almighty God, who has given me the good health, physical and mental

strength to undertake and accomplish this work.

I would like to thank and highly appreciate the professional support, guidance and

encouragement of my supervisor ————– who despite other personal and professional

duties was always available to offer guidance.

I would also pass my gratitude to my parents and relatives for their constant love, financial

support and encouragement throughout the study. I also pass my thanks to my friends who

helped me in various ways including (mention a few friends)—————————————-

———and all who contributed to the success of this research paper.

Thank you all.

Surname 2

List of Authors

Helgason, Sigurdur -1962

Kobayashi, Shoshichi-, 2014.

Meyer, Mark, et al.- 2003.

Rutherford, D E. -2012.

Schoen, Richard, and Shing- 1994.

Wardle, K L. -2008.

Willmore, T J. -2013.

Willmore, Thomas James. -2013.

Surname 3

Abstract

Surname 4

Introduction

Differential geometry is discipline that uses integral calculus, differential calculus and

multilinear algebra to solve geometry tasks. The space curves, theory of plane and surface in a

three-dimensional space Euclidean formed the basis for the advancement of differential

geometry in 18 th and 19 th century. This research paper provides step by step solutions to

various differential geometry tasks

Body of the work

References

Differential Geometry

Differential geometry is discipline that uses integral calculus, differential calculus and

multilinear algebra to solve geometry tasks. The space curves, theory of plane and surface in a

three-dimensional space Euclidean formed the basis for the advancement of differential

geometry in 18 th and 19 th century. This research paper provides step by step solutions to

various differential geometry tasks.

1. A parameterized curve

Consider a parameterized curve:

x = f(v) z = g(v) v ∈ (a,b)

in the xz-plane, with f(v) > 0 everywhere. Let S be the surface of the revolution obtained by

the revolving curve around z-axis. If u ∈ [0,2π] is the angular coordinate, calculate the

induced metric on S ⊂ R 3 in local coordinates (u,v).

The parameterization of the surface is given by

Surname 5

(x,y,z) = (f(v)cos(u),f(v)sin(u),g(v)).

Therefore

and

Hence

.

2. The rationally symmetric metric

Consider a rotationally symmetric metric:

dr 2 + (φ(r)) 2 dθ 2

where φ : [0,b) → [0,∞), with φ(0) = 0 and φ(r) > 0 for r > 0. To check for smoothness of the

metric at the origin we need to change from polar to Cartesian coordinates:

x = rcosθ y = rsinθ

Write the metric in (x,y) coordinates and show that the components g xx , g xy = g yx , and g yy are

smooth if and only if

φ 0 (0) = 1 and φ (even) (0) = 0.

Hint: Write φ(r) = rψ(r). Calculate g xx , etc., in terms of ψ(r). Show that smoothness at r = 0

implies ψ(0) = 1 and ψ (odd) (0) = 0.

Assume that φ(r) is analytic so that it has a power series expansion

φ(r) = a 1 r + a 2 r 2 + a 3 r 3 + …

since φ(0) = 0. The function ψ(r) has a power series expansion

ψ(r) = a 1 + a 2 r + a 3 r 2 + …

Now r = p x 2 + y 2 and θ = arctan(y/x). Therefore

Surname 6

and

Therefore

.

The metric is smooth if and only if is smooth. We immediately see that a 1 = ψ(0) =

: Then

so a 2 = 0. In fact, a power series in r is a smooth function of x and y if and only if all the odd

degree terms vanish. By induction, this means that a 4 = 0, a 6 = 0, etc. This completes the proof.

3. Setting φ(r) = sinh(r) in the previous problem, defined for r ∈ [0,∞), gives a rotationally

symmetric metric on R 2 . Show that this is isometric to the Poincar´e disc, i.e., the ( open ) unit

disc in R 2 with the metric

.

To preserve the spherical symmetry the isometry should take the form

x = f(r)cosθ y = f(r)sinθ

for some bijective function f(r) : [0,∞) → [0,1). Then

Surname 7

x2 + y2 = f2

dx = f 0 cosθdr − fsinθdθ dy =

f 0 sinθdr + fcosθdθ

and rewriting g in the coordinates (r,θ) we find

.

For this to agree with the spherically symmetric metric we need

= 1 and i.e.,

and

(1)

(2) Solving the differential equation (1), we find i.e.,

.

To get f(0) = 0, the constant C must equal 0. One can then check that f(r) = tanh(r/2) also

satisfies the algebraic equation (2).

4. A proper affine function is a map f : R → R given by f(t) = bt+a for a ∈ R and b ∈ R> 0 . The set

of proper affine functions forms a Lie group: as a smooth manifold it is just the upper half

plane {(a,b) ∈ R 2 |b > 0}, and the group operation is given by composition.

a) Find a formula for the product (a,b)(c,d).

If f(t) = bt+a and g(t) = dt+c, then the composition (f ◦g)(t) = f(g(t)) = bdt+bc+a, so

(a,b)(c,d) = (bc + a,bd).

b) The identity element is e = (0,1). Find a formula for the left-invariant metric which takes

the value

Surname 8

at e.

Let (a,b) be a point in the upper half plane U. The inverse of (a,b) is

(a,b) −1 = (−ab −1 ,b −1 ).

Let u = (u 1 ,u 2 ): v = (v 1 ,v 2 ) be two vectors in T (a,b) U. We first calculate the differ-

ential (dL(a,b)−1)(a,b). Let

γ(s) = (a,b) + s(u 1 ,u 2 ) = (a + su 1 ,b + su 2 )

be a path through (a,b) in the direction (u 1 ,u 2 ). Then

L ( a,b ) −1γ(s) = (−ab −1 ,b −1 )(a + su 1 ,b + su 2 )

= (b −1 (a + su 1 ) − ab −1 ,b −1 (b + su 2 ))

= (sb−1u1,1 + sb−1u2)

and thus

= (0,1) + sb −1 (u 1 ,u 2 )

−1

(dL(a,b)−1)(a,b)(u1,u2) = b (u1,u2). Therefore

h(u1,u2),(v1,v2)i(a,b) = h(dL ( a,b ) − 1 ) ( a,b)(u 1 ,u 2 ),(dL ( a,b ) − 1 ) ( a,b)(v 1 ,v 2 )i (0 ,1)

= hb−1(u1,u2),b−1(v1,v2)i(0,1)

= b−2(u1v1 + u2v2).

We see that the left-invariant metric on U is the hyperbolic metric

.

5. Let ∇ be the connection on R 2 that has vanishing Christoffel symbols Γ k ij with respect to

Cartesian coordinates (x,y). Calculate Christoffel symbols with respect to polar coordinates (r,θ).

In other words, calculate the coefficients of

, , , and ,

in the basis .

Since r = p x 2 + y 2 and θ = arctan(y/x), we find

Surname 9

.

Dually, the bases of the tangent space are related by the inverse matrix

.

We can then calculate

and with a little more work

, and .

Note that the connection is torsion-free.

6. If M ⊂R N are submanifold of Euclidean space. We obtain Riemannian metric on M by

restricting the Euclidean metric, and this metric g has an associated Levi-Civita connection ∇.

Instead we could take the standard connection on R N and restrict it to a connection ∇ 0 on M.

Specifically, let Y and X be vector fields on M which extend to vector fields X and Y on a

neighbourhood of M in R N . Writing Y as (Y 1 ,…,Y N ), the standard connection on R N is given by:

∇ X Y = (D X Y 1 ,…,D X Y N ) ∈ TR N .

Then we defineto be the orthogonal projection of ∇ X Y to TR N | M ⊂ TR N .

Prove that ∇ 0 is the same as the Levi-Civita connection ∇ on M.

We first show that ∇ 0 is a connection on M. The equations follow automatically from the

corresponding equations for ∇:

Surname 10

∇0fX+gY Z = f∇0XZ + g∇0Y Z

∇ 0 X (Y + Z) = ∇ 0 X Y + ∇ 0 X Z

=

=

= fproj(∇ X Y ) + X(f)proj(Y )

As required, proving that ∇ 0 is indeed a connection. Note that when we project, we are also

restricting to M. Moreover f| M = f, X(f)| M = X(f)| M (in general, value of Z(g) at a point p only

depends on the value Z p of the vector field at p), and then X(f)| M = X(f) (as X is a vector field on

M, we only need to differentiate f along M, not transversally; but f| M = f), etc.

Next we show that ∇ 0 is compatible with the Riemannian metric on M.

proj(∇ X Z)i

(You should think carefully about why each equality holds, perhaps writing things in local

coordinates to see more clearly. For example, the first equality holds because Y and Z give Y

and Z when we restrict to M, so hY ,Zi gives hY,Zi when restricted to M. For the fifth equality,

Z lies in TM ⊂ TR N , so when we take the inner product with ∇ X Y we can ignore the component

of ∇ X Y which is orthogonal to TM; equivalently, we can project ∇ X Y to TM.)

Finally, we show that ∇ 0 is torsion-free.

= proj(∇ X Y ) + proj(∇ Y X)

= proj([X,Y ])

This time we will use local coordinates. If {x 1 ,…,x n } is local coordinates on M and complete to

local coordinates {x 1 ,…,x n ,x n+1 ,…,x N } on R N . Then

proj( ∇ X f Y )

proj( f ∇ X Y + X ( f ) Y )

Surname 11

where X n+1 ,…,X N all vanish on M since X| M = X. There is a similar expression for

Y . Now

!

proj([X,Y ]) = proj

where a second equality follows by the fact that projection to TM means that we keep only the

terms involving, and the third equality follows from the fact that X i and Y i

vanish on M for i = n + 1,…,N. It follows that ∇ 0 is torsion-free.

In conclusion, we have shown that ∇ 0 is a torsion-free connection on M which is compatible

with the Riemannian metric. By uniqueness of such connections, ∇ 0 must be the LeviCivita

connection on M.

8. Consider the upper half-plane

with the hyperbolic metric

.

a) Calculate the Christoffel symbols of the hyperbolic metric. Letting (x 1 ,x 2 ) = (x,y), we see

that g ij = δ ij /y 2 . Substituting this into

Surname 12

we find and all other Christoffel symbols:

b) Let v 0 be the vector (0 and let be the curve t →7(t,1).

Find the parallel transport of v 0 along c, i.e., find a formula for the parallel vector field

that satisfies V (0) = v 0 .

Let. Then

where the last equality is due to the fact that y always equals 1 on the curve c. The

unique solution with initial condition is

Surname 13

.

9. Geodesics on a surface of revolution: Consider the surface of a revolution S given by the

parameterization

(u,v) 7→ (f(v)cosu,f(v)sinu,g(v))

where f ,g are smooth functions with f(v) > 0 and (f 0 (v)) 2 + (g 0 (v)) 2 > 0 for all v. In Homework

1 we calculated the metric on S induced by the Euclidean metric on R 3 :

a. Derive the local form of the geodesic equations:

Let (x 1 ,x 2 ) = (u,v). As in problem 3, the only non-vanishing Christoffel symbols are

, and Γ 2 22 , because the metric is diagonal and independent of the first

coordinate u. We find

where 0 always denotes derivatives with respect to v. The result follows by substituting these

Christoffel symbols into the geodesic equations.

b. Fix a geodesic γ. A parallel is a circle given by v = constant (and hence also r 2 = x 2 + y 2 =

constant). Suppose that at γ(t), the geodesic γ meets a parallel of radius r(t) at an angle β(t).

Prove that

r(t)cosβ(t)

is independent of t. This is called Clairaut’s relation.

Let us first find a formula for cosβ(t). Suppose the parallel and the geodesic meet at the point

(x,y,z) = (fcosu,fsinu,g). The unit tangent to the parallel is given by

Surname 14

.

The velocity vector field of the geodesic is given by

.

Rescaling t if necessary, we can assume that geodesic is normalized (parametrized by length

arc), so that the velocity vector has length one. The inner product of these two unit tangent

vectors then gives

and multiplying by r(t) = p x 2 + y 2 = f gives

.

Now

which vanishes by the first geodesic equation. Therefore r(t)cosβ(t) is constant (independent

of t) as required.

* c) The paraboloid is the surface of revolution built from a parabola (f(v),g(v)) = (v,v 2 ). Use

Clairaut’s relation to show that a geodesic on the paraboloid intersects itself an infinite

number of times (unless it is given by u = constant).

Firstly, substituting f = v and g = v 2 into the geodesic equations gives

.

We will only need the first equation, which as we saw in part b) is equivalent to Clairaut’s

relation. Separating u and v

and integrating gives

+ const. Therefore

Surname 15

for some constant C.

Without loss of generality, let’s assume that r(t) = v achieves its minimum value v 0 at t = 0. At

this point the geodesic is tangent to the parallel and β(0) = 0. Since r(t)cosβ(t) must be

constant, we see that for t > 0, β(t) > 0 and r(t) = v is increasing (the geodesic is “climbing”).

On the other hand, for t < 0, β(t) < 0, and geodesic is “climbing” by reverse direction. These

two directions will intersect each other infinitely many times provided the geodesic keeps

circling the surface, i.e., provided u →∞ as t →∞ (and by symmetry, u →−∞ as t →−∞).

Since the z-coordinate on the surface is g = v 2 , we must have

as the increase in the z-coordinate cannot be greater than the distance covered by the geodesic

in time t (recall that the geodesic is parametrized by arc length). Therefore

and

+ const.

We conclude that u(t) has the desired asymptotic behaviour as t →∞.

10. Killing fields: A Killing vector field X ∈X(M) is an infinitesimal isometry, meaning that the

flow ψ t that it generates (locally and for small t) is a local isometry.

a) For M = R n , we can think of a vector field as a map X : R n →R n (by identifying the tangent

space at every point of R n with R n itself). We call X a linear field if this map is given by an n ×

n matrix. Prove that a linear field is a Killing field if and only if this matrix is anti-symmetric.

Suppose X is given by an n × n matrix A, so that the vector field at a point (x 1 ,…,x n ) is given by

.

Surname 16

The equation for a flow line (x 1 (t),…,x n (t)) is then with solution

.

Thus the flow ψ t is given by exp(tA) (which is defined using the power series for exp). Now

exp(tA) preserves the metric on R n if and only if exp(tA) is in the orthogonal group O(n), if

and only if A is anti-symmetric.

b) If a Killing field X vanishes at point p ∈ M, show that X is tangent to the geodesic spheres

around p (equivalently, the geodesic spheres are preserved by the flow ψ t ).

If X vanishes at p, then p will be a fixed point of the flow ψ t generated by X. Now for small r,

the geodesic sphere of radius r centred at p is precisely the locus of points q which are

distance r from p. If X is a Killing field then ψ t must be an isometry, and thus

d(p,ψ t (q)) = d(ψ t (p),ψ t (q)) = d(p,q) = r.

Therefore ψ t (q) also lies on the geodesic sphere of radius r centred at p. In particular, the

curve t 7→ ψ t (q) lies on the geodesic sphere and differentiating shows that X is tangent to the

sphere.

* c) The Killing equation: Show that X is the Killing vector field if only

h∇ Y X,Zi + h∇ Z X,Y i = 0

Surname 17

for all the vector fields Y and Z ∈X(M).

A hint for part c) can be found in the textbook, page 82.

If X vanishes identically then there is nothing to prove, so choose a point p at which X(p) 6=

0. We will prove the equation holds at p, and therefore by continuity it will hold everywhere.

Since X(p) 6= 0 we can find a hypersurface (codimension one submanifold) S ⊂ M which is

transversal to X at p, and also in a small neighbourhood of p. Let then (x 1 ,…,x n−1 ) be the local

coordinates on S. There is a map

S × (−δ,δ) → M

which takes a point (q,t) to ψ t (q) where ψ t is the flow generated by X. This map is a local

diffeomorphism in a neighbourhood of p, and this yields local coordinates (x 1 ,…,x n−1 ,t) on M in

a neighbourhood of p such that X = ∂ ∂t .

Now for 1 ≤ i,j ≤ n − 1 we calculate

where the first equality follows from the fact that ∇ is torsion-free. Now in local coordinates

the flow ψ t of X given by

(x 1 ,..,x n−1 ,0) 7→ (x 1 ,..,x n−1 ,t)

so

.

Since ψ t is an isometry, we must have

Surname 18

Therefore is independent of t and

.

We have shown that

h∇ Y X,Zi + h∇ Z X,Y i = 0

for basis vectors Y and Z (the case when Y or Z is ∂ ∂t can be proved similarly). Since this

equation is C ∞ (M)-linear in both Y and Z, it must hold for all vector fields Y and Z ∈X(M).

Works Cited

"Differential Geometry of the Constraint Curves and Surfaces." Kinematic Differential

Geometry and Saddle Synthesis of Linkages, 2015, pp. 171-232.

Bernard, Lucas, and François Roux. Emerging Topics on Differential Geometry and Graph

Theory. Nova Science Publishers, 2010.

Surname 19

Helgason, Sigurdur. Differential geometry and symmetric spaces. Vol. 12. Academic press,

1962.

Kobayashi, Shoshichi. Differential geometry of complex vector bundles. Princeton University

Press, 2014.

Meyer, Mark, et al. "Discrete differential-geometry operators for triangulated 2-

manifolds." Visualization and mathematics III. Springer, Berlin, Heidelberg, 2003. 35-

57.

Rutherford, D E. Vector Methods Applied to Differential Geometry. Dover Publications, 2012.

Schoen, Richard, and Shing-Tung Yau. Lectures on differential geometry. Vol. 2. Cambridge,

MA: International press, 1994.

Wardle, K L. Differential Geometry. Dover Publications, 2008.

Willmore, Thomas James. An introduction to differential geometry. Courier Corporation, 2013.