# Polarity

Jump to: navigation, search

polar transformation

A correlation for which , that is, if and only if . A polarity divides all subspaces into pairs; in particular, if a pair is formed by the subspaces and , where is a point and is a hyperplane, then is called the pole of the hyperplane and is called the polar of the point . A projective space over the skew-field has a polarity if and only if admits an involutory anti-automorphism (that is, ). Suppose that is represented by a semi-bilinear form . Then is a polarity if and only if implies .

A polarity is either a symplectic correlation, characterized by the fact that for every point (in this case, is a skew-symmetric form on , while is a field), or can be represented as an -symmetric form on : (a symmetric polarity), in this case the existence of a non-strictly isotropic null subspace is equivalent to the fact that the characteristic of the skew-field equals 2 (in particular, if , then any null subspace is strictly isotropic).

Relative to a polarity one defines decomposition of a projective space into subspaces, which makes it possible to reduce the semi-bilinear form representing to canonical form. The most important among these are the following: — a maximal non-isotropic null subspace; its dimension is , where is even and is called the deficiency of , and is skew-symmetric; — a maximal strictly-isotropic subspace; its dimension is , is called the index, ; — a component, free or null subspace, non-isotropic, where is positive or negative definite, . — a maximal null subspace; its dimension is .

A projective transformation is called -admissible (relative to the polarity ) if . A semi-linear transformation induces a -admissible projective transformation if and only if in there is a for which . The -admissible transformations form a group, (called the polarity group). If the group is transitive, either every point of the space is null (and is called symplectic) or there is no null point (and in this case is called orthogonal for , and unitary for ).