Jump to content

Affine differential geometry

From Wikipedia, the free encyclopedia

Affine differential geometry is a type of differential geometry which studies invariants of volume-preserving affine transformations. The name affine differential geometry follows from Klein's Erlangen program. The basic difference between affine and Riemannian differential geometry is that affine differential geometry studies manifolds equipped with a volume form rather than a metric.

Preliminaries

[edit]

Here we consider the simplest case, i.e. manifolds of codimension one. Let MRn+1 be an n-dimensional manifold, and let ξ be a vector field on Rn+1 transverse to M such that TpRn+1 = TpM ⊕ Span(ξ) for all pM, where ⊕ denotes the direct sum and Span the linear span.

For a smooth manifold, say N, let Ψ(N) denote the module of smooth vector fields over N. Let D : Ψ(Rn+1)×Ψ(Rn+1) → Ψ(Rn+1) be the standard covariant derivative on Rn+1 where D(X, Y) = DXY. We can decompose DXY into a component tangent to M and a transverse component, parallel to ξ. This gives the equation of Gauss: DXY = ∇XY + h(X,Y)ξ, where ∇ : Ψ(M)×Ψ(M) → Ψ(M) is the induced connexion on M and h : Ψ(M)×Ψ(M) → R is a bilinear form. Notice that ∇ and h depend upon the choice of transverse vector field ξ. We consider only those hypersurfaces for which h is non-degenerate. This is a property of the hypersurface M and does not depend upon the choice of transverse vector field ξ.[1] If h is non-degenerate then we say that M is non-degenerate. In the case of curves in the plane, the non-degenerate curves are those without inflexions. In the case of surfaces in 3-space, the non-degenerate surfaces are those without parabolic points.

We may also consider the derivative of ξ in some tangent direction, say X. This quantity, DXξ, can be decomposed into a component tangent to M and a transverse component, parallel to ξ. This gives the Weingarten equation: DXξ = −SX + τ(X)ξ. The type-(1,1)-tensor S : Ψ(M) → Ψ(M) is called the affine shape operator, the differential one-form τ : Ψ(M) → R is called the transverse connexion form. Again, both S and τ depend upon the choice of transverse vector field ξ.

The first induced volume form

[edit]

Let Ω : Ψ(Rn+1)n+1R be a volume form defined on Rn+1. We can induce a volume form on M given by ω : Ψ(M)nR given by ω(X1,...,Xn) := Ω(X1,...,Xn,ξ). This is a natural definition: in Euclidean differential geometry where ξ is the Euclidean unit normal then the standard Euclidean volume spanned by X1,...,Xn is always equal to ω(X1,...,Xn). Notice that ω depends on the choice of transverse vector field ξ.

The second induced volume form

[edit]

For tangent vectors X1,...,Xn let H := (hi,j) be the n × n matrix given by hi,j := h(Xi,Xj). We define a second volume form on M given by ν : Ψ(M)nR, where ν(X1,...,Xn) := |det(H)|12. Again, this is a natural definition to make. If M = Rn and h is the Euclidean scalar product then ν(X1,...,Xn) is always the standard Euclidean volume spanned by the vectors X1,...,Xn. Since h depends on the choice of transverse vector field ξ it follows that ν does too.

Two natural conditions

[edit]

We impose two natural conditions. The first is that the induced connexion ∇ and the induced volume form ω be compatible, i.e. ∇ω ≡ 0. This means that Xω = 0 for all X ∈ Ψ(M). In other words, if we parallel transport the vectors X1,...,Xn along some curve in M, with respect to the connexion ∇, then the volume spanned by X1,...,Xn, with respect to the volume form ω, does not change. A direct calculation[1] shows that Xω = τ(X and so Xω = 0 for all X ∈ Ψ(M) if, and only if, τ ≡ 0, i.e. DXξ ∈ Ψ(M) for all X ∈ Ψ(M). This means that the derivative of ξ, in a tangent direction X, with respect to D always yields a, possibly zero, tangent vector to M. The second condition is that the two volume forms ω and ν coincide, i.e. ω ≡ ν.

The conclusion

[edit]

It can be shown[1] that there is, up to sign, a unique choice of transverse vector field ξ for which the two conditions that ∇ω ≡ 0 and ω ≡ ν are both satisfied. These two special transverse vector fields are called affine normal vector fields, or sometimes called Blaschke normal fields.[2] From its dependence on volume forms for its definition we see that the affine normal vector field is invariant under volume preserving affine transformations. These transformations are given by SL(n+1,R) ⋉ Rn+1, where SL(n+1,R) denotes the special linear group of (n+1) × (n+1) matrices with real entries and determinant 1, and ⋉ denotes the semi-direct product. SL(n+1,R) ⋉ Rn+1 forms a Lie group.

The affine normal line

[edit]

The affine normal line at a point pM is the line passing through p and parallel to ξ.

Plane curves

[edit]
Affine normal line for the curve γ(t) = (t + 2t2,t2) at t = 0.

The affine normal vector field for a curve in the plane has a nice geometrical interpretation.[2] Let IR be an open interval and let γ : IR2 be a smooth parametrisation of a plane curve. We assume that γ(I) is a non-degenerate curve (in the sense of Nomizu and Sasaki[1]), i.e. is without inflexion points. Consider a point p = γ(t0) on the plane curve. Since γ(I) is without inflexion points it follows that γ(t0) is not an inflexion point and so the curve will be locally convex,[3] i.e. all of the points γ(t) with t0 − ε < t < t0 + ε, for sufficiently small ε, will lie on the same side of the tangent line to γ(I) at γ(t0).

Consider the tangent line to γ(I) at γ(t0), and consider near-by parallel lines on the side of the tangent line containing the piece of curve P := {γ(t) ∈ R2 : t0 − ε < t < t0 + ε}. For parallel lines sufficiently close to the tangent line they will intersect P in exactly two points. On each parallel line we mark the midpoint of the line segment joining these two intersection points. For each parallel line we get a midpoint, and so the locus of midpoints traces out a curve starting at p. The limiting tangent line to the locus of midpoints as we approach p is exactly the affine normal line, i.e. the line containing the affine normal vector to γ(I) at γ(t0). Notice that this is an affine invariant construction since parallelism and midpoints are invariant under affine transformations.

Consider the parabola given by the parametrisation γ(t) = (t + 2t2,t2). This has the equation x2 + 4y2 − 4xyy = 0. The tangent line at γ(0) has the equation y = 0 and so the parallel lines are given by y = k for sufficiently small k ≥ 0. The line y = k intersects the curve at x = 2k ± k. The locus of midpoints is given by {(2k,k) : k ≥ 0}. These form a line segment, and so the limiting tangent line to this line segment as we tend to γ(0) is just the line containing this line segment, i.e. the line x = 2y. In that case the affine normal line to the curve at γ(0) has the equation x = 2y. In fact, direct calculation shows that the affine normal vector at γ(0), namely ξ(0), is given by ξ(0) = 213·(2,1).[4] In the figure the red curve is the curve γ, the black lines are the tangent line and some near-by tangent lines, the black dots are the midpoints on the displayed lines, and the blue line is the locus of midpoints.

Surfaces in 3-space

[edit]

A similar analogue exists for finding the affine normal line at elliptic points of smooth surfaces in 3-space. This time one takes planes parallel to the tangent plane. These, for planes sufficiently close to the tangent plane, intersect the surface to make convex plane curves. Each convex plane curve has a centre of mass. The locus of centres of mass trace out a curve in 3-space. The limiting tangent line to this locus as one tends to the original surface point is the affine normal line, i.e. the line containing the affine normal vector.

See also

[edit]

References

[edit]
  1. ^ a b c d Nomizu, K.; Sasaki, T. (1994), Affine Differential Geometry: Geometry of Affine Immersions, Cambridge University Press, ISBN 0-521-44177-3
  2. ^ a b Su, Buchin (1983), Affine Differential Geometry, Harwood Academic, ISBN 0-677-31060-9
  3. ^ Bruce, J. W.; Giblin, P. J. (1984), Curves and Singularities, Cambridge University Press, ISBN 0-521-42999-4
  4. ^ Davis, D. (2006), Generic Affine Differential Geometry of Curves in Rn, Proc. Royal Soc. Edinburgh, 136A, 1195−1205.