Trisha Shetty (Editor)

Polar space

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics, in the field of geometry, a polar space of rank n (n ≥ 3), or projective index n − 1, consists of a set P, conventionally the set of points, together with certain subsets of P, called subspaces, that satisfy these axioms:

Contents

  • Every subspace is isomorphic to a projective geometry Rd(K) with −1 ≤ d ≤ (n − 1) and K a division ring. By definition, for each subspace the corresponding d is its dimension.
  • The intersection of two subspaces is always a subspace.
  • For each point p not in a subspace A of dimension of n − 1, there is a unique subspace B of dimension n − 1 such that A ∩ B is (n − 2)-dimensional. The points in A ∩ B are exactly the points of A that are in a common subspace of dimension 1 with p.
  • There are at least two disjoint subspaces of dimension n − 1.

    • It is possible to define and study a slightly bigger class of objects using only relationship between points and lines: a polar space is a partial linear space (P,L), so that for each point p ∈ P and each line l ∈ L, the set of points of l collinear to p, is either a singleton or the whole l.

    A polar space of rank two is a generalized quadrangle; in this case in the latter definition the set of points of a line l collinear to a point p is the whole l only if p ∈ l. One recovers the former definition from the latter under assumptions that lines have more than 2 points, points lie on more than 2 lines, and there exist a line l and a point p not on l so that p is collinear to all points of l.

    Finite polar spaces (where P is a finite set) are also studied as combinatorial objects.

    Examples

  • In a finite projective space PG(d, q) over the field of size q, with d odd and d ≥ 3, the set of all points, with as subspaces the totally isotropic subspaces of an arbitrary symplectic polarity, forms a polar space of rank (d + 1)/2.
  • Let Q be a nonsingular quadric in PG(n, q) with character ω. Then the index of Q will be g = (n + w − 3)/2. The set of all points on the quadric, together with the subspaces on the quadric, forms a polar space of rank g + 1.
  • Let H be a nonsingular Hermitian variety in PG(n, q2). The index of H will be ⌊ n − 1 2 ⌋ . The points on H, together with the subspaces on it, form a polar space of rank ⌊ n + 1 2 ⌋ .

    • Classification

    Jacques Tits proved that a finite polar space of rank at least three, is always isomorphic with one of the three structures given above. This leaves only the problem of classifying generalized quadrangles.

    References

    Polar space Wikipedia
    (Text) CC BY-SA