Affine rotation surfaces are a generalization of the well-known surfaces of revolution. Affine rotation surfaces arise naturally within the framework of affine differential geometry, a field started by Blaschke in the first decades of the past century. Affine rotations are the affine equivalents of Euclidean rotations, and include certain shears as well as Euclidean rotations. Affine rotation surfaces are surfaces invariant under affine rotations. In this paper, we analyze several properties of algebraic affine rotation surfaces and, by using some notions and results from affine differential geometry, we develop an algorithm for determining whether or not an algebraic surface given in implicit form, or in some cases in rational parametric form, is an affine rotation surface. We also show how to find the axis of an affine rotation surface. Additionally, we discuss several properties of affine spheres, analogues of Euclidean spheres in the context of affine differential geometry.
Introduction.Classical differential geometry, initiated by Gauss in the first decades of the 19 th century, studies Euclidean invariants -normal vectors and normal lines, mean curvature and Gaussian curvature -under rigid motions. In contrast, affine differential geometry, initiated by Blaschke in the first decades of the 20 th century, studies the corresponding affine invariants -affine normals and affine curvatures -which are invariant under the unimodular affine group generated by the special linear group SL 3 (R), i.e. the group of matrices with determinant equal to 1.Classical surfaces of revolution are surfaces invariant under Euclidean rotations about a fixed axis. Affine rotation surfaces are surfaces invariant under affine rotations, groups of linear transformations that leave a line in 3-space