Matlis duality

Matlis duality
Name	Matlis duality
Field	Emmy Noether-style module theory
Introduced	1958
Introduced by	E. Matlis
Main objects	Noetherian ring, Injective module, Artinian module, Noetherian local ring, Grothendieck topology
Related	Serre duality, Pontryagin duality, Grothendieck duality, Local cohomology, Hom functor

Matlis duality is a duality theory in commutative algebra that relates certain categories of modules over a commutative Noetherian local ring to each other via Hom into an injective hull of the residue field. It serves as a finite-length analogue of several classical dualities in algebraic geometry and functional analysis, connecting objects in the theories of Noetherian ring, Artinian module, Injective module, Local cohomology, and Hom functor. Matlis duality has influenced developments in Serre duality, Grothendieck duality, Iwasawa theory, and the study of Gorenstein rings.

Introduction

Matlis duality originated in a note by E. Matlis and was developed in the context of Noetherian local rings and their module categories, particularly focusing on dualities between Artinian modules and Noetherian modules. It formalizes how the injective hull of the residue field of a local ring plays the role of a dualizing object, analogous to the dualizing sheaf in algebraic geometry contexts such as in work of Alexander Grothendieck and Jean-Pierre Serre. The theory interacts with notions introduced by Oscar Zariski, Pierre Samuel, John Tate, and later authors working on Local cohomology and Homological algebra.

Injective Modules and Matlis Modules

Central to the construction is the injective hull E of the residue field k of a Noetherian local ring (R, m, k). The existence and structure of injective hulls were studied by I. Kaplansky, H. Bass, André Weil, and refined in the language of Homological algebra by Samuel Eilenberg and Saunders Mac Lane. The module E is an Injective module that reflects the local structure of R and appears in classifications linked to Bass numbers, Matlis decomposition, and the work of Hans-Bjørn Foxby on reflexive modules. Injective modules over complete regular local rings relate to constructions by Masayoshi Nagata and to examples considered by Hyman Bass.

Statement of Matlis Duality

For a commutative Noetherian local ring (R, m, k) with injective hull E = E_R(k), the Matlis duality functor D(–) = Hom_R(–, E) yields an exact contravariant equivalence between the category of Artinian modules and the category of Noetherian modules that are m-torsion-free in an appropriate sense. The duality exchanges submodules and quotient modules, interchanges Noetherian module properties with Artinian module properties, and identifies canonical invariants such as Bass numbers with Betti numbers in specific contexts studied by David Eisenbud and Robin Hartshorne. The result is used in applications ranging from the structure theory of modules over Cohen–Macaulay rings to duality statements in Iwasawa theory and p-adic Hodge theory studied by Jean-Michel Fontaine and Barry Mazur.

Proof Sketch and Key Ingredients

The proof uses injective resolutions and the classification of injective modules over Noetherian rings due to Hyman Bass and others, along with Matlis’s analysis of the injective hull E. Key ingredients include the Baer criterion for injectivity originally due to Reinhold Baer, Nakayama's lemma attributed to Tadasi Nakayama, and completion techniques linked to the Krull intersection theorem and to completion theory developed by Krull and I. S. Cohen. Derived functor perspectives invoke tools from Homological algebra and ideas present in the work of Jean Leray and Alexander Grothendieck, while comparisons with Pontryagin duality motivate functional-analytic analogues considered by L. Pontryagin.

Applications and Consequences

Matlis duality underpins results in the theory of local cohomology pioneered by Grothendieck and Robert Hartshorne, provides structural descriptions used in classification problems addressed by Michael Atiyah and Berthelot in algebraic geometry, and informs work on dualizing complexes linked to Grothendieck duality. It plays a role in the study of Cohen–Macaulay rings, Gorenstein rings, and in formulations of canonical modules due to Kunz and Reid; it also appears in duality phenomena in Iwasawa theory as studied by John Coates and Andrew Wiles. Computational applications appear in algorithmic commutative algebra software inspired by methods of Daniel Lazard and Bernd Sturmfels.

Examples and Computations

Standard examples include R = kx_1,...,x_n the formal power series ring over a field k (studied by Emmy Noether and Weierstrass-type results), where E can be identified with modules of formal Laurent series; computations of Matlis duals of local cohomology modules are exhibited in work related to Lyubeznik numbers studied by Gennady Lyubeznik and examples of canonical modules treated by Huybrechts and Lehn. Explicit calculations for quotient rings R/I, connections to injective resolutions cataloged by Charles Weibel, and examples over discrete valuation rings considered by Kurt Hensel illustrate concrete duals.

Generalizations and Related Dualities

Matlis duality generalizes to certain non-local and non-Noetherian settings via injective cogenerators, connecting to Grothendieck duality, Serre duality, and Pontryagin duality. Extensions appear in contexts of Derived categories and Triangulated category dualities as developed by Amnon Neeman and Bernhard Keller, and in arithmetic settings linked to Tate duality and Poitou–Tate duality considered by John Tate and Jacques Poitou. Recent work explores analogues in p-adic Hodge theory by Faltings and Scholze and interactions with categorical dualities studied by Jacob Lurie.

Category:Commutative algebra