Castelnuovo-Mumford regularity bound for log canonical projective schemes

Let R=k[x0,,xn]R=k[x_0,\ldots,x_n], and let I=(f1,,ft)I=(f_1,\ldots,f_t) be a homogeneous ideal generated in degrees d1d2dt1d_1\geq d_2\geq \cdots\geq d_t\geq 1, of codimension rr. Set X=ProjR/IX=\operatorname{Proj} R/I, and assume that, except for some isolated points, XX is local complete intersection log canonical and dimX1\dim X\geq 1. Regularity-bound conjecture. Then

regR/I(dimX+1)!(i=1rdir).\operatorname{reg} R/I\leq (\dim X+1)!\left(\sum_{i=1}^{r}d_i-r\right).

The conjecture proposes a sharper Castelnuovo-Mumford regularity bound under weaker assumptions allowing isolated non-log-canonical points; the paper explains that its method does not establish the required singularity statement for the residual intersection.

Sources & referencesView supporting material

Primary source

Wenbo Niu, “A Bound for the Castelnuovo-Mumford Regularity of Log Canonical Varieties”, arXiv:0912.3311 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.