🔢 mathematics

Quasi-projective dimensions of complexes over rings

This paper generalizes the quasi-projective dimension from modules to complexes of modules over associative rings, establishing fundamental properties such as a derived Auslander-Buchsbaum formula and providing partial answers to open questions regarding complete intersection rings and change-of-rings behavior.

Original authors: Hongxing Chen, Jiangsheng Hu, Xiaoyan Yang

Published 2026-04-13

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Hongxing Chen, Jiangsheng Hu, Xiaoyan Yang

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 a detective trying to understand the hidden structure of a complex building (a mathematical "ring"). In this building, there are many rooms (modules) and hallways connecting them. Mathematicians have long used a tool called Projective Dimension to measure how "twisted" or "complicated" a room is. If a room has a low projective dimension, it's like a simple, straight hallway. If it's high, the room is a labyrinth of dead ends and loops.

However, sometimes the standard ruler (Projective Dimension) isn't sensitive enough to detect certain subtle flaws in the building's foundation. A few years ago, mathematicians invented a new, more sensitive ruler called Quasi-Projective Dimension. It's like a thermal camera that can see heat signatures (hidden complexities) that the standard ruler misses.

This paper, written by Chen, Hu, and Yang, takes that new thermal camera and upgrades it. Instead of just measuring single rooms, they figure out how to measure entire complexes—which are like entire floors or even the whole building, where the rooms are connected in a chain reaction.

Here is a breakdown of their discoveries using everyday analogies:

1. The New Ruler for Complex Buildings

The authors realized that while the old ruler worked for single rooms, it was clumsy for measuring a whole floor plan (a "complex"). They developed a new version of the Quasi-Projective Dimension specifically for these complex structures.

The Analogy: Imagine trying to measure the complexity of a Rube Goldberg machine. The old ruler just counted the number of dominoes. The new ruler counts how many different types of triggers are needed to make the whole machine work.
The Discovery: They found a "Golden Rule" (Theorem 1.1) that connects this new ruler to the old one. It says: If you know how twisted the machine is (Projective Dimension), you can calculate exactly how complex the triggers are (Quasi-Projective Dimension), provided you account for the length of the machine.

2. The "Perfect Building" Mystery (Question 1)

There is a famous mystery in mathematics: How do you know if a building is a "Complete Intersection"?

The Definition: A "Complete Intersection" is a building with a very specific, elegant symmetry. It's like a perfectly balanced crystal.
The Mystery: Mathematicians asked: "If every single room in a building can be measured with our new thermal camera (finite Quasi-Projective Dimension), does that prove the whole building is a perfect crystal?"
The Answer: For a long time, no one knew. This paper says: "Yes, but only if the building meets certain conditions."
- If the building is small enough (low dimension).
- If the foundation has a specific "Burch" property (a fancy way of saying the foundation has a specific type of structural weakness that actually guarantees strength).
- If the number of pillars holding it up is very small (at most 2).
- The Metaphor: It's like saying, "If every single brick in a wall is made of a special, high-tech material, the whole wall is likely a masterpiece, unless the wall is huge and chaotic. But if the wall is small or the bricks are arranged in a specific pattern, we can be 100% sure it's a masterpiece."

3. The "Cutting the Rope" Experiment (Question 2)

Imagine you have a long rope (a ring) and you cut it with a sharp knife (a "regular sequence"). The question is: If the whole rope was easy to measure with our new thermal camera, is the remaining piece also easy to measure?

The Old Guess: Mathematicians suspected the answer was "Yes," but they couldn't prove it for every case.
The New Finding: The authors proved that if you cut the rope, the complexity of the remaining piece drops by exactly the number of cuts you made.
- The Analogy: Think of a tangled ball of yarn. If you cut the main knot (the regular sequence), the remaining pieces of yarn become significantly less tangled. The paper proves that the "tangle score" (Quasi-Projective Dimension) drops by a predictable amount.
- The Catch: This works perfectly if the yarn doesn't have a specific type of "knot" (Ext group) that resists cutting. If that knot is absent, the math works out perfectly.

4. Why This Matters

Why should a non-mathematician care?

Detecting Flaws: In the real world, we often need to know if a system (like a network, a code, or a physical structure) is fundamentally sound or if it has hidden cracks. These mathematical tools are like advanced X-rays.
The "Complete Intersection" Goal: Finding out if a ring is a "Complete Intersection" is like finding out if a city is built on a perfect grid. It makes everything else about the city (traffic flow, utility lines) much easier to understand. This paper gives us better tools to identify those perfect cities, even when they look messy on the surface.

Summary

In simple terms, this paper is about upgrading a measuring tape.

They made the tape work for whole buildings (complexes), not just single rooms.
They used this tape to solve a long-standing mystery about which buildings are perfectly symmetrical (Complete Intersections), finding that if the rooms are "simple enough" in a specific way, the whole building is perfect.
They figured out exactly how the complexity changes when you slice a building in half, proving that the pieces become simpler in a predictable way.

It's a story of taking a powerful new tool, refining it, and using it to solve puzzles that have stumped detectives for years.

1. Problem Statement

The paper addresses two fundamental open questions in homological algebra concerning quasi-projective dimension ($qpd$), a homological invariant introduced by Gheibi, Jorgensen, and Takahashi for modules over associative rings.

Question 1 (Characterization of Complete Intersections): Let $R$ $R$ be a commutative noetherian local ring. If every finitely generated $R$ $R$ -module has finite quasi-projective dimension, is $R$ $R$ necessarily a complete intersection?
- Context: This is related to the "virtually small" property of complexes. While it is known that modules of finite $qpd$ are virtually small, and Pollitz proved that a ring is a complete intersection iff every non-exact complex is virtually small, verifying virtual smallness is generally difficult.
Question 2 (Change of Rings): Let $R$ $R$ be a commutative noetherian ring, $x$ $x$ a regular element, and $M$ $M$ an $R/(x)$ $R / (x)$ -module. If $qpd_R M < \infty$ $q p d_{R} M < \infty$ , does it imply $qpd_{R/(x)} M < \infty$ $q p d_{R / (x)} M < \infty$ ?
- Context: Previous results showed $qpd_R M \leq qpd_{R/(x)} M + 1$ . A positive answer would establish an equivalence between the finiteness of $qpd$ over the ring and its quotient.

The authors aim to generalize the theory of quasi-projective dimension from modules to complexes (objects in the derived category) to provide partial answers to these questions and establish a derived-level Auslander-Buchsbaum formula.

2. Methodology

The authors employ techniques from derived category theory and homological algebra. Key methodological steps include:

Generalization to Complexes: They define the quasi-projective dimension for an $R$ -complex $M$ ( $qpd_R M$ ) using semi-projective resolutions. A complex $M$ has finite $qpd$ if there exists a bounded above semi-projective complex $P$ quasi-isomorphic to $M$ such that the homology $H(P)$ is isomorphic to a finite direct sum of shifts of $H(M)$ .
Derived Category Tools: The analysis utilizes:
- Thick subcategories ( $\text{Thick}_R[M]$ ) and the concept of "virtually small" complexes.
- Spectral sequences (specifically the Künneth spectral sequence) to relate homology of tensor products and Hom complexes.
- Koszul complexes ( $K(x; M)$ ) to analyze behavior under regular sequences.
- Minimal resolutions and properties of local noetherian rings (depth, dimension, completion).
Inductive Arguments: For Question 2, they use induction on the length of regular sequences, analyzing how the dimension changes when passing from $R$ to $R/(x)$ .

3. Key Contributions and Results

A. Generalization of Quasi-Projective Dimension to Complexes

The paper establishes the foundational theory for $qpd$ in the derived category $D(R)$ .

Definition: $qpd_R M$ is defined as $\inf \{ \sup P - \text{hsup} P \}$ over all bounded above quasi-projective resolutions $P$ of $M$ .
Comparison with Projective Dimension:
- If $pd_R M < \infty$ , then $qpd_R M + \text{hsup} M = pd_R M$ .
- If $qpd_R M < \infty$ and $\text{Ext}^j_R(H(M), H(M)) = 0$ for $j \geq 2 + \text{amp} M$ , then $pd_R M < \infty$ .
- $qpd_R M \leq \sup \{ qpd_R H^n(M) \mid n \in \mathbb{Z} \}$ .
Derived Auslander-Buchsbaum Formula: For a local noetherian ring $R$ and a complex $M \in D^b_f(R)$ with finite $qpd$:
$qpd_R M + \text{hsup} M = \text{depth} R - \text{depth}_R M$
This refines the module-level formula established by Gheibi et al.

B. Answers to Question 1 (Complete Intersections)

The authors provide sufficient conditions under which the finiteness of $qpd$ for all finitely generated modules implies $R$ is a complete intersection.

Theorem 5.1: Let $(R, \mathfrak{m})$ $(R, m)$ be a local noetherian ring with completion $\hat{R} \cong Q/I$ $\hat{R} ≅ Q / I$ (where $Q$ $Q$ is regular). If every finitely generated $R$ $R$ -module has finite $qpd$, then $R$ $R$ is a complete intersection if any of the following hold:
1. $\dim Q \leq \dim R + 2$ .
2. $I$ is a Burch ideal of $Q$ (defined by $\mathfrak{m}I \neq \mathfrak{m}(I :_R \mathfrak{m})$ ).
3. The minimal number of generators of $I$ is at most 2.
4. (General condition) For every non-perfect complex $M$ , the thick subcategory generated by $M$ equals the thick subcategory generated by its homology ( $\text{Thick}_R[M] = \text{Thick}_R[H(M)]$ ).
Corollary 1.3: For Artinian rings $R \cong Q/I$ , if $\text{edim} R \leq 2$ or $I$ is a Burch ideal, then $R$ is a complete intersection iff every finitely generated module has finite $qpd$.

C. Answers to Question 2 (Change of Rings)

The paper investigates the behavior of $qpd$ under quotient by a regular sequence $x = x_1, \dots, x_d$ .

Theorem 6.3: Let $M$ $M$ be a non-exact complex in $D^b(R/(x))$ $D^{b} (R / (x))$ with $qpd_R M < \infty$ $q p d_{R} M < \infty$ . If either:
1. $R$ is von Neumann regular, or
2. $\text{Ext}^1_R(H(M), H(M)) = 0$ ,
  Then:
  $qpd_{R/(x)} M \leq qpd_R M - d$
Corollary 6.4: If $R$ is a commutative noetherian local ring and $M$ is a nonzero finitely generated $R/(x)$ -module with $\text{Ext}^1_R(M, M) = 0$ , then $qpd_R M < \infty$ if and only if $qpd_{R/(x)} M < \infty$ . This provides a partial affirmative answer to Question 2.

4. Significance

Theoretical Unification: The paper successfully lifts the theory of quasi-projective dimension from the module level to the derived category level, unifying it with projective dimension and depth via a derived Auslander-Buchsbaum formula.
Progress on Open Problems: It resolves Question 1 for a broad class of local rings (including those with low embedding dimension or specific ideal structures like Burch ideals) and provides the first general partial answer to Question 2 under vanishing Ext conditions.
Connection to Singularity Theory: By linking $qpd$ to "virtually small" complexes and complete intersection rings, the work deepens the understanding of the homological complexity of singularities. It clarifies the structural relationship between the derived category of a ring and its homological invariants.
New Tools: The introduction of criteria involving $\text{Ext}^1_R(H(M), H(M))$ and the use of Koszul complexes in the context of quasi-projective resolutions offer new technical tools for future research in homological algebra.

In summary, this paper significantly advances the understanding of quasi-projective dimension by generalizing it to complexes, establishing a robust derived Auslander-Buchsbaum formula, and providing concrete conditions under which the finiteness of this dimension characterizes complete intersection rings.