Vanishing of (co)homology, freeness criteria, and the Auslander-Reiten conjecture for Cohen-Macaulay Burch rings

TL;DR

This paper proves new vanishing results for (co)homology, establishes freeness criteria for modules over Cohen-Macaulay rings, and confirms the Auslander-Reiten conjecture for Cohen-Macaulay Burch rings, advancing several longstanding conjectures.

Contribution

It settles the Auslander-Reiten conjecture for Cohen-Macaulay Burch rings and introduces new criteria for module freeness over Cohen-Macaulay rings.

Findings

Proves vanishing of (co)homology under new conditions

Establishes freeness criteria for modules over Cohen-Macaulay rings

Confirms the Auslander-Reiten conjecture for Cohen-Macaulay Burch rings

Abstract

We establish new results on (co)homology vanishing and Ext-Tor dualities, and derive a number of freeness criteria for finite modules over Cohen-Macaulay local rings. In the main application, we settle the long-standing Auslander-Reiten conjecture for the class of Cohen-Macaulay Burch rings, among other results toward this and related problems, e.g., the Tachikawa and Huneke-Wiegand conjectures. We also derive results on further topics of interest such as Cohen-Macaulayness of tensor products and Tor-independence, and inspired by a paper of Huneke and Leuschke we obtain characterizations of when a local ring is regular, or a complete intersection, or Gorenstein; for the regular case, we describe progress on some classical differential problems, e.g., the strong version of the Zariski-Lipman conjecture. Along the way, we generalize several results from the literature and propose various questions.