Computing quot schemes via marked bases over quasi-stable modules

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

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

Publication date: 13 February 2020

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

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.

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)

Cites Work

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

Cited In (5)

• On the functoriality of marked families
• Explicit projective embeddings of standard opens of the Hilbert scheme of points
• Shift modules, strongly stable ideals, and their dualities
• Macaulay-like marked bases
• 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)