Koszulness conjecture for the residual tetragonal canonical algebra

From papers

Let CC be a non-hyperelliptic curve with a base-point free tetragonal system TT, presented as a complete intersection on a three-dimensional rational normal scroll as in the preceding proposition, with integers a,ba,b satisfying a+b=g5a+b=g-5. Assume KC(T)K_C(-T) is projectively normal, and let RKC(T)R_{K_C(-T)} denote its homogeneous coordinate algebra. Koszulness conjecture. If a,b2a,b\geq 2, then

RKC(T)R_{K_C(-T)}

is Koszul. The claim is motivated by the fact that RKC(T)R_{K_C(-T)} is quadratic exactly when a,b2a,b\geq2; the source notes that it is known when a=2a=2 or b=2b=2, and explains that this proves the cases g=9,10g=9,10, while the general case remains open.

Progress summary

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

Sources & referencesView supporting material

Primary source

A. Polishchuk, “On Koszul property of the homogeneous coordinate ring of a curve”, arXiv:alg-geom/9312004 (1994).

Solutions 0

No solutions have been posted yet.