orthomodular lattices and quadratic spaces: a survey - Project Euclid

    

         

                   

               

                                                              ! "#$% &                         ' (       ! "#)% *(                                               +      ,   -./                                         (     0    

                    1   2      + /     "#$)   3  4   5 - .                 1    2 +    (      6"3"7/   8          3                           (        8                    9   +      / ,8         '          8                   !      - !.       0                 8                                             

%  %& '$(!' ($#($!%) ')$!  !"#$ ­

#:"

#:;

 

(  0        0             (    !    (            8                                                                    ( 9>   8 8                                    '    < 8 < 8*                      ,                                    (                 9      1  2       9    !            0         

                                 +       ?   @A' -"./ ,                                           &     (            = +"/ !       1   02             0 (    B

  !"# # $%

#:$

+;/                    B +$/ <      (     +   -#$./            0      B +C/ <     (         8                            B +:/ <     (  8                          B +)/ !        +  /     >  +  /     >        E   +   />               

 

 

      E 

 ,  - -  "$;.

 

         <   I          '                     0                              +I /     +L M/   I+ / E 7     L+ / E 7          ' 

#:%

  !"# # $%

*  "+ ,%%'

+I / E7

+L M/       L+ / E I+ /  

                                  

E

 

 , *' - .

&             I         I                

 ,% 0%'%1 2 )3)4(%) 2 ( 5(( )4(% ?      +  I/             I               + /  F+ /        E   I+ / E 7              +F+ /  J  +7/ /       '                              '         * 9  ?                          K                     * + 4)

  

    

+  I/   

   

 



+;""/    > +;";/         > +;"$/ E +7/> +;"C/   E       + / E  > +;":/   E     + J / E  J        >  +;")/  E                8            ?   F+ / ,             8

#:6

 

                       

*+ %6 F +  I/       



  

   ( 

 +  I/ E   F+ /   

E +7/

        +  I/ E   F+ /  J 

E 

   8     +  I/ E   F+ / 

E



!                                                   (              B

*/+ ,%%'  +  I/    

+;$"/ +;$;/    +;$$/

#       

 +  I/

+

   



    

          

I/

           $  

                  $                            

+

I/

+ I/ +;$C/  +  I/

        





                        $ 

   +;$"/  *' - .  +;$;/  *' - !.  +;$$/  ?   @ -/.    C  %$.   +;$C/  -/.    $  %".

#:#

  !"# # $%

                                    +  I/       0

*"+ ,%%'



+  I/

   

 

 

+ +  I/    +7/ /          E       E + J  /            %        &    !                 '  

+;C"/ +;C;/

=

 +  /   +  I/      J 







+  /   +  I/      J            +  I/       

+

        

+;C$/

 +  I/

I/

   $       

     







 $    

 ,  - -.  +;C$/  @ -$ .    -/.

 

&     +;C$/                            +  /   +  

 

/>

 + /> 

=

+  /     =  +  /   + /

!     (

 

  &          +  I/    8             

           = &    +  I/     B     Æ                     8  3/ E +L+$  $ // E  77 "7 7" 77 

     

7 7 7 ;

 7 7 7

+L> / E +L+# $  # $ // E +I+$  $ / / E  77 7 7 77  

7 7 7  5  HQ   - $  6:.    0      0          +L> / E +L> 3/         + /  E ;  ++ / / E ;                 ;               !

    ?  -".         +          /            (    8     + /                                        3  4 0   ,       +  ' /     0        8   ? Q                    

#)6

 

! %) / <      (      

         0      B !    -#$.       (  "          +:"/   +:;/  +:$/  +:C/    +::/ 8   +:)/    +:%/     H   +:C/    +:%/                  +:%/    08                    0       !   E         9      E % + / E + /

                            + / + / E                                     8  0       8   

*!.+ ,%%'

+

/

    &   $     

 "                   



                         0                 0   -!.                                            +);/ R    ( > +)$/   >  +)C/   0     +$ /   (   1  2=   + /    +++I+  $    $ //    /    + $ /     7  

*-!+ ,%%'  +  I/   =

 

          

+):"/ +  +/ E  +  I/ +):;/  +  I/ E  +  I/ +):$/ +  I/   )         +  I/   )    "    

 

 +  I/

  

 , @A' -$-.

 

!            +  I/   ) 8   4         

*--+ ,%%'

+

I/

+

I/

     )                   "       &   $     "         $                  )             



 , ?  -" .

 

#%$

  !"# # $%

        +D +C/  +:/     /       ? 

*-$+ ,%%'

     $     "                                        





 

 , ?  -"     ).

&   

*-.+ ,%%'

     $       "                                   

E7



E"

 , ?  -"     %.

 

            

*-#+ ,%%'

     

 $



  

 

+)#"/     E 7     E "           

0+/ E   0+/ E  

 

 ,  - -  "%7.

 

$ 0&% 3)%0 5(( )4(%)   >/*           3+ / 4  1  & /+0/  #

   # /0/ /+ %  2 4/5 %  (  /0  # :      $    3+ %  A *+ $  # 5*+ B % 4/5 .  ' #/0           C/0 D$*00 4 / 4  :  #%         4 /+ $B   %   /0/  ( . 0 / %        &3 / -           3  C/0    (, '- 1:  ) // / % %E*  E   !   !  &*+  /0/   3  /B / : %5 4 +   +4 (, '- F GGH:    < //       %5 4 8+/4 /  +  (, '- 1:   $         3  C/0  / 4  1    0 &     #   +   J:K

      $-     7 +   / >    JK G ..  & !?/ "   -     +        $00 /   J1K     ! +, # " 

 E-* / >  JGFK  :  >  -0/ /  / "    +     $  "      +  /  J1K GF GG   )?/+2"++0/ # 

 $  "  L5   /  JK    ) ++0 "  "

   0 / %   J1.K :: :  ! )   #    +   > %0+ #4  J1K .   # 

   +   *++ */+ / %     J1K ::: :GF   ! ) -+  > >/*  / ! %5  3  +  +    $ ( JK .     )   /  &        "    / J1GK .   !> )*+  )   

   



 / A > /  J1K  . / $ //++ 8"   +    %   JGK     )/5++   77 7     $/ / 9

 



     " 7      " 7 +   / (/* %  / J1K F    & /  /B  

    "   



  / %  ) %  /  JDK : GF    " ,

     "  ,     > +4/  JK .: .G1   /   ++ #    $  "  /*  5/ /  JK 1 F /  44        "  8 $00  / +  J:K . .

#66

 

  / "2  ?*@  # 

  

 +   "  #*  2G GK * 8+/4 %*4/ / +2 +205- 8 / .   1 

 "   

   JK      #0 - /  % *55+    "     +   "   +4/ " /+   J.K 1   % &*   -  +     &  - M N  :: :1: / >  + 8  +    $  "  #  /   JK : :1  / $   #        +    > /   JK .: . G1H..   > &* #       +    $00 /   J1K 1 .   # /-  % &* / > &   "  

* 

 " > # / %  JK  J.K G. .FF  # 0/  / /   @ /- "     * 



 ( !/0 > )0/+ #4  J.K :F. :   /   @ /-  ""    

   > %0+ #4  JGK G G  %% ++/ > . *3'   

 / 0 / %    J1:K 11       ""  



 / 0 / %   J1GK ::F :G: H.1F        '( "   

 "    "  $// > /  J1K . .. GFH1GF   "  



  "    0  / %   JFK 1   . '  "  0  £ * > +4/  J:K .1 .  GH..G   " ,  

   



   0/ / >  J:K  G    #  +    £ *  > +4/  JK F   £ *     £ *  / 0 / %     JFK  G:I  /+ /*0  JK :::  !   £ *  > +4/   J1K 1 G1  -HFG

  $  - JK  *    ""   +   

8+  .I $05/ $+ /  8+   + !    ) >/, @    



 / A > / 

  !"# # $%

#6#

J1:K G G   >   

  



   0 / %   J..K 1 1  % /-*/ / &3 / - ,   7    $  "   B /  JGGK .F .  /  . 

   7   " - $  "  *++ 0 / %   JG1K  ::  &  /+   # *  $  "   B /  JGK F    /5+/-  -   ,    !*- / >  JGK :F: :        "   / / + $ E   J.FK   H:  # 

    "    0   / %   J.K 1 .       > / %  >/5/  J.:K FF F   "  "  



      B /  J..K .G .G    ++ # 

 

   "     "  / A > /  JFK F. F  8 *'

 $  .  /    JFK G G       

 $   !"  (/ /0/ / ( 1 "  / $/+ / %/ /4 $ + G  #   "      " / A > /   J1K : GF1 BHF  "2  ?*@  3'

 $ :  :  , 9:" / /  J1GK . 1

  3   

 " 

 / 0 / %  J1GK GF G1 ::HF

 > / @-   '   '( -   +   *  *++   +< /;0  +/   %   %;      0/;0/ 7* /0 7*  5 7*  J1K .: .        0      *++   +< /;0  +2

 /   %   %;      0/;0/ 7* /0 7*  5 7* 

##7

 

JFK : .  0   ""      -  +   

 5  /0/ /+    JK :. .F

  $  "     +    ,  $  "  - 5 /   JK F 

          -  +    > /   J:K G1 G GH

  #

   7   $  "  $++7 /  JGK G: G  ;  "      0   "  

 , $  "  "  %* / /  JGK G .

  #

 

   7   $  "  *++ / + %   J1K G GG   '   '( "   

 "   " *    *++ / + %   JK  :   /  

    "    *  7     0 / %   JK GG1 GGI *55+0   0 / %   JK 1  #

            +    0 / %   JK 1: 1 GH        "  $ 

 $// > /  J:K 1  GH1  . '   

  "     $  

   0 / %   JGK G G1   #

      &+/ - / %   J.K : :   "  ""  

 )

   0  / %   J1K F1     $ 

 !   "  B /2   / *    &            "  / A > /  JK  F   )   "   +   "  > # / %  JK  JFK G. .F   $   - + + + +  /  J1GK G: G1  #    +   >  + #4  JK G GG       @ /-      7   $  "   !   "  B // * F        "  > (/* %  / JFK .      '   "  > # / %  JK  JK :: :  !+       / A > /    JK G. G

  !"# # $%

##"

   #

 "  +    > */+ / %   J:K 1. 1  !"    "  > $0    JGK    1    #



  "      >  + #4  JGK G: G    #



  +  " / /4  JK  :F:    #  "     +   "  2 *4/+ /  )/   J. 1K     +   "   0   =*/   /  JGK JK : :F   ;  4 5 "  4"  # / %  JK  JK G GG  " %//-  #" 

    -  - > %    0/ "     J.GK : :F    %   

 "   



 / A > /  J11K . .     *

 $/ / > /  J1K GF .F   %C  *   7    " "  %* / %  / *4/  JGK G G  !  55 4 "  

  "

 / A > /  J1K : :. :  '"   B /   >  (*0/ =  J:K G :F

##;

 

   3  / (  + 

 "    / A > /

J.K :1 : HF   3> 3 +* #   7     +   / 0 / %   JK 1.    3 4    "*   O  7   ;(  / >    JK .1 .:   (  + -  

 +    / A > /  J1K . 1 .HG:.   # ""        0 / %   J1:K :G1 :.  # 

     "   $  "  / A > /   J11K .: .1 :GH.F