🔢 mathematics

Tautological systems and local cohomology

This paper explores the connections between tautological systems and the local cohomology of cones over homogeneous spaces by introducing a derived version based on the Chevalley–Eilenberg complex and demonstrating that it underlies a complex of mixed Hodge modules in many cases.

Original authors: Paul Görlach, Thomas Reichelt, Christian Sevenheck, Uli Walther

Published 2026-07-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Paul Görlach, Thomas Reichelt, Christian Sevenheck, Uli Walther

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 the universe as a giant, invisible library where every shape, every curve, and every symmetry is written in a special language of math. This isn't just about drawing pretty pictures; it's about understanding the deep, hidden rules that govern how things move, change, and interact. In a branch of mathematics called algebraic geometry, researchers study shapes that exist in many dimensions, often using tools from calculus and algebra to decode their secrets. One of the most powerful tools in this library is something called a "D-module." Think of a D-module as a set of instructions or a recipe that tells a shape how to behave under specific transformations, like stretching or twisting. Another key concept is "local cohomology," which is like taking a magnifying glass to a specific spot on a shape to see what's happening right there, especially near the edges or the very center. Why does anyone care? Because these abstract rules often mirror the laws of physics and the structure of the universe itself. By figuring out how these mathematical shapes behave, scientists hope to unlock patterns that explain everything from the way light bends to the structure of the cosmos.

Now, picture a cone. Not the ice cream kind you eat, but a mathematical cone that stretches out infinitely from a point, built over a fancy, curved shape called a "homogeneous space" (a shape that looks the same no matter where you stand on it). The authors of this paper, Paul Görlach, Thomas Reichelt, Christian Sevenheck, and Uli Walther, are investigating a very specific relationship between these cones and the "recipes" (D-modules) that describe them. They are looking at something called "tautological systems," which are essentially these special recipes that arise naturally when you study symmetries. The big question they tackle is: Can we understand these complex recipes by looking at the "local cohomology" of the cone? In other words, if we zoom in on the cone's surface and its singular point (the tip), can we reconstruct the entire mathematical story of the shape?

The paper's main finding is a resounding "yes," but with some very specific conditions. The authors prove that for cones built over certain smooth, symmetric shapes (specifically, projective homogeneous spaces), these tautological systems are deeply connected to the local cohomology of the cone. They show that these systems can be described using a "derived" version of a complex mathematical tool called the Chevalley–Eilenberg–Euler–Koszul complex. To make this concrete, imagine the cone as a giant, multi-layered cake. The authors demonstrate that the "flavor" of the cake (the tautological system) is perfectly determined by the ingredients found in the layers near the center and the layers near the crust. They establish that in many cases, these systems aren't just random collections of numbers; they underlie "mixed Hodge modules," which are like a sophisticated grading system that organizes the information by "weight" (a measure of complexity or purity).

Crucially, the paper rules out the idea that these systems behave the same way for every possible setting. They show that if the cone is "Gorenstein" (a specific type of geometric smoothness) and the dimension of the base shape is greater than zero, then the system behaves in a very predictable, "colocalized" way. This means the system is entirely determined by what happens on the open part of the cone (away from the tip). However, they argue that if the parameters change slightly (specifically, if a certain mathematical character $\beta$ is not zero or a specific value $\gamma$ ), the system might vanish entirely or behave differently. They prove that for these specific cones, the only times the system is non-zero and interesting are when the parameters are exactly 0 or a specific value $\gamma$ related to the shape's geometry.

The authors are quite sure about their results because they provide rigorous mathematical proofs, not just simulations or guesses. They use a mix of algebraic geometry, Lie theory (the study of continuous symmetries), and topology to build their case. They show that the cohomology groups (the "layers" of the cake) can be broken down into pieces that correspond to the local cohomology of the cone and the cohomology of a specific subgroup (the parabolic subgroup $P_0$ ). They even provide a formula that lets you calculate the "local cohomological defect" (a measure of how singular or "crumpled" the cone is) directly from the properties of these systems.

In the end, this paper acts like a master key. It connects three seemingly different worlds: the abstract recipes of tautological systems, the local behavior of cones, and the global topology of homogeneous spaces. By showing that these worlds are actually the same place viewed from different angles, the authors give mathematicians a new way to solve problems. They show that if you want to understand the complex behavior of a high-dimensional shape, you can often just look at its local cohomology and its symmetry group. This isn't just a theoretical curiosity; it provides a concrete toolkit for calculating things that were previously very hard to pin down, offering a clearer picture of the mathematical structures that underpin our understanding of symmetry and space.

Technical Summary: Tautological Systems and Local Cohomology

Problem Statement
This paper investigates the relationship between two distinct mathematical structures: the local cohomology modules of cones over smooth projective varieties and equivariant differential systems known as tautological systems. Specifically, the authors focus on the case where the underlying variety is a homogeneous space $X = G_0/P_0$ . The central object of study is the derived version of the tautological system, denoted $\hat{T}(\rho, \hat{X}, \beta)$ , which is defined as the terminal cohomology of a complex generalizing the Chevalley–Eilenberg complex and the Euler–Koszul complex. The primary goal is to establish a functorial interpretation of this complex, relate it to the local cohomology of the affine cone $\hat{X}$ , and determine its underlying mixed Hodge module structure and weight filtration.

Methodology
The authors employ a synthesis of algebraic analysis (D-modules), Lie theory, and Hodge theory. The methodology proceeds through the following steps:

Local Cohomology of Cones (Section 2): The authors first analyze the local cohomology of cones over arbitrary smooth projective varieties. By utilizing adjunction triangles in the derived category of mixed Hodge modules ($DbMHM$) and the properties of the punctured cone, they relate the cohomology of the cone to the cohomology of the base variety $X$ and the punctured cone. They explicitly determine the weight filtrations of these local cohomology groups, showing they are governed by the primitive and kernel cohomology of $X$ .
Derived Tautological Systems and Colocalization (Section 3): The paper revisits the Chevalley–Eilenberg–Euler–Koszul complex $\hat{T}(\rho, \hat{X}, \beta)$ . Using Lie-theoretic methods and the properties of equivariant D-modules, the authors prove a "colocalization" property. They demonstrate that for $\beta \neq 0$ , the complex $\hat{T}(\rho, \hat{X}, \beta)$ is isomorphic to the extension by zero of its restriction to the open orbit (the punctured cone). For the Gorenstein case with $\beta = 0$ , a dual "localization" property holds. This relies on vanishing theorems for Lie algebra homology of the coordinate ring of the cone.
Restriction to the Open Orbit (Section 4): The authors analyze the restriction of the complex to the open orbit $Y = \hat{X} \setminus \{0\}$ . By leveraging the transitive action of the group $G$ on $Y$ and the connectedness of the stabilizer $P$ , they utilize a spectral sequence argument (analogous to the Hochschild–Serre spectral sequence) to identify the restricted complex with a tensor product involving the cohomology of the Lie algebra of the stabilizer. This allows them to express the global complex $\hat{T}$ in terms of the direct and inverse image functors of the structure sheaf of the group $G$ and the parabolic subgroup $P$ .

Key Contributions and Results

Functorial Identification (Theorem 1.2 / Theorem 4.7): The paper establishes isomorphisms in the derived category of holonomic D-modules ( $Db_h(D_V)$ ) relating the tautological system to geometric objects. Specifically, if $\hat{X}$ is Gorenstein and $\dim X > 0$ :
- $\hat{T}(\rho, \hat{X}, \gamma) \cong \iota^\dagger \mathcal{O}_Y \otimes_{\mathbb{C}} a^\dagger \mathcal{O}_{P_0}[d_{P_0}]$
- $\hat{T}(\rho, \hat{X}, 0) \cong \iota_+ \mathcal{O}_Y \otimes_{\mathbb{C}} a_+ \mathcal{O}_{P_0}$
  Here, $\iota$ is the inclusion of the punctured cone, $a$ is the structure map of the parabolic subgroup, and $\gamma$ is a specific character related to the canonical bundle.
Mixed Hodge Module Structure (Corollary 4.8): A significant contribution is the proof that these complexes underlie objects in the derived category of mixed Hodge modules ($DbMHM(V)$). This provides a Hodge-theoretic interpretation of the tautological systems, linking them to the cohomology of the group $G$ and the parabolic subgroup $P$ .
Explicit Cohomology Decomposition (Corollary 4.9): The authors provide an explicit decomposition of the cohomology modules $H^{-k}\hat{T}(\rho, \hat{X}, 0)$ in terms of the local cohomology of the cone $\hat{X}$ and the singular cohomology of the parabolic subgroup $P$ . This formula expresses the cohomology as a direct sum of tensor products of local cohomology groups $H^i_{\hat{X}}\mathcal{O}_V$ and $H^j(P, \mathbb{C})$ .
Weight Filtrations (Corollary 2.5, Corollary 4.10): The paper determines the weight filtrations of the local cohomology groups of the cone. It shows that for the case where $P$ is a Borel subgroup, the cohomology groups of the complex $\hat{T}(\rho, \hat{X}, 0)$ are pure or have weights in specific, computable ranges. This allows for the recovery of local cohomology groups of the cone from the weight filtration of the tautological system.
Non-Vanishing Criteria (Remark 4.13): The authors confirm that for a Gorenstein cone, the only integrable parameters $\beta$ for which the system $\hat{T}(\rho, \hat{X}, \beta)$ is non-zero are $\beta = 0$ and $\beta = \gamma$ .

Significance and Claims
The paper claims to provide a "functorial interpretation" of the Chevalley–Eilenberg–Euler–Koszul complex, bridging the gap between the abstract definition of tautological systems and the concrete geometric data of local cohomology. By showing that these systems underlie mixed Hodge modules, the authors extend the duality theory of these systems (previously studied in [GS25]) to a Hodge-theoretic context.

The authors note that their results allow for the interpretation of the local cohomological defect of the cone in terms of the cohomology of the tautological system. Furthermore, they suggest that the Hodge filtration on $\hat{T}(\rho, \hat{X}, 0)$ could provide a precise description of the du Bois complex of the cone, which has potential implications for the study of the underlying homogeneous space and mirror symmetry applications (referencing [RS17, RS20]), though they explicitly state that a thorough discussion of these applications is left for subsequent work.

The work continues the study of equivariant D-modules initiated in [GRSSW26] and [GS25], generalizing previous results on colocalization from terminal cohomology modules to the entire derived complex.

More like this