Computing quot schemes via marked bases over quasi-stable modules (Q2295396)

For any field \(K\) and any Noetherian \(K\)-algebra, the authors consider graded submodules of \(A[x_0,\dots ,x_n]^m\) having a special set of generators (a marked basis over a quasi-stable module). They prove that syzygies are generated by a marked basis. In this way they prove the existence of an explicit affine covering of the \(\mathrm{Quot}\)-scheme and certain of its subfunctors (like quotients with upper bounded regularity). Everything done for Hilbert schemes (often by the same authors) is done efficiently and in a clear way for the \(\mathrm{Quot}\)-scheme. The key point of the proofs is doing noetherian reductions with these marked basis.