Source author record

Juan Migliore

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG math.CO

Catalog footprint

Research overview

19works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Configurations of points in projective space and their projections

We call a set of points $Z\subset{\mathbb P}^{3}_{\mathbb C}$ an $(a,b)$ -geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point $P$ to a plane is a complete intersection of curves of degrees $a$ and $b$ . Examples which we call grids have been known since 2011. The only nongrid nondegenerate examples previously known had $ab=12, 16, 20, 24, 30, 36, 42, 48, 54$ or $60$ . Here, for any $4 \leq a \leq b$ , we construct nongrid nondegenerate $(a,b)$ -geproci sets in a systematic way. We also show that the only such example with $a=3$ is a $(3,4)$ -geproci set coming from the $D_4$ root system, and we describe the $D_4$ configuration in detail. We also consider the question of the equivalence (in various senses) of geproci sets, as well as which sets occur over the reals, and which cannot. We identify several additional examples of geproci sets with interesting properties. We also explore the relation between unexpected cones and geproci sets and introduce the notion of $d$ -Weddle schemes arising from special projections of finite sets of points. This work initiates the exploration of new perspectives on classical areas of geometry. We formulate and discuss a range of open problems in the final chapter.

preprint2021arXiv

The ACM property for unions of lines in $\mathbb P^1 \times \mathbb P^2$

This paper examines the Arithmetically Cohen-Macaulay (ACM) property for certain codimension 2 varieties in $\mathbb P^1\times \mathbb P^2$ called sets of lines in $\mathbb P^1\times \mathbb P^2$ (not necessarily reduced). We discuss some obstacles to finding a general characterization. We then consider certain classes of such curves, and we address two questions. First, when are they themselves ACM? Second, in a non-ACM reduced configuration, is it possible to replace one component of a primary (prime) decomposition by a suitable power (i.e. to "fatten" one line) to make the resulting scheme ACM? Finally, for our classes of such curves, we characterize the locally Cohen-Macaulay property in combinatorial terms by introducing the definition of a fully v-connected configuration. We apply some of our results to give analogous ACM results for sets of lines in $\mathbb P^3$ .

preprint2020arXiv

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$ which in some cases guarantee and in other cases preclude $X$ having certain kinds of unexpectedness. In addition, we formulate a new way of quantifying unexpectedness (our AV sequence), which allows us detect the extent to which unexpectedness persists as $t$ increases but $t-m$ remains constant. Finally, we study to what extent we can detect unexpectedness from the Hilbert function of $X$ .

preprint2020arXiv

Sets of points which project to complete intersections

The motivating problem addressed by this paper is to describe those non-degenerate sets of points $Z$ in $\mathbb P^3$ whose general projection to a general plane is a complete intersection of curves in that plane. One large class of such $Z$ is what we call $(m,n)$ -grids. We relate this problem to the {\em unexpected cone property} ${\mathcal C}(d)$ , a special case of the unexpected hypersurfaces which have been the focus of much recent research. After an analysis of ${\mathcal C}(d)$ for small $d$ , we show that a non-degenerate set of $9$ points has a general projection that is the complete intersection of two cubics if and only if the points form a $(3,3)$ -grid. However, in an appendix we describe a set of $24$ points that are not a grid but nevertheless have the projection property. These points arise from the $F_4$ root system. Furthermore, from this example we find subsets of $20$ , $16$ and $12$ points with the same feature.

preprint2020arXiv

Symbolic powers of codimension two Cohen-Macaulay ideals

Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$ , and let $I_X^{(m)}$ denote its $m$ -th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$ . We survey what is known about this problem when $X$ is locally a complete intersection, and in particular, we review the classification of when $I_X^{(m)} = I_X^m$ for all $m \geq 1$ . We then discuss how one might weaken these hypotheses, but still obtain equality between the symbolic and ordinary powers. Finally, we show that this classification allows one to: (1) simplify known results about symbolic powers of ideals of points in $\mathbb{P}^1 \times \mathbb{P}^1$ ; (2) verify a conjecture of Guardo, Harbourne, and Van Tuyl, and (3) provide additional evidence to a conjecture of Römer.

preprint2016arXiv

On the strong Lefschetz question for uniform powers of general linear forms in $k[x,y,z]$

Schenck and Seceleanu proved that if $R = k[x,y,z]$ , where $k$ is an infinite field, and $I$ is an ideal generated by any collection of powers of linear forms, then multiplication by a general linear form $L$ induces a homomorphism of maximal rank from any component of $R/I$ to the next. That is, $R/I$ has the {\em weak Lefschetz property}. Considering the more general {\em strong Lefschetz question} of when $\times L^j$ has maximal rank for $j \geq 2$ , we give the first systematic study of this problem. We assume that the linear forms are general and that the powers are all the same, i.e. that $I$ is generated by {\em uniform} powers of general linear forms. We prove that for any number of such generators, $\times L^2$ always has maximal rank. We then specialize to almost complete intersections, i.e. to four generators, and we show that for $j = 3,4,5$ the behavior depends on the uniform exponent and on $j$ , in a way that we make precise. In particular, there is always at most one degree where $\times L^j$ fails maximal rank. Finally, we note that experimentally all higher powers of $L$ fail maximal rank in at least two degrees.

preprint2016arXiv

The non-Lefschetz locus

We study the weak Lefschetz property of artinian Gorenstein algebras and in particular of artinian complete intersections. In codimension four and higher, it is an open problem whether all complete intersections have the weak Lefschetz property. For a given artinian Gorenstein algebra $A$ we ask what linear forms are Lefschetz elements for this particular algebra, i.e., which linear forms $\ell$ give maximal rank for all the multiplication maps $\times \ell: [A]_i \longrightarrow [A]_{i+1}$ . This is a Zariski open set and its complement is the \emph{non-Lefschetz locus}. For monomial complete intersections, we completely describe the non-Lefschetz locus. For general complete intersections of codimension three and four we prove that the non-Lefschetz locus has the expected codimension, which in particular means that it is empty in a large family of examples. For general Gorenstein algebras of codimension three with a given Hilbert function, we prove that the non-Lefschetz locus has the expected codimension if the first difference of the Hilbert function is of decreasing type. For completeness we also give a full description of the non-Lefschetz locus for artinian algebras of codimension two.

preprint2015arXiv

An algebraic approach to finite projective planes

A finite projective plane, or more generally a finite linear space, has an associated incidence complex that gives rise to two natural algebras: the Stanley-Reisner ring $R/I_Λ$ and the inverse system algebra $R/I_Δ$ . We give a careful study of both of these algebras. Our main results are a full description of the graded Betti numbers of both algebras in the more general setting of linear spaces (giving the result for the projective planes as a special case), and a classification of the characteristics in which the inverse system algebra associated to a finite projective plane has the Weak or Strong Lefschetz Property.

preprint2015arXiv

Stanley's nonunimodal Gorenstein h-vector is optimal

We classify all possible $h$ -vectors of graded artinian Gorenstein algebras in socle degree 4 and codimension $\leq 17$ , and in socle degree 5 and codimension $\leq 25$ . We obtain as a consequence that the least number of variables allowing the existence of a nonunimodal Gorenstein $h$ -vector is 13 for socle degree 4, and 17 for socle degree 5. In particular, the smallest nonunimodal Gorenstein $h$ -vector is $(1,13,12,13,1)$ , which was constructed by Stanley in his 1978 seminal paper on level algebras. This solves a long-standing open question in this area. All of our results are characteristic free.

preprint2014arXiv

Almost maximal growth of the Hilbert function

Let A = S/J be a standard artinian graded algebra over the polynomial ring S. A theorem of Macaulay dictates the possible growth of the Hilbert function of A from any degree to the next, and if this growth is the maximal possible then strong consequences have been given by Gotzmann. It can be phrased in terms of the base locus of the linear system defined by the relevant component(s) of J. If J is the artinian reduction of the ideal of a finite set of points in projective space then this maximal growth for A was shown by Bigatti, Geramita and the second author to imply strong geometric consequences for the points. We now suppose that the growth of the Hilbert function is one less than maximal. This again has (not as) strong consequences for the base locus defined by the relevant component. And when J is the artinian reduction of the ideal of a finite set of points in projective space, we prove that almost maximal growth again forces geometric consequences.

preprint2014arXiv

On the Weak Lefschetz Property for Artinian Gorenstein algebras of codimension three

We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studying geometric aspects of certain morphisms from $\mathbb P^2$ to $\mathbb P^3$ , and Hesse configurations in $\mathbb P^2$ .

preprint2013arXiv

On ideals with the Rees property

A homogeneous ideal $I$ of a polynomial ring $S$ is said to have the Rees property if, for any homogeneous ideal $J \subset S$ which contains $I$ , the number of generators of $J$ is smaller than or equal to that of $I$ . A homogeneous ideal $I \subset S$ is said to be $\mathfrak m$ -full if $\mathfrak mI:y=I$ for some $y \in \mathfrak m$ , where $\mathfrak m$ is the graded maximal ideal of $S$ . It was proved by one of the authors that $\mathfrak m$ -full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals which have the Rees property but are not $\mathfrak m$ -full in a polynomial ring with more than two variables. To prove this result, we also show that every Artinian monomial almost complete intersection in three variables has the Sperner property.

preprint2013arXiv

Pure O-sequences: known results, applications, and open problems

This note presents a discussion of the algebraic and combinatorial aspects of the theory of pure O-sequences. Various instances where pure O-sequences appear are described. Several open problems that deserve further investigation are also presented.

preprint2012arXiv

Glicci ideals

A central problem in liaison theory is to decide whether every arithmetically Cohen-Macaulay subscheme of projective $n$ -space can be linked by a finite number of arithmetically Gorenstein schemes to a complete intersection. We show that this can be indeed achieved if the given scheme is also generically Gorenstein and we allow the links to take place in an $(n+1)$ -dimensional projective space. For example, this result applies to all reduced arithmetically Cohen-Macaulay subschemes. We also show that every union of fat points in projective 3-space can be linked in the same space to a union of simple points in finitely many steps, and hence to a complete intersection in projective 4-space.

preprint2012arXiv

Numerical Macaulification

An unpublished example due to Joe Harris from 1983 (or earlier) gave two smooth space curves with the same Hilbert function, but one of the curves was arithmetically Cohen-Macaulay (ACM) and the other was not. Starting with an arbitrary homogeneous ideal in any number of variables, we give two constructions, each of which produces, in a finite number of steps, an ideal with the Hilbert function of a codimension two ACM subscheme. We call the subscheme associated to such an ideal "numerically ACM." We study the connections between these two constructions, and in particular show that they produce ideals with the same Hilbert function. We call the resulting ideal from either construction a "numerical Macaulification" of the original ideal. Specializing to the case where the ideals are unmixed of codimension two, we show that (a) every even liaison class, $\mathcal L$ , contains numerically ACM subschemes, (b) the subset, $\mathcal M$ , of numerically ACM subschemes in $\mathcal L$ has, by itself, a Lazarsfeld-Rao structure, and (c) the numerical Macaulification of a minimal element of $\mathcal L$ is a minimal element of $\mathcal M$ . Finally, if we further restrict to curves in $\mathbb P^3$ , we show that the even liaison class of curves with Hartshorne-Rao module concentrated in one degree and having dimension $n$ contains smooth, numerically ACM curves, for all $n \geq 1$ . The first (and smallest) such example is that of Harris. A consequence of our results is that the knowledge of the Hilbert function of an integral curve alone is not enough to decide whether it contains zero-dimensional arithmetically Gorenstein subschemes of arbitrarily large degree.

preprint2011arXiv

A tour of the Weak and Strong Lefschetz Properties

An artinian graded algebra, $A$ , is said to have the Weak Lefschetz property (WLP) if multiplication by a general linear form has maximal rank in every degree. A vast quantity of work has been done studying and applying this property, touching on numerous and diverse areas of algebraic geometry, commutative algebra, and combinatorics. Amazingly, though, much of this work has a "common ancestor" in a theorem originally due to Stanley, although subsequently reproved by others. In this expository paper we describe the different directions in which research has moved starting with this theorem, and we discuss some of the open questions that continue to motivate current research.

preprint2011arXiv

Gorenstein algebras presented by quadrics

We establish restrictions on the Hilbert function of standard graded Gorenstein algebras with only quadratic relations. Furthermore, we pose some intriguing conjectures and provide evidence for them by proving them in some cases using a number of different techniques, including liaison theory and generic initial ideals.

preprint2010arXiv

Determinantal representation and subschemes of general plane curves

Let $M = (m_{ij})$ be an $n \times n$ square matrix of integers. For our purposes, we can assume without loss of generality that $M$ is homogeneous and that the entries are non-increasing going leftward and downward. Let $d$ be the sum of the entries on either diagonal. We give a complete characterization of which such matrices have the property that a general form of degree $d$ in $\mathbb C[x_0,x_1,x_2]$ can be written as the determinant of a matrix of forms $(f_{ij})$ with $°f_{ij} = m_{ij}$ (of course $f_{ij} = 0$ if $m_{ij} < 0$ ). As a consequence, we answer the related question of which $(n-1) \times n$ matrices $Q$ of integers have the property that a general plane curve of degree $d$ contains a zero-dimensional subscheme whose degree Hilbert-Burch matrix is $Q$ . This leads to an algorithmic method to determine properties of linear series contained in general plane curves.

preprint2010arXiv

On the Weak Lefschetz Property for Powers of Linear Forms

In a recent paper, Schenck and Seceleanu showed that in three variables, any ideal generated by powers of linear forms has the Weak Lefschetz Property (WLP). This result contrasts with examples, in our previous work, of ideals in four variables generated by powers of linear forms which fail the WLP. Set $R:=k[x_1,\dots,x_r]$ . Assume $1< a_1 \leq \dots \leq a_{r+1}$ . In this paper, we concentrate our attention on almost complete intersection ideals $I = \langle L_1^{a_1}, \dots ,L_r^{a_r},L_{r+1}^{a_{r+1}} \rangle \subset R$ generated by powers of general linear forms $L_{i}$ . Our approach is via the connection (thanks to Macaulay duality) to fat point ideals, together with a reduction to a smaller projective space. When $r=4$ we give an almost complete description of when such ideals have the WLP, leaving open only one case. When $r=5$ we solve the problem when $a_1 = \cdots = a_5 \leq a_6$ . When $r \geq 6$ is even we solve the problem for uniform powers $a_1 = \cdots = a_{r+1} = d$ ; an asympotic version of this latter result was proven by Harbourne, Schenck and Seceleanu (see their simultaneous submission). As a special case, we prove half of their Conjecure 5.5.2, which deals with the case $d=2$ . Other examples are analyzed, most notably when $r=7$ , and we end up with a conjecture which says that if the number of variables $r \geq 9$ is odd and all powers have the same degree, say $d$ , then the WLP fails for all $d>1$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Juan Migliore

Research overview

Is this your work?

19 publications

Configurations of points in projective space and their projections

The ACM property for unions of lines in $\mathbb P^1 \times \mathbb P^2$

Expecting the unexpected: quantifying the persistence of unexpected hypersurfaces

Sets of points which project to complete intersections

Symbolic powers of codimension two Cohen-Macaulay ideals

On the strong Lefschetz question for uniform powers of general linear forms in $k[x,y,z]$

The non-Lefschetz locus

An algebraic approach to finite projective planes

Stanley's nonunimodal Gorenstein h-vector is optimal

Almost maximal growth of the Hilbert function

On the Weak Lefschetz Property for Artinian Gorenstein algebras of codimension three

On ideals with the Rees property

Pure O-sequences: known results, applications, and open problems

Glicci ideals

Numerical Macaulification

A tour of the Weak and Strong Lefschetz Properties

Gorenstein algebras presented by quadrics

Determinantal representation and subschemes of general plane curves

On the Weak Lefschetz Property for Powers of Linear Forms

See the researcher in context

Building this map preview

Juan Migliore

Research overview

Is this your work?

19 publications

Configurations of points in projective space and their projections

The ACM property for unions of lines in P1×P2\mathbb P^1 \times \mathbb P^2P1×P2

Expecting the unexpected: quantifying the persistence of unexpected hypersurfaces

Sets of points which project to complete intersections

Symbolic powers of codimension two Cohen-Macaulay ideals

On the strong Lefschetz question for uniform powers of general linear forms in k[x,y,z]k[x,y,z]k[x,y,z]

The non-Lefschetz locus

An algebraic approach to finite projective planes

Stanley's nonunimodal Gorenstein h-vector is optimal

Almost maximal growth of the Hilbert function

On the Weak Lefschetz Property for Artinian Gorenstein algebras of codimension three

On ideals with the Rees property

Pure O-sequences: known results, applications, and open problems

Glicci ideals

Numerical Macaulification

A tour of the Weak and Strong Lefschetz Properties

Gorenstein algebras presented by quadrics

Determinantal representation and subschemes of general plane curves

On the Weak Lefschetz Property for Powers of Linear Forms

See the researcher in context

Building this map preview

The ACM property for unions of lines in $\mathbb P^1 \times \mathbb P^2$

On the strong Lefschetz question for uniform powers of general linear forms in $k[x,y,z]$