The Clifford algebra forms a link between the intersection of two quadrics X and a hyperelliptic curve E. For example, one can recover the coordinate ring of the hyperelliptic curve as the center of the even Clifford algebra. Using a maximal linear subspace contained in the intersection, we get a Morita bundle that connects graded modules over the coordinate ring of the hyperelliptic curve and modules over the even Clifford algebra. This leads to a proof of Reid's theorem which identifies the set of maximal isotropic subspaces in the complete intersection of two quadrics to the set of degree 0 line bundles on E. This approach was taken in an unpublished manuscript of Ragnar-Olaf Buchweitz and Frank-Olaf Schreyer. The package allows a computational approach to the result of Bondal and Orlov which showed that the Kuznetsov component of X and the derived category of E are equivalent by a Fourier-Mukai transformation (see Section 2 of [A. Bondal, D. Orlov, arXiv:alg-geom/9506012], or Section 6 of [A. Bondal, D. Orlov, Proceedings of ICM, Vol. II (Beijing, 2002)]).
We demonstrate this, over finite fields, with the constructions of further random linear spaces on the intersection of two quadrics, and random Ulrich modules of lowest possible rank on the complete intersection of two quadrics for small g.
Basic Construction of the Clifford Algebra
randomLineBundle -- a random line bundle on the hyperelliptic curve
vectorBundleOnE -- creates a VectorBundleOnE, represented as a matrix factorization
yAction -- defines a vector bundle on E
tensorProduct -- tensor product of sheaves on the elliptic curve or sheaf times CliffordModule
degOnE -- degree of a vector bundle on E
orderInPic -- order of a line bundle of degree 0 in Pic(E)
randomExtension -- a random extension of a vector bundle on E by another vector bundle
Computations using Clifford Algebras