Reference no: EM131105734
Honors Examination in Geometry 2012
1. There are three families of lines found in each of hyperbolic, Euclidean, and elliptic geometry called pencils of lines: there is PP, the collection of all lines passing through the point P; Pl||, the set of all lines parallel to a given line l; and Pl⊥, the collection of all lines perpendicular to a given line l. Show that the perpendicular bisectors of the sides of a triangle always fall into one of these pencils, and show that all pencils are realized in the hyperbolic plane. Show that the pencil of parallels is a pencil of perpendiculars if and only the Parallel Postulate holds.
2. The Euclidean plane is described by the axioms and definitions of Euclid, and by the axiom scheme of Hilbert. Compare the two approaches to the geometry of the plane, their goals, their methods, and feature their differences in a short essay of a half-page to a page.
3. Show that a line in the plane makes an angle ψ(R) with the circle of radius R centered at the origin which satisfies R cos(ψ(R)) = a constant, that is, the product R cos(ψ(R)) does not depend on R.
4. Let α: R → R3 be given by α(t) = (cosh(t),sinh(t), t), a space curve. This parametrization is nice because the arc length turns out nicely and a unit speed parametrization is easy to obtain. Determine the arc length parametrization and use it to compute the curvature of α(t). (Useful fact: arccosh(s) = ln(s +√(s2 - 1)).)
5. An important curve introduced in the 17th century is the tractrix, the curve along which a small object moves when pulled on a horizontal plane with a piece of thread by a puller which moves along a straight line.
![1938_Figure.png](https://secure.expertsmind.com/CMSImages/1938_Figure.png)
A unit speed parametrization of the tractrix curve is given by
Θ(s) = (e-s, ln(es + √(e2s - 1)) - √(e2s - 1)/e2).
The osculating circle associated to a curve is the circle tangent to the curve at each point with radius given by the reciprocal of the curvature of the curve at the point. The center of the osculating circle lies along the normal to the curve at the point and the collection of all such centers forms a curve called the curve of centers of curvature. (An evolute of a curve is obtained from the curve of centers of curvature). Determine a parametrization of the curve of centers of curvature of the tractrix and show that it is a catenary curve (that is, isometric to y = cosh(t)).
6. Prove the theorem of Tinseau, that the orthogonal projection of a space curve onto a plane has a point of inflection (a point where κ(s) = 0) if the plane is perpendicular to the osculating plane of the curve (the plane spanned by T(s) and N(s)).
7. Euclid's posulates can be interpreted as statements about a general surface. What properties of surfaces need be satisfied in order to realize each of Euclid's postulates? Explain.
8. For a surface S in R3, the area formula from multivariable calculus can be used with geodesic polar coordinates to compute the area of a geodesic circle centered at p ∈ S of radius r, denoted areap(r). Use these tools to prove a theorem of Diguet that computes the Gaussian curvature:
K(p) = limr→0+(12(πr2 - areap(r))/πr4).
9. The Beltrami disk is the subset of R2 given by D = {(u, v) |u2 + v2 < 1} together with the metric
ds2 = ((1 - v2) du2 + 2uv du dv + (1 - u2) dv2/(1 - u-v2)2).
In this abstract surface, straight line segments are geodesics. Measuring from the origin, determine the distance ρ between (0, 0) and (0, r) for r > 0. Using lines in (D, ds2), prove the relation cos(|Pi(ρ)) = tanh(ρ), where Π(ρ) is the angle of parallelism for the length ρ.
10. The compact surface F of genus 2 is homeomorphic to an abstract surface F' of constant curvature. Determine ∫FK dS from the Euler characteristic of F. What kind of geometry do we find on F′?
![693_Figure1.png](https://secure.expertsmind.com/CMSImages/693_Figure1.png)
11. The Christoffel symbols (of the first kind) are defined in local coordinates by
Γij,k = ½(-(∂gij/∂xk) + ∂gik/∂xj + ∂gjk/∂xi) or Γij,k = <∇ ∂/∂xi ∂/∂xj, ∂/∂xk>.
Determine the change of variables formula for the Christoffel symbols and explain why the Γij,k do not constitute a tensor.
12. The torus in R4 may be expressed as the algebraic set
T = {(x, y, z, w) ∈ R4| x2 + y2 = 1 = z2 + w2}.
As a subset of R4, the torus is a Riemannian manifold. Determine local coordinates on T and the associated apparatus of Christoffel symbols. Compute the RIemannian curvature of the torus with this embedding.