Explicit Brill-Noether-Petri general curves (Q329435)

The Brill-Noether-Petri theory governs the behavior of line bundles on algebraic curves. In the last three decades there have been a number of proofs for the Brill-Noether theorem and Petri theorem, using degeneration [\textit{D. Eisenbud} and \textit{J. Harris}, Invent. Math. 74, 269--280 (1983; Zbl 0533.14012); \textit{D. Gieseker}, Invent. Math. 66, 251--275 (1982; Zbl 0522.14015); \textit{P. Griffiths} and \textit{J. Harris}, Duke Math. J. 47, 233--272 (1980; Zbl 0446.14011)], curves on \(K3\) surfaces [\textit{R. Lazarsfeld}, J. Differ. Geom. 23, 299--307 (1986; Zbl 0608.14026)], or tropical geometry [\textit{F. Cools} et al., Adv. Math. 230, No. 2, 759--776 (2012; Zbl 1325.14080); \textit{D. Jensen} and \textit{S. Payne}, Algebra Number Theory 8, No. 9, 2043--2066 (2014; Zbl 1317.14139)]. In this paper, the authors study du Val curves on the blowup of \(\mathbb P^2\) which arise from a plane curve of degree \(3g\) having a \(g\)-tuple point at eight points, a \((g-1)\)-tuple at another point, and no other singularities. They show that a general such curve is a Brill-Noether-Petri general curve of genus \(g\). The authors provide two proofs. The first one uses \textit{M. Nagata}'s results [Mem. Coll. Sci., Univ. Kyoto, Ser. A 33, 271--293 (1960; Zbl 0100.16801)] and the second one uses \textit{D. Eisenbud} and \textit{J. Harris}' limit linear series [Invent. Math. 74, 269--280 (1983; Zbl 0533.14012)]. As a consequence, the authors give explicitly smooth Brill-Noether-Petri general curves of genus \(g\) defined over \(\mathbb Q\) for every \(g\).