F=cliffordModuleToCIResolution(M,S,CI)
Part of the series of explicit functors giving category equivalences:
cliffordModule
cliffordModuleToCIResolution
cliffordModuleToMatrixFactorization
ciModuleToMatrixFactorization
ciModuleToCliffordModule
From Clifford module M on the Clifford algebra C:=Cliff(qq) of a quadratic form qq=s*q1+t*q2, we may construct a module over CI=P/ideal(q1,q2) where P is a polynomial ring in x_0..y_{(g-1)},z_1,z_2. This function returns a part of its minimal free resolution over CI. This function uses cliffordModuleToMatrixFactorization.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The object cliffordModuleToCIResolution is a method function.