## Curves of every genus with many points. II: Asymptotically good families.(English)Zbl 1072.11041

Let $$A^{-}(q):= \liminf_{g\to\infty} N_q(g)/g$$, where $$N_q(g)$$ denotes the maximum number of rational points over $$\mathbb F_q$$ that a curve of genus $$g$$ can have. To show that $$A^{-}(q)$$ is greater than a constant $$c$$ one has to show the existence of a curve over $$\mathbb F_q$$ of large genus $$g$$ with more than $$cg$$ points. The curves used to construct optimal towers do not satisfy this property; Csirik, Wetherell, Zieve [arXiv:math.NT/0006096]. This article is related to the paper [J. Algebra 250, No. 1, 353–370 (2002; Zbl 1062.14027)] by A. Kresch, J. L. Wetherell and M. E. Zieve, among other results, the authors answer a question of Serre by showing that $$A^{-1}(q)\geq d\log q$$, where $$d>0$$ is a constant. The method of the proof involves degree-2 covering of curves and class field towers. The first step is to produce a sequence of curves $$(C_i)$$ over $$\mathbb F_q$$ with many rational points whose genera grow at most exponentially (e.g. class field towers and Shimura curves). Then it is shown that each curve $$C_i$$ is 2-covered by a curve $$B_i$$ of genus greater than a constant multiple of the genus of $$C_i$$. It happens that $$B_i$$ or its quadratic twist has at least as many rational points as $$C_i$$. Then the sequence of curves $$(B_i)$$ gives a positive answer to Serre’s question.

### MSC:

 11G20 Curves over finite and local fields 14G05 Rational points 14G15 Finite ground fields in algebraic geometry

Zbl 1062.14027
Full Text:

### References:

 [1] J. A. Csirik, J. L. Wetherell, and M. E. Zieve, On the genera of $$X_0(N)$$ , preprint., to appear in J. Number Theory. [2] N. D. Elkies, “Explicit modular towers” in Proceedings of the Thirty-Fifth Annual Allerton Conference on Communication, Control and Computing (Urbana, Ill., 1997) , ed. T. Başar and A. Vardy, Univ. of Illinois at Urbana-Champaign, 1998, 23–32.. [3] –. –. –. –., “Explicit towers of Drinfeld modular curves” in European Congress of Mathematics, Vol. II (Barcelona, 2000) , ed. C. Casacuberta, R. M. Miró-Roig, J. Verdera, and S. Xambó-Descamps, Progr. Math. 202 , Birkhauser, Basel, 2001, 189–198. [4] A. Garcia and H. Stichtenoth, A tower of Artin-Schreier extensions of function fields attaining the Drinfeld-Vlăduţ bound , Invent. Math. 121 (1995), 211–222. · Zbl 0822.11078 [5] –. –. –. –., On the asymptotic behaviour of some towers of function fields over finite fields , J. Number Theory 61 (1996), 248–273. · Zbl 0893.11047 [6] A. Garcia, H. Stichtenoth, and M. Thomas, On towers and composita of towers of function fields over finite fields , Finite Fields Appl. 3 (1997), 257–274. · Zbl 0946.11029 [7] H. Hasse, Zur Theorie der abstrakten elliptischen Funktionkörper, I, II, III , J. Reine Angew. Math. 175 (1936), 55–62., 69–88., 193–208. · JFM 62.0117.02 [8] Y. Ihara, “Algebraic curves mod $$\mathfrakp$$ and arithmetic groups” in Algebraic Groups and Discontinuous Subgroups (Boulder, Colo., 1965) , ed. A. Borel and G. D. Mostow, Amer. Math. Soc., Providence, 1966, 265–271. [9] ——–, On Congruence Monodromy Problems, Vol. 2 , Lecture Notes 2 , Department of Mathematics, Univ. Tokyo, 1969. · Zbl 0228.14010 [10] –. –. –. –., “On modular curves over finite fields” in Discrete Subgroups of Lie Groups and Applications to Moduli (Bombay, 1973) , Oxford Univ. Press, Bombay, 1975, 161–202. [11] –. –. –. –., “Congruence relations and Shimūra curves” in Automorphic Forms, Representations, and $$L$$-Functions, Part 2 (Corvallis, Ore., 1977) , ed. A. Borel and W. Casselman, Proc. Sympos. Pure Math 33 , Amer. Math. Soc., Providence, 1979, 291–311. [12] –. –. –. –., Some remarks on the number of rational points of algebraic curves over finite fields , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28 (1981), 721–724. · Zbl 0509.14019 [13] –. –. –. –., “Shimura curves over finite fields and their rational points” in Applications of Curves over Finite Fields (Seattle, Wash., 1997) , ed. M. D. Fried, Contemp. Math. 245 , Amer. Math. Soc., Providence, 1999, 15–23. [14] A. Kresch, J. Wetherell, and M. E. Zieve, Curves of every genus with many points, I: Abelian and toric families , J. Algebra 250 (2002), 353–370. · Zbl 1062.14027 [15] W.-C. W. Li and H. Maharaj, Coverings of curves with asymptotically many rational points , J. Number Theory 96 (2002), 232–256. · Zbl 1055.11040 [16] Yu. I. Manin, What is the maximum number of points on a curve over $$\mathbbF_2$$? , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28 (1981), 715–720. · Zbl 0527.14021 [17] Y. Morita, Reduction modulo $$\mathfrak P$$ of Shimura curves , Hokkaido Math. J. 10 (1981), 209–238. · Zbl 0506.14021 [18] B. Poonen, Bertini theorems over finite fields , to appear in Ann. of Math. (2), preprint. JSTOR: links.jstor.org · Zbl 1084.14026 [19] R. Schoof, Algebraic curves over $$\mathbbF_2$$ with many rational points , J. Number Theory 41 (1992), 6–14. · Zbl 0762.11026 [20] J.-P. Serre,“Nombres de points des courbes algébriques sur $$\mathbbF_q$$” in Seminar on Number Theory (Talence, France, 1982/1983) , Univ. Bordeaux I, Talence, 1983, exp. 22. · Zbl 0538.14016 [21] –. –. –. –., Sur le nombre des points rationnels d’une courbe algébrique sur un corps fini , C. R. Acad. Sci. Paris Sér I Math. 296 (1983), 397–402. · Zbl 0538.14015 [22] ——–, Rational points on curves over finite fields , unpublished lecture notes by F. Q. Gouvêa, Harvard University, Cambridge, 1985. [23] G. Shimura, Arithmetic of unitary groups , Ann. of Math. (2) 79 (1964), 369–409. JSTOR: · Zbl 0144.29504 [24] –. –. –. –., On canonical models of arithmetic quotients of bounded symmetric domains , Ann. of Math. (2) 91 (1970), 144–222. JSTOR: · Zbl 0237.14009 [25] H. Stichtenoth, Algebraic Function Fields and Codes , Universitext, Springer, Berlin, 1993. · Zbl 0816.14011 [26] S. G. Vlăduţ [Vlèduts] and V. G. Drinfel’d, The number of points of an algebraic curve (in Russian), Funktsional. Anal. i Prilozhen. 17 , no. 1 (1983), 68–69.; English translation in Funct. Anal. Appl. 17 (1983), 53–54. [27] A. Weil, Sur les fonctions algébriques à corps de constantes fini , C. R. Acad. Sci. Paris 210 (1940), 592–594. · Zbl 0023.29401 [28] –. –. –. –., On the Riemann hypothesis in functionfields , Proc. Nat. Acad. Sci. U. S. A. 27 (1941), 345–347. · Zbl 0061.06406 [29] ——–, Sur les courbes algébriques et les variétés qui s’en déduisent , Actualités Sci. Indust. 1041 , Hermann, Paris, 1948. · Zbl 0036.16001 [30] ——–, Variétés abéliennes et courbes algébriques , Actualités Sci. Indust. 1064 , Hermann, Paris, 1948. · Zbl 0037.16202 [31] T. Zink, “Degeneration of Shimura surfaces and a problem in coding theory” in Fundamentals of Computation Theory (Cottbus, Germany, 1985) , ed. L. Budach, Lecture Notes in Comput. Sci. 199 , Springer, Berlin, 1985, 503–511. · Zbl 0581.94014
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.