In the mathematical fields of algebraic geometry and arithmetic geometry, the Consani–Scholten quintic is an algebraic hypersurface (the set of solutions to a single polynomial equation in multiple variables) studied in 2001 by Caterina Consani and Jasper Scholten. It has been used as a test case for the Langlands program.
Consani and Scholten define their hypersurface from the (projectivized) set of solutions to the equation
in four complex variables, where
According to the Langlands program, for any Calabi–Yau threefold over , the Galois representations giving the action of the absolute Galois group on the -adic étale cohomology (for prime numbers of good reduction, which for this curve means any prime other than 2, 3, or 5) should have the same L-series as an automorphic form. This was known for "rigid" Calabi–Yau threefolds, for which the family of Galois representations has dimension two, by the proof of Serre's modularity conjecture. The Consani–Scholton quintic provides a non-rigid example, where the dimension is four. Consani and Scholten constructed a Hilbert modular form and conjectured that its L-series agreed with the Galois representations for their curve; this was proven by Dieulefait, Pacetti & Schütt (2012).
- Consani, Caterina; Scholten, Jasper (2001), "Arithmetic on a quintic threefold", International Journal of Mathematics, 12 (8): 943–972, doi:10.1142/S0129167X01001118, MR 1863287
- Dieulefait, Luis; Pacetti, Ariel; Schütt, Matthias (2012), "Modularity of the Consani–Scholten quintic" (PDF), Documenta Mathematica, 17: 953–987, MR 3007681
- Yui, Noriko (2013), "Modularity of Calabi–Yau varieties: 2011 and beyond", in Radu Laza, Matthias Schütt; Yui, Noriko, Arithmetic and geometry of K3 surfaces and Calabi–Yau threefolds: Proceedings of the workshop held at the Fields Institute and University of Toronto, Toronto, ON, August 16–25, 2011, Fields Institute Communications, 67, New York: Springer, pp. 101–139, doi:10.1007/978-1-4614-6403-7_4, MR 3156414 See in particular p. 121.