zbMATH — the first resource for mathematics

Double coverings of curves and non-Weierstrass semigroups. (English) Zbl 1270.14014
Let \(X\) be a (non-singular, projective, irreducible, algebraic) curve defined over an algebraically closed field of characteristic zero, and let \(P\in X\). The Weierstrass semigroup \(H(P)\) of \(X\) at \(P\) is the set of poles of regular function on \(X\setminus\{P\}\). Thus \(H(P)\) is indeed a subsemigroup of the additive semigroup \(\mathbb N_0\) such that \(\#(\mathbb N_0\setminus H(P)\) equals the genus of \(X\) (The Weierstrass gap theorem).
Let \(H\) be a subsemigroup of \((\mathbb N_0,+)\) which is named numerical provided that \(G(H):=\mathbb N_0\setminus H)\) is finite; the genus of \(H\) is \(\#G(H)\). The subject matter addressed in the paper under review is related to the following question posed by Hurwitz around 1892 [A. Hurwitz, Math. Ann. XLI, 403–442 (1893; JFM 24.0380.02)]: Is any numerical semigroup \(H\) equal to the Weierstrass semigroup at some point of a curve? If this is so, \(H\) is called Weierstrass. The answer to this question is in general negative as R.-O. Buchweitz pointed out around 1980 [Lect. Notes Math. 777, 205–220 (1980; Zbl 0428.32016)]. He observed the following by considering elements of \(G(H)\). For an integer \(m\geq 2\), let \(G_m(H)\) be the set of all sums of \(m\) elements of \(G(H)\). Thus if \(H\) of genus \(g\) were Weierstrass, then \(\#G_m(H)\leq (2m-1)(g-1)\, (*)\), the dimension of a \(m\)-pluricanonical divisor of a curve of genus \(g\). In fact, Buchweitz constructed non-Weierstrass semigroups by contradicting condition \((*)\); see also [J. Komeda, Semigroup Forum 57, No. 2, 157–185 (1998; Zbl 0922.14022)]. The least genus of Buchweitz’s examples is \(g=16\). Numerical semigroups of genus at most eight are always Weierstrass; see [J. Komeda and A. Ohbuchi, Bull. Braz. Math. Soc. (N.S.) 39, No. 1, 109–121 (2008; Zbl 1133.14307)] and the references therein. Let \(\ell_g=\ell_g(H)\) be the biggest element of \(G(H)\). By the semigroup property, \(\ell_g\leq 2g-1\). If \(\ell_g\geq 2g-4\), then condition \((*)\) is always true for any numerical semigroup; cf. [G. Oliveira, Semigroup Forum 69, No. 3, 423–430 (2004; Zbl 1076.20052)] and the references therein. However, non-Weierstrass numerical semigroups with \(\ell_g\geq 2g-4\) do exist: G. Oliveira and K.-O. Stöhr [Geom. Dedicata 67, No. 1, 45–63 (1997; Zbl 0904.14018)], F. Torres [Commun. Algebra 23, No. 11, 4211–4228 (1995; Zbl 0842.14023)]; see also N. Medeiros [J. Pure Appl. Algebra 170, No. 2–3, 267–285 (2002; Zbl 1039.14015)]. The basic tool in constructing such non-Weierstrass semigroups is the use of certain covering of curves and Buchweitz’s examples as a building block (Stöhr).
On the other hand, let \(m(H)\) be the first positive element of a numerical semigroup \(H\). If \(m(H)\leq 5\), \(H\) is always Weierstrass; see [J. Komeda, Manuscripta. Math. 76, No. 2, 193–211 (1992; Zbl 0770.30038)] and the references therein. There exist non-Weierstrass semigroups \(H\) whenever \(m(H)\geq 13\) (e.g. Buchweitz, loc. cit.). In the article under review, the author constructs examples of non-Weierstrass semigroups \(H\) with \(m(H)=8\) and with \(m(H)=12\). To explain his method, for a numerical semigroup \(\tilde H\) let us consider the associated numerical semigroup \(d_2(\tilde H):=\{h/2: \text{}h\) is even

14H55 Riemann surfaces; Weierstrass points; gap sequences
14H30 Coverings of curves, fundamental group
20M14 Commutative semigroups
Full Text: DOI
[1] Buchweitz , R. O. ( 1980 ). On Zariski’s criterion for equisingularity and non-smoothable monomial curves. Preprint 113, University of Hannover .
[2] Coppens M., Indag. Math. 47 pp 245– (1985)
[3] Coppens M., J. Pure Appl. Algebra 43 pp 11– (1986) · Zbl 0616.14012 · doi:10.1016/0022-4049(86)90002-2
[4] Kim S. J., J. Pure Appl. Algebra 63 pp 171– (1990) · Zbl 0712.14019 · doi:10.1016/0022-4049(90)90024-C
[5] Kim S. J., Bol. Soc. Bras. Mat. 32 pp 149– (2001) · Zbl 1077.14534 · doi:10.1007/BF01243864
[6] Komeda J., J. reine angew. Math. 341 pp 68– (1983)
[7] Komeda J., Manuscripta Math. 76 pp 193– (1992) · Zbl 0770.30038 · doi:10.1007/BF02567755
[8] Komeda J., Semigroup Forum 57 pp 157– (1998) · Zbl 0922.14022 · doi:10.1007/PL00005972
[9] Komeda J., Serdica Math. J. 30 pp 43– (2004)
[10] Komeda J., Tsukuba J. Math. 31 pp 205– (2007)
[11] Maclachlan C., J. London Math. Soc. 3 pp 722– (1971) · Zbl 0212.42402 · doi:10.1112/jlms/s2-3.4.722
[12] Torres F., Manuscripta Math. 83 pp 39– (1994) · Zbl 0838.14025 · doi:10.1007/BF02567599
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.