🔢 mathematics

G-dimensions for DG-modules over commutative DG-rings

This paper introduces and investigates a G-dimension theory for DG-modules over commutative noetherian DG-rings, establishing criteria for its finiteness to characterize local Gorenstein properties and extending classical results like the Buchweitz-Happel Theorem to the DG-setting.

Original authors: Jiangsheng Hu, Xiaoyan Yang, Rongmin Zhu

Published 2026-05-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jiangsheng Hu, Xiaoyan Yang, Rongmin Zhu

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 an architect trying to understand the stability of a building. In the world of classical mathematics (specifically, commutative algebra), architects have long used a specific tool called G-dimension to measure how "well-behaved" or "regular" a structure is. If a building has a low G-dimension, it's like a sturdy, well-designed house. If it's infinite, the structure is fundamentally flawed or chaotic.

This paper, written by Hu, Yang, and Zhu, asks a big question: What happens if the building itself is made of shifting, moving parts?

In modern mathematics, we deal with DG-rings (Differential Graded rings). Think of these not as static buildings, but as living, breathing structures where the bricks can vibrate, shift, and interact over time (represented by a "differential"). The authors wanted to take their trusted G-dimension tool and see if it could measure the stability of these moving, complex structures.

Here is a breakdown of their journey and discoveries, using simple analogies:

1. The New Tool: G-dimension for Moving Structures

The authors defined a new version of G-dimension specifically for these "moving" DG-modules.

The Old Way: In a static building, you check if a wall is "reflexive" (it reflects light perfectly back to the source).
The New Way: They created a rule to check if a moving, vibrating structure reflects its own "shape" back to itself perfectly. If it does, they can assign it a G-dimension number. If it doesn't, the dimension is infinite (chaos).

2. The Surprise: The Rules Changed

In the old, static world, there was a rule that the G-dimension of a structure could never be lower than a certain negative number based on its size.

The Discovery: The authors found that in the world of moving DG-structures, this rule breaks. A structure can have a G-dimension that is "lower" (more negative) than the old rules predicted.
The Analogy: Imagine a scale that always said, "You can't weigh less than 10 pounds." The authors found a new type of object that weighs -5 pounds. They had to rewrite the rules of the scale to account for this new reality. This required a completely different method of proof than what mathematicians used for static rings.

3. The Three Big Applications

Once they built this new tool, they used it to solve three specific puzzles:

A. Measuring "Finite" Complexity (The Finitistic Dimension)

Mathematicians have a conjecture (a guess they hope is true) that there is a limit to how complex a finite structure can be before it breaks. This is called the Finitistic Dimension.

The Result: The authors showed that you can calculate this limit for these moving DG-structures using their new G-dimension tool. It's like saying, "To find the maximum height of a stable tower, just measure its G-dimension." This confirms that the limit exists for these complex structures.

B. The "Perfect" Structures (Cohen-Macaulay and Gorenstein)

In math, there are special classes of structures called Cohen-Macaulay (very stable) and Gorenstein (perfectly stable, like a diamond).

The Result: The authors proved that for these moving DG-structures, the relationship between "maximally stable" structures and "Gorenstein" structures is exactly the same as it was in the static world.
The Analogy: They proved that even if the building is vibrating, the definition of a "perfect diamond" structure remains consistent. If you find a structure that fits the "maximally stable" description, it is automatically a "perfect diamond" (Gorenstein), and vice versa.

C. The "Singularity" Mirror (Buchweitz-Happel Theory)

This is the most abstract part. Mathematicians study "singularities" (places where a structure breaks or becomes weird) by looking at a "shadow" or "mirror" category called the Singularity Category.

The Result: They extended a famous theorem (Buchweitz-Happel) to these moving structures. The theorem says: "A structure is a perfect diamond (Gorenstein) if and only if its 'shadow' (the singularity category) looks exactly like the 'stable' structures."
The Analogy: Imagine a broken mirror. If the reflection in the mirror looks exactly like the original object, then the mirror itself is actually perfect, not broken. The authors proved this holds true even for the vibrating, moving DG-structures.

Summary

The paper is a bridge. It takes a powerful, well-understood tool (G-dimension) from the world of static, simple mathematics and successfully adapts it for the complex, vibrating world of DG-rings.

They discovered that while the rules change slightly (the "weight" limits shift), the fundamental relationships between stability, perfection, and complexity remain intact. They proved that the "perfect" structures in this new, complex world are just as predictable and well-behaved as they are in the old, simple world.

In short: They built a new ruler for vibrating objects, found that the ruler works differently than expected, but confirmed that the "perfect" objects still stand out clearly, allowing mathematicians to solve long-standing puzzles about stability in complex algebraic systems.

Technical Summary: G-dimensions for DG-modules over Commutative DG-rings

Problem Statement
The paper addresses a gap in higher algebra: while the G-dimension (or Gorenstein dimension) is a well-established invariant for finitely generated modules over commutative noetherian rings (introduced by Auslander and Bridger) and for complexes over such rings (developed by Yassemi and Christensen), it had not been systematically defined or studied in the context of derived commutative algebra. Specifically, the authors aim to introduce and study G-dimensions for DG-modules over non-positively graded commutative noetherian DG-rings. This setting includes normalizations of simplicial commutative rings and is central to modern derived commutative algebra.

Methodology
The authors work within the derived category $D(A)$ of DG-modules over a commutative noetherian local DG-ring $A = \bigoplus_{i=-\infty}^0 A_i$ with bounded cohomology ( $\text{amp} A < \infty$ ). Their approach involves:

Definition of Reflexivity and G-dimension: They define a DG-module $X \in D^b_f(A)$ (bounded cohomology with finitely generated cohomology) as reflexive if $R\text{Hom}_A(X, A) \in D^b_f(A)$ and the canonical morphism $X \to R\text{Hom}_A(R\text{Hom}_A(X, A), A)$ is an isomorphism. The G-dimension is then defined as $\text{G-dim}_A X = \sup R\text{Hom}_A(X, A)$ for reflexive modules, and $\infty$ otherwise.
DG-version of Projective Resolutions: The methodology relies heavily on a DG-version of projective resolutions introduced by Minamoto, specifically utilizing "sppj morphisms" (special projective morphisms) and their associated resolutions.
Triangulated Category Techniques: The proofs utilize the structure of the derived category, including exact triangles, the "star" operation ( $*$ ) for subcategories, and properties of the singularity category $D_{sg}(A) = D^b_f(A)/\langle P \rangle$ , where $P$ is the subcategory of finite direct sums of $A$ .
Comparison with Classical Invariants: The paper systematically compares the new G-dimension with projective dimension (as defined by Bird, Shaul, Sridhar, and Williamson) and local cohomology invariants (depth, local Cohen-Macaulay dimension).

Key Contributions and Results

Characterization of Finite G-dimension (Theorem 1.2): The central result provides criteria for the finiteness of G-dimension. It establishes equivalences between the bound of the G-dimension ( $\text{G-dim}_A X \leq n - \sup X$ ) and the existence of specific resolutions involving the "G-class" $\mathcal{G}$ and the subcategory of projective summands $\mathcal{P}$ .
- A key distinction from the classical ring case is noted: in the DG-setting, the inequality $\text{G-dim}_A X \geq -\sup X$ does not necessarily hold (Example 3.4), necessitating a modified proof strategy involving Lemmas 3.8 and 3.9.
- The theorem proves that a local DG-ring $A$ is Gorenstein if and only if $\text{G-dim}_A \bar{k} < \infty$ (where $\bar{k}$ is the residue field), or equivalently, if every $X \in D^b_f(A)$ has finite G-dimension.
Connection to Little Finitistic Dimension (Corollary 1.3 & Theorem 4.4): The paper establishes a formula relating the little finitistic dimension ( $\text{fpd}_A$ ) to G-dimension. It proves that $\text{fpd}_A = \sup \{ \text{G-dim}_A X + \inf X \mid X \in D^b_f(A), \text{G-dim}_A X < \infty \}$ . This provides a new proof for a specific case of a result by Bird et al. regarding the finiteness of the little finitistic dimension for local Gorenstein DG-rings.
Generalization of Cohen-Macaulay Theory (Corollary 1.5): The authors generalize the classical relationship between maximal Cohen-Macaulay modules and G-dimension zero modules to the DG-setting. They define a class $\mathcal{H}$ of DG-modules and prove that $A$ is local-Cohen-Macaulay if and only if $\mathcal{H} \subseteq \mathcal{M}$ (maximal local-Cohen-Macaulay modules), and $A$ is Gorenstein if and only if $\mathcal{H} = \mathcal{M}$ .
Extension of Buchweitz-Happel Theory (Corollary 1.6): The paper extends the classical Buchweitz-Happel Theorem and its inverse to commutative noetherian local DG-rings. It proves that the functor from the stable category of a specific class of DG-modules ( $\mathcal{A}$ ) to the singularity category $D_{sg}(A)$ is a triangle equivalence if and only if $A$ is a local Gorenstein DG-ring. This result confirms the inverse of the Buchweitz-Happel Theorem in this broader context, aligning with recent work by Jin on proper Gorenstein DG-algebras.

Significance and Claims
The paper claims that G-dimension serves as a "finer invariant" than projective dimension for DG-modules. As demonstrated in Example 4.2, there exist DG-modules with finite G-dimension but infinite projective dimension. This distinction is crucial because, while projective dimension characterizes regular local rings, G-dimension characterizes Gorenstein local rings.

The authors assert that their work successfully generalizes standard techniques from classical commutative algebra to the setting of commutative DG-algebras, albeit with necessary modifications due to the specific behavior of DG-modules (such as the failure of the standard lower bound for G-dimension). The results unify the theory of Gorenstein dimensions, finitistic dimensions, and singularity categories within the framework of derived commutative algebra, providing a robust theoretical foundation for studying singularities in DG-rings.