Artin E. Geometric algebra (Interscience)(T)(219s).djvu: eKnigu

Home / lib / M_Mathematics / MA_Algebra /

Artin E. Geometric algebra (Interscience)(T)(219s).djvu

Size 2.8Mb
Date Sep 17, 2004

A,The projectivity <r is completely described by the pair U, W of
tsubspaces (U, W equivalent to W, XT)...
The pairing
C.11) X o Y = Q(X + F) - Q(X) - Q(F),
which we get from a quadratic form, is very special...
If C.17) is satisfied, Xa = 2X>-i Sn^i^i = 0 which
shows that C.17) is the necessary and sufficient condition for a
symplectic geometry and that such a geometry is equivalent with
the study of skew symmetric bilinear forms...
The geometry of V induces on each Ut its original geometry and
U{ and U{ are orthogonal if i j^\...
Conversely, if V = (N, M) is a plane, we may impose on it a geometry
by setting glt s= gM a 0 and g12 = 1 (hence g3l s= 1 in the orthogonal,
gn s= — 1 in the symplectic case)...
Proof:
1) If t, and t3 are bwo extensions of a to V whose determinants
have opposite sign, then p = n V» will be a reflexion of V which
keeps every vector of U fixed...
Theorem 3.14 tells us that ± 1 y are the only involutions among
the rotations, if n — 2...
The element rrt will move the first i + 1 pairs
Nv , M, into the corresponding pairs N'r , ilf J ...
It
is worth while noticing that n together with the quadratic character
of the discriminant determines the type of geometry...
If n > 2 and o2i = 0, we add a suitable row to the second
row and obtain a matrix with a,, ^ 0...
This follows for the last column
from det(AD(ji)) < = det A -p and for the others by column exchange...
The image of GLJJc) under / is a commute.-
162 GEOMETRIC ALGEBRA
tive group so that /(orcr) ss /(o-J/Ct)/^) = f(T) showing again
that all transvections have the same image j8 under the map /...
Let Ay , A> , A3 , A, be a basis of V and define r by
t(Ai) = At t t(A2) = Ai + a 2 ,
rD3)= A3i r(A4) = A3 + A, ...
The group O',(U) is simple and we conclude that G
contains all elements of the form p3 X la, where p2 e 01( i7)...
Let es be a given basis element and T range over all sets with two
elements, [T] = 2; is there a T which produces a sign change? We
find as condition that [S A T] = 1, i.e., that one element of T
should be in S and the other not...
Then C+(V) =
CHAPTEfi V 203
C*(W0) + C+{W0)eM , Put u, - i(l + eM), us = 4A - «*), then
we have 1 = w4 + u2 , eM = ux — w2, w? = «i , ul ="'«»•, w,Wj = 0...
It will be convenient to adopt the following terminology:
If JJ is a non-singular subspace of Vand if r t O(U), then we shall
identify t with the element r J_ 1 v...
Select an isotropic vector N ^ '0 of V
which is not orthogonal to P; this' is possible since, otherwise, all
isotropic lines of V would be in P* and, therefore, left fixed by the
rotations of P...
The best way to get acquainted with these topics is again to read [5]; in [2]
and [6] more details on orthogonal groups will be found...