Notes on the decomposition theorem for blowups

This paper examines the arithmetic and Hodge-theoretic properties of the isomorphisms in the decomposition theorem for the quantum cohomology of blowups, which are essential for addressing rationality questions raised by Katzarkov, Kontsevich, Pantev, and Yu.

The Gist

The Big Picture: Smashing a Hole and Reassembling the Puzzle

Imagine you have a beautiful, complex sculpture (let's call it $X$). Now, imagine you decide to punch a hole in it and replace that hole with a new, intricate structure (like a fancy vase or a tower). In mathematics, this process is called a blowup. The new sculpture is called $\tilde{X}$.

The paper asks a very specific question: If we know everything about the original sculpture ($X$) and the thing we put in the hole ($Z$), can we perfectly reconstruct the new sculpture ($\tilde{X}$)?

The answer is "Yes," but it's not a simple glue job. It requires a very sophisticated mathematical "translation manual" called the Decomposition Theorem. This paper is about checking the quality and origin of that translation manual.

---

1. The Translation Manual (The Decomposition Theorem)

Think of the quantum cohomology (the "DNA" of the shape that tells us how light and curves interact with it) as a massive library of books.

• The Old Library ($X$): Contains books about the original shape.
• The Insert Library ($Z$): Contains books about the object we put in the hole.
• The New Library ($\tilde{X}$): The library for the modified shape.

The Decomposition Theorem says that the New Library is actually just a mashup of the Old Library and several copies of the Insert Library.

Mathematically, it looks like this:
$$\text{New Library} \approx \text{Old Library} + \text{Insert Library} + \text{Insert Library} + \dots$$

However, you can't just stack the books on top of each other. You need a translator (the map $\Psi$) to rearrange the pages so they make sense in the new context. This paper is about studying that translator.

2. The "Recipe" Ingredients (Arithmetic Properties)

The author, Iritani, is checking the ingredients used to write this translator.

The Question: Are the instructions written in a universal language, or are they using weird, specific numbers that only work in one tiny corner of the universe?

The Discovery: The translator is surprisingly "clean."

• The Cyclotomic Field: Imagine you are baking a cake. Most recipes might use "a pinch of magic dust." Iritani shows that the ingredients here are actually standard, rational numbers mixed with specific roots of unity (like $\sqrt{-1}$ or the 5th root of 1).
• The Analogy: It's like discovering that a complex, futuristic machine isn't built with alien alloys, but with standard steel and a few specific, predictable gears. This is huge because it means the math is "arithmetic" (based on numbers we understand) rather than chaotic.

3. The "Hodge" Filter (Hodge-Theoretic Properties)

This is the most abstract part, so let's use a stained-glass window analogy.

• The Window ($X$): A stained-glass window has a specific pattern of colors. Some colors are "pure" (like a solid red patch), while others are mixed.
• Hodge Classes: These are the "pure" colors or patterns that have a special symmetry. In math, these represent geometric shapes that can actually be drawn (algebraic cycles).
• The Translator's Job: When the translator moves information from the Old Library to the New Library, does it mess up the purity?

The Discovery: The translator is Hodge-equivariant.

• The Analogy: Imagine you have a filter that only lets "pure red" light through. If you shine a "pure red" light through the translator, it comes out the other side still "pure red." It doesn't turn into "muddy brown."
• Why it matters: This proves that the mathematical relationship between the shapes respects their underlying geometric reality. If you start with a "real" geometric shape, the math guarantees you end up with a "real" geometric shape, not just a theoretical ghost.

4. Why This Matters (The "So What?")

You might wonder, "Who cares if the translator uses standard numbers or keeps the colors pure?"

The paper mentions that this work supports a project by Katzarkov, Kontsevich, Pantev, and Yu regarding rationality questions.

• The Real-World Analogy: Imagine you are trying to prove that a complex, chaotic machine is actually just a simple, rational machine in disguise.
• To prove this, you need to show that the "translation" between the complex view and the simple view doesn't introduce any "irrational" chaos.
• Iritani's paper provides the quality control report. It says: "Don't worry, the translation is safe. It uses standard numbers, and it preserves the geometric purity. Therefore, we can trust the conclusion that the machine is rational."

Summary in One Sentence

This paper proves that the mathematical "translation manual" used to understand how a shape changes when you punch a hole in it is built from standard, predictable numbers and perfectly preserves the geometric "purity" of the shapes involved, which is a crucial step in solving deep problems about the nature of these shapes.

Technical Summary

Based on the provided notes by Hiroshi Iritani, here is a detailed technical summary of the paper "Notes on the Decomposition Theorem for Blowups."

1. Problem Statement

The paper addresses the arithmetic and Hodge-theoretic properties of the Decomposition Theorem for the quantum cohomology of blowups.

• Context: Let $X$ be a smooth projective variety and $Z \subset X$ a smooth subvariety of codimension $r \geq 2$. Let $\tilde{X}$ be the blowup of $X$ along $Z$.
• The Theorem: Previous work (specifically Iritani [4]) established an isomorphism of formal quantum D-modules:
  $$\Psi: QDM(\tilde{X})^{la} \cong \tau^* QDM(X)^{la} \oplus \bigoplus_{j=0}^{r-2} \varsigma_j^* QDM(Z)^{la}$$
  This isomorphism relies on formal maps $\tau: H^*(\tilde{X}) \to H^*(X)$ and $\varsigma_j: H^*(\tilde{X}) \to H^*(Z)$, which induce a formal isomorphism on the cohomology rings.
• The Gap: While the existence of these maps was established, their precise arithmetic nature (field of definition) and their behavior with respect to Hodge structures were not fully detailed. These properties are crucial for applications to rationality questions in mirror symmetry, specifically those proposed by Katzarkov-Kontsevich-Pantev-Yu [5].

2. Methodology

Iritani employs a combination of arithmetic geometry, Hodge theory, and quantum cohomology reconstruction techniques.

• Arithmetic Analysis: The author analyzes the coefficients of the formal power series defining the maps $\tau$, $\varsigma_j$, and the isomorphism $\Psi$. By tracing the construction back to discrete Fourier transforms and specific integral formulas involving Novikov variables, the paper determines the specific cyclotomic fields over which these maps are defined.
• Hodge-Theoretic Framework: The paper utilizes the Universal Hodge Group ($\text{Hod}$), an affine group scheme associated with the category of polarizable $\mathbb{Q}$-Hodge structures.
  • It establishes that the big quantum product is equivariant with respect to this group.
  • It defines "complexified Hodge classes" as elements fixed by the action of $\text{Hod}_{\mathbb{C}}$.
• Reconstruction via Birkhoff Factorization: To prove the equivariance of the decomposition isomorphism, the author uses the reconstruction method (referencing Hinault-Yu-Zhang-Zhang [3]). This involves:
  1. Defining initial conditions ($\tau^\circ, \varsigma^\circ_j, \Psi^\circ$) at the large radius limit ($Q=\tilde{\tau}=0$).
  2. Constructing a block-diagonal endomorphism $M$ using fundamental solutions of the quantum connections for $X$ and $Z$.
  3. Using Birkhoff factorization to uniquely determine the full isomorphism $\Psi$ and the coordinate changes from the initial conditions.
  4. Proving that the initial conditions and the factorization process preserve the $\text{Hod}_{\mathbb{C}}$-equivariance.

3. Key Contributions and Results

A. Arithmetic Properties (Proposition 3)

The paper refines the field of definition for the decomposition maps:

• Cyclotomic Definition: The maps $\tau(\tilde{\tau})$, $\varsigma_j(\tilde{\tau})$, and the isomorphism $\Psi$ are essentially defined over the cyclotomic field $\mathbb{Q}(e^{\pi i / (r-1)}) = \mathbb{Q}(e^{2\pi i / s})$, where $s$ depends on the parity of the codimension $r$.
• Explicit Coefficients: The components of the maps, when expressed in terms of the variable $q = -e^{-\pi i t}$, are formal power series with coefficients in this cyclotomic field.
• Monodromy: The maps $\varsigma_j$ and $\Psi_{Z,j}$ for $j > 0$ are obtained from the $j=0$ case via monodromy transformations (specifically, replacing $t$ with $e^{-2\pi i j}t$).

B. Hodge-Theoretic Properties (Proposition 8 & Corollary 11)

The central result concerns the preservation of Hodge structures:

• Equivariance: The formal maps $\tau$, $\varsigma_j$, and the isomorphism $\Psi$ are $\text{Hod}_{\mathbb{C}}$-equivariant. This means they commute with the action of the universal Hodge group.
• Preservation of Hodge Classes:
  • If the parameter $\tilde{\tau} \in H^*(\tilde{X})$ is a complexified Hodge class (an element of the subspace fixed by $\text{Hod}_{\mathbb{C}}$), then the images $\tau(\tilde{\tau})$ and $\varsigma_j(\tilde{\tau})$ are also complexified Hodge classes in $H^*(X)$ and $H^*(Z)$, respectively.
  • Consequently, the isomorphism $\Psi$ restricted to complexified Hodge classes preserves this subspace.
• Algebraic Classes: A similar argument (Remark 12) suggests these maps also preserve complexified algebraic classes (linear combinations of Poincaré duals of algebraic cycles), provided the parameter is algebraic.

4. Significance

• Foundation for Rationality Questions: The results provide the necessary technical underpinning for the rationality questions studied by Katzarkov-Kontsevich-Pantev-Yu [5]. The preservation of Hodge classes is a prerequisite for establishing rationality properties of the quantum cohomology of blowups.
• Clarification of Structure: The paper clarifies that the "mysterious" formal isomorphisms in the decomposition theorem are not arbitrary; they respect deep arithmetic and geometric structures (cyclotomic fields and Hodge groups).
• Methodological Advancement: By utilizing the Universal Hodge Group and Birkhoff factorization, the paper offers a transparent and robust method for proving equivariance properties in quantum cohomology, bypassing the need for overly complex direct computations of the original construction in [4].

In summary, Iritani's notes confirm that the decomposition of the quantum cohomology of a blowup is not just a formal algebraic isomorphism but a geometrically and arithmetically structured map that respects the underlying Hodge theory of the varieties involved.