Polar Varieties in Cayley-Klein Spaces

Abstract: In this paper, we introduce the notion of a total polar for an arbitrary subspace of a Cayley-Klein space in an analytical framework. We show that the set of all total polars of a subspace is a Schubert variety. The notion of total polar gives a definition for a subspace to be tangent to the absolute figure of the space. By specifying tangent lines, tangent cones and then spheres are defined. This definition of the sphere does not depend on the metric of the space. It is proved that every reflection of a Cayley- Klein space, defined by two subspaces which are total polar to each other, is a motion of the space. On the other hand, each motion in a Cayley-Klein space of dimension n is a product of at most n+1 reflections in point-hyperplane pairs.