Intersection theorems over DG-rings revisited

Abstract: In this work we generalize two recently proved intersection theorems for DG-rings. The Derived Improved New Intersection Theorem concerns the length of semi-free DG-modules over DG-rings and it was recently proved by the second author. We show that it holds under weaker hypotheses. Foxby's Intersection Theorem was generalized to DG-rings by Yang and we improve the inequality that they provided. As an application we prove a DG version of the classic result that finite length modules of finite projective dimension only exist over Cohen-Macaulay rings, generalizing another result of Yang.

• The paper establishes a derived intersection theorem for DG-rings, refining classical results by relaxing torsion and length conditions.
• It improves Foxby’s Intersection Theorem using derived inequalities that link depth, flat dimension, and local cohomology.
• The results imply Cohen-Macaulay conditions for DG-rings, enhancing computational tractability in derived algebraic geometry.

Authoritative Analysis of "Intersection Theorems over DG-rings revisited" (2606.32031)

Context and Motivation

This work addresses foundational intersection theorems within the framework of commutative noetherian local DG-rings (differential graded rings), motivated by extending classical homological results from commutative algebra to the context of DG-ring derived categories. Classical intersection results, including the Improved New Intersection Theorem and Foxby's Intersection Theorem, provide constraints on projective and flat dimensions, lengths, and depth of complexes and modules over commutative rings. Recent advances have generalized many such results to DG-rings, reflecting the increasingly central role of homological algebraic methods in derived and noncommutative settings.

The authors focus on further weakening the hypotheses of DG versions of these theorems, tightening inequalities where possible, and extracting consequential structural results for Cohen-Macaulay DG-rings.

Main Results and Technical Contributions

Derived Improved New Intersection Theorem under Weaker Hypotheses

The primary technical contribution is a generalization of the Intersection Theorem for DG-rings with constant amplitude. Let $R$ denote a commutative noetherian local DG-ring, $I$ an ideal of $H_0(R)$, and $F \in \Dfb[R]$ a graded-free DG $R$-module with $\inf F = 0$. Under the hypothesis that $H_i(F)$ is $I$-torsion for $i > 0$ and that a minimal generator of $H_0(F)$ is $I$0-torsion, the authors prove:

$I$1

This result refines previous theorems ([Zach, Theorem 5.6]), allowing $I$2-torsion instead of finite length for homologies, broadening applicability to more general DG-ring modules. The proof employs a rigorous adaptation of classical homological dimension arguments, leveraging derived category techniques, depth localization via Greenlees-May duality, and amplitude inequalities.

Strengthening of Foxby's Intersection Theorem for DG-rings

The paper presents a substantial improvement to the DG analog of Foxby's Intersection Theorem. For $I$3, $I$4 ($I$5), with $I$6 and $I$7, the following improved inequality is established:

$I$8

This replaces $I$9 with the tighter $H_0(R)$0, and $H_0(R)$1 with the more tractable $H_0(R)$2. Their analysis further demonstrates that $H_0(R)$3, linking classical flat dimension with DG parameters.

Structural Applications

The practical consequence is a DG-ring analog of the classical statement: finite length modules of finite (projective or flat) dimension can only exist over Cohen-Macaulay rings. The authors show that if $H_0(R)$4 is a bounded derived $H_0(R)$5-torsion DG $H_0(R)$6-module of finite flat dimension and $H_0(R)$7, then $H_0(R)$8 is Cohen-Macaulay. This strengthens and generalizes recent results ([Yang, Corollary 4.4]), aligning the DG context with canonical commutative algebraic facts.

Additionally, amplitude inequalities for the local cohomology of derived torsion products are derived, further extending control over module-theoretic invariants in the DG context.

Theoretical Implications

The results formally strengthen the landscape of homological inequalities in derived commutative algebra. By reducing requirements on module length and homological support conditions, the theorems apply to broader classes of DG-ring complexes and modules, crucial for studies in derived algebraic geometry and representation theory. The introduction and systematic use of amplitude, derived depth, and local cohomology Krull dimension deepen the integration of classical homological methods into the derived setting, facilitating new approaches to Cohen-Macaulay-ness, syzygies, and intersection theory for derived objects.

The improvements in Foxby-type inequalities illuminate the interplay between depth, flat/projective dimension, and support in the derived category, suggesting future refinements in DG homological conjectures and facilitating the classification of Cohen-Macaulay DG-rings.

Practical Implications and Future Directions

On the practical side, the results enhance computational tractability for invariants in DG-ring environments, relevant for computations in derived algebraic geometry, homotopy theory, and D-module categories. The weaker hypotheses permit algorithmic checks of Cohen-Macaulay conditions, module length constraints, and flatness, aiding in the construction and classification of objects with desired homological properties.

The inequalities established invite further investigation of possible minimality conditions for intersection theorems, extension to noncommutative or generalized DG-ring settings, and the adaptation of similar arguments to spectral algebraic geometry. There is potential to generalize these structural results to stacks, schemes, and DG-categories, possibly extending the range of applicability to a wider spectrum of algebraic and geometric contexts.

Conclusion

The paper delivers significant technical refinements to intersection theorems for DG-rings, extending classical results and removing restrictive hypotheses. The new inequalities connect homological dimensions, amplitude, depth, and support under derived category frameworks, yielding both theoretical insights and practical computational advances. These results further align DG-ring homological theory with classical commutative algebra and signal promising directions for future research into derived ring structures and their homological properties.