A bound for Castelnuovo-Mumford regularity by double point divisors (Q2302234)

Let \(X\subseteq\mathbb{P}^r\) be a smooth non-degenerate embedded projective variety over an algebraically closed field of characteristic zero. \(X\subseteq\mathbb{P}^r\) is said \(k\)-normal if the restriction to \(X\) of hypersurfaces of \(\mathbb{P}^r\) of degree \(k\) gives a surjection onto the global sections of \(\mathcal{O}_X(kH)\). Denote by \(\mathrm{reg}(\mathcal{O}_X)\) the minimum \(k\) such that \(\mathcal{O}_X\) is \(k\)-regular, i.e., \(H^i(X,\mathcal{O}_X((k-i)H))=0\) for \(i>0\), and by \(\mathrm{reg}(X)\) the minimum \(k+1\) such that \(X \subseteq\mathbb{P}^r\) is \(k\)-normal and \(\mathcal{O}_X\) is \(k\)-regular. An important conjecture on \(\mathrm{reg}(X)\) is the Eisenbud-Goto Regularity Conjecture (see the Introduction of the paper and references therein) which states that \(\mathrm{reg}(X)\) is less than or equal to 1 plus the degree \(d\) of \(X\subseteq\mathbb{P}^r\) minus its codimension \(e\). This conjecture splits into two parts: (1) \(X\subseteq\mathbb{P}^r\) is \((d-e)\)-normal, and (2) \(\mathrm{reg}(\mathcal{O}_X)\leq d-e\). The first results of the paper (see Theorems (A) and (B)) focus on (2), that is on bounding \(\mathrm{reg}(\mathcal{O}_X)\). In Theorem (A), it is bounded by 1 plus the delta genus \(\Delta(X,H):=H^{\dim(X)} +\dim(X)-h^0(X,\mathcal{O}_X(H))\). In Theorem (B) reg\((\mathcal{O}_X) \leq d-e\) and varieties for which \(\mathrm{reg}(\mathcal{O}_X)=d-e-i\), \(i=0,1\) are classified. The second results (see Theorems (C) and (D)) focus on bounding \(\mathrm{reg}(X)\), improving some known bounds, towards the Eisenbud-Goto conjecture. In Theorem (C) the bound \(\mathrm{reg}(X)\leq n(d-2)+1\) for \(e\geq 2\) is shown. In Theorem (D) it is proved that \(\mathrm{reg}(X)\leq d-1+m\), where \(m\) is an invariant arising from double point divisors associated to outer general linear projections. Under suitable assumption, the use of inner projections improves this latter bound (see Theorem (E)).