Abstract
Let \(X\subset {\mathbb P}^n\) be a generically reduced projective scheme. A fundamental goal in computational algebraic geometry is to compute information about X even when defining equations for X are not known. We use numerical algebraic geometry to develop a test for deciding if X is arithmetically Gorenstein and apply it to three secant varieties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Bertini: Software for numerical algebraic geometry. http://bertini.nd.edu
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically solving polynomial systems with Bertini. Software, Environments, and Tools, vol. 25. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (2013)
Daleo, N.S.: Algorithms and applications in numerical elimination theory. Ph.D. Dissertation. North Carolina State University (2015)
Daleo, N.S., Hauenstein, J.D.: Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme. J. Symb. Comp. 72, 128–146 (2016)
Davis, E.D., Geramita, A.V., Orecchia, F.: Gorenstein algebras and the Cayley-Bacharach theorem. Proc. Am. Math. Soc. 93(4), 593–597 (1985)
Geramita, A., Migliore, J.: Reduced Gorenstein codimension three subschemes of projective space. Proc. Am. Math. Soc. 125(4), 943–950 (1997)
Griffin, Z.A., Hauenstein, J.D., Peterson, C., Sommese, A.J.: Numerical computation of the Hilbert function and regularity of a zero dimensional scheme. In: Springer Proceedings in Mathematics and Statistics, vol. 76, pp. 235–250. Springer, New York (2014)
Hartshorne, R., Sabadini, I., Schlesinger, E.: Codimension \(3\) arithmetically Gorenstein subschemes of projective \(n\)-space. Annales de l’institut Fourier 58, 2037–2073 (2008)
Michalek, M., Oeding, L., Zwiernik, P.: Secant cumulants and toric geometry. Int. Math. Res. Notices 2015(12), 4019–4063 (2015)
Migliore, J., Peterson, C.: A construction of codimension three arithmetically Gorenstein subschemes of projective space. Trans. Am. Math. Soc. 349(9), 3803–3821 (1997)
Migliore, J.: Introduction to Liaison Theory and Deficiency Modules. Birkhäuser, Boston (1998)
Oeding, L., Sam, S.V.: Equations for the fifth secant variety of Segre products of projective spaces (2015). arxiv:1502.00203
Stanley, R.P.: Hilbert functions of graded algebras. Adv. Math. 28(1), 57–83 (1978)
Acknowledgments
The authors would like to thank Luke Oeding for helpful discussions. Both authors were supported in part by DARPA Young Faculty Award (YFA) and NSF grant DMS-1262428. JDH was also supported by Sloan Research Fellowship and NSF ACI-1460032.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Daleo, N.S., Hauenstein, J.D. (2016). Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property. In: Kotsireas, I., Rump, S., Yap, C. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science(), vol 9582. Springer, Cham. https://doi.org/10.1007/978-3-319-32859-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-32859-1_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32858-4
Online ISBN: 978-3-319-32859-1
eBook Packages: Computer ScienceComputer Science (R0)