Numerically deciding the arithmetically Cohen–Macaulayness of a projective scheme. (January 2016)

• Record Type: Journal Article
• Authors: Daleo, Noah S.; Hauenstein, Jonathan D.
• Is Part Of: Journal of symbolic computation. Volume 72(2016)
• Page Start: 128
• Page End: 146
• Publication Date: 2016-01
• Subjects: primary 65H10 -- secondary 14Q05 14Q15; Numerical algebraic geometry -- Witness set -- Arithmetically Cohen–Macaulay -- Castelnuovo–Mumford regularity -- Arithmetic genus; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2015.01.001
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: In numerical algebraic geometry, a witness point set W is a key object for performing numerical computations on a projective scheme X of pure dimension d > 0 defined over C . If X is arithmetically Cohen–Macaulay, W can also be used to obtain information about X, such as the initial degree of the ideal generated by X and its Castelnuovo–Mumford regularity. Due to this relationship, we develop a new numerical algebraic geometric test for deciding if X is arithmetically Cohen–Macaulay using points which lie (approximately) on a general curve section C of X . For any curve, we also compute other information such as the arithmetic genus and index of regularity. Several examples are presented showing the effectiveness of this method, even when the ideal of X is unknown.