Symplectic space

An odd-dimensional projective space $ P _ {2n + 1 } $ over a field $ k $ endowed with an involutory relation which is a null polarity; it is denoted by $ \mathop{\rm Sp} _ {2n + 1 } $.

Let $ \mathop{\rm char} k \neq 2 $. The absolute null polarity in $ \mathop{\rm Sp} _ {2n + 1 } $ can always be written in the form $ u _ {i} = a _ {ij} x ^ {j} $, where $ \| a _ {ij} \| $ is a skew-symmetric matrix $ ( a _ {ij} = - a _ {ji} ) $. In vector form, the absolute null polarity can be written in the form $ \mathbf u = A \mathbf x $, where $ A $ is a skew-symmetric operator whose matrix, in a suitable basis, reduces to the form

$$ \| A \| = \ \left \| In this case the absolute null polarity takes the canonical form $$ u _ {2i} = x ^ {2i + 1 } ,\ \ u _ {2i + 1 } = - x ^ {2i} . $$ The absolute null polarity induces a bilinear form, written in canonical form as follows: $$ \mathbf x A \mathbf y = \ \sum _ { i } ( x ^ {2i} y ^ {2i + 1 } - x ^ {2i + 1 } y ^ {2i} ). $$ Collineations of $ \mathop{\rm Sp} _ {2n + 1 } $ that commute with its null polarity are called symplectic transformations; the operators defining these collineations are called symplectic. The above canonical form of $ \| A \| $ defines the square matrix of order $ 2n + 2 $ of a symplectic operator $ U $ whose elements satisfy the conditions $$ \sum _ { i } ( U _ {j} ^ {2i} U _ {k} ^ {2i + 1 } - U _ {j} ^ {2i + 1 } U _ {k} ^ {2i} ) = \ \delta _ {j, k - 1 } - \delta _ {j, k + 1 } , $$

where $ \delta _ {a,b} $ is the Kronecker delta. Such a matrix is called symplectic; its determinant is equal to one. The symplectic transformations form a group, which is a Lie group.

Every point of the space $ \mathop{\rm Sp} _ {2n + 1 } $ lies in its polar hyperplane with respect to the absolute null polarity. One can also define polar subspaces in $ \mathop{\rm Sp} _ {2n + 1 } $. The manifold of self-polar $ n $- spaces of $ \mathop{\rm Sp} _ {2n + 1 } $ is called its absolute linear complex. In this context, a symplectic group is also called a (linear) complex group.

Every pair of straight lines, and their polar $ ( 2n - 1) $- spaces in the null polarity, define a unique symplectic invariant in $ \mathop{\rm Sp} _ {2n + 1 } $ with respect to the group of symplectic transformations of this space. Through every point of each line there passes a transversal of this line and $ ( 2n - 1) $- spaces, which defines a projective quadruple of points. This is the geometrical interpretation of a symplectic invariant, which asserts the equality of the cross ratios of these quadruples of points.

The symplectic $ 3 $- dimensional space admits an interpretation in hyperbolic space and this indicates, among other things, a connection between symplectic and hyperbolic spaces. Thus, the group of symplectic transformations of $ \mathop{\rm Sp} _ {3} $ is isomorphic to the group of motions of the hyperbolic space $ {} ^ {2} \textrm{ S } _ {4} $. In this interpretation, the symplectic invariant is related to the distance between points in hyperbolic space.

References

[1]	B.A. Rozenfel'd, "Non-Euclidean spaces" , Moscow (1969) (In Russian) Zbl 0767.53035 Zbl 0713.53012 Zbl 0702.53009

Comments

The notation $ \mathop{\rm Sp} _ {2n+} 1 $ for the symplectic geometry in $ P _ {2n+} 1 $ is not usual. By $ \mathop{\rm Sp} _ {2n} ( k) $ one denotes the symplectic group in the linear space $ k ^ {2n} $ provided with an alternating (i.e. skew-symmetric) bilinear form. The corresponding group of projectivities in $ P _ {2n-} 1 ( k) $ is denoted by $ \mathop{\rm PSp} _ {2n} ( k) $; this is the group referred to in the main article above, and it is called the projective symplectic group.

The polar subspaces, or isotropic subspaces, as they are also called, in a projective space with a null polarity form an example of what is called a polar geometry (cf. also Polar space; see ). In J. Tits' theory of buildings, the symplectic spaces interpreted as polar geometries are buildings of type $ C _ {n} $( see [a2] and Tits building).

References

[a1a]	F.D. Veldkamp, "Polar geometry" Indag. Math. , 21 (1959) pp. 512–551 MR0125472 Zbl 0090.11902
[a1b]	F.D. Veldkamp, "Polar geometry" Indag. Math. , 22 (1960) pp. 207–212 MR0158301 MR0125472 Zbl 0094.15602
[a2]	J. Tits, "Buildings of spherical type and finite BN-pairs" , Lect. notes in math. , 386 , Springer (1974) MR0470099 Zbl 0295.20047
[a3]	R. Baer, "Linear algebra and projective geometry" , Acad. Press (1952) MR0052795 Zbl 0049.38103
[a4]	J.A. Dieudonné, "La géométrie des groups classiques" , Springer (1963) Zbl 0221.20056
[a5]	E. Artin, "Geometric algebra" , Interscience (1957) pp. Chapt. II MR1529733 MR0082463 Zbl 0077.02101
[a6]	O.T. O'Meara, "Symplectic groups" , Amer. Math. Soc. (1978) Zbl 0422.15014 Zbl 0414.20037 Zbl 0393.47029 Zbl 0383.20001 Zbl 0378.22015 Zbl 0366.22014
[a7]	H. Weyl, "The classical groups" , Princeton Univ. Press (1946) pp. 120 MR1488158 MR0000255 Zbl 1024.20502
[a8]	H.S.M. Coxeter, "Non-Euclidean geometry" , Univ. Toronto Press (1965) pp. 69–70 MR1628013 MR1531918 MR0087965 MR0006835 Zbl 0909.51003 Zbl 0077.13903 Zbl 0060.32807 Zbl 68.0322.02
[a9]	V. Guillemin, S. Sternberg, "Symplectic techniques in physics" , Cambridge Univ. Press (1984) MR0770935 Zbl 0576.58012
[a10]	A.J. Hahn, O.T. O'Meara, "The classical groups and -theory" , Springer (1989) MR1007302
[a11]	P. Libermann, C.-M. Marle, "Symplectic geometry and analytical mechanics" , Reidel (1987) (Translated from French) MR0882548 Zbl 0643.53002