Regulating Hartshorne's connectedness theorem

DOI10.1007/S10801-017-0744-8MaRDI QIDQ2014250zbMATH OpenOpenAlexFDO

Authors Bruno Benedetti, Barbara Bolognese, Matteo Varbaro

Publication date 10 August 2017

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

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

zbMATH Keywords

Castelnuovo-Mumford regularitydual graphs\(k\)-connectivityarithmetically Gorenstein arrangementsBalinski's theorem

Mathematics Subject Classification ID

Connectivity (05C40)

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 $Xsubsetmathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $le{r}^{\prime }$, we show that the dual graph of $X$ is $lfloorfracr+r^{\prime }-1r^{\prime }floor$-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.

Recommendations

• On the dual graphs of Cohen-Macaulay algebras
• scientific article; zbMATH DE number 829964
• On the Castelnuovo-Mumford regularity of connected curves
• The hilbert schemes of degree three curves
• Liaison and Cohen-Macaulayness conditions

Cites work

• scientific article; zbMATH DE number 589383 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements.
• Algebraic geometry. An introduction. Transl. from the French by Catriona Maclean
• An extension of a theorem of Hartshorne
• Bounds on the Castelnuovo-Mumford regularity of tensor products
• Cohen-Macaulay coordinate rings of blowup schemes
• Complete Intersections and Connectedness
• Gröbner deformations, connectedness and cohomological dimension
• Introduction to liaison theory and deficiency modules
• Notes on liaison and duality
• On a theorem of Castelnuovo, and the equations defining space curves
• On graded rings. I
• On some local cohomology modules
• On the Castelnuovo-Mumford regularity of connected curves
• On the dual graphs of Cohen-Macaulay algebras
• Simple normal crossing varieties with prescribed dual complex
• Small schemes and varieties of minimal degree
• The Geometry of Syzygies
• Torsion in kernels of induced maps on divisor class groups

Cited in

(5)

• On the structure of \(S_2\)-ifications of complete local rings
• A generalized Serre's condition
• On the diameter of an ideal
• On the diameter of dual graphs of Stanley-Reisner rings and Hirsch type bounds on abstractions of polytopes
• On the dual graphs of Cohen-Macaulay algebras

Describes a project that uses

Uses Software

• Macaulay2

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)