Hasse-Witt invariants of Calabi-Yau varieties

✨

This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a detective trying to solve a mystery about a very special kind of geometric shape called a Calabi-Yau variety. These shapes are like the "skeletons" of our universe in string theory, but they are incredibly complex, existing in many dimensions.

The paper you are asking about is written by three mathematicians (Jin Cao, Mohamed Elmi, and Hossein Movasati) who are trying to figure out how to identify a specific "fingerprint" of these shapes when they are viewed through a very strange, mathematical lens called modular arithmetic (basically, doing math with a clock where numbers wrap around after a certain point, like a prime number $p$ ).

Here is the story of their discovery, broken down into simple concepts:

1. The Two Ways to Take a Fingerprint

The authors are trying to define something called the Hasse-Witt invariant. Think of this as a unique ID card or a fingerprint for these geometric shapes. They propose two different ways to find this fingerprint:

Method A: The "Magic Copy Machine" (Cartier Operator).
Imagine you have a piece of paper with a drawing on it. You put it through a special machine (the Cartier operator) that tries to copy the drawing but only keeps the parts that fit perfectly into a grid of size $p$ . The result tells you something specific about the shape's structure. This is a very old, classical method used for simpler shapes (like ellipses).
Method B: The "Recipe Book" (Calabi-Yau Modular Forms).
The third author has been writing a new "cookbook" (theory of modular forms) specifically for these complex shapes. This book contains special recipes (polynomials) that, when you plug in the shape's coordinates, should also reveal the fingerprint.

The Big Guess: The authors suspect that Method A and Method B are actually the same thing. They are like two different maps leading to the same treasure. They have tested this on hundreds of examples, and so far, the maps always match!

2. The Mirror World and the "q-Expansion"

To understand these shapes better, mathematicians use a concept called Mirror Symmetry. Imagine looking at a shape in a mirror. The reflection (the mirror shape) looks different, but it holds the same secrets.

The Periods: To read the secrets, they measure "periods." Imagine the shape is a drum, and you strike it. The sound waves (periods) travel through the shape. These waves can be written as an infinite list of numbers (a series).
The Mirror Map: There is a magical translator (the mirror map) that converts the coordinates of the shape into a new language called $q$ -expansion. It's like translating a complex poem into a simple song.
The Conjecture: The authors guess that if you take the "fingerprint" (Hasse-Witt invariant) and translate it into this song language ( $q$ ), it simplifies to a constant number (specifically, 1). It's as if the complex noise of the shape, when viewed through this specific lens, resolves into a perfect, silent hum.

3. The Computer Detective Work

Mathematicians love to test their theories with computers. The authors wrote a program to check their guesses against 545 different mathematical "machines" (differential operators) that describe these shapes.

The Success Rate: For 460 out of 545 machines, their theory held up perfectly. The fingerprint matched the prediction.
The Mystery Cases: For the remaining 85 machines, things got weird. Sometimes the fingerprint didn't match the simple prediction. Instead, it looked like the fingerprint was a "shadow" of a deeper, more complex pattern.
- Analogy: Imagine you are trying to guess a secret number. Usually, the answer is just "1". But for these tricky cases, the answer looks like "1 plus a bunch of other numbers that only appear when you use a specific type of clock."
- They discovered that for these tricky cases, the answer depends on whether the prime number $p$ behaves in a specific way in a "parallel universe" of numbers (specifically, the field $\mathbb{Q}(\sqrt{-5})$ ). If the prime is "inert" (doesn't split), the fingerprint behaves in a very specific, predictable way involving powers.

4. Why Does This Matter?

You might ask, "Why do we care about fingerprints of invisible shapes?"

Unifying Math: This work tries to connect two huge, separate worlds of mathematics: the world of geometry (shapes) and the world of number theory (prime numbers and modular forms).
String Theory: Since Calabi-Yau shapes are the building blocks of string theory, understanding their "fingerprints" helps physicists understand the fundamental laws of the universe.
The "Disguised" Connection: The paper suggests that the complex equations governing these shapes are actually just "disguised" versions of simpler, well-known number patterns. By finding the fingerprint, they are pulling back the curtain to reveal the simple truth underneath.

Summary

In short, this paper is a detective story where mathematicians are trying to prove that two different ways of measuring the "soul" of a complex geometric shape are actually the same. They used a supercomputer to test their theory on hundreds of examples. While most examples confirmed their theory, a few stubborn cases revealed even deeper, stranger patterns that depend on the specific properties of prime numbers. It's a beautiful blend of geometry, algebra, and computer science, suggesting that the universe's hidden shapes follow a very strict, rhythmic code.

1. Problem Statement

The paper addresses the definition and computation of Hasse-Witt (HW) invariants for Calabi-Yau (CY) varieties over fields of characteristic $p > 0$ .

Context: For elliptic curves, the HW invariant is well-understood via the Cartier operator acting on differential forms and is linked to modular forms (specifically, it relates to the truncation of the holomorphic period).
Gap: While the theory exists for elliptic curves, a unified, geometric definition and computational framework for higher-dimensional Calabi-Yau varieties ( $n \geq 2$ ) is less developed.
Core Question: Can the HW invariant for CY varieties be defined via the Cartier operator and simultaneously via the theory of Calabi-Yau modular forms (developed by the third author)? Furthermore, do these two definitions coincide, and does the HW invariant relate to the truncation of the holomorphic period in the $p$ -adic setting?

2. Methodology

The authors employ a dual approach combining algebraic geometry, arithmetic geometry, and computational verification:

A. Theoretical Framework

Moduli Space Construction: They define a moduli space $S$ of pairs $(X, \alpha)$ , where $X$ is a polarized Calabi-Yau $n$ -fold and $\alpha$ is a holomorphic $n$ -form. They conjecture that $S$ has a natural affine scheme structure over $\mathbb{Z}[1/N]$ with global regular functions $t_i$ that transform homogeneously under the scaling of $\alpha$ .
Two Definitions of HW Invariant:
- Method 1 (Cartier Operator): Using the Cartier operator $C$ on the sheaf of differential forms. For a CY variety with form $\alpha$ , $C(\alpha) = HW(X, \alpha)^{1/p} \alpha$ .
- Method 2 (CY Modular Forms): Utilizing the algebra of CY modular forms. They propose that the HW invariant is a specific homogeneous polynomial $A_p(t)$ of weighted degree $p-1$ in the coordinates of the moduli space.
Mirror Symmetry and Periods: They utilize the mirror map $z \to q$ (relating complex moduli to Kähler moduli) and the Picard-Fuchs equations. They analyze the holomorphic period $\psi_0(z)$ and its truncation modulo $p$ .

B. Conjectures

The paper formulates three central conjectures:

Conjecture 1: The moduli space $S$ of pairs $(X, \alpha)$ is a fine moduli space with an affine scheme structure, admitting a universal family and global coordinates $t_i$ .
Conjecture 2: The HW invariant $HW(X_z, \alpha_z)$ is (up to sign) the truncation of the holomorphic period at degree $p-1$ . Furthermore, the quantity $A_p(z) = \psi_0(z)^{p-1} HW(X_z, \alpha_z)$ , when expressed in terms of the mirror variable $q$ , has $p$ -integral coefficients and reduces to a constant ( $\equiv 1 \pmod p$ ).
Conjecture 3: In the language of the moduli space $S$ , there exists a homogeneous polynomial $A_p(t)$ of degree $p-1$ such that $C(\alpha) = A_p(t)^{1/p} \alpha$ , and its $q$ -expansion satisfies $A_p(t(q)) \equiv 1 \pmod p$ .

C. Computational Verification

The authors automated the verification of these conjectures using SageMath.
They tested the conjectures on:
- The first 200 primes.
- Four specific families of hypergeometric Calabi-Yau threefolds (from the AESZ list).
- A broader list of 545 Calabi-Yau differential operators.
They computed explicit $q$ -expansions for modular forms and HW invariants to high orders ( $O(q^{200})$ or $O(z^{10000})$ ).

3. Key Contributions

A. Equivalence of Definitions

The paper provides strong evidence that the Cartier operator definition and the Calabi-Yau modular form definition of the HW invariant are equivalent. They demonstrate that the HW invariant can be expressed as a polynomial in the moduli coordinates, generalizing the classical result for elliptic curves (where $A_p$ is related to Eisenstein series).

B. Generalization of the "Truncation" Phenomenon

They generalize the known result for elliptic curves (where the HW invariant is the coefficient of $x^{p-1}$ in the expansion of the defining polynomial) to higher dimensions. They show that for hypergeometric CY varieties, the HW invariant corresponds to the truncation of the holomorphic period.

C. Discovery of "Exotic" Behavior (Conjecture 4)

In Section 4, the authors investigate a specific Calabi-Yau operator (derived from AESZ list item b1) where Conjecture 2 fails in a standard sense.

Finding: For this operator, the HW invariant $A_p(z)$ is not simply 1 modulo $p$ . Instead, it behaves as a $p$ -th power of a series when $p$ is an inert prime in $\mathbb{Q}(\sqrt{-5})$ .
Result: They propose Conjecture 4: If $p$ is inert in $\mathbb{Q}(\sqrt{-5})$ , then $A_p(z) \equiv_p (\sqrt{1 - 23 \cdot 5^5 z})^p$ . This links the arithmetic properties of the HW invariant to the splitting behavior of primes in quadratic fields, a phenomenon not previously highlighted in this context.

D. Explicit Formulas and Tables

The paper provides explicit formulas for the Cartier operator action on specific families of CY threefolds (e.g., Mirror Quintic, weighted projective hypersurfaces) and lists the resulting polynomials $A_p(x, y)$ for small primes in Table 1.

4. Results

Theorem 1: Conjectures 1, 2, and 3 are verified to be true for the first 200 primes and up to order $O(q^{200})$ for four families of hypergeometric Calabi-Yau threefolds (Mirror Quintic and three others from [AvEvSZ10]).
Verification of Conjecture 2: For 460 out of 545 tested Calabi-Yau operators, the relation $A_p(z) \equiv_p 1 + O(z^{600})$ holds for the first 100 primes.
Counter-examples and Refinement: For the remaining 85 operators, the simple truncation conjecture fails. However, a refined pattern emerges where $A_p(z)$ is a $p$ -th power for inert primes in specific quadratic fields, leading to Conjecture 4.
Modular Forms: The authors successfully recover classical modular forms (like $E_4, E_6$ ) and their $q$ -expansions from the geometric construction of the moduli space $S$ for elliptic curves and CY varieties.

5. Significance

Unification: The work bridges the gap between the arithmetic geometry of the Cartier operator and the analytic theory of Calabi-Yau modular forms (Gauss-Manin connections in disguise).
Algorithmic Arithmetic Geometry: It provides a robust computational framework for calculating Hasse-Witt invariants for high-dimensional varieties, which are notoriously difficult to compute manually.
New Arithmetic Phenomena: The discovery of the link between HW invariants and the splitting of primes in quadratic fields (Conjecture 4) suggests a deeper, previously unknown connection between the geometry of CY moduli spaces and class field theory.
Foundation for Future Work: By establishing the affine structure of the moduli space of pairs $(X, \alpha)$ , the paper lays the groundwork for defining a theory of "Hasse-Witt modular forms" for higher-dimensional varieties, potentially aiding in the study of supersingular CY varieties and $p$ -adic cohomology.

In summary, the paper successfully extends the classical theory of Hasse-Witt invariants from elliptic curves to Calabi-Yau varieties, proposes a unified conjectural framework, and uses extensive computation to both validate the theory and discover new arithmetic subtleties.