In mathematics, and especially

differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and mult ...

, an affine sphere is a

hypersurface In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidea ...

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 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 aff ...

to that of ordinary spheres in Euclidean differential geometry. An affine sphere is called improper if all of the affine normals are constant. In that case, the intersection point mentioned above lies on the

hyperplane at infinity In geometry, any hyperplane ''H'' of a projective space ''P'' may be taken as a hyperplane at infinity. Then the set complement is called an affine space. For instance, if are homogeneous coordinates for ''n''-dimensional projective space, then ...

. Affine spheres have been the subject of much investigation, with many hundreds of

research article Academic publishing is the subfield of publishing which distributes academic research and scholarship. Most academic work is published in academic journal articles, books or theses. The part of academic written output that is not formally publ ...

s devoted to their study.

Examples

* All

quadric In mathematics, a quadric or quadric surface (quadric hypersurface in higher dimensions), is a generalization of conic sections (ellipses, parabolas, and hyperbolas). It is a hypersurface (of dimension ''D'') in a -dimensional space, and it is de ...

s are affine spheres; the quadrics that are also improper affine spheres are the

paraboloid In geometry, a paraboloid is a quadric surface that has exactly one axis of symmetry and no center of symmetry. The term "paraboloid" is derived from parabola, which refers to a conic section that has a similar property of symmetry. Every plan ...

s. * If ƒ is a

smooth function In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if ...

on the plane and the

determinant In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if a ...

of the

Hessian matrix In mathematics, the Hessian matrix or Hessian is a square matrix of second-order partial derivatives of a scalar-valued function, or scalar field. It describes the local curvature of a function of many variables. The Hessian matrix was developed ...

is ±1 then the graph of ƒ in three-space is an improper affine sphere.

References

Differential geometry {{differential-geometry-stub