🔢 mathematics

Weight decomposition for toroidal abelian fibrations

This paper investigates the action of rational multiplication maps on the Chow groups of toroidal degenerations of principally polarized abelian varieties, utilizing these results to establish a generalized weight decomposition of their relative Chow motives and to fully characterize their tautological rings.

Original authors: Younghan Bae, Jeremy Feusi, Aitor Iribar Lopez, Sam Molcho

Published 2026-08-17

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Younghan Bae, Jeremy Feusi, Aitor Iribar Lopez, Sam Molcho

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ 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 trying to organize a massive, chaotic library where every book is a shape, and the shelves themselves are constantly shifting and changing. This is the world of algebraic geometry, a branch of mathematics where researchers study shapes defined by equations. In this library, there is a special section dedicated to "abelian varieties." Think of these as highly structured, multi-dimensional donuts that serve as the fundamental building blocks for understanding complex geometric spaces. They are like the periodic tables of this geometric world: predictable, symmetric, and incredibly useful for solving puzzles in number theory and physics.

However, just like a real library, these mathematical spaces sometimes get messy. Sometimes, the "donuts" break apart or stretch out into infinite tubes, a process mathematicians call "degeneration." When this happens, the neat rules that usually apply to the perfect donuts start to crumble. The big question for a long time has been: Can we still organize the books (the mathematical cycles) in these broken, messy sections of the library? Can we find a pattern in the chaos? This paper tackles that exact problem, focusing on the simplest kind of mess: when a donut breaks into a single tube. The authors want to know if we can still sort the shapes into neat categories, even when the geometry is on the verge of falling apart.

The team of researchers—Younghan Bae, Jeremy Feusi, Aitor Iribar L´opez, and Sam Molcho—has successfully mapped out this messy territory. They discovered that even when the abelian varieties degenerate into these "toroidal" shapes (which are like donuts with a hole that has been stretched into a long, thin tube), the underlying structure is far more orderly than anyone thought. They proved that the "Chow groups"—which are essentially the mathematical way of counting and categorizing these shapes—can be split into distinct, non-overlapping layers based on a property they call "weight."

Think of "weight" like the different floors of a skyscraper. In a perfect, unbroken donut, all the shapes sit neatly on specific floors. The authors showed that even in the broken, tube-like versions, the shapes still know exactly which floor they belong to. They developed a new "elevator" (a mathematical tool called the Fourier transform) that can move between these floors without getting lost. Using this elevator, they were able to calculate the exact "address" of a very special shape called the "unit section" (imagine the central pillar holding up the whole building). They found a precise formula for this address, which had been a mystery for years, and even proved that a previous guess made by other mathematicians was correct, fixing a small error in the original proof.

Perhaps the most exciting part of their discovery is that they completely wrote down the "rulebook" for this specific type of messy geometry. They listed every single rule that connects the different shapes together, showing that there are no hidden surprises left in this particular corner of the library. They also proved that the "weight" system they invented is consistent: if you combine two shapes, their weights add up in a predictable way, just like mixing paints or stacking blocks. This means that despite the geometric chaos of the boundary where the shapes break, the mathematical logic remains rigid, beautiful, and completely understood. The paper doesn't just suggest these patterns exist; it provides a rigorous, step-by-step proof that the tautological ring (the collection of all these special shapes) is fully determined by a specific set of generators and relations, effectively solving the puzzle of how to organize these degenerating shapes.

Technical Summary: Weight Decomposition for Toroidal Abelian Fibrations

Problem Statement
The paper investigates the intersection theory and motivic structure of the universal family of principally polarized abelian varieties over a specific partial toroidal compactification. Let $X_g \to A_g$ be the universal abelian scheme over the moduli stack of principally polarized abelian varieties of dimension $g$ . The authors extend the study of algebraic cycles from the interior $X_g$ to the Mumford partial compactification $X'_g \to A'_g$ , which parametrizes degenerations of torus rank at most one.

While the rational Chow ring $CH^*(X_g)$ is known to admit a multiplicative splitting into eigenspaces of the multiplication-by- $N$ map and possesses a well-understood tautological ring, these properties are not immediately obvious for the compactified family $X'_g$ . The family $X'_g$ is no longer a relative group scheme but a birational model of a log abelian scheme. The central challenge is to generalize the known results regarding the weight decomposition of the relative Chow motive and the structure of the tautological ring to this singular boundary setting.

Methodology
The authors employ a combination of logarithmic geometry, Fourier-Mukai transforms, and combinatorial tropical geometry to analyze the action of the multiplication-by- $N$ map on Chow groups.

Logarithmic Geometry and Resolutions: The authors utilize the theory of log abelian schemes (Kajiwara–Kato–Nakayama) to resolve the indeterminacy of the rational multiplication-by- $N$ map. They construct small resolutions of the relative self-fiber products $X'_g \times_{A'_g} \cdots \times_{A'_g} X'_g$ using log blow-ups. This allows them to define the action of $[N]_*$ on Chow groups rigorously.
Tropicalization and Piecewise Polynomials: A core technical innovation is the reduction of the action of $[N]_*$ on tautological classes to combinatorial calculations on tropical abelian schemes. By relating the Chow groups of the log scheme to the ring of strict piecewise polynomials ($sPP$) on the associated Artin fan (a cone complex $\Sigma^{(s)}$ ), the authors translate geometric operations into operations on piecewise polynomial functions.
Fourier Transform: The paper extends the Fourier-Mukai transform to the boundary. Using the extended Poincaré line bundle constructed in previous work, they establish an autoequivalence on the derived category of coherent sheaves and its realization on Chow groups. This transform is used to compute the class of the unit section and to prove the preservation of the tautological ring.
Weight Analysis: The authors define a weight filtration based on the polynomial degree of the action of $[N]_*$ . They prove that tautological classes have finite weights and establish precise bounds on these weights using the combinatorial framework developed for the tropical setting.

Key Contributions and Results

The Class of the Unit Section (Theorem A): The authors derive a closed formula for the fundamental class $[e]$ of the unit section $e: A'_g \to X'_g$ in terms of tautological classes. The formula involves the Theta divisor $\theta$ , the boundary divisor, and Bernoulli numbers. This result generalizes previous formulas for the semi-abelian locus and confirms a conjectured formula by Grushevsky and Zakharov ( $GZ_g$ ), resolving an oversight in their original proof regarding the boundary contributions.
Motivic Decomposition (Theorem B): The paper proves that the relative Chow motive of $X'_g$ admits a decomposition into a direct sum of motives $h_k(X'_g)$ for $0 \le k \le 2g$ . This decomposition corresponds to the eigenspaces of the multiplication-by- $N$ map. Specifically, the class $[\tau_N]_t$ (the transpose of the graph of multiplication by $N$ ) is shown to be a polynomial in $N$ of degree $2g$ , with coefficients acting as orthogonal projectors. This confirms the Corti–Hanamura conjecture for this specific compactification.
Tautological Ring Structure (Theorems C and D): The authors provide a complete presentation of the tautological ring $R^*(X'_g)$ . They identify the generators (Chern classes of the Hodge bundle, the Theta divisor, and piecewise polynomial classes) and the relations. The relations are categorized into three types: those coming from the base, those arising from the recursive structure of the boundary, and "weight vanishing" relations (classes of weight greater than $2g$ vanish).
Fourier Invariance (Theorem E): It is proven that the Fourier transform and its inverse preserve the tautological subring $R^*(X'_g)$ . An algorithm is provided to compute the Fourier transform of tautological classes, demonstrating that the ring is closed under pushforward maps from relative fiber products.
Weight Decomposition and Perverse Filtration (Theorem F & Proposition 6.11): The paper establishes that the weight filtration $W_\bullet$ defined by the multiplication-by- $N$ map coincides with the perverse filtration $P_\bullet$ defined via the Fourier transform. This "P=W" phenomenon is proven using the explicit weight bounds of tautological classes derived from the combinatorial analysis.

Significance
The paper claims to provide the first comprehensive structural description of the Chow ring and motivic decomposition for a toroidal compactification of the universal abelian scheme that includes the boundary. By generalizing the results of Beauville and Deninger–Murre from the abelian locus to the toroidal boundary, the authors demonstrate that the rich structure of algebraic cycles (weight decomposition, tautological rings, Fourier invariance) persists even in the presence of singularities and degenerations.

The work serves as a foundational step for understanding the intersection theory of more general toroidal compactifications. The authors note that while their methods rely on the relatively simple geometry of the rank-one boundary, the techniques (particularly the logarithmic resolution and combinatorial weight analysis) are expected to extend to deeper compactifications, albeit with increased combinatorial complexity. The results also connect to the study of compactified Jacobians and double ramification cycles, providing a unified framework for these objects.

More like this