Skip to main content

Lines on Cubic Hypersurfaces Over Finite Fields

  • Conference paper
  • First Online:

Part of the book series: Simons Symposia ((SISY))

Abstract

We show that smooth cubic hypersurfaces of dimension n defined over a finite field \(\mathbf{F}_q\) contain a line defined over \(\mathbf{F}_q\) in each of the following cases:

  • \(n=3\) and \(q\ge 11\);

  • \(n=4\), and \(q=2\) or \(q\ge 5\);

  • \(n\ge 5\).

For a smooth cubic threefold X, the variety of lines contained in X is a smooth projective surface F(X) for which the Tate conjecture holds, and we obtain information about the Picard number of F(X) and the 5-dimensional principally polarized Albanese variety A(F(X)).

The second author was partially supported by Proyecto FONDECYT Regular N. 1150732 and Proyecto Anillo ACT 1415 PIA Conicyt.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   139.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   179.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    In characteristic 2, the curves \( \Gamma _L\) and \( \widetilde{\Gamma }_L\) might not be nodal (see Lemma 4.13).

  2. 2.

    A hypersurface singularity is of type \(A_j\) if it is, locally analytically, given by an equation \(x_1^{j+1}+x_2^2+\dots +x_{n+1}^2=0\). Type \(A_1\) is also called a node.

  3. 3.

    Among smooth cubics in \(\mathbf{P}^4_{\mathbf{F}_2}\) with no \(\mathbf{F}_2\)-lines, the computer found examples whose number of \(\mathbf{F}_2\)-points is any odd number between 3 and 13.

References

  1. A. Adler, Some integral representations of \(PSL_2({\bf {F}}_p)\) and their applications. J. Algebra 72, 115–145 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  2. A. Altman, S. Kleiman, Foundations of the theory of Fano schemes. Compos. Math. 34, 3–47 (1977)

    MathSciNet  MATH  Google Scholar 

  3. A. Beauville, Variétés de Prym et jacobiennes intermédiaires. Ann. Sci. Éc. Norm. Sup. 10, 309–391 (1977)

    MATH  Google Scholar 

  4. A. Beauville, Les singularités du diviseur Theta de la jacobienne intermédiaire de l’hypersurface cubique dans \({\bf {P}}^4\), in Algebraic Threefolds, Varenna 1981, Lecture Notes in Mathematics, vol. 947 (Springer, Heidelberg, 1982), pp. 190–208

    Google Scholar 

  5. E. Bombieri, H.P.F. Swinnerton-Dyer, On the local zeta function of a cubic threefold. Ann. Scuola Norm. Sup. Pisa 21, 1–29 (1967)

    MathSciNet  MATH  Google Scholar 

  6. W. Bosma, J. Cannon, C. Playoust, The Magma algebra system. I. The user language. J. Symbolic Comput. 24, 235–265 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  7. S. Casalaina-Martin, R. Laza, The moduli space of cubic threefolds via degenerations of the intermediate Jacobian. J. reine angew. Math. 663, 29–65 (2009)

    MathSciNet  MATH  Google Scholar 

  8. F. Charles, A. Pirutka, La conjecture de Tate entière pour les cubiques de dimension quatre. Compos. Math. 151, 253–264 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  9. C.H. Clemens, P.A. Griffiths, The intermediate Jacobian of the cubic threefold. Ann. Math. 95, 281–356 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  10. P. Deligne, La conjecture de Weil I. Publ. Math. Inst. Hautes Études Sci. 43, 273–308 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  11. A.-S. Elsenhans, J. Jahnel, On the characteristic polynomial of the Frobenius on étale cohomology. Duke Math. J. 164, 2161–2184 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  12. H. Esnault, Varieties over a finite field with trivial Chow group of \(0\)-cycles have a rational point. Invent. Math. 151, 187–191 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  13. N. Fakhruddin, C.S. Rajan, Congruences for rational points on varieties over finite fields. Math. Ann. 333, 797–809 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  14. S. Galkin, E. Shinder, The Fano variety of lines and rationality problem for a cubic hypersurface. eprint arXiv:1405.5154v2

  15. N.E. Hurt, in Many Rational Points: Coding Theory and Algebraic Geometry, Mathematics and its Applications, vol. 564 (Kluwer, Dordrecht, 2003)

    Google Scholar 

  16. E.W. Howe, K.E. Lauter, J. Top, Pointless curves of genus three and four, in Arithmetic, Geometry and Coding Theory (AGCT 2003), Séminaries & Congres, vol. 11 (société mathématique de France, Paris, 2005), pp. 125–141

    Google Scholar 

  17. E.W. Howe, H.J. Zhu, On the existence of absolutely simple abelian varieties of a given dimension over an arbitrary field. J. Number Theory 92, 139–163 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  18. N. Katz, Une formule de congruence pour la fonction \(\zeta \), Exposé XXII, in Groupes de Monodromie en Géométrie Algébrique (SGA 7 II), Lecture Notes in Mathematics, vol. 340 (Springer, Heidelberg, 1973), pp. 401–438

    Google Scholar 

  19. K. Kedlaya, Effective \(p\)-adic cohomology for cyclic cubic threefolds, in Computational Algebraic and Analytic Geometry, Contemporary Mathematics, vol. 572 (American Mathematical Society, Providence, 2012), pp. 127–171

    Google Scholar 

  20. A. Kouvidakis, G. van der Geer, A note on Fano surfaces of nodal cubic threefolds, in Algebraic and Arithmetic Structures of Moduli Spaces, Sapporo 2007, Advanced Studies in Pure Mathematics, vol. 58 (Mathematical Society of Japan, Tokyo, 2010), pp. 27–45

    Google Scholar 

  21. S. Lang, Elliptic Functions (Addison-Wesley Publishing Co., Inc., Reading, 1973)

    MATH  Google Scholar 

  22. J.S. Milne, in Étale Cohomology, Princeton Mathematical Series, vol. 33 (Princeton University Press, Princeton, 1980)

    Google Scholar 

  23. D. Mumford, in Abelian Varieties, Tata Institute of Fundamental Research Studies in Mathematics, vol. 5 (Oxford University Press, Oxford, 1970)

    Google Scholar 

  24. J.P. Murre, Some results on cubic threefolds, in Classification of Algebraic Varieties and Compact Complex Manifolds, Lecture Notes in Mathematics, vol. 412 (Springer, Berlin, 1974), pp. 140–160

    Google Scholar 

  25. X. Roulleau, On the Tate conjecture for the Fano surfaces of cubic threefolds. J. Number Theory 133, 2320–2323 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  26. T. Shioda, T. Katsura, On Fermat varieties. Tôhoku Math. J. 31, 97–115 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  27. J.H. Silverman, in Advanced Topics in The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, vol. 151 (Springer, New York, 1994)

    Google Scholar 

  28. J.H. Silverman, J. Tate, in Rational Points on Elliptic Curves, Undergraduate Texts in Mathematics (Springer, New York, 1992)

    Google Scholar 

  29. J. Tate, Algebraic cycles and poles of zeta functions, in Arithmetical Algebraic Geometry, Purdue University 1963, ed. by O. Schilling (Harper and Row, New York, 1965), pp. 93–110

    Google Scholar 

  30. A. Weil, Numbers of solutions of equations in finite fields. Bull. Amer. Math. Soc. 55, 497–508 (1949)

    Article  MathSciNet  MATH  Google Scholar 

  31. Computer computations, https://github.com/alaface/CubLin

Download references

Acknowledgements

This collaboration started after a mini-course given by the first author for the CIMPA School “II Latin American School of Algebraic Geometry and Applications” given in Cabo Frio, Brazil. We thank CIMPA for financial support and the organizers C. Araujo and S. Druel for making this event successful. Many thanks also to F. Charles, S. Elsenhans, B. van Geemen, F. Han, E. Howe, T. Katsura, Ch. Liedtke, and O. Wittenberg for useful correspondences and conversations. The computations made for this paper were done with the computer algebra programs Magma [6] and Sage.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Olivier Debarre .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Debarre, O., Laface, A., Roulleau, X. (2017). Lines on Cubic Hypersurfaces Over Finite Fields. In: Bogomolov, F., Hassett, B., Tschinkel, Y. (eds) Geometry Over Nonclosed Fields. Simons Symposia. Springer, Cham. https://doi.org/10.1007/978-3-319-49763-1_2

Download citation

Publish with us

Policies and ethics