Abstract:In this paper, we study minimal generators of the (saturated) defining ideal of $\sigma_k(v_d(\mathbb{P}^n))$ in $\mathbb{P}^{N}$ with ${N=\binom{n+d}{d}-1}$, the $k$-secant variety of $d$-uple Veronese embedding of projective $n$-space, of a relatively small degree. We first show that the prime ideal $I(\sigma_4(v_3(\mathbb{P}^3)))$ can be minimally generated by 36 homogeneous polynomials of degree $5$. It implies that $\sigma_4(v_3(\mathbb{P}^3)) \subset \mathbb{P}^{19}$ is a del Pezzo $4$-secant variety (i.e., $\mathrm{deg}(\sigma_4(v_3(\mathbb{P}^3))) = 105$ and the sectional genus $\pi(\sigma_4(v_3(\mathbb{P}^3))) = 316$) and provides a new example of an arithmetically Gorenstein variety of codimension $4$. As an application, we decide non-singularity of a certain locus in $\sigma_4(v_3(\mathbb{P}^3))$. By inheritance, generators of $I(\sigma_4(v_3(\mathbb{P}^n)))$ are also obtained for any $n \geq 3$. We also propose a procedure to compute the first non-trivial degree piece $I(\sigma_k(v_d(\mathbb{P}^n)))_{k+1}$ for a general $k$-th secant case, in terms of prolongation and weight space decomposition, based on the method used for $\sigma_4(v_3(\mathbb{P}^3))$ and treat a few more cases of $k$-secant varieties of the Veronese embedding of a relatively small degree in the end.

A Groebner basis for the secant ideal of the second hypersimplex

Combinatorial secant varieties

Toric Sylvester forms

Groebner fan and embedded resolutions of ideals on toric varieties

Gröbner bases of simplicial toric ideals

Secant variety and syzygies of Hilbert scheme of two points

On the prime ideals of higher secant varieties of Veronese embeddings of small degrees

Self-dual projective toric varieties and their ideals

Secant varieties of toric varieties arising from simplicial complexes

Constructing a Gröbner basis of Griffin's ideal

On the universal Gröbner bases of toric ideals of graphs

Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases

On the Structure of Second Jacobian Ideals

Gröbner geometry for regular nilpotent Hessenberg Schubert cells

$(m+2)$-secants and the minimal cohomological class

Partially symmetric tensors and the non-defectivity of secant varieties of products with a projective line as a factor

Groebner bases of symmetric ideals

Gröbner bases of ideals cogenerated by Pfaffians

Singularities of secant varieties from a Hodge theoretic perspective

Syzygies of Curves in Products of Projective Spaces

Arithmetic properties of the first secant variety to a projective variety