Koszulness conjecture for the residual tetragonal canonical algebra
Let be a non-hyperelliptic curve with a base-point free tetragonal system , presented as a complete intersection on a three-dimensional rational normal scroll as in the preceding proposition, with integers satisfying . Assume is projectively normal, and let denote its homogeneous coordinate algebra. Koszulness conjecture. If , then
is Koszul. The claim is motivated by the fact that is quadratic exactly when ; the source notes that it is known when or , and explains that this proves the cases , while the general case remains open.
References
Primary source
A. Polishchuk, “On Koszul property of the homogeneous coordinate ring of a curve”, arXiv:alg-geom/9312004 (1994).
Progress summary
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.