The Geil-Matsumoto bound (GM bound) constrains the number of rational points on a curve over a finite field in terms of the Weierstrass semigroup of any of the points on the curve. For general numerical semigroups, the GM bound lacks a simple closed-form expression, making its computation a challenging problem. A closed formula has been obtained for the case when the semigroup is generated by two co-prime integers. In this work, for any numerical semigroup, we provide a closed formula for the GM bound in terms of the Apéry set of a nonzero element of the semigroup. In the case where the numerical semigroup is generated by consecutive integers $n, n+1, \dots , n+t$ with $\lceil \tfrac{n-1}{2}\rceil \le t \le n-1$, we obtain a simple closed formula for the bound. We apply these results to obtain upper bounds on the number of rational points for algebraic curves over finite fields. In some cases, our bounds improve some well-known upper bounds on the number of rational points.
Revised:
Accepted:
Published online:
Keywords: Geil-Matsumoto bound, algebraic curves, rational points, Lewittes’ bound
Marques, Adler  1 ; Mendoza, Erik  1 ; Quoos, Luciane  2 ; Tizziotti, Guilherme  3
CC-BY 4.0
Marques, Adler; Mendoza, Erik; Quoos, Luciane; Tizziotti, Guilherme. A closed formula for the Geil-Matsumoto bound on numerical semigroups via Apéry sets. Algebraic Combinatorics, Volume 9 (2026) no. 4, pp. 1139-1155. doi: 10.5802/alco.503
@article{ALCO_2026__9_4_1139_0,
author = {Marques, Adler and Mendoza, Erik and Quoos, Luciane and Tizziotti, Guilherme},
title = {A closed formula for the {Geil-Matsumoto} bound on numerical semigroups via {Ap\'ery} sets},
journal = {Algebraic Combinatorics},
pages = {1139--1155},
year = {2026},
publisher = {The Combinatorics Consortium},
volume = {9},
number = {4},
doi = {10.5802/alco.503},
language = {en},
url = {https://alco.centre-mersenne.org/articles/10.5802/alco.503/}
}
TY - JOUR AU - Marques, Adler AU - Mendoza, Erik AU - Quoos, Luciane AU - Tizziotti, Guilherme TI - A closed formula for the Geil-Matsumoto bound on numerical semigroups via Apéry sets JO - Algebraic Combinatorics PY - 2026 SP - 1139 EP - 1155 VL - 9 IS - 4 PB - The Combinatorics Consortium UR - https://alco.centre-mersenne.org/articles/10.5802/alco.503/ DO - 10.5802/alco.503 LA - en ID - ALCO_2026__9_4_1139_0 ER -
%0 Journal Article %A Marques, Adler %A Mendoza, Erik %A Quoos, Luciane %A Tizziotti, Guilherme %T A closed formula for the Geil-Matsumoto bound on numerical semigroups via Apéry sets %J Algebraic Combinatorics %D 2026 %P 1139-1155 %V 9 %N 4 %I The Combinatorics Consortium %U https://alco.centre-mersenne.org/articles/10.5802/alco.503/ %R 10.5802/alco.503 %G en %F ALCO_2026__9_4_1139_0
[1] Numerical semigroups and applications, RSME Springer Series, 3, Springer, Cham, [2020] ©2020, xiv+138 pages | DOI | MR | Zbl
[2] Bounding the number of points on a curve using a generalization of Weierstrass semigroups, Des. Codes Cryptogr., Volume 66 (2013) no. 1-3, pp. 221-230 | DOI | MR | Zbl
[3] Acute semigroups, the order bound on the minimum distance, and the Feng-Rao improvements, IEEE Trans. Inform. Theory, Volume 50 (2004) no. 6, pp. 1282-1289 | DOI | MR | Zbl
[4] New lower bounds on the generalized Hamming weights of AG codes, IEEE Trans. Inform. Theory, Volume 60 (2014) no. 10, pp. 5930-5937 | DOI | MR | Zbl
[5] On the Geil-Matsumoto bound and the length of AG codes, Des. Codes Cryptogr., Volume 70 (2014) no. 1-2, pp. 117-125 | DOI | MR | Zbl
[6] One- and two-point codes over Kummer extensions, IEEE Trans. Inform. Theory, Volume 62 (2016) no. 9, pp. 4867-4872 | DOI | MR | Zbl
[7] Weierstrass semigroups, pure gaps and codes on function fields, Des. Codes Cryptogr., Volume 92 (2024) no. 5, pp. 1219-1242 | DOI | MR | Zbl
[8] On gap sets in arbitrary Kummer extensions of ${K}(x)$, 2025 | arXiv | Zbl
[9] Existence, decomposition, and limits of certain Weierstrass points, Invent. Math., Volume 87 (1987) no. 3, pp. 495-515 | DOI | MR | Zbl
[10] Two-generator numerical semigroups and Fermat and Mersenne numbers, SIAM J. Discrete Math., Volume 25 (2011) no. 2, pp. 622-630 | DOI | MR | Zbl
[11] On codes from norm-trace curves, Finite Fields Appl., Volume 9 (2003) no. 3, pp. 351-371 | DOI | MR | Zbl
[12] Bounding the number of $\mathbb{F}_q$-rational places in algebraic function fields using Weierstrass semigroups, J. Pure Appl. Algebra, Volume 213 (2009) no. 6, pp. 1152-1156 | DOI | MR | Zbl
[13] Reciprocal polynomials and curves with many points over a finite field, Res. Number Theory, Volume 9 (2023) no. 3, Paper no. 60, 23 pages | DOI | MR | Zbl
[14] Refinements on higher order Weil-Oesterlé bounds via a Serre type argument, 2025 | arXiv | Zbl
[15] Some remarks on the number of rational points of algebraic curves over finite fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math., Volume 28 (1981) no. 3, pp. 721-724 | MR | Zbl
[16] The proportion of Weierstrass semigroups, J. Algebra, Volume 373 (2013), pp. 377-391 | DOI | MR | Zbl
[17] Non-Weierstrass numerical semigroups, Semigroup Forum, Volume 57 (1998) no. 2, pp. 157-185 | DOI | MR | Zbl
[18] Places of degree one in function fields over finite fields, J. Pure Appl. Algebra, Volume 69 (1990) no. 2, pp. 177-183 | DOI | MR | Zbl
[19] On Kummer extensions with one place at infinity, Finite Fields Appl., Volume 89 (2023), Paper no. 102209, 24 pages | DOI | MR | Zbl
[20] Sequences with high nonlinear complexity, IEEE Trans. Inform. Theory, Volume 60 (2014) no. 10, pp. 6696-6701 | DOI | MR | Zbl
[21] Gorenstein curves with quasi-symmetric Weierstrass semigroups, Geom. Dedicata, Volume 67 (1997) no. 1, pp. 45-63 | DOI | MR | Zbl
[22] Numerical semigroups with Apéry sets of unique expression, J. Algebra, Volume 226 (2000) no. 1, pp. 479-487 | DOI | MR | Zbl
[23] Numerical semigroups generated by intervals, Pacific J. Math., Volume 191 (1999) no. 1, pp. 75-83 | DOI | MR | Zbl
[24] Numerical semigroups, Developments in Mathematics, 20, Springer, New York, 2009, x+181 pages | DOI | MR
[25] Curves with many points and multiplication in finite fields, Coding theory and algebraic geometry (Luminy, 1991) (Lecture Notes in Math.), Volume 1518, Springer, Berlin, 1992, pp. 145-169 | DOI | MR | Zbl
[26] Algebraic function fields and codes, Graduate Texts in Mathematics, 254, Springer-Verlag, Berlin, 2009, xiv+355 pages | MR | Zbl | DOI
[27] On certain ${N}$-sheeted coverings of curves and numerical semigroups which cannot be realized as Weierstrass semigroups, Comm. Algebra, Volume 23 (1995) no. 11, pp. 4211-4228 | DOI | MR | Zbl
[28] The number of points of an algebraic curve, Funktsional. Anal. i Prilozhen., Volume 17 (1983) no. 1, pp. 68-69 | MR | Zbl
[29] Algebraic curves with many points over the binary field, J. Algebra, Volume 311 (2007) no. 2, pp. 775-780 | DOI | MR | Zbl
[30] Improvements of the Hasse-Weil-Serre bound over global function fields, Finite Fields Appl., Volume 101 (2025), Paper no. 102538, 26 pages | DOI | MR | Zbl
[31] Further investigations on nonlinear complexity of periodic binary sequences, IEEE Trans. Inform. Theory, Volume 70 (2024) no. 7, pp. 5376-5391 | DOI | MR
Cited by Sources: