Koszulness conjecture for the residual tetragonal canonical algebra

At least 32 years old · documented by

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=g−5a+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,b≥2a,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,b≥2a,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.

References

Primary source

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

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.