[Paper Review] A result on resolutions of Veronese embeddings

Elena Rubei|ArXiv.org|Sep 5, 2003

Commutative Algebra and Its Applications14 references3 citations

TL;DR

This paper establishes that the line bundle $\mathcal{O}_{\mathbb{P}^n}(3)$ satisfies Green-Lazarsfeld's Property $N_4$ for all $n \geq 1$, resolving a key open case in syzygy theory for Veronese embeddings. It further proves a reduction principle: $\mathcal{O}_{\mathbb{P}^n}(d)$ satisfies $N_p$ for all $n \geq p$ if and only if $\mathcal{O}_{\mathbb{P}^p}(d)$ satisfies $N_p$, simplifying the study of higher syzygies in this context.

ABSTRACT

This paper deals with syzygies of the ideals of the Veronese embeddings. We prove that O(3) on P^n satisfies Property N_4 for every n. Besides we prove that O(d) on P^n satisfies N_p for all n >= p iff O(d) on P^p satisfies N_p.

Motivation & Objective

• To resolve an open case in syzygy theory for Veronese embeddings, specifically the behavior of $\mathcal{O}_{\mathbb{P}^n}(3)$ with respect to Property $N_p$ for $p=4$.
• To address the conjecture by Ottaviani-Paoletti that $\mathcal{O}_{\mathbb{P}^n}(d)$ satisfies $N_p$ if and only if $p < 3d - 2$, by proving the case $d=3$, $p=4$.
• To establish a general reduction principle for verifying $N_p$-property across dimensions, reducing the problem from $\mathbb{P}^n$ to $\mathbb{P}^p$.

Proposed method

• Uses the characterization of Property $N_p$ via vanishing of Tor modules: $\operatorname{Tor}^{S(L)}_p(G(L), \mathbb{C})_{p+q} = 0$ for all $q \geq 2$.
• Analyzes the Koszul complex associated to the syzygy module of $\mathcal{O}_{\mathbb{P}^n}(3)$, focusing on the homology of the complex $\wedge^{p+1} \operatorname{Sym}^3 V \otimes \operatorname{Sym}^{(q-1)3} V \to \wedge^p \operatorname{Sym}^3 V \otimes \operatorname{Sym}^{q3} V \to \cdots$
• Applies representation theory of $GL(V)$, expressing homology groups as $GL(V)$-modules and analyzing irreducible components via Young diagrams with at most $p+1$ rows.
• Employs combinatorial techniques on chains and simplices in simplicial complexes $\Delta_\beta$, particularly using $UFO^{i}_{t,5}$ chains and homological reduction via boundary operators.
• Uses induction and chain extension arguments, showing that if a cycle $\gamma$ is homologous to zero in a larger complex, it remains so after shifting indices, via construction of homologous chains in $\Delta_{\beta - e_r + e_s}$.
• Leverages Littlewood-Richardson rules to decompose tensor products of symmetric powers and analyze irreducible representations in the syzygy modules.

Experimental results

Research questions

• RQ1 Does $\mathcal{O}_{\mathbb{P}^n}(3)$ satisfy Property $N_4$ for all $n \geq 1$?
• RQ2 Can the verification of $N_p$-property for $\mathcal{O}_{\mathbb{P}^n}(d)$ be reduced to the case $n = p$?
• RQ3 What is the precise range of $p$ for which $\mathcal{O}_{\mathbb{P}^n}(d)$ satisfies $N_p$ when $d=3$ and $n \geq 3$, particularly in the gap $p < 3d - 2 = 7$?
• RQ4 How do homological properties of the Koszul complex for Veronese embeddings behave under dimension reduction?

Key findings

• The line bundle $\mathcal{O}_{\mathbb{P}^n}(3)$ satisfies Property $N_4$ for all $n \geq 1$, confirming the conjecture of Ottaviani-Paoletti in this specific case.
• The paper proves that $\mathcal{O}_{\mathbb{P}^n}(d)$ satisfies $N_p$ for all $n \geq p$ if and only if $\mathcal{O}_{\mathbb{P}^p}(d)$ satisfies $N_p$, providing a powerful reduction tool.
• The homology groups $\operatorname{Tor}^{S(L)}_p(G(L), \mathbb{C})_{p+q}$ are shown to be $GL(V)$-modules whose irreducible components have at most $p+1$ rows in their Young diagrams.
• For $d=3$, the case $p=4$ lies strictly within the conjectured range $p < 3d - 2 = 7$, and the result confirms that $N_4$ holds, while $N_6$ fails by Ottaviani-Paoletti’s theorem.
• The proof relies on constructing homologous chains in shifted simplicial complexes $\Delta_{\beta + e_l - e_r}$, showing that certain boundary operators vanish homologically.
• The reduction result allows one to verify $N_p$-property on $\mathbb{P}^p$ instead of higher-dimensional projective spaces, significantly simplifying the analysis.