(S, qq, R, u, M1, M2, Mu1, Mu2)=randomNicePencil(kk,g)
Chooses a random example of a pencil of quadrics qq = s*q1+t*q2 with a fixed isotropic subspace (defined by ideal u) and a fixed corank one quadric in normal form q1.
When called with no arguments it prints a usage message.
The variables of S that are entries of X:= matrix \{\{x_0..y_{(g-1)},z_1,z_2\}\} \, represent coordinates on PP_R^{2g+1}.
M1, M2 are consecutive high syzygy matrices in the minimal (periodic) resolution of kk[s,t] = S/(ideal X) as a module over S/qq. These are used to construct the Clifford algebra of qq.
Mu1, Mu2 are consecutive high syzygy matrices in the minimal (periodic) resolution of S/(ideal u) as a module over S/qq. These are used to construct a Morita bundle between the even Clifford algebra of qq and the hyperelliptic curve branched over the degeneracy locus of the pencil,
\{(s,t) | s*q1+t*q2 is singular\} \subset PP^1.
|
|
|
|
|
a quadratic form of corank 1 (corresponding to a branch point of E-->PP^1 in normal form.
|
|
|
The object randomNicePencil is a method function.