Affine sphere
In affine differential geometry, an affine sphere is a hypersurface for which the affine normals all intersect in a single point The term affine sphere is used because they play an analogous role in affine differential geometry to that of ordinary spheres in Euclidean differential geometry.
An affine sphere is called improper or parabolic if all of the affine normals are constant. In that case, the intersection point mentioned above lies on the hyperplane at infinity. If it is not improper, then it is proper. A proper sphere is elliptic iff its mean affine curvature, and hyperbolic iff.
Examples
- All quadrics are affine spheres.
- Under technical assumptions, the only parabolic affine sphere is the elliptic paraboloid, and the only elliptic affine sphere is the ellipsoid.
- In, the hyper surface is a hyperbolic affine sphere centered at the origin, even though it is not a quadric.
- If ƒ is a smooth function on the plane and the determinant of the Hessian matrix is ±1 then the graph of ƒ in three-space is an improper affine sphere.
Monge–Ampère equation
Then, is a affine sphere centered at the origin or infinity iff it solvesfor some. If it is, then is the mean affine curvature of. This equation is an elliptic Monge–Ampère equation. This produces a very strong constraint on affine spheres. By a result due to Jörgens, Calabi, and Pogorelov, the only improper affine sphere is an elliptic paraboloid, and the only elliptic affine sphere is an ellipsoid.
Hyperbolic case
Hyperbolic affine spheres are much more interesting and less well-understood. Similarly, hyperbolic Monge–Ampère equations are also less well-understood.Most examples are known only implicitly, in the sense that they are proven to exist, without explicit formulas describing them.
The following theorem was conjectured by Calabi and proven by Cheng and Yau:
In fact, Chern and Yau proved more, that these hyperbolic spheres come in families. Define a sharp cone in to be a closed subset such that it is a union of rays leaving the origin, and such that it contains no full-line through the origin. Equivalently, it means that there exists a supporting plane of that touches only at the origin.
The construction is implicit. Explicit representation is generally unknown, even in the case where is a polyhedral cone.