Macaulay2 » Documentation
Packages » A1BrouwerDegrees :: makeGWuClass
next | previous | forward | backward | up | index | toc

makeGWuClass -- constructor for unstable Grothendieck-Witt classes

Description

The unstable Grothendieck-Witt class is represented by the data of a Grothendieck-Witt class and a non-zero element of the base field or finite étale algebra such that the determinant of the Gram matrix of the Grothendieck-Witt class must agree with the square of the non-zero element of the base field or finite étale algebra up to multiplication by a square.

The method makeGWuClass can be applied to a symmetric matrix or a Grothendieck-Witt class together with the data of a scalar, and it will automatically use the determinant of the matrix or Grothendieck-Witt class as the non-zero element of the base field or finite étale algebra if no such element is provided.

i1 : M = matrix(QQ, {{0,1},{1,0}})

o1 = | 0 1 |
     | 1 0 |

              2       2
o1 : Matrix QQ  <-- QQ
i2 : alpha = makeGWuClass(M, -9)

o2 = (| 0 1 |, -9)
      | 1 0 |

o2 : UnstableGrothendieckWittClass
i3 : class alpha

o3 = UnstableGrothendieckWittClass

o3 : Type
i4 : beta0 = makeGWClass M

o4 = | 0 1 |
     | 1 0 |

o4 : GrothendieckWittClass
i5 : beta = makeGWuClass(beta0, -9)

o5 = (| 0 1 |, -9)
      | 1 0 |

o5 : UnstableGrothendieckWittClass
i6 : class beta

o6 = UnstableGrothendieckWittClass

o6 : Type
i7 : gamma = makeGWuClass M

o7 = (| 0 1 |, -1)
      | 1 0 |

o7 : UnstableGrothendieckWittClass
i8 : class gamma

o8 = UnstableGrothendieckWittClass

o8 : Type
i9 : delta = makeGWuClass beta0

o9 = (| 0 1 |, -1)
      | 1 0 |

o9 : UnstableGrothendieckWittClass
i10 : class delta

o10 = UnstableGrothendieckWittClass

o10 : Type

Over the complex numbers, real numbers, rational numbers, or finite fields of characteristic not 2, the constructor makeGWuClass verifies that the scalar, if provided, agrees with the determinant of the Gram matrix of the Grothendieck-Witt class or matrix up to multiplication by a square. Over arbitrary finite étale algebras over fields, the constructor will permit the construction of an unstable Grothendieck-Witt class with any nonzero scalar and warn the user to verify that the scalar agrees with the determinant of the matrix representative of the stable part up to squares.

i11 : R = QQ[x]/(x^2 + 1);
i12 : P = matrix(R, {{1,0}, {0,x}});

              2      2
o12 : Matrix R  <-- R
i13 : makeGWuClass(P, x^3)
Warning, unable to verify whether the determinant of M and b agree up to squares.

o13 = (| 1 0 |, -x)
       | 0 x |

o13 : UnstableGrothendieckWittClass

Caveat

Over an arbitrary finite étale algebra over a field, any nonzero algebra element can be used as the scalar in the construction of an unstable Grothendieck-Witt class. In cases when the user provides a scalar different from the determinant of the Gram matrix of the Grothendieck-Witt class or matrix, the user must manually verify that the scalar agrees with the determinant of the Gram matrix of the Grothendieck-Witt class or matrix up to multiplication by a square. In this case, a warning is printed: Warning, the function is not able to verify if the determinant of M and a agree up to squares..

See also

Ways to use makeGWuClass:

  • makeGWuClass(GrothendieckWittClass)
  • makeGWuClass(GrothendieckWittClass,Number)
  • makeGWuClass(GrothendieckWittClass,RingElement)
  • makeGWuClass(Matrix)
  • makeGWuClass(Matrix,Number)
  • makeGWuClass(Matrix,RingElement)

For the programmer

The object makeGWuClass is a method function.


The source of this document is in A1BrouwerDegrees/Documentation/UnstableGrothendieckWittClassesDoc.m2:121:0.