Subcanonical points on projective curves and triply periodic minimal surfaces in the Euclidean space (Q2339679): Difference between revisions

Let \(C\) be a smooth complex projective curve of genus \(g\). A point \(p \in C\) is subcanonical if the line bundle \(\mathcal{O}_C ((2g-2)p)\) is isomorphic to the canonical bundle \(\omega_C\). Those points are thence Weierstrass. If \(\mathcal{M}_{g,1}\) is the moduli space of pointed curves of genus \(g\), \(\mathcal{G}_g \subset \mathcal{M}_{g,1}\) is the subcanonical locus, described by pairs \((C,p)\) where \(p\) is a subcanonical point of \(C\). Then \(\mathcal{G}_g\) consists of three irreducible components, \(\mathcal{G}_g^{\text{hyp}}\), \(\mathcal{G}_g^{\text{odd}}\) and \(\mathcal{G}_g^{\text{even}}\). The last two components correspond to non-hyperelliptic curves \(C\) such that \(h^0 (C,(g-1)p)\) is odd and even, respectively. The paper under review is devoted to study the dimension and irreducibility of subsets of \(\mathcal{G}_g^{\text{odd}}\) and \(\mathcal{G}_g^{\text{even}}\). In particular, the authors consider the subloci of \(\mathcal{M}_{g,1}\), \(\mathcal{G}_g^r\), consisting of non-hyperelliptic curves \(C\) such that \(h^0 (C,(g-1)p)\) is \(\geq r+1\) and \(\equiv r+1\) (mod 2). They obtain a general lower bound for the dimension of the irreducible components of \(\mathcal{G}_g ^r\) which they prove to be sharp for \(r \leq 3\). They conclude by applying the results in case \(r=2\) to prove an existence result of triply periodic minimal Riemann surfaces in the Euclidean space \(\mathbb{R}^3\).