Computing quot schemes via marked bases over quasi-stable modules

DOI10.1016/J.JALGEBRA.2019.12.001zbMATH Open1431.13030OpenAlexW2994096040MaRDI QIDQ2295396FDOQ2295396

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 resolutionquot schemePommaret basisreduction relationmarked basisquasi-stable module

Mathematics Subject Classification ID

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

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.

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

• 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?)
• A Borel open cover of the Hilbert scheme
• A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type
• A combinatorial approach to involution and \(\delta \)-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
• 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

(7)

• Upgraded methods for the effective computation of marked schemes on a strongly stable ideal
• Explicit projective embeddings of standard opens of the Hilbert scheme of points
• Shift modules, strongly stable ideals, and their dualities
• On the functoriality of marked families
• Macaulay-like marked bases
• An elementary, explicit, proof of the existence of Quot schemes of points
• A general framework for Noetherian well ordered polynomial reductions

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)