Koszulness conjecture for the residual tetragonal canonical algebra
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.
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
Sign in to submit a solution.
No solutions have been posted yet.