Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme

DOI10.1016/j.jsc.2015.01.001zbMath1329.14108OpenAlexW2122582928WikidataQ57434980 ScholiaQ57434980MaRDI QIDQ492026

Noah S. Daleo, Jonathan D. Hauenstein

Publication date: 19 August 2015

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2015.01.001

zbMATH Keywords

Castelnuovo-Mumford regularityarithmetically Cohen-Macaulaynumerical algebraic geometrywitness setarithmetic genus

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05) Computational aspects of higher-dimensional varieties (14Q15) Computational aspects of algebraic curves (14Q05) Syzygies, resolutions, complexes and commutative rings (13D02) Solving polynomial systems; resultants (13P15)

Related Items (7)

On the equations defining some Hilbert schemes ⋮ Binomiality testing and computing sparse polynomials via witness sets ⋮ Tensor decomposition and homotopy continuation ⋮ Phylogenetic complexity of the Kimura 3-parameter model ⋮ Foreword. What is numerical algebraic geometry? ⋮ VSPs of cubic fourfolds and the Gorenstein locus of the Hilbert scheme of 14 points on \(\mathbb{A}^6\) ⋮ Learning algebraic varieties from samples

Uses Software

• Macaulay2
• Bertini
• Algorithm 931

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Isosingular sets and deflation
• Numerical computation of the genus of an irreducible curve within an algebraic set
• A criterion for detecting m-regularity
• Witness sets of projections
• A proof of the set-theoretic version of the salmon conjecture
• Numerical elimination and moduli space of vacua
• Exploring the vacuum geometry of \(\mathcal N=1\) gauge theories
• Regularity bounds by minimal generators and Hilbert function
• On a theorem of Castelnuovo, and the equations defining space curves
• Introduction to liaison theory and deficiency modules
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• Membership tests for images of algebraic sets by linear projections
• Algorithm 931
• Numerical Polynomial Algebra
• Toward a Salmon Conjecture
• NUMERICAL ALGORITHMS FOR DUAL BASES OF POSITIVE-DIMENSIONAL IDEALS
• Numerical Computation of the Hilbert Function and Regularity of a Zero Dimensional Scheme
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
• The general hyperplane section of a curve

This page was built for publication: Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme