arXiv++ Combinatorics

We construct finite geproci sets in every projective dimension and in every positive characteristic by introducing $\mathbb{F}_N$-Artin-Schreier configurations. In $\mathbb{P}^3$, we characterize exactly when such configurations are geproci: an $\mathbb{F}_N$-Artin-Schreier configuration on $q$ lines spanning $\mathbb{P}^3$ is $(q,N)$-geproci if and only if $q\leq N$. We then develop a lifting construction which produces geproci sets in $\mathbb{P}^n$ for every $n\geq 3$.

In this note we introduce the notion of $(b,d)$-geprofi sets and study their basic properties. These are sets of $bd$ points in $\mathbb{P}^4$ whose projection from a general point to a hyperplane is a full intersection, i.e., the intersection of a curve of degree $b$ and a surface of degree $d$. We show that such nontrivial sets exist if and only if $b\geq 4$ and $d\geq 2$. Somewhat surprisingly, for infinitely many values of $b$ and $d$ there exist such sets in linear general position. The note contains open questions and problems.

The purpose of this work is to pursue classification of geproci sets. Specifically we classify $[m,n]$-geproci sets which consist of $m=4$ points on each of $n$ skew lines, assuming the skew lines have two transversals in common. We show that in this case $n\leq 6$. Moreover we show that all geproci sets of this type are contained in the \emph{standard construction} for $m=4$ introduced in arXiv:2209.04820. Finally, we propose a conjectural representation for all geproci sets of this type, irrespective of the number $m$ of points on each skew line.

This article introduces a previously unrecognized combinatorial structure underlying configurations of skew lines in $\mathbb{P}^3$, and reveals its deep and surprising connection to the algebro-geometric concept of geproci sets. Given any field $\mathbb{K}$ and a finite set $\mathcal L$ of 3 or more skew lines in $\mathbb{P}^3_\mathbb{K}$, we associate to it a group $G_{\mathcal L}$ and a groupoid $C_{\mathcal L}$ whose action on the union $\cup_{L\in\mathcal L}L$ provides orbits which have a rich combinatorial structure. We characterize when $G_{\mathcal L}$ is abelian and give partial results on its finiteness. The notion of \emph{collinearly complete} subsets is introduced and shown to correspond exactly to unions of groupoid orbits. In the case where $\mathbb{K}$ is a finite field and $\mathcal L$ is a full spread in $\mathbb{P}^3_\mathbb{K}$ (i.e., every point of $\mathbb{P}^3_\mathbb{K}$ lies on a line in $\mathcal{L}$), we prove that $G_{\mathcal L}$ being abelian characterizes the classical spread given by the fibers of the Hopf fibration. Over any algebraically closed field, we establish that finite unions of $C_{\mathcal L}$-orbits are geproci sets - that is, finite sets whose general projections to a plane are complete intersections. Furthermore, we prove a converse: if $\mathbb{K}$ is algebraically closed and $Z \subset \mathbb{P}^3_\mathbb{K}$ is a geproci set consisting of $m$ points on each of $s \geq 3$ skew lines $\mathcal L$ where the general projection of $Z$ is a complete intersection of type $(m, s)$, then $Z$ is a finite union of orbits of $C_{\mathcal L}$. This work thus uncovers a profound combinatorial framework governing geproci sets, providing a new bridge between incidence combinatorics and algebraic geometry.

In this short note we develop new methods toward the ultimate goal of classifying geproci sets in $\mathbb P^3$. We apply these methods to show that among sets of $16$ points distributed evenly on $4$ skew lines, up to projective equivalence there are only two distinct geproci sets. We give different geometric distinctions between these sets. The methods we develop here can be applied in a more general set-up; this is the context of the follow-up work arXiv:2308.00761.

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.

Given a homogeneous ideal $I \subseteq k[x_0,\dots,x_n]$, the Containment problem studies the relation between symbolic and regular powers of $I$, that is, it asks for which pair $m, r \in \mathbb{N}$, $I^{(m)} \subseteq I^r$ holds. In the last years, several conjectures have been posed on this problem, creating an active area of current interests and ongoing investigations. In this paper, we investigated the Stable Harbourne Conjecture and the Stable Harbourne -- Huneke Conjecture and we show that they hold for the defining ideal of a Complement of a Steiner configuration of points in $\mathbb{P}^{n}_{k}$. We can also show that the ideal of a Complement of a Steiner Configuration of points has expected resurgence, that is, its resurgence is strictly less than its big height, and it also satisfies Chudnovsky and Demailly's Conjectures. Moreover, given a hypergraph $H$, we also study the relation between its colourability and the failure of the containment problem for the cover ideal associated to $H$. We apply these results in the case that $H$ is a Steiner System.

The aim of this paper is to make a connection between design theory and algebraic geometry/commutative algebra. In particular, given any Steiner System $S(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 configuration of points and its Complement.

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$.

The aim of this paper is to study the associated primes of powers of squarefree monomial ideals. Hypergraphs and squarefree monomial ideals are strongly connected. The cover ideal $J(H)$ of a hypergraph $H$ is the intersection of the primes corresponding to the edges of $H$. We define the $shadow$ of $H$ as a certain set of smaller hypergraphs related to $H$. We then describe how the shadows of $H$ preserve information about the associated primes of the powers of $J(H)$. Some implications to the persistence property are studied.