Castelnuovo-Mumford regularity bound for log canonical projective schemes

At least 16 years old · documented by

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 d1≥d2≥⋯≥dt≥1d_1\geq d_2\geq \cdots\geq d_t\geq 1, of codimension rr. Set X=Proj⁡R/IX=\operatorname{Proj} R/I, and assume that, except for some isolated points, XX is local complete intersection log canonical and dim⁡X≥1\dim X\geq 1. Regularity-bound conjecture. Then

reg⁡R/I≤(dim⁡X+1)!(∑i=1rdi−r).\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.

References

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.