Infinitely many associated primes of local cohomology modules of ramified regular local rings

This paper constructs examples of local cohomology modules over ramified regular local rings that exhibit infinitely many associated primes and infinite Bass numbers.

The Gist

Imagine you are a detective trying to solve a mystery about the hidden structure of mathematical objects called rings. In this world, rings are like complex Lego structures built from numbers and variables.

For decades, mathematicians have been asking a very specific question about these structures: "When we look deep inside these rings to find their 'skeletons' (called associated primes), do we always find a finite, countable number of them, or could there be an infinite, uncountable mess?"

A famous mathematician named Lyubeznik guessed that the answer was always "finite." He believed that no matter how complicated the ring was, its hidden skeletons would always be a manageable, finite list. This was a widely accepted belief, like a law of physics in the math world.

The Plot Twist: The "Ramified" Ring

In this paper, the author, Linquan Ma, acts as the detective who finds the "smoking gun" that proves the law wrong.

He focuses on a specific type of ring called a ramified regular local ring of mixed characteristic. Let's break that down with an analogy:

• Regular Local Ring: Think of this as a perfectly smooth, well-organized city.
• Mixed Characteristic: This is a city built on a strange foundation where the ground rules change depending on whether you are looking at "even" numbers or "odd" numbers (specifically involving the number 2).
• Ramified: This means the city has a "twist" or a "kink" in its foundation. It's not perfectly flat; it's slightly bent.

Ma's goal was to see if this "twisted" city still obeyed the "finite skeletons" rule.

The Construction: Building a Mathematical Trap

To prove his point, Ma builds a massive, custom-made mathematical trap. He combines two different mathematical "machines":

1. Machine A (The RP2 Triangulation): He takes a shape called the Real Projective Plane ($RP^2$) and breaks it down into tiny triangles (like a geodesic dome). He turns this shape into a set of rules (an ideal $I$). When he runs this through a specific mathematical process (local cohomology), it produces a result that is "annihilated by 2."

   • Analogy: Imagine a machine that only works if you feed it a specific type of fuel, and once it runs, it leaves behind a residue that is completely neutralized by the number 2.

2. Machine B (The Hypersurface): He takes another machine known to produce an infinite number of skeletons (based on previous work by Singh and Swanson). This machine works over a field of numbers where $1+1=0$ (characteristic 2).

The Grand Experiment:
Ma fuses these two machines together into one giant structure ($R$). He creates a new ideal ($J$) that combines the rules of both machines.

The Discovery: The Infinite Explosion

When Ma runs the test on this new combined structure, he looks at the "Local Cohomology Module" (the deep, hidden layer of the ring).

• The Expectation: If Lyubeznik's guess were right, this layer should have a finite list of skeletons.
• The Reality: Because the first machine neutralizes the "2" (the twist in the foundation), the second machine is free to do what it does best: explode into infinity.

The result is that the hidden layer of this ring contains infinitely many associated primes. It's like opening a box that was supposed to contain 5 marbles, but instead, a genie pops out and releases an endless stream of marbles that never stops.

The Bigger Picture: Why This Matters

This isn't just about counting marbles. This discovery breaks two major "conjectures" (hypotheses) that mathematicians had been relying on:

1. Lyubeznik's Question: The answer is NO. Regular rings do not always have finite skeletons.
2. Huneke's Conjectures: The "size" of these hidden structures (called Bass numbers) can also be infinite.

The Takeaway

Linquan Ma has shown that in the world of "twisted" mathematical rings (ramified mixed characteristic), the rules are much wilder than we thought. You can't assume things are finite or manageable. Sometimes, the hidden depths of these structures are truly infinite.

In simple terms:
Mathematicians thought all these complex structures had a finite number of "weak points." Linquan Ma built a specific, twisted structure and proved that, in some cases, the number of weak points is infinite. He didn't just find a crack in the theory; he shattered the idea that the theory was universal.

This is a big deal because it forces mathematicians to rewrite their textbooks and rethink how they understand the fundamental building blocks of algebra.

Technical Summary

Based on the provided text, here is a detailed technical summary of the paper "Infinitely Many Associated Primes of Local Cohomology Modules of Ramified Regular Local Rings" by Linquan Ma.

1. Problem Statement

The paper addresses a long-standing open question posed by Lyubeznik regarding the finiteness properties of local cohomology modules over regular rings. Specifically, Lyubeznik asked whether local cohomology modules of regular rings possess:

1. Only finitely many associated primes.
2. Finite Bass numbers.

While this question has been answered affirmatively for:

• Regular local rings containing a field.
• Unramified regular local rings of mixed characteristic.

The status remained open for ramified regular local rings of mixed characteristic. Additionally, the paper targets Huneke's Conjectures 5.2, 4.3, and 4.4 (from Hun92), which predicted finiteness properties for these modules in similar contexts.

2. Methodology

Ma constructs a counterexample by combining two distinct mathematical frameworks:

1. Combinatorial Topology and Monomial Ideals: Utilizing the square-free monomial ideal $I$ corresponding to the standard triangulation of the real projective plane ($\mathbb{RP}^2$) over the 2-adic integers. This setup draws from previous work by De Stefani, Núñez-Betancourt, and others ([DSZ23]), which established specific vanishing and non-vanishing properties of local cohomology for this ideal.
2. Hypersurface Singularities: Incorporating a known example from Singh and Swanson ([SS04]) and Katzman ([Kat02]) where a local cohomology module of a hypersurface over a field of characteristic 2 possesses infinitely many associated primes.

The Construction:

• Base Ring: Let $S = \mathbb{Z}_2[[x_1, \dots, x_6, y_1, \dots, y_6]]$ be a power series ring over the 2-adic integers.
• Ideal $I$: Defined in $\mathbb{Z}_2[[x]]$ based on the $\mathbb{RP}^2$ triangulation.
• Polynomial $f(y)$: Defined as $y_1^2 y_3^2 y_6 + y_1 y_2 y_3 y_4 y_5 + y_2^2 y_4^2 y_6$.
• Target Ring $R$: Constructed as a quotient of $S$ by the element $2 + f(y)$.
  $$R = S / (2 + f(y))$$
  This ring $R$ is a complete ramified regular local ring of mixed characteristic $(0, 2)$.
• Ideal $J$: Defined as $J = IS + (y_1, y_2)S$.

The author analyzes the local cohomology module $H^6_J(R)$ using the long exact sequence of local cohomology associated with the short exact sequence:
$$0 \to S \xrightarrow{\cdot(2+f(y))} S \to R \to 0$$

3. Key Results

Result 1: Infinitely Many Associated Primes

Claim: The module $H^6_J(R)$ has infinitely many associated primes.

Technical Logic:

1. Decomposition: Using the Kunneth formula and properties of local cohomology, $H^6_J(S)$ is shown to be isomorphic to the tensor product:
   $$H^4_I(\mathbb{Z}_2[[x]]) \otimes_{\mathbb{Z}} H^2_{(y_1, y_2)}(\mathbb{Z}[[y]])$$
   Crucially, $H^4_I(\mathbb{Z}_2[[x]])$ is annihilated by 2 and isomorphic to the injective hull $E_{\mathbb{F}_2[[x]]}(\mathbb{F}_2)$.
2. Reduction to Characteristic 2: Since $H^6_J(S)$ is annihilated by 2, the multiplication map by $(2+f(y))$ on $H^6_J(S)$ is equivalent to multiplication by $f(y)$.
3. Cokernel Identification: $H^6_J(R)$ is the cokernel of this multiplication map. This yields an isomorphism:
   $$H^6_J(R) \cong E_{\mathbb{F}_2[[x]]}(\mathbb{F}_2) \otimes_{\mathbb{F}_2} H^2_{(y_1, y_2)}\left(\frac{\mathbb{F}_2[[y]]}{(f(y))}\right)$$
4. Conclusion: The term $H^2_{(y_1, y_2)}(\mathbb{F}_2[[y]]/(f(y)))$ is known (from [SS04]) to have infinitely many associated primes. Since the tensor product with the injective hull preserves the existence of these primes (extended by the variables $x_i$), $H^6_J(R)$ inherits infinitely many associated primes.

Result 2: Infinite Socle Dimension (Infinite Bass Numbers)

Claim: There exists a ramified regular local ring $R'$ (constructed similarly but with a different hypersurface equation $2 + y_1y_3 + y_2y_4$) such that $H^6_J(R')$ has an infinite-dimensional socle.

Significance: An infinite-dimensional socle implies that the Bass numbers of the module are infinite. This directly disproves Huneke's Conjectures 4.3 and 4.4.

4. Generalizations and Extensions

The paper notes that the construction is robust and can be adapted:

• Finite Type over DVRs: The examples can be realized as finite type algebras over a Discrete Valuation Ring (DVR) or $\mathbb{Z}$ by localizing a polynomial ring over Witt vectors.
• Arbitrary Prime Characteristic: For any prime $p$, similar counterexamples can be constructed by replacing the $\mathbb{RP}^2$ triangulation ideal with the monomial ideal corresponding to the triangulation of the $p$-fold dunce cap. In these cases, the critical local cohomology is annihilated by $p$.

5. Significance and Impact

• Resolution of Lyubeznik's Question: The paper provides a definitive negative answer to Lyubeznik's question for ramified regular local rings of mixed characteristic. It demonstrates that the "finiteness of associated primes" property does not hold universally for all regular local rings.
• Disproof of Huneke's Conjectures: It invalidates Conjectures 5.2, 4.3, and 4.4 from Huneke's 1992 work, which had guided research in this area for decades.
• Methodological Innovation: The work successfully bridges combinatorial topology (triangulations of manifolds) with commutative algebra (local cohomology in mixed characteristic), showing how topological properties of simplicial complexes dictate the algebraic structure of cohomology modules in ramified settings.
• Foundation for Future Research: By establishing that ramified mixed characteristic rings behave fundamentally differently from their unramified or equal-characteristic counterparts, this result forces a re-evaluation of finiteness conjectures in commutative algebra and suggests new directions for understanding the interplay between ramification and local cohomology.