a note on segre varieties in characteristic two
play

A note on Segre varieties in characteristic two Hans Havlicek - PowerPoint PPT Presentation

Notation and background results The invariant quadric References A note on Segre varieties in characteristic two Hans Havlicek Research Group Differential Geometry and Geometric Structures Institute of Discrete Mathematics and Geometry


  1. Notation and background results The invariant quadric References A note on Segre varieties in characteristic two Hans Havlicek Research Group Differential Geometry and Geometric Structures Institute of Discrete Mathematics and Geometry Workshop & Summer School on Finite Semifields, Padova, September 13th, 2013 Joint work with Boris Odehnal (Vienna) and Metod Saniga (Tatransk´ a Lomnica)

  2. Notation and background results The invariant quadric References Our Segre varieties Let V 1 , V 2 , . . . , V m be m ≥ 1 two-dimensional vector spaces over a commutative field F . P ( V k ) = PG ( 1 , F ) are projective lines over F for k ∈ { 1 , 2 , . . . , m } . The non-zero decomposable tensors of � m k = 1 V k determine the Segre variety � � ( F ) = S ( m ) ( F ) = F a 1 ⊗ a 2 ⊗ · · · ⊗ a m | a k ∈ V k \ { 0 } S 1 , 1 ,..., 1 � �� � m �� m � = PG ( 2 m − 1 , F ) . k = 1 V k with ambient projective space P

  3. Notation and background results The invariant quadric References Bases Given a basis ( e ( k ) 0 , e ( k ) 1 ) for each vector space V k , k ∈ { 1 , 2 , . . . , m } , the tensors ⊗ · · · ⊗ e ( m ) E i 1 , i 2 ,..., i m := e ( 1 ) ⊗ e ( 2 ) i 1 i 2 i m ( i 1 , i 2 , . . . , i m ) ∈ I m := { 0 , 1 } m with (1) constitute a basis of � m k = 1 V k . For any multi-index i = ( i 1 , i 2 , . . . , i m ) ∈ I m the opposite multi-index i ′ ∈ I m is characterised by i k � = i ′ k for all k ∈ { 1 , 2 , . . . , m } .

  4. Notation and background results The invariant quadric References Examples S 1 ( F ) = PG ( 1 , F ) . S 1 , 1 ( F ) is a hyperbolic quadric of PG ( 3 , F ) . S 1 , 1 , 1 ( 2 ) has 27 points and contains precisely 27 lines (three through each point). The ambient PG ( 7 , 2 ) has 255 points.

  5. Notation and background results The invariant quadric References Collineations �� m � k = 1 V k The subgroup of GL preserving decomposable tensors is generated by the following transformations: f 1 ⊗ f 2 ⊗ · · · ⊗ f m with f k ∈ GL ( V k ) for k ∈ { 1 , 2 , . . . , m } . (2) f σ with E ( i 1 , i 2 ,..., i m ) �→ E ( i σ − 1 ( 1 ) , i σ − 1 ( 2 ) ,..., i σ − 1 ( m ) ) for all i ∈ I m , (3) where σ ∈ S m is arbitrary. This subgroup induces the stabiliser G S ( m ) ( F ) of the Segre �� m � S ( m ) ( F ) within the projective group PGL k = 1 V k .

  6. Notation and background results The invariant quadric References Bilinear forms Each of the vector spaces V k admits a symplectic bilinear form [ · , · ] : V k × V k → F . Consequently, � m k = 1 V k is equipped with a bilinear form which is given by m � � � a 1 ⊗ a 2 ⊗ · · · ⊗ a m , b 1 ⊗ b 2 ⊗ · · · ⊗ b m [ a k , b k ] := k = 1 for a k , b k ∈ V k , (4) and extending bilinearly. All these bilinear forms are unique up to a non-zero factor in F .

  7. Notation and background results The invariant quadric References Bilinear forms (cont.) Given i , j ∈ I m we have m � [ e ( k ) i k , e ( k ) k ] = ( − 1 ) m [ E i ′ , E i ] � = 0 , [ E i , E i ′ ] = (5) i ′ k = 1 [ E i , E j ] j � = i ′ . = 0 for all (6) Hence the form [ · , · ] on � m k = 1 V k is non-degenerate. Furthermore, it is symmetric when m is even and Char F � = 2; alternating otherwise ( i. e., when m is odd or Char F = 2).

  8. Notation and background results The invariant quadric References The fundamental polarity In projective terms the form [ · , · ] on � m k = 1 V k (or any proportional one) determines the fundamental polarity of the Segre S ( m ) ( F ) , i. e. , a polarity of P ( � m k = 1 V k ) which sends S ( m ) ( F ) to its dual. This polarity is associated with a regular quadric when m is even and Char F � = 2; null otherwise ( i. e., when m is odd or Char F = 2).

  9. Notation and background results The invariant quadric References The associated quadric Let m be even and Char F � = 2. The mapping m � Q : V k → F : X �→ [ X , X ] k = 1 is a quadratic form with Witt index 2 m − 1 and rank 2 m . The fundamental polarity of the Segre S ( m ) ( F ) is the polarity of the regular quadric given by Q . The Segre coincides with this quadric precisely when m = 2.

  10. Notation and background results The invariant quadric References Characteristic two Let Char F = 2. Here [ · , · ] is a symplectic bilinear form on � m k = 1 V k for all m ≥ 1, whence the fundamental polarity of the Segre S ( m ) ( F ) is always null. Furthermore, (5) simplifies to m � [ e ( k ) 0 , e ( k ) [ E i , E i ′ ] = 1 ] = [ E i ′ , E i ] � = 0 . (7) k = 1

  11. Notation and background results The invariant quadric References A quadratic form Proposition Let m ≥ 2 and Char F = 2 . Then there is a unique quadratic form m � Q : V k → F k = 1 satisfying the following two properties: Q vanishes for all decomposable tensors. 1 The symplectic bilinear form 2 m m � � V k × V k → F [ · , · ] : k = 1 k = 1 is the polar form of Q.

  12. Notation and background results The invariant quadric References Proof We denote by I m , 0 the set of all multi-indices ( i 1 , i 2 , . . . , i m ) ∈ I m with i 1 = 0. In terms of our basis (1) a quadratic form is given by m [ E i , X ][ E i ′ , X ] � � V k → F : X �→ Q : (8) . [ E i , E i ′ ] k = 1 i ∈ I m , 0

  13. Notation and background results The invariant quadric References Proof (cont.) Given an arbitrary decomposable tensor we have [ E i , a 1 ⊗ · · · ⊗ a m ][ E i ′ , a 1 ⊗ · · · ⊗ a m ] � Q ( a 1 ⊗ · · · ⊗ a m ) = [ E i , E i ′ ] i ∈ I m , 0 1 , a 1 ] · · · [ e ( m ) , a m ][ e ( m ) [ e ( 1 ) 0 , a 1 ][ e ( 1 ) , a m ] � 0 1 = 1 ] · · · [ e ( m ) , e ( m ) [ e ( 1 ) 0 , e ( 1 ) ] i ∈ I m , 0 0 1 1 , a 1 ] · · · [ e ( m ) , a m ][ e ( m ) 2 m − 1 [ e ( 1 ) 0 , a 1 ][ e ( 1 ) , a m ] 0 1 = 1 ] · · · [ e ( m ) , e ( m ) [ e ( 1 ) 0 , e ( 1 ) ] 0 1 = 0 , where we used (7), # I m , 0 = 2 m − 1 , m ≥ 2, and Char F = 2. This verifies property 1.

  14. Notation and background results The invariant quadric References Proof (cont.) Let j , k ∈ I be arbitrary multi-indices. Polarising Q gives Q ( E j + E k ) + Q ( E j ) + Q ( E k ) Q ( E j + E k ) + 0 + 0 = [ E i , E j + E k ][ E i ′ , E j + E k ] � = [ E i , E i ′ ] . i ∈ I m , 0 The numerator of a summand of the above sum can only be different from zero if i ∈ { j ′ , k ′ } and i ′ ∈ { j ′ , k ′ } . These conditions can only be met for k = j ′ , whence in fact at most one summand, namely the one with i ∈ { j , j ′ } ∩ I m , 0 can be non-zero.

  15. Notation and background results The invariant quadric References Proof (cont.) So Q ( E j + E k ) + Q ( E j ) + Q ( E k ) = 0 = [ E j , E k ] k � = j ′ . for Irrespective of whether i = j or i = j ′ , we have [ E j , E j + E j ′ ][ E j ′ , E j + E j ′ ] Q ( E j + E j ′ )+ Q ( E j )+ Q ( E j ′ ) = = [ E j , E j ′ ] . [ E j , E j ′ ] This implies that the quadratic form Q polarises to [ · , · ] , i. e. , also the second property is satisfied.

  16. Notation and background results The invariant quadric References Proof (cont.) Q be a quadratic form satisfying properties 1 and 2. Hence Let � the polar form of Q − � Q = Q + � Q is zero. We consider F as a vector space over its subfield F � comprising all squares in F . So m � ( Q + � Q ) : V k → F k = 1 is a semilinear mapping with respect to the field isomorphism F → F � : x �→ x 2 . Q is a subspace of � m The kernel of Q + � k = 1 V k which contains all decomposable tensors and, in particular, our basis (1). Q vanishes on � m Hence Q + � k = 1 V k , and Q = � Q as required. �

  17. Notation and background results The invariant quadric References Explicit equation From (8) and (7), the quadratic form Q can be written in terms of tensor coordinates x j ∈ F as m � � � � � � [ e ( k ) 0 , e ( k ) Q x j E j [ E i , E i ′ ] x i x i ′ = x i x i ′ . = 1 ] · j ∈ I m i ∈ I m , 0 k = 1 i ∈ I m , 0 (9)

  18. Notation and background results The invariant quadric References Remarks The previous results may be slightly simplified by taking symplectic bases, i. e. , [ e ( k ) 0 , e ( k ) 1 ] = 1 for all k ∈ { 1 , 2 , . . . , m } , whence also [ E i , E i ′ ] = 1 for all i ∈ I m . Proposition 1 fails to hold for m = 1: A quadratic form Q vanishing for all decomposable tensors of V 1 is necessarily zero, since any element of V 1 is decomposable. Hence the polar form of such a Q cannot be non-degenerate.

  19. Notation and background results The invariant quadric References Main result Theorem Let m ≥ 2 and Char F = 2 . There exists in the ambient space of the Segre S ( m ) ( F ) a regular quadric Q ( F ) with the following properties: The projective index of Q ( F ) is 2 m − 1 − 1 . 1 Q ( F ) is invariant under the group of projective collineations 2 stabilising the Segre S ( m ) ( F ) .

  20. Notation and background results The invariant quadric References Proof Any f k ∈ GL ( V k ) , k ∈ { 1 , 2 , . . . , m } , preserves the symplectic form [ · , · ] on V k up to a non-zero factor. Any linear bijection f σ as in (3) is a symplectic transformation of � m k = 1 V k . Hence any transformation from the stabiliser group G S ( m ) ( F ) preserves the symplectic form (4) up to a non-zero factor. By the proposition, also Q is invariant up to a non-zero factor under the action of G S ( m ) ( F ) .

Recommend


More recommend