Multiprojective spaces and the arithmetically Cohen-Macaulay property
AbstractIn this paper we study the arithmetically Cohen-Macaulay (ACM) property for sets of points in multiprojective spaces. Most of what is known is for ℙ1× ℙ1and, more recently, in (ℙ1)r. In ℙ1× ℙ1the so called inclusion property characterises the ACM property. We extend the definition in any multiprojective space and we prove that the inclusion property implies the ACM property in ℙm× ℙn. In such an ambient space it is equivalent to the so-called (⋆)-property. Moreover, we start an investigation of the ACM property in ℙ1× ℙn. We give a new construction that highlights how different the behavior of the ACM property is in this setting.
Linear quotients of Artinian Weak Lefschetz algebras
Abstract We study the Hilbert function and the graded Betti numbers for “generic” linear quotients of Artinian standard graded algebras, especially in the case of Weak Lefschetz algebras. Moreover, we investigate a particular property of Weak Lefschetz algebras, the Betti Weak Lefschetz Property, which makes possible to completely determine the graded Betti numbers of a generic linear quotient of such algebras.
On the Betti numbers of three fat points in P1 × P1
In these notes we introduce a numerical function which allows us to describe explicitly (and nonrecursively) the Betti numbers, and hence, the Hilbert function of a set Z of three fat points whose support is an almost complete intersection (ACI) in P1 × P1 . A nonrecursively formula for the Betti numbers and the Hilbert function of these configurations is hard to give even for the corresponding set of five points on a special support in P2 and we did not find any kind of this result in the literature. Moreover, we also give a criterion that allows us to characterize the Hilbert functions of these special set of fat points.
Special arrangements of lines: Codimension 2 ACM varieties in P 1 × P 1 × P 1
In this paper, we investigate special arrangements of lines in multiprojective spaces. In particular, we characterize codimension 2 arithmetically Cohen–Macaulay (ACM) varieties in [Formula: see text], called varieties of lines. We also describe their ACM property from a combinatorial algebra point of view.
On the arithmetically Cohen-Macaulay property for sets of points in multiprojective spaces
We study the arithmetically Cohen-Macaulay (ACM) property for finite sets of points in multiprojective spaces, especially ( P 1 ) n (\mathbb P^1)^n . A combinatorial characterization, the ( ⋆ ) (\star ) -property, is known in P 1 × P 1 \mathbb P^1 \times \mathbb P^1 . We propose a combinatorial property, ( ⋆ s ) (\star _s) with 2 ≤ s ≤ n 2\leq s\leq n , that directly generalizes the ( ⋆ ) (\star ) -property to ( P 1 ) n (\mathbb P^1)^n for larger n n . We show that X X is ACM if and only if it satisfies the ( ⋆ n ) (\star _n) -property. The main tool for several of our results is an extension to the multiprojective setting of certain liaison methods in projective space.
Steiner systems and configurations of points
AbstractThe aim of this paper is to make a connection between design theory and algebraic geometry/commutative algebra. In particular, given any Steiner SystemS(t, n, v) we associate two ideals, in a suitable polynomial ring, defining a Steiner configuration of points and its Complement. We focus on the latter, studying its homological invariants, such as Hilbert Function and Betti numbers. We also study symbolic and regular powers associated to the ideal defining a Complement of a Steiner configuration of points, finding its Waldschmidt constant, regularity, bounds on its resurgence and asymptotic resurgence. We also compute the parameters of linear codes associated to any Steiner configur…
The minimal free resolution of fat almost complete intersections in ℙ1 x ℙ1
AbstractA current research theme is to compare symbolic powers of an ideal I with the regular powers of I. In this paper, we focus on the case where I = IX is an ideal deûning an almost complete intersection (ACI) set of points X in ℙ1 × ℙ1. In particular, we describe a minimal free bigraded resolution of a non-arithmetically Cohen-Macaulay (also non-homogeneous) set 𝒵 of fat points whose support is an ACI, generalizing an earlier result of Cooper et al. for homogeneous sets of triple points. We call 𝒵 a fat ACI.We also show that its symbolic and ordinary powers are equal, i.e, .
A numerical property of Hilbert functions and lex segment ideals
We introduce the fractal expansions, sequences of integers associated to a number. We show that these sequences characterize the Osequences and encode some information about lex segment ideals. Moreover, we introduce numerical functions called fractal functions, and we use them to solve the open problem of the classification of the Hilbert functions of any bigraded algebra.
Rational normal curves and Hadamard products
AbstractGiven $$r>n$$ r > n general hyperplanes in $$\mathbb P^n,$$ P n , a star configuration of points is the set of all the n-wise intersection of the hyperplanes. We introduce contact star configurations, which are star configurations where all the hyperplanes are osculating to the same rational normal curve. In this paper, we find a relation between this construction and Hadamard products of linear varieties. Moreover, we study the union of contact star configurations on a same conic in $$\mathbb P^2$$ P 2 , we prove that the union of two contact star configurations has a special h-vector and, in some cases, this is a complete intersection.
Expecting the unexpected: Quantifying the persistence of unexpected hypersurfaces
If $X \subset \mathbb P^n$ is a reduced subscheme, we say that $X$ admits an unexpected hypersurface of degree $t$ for multiplicity $m$ if the imposition of having multiplicity $m$ at a general point $P$ fails to impose the expected number of conditions on the linear system of hypersurfaces of degree $t$ containing $X$. Conditions which either guarantee the occurrence of unexpected hypersurfaces, or which ensure that they cannot occur, are not well understand. We introduce new methods for studying unexpectedness, such as the use of generic initial ideals and partial elimination ideals to clarify when it can and when it cannot occur. We also exhibit algebraic and geometric properties of $X$ …
Steiner configurations ideals: Containment and colouring
Given a homogeneous ideal I&sube
Regularity and h-polynomials of toric ideals of graphs
For all integers 4 ≤ r ≤ d 4 \leq r \leq d , we show that there exists a finite simple graph G = G r , d G= G_{r,d} with toric ideal I G ⊂ R I_G \subset R such that R / I G R/I_G has (Castelnuovo–Mumford) regularity r r and h h -polynomial of degree d d . To achieve this goal, we identify a family of graphs such that the graded Betti numbers of the associated toric ideal agree with its initial ideal, and, furthermore, that this initial ideal has linear quotients. As a corollary, we can recover a result of Hibi, Higashitani, Kimura, and O’Keefe that compares the depth and dimension of toric ideals of graphs.
In the Shadows of a hypergraph: looking for associated primes of powers of squarefree monomial ideals
The aim of this paper is to study the associated primes of powers of square-free monomial ideals. Each square-free monomial ideal corresponds uniquely to a finite simple hypergraph via the cover ideal construction, and vice versa. Let H be a finite simple hypergraph and J(H) the cover ideal of H. We define the shadows of hypergraph, H, described as a collection of smaller hypergraphs related to H under some conditions. We then investigate how the shadows of H preserve information about the associated primes of the powers of J(H). Finally, we apply our findings on shadows to study the persistence property of square-free monomial ideals and construct some examples exhibiting failure of contai…
Tower sets and other configurations with the Cohen-Macaulay property
Abstract Some well-known arithmetically Cohen–Macaulay configurations of linear varieties in P r as k-configurations, partial intersections and star configurations are generalized by introducing tower schemes. Tower schemes are reduced schemes that are a finite union of linear varieties whose support set is a suitable finite subset of Z + c called tower set. We prove that the tower schemes are arithmetically Cohen–Macaulay and we compute their Hilbert function in terms of their support. Afterwards, since even in codimension 2 not every arithmetically Cohen–Macaulay squarefree monomial ideal is the ideal of a tower scheme, we slightly extend this notion by defining generalized tower schemes …
Splittings of Toric Ideals
Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$.