Extendability of quadratic modules over a polynomial extension of an equicharacteristic regular local ring
arXiv:1401.0809
Abstract
We prove that a quadratic -module with Witt index (), where is the dimension of the equicharacteristic regular local ring , is extended from . This improves a theorem of the second named author who showed it when is the local ring at a smooth point of an affine variety over an infinite field. To establish our result, we need to establish a Local-Global Principle (of Quillen) for the Dickson--Siegel--Eichler--Roy (DSER) elementary orthogonal transformations.
19 pages