[Paper Review] The modularity conjecture for rigid Calabi-Yau threefolds over Q

Masa-Hiko Saito, Noriko Yui|ArXiv.org|Sep 5, 2000

Algebraic Geometry and Number Theory10 references12 citations

TL;DR

This paper formulates the modularity conjecture for rigid Calabi–Yau threefolds over ℚ, proving that the rigid Calabi–Yau threefold arising from the root lattice A₃ is modular by geometric analysis. The L-function of its étale cohomology matches a cusp form of weight 4 and level N, confirming the conjecture for this case and supporting the Fontaine–Mazur conjecture on Galois representations.

ABSTRACT

We formulate the modularity conjecture for rigid Calabi-Yau threefolds defined over the field Q of rational numbers. We establish the modularity for the rigid Calabi-Yau threefold arising from the root lattice A_3. Our proof is based on geometric analysis.

Motivation & Objective

• To formulate the modularity conjecture for rigid Calabi–Yau threefolds defined over ℚ.
• To establish the modularity of a specific rigid Calabi–Yau threefold arising from the A₃ root lattice.
• To verify that its L-function matches the L-function of a modular form of weight 4.
• To confirm the Fontaine–Mazur conjecture for the associated 2-dimensional Galois representation.
• To explore whether the intermediate Jacobian being an elliptic curve over ℚ characterizes modularity.

Proposed method

• Define the L-series of a Calabi–Yau threefold via the Galois representation on its étale cohomology H³_et(𝑋̄, ℚℓ).
• Use the Lefschetz fixed point formula to express the trace of Frobenius at good primes in terms of rational point counts on the reduction modulo p.
• Construct the local L-factor P₃,p(T) = 1 − t₃(p)T + p³T² for rigid Calabi–Yau threefolds, with deg 2 and coefficients in ℤ.
• Apply geometric analysis to the fiber product of elliptic modular surfaces to study the cohomology and Galois representations.
• Compare the L-function of the threefold with that of a modular form in S₄(Γ₀(N)) using the Serre criterion and Faltings’ theorems.
• Verify that the 2-dimensional Galois representation attached to the threefold is isomorphic to that of a modular form, confirming modularity.

Experimental results

Research questions

• RQ1 Does every rigid Calabi–Yau threefold over ℚ have an L-function that matches a modular form of weight 4?
• RQ2 Is the rigid Calabi–Yau threefold from the A₃ root lattice modular, and if so, to which level and weight?
• RQ3 Can the modularity of such threefolds be established via geometric analysis of fiber products of modular surfaces?
• RQ4 Is the intermediate Jacobian of a rigid Calabi–Yau threefold over ℚ an elliptic curve if and only if the threefold is modular?
• RQ5 Can the method of Wiles be applied to prove modularity via residual Galois representations?

Key findings

• The rigid Calabi–Yau threefold constructed from the A₃ root lattice is modular, with its L-function matching that of a cusp form in S₄(Γ₀(N)) for some N.
• The L-function of the threefold is given by L(X,s) = L(f,s) up to finitely many Euler factors, where f is a cusp form of weight 4.
• The 2-dimensional Galois representation on H³_et(𝑋̄, ℚℓ) is isomorphic to the representation attached to a modular form, confirming the Fontaine–Mazur conjecture in this case.
• The intermediate Jacobian J²(X) is a complex torus of dimension one, hence isomorphic to an elliptic curve over ℂ.
• The proof establishes that the Galois representation is modular via geometric analysis, not just L-function matching.
• The paper provides a geometric construction that realizes the modularity of the threefold through fiber products of elliptic modular surfaces.