The relative canonical ideal of the Kummer-Artin Schreier-Witt family of curves (Q6040272)

Let \(X\) be a projective, non-singular, non-hyperelliptic curve of genus at least 3 over an algebraically closed field \(k\). Then the canonical map \(\mathrm{Sym}(H^0(X, \Omega_{X/k})) \rightarrow \bigoplus_{n \ge 0} H^0(X, \Omega_{X/k}^{\otimes n})\) is surjective by Petri's Theorem and its kernel is called the canonical ideal. Determining explicit generators for this ideal is a natural problem which has been considered by many authors, for example in other papers by the authors of the paper under review, and see end of Section~1.1. The goal of the paper under review is to solve the analogous problem for the particular relative curve (defined over a certain complete local ring) constructed by \textit{J. Bertin} and \textit{A. Mézard} in Section 4.3 of [Invent. Math. 141, No. 1, 195--238 (2000; Zbl 0993.14014)] and whose special and generic fibres are an Artin-Schreier cover and a Kummer cover of the projective line, respectively. The setup in Section~3 however needs to be amended inasmuch the special fibre is not the curve \(\mathcal{X}_0\) but the curve \(X_0\) given by the equation \(X^p-X=x^{l-q}\). This entails further changes in Section~5. The paper builds on [\textit{S. Karanikolopoulos} and \textit{A. Kontogeorgis}, Proc. Am. Math. Soc. 142, No. 7, 2369--2383 (2014; Zbl 1323.14020)].