Computing quot schemes via marked bases over quasi-stable modules

DOI10.1016/J.JALGEBRA.2019.12.001MaRDI QIDQ2295396zbMATH OpenOpenAlexFDO

Authors Mario Albert, Cristina Bertone, Margherita Roggero, Werner M. Seiler

Publication date 13 February 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.03547

zbMATH Keywords

Castelnuovo-Mumford regularityfree resolutionmarked basisPommaret basisquasi-stable modulequot schemereduction relation

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Schemes and morphisms (14A15) Parametrization (Chow and Hilbert schemes) (14C05)

Abstract: Let $Bbbk$ be a field of arbitrary characteristic, $A$ a Noetherian $Bbbk$-algebra and consider the polynomial ring $A[mathbfx]=A[x_0,dots,x_n]$. We consider homogeneous submodules of $A[mathbfx{]}^m$ having a special set of generators: a marked basis over a quasi-stable module. Such a marked basis inherits several good properties of a Gr"obner basis, including a Noetherian reduction relation. The set of submodules of $A[mathbfx{]}^m$ having a marked basis over a given quasi-stable module has an affine scheme structure that we are able to exhibit. Furthermore, the syzygies of a module generated by such a marked basis are generated by a marked basis, too (over a suitable quasi-stable module in $oplu{s}_{i=1}^{m^{\prime }}A[mathbfx](-d_i)$). We apply the construction of marked bases and related properties to the investigation of Quot functors (and schemes). More precisely, for a given Hilbert polynomial, we can explicitely construct (up to the action of a general linear group) an open cover of the corresponding Quot functor made up of open functors represented by affine schemes. This gives a new proof that the Quot functor is the functor of points of a scheme. We also exhibit a procedure to obtain the equations defining a given Quot scheme as a subscheme of a suitable Grassmannian. Thanks to the good behaviour of marked bases with respect to Castelnuovo-Mumford regularity, we can adapt our methods in order to study the locus of the Quot scheme given by an upper bound on the regularity of its points.

Review text

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.

Recommendations

• On the functoriality of marked families
• Macaulay-like marked bases
• Quot schemes in Grassmannians
• The invariant Quot scheme
• The \textit{quot} functor of a quasi-coherent sheaf

Cites work

• A Borel open cover of the Hilbert scheme
• A combinatorial approach to involution and -regularity. I: Involutive bases in polynomial algebras of solvable type
• A combinatorial approach to involution and -regularity. II: Structure analysis of polynomial modules with Pommaret bases
• A generalization of macaulay's theorem
• A note on polynomial reduction
• Algebraic geometry I. Schemes. With examples and exercises
• Characteristic-free bounds for the Castelnuovo–Mumford regularity
• Deformations of Algebraic Schemes
• Deterministic genericity for polynomial ideals
• Extensors and the Hilbert scheme
• Flat families by strongly stable ideals and a generalization of Gröbner bases
• Gotzmann regularity for globally generated coherent sheaves
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 2046150 (Why is no real title available?)
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• Macaulay-like marked bases
• On the functoriality of marked families
• On the relation between Gröbner and Pommaret bases
• Quasi-stable ideals and Borel-fixed ideals with a given Hilbert polynomial
• Saturation and Castelnuovo-Mumford regularity
• Term-ordering free involutive bases
• The Geometry of Schemes
• The Geometry of Syzygies
• The Locus of Points of the Hilbert Scheme with Bounded Regularity
• Upgraded methods for the effective computation of marked schemes on a strongly stable ideal

Cited in

(10)

• Upgraded methods for the effective computation of marked schemes on a strongly stable ideal
• A general framework for Noetherian well ordered polynomial reductions
• Explicit projective embeddings of standard opens of the Hilbert scheme of points
• On the functoriality of marked families
• Macaulay-like marked bases
• Shift modules, strongly stable ideals, and their dualities
• Cohen-Macaulay, Gorenstein and complete intersection conditions by marked bases
• Computing finite and infinite free resolutions with Pommaret-like bases
• Open Covers and Lex Points of Hilbert Schemes Over Quotient Rings via Relative Marked Bases
• An elementary, explicit, proof of the existence of Quot schemes of points

This page was built for publication: Computing quot schemes via marked bases over quasi-stable modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2295396)