Researcher profile

Juan Migliore

Juan Migliore contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

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.