Abstract:Geproci sets of points in $\mathbb P^3$ are sets whose general projections to $\mathbb P^2$ are complete intersections. The first nontrivial geproci sets came from representation theory, as projectivizations of the root systems $D_4$ and $F_4$. In most currently known cases geproci sets lie on very special unions of skew lines and are known as half grids. For this important class of geproci sets we establish fundamental connections with combinatorics, which we study using methods of algebraic geometry and commutative algebra. As a motivation for studying them, we first prove Theorem A: for a nondegenerate $(a,b)$-geproci set $Z$ with $d$ being the least degree of a space curve $C$ containing $Z$, that if $d\leq b$, then $C$ is a union of skew lines and $Z$ is either a grid or a half grid. We next formulate a combinatorial version of the geproci property for half grids and prove Theorem B: combinatorial half grids are geproci in the case of sets of $a$ points on each of $b$ skew lines when $a\geq b-1\geq 3$. We then introduce a notion of combinatorics for skew lines and apply it to the classification of single orbit combinatorial half grids of $m$ points on each of 4 lines. We apply these results to prove Theorem C, showing, when $n\gg m$, that half grids of $m$ points on $n$ lines with two transversals must be very special geometrically (if they even exist). Moreover, in the case of skew lines having two transversals, our results provide an algorithm for enumerating their projective equivalence classes. We conjecture there are $(m^2-1)/12$ equivalence classes of combinatorial $[m,4]$-half grids in the two transversal case when $m>2$ is prime.

On rich lines in grids

Covering grids with multiplicity

On Lines, Joints, and Incidences in Three Dimensions

p-adic integrals and linearly dependent points on families of curves I

On cliques in three-dimensional dense point-line arrangements

Long lines in subsets of large measure in high dimension

An Elekes-Rónyai theorem for sets with few products

An asymmetric version of Elekes-Szabó via group actions

Equiangular lines via matrix projection

Two Formulas for the Number of Lines on Complex Projective Hypersurfaces

Discrepancy of arithmetic progressions in grids

No weak epsilon nets for lines and convex sets in space

On $r$-Equichromatic Lines with few points in $\mathbb{C}^2$

On the number of hyperedges in the hypergraph of lines and pseudo-discs

A new approach to the results of Kövari, Sós, and Turán concerning rectangle-free subsets of the grid

Shadow lines in the arithmetic of elliptic curves

Geproci sets and the combinatorics of skew lines in $\mathbb P^3$

Grid Minors and Products

How much can heavy lines cover?

Lines on –Quartics Via Triangular Sets

Covering points by hyperplanes and related problems