[Paper Review] Survey on Affine Spheres

John Loftin|ArXiv.org|Sep 6, 2008

Geometry and complex manifoldsMathematics74 references19 citations

TL;DR

This survey explores affine spheres in affine differential geometry, linking them to Monge-Ampère equations, projective structures, and Calabi-Yau manifolds. It establishes that parabolic affine spheres (e.g., elliptic paraboloids) are solitons of the affine normal flow and that Trudinger-Wang proved all properly embedded affine maximal surfaces in ℝ³ are quadratic, confirming Chern’s conjecture for n=2.

ABSTRACT

We give a survey of the theory of affine spheres, emphasizing the convex cases and relationsships to Monge-Ampere equations and geometric structures on manifolds.

Motivation & Objective

• To synthesize the theory of affine spheres and their connections to real Monge-Ampère equations and projective structures.
• To explain the role of affine spheres in the geometry of Calabi-Yau manifolds, particularly via the Strominger-Yau-Zaslow conjecture.
• To present the classification of ancient solutions to the affine normal flow as ellipsoids or paraboloids.
• To establish the validity of Chern’s conjecture for affine maximal surfaces in ℝ³ via Trudinger-Wang’s result.
• To connect affine maximal hypersurfaces to fourth-order elliptic PDEs and the solution of the Dirichlet problem for hyperbolic affine spheres.

Proposed method

• Uses the affine normal vector field as a fundamental invariant under volume-preserving affine transformations.
• Applies the structure equations of Gauss and Weingarten to derive the affine metric and cubic form on convex hypersurfaces.
• Employs the Legendre transform and duality to relate affine spheres to solutions of real Monge-Ampère equations.
• Utilizes Cheng-Yau’s estimates on solutions to the Monge-Ampère equation det u_ij = (-1/u)^{n+2} for convex cones.
• Analyzes the affine normal flow ∂f/∂t = ξ as a parabolic PDE that evolves hypersurfaces toward self-similar solitons.
• Applies Caffarelli-Gutiérrez estimates on the linearized Monge-Ampère equation to prove regularity and classification results.

Experimental results

Research questions

• RQ1 How are affine spheres related to solutions of real Monge-Ampère equations and projective structures on manifolds?
• RQ2 What is the role of the affine normal flow in constructing hyperbolic affine spheres and solving the Dirichlet problem?
• RQ3 To what extent do affine maximal surfaces in ℝ³ satisfy Chern’s conjecture, and what are the implications for the geometry of Calabi-Yau manifolds?
• RQ4 What are the ancient solutions to the affine normal flow, and how do they classify under curvature and asymptotic behavior?
• RQ5 How do the Weierstrass-type parametrization and Bäcklund transformations relate to integrable systems in affine differential geometry?

Key findings

• All properly embedded affine maximal surfaces in ℝ³ are elliptic paraboloids, confirming Chern’s conjecture for n=2.
• The affine normal flow evolves compact convex hypersurfaces to homothetic ellipsoids in finite time, with the rescaled limit being an ellipsoid.
• The affine normal flow on noncompact convex initial data produces homothetically expanding hyperbolic affine spheres asymptotic to the boundary of a convex cone.
• Ancient solutions to the affine normal flow are classified as either ellipsoids (contracting) or paraboloids (translating), with no other types possible.
• Cheng-Yau’s solution to the Monge-Ampère equation det u_ij = (-1/u)^{n+2} with zero boundary data on a convex domain Ω corresponds to a hyperbolic affine sphere asymptotic to the cone over ∂Ω.
• Affine maximal surfaces in ℝ³ satisfy a fourth-order PDE: U^{ij}D_{ij}[(det u_{ij})^{-(n+1)/(n+2)}] = 0, where [U^{ij}] is the cofactor matrix of the Hessian [u_{ij}].