Gorenstein points in \(\mathbb{P}^3\) via Hadamard products of projective varieties (Q6165271)

The study of Hadamard products of projective varieties is a relatively new topic, and new applications are constantly emerging. In this paper the authors use them to construct arithmetically Gorenstein sets of points in projective 3-space. Given two points \(p = [p_0: p_1: \dots : p_n]\), \(q = [q_0, q_1,\dots,q_n]\) \(\in \mathbb P^n\), the Hadamard product of \(p\) and \(q\) is \[ p \star q = [p_0 q_0 : p_1 q_1 : \dots : p_n q_n] \] as long as at least one of the entries is not zero. Given two varieties \(X, Y\) in \(\mathbb P^n\), the Hadamard product \(X \star Y\) is defined as the closure of the union of the Hadamard products of the points of \(X\) and \(Y\) where this pointwise product is defined. The authors show how to obtain stick figures (certain unions of lines with ``nice'' properties) using Hadamard products. This can be done while keeping control of the coordinates of the points on the lines. Then using a method of Migliore and Nagel, the authors show how to link such a stick figure to another stick figure, and obtain a reduced set of points via the sum of the linked ideals, so that the resulting set of points is arithmetically Gorenstein. Again, they do this in a way that they can keep track of the coordinates.