A criterion for modules over Gorenstein local rings to have rational Poincaré series

This paper establishes that modules over specific classes of Gorenstein local rings, including those where $R/\soc(R)$ is a Golod ring or the square of the maximal ideal is generated by at most two elements, possess rational Poincaré series with a common denominator, thereby confirming the Auslander-Reiten conjecture for these rings and providing new proofs for existing results on compressed and low codepth rings.

The Gist

Imagine you are a detective trying to solve a mystery about mathematical structures called "rings." Specifically, you are looking at a special, very rigid type of ring called a Gorenstein local ring.

In this world, every object (called a "module") has a hidden "fingerprint" called a Poincaré series. Think of this series as an infinite list of numbers that describes how complex the object is. Mathematicians love it when this list follows a neat, predictable pattern (a "rational function"). If the list is chaotic and never settles into a pattern, the object is considered "bad" or "wild."

The author of this paper, Anjan Gupta, wants to find a rule that guarantees these fingerprints will always be neat and predictable.

Here is the story of his discovery, broken down into simple concepts:

1. The Goal: Finding Order in Chaos

Imagine you have a giant library of books (the modules). Some books have a very orderly table of contents (rational Poincaré series), while others are scribbled nonsense.

• The Problem: We know some libraries are orderly (like "Regular" rings), but we don't know exactly which other types of libraries are orderly.
• The Goal: Gupta wants to find a "litmus test" to prove that a specific type of library (Gorenstein rings) is always orderly, no matter which book you pick.

2. The Secret Weapon: The "Golod" Ring

To solve this, Gupta uses a concept called a Golod ring.

• The Analogy: Imagine a machine that takes a complicated knot and untangles it perfectly. A Golod ring is like a machine that is so efficient at untangling knots (mathematically, it simplifies complex calculations) that it forces everything connected to it to become orderly.
• The Strategy: If you can prove that a ring is built on top of a Golod ring, then all the books in that library will have neat fingerprints.

3. The Main Discovery: The "Socle" Connection

Gupta focuses on a specific feature of these rings called the socle.

• The Metaphor: Think of the ring as a tall building. The socle is the very bottom layer of the foundation.
• The Insight: Gupta proves a powerful rule: If you remove the bottom layer (the socle) and the remaining building is a "Golod" machine, then the whole original building is orderly.
• This is a big deal because it gives mathematicians a new way to check if a ring is orderly: just look at what's left after you strip away the foundation.

4. The "Stretched" and "Almost Stretched" Rings

The paper then applies this rule to two specific types of rings that sound like they were named by a tailor:

• Stretched Rings: These are rings where the "second floor" of the building is made of just one single beam (mathematically, the square of the maximal ideal is generated by one element).
• Almost Stretched Rings: These are rings where the second floor is made of just two beams.

The Result: Gupta proves that if a ring is "Stretched" or "Almost Stretched," it is always orderly.

• Why is this cool? Before this, we only knew this was true if the "ground" (the residue field) had specific properties (like being infinite or having characteristic zero). Gupta's proof works regardless of the ground. It's a universal truth for these shapes.

5. The "Connected Sum" Trick

How did he prove it? He used a clever construction called a Connected Sum.

• The Analogy: Imagine you have two Lego structures. A "Connected Sum" is like gluing them together at a single point to make a bigger, more complex structure.
• The Breakthrough: Gupta showed that any "Almost Stretched" ring can be broken down into two simpler pieces glued together. Because these simpler pieces are easy to understand (they are Golod), the whole glued-together ring inherits their orderliness.

6. The Bigger Picture: The Auslander-Reiten Conjecture

The paper ends with a bonus victory. There is a famous unsolved puzzle in math called the Auslander-Reiten Conjecture. It asks: "If a module has no 'self-interaction' (no extensions), is it a free, simple module?"

• Because Gupta proved these rings are so orderly, he could also prove that these specific rings satisfy this famous conjecture. It's like solving a side mystery while solving the main one.

Summary

In plain English, this paper says:

"We found a new rule to check if complex mathematical structures are predictable. If you take a specific type of rigid structure, strip away its bottom layer, and the rest is a 'simplifier' (Golod), then the whole thing is predictable. We used this to prove that 'Stretched' and 'Almost Stretched' structures are always predictable, solving a long-standing question and confirming a major mathematical guess along the way."

It's a story of finding a hidden pattern in a chaotic world by looking at the foundation and using the power of "simplification."

Technical Summary

Here is a detailed technical summary of the paper "A Criterion for Modules over Gorenstein Local Rings to Have Rational Poincaré Series" by Anjan Gupta.

1. Problem Statement and Context

The Core Problem:
In commutative algebra, the Poincaré series of a finitely generated module $M$ over a local ring $R$, defined as $P^R_M(t) = \sum_{i \ge 0} \beta^R_i(M) t^i$ (where $\beta^R_i(M)$ are Betti numbers), is a fundamental invariant. A central question is whether this series is a rational function (i.e., the ratio of two polynomials).

• While Poincaré series are rational for regular local rings and local complete intersections (LCIs), counterexamples exist (e.g., Anick's example) showing they can be non-rational even for Gorenstein rings.
• A ring $R$ is called "good" if there exists a single polynomial $d_R(t)$ such that $d_R(t)P^R_M(t)$ is a polynomial for every finitely generated $R$-module $M$. This implies all modules over $R$ share a common denominator.

The Gap:
Existing literature provides criteria for specific classes of rings (e.g., compressed Gorenstein rings, stretched rings, rings with low codepth) to be "good." However, these proofs often rely on ad-hoc methods or specific structural assumptions. The paper aims to provide a unified criterion based on the properties of the quotient ring $R/\text{socle}(R)$ to determine when a Gorenstein local ring is "good."

2. Methodology

The author employs a combination of homological algebra, DG-algebra theory, and structural decomposition techniques:

• Golod Homomorphisms and Levin's Theorem: The primary tool is a result by Levin, which states that if a ring $R$ is a surjective image of a complete intersection via a Golod homomorphism, then $R$ is "good." A homomorphism $\phi: P \to R$ is Golod if the induced map on Tor algebras preserves the Poincaré series inequality as an equality.
• DG-Algebras and Acyclic Closures: The proof utilizes Tate resolutions (acyclic closures) of the residue field. The author constructs specific DG-algebra structures and uses chain derivations (originating from Gulliksen's work) to analyze the homology of these resolutions.
• Trivial Massey Operations: To prove a ring is Golod, the paper demonstrates the existence of a trivial Massey operation on the homology of a specific DG-algebra quotient. This is the standard characterization of Golod algebras.
• Connected Sums and Fibre Products: The paper utilizes the decomposition of Artinian Gorenstein rings into connected sums ($R \cong S \# T$) and fibre products ($R \cong S \times_k T$). The behavior of Poincaré series under these operations is governed by formulas derived by Dress and Krämer.
• Macaulay's Inverse System: For structural analysis of Artinian Gorenstein rings, the paper uses the correspondence between such rings and polynomials in a dual ring, facilitating the decomposition of rings with small $\mu(\mathfrak{m}^2)$.

3. Key Contributions and Results

A. The Main Criterion (Theorem I)

The paper establishes a sufficient condition for an Artinian Gorenstein local ring $R$ to be "good":

• Condition: If $R/\text{socle}(R)$ is a Golod ring, then $R$ is good.
• Mechanism: If $R/\text{socle}(R)$ is Golod, then for any $f$ in the defining ideal of a minimal Cohen presentation (excluding the square of the maximal ideal), the map $Q/(f) \to R$ is a Golod homomorphism.
• Consequence: This yields an explicit polynomial $d_R(t)$ such that $d_R(t)P^R_M(t) \in \mathbb{Z}[t]$ for all modules $M$.

B. Application to Stretched and Almost Stretched Rings (Theorem II)

The author applies the main criterion to rings where the square of the maximal ideal is generated by few elements:

• Stretched Rings: $\mu(\mathfrak{m}^2) = 1$.
• Almost Stretched Rings: $\mu(\mathfrak{m}^2) = 2$.
• Result: The paper proves that if $R$ is an Artinian Gorenstein ring with $\mu(\mathfrak{m}^2) \le 2$, then $R$ is good.
  • If $\mu(\mathfrak{m}^2)=1$, $P^R_k(t) = \frac{1}{1-t}$ (for $n=1$) or $\frac{(1+t)^n}{1-nt+t^2}$ (for $n \ge 2$).
  • If $\mu(\mathfrak{m}^2)=2$, $P^R_k(t) = \frac{(1+t)^n}{1-nt+t^2}$.
• Significance: This generalizes previous results by Sally, Elias, and Valla, removing the requirement that the residue field must have characteristic zero.

C. Auslander-Reiten Conjecture

A major corollary of these results is the verification of the Auslander-Reiten conjecture for these classes of rings. The conjecture states that if $\text{Ext}^i_R(M, M) = 0$ for all $i \ge 1$, then $M$ must be free (i.e., have finite projective dimension).

• The paper proves that for stretched and almost stretched Gorenstein rings, the rationality of the Poincaré series (specifically the irreducibility of the denominator polynomial) implies the conjecture holds.

D. New Proofs for Known Results

The paper provides alternative, unified proofs for two known classes of "good" rings using the main criterion:

1. Compressed Gorenstein Rings: (Previously by Rossi and Şega). The paper shows $R/\text{socle}(R)$ is Golod for compressed rings with specific Loewy lengths, recovering their rationality results.
2. Rings with Codepth $\le 3$: (Previously by Avramov, Kustin, and Miller). The paper proves that if $R$ is Gorenstein and not a complete intersection with $\text{codepth}(R) \le 3$, then $R/\text{socle}(R)$ is Golod, recovering the rationality of Poincaré series.

4. Significance and Impact

• Unification: The paper unifies disparate results regarding the rationality of Poincaré series under a single structural hypothesis: the Golod property of the quotient by the socle.
• Stronger Homomorphisms: The constructed Golod homomorphisms are from hypersurfaces (quotients by a single element) rather than general complete intersections. This is a stronger result because it implies the existence of a Golod map from a simpler ring structure.
• Resolution of Open Questions: It settles the "goodness" of almost stretched Gorenstein rings over arbitrary residue fields, a case where previous results were conditional on the field characteristic.
• Methodological Advancement: The use of chain derivations on acyclic closures to prove the injectivity of Tor maps provides a robust technical framework that could be applied to other problems involving the rationality of Poincaré series or the structure of Golod rings.

In summary, Anjan Gupta's paper advances the understanding of the homological behavior of Gorenstein local rings by linking the rationality of Poincaré series to the Golod property of a specific quotient, thereby proving the "goodness" of several important classes of rings and confirming the Auslander-Reiten conjecture for them.