Arithmetic Period Map and Complex Multiplication for Cubic Fourfolds

Abstract: We construct an arithmetic period map for cubic fourfolds, in direct analogy with Rizov's work on K3 surfaces. For each $N\geq 1$, we introduce a Deligne-Mumford stack $\widetilde{\mathcal{C}^{[N]}}$ of cubic fourfolds with level structure and prove that the associated period map $j_{N}:\widetilde{\mathcal{C}^{[N]}}_{\mathbb{C}}\to {\rm Sh}{K{N}}(L)_{\mathbb{C}}$ is algebraic, étale, and descends to $\mathbb{Q}$ whenever $N$ is coprime to $2310$. As an application, we develop complex multiplication theory for cubic fourfolds and show that every cubic fourfold of CM type is defined over an abelian extension of its reflex field. Moreover, using the CM theory for rank-21 cubic fourfolds, we provide an alternative proof of the modularity of rank-21 cubic fourfolds established by Livné.

• The paper constructs a smooth affine Deligne–Mumford stack for cubic fourfolds with level structure, enabling fine moduli spaces with trivial automorphisms.
• The paper establishes an algebraic, étale period map that descends to Q, linking cubic fourfolds to orthogonal Shimura varieties.
• The paper proves modularity for rank-21 cubic fourfolds by connecting their transcendental Galois representations with weight 3 CM newforms.

Arithmetic Period Map and Complex Multiplication for Cubic Fourfolds

Introduction and Objectives

The work "Arithmetic Period Map and Complex Multiplication for Cubic Fourfolds" (2512.11355) undertakes a comprehensive moduli-theoretic construction of the arithmetic period map for cubic fourfolds, paralleling Rizov's approach to K3 surfaces. The manuscript develops Deligne-Mumford stacks for cubic fourfolds with level structure, establishes the algebraicity and field of definition of associated period maps, and applies these results to the arithmetic theory of complex multiplication (CM) for cubic fourfolds. The paper also presents an alternative proof of the modularity, in the sense of the Langlands program, of rank-21 cubic fourfolds, independently confirming results of Livné.

Construction of Moduli Stacks and Period Maps

A central technical achievement is the construction of a smooth affine Deligne-Mumford stack $\widetilde{\mathcal{C}^{[N]}}$ parameterizing cubic fourfolds with level-$N$ structure, for $N \geq 3$ coprime to $2310$. The introduction of such moduli problems is crucial for obtaining fine moduli spaces with trivial automorphism groups, enabling representability by schemes rather than merely stacks.

For each $N$, the work defines a period map

$$j_{N}: \widetilde{\mathcal{C}^{[N]}}_{\mathbb{C}} \to \mathrm{Sh}_{K_N}(L)_{\mathbb{C}},$$

where $L$ is the polarized primitive cohomology lattice of signature $(20,2)$ and $K_N$ is a congruence-level subgroup. The map is shown to be algebraic, étale, and an open immersion. Most notably, for $N$ coprime to $2310$, $j_N$ descends to $\mathbb{Q}$, yielding a canonical $\mathbb{Q}$-model for the moduli of cubic fourfolds with level-$N$ structure.

Complex Multiplication Theory for Cubic Fourfolds

A significant portion is devoted to developing the theory of complex multiplication for cubic fourfolds of CM type (i.e., those for which the Hodge-theoretic Mumford-Tate group is commutative). Through a detailed analysis grounded in Shimura variety theory, the paper verifies that every CM cubic fourfold is defined over an abelian extension of its reflex field, aligning with the predictions of the Piatetski-Shapiro–Shafarevich conjecture for varieties of CM type.

An explicit description of CM points on the relevant orthogonal Shimura varieties is given. The author shows, via lattice-theoretic and period domain arguments, that for any imaginary quadratic field $K$, there exist infinitely many rank-21 cubic fourfolds (i.e., those with maximal algebraic rank, analogous to singular K3 surfaces) with reflex field $K$, and their images in the period domain are Zariski-dense.

Arithmetic Applications and Modularity of Rank-21 Cubic Fourfolds

The manuscript provides an alternative proof of Livné’s modularity theorem for rank-21 cubic fourfolds: the $L$-function of the transcendental $l$-adic Galois representation $T(X)$ attached to such a cubic fourfold $X/\mathbb{Q}$ coincides with the $L$-function of a weight 3 CM newform. This is achieved by constructing algebraic Hecke characters from the CM theory established, and verifying compatibility with the Galois representations via the theory of motives and étale cohomology.

It is emphasized that many rank-21 cubic fourfolds realizing such modularity have Fano varieties of lines not birational to the Hilbert square of any singular K3 surface—a point that, combined with density arguments, ensures the broad arithmetic relevance of these results.

Theoretical Implications

From a Hodge-theoretic perspective, the result robustly generalizes the CM theory from K3 surfaces to cubic fourfolds. The period map is shown not only to be algebraic and étale but also to satisfy a fine arithmetic descent property, thereby solidifying the connection between the geometry of cubic fourfolds, orthogonal Shimura varieties, and automorphic forms. This approach yields, in the context of cubic fourfolds, a direct moduli-theoretic alternative to the Hodge cycle-based constructions of Madapusi Pera.

The paper also supplies, as a byproduct, precise motivic decompositions of the main components of cohomology (notably, the transcendental motive), building on work by Bolognesi-Pedrini, Murre, Kahn, and Bülles.

Future Directions

The explicit arithmetic of cubic fourfolds with level structures constructed in this work opens the path towards:

• Explicit computation of Galois representations attached to their transcendental parts.
• Deeper investigation of the image of the period map, especially in positive characteristic, potentially relating to integral models of orthogonal Shimura varieties.
• Extension of the CM and period map frameworks to other hyperkähler and Calabi-Yau type varieties with K3-type transcendental cohomology.
• Further exploration of the birational-geometric structures of Fano varieties of lines for various special cubic fourfolds, especially those not arising from K3 surfaces.

Conclusion

This work establishes a fully moduli-theoretic arithmetic period map for cubic fourfolds, achieving precise analogues of the complex multiplication and modularity results previously known for K3 surfaces. The construction of affine moduli stacks with level structures and detailed analysis of their period maps provide a solid foundation for further advances in the arithmetic and geometry of cubic fourfolds and related algebraic varieties. The link with automorphic forms and modularity also continues to reinforce the deep connections between Hodge theory, arithmetic geometry, and the Langlands program.