Weil cohomology in practice

T.G. Abbott, K.S. Kedlaya, and D. Roe, “Bounding Picard numbers of surfaces using \(p\)-adic cohomology”, in Arithmetic, Geometry and Coding Theory (AGCT 2005), Séminaires et Congrès 21, Soc. Math. France, 125–159 (2009).

J. Achter, D. Erman, K.S. Kedlaya, M.M. Wood, and D. Zureick-Brown, “A heuristic for the distribution of point counts for random curves over a finite field”, Phil. Trans. Royal Soc. A 373 (2015).

P. Allen, F. Calegari, A. Caraiani, T. Gee, D. Helm, B. Le Hung, J. Newton, P. Scholze, R. Taylor, and J. Thorne, “Potential automorphy over CM fields”, arXiv:1812.09999v1 (2018).

Y. André, Une introduction aux motifs (motifs purs, motifs mixtes, périodes), Panoramas et Synthèses 17, Société Mathématique de France (2004).

A. Arabia, “Relèvements des algèbres lisses et de leurs morphismes”, Comment. Math. Helvet. 76 (2001), 607–639.

J.S. Balakrishnan, N. Dogra, J.S. Müller, J. Tuitman, and J. Vonk, “Explicit Chabauty–Kim for the split Cartan modular curve of level 13”, Annals of Math. 189 (2019), 885–944.

J.S. Balakrishnan and J. Tuitman, “Explicit Coleman integration for curves”, Math. Comp. 89 (2020), 2965–2984.

T. Barnet-Lamb, D. Geraghty, and T. Gee, “The Sato-Tate conjecture for Hilbert modular forms”, J. Amer. Math. Soc. 24 (2011), 411–469.

P. Berthelot, “Finitude et pureté cohomologique en cohomologie rigide (with an appendix by A.J. de Jong)”, Invent Math. 128 (1997), 329–377.

B. Bhatt and P. Scholze, “The pro-étale topology for schemes”, Astérisque 369 (2015), 99–201.

E. Bombieri, “Hilbert's 8th problem: an analogue”, in Mathematical Developments Arising from Hilbert Problems, Part 1, Proc. Symp. Pure Math. 28.1, Amer. Math. Soc., Providence (1976).

I.I. Bouw and S. Wewers, “Computing \(L\)-Functions and semistable reduction of superelliptic curves”, Glasgow Math. J. 59 (2017) 77–108.

C. Breuil, B. Conrad, F. Diamond, and R. Taylor, “On the modularity of elliptic curves over \(\QQ\text{:}\) wild 3-adic exercises”, J. Amer. Math. Soc. 14 (2001), 843–939.

J. Bruce and W. Li, “Effective bounds on the dimensions of Jacobians covering abelian varieties”, J. Amer. Math. Soc. 148 (2020), 535–551.

A. Brumer and K. Kramer, “Paramodular abelian varieties of odd conductor”, Trans. Amer. Math. Soc. 366 (2014), 2463–2516 (corrigendum posted 2019).

A. Brumer, A. Pacetti, C. Poor, G. Tornaría, J. Voight, and D. Yuen, “On the paramodularity of typical abelian surfaces”, Algebra and Number Theory 13 (2019), 1145–1195.

A. Bucur, C. David, B. Feigon, and M. Lalín, “Fluctuations in the number of points on smooth plane curves over finite fields”, J. Number Theory 130 (2010), 2528–2541.

A. Bucur and K.S. Kedlaya, “The probability that a complete intersection is smooth”, J. Théorie Nombres Bordeaux 24 (2012), 541–556.

A. Caraiani, “Perfectoid Shimura varieties”, in Perfectoid Spaces: Lectures from the 2017 Arizona Winter School, Math. Surveys and Monographs 242, Amer. Math. Soc., Providence (2019).

C.-L. Chai and F. Oort, “An algebraic construction of an abelian variety with a given Weil number”, Alg. Geom. 2 (2015), 654–663.

F. Charles, “On the Picard number of K3 surfaces over number fields”, Algebra and Number Theory 8 (2014), 1–17.

L. Clozel, M. Harris, and R. Taylor, “Automorphy for some \(l\)-adic lifts of automorphic mod \(l\) Galois representations”, Publ. Math. IHÉS 108 (2008), 1–181.

G. Cornell and J.H. Silverman, Arithmetic Geometry, Springer-Verlag, Berlin (1986).

E. Costa, A.-S. Elsenhans, and J. Jahnel, “On the distribution of the Picard ranks of the reductions of a K3 surface”, Res. Number Theory 6 (2020), paper no. 27, 25 pp.

E. Costa, D. Harvey, and K.S. Kedlaya, “Zeta functions of nondegenerate hypersurfaces in toric varieties via controlled reduction in \(p\)-adic cohomology”, in ANTS XIII: Proceedings of the Thirteenth Algorithmic Number Theory Symposium, Open Book Ser. 2, Math. Sci. Pub., 221–238 (2019).

E. Costa and Y. Tschinkel, “Variation of Néron-Severi ranks of reductions of K3 surfaces”, Exper. Math. 23 (2014), 475–481.

J. Cremona, Algorithms for Modular Elliptic Curves, second edition, Cambridge Univ. Press, Cambridge (1997).

A.J. de Jong, “Smoothness, semi-stability and alterations”, Publ. Math. IHÉS 83 (1996), 51–93.

P. Deligne, “La conjecture de Weil pour les surfaces K3”, Invent Math. 15 (1971/72), 206–226.

P. Deligne, “La conjecture de Weil, I”, Publ. Math. IHÉS 43 (1974), 273–307.

P. Deligne, “La conjecture de Weil, II”, Publ. Math. IHÉS 52 (1980), 137–252.

P. Deligne and L. Illusie, “Relèvement des surfaces K3 en caractéristique nulle”, Surface algébrique Lecture Notes in Mathematics 868, Springer, Berlin (1981), 58–79.

P. Deligne, “Catégories tannakiennes”, in The Grothendieck Festschrift, Volume 2, Birkh\"auser, (1990), 111–195.

P. Diaconis and M. Shahshahani, “On the eigenvalues of random matrices”, J. Appl. Prob. 31 (1994), 49–62.

L. Dieulefait, L. Guerberoff, and A. Pacetti, “Proving modularity for a given elliptic curve over an imaginary quadratic field”, Math. Comp. 79 (2010), 1145–1170.

T. Dokchitser, V. Dokchitser, and A. Morgan, “Tate module and bad reduction”, J. Amer. Math. Soc. 149 (2021), 1361–1372.

V.G. Drinfeld, “Langlands’ Conjecture for \(\GL(2)\) over functional Fields”, in Proceedings of the International Congress of Mathematicians, Helsinki, 565–574 (1978).

V. Drinfeld and S. Vlăduț, “The number of points of an algebraic curve” [translation of the Russian original], Functional Anal. Appl. 17(1983), 53–54.

B. Dwork, “On the rationality of the zeta function of an algebraic variety”, Amer. J. Math. 82(1960), 631–648.

R.W. Easton and R. Vakil, “Absolute Galois acts faithfully on the components of the moduli space of surfaces: A Belyi-type theorem in higher dimension”, Internat. Math. Res. Notices IMRN 20 (2007), Art. ID rnm080, 10 pp.

K. Eisenträger, S. Hallgren, K. Lauter, T. Morrison, and C. Petit, “Supersingular isogeny graphs and endomorphism rings: reductions and solutions”, in Advances in Cryptology–-EUROCRYPT 2018, Part III, Lecture Notes in Comput. Sci. 10822, Springer, Cham, (2018), 329–368.

R. Elkik, “Solutions d'équations à coefficients dans un anneau hensélien”, Ann. Scient. Éc. Norm. Sup. 6 (1973), 553–604.

D. Erman and M.M. Wood, “Semiample Bertini theorems over finite fields”, Duke Math. J. 164 (2015), 1–38.

H. Esnault, V. Srinivas, and J. Stix, “An obstruction to lifting to characteristic \(0\)”, arXiv:2106.08381v1 (2021).

D. W. Farmer, S. Koutsoliotas, and S. Lemurell, “Varieties via their \(L\)-functions”, J. Number Theory 196 (2019), 364–380.

F. Fité, K.S. Kedlaya, V. Rotger, and A.V. Sutherland, “Sato-Tate distributions and Galois endomorphism modules in genus 2”, Compos. Math. 148 (2012), 1390–1442.

F. Fité, K.S. Kedlaya, and A.V. Sutherland, “Sato-Tate groups of abelian threefolds: a preview of the classification”, Arithmetic, Geometry, Cryptography and Coding Theory (AGC^2T 2019), Contemp. Math. 770, Amer. Math. Soc., 103–130 (2021).

E. Freitag and R. Kiehl, Étale Cohomology and the Weil Conjecture [translation of the German original], Ergeb. der Math. 13, Springer-Verlag, Berlin (1988).

W. Fulton, “A note on weakly complete algebras”, Bull. Amer. Math. Soc. 75 (1969), 591–593.

S.R. Ghorpade and G. Lachaud, “Étale cohomology, Lefschetz theorems and number of points of singular varieties over finite fields”, Moscow Math. J. 2 (2002), no. 3, 589–631.

L. Göttsche, “The Betti numbers of the Hilbert scheme of points on a smooth projective surface”, Math. Ann. 286 (1990), 193–207.

P.A. Griffiths, “On the periods of certain rational integrals, I”, Annals of Math. 90 (1969), 460–495.

P.A. Griffiths, “On the periods of certain rational integrals, II”, Annals of Math. 90 (1969), 496–541.

P. Griffiths and J. Harris, Principles of Algebraic Geometry, Wiley, New York (1978).

B.H. Gross and M.J. Hopkins, “Equivariant vector bundles on the Lubin-Tate moduli space”, in Topology and Representation Theory Contemp. Math. 158, Amer. Math. Soc., Providence, 23–88 (1994).

B.H. Gross and M.J. Hopkins, “The rigid analytic period mapping, Lubin-Tate space, and stable homotopy theory”, Bull. Amer. Math. Soc. 30 (1994), 76–86.

B. Gross and N. Koblitz, “Gauss sums and the \(p\)-adic \(\Gamma\)-function”, Annals of Math. 109 (1979), 569–581.

A. Grothendieck, “The cohomology theory of abstract algebraic varieties”, in Proceedings of the International Congress of Mathematicians, 1958, 103–118.

A. Grothendieck, “Formule de Lefschetz et rationalité des fonctions L”, Séminaire Bourbaki 9 (1964), 41–55.

A. Grothendieck, “Standard conjectures on algebraic cycles”, in Algebraic Geometry (Internat. Colloq., Tata Inst. Fund. Res., Bombay, 1968), Oxford Univ. Press, Oxford, 193–199 (1969).

A. Grothendieck and M. Raynaud, Revêtements étales et Groupe Fondamental (SGA 1), Doc. Math. 3, Soc. Math. France, (2003).

M. Harris, N.Shepherd–Barron, and R. Taylor, “A family of Calabi-Yau varieties and potential automorphy”, Annals of Math. 171 (2010), 779–813.

R. Hartshorne, Algebraic Geometry, Graduate Texts in Math. 52, Springer (2013).

J. Igusa, “Complex powers and asymptotic expansions. I. Functions of certain types”, J. reine angew. Math. 268–269 (1974), 110–130.

J. Igusa, “Complex powers and asymptotic expansions. II. Asymptotic expansions”, J. reine angew. Math. 278–279 (1975), 307–321.

J. Igusa, An Introduction to the Theory of Local Zeta Functions, Studies in Advanced Math. 14, Amer. Math. Soc./Intl. Press, (2000).

Y. Ihara, “Some remarks on the number of rational points of algebraic curves over finite fields”, J. Fac. Sci. Univ. Tokyo 28 (1982), 721–724.

K. Ito, T. Ito, and T. Koshikawa, “CM liftings of K3 surfaces over finite fields and their applications to the Tate conjecture”, arXiv:1809.09604v2 (2018).

N.M. Katz, “\(L\)-functions and monodromy: four lectures on Weil II”, Adv. Math. 160 (2001), 81–132.

N.M. Katz and P. Sarnak, Random Matrices, Frobenius Eigenvalues, and Monodromy, Amer. Math. Soc. Colloq. Pub. 45, Amer. Math. Soc., Providence, (1999).

K.S. Kedlaya, “Counting points on hyperelliptic curves using Monsky-Washnitzer cohomology”, J. Ramanujan Math. Soc. 16 (2001), 323–338; errata, ibid. 18(2003), 417–418.

K.S. Kedlaya, “Finiteness of rigid cohomology with coefficient”s, Duke Math. J. 134 (2006), 15–97.

K.S. Kedlaya, “Fourier transforms and \(p\)-adic ``Weil II''”, Compos. Math. 142 (2006), 1426–1450.

K.S. Kedlaya, “Quantum computation of zeta functions of curves”, Comput. Complexity 15 (2006), 1–19.

K.S. Kedlaya, “\(p\)-adic cohomology: from theory to practice”, in \(p\)-adic Geometry: Lectures from the 2007 Arizona Winter School, Univ. Lecture Series 45, Amer. Math. Soc., 190–219 (2008).

K.S. Kedlaya, “Search techniques for root-unitary polynomials”, in Computational Arithmetic Geometry, Contemp. Math. 463, Amer. Math. Soc., 71–82 (2008).

K.S. Kedlaya, “Notes on isocrystals”, J. Number Theory (2022).

K.S. Kedlaya, “Étale and crystalline companions, I”, arXiv:1811.00204v4 (2021).

K.S. Kedlaya and A.V. Sutherland, “A census of zeta functions of quartic K3 surfaces over \(\FF_2\)”, LMS J. Comp. Math. 19 special issue A (2016), 1–11.

N. Koblitz, \(p\)-adic Numbers, \(p\)-adic Analysis, and Zeta Functions, Graduate Texts in Math. 58, Springer-Verlag, New York, 1984.

L. Lafforgue, “Chtoucas de Drinfeld et correspondance de Langlands”, Invent Math. 147 (2002), 1–241.

S. Lang, Algebra, revised third edition, Volume 1, Graduate Texts in Mathematics 211, Springer-Verlag (2002).

S. Lang and A. Weil, “Number of points of varieties in finite fields”, Amer. J. Math. 76 (1954), 819–827.

G. Laumon, “Transformation de Fourier, constantes d'équations fonctionelles et conjecture de Weil”, Publ. Math. IHÉS 65 (1987), 131–210.

J. Leitzel, M. Madan, and C. Queen, “Algebraic function fields with small class number”, J. Number Theory 7 (1975) 11–27.

B. Le Stum, Rigid Cohomology, Cambridge Tracts in Math. 172, Cambridge Univ. Press, Cambridge (2007).

C. Liedtke and Y. Matsumoto, “Good reduction of K3 surfaces”, Composition Mathematica 154 (2018), 1–35.

R. Livné, “Cubic exponential sums and Galois representations”, in Current Trends in Arithmetical Algebraic Geometry, Contemp. Math. 67 (1987), 247–261.

The LMFDB Collaboration, L-Functions and Modular Forms Database, https://www.lmfdb.org¹.

D. Lorenzini, An Invitation to Arithmetic Geometry, Graduate Studies in Math. 9, Amer. Math. Soc., Providence (1996).

M. Madan and C. Queen, “Algebraic function fields of class number one”, Acta Arith. 20 (1972), 423–432.

D.A. Madore and F. Orgogozo, “Calculabilité de la cohomologie étale modulo \(\ell\)”, Algebra and Number Theory 9 (2015), 1647–1739.

ManyPoints database, https://manypoints.org².

B. Mazur, “Frobenius and the Hodge filtration”, Bull. Amer. Math. Soc. 78 (1972), 653–667.

P. Mercuri and C. Stirpe, “Classification of algebraic function fields with class number one”, J. Number Theory 154 (2015), 365–374.

D. Meredith, “Weak formal schemes”, Nagoya Math. J. 45 (1971), 1–38.

J.S. Milne, Étale Cohomology, Princeton Math. Ser. 33, Princeton Univ. Press, Princeton, N.J. (1980).

J.S. Milne, “The Riemann hypothesis over finite fields, from Weil to the present day”, in The Legacy of Bernhard Riemann after One Hundred and Fifty Years. Vol. II, Int. Press, Somerville, MA, 487–565 (2016); reprinted in ICCM Not. 4 (2016), 14–52.

J.S. Milne and J. Suh, “Nonhomeomorphic conjugates of connected Shimura varieties”, American Journal of Math. 132 (2010), 731–750.

P. Monsky, “Formal cohomology, II: The cohomology sequence of a pair”, Annals of Math. 88 (1968), 218–238.

P. Monsky, “Formal cohomology, III: Fixed point theorems”, Annals of Math. 93 (1971), 315–343.

P. Monsky and G. Washnitzer, “Formal cohomology, I”, Annals of Math. 88 (1968), 181–217.

D. Mumford, Abelian Varieties, TIFR Pub. 13, Amer. Math. Soc., Providence (2012).

M. Mustața, “Zeta functions in algebraic geometry”, lecture notes (2011) available at http://www-personal.umich.edu/~mmustata/zeta_book.pdf³.

J. Neukirch, Algebraic Number Theory, Springer, Berlin (1999).

B. Poonen, “Bertini theorems over finite fields”, Annals of Math. 160 (2004), 1099–1127.

C.S. Rajan, “An example of non-homeomorphic conjugate varieties”, Math. Res. Letters 18 (2011), 937–942.

N. Saavedra Rivano, Catégories Tannakiennes, Lecture Notes in Math. 265, Springer-Verlag, Berlin (1972).

C. Schembri, “Examples of genuine QM abelian surfaces which are modular”, Res. Number Theory 5 (2019), article 11.

J.-P. Serre, “Géométrie algébrique et géométrie analytique”, Ann. Inst. Fourier 6 (1956), 1–42.

J.-P. Serre, “Exemples de variétés projectives en caractéristique p non relevables en caractéristique zéro”, Proc. Natl. Acad. Sci. USA 47 (1961), 108–109.

J.-P. Serre, “Exemples de variétés projectives conjuguées non homéomorphes”, C. R. Acad. Sci. Paris 258 (1964), 4194–4196.

J.-P. Serre, Abelian \(\ell\)-adic Representations and Elliptic Curves, W.A. Benjamin, New York (1968).

J.-P. Serre and J. Tate, “Good reduction of abelian varieties”, Annals of Math. 88 (1968), 492–517.

Q. Shen and S. Shi, “Function fields of class number one”, J. Number Theory 154 (2015), 375–379.

J. Silverman, The Arithmetic of Elliptic Curves, second edition, Graduate Texts in Math. 106, Springer, Dordrecht (2009).

S. A. Stepanov, “An elementary proof of the Hasse-Weil theorem for hyperelliptic curves”, J. Number Theory 4 (1972), 118–143.

C. Stirpe, “A counterexample to “Algebraic function fields with small class number””, J. Number Theory 143 (2014), 402–404.

A.V. Sutherland, “Sato-Tate distributions”, in Analytic Methods in Arithmetic Geometry, Contep. Math. 740, Amer. Math. Soc., 197–248, (2019).

G. Tamme, Introduction to Étale Cohomology [translation of the German original], Universitext, Springer-Verlag, Berlin (1994).

J. Tuitman, “Counting points on curves using a map to \(\PP^1\)”, Math. Comp. 85 (2016), 961–981.

J. Tuitman, “Counting points on curves using a map to \(\PP^1\text{,}\) II”, Finite Fields Appl. 45 (2017), 301–322.

R. Taylor and A. Wiles, “Ring-theoretic properties of certain Hecke algebras”, Annals of Math. 141 (1995), 553–572.

R. van Dobben de Bruyn, “A variety that cannot be dominated by one that lifts”, Duke Math. J. 170 (2021), 1251–.

R.M. van Luijk, “K3 surfaces with Picard number one and infinitely many rational points”, Algebra and Number Theory 1 (2007), 1–15.

J. Voight, “Curves over finite fields with many points: an introduction”, in Computational aspects of algebraic curves, Lecture Notes Series on Computing 13, World Scientific, Hackensack, NJ, 124–144 (2005).

W.C. Waterhouse and J.S. Milne, “Abelian varieties over finite fields”, in 1969 Number Theory Institute, Proc. Sympos. Pure Math. 20, Amer. Math. Soc., Providence, 53–64 (1971).

A. Weil, “Sur les fonctions algébriques à corps de constantes fini”, C. R. Acad. Sci. Paris 210 (1940), 592–594.

A. Weil, “On the Riemann hypothesis in function-fields”, Proc. Nat. Acad. Sci. 27 (1941), 345–347.

A. Weil, Sur les courbes algébriques et les variétés qui s’en déduisent, Hermann et Cie., Paris (1948).

A. Weil, Variétés abéliennes et courbes algébriques, Hermann et Cie., Paris (1948).

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

A. Wiles, “Modular elliptic curves and Fermat's last theorem”, Annals of Math. 141 (1995), 443–551.

N. Yui, “Modularity of Calabi-Yau varieties: 2011 and beyond”, in Arithmetic and Geometry of K3 Surfaces and Calabi-Yau Threefolds, Fields Inst. Commun. 67, Springer, New York, 101–139 (2013).

K. Yamamoto, “The Artin-Hasse-Šafarevič function”, Japanese Journal of Mathematics 29 (1959), 165–172.