Star configurations in P^n

DOI10.1016/J.JALGEBRA.2012.11.034MaRDI QIDQ360180zbMATH OpenOpenAlexFDO

Authors Anthony V. Geramita, Juan C. Migliore, Brian Harbourne

Publication date 26 August 2013

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1203.5685, http://www.sciencedirect.com/science/article/pii/S002186931200600X

zbMATH Keywords

ACM hyperplane arrangement resurgence star configuration

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Divisors, linear systems, invertible sheaves (14C20) Low codimension problems in algebraic geometry (14M07) Configurations and arrangements of linear subspaces (14N20) Computational aspects in algebraic geometry (14Q99)

Abstract: Star configurations are certain unions of linear subspaces of projective space. They have appeared in several different contexts: the study of extremal Hilbert functions for fat point schemes in the plane; the study of secant varieties of some classical algebraic varieties; the study of the resurgence of projective schemes. In this paper we study some algebraic properties of the ideals defining star configurations, including getting partial results about Hilbert functions, generators and minimal free resolutions of the ideals and their symbolic powers. We also show that their symbolic powers define arithmetically Cohen-Macaulay subschemes and we obtain results about the primary decompositions of the powers of the ideals. As an application, we compute the resurgence for the ideal of the codimension

n - 1

star configuration in

p r n

in the monomial case (i.e., when the number of hyperplanes is

n + 1

).

Review text

A \textit{star configuration} of codimension \(c\), \(V_c\subset \mathbb{P}^n\), is defined as follows: let \(\mathcal{H} = (H_1,\dots,H_s)\) be a set of hyperplanes in \(\mathbb{P}^n\) such that they intersect properly, i.e. the intersection of \(j\) elements of \(\mathcal{H}\) has codimension \(j\); we define \(V_c = V_c(\mathcal{H} , \mathbb{P}^n) = \bigcup_{1\leq i_1\leq \dots \leq i_c\leq s} H_{i_1}\cap \dots\cap H_{i_c}\).NEWLINENEWLINELet \(L_i\) be the defining linear form of \(H_i\), then \(I_{V_c} = \bigcap _{1\leq i_1\leq \dots \leq i_c\leq s} (L_{i_1},\dots L_{i_c}).\)NEWLINENEWLINEThe study of star configurations is related to several problems such as determining the Hilbert function for points in \(\mathbb{P}^2\) or the resurgence for certain projective schemes, and the study of secant varieties of some classical varieties.NEWLINENEWLINEThe main results in the paper are that not only every star configuration is arithmetically Cohen-Macaulay (ACM), but also every symbolic power \(I_{V_c}^{(m)}\) of the ideal of a star configuration defines an ACM scheme in \( \mathbb{P}^n\); moreover for certain positive dimensional star configurations, the \textit{resurgence} \(\rho(I_{V_c}) = \sup \{\frac{m}{r}: I_{V_c}^{(m)} \nsubseteq I_{V_c}^r\} \) of their ideal is determined, one of the few examples that can be found in the literature.

Recommendations

Cited in

(89)

This page was built for publication: Star configurations in \(\mathbb{P}^n\)

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