Regulating Hartshorne's connectedness theorem

From MaRDI portal
Publication:2014250

DOI10.1007/S10801-017-0744-8zbMATH Open1368.05085arXiv1506.06277OpenAlexW2963207343MaRDI QIDQ2014250FDOQ2014250


Authors: Bruno Benedetti, Barbara Bolognese, Matteo Varbaro Edit this on Wikidata


Publication date: 10 August 2017

Published in: Journal of Algebraic Combinatorics (Search for Journal in Brave)

Abstract: A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If XsubsetmathbbPn is an arithmetically Gorenstein projective scheme of regularity r+1, and if every irreducible component of X has regularity ler, we show that the dual graph of X is lfloorfracr+r1rfloor-connected. The bound is sharp. We also provide a strong converse to Hartshorne's result: Every connected graph is the dual graph of a suitable arithmetically Cohen-Macaulay projective curve of regularity le3, whose components are all rational normal curves. The regularity bound is smallest possible in general. Further consequences of our work are: (1) Any graph is the Hochster-Huneke graph of a complete equidimensional local ring. (This answers a question by Sather-Wagstaff and Spiroff.) (2) The regularity of a curve is not larger than the sum of the regularities of its primary components.


Full work available at URL: https://arxiv.org/abs/1506.06277




Recommendations




Cites Work


Cited In (5)

Uses Software





This page was built for publication: Regulating Hartshorne's connectedness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014250)