Copyright © The Author 2007. Published by Oxford University Press.
Exceptional Covers and Bijections on Rational Points
1 Department of Mathematics, Univrsity of Souhern California, Los Angeles, CA 900892532, USA
2 Department of Mathematics, Hylan Building, University of Rochester, Rochester, NY 14627, USA
3 Center for Communications Research, 805 Bunn Drive, Princeton, NJ 08540, USA
Correspondence: Correspondence to be sent to: Michael E. Zieve, Center for Communications Research, 805 Bunn Drive, Princeton, NJ 08540, USA. e-mail: zieve{at}idaccr.org
We show that if f: X
Y is a finite, separable morphism of smooth curves defined over a finite field
q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(
q) surjectively onto Y(
q) if and only if f maps X(
q) injectively into Y(
q). Surprisingly, the bounds on q for these two implications have different orders of magnitude. The main tools used in our proof are the Chebotarev density theorem for covers of curves over finite fields, the Castelnuovo genus inequality, and ideas from Galois theory.
References
- Davenport H., Lewis D. J. Notes on congruences. I. Quarterly Journal of Mathematics Oxford (1963) 14:5160.[CrossRef]
- MacCluer C. R. On a conjecture of Davenport and Lewis concerning exceptional polynomials. Acta Arithmetica (1967) 12:289299.
- Williams K. S. On exceptional polynomials. Canadian Mathematical Bulletin-Bulletin Canadien de Mathématiques (1968) 11:279282.
- Cohen S. D. The distribution of polynomials over finite fields. Acta Arithmetica (1970) 17:255271.
- Fried M. On a theorem of MacCluer. Acta Arithmetica (1974) 25:121126.
- Fried M. Finite Fields: Theory, Applications, and Algorithms (1994) Providence: American Mathematical Society. 69100. Global construction of general exceptional covers.
- Fried M., Guralnick R., Saxl J. Schur covers and Carlitz's conjecture. Israel Journal of Mathematics (1993) 82:157225.[Web of Science]
- Lenstra H. W. Jr., Moulton D., Zieve M. Exceptional covers. in preparation.
- Fried M., Jarden M. Field Arithmetic (1986) Berlin: Springer-Verlag.
- Leep D., Yeomans C. The number of points on a singular curve over a finite field. Archiv der Mathematik (1994) 63:420426.[CrossRef][Web of Science]
- von zur Gathen J., Ma K. The computational complexity of recognizing permutation functions. Computational Complexity (1995) 5:7697.[CrossRef][Web of Science]
- Hartshorne R. Algebraic Geometry (1977) New York: Springer-Verlag.
- Matsumura H. Commutative Ring Theory (1986) Cambridge: Cambridge University Press.
- Weil A. Variétés abéliennes et courbes algébriques (1948) Paris: Hermann.
- Bourbaki N. Elements of Mathematics, Commutative Algebra (1972) Paris: Hermann.
- van der Waerden B. L. Die Zerlegungs- und Trägheitsgruppe als Permutationsgruppen. Mathematische Annalen (1935) 111:731733.[CrossRef]
- Grothendieck A. Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II. Institut des Hautes Études Scientifiques. Publications Mathématiques (1965) 24:1231.
- Deligne P. La conjecture de Weil. I. Institut des Hautes Institu Études Scientifiques. Publications Mathématiques (1974) 43:273307.
- Murty V. K., Scherk J. Effective versions of the Chebotarev density theorem for function fields. Comptes Rendus de l'Académie des Sciences. Série I. Mathématique (1994) 319:523528.
- Lang S., Weil A. Number of points on varieties in finite fields. American Journal of Mathematics (1954) 76:819827.[CrossRef]
- Praeger C., Saxl J. On the orders of primitive permutation groups. Bulletin of the London Mathematical Society (1980) 12:303307.
[Free Full Text] - Dickson L. E. The analytic representation of substitutions on a power of a prime number of letters, with a discussion of the linear group. Annals of Mathematics (1896) 11:65120.[CrossRef]
- Fried M. Galois groups and complex multiplication. Transactions of the American Mathematical Society (1978) 235:141163.[CrossRef][Web of Science]
- Guralnick R., Mueller P., Saxl J. The rational function analogue of a question of Schur and exceptionality of permutation representations. Memoirs of the American Mathematical Society (2003) 162(no. 773):179.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||