English

On the Geramita-Harbourne-Migliore conjecture

Commutative Algebra 2020-01-01 v3 Algebraic Geometry

Abstract

Let Σ\Sigma be a finite collection of linear forms in K[x0,,xn]\mathbb K[x_0,\ldots,x_n], where K\mathbb K is a field. Denote Supp(Σ){\rm Supp}(\Sigma) to be the set of all nonproportional elements of Σ\Sigma, and suppose Supp(Σ){\rm Supp}(\Sigma) is generic, meaning that any n+1n+1 of its elements are linearly independent. Let 1aΣ1\leq a\leq |\Sigma|. In this article we prove the conjecture that the ideal generated by (all) aa-fold products of linear forms of Σ\Sigma has linear graded free resolution. As a consequence we prove the Geramita-Harbourne-Migliore conjecture concerning the primary decomposition of ordinary powers of defining ideals of star configurations, and we also determine the resurgence of these ideals.

Keywords

Cite

@article{arxiv.1906.08346,
  title  = {On the Geramita-Harbourne-Migliore conjecture},
  author = {Stefan Tohaneanu and Yu Xie},
  journal= {arXiv preprint arXiv:1906.08346},
  year   = {2020}
}

Comments

13 pages. We thank Kuei-Nuan Lin and Yi-Huang Shen for spotting a mistake in the first version of this article. In this second version we restrict to collections of linear forms with generic support. All the previous results concerning star configurations are correct since they assume the generic support hypothesis. The linear free resolution conjecture in its full generality is still open