Matlis duality

In algebra, Matlis duality is a duality between Artinian and Noetherian modules over a complete Noetherian local ring. In the special case when the local ring has a field mapping to the residue field it is closely related to earlier work by Francis Sowerby Macaulay on polynomial rings and is sometimes called Macaulay duality, and the general case was introduced by Matlis (1958).

Statement

Suppose that R is a Noetherian complete local ring with residue field k, and choose E to be an injective hull of k (sometimes called a Matlis module). The dual DR(M) of a module M is defined to be HomR(M,E). Then Matlis duality states that the duality functor DR gives an anti-equivalence between the categories of Artinian and Noetherian R-modules. In particular the duality functor gives an anti-equivalence from the category of finite-length modules to itself.

Examples

Suppose that the Noetherian complete local ring R has a subfield k that maps onto a subfield of finite index of its residue field R/m. Then the Matlis dual of any R-module is just its dual as a topological vector space over k, if the module is given its m-adic topology. In particular the dual of R as a topological vector space over k is a Matlis module. This case is closely related to work of Macaulay on graded polynomial rings and is sometimes called Macaulay duality.

If R is a discrete valuation ring with quotient field K then the Matlis module is K/R. In the special case when R is the ring of p-adic numbers, the Matlis dual of a finitely-generated module is the Pontryagin dual of it considered as a locally compact abelian group.

If R is a Cohen–Macaulay local ring of dimension d with dualizing module Ω, then the Matlis module is given by the local cohomology group Hd
R
(Ω). In particular if R is an Artinian local ring then the Matlis module is the same as the dualizing module.

Explanation using adjoint functors

Matlis duality can be conceptually explained using the language of adjoint functors and derived categories:[1] the functor between the derived categories of R- and k-modules induced by regarding a k-module as an R-module, admits a right adjoint (derived internal Hom)

This right adjoint sends the injective hull mentioned above to k, which is a dualizing object in . This abstract fact then gives rise to the above-mentioned equivalence.

gollark: It would be if you concatted all the video files together.
gollark: Mostly he would have to ask Hermione or whoever.
gollark: Well, they didn't have that.
gollark: I was going to say that "magic is magic mostly because we can't really do it in reality", but actually there is fiction where magic does approximately the same things as what modern tech does but with a slightly different aesthetic.
gollark: I'm sure there are others, I just can't immediately think of any.

See also

References

  1. Paul Balmer, Ivo Dell'Ambrogio, and Beren Sanders. Grothendieck-Neeman duality and the Wirthmüller isomorphism, 2015. Example 7.2.
  • Bruns, Winfried; Herzog, Jürgen (1993), Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, 39, Cambridge University Press, ISBN 978-0-521-41068-7, MR 1251956
  • Matlis, Eben (1958), "Injective modules over Noetherian rings", Pacific Journal of Mathematics, 8: 511–528, doi:10.2140/pjm.1958.8.511, ISSN 0030-8730, MR 0099360, archived from the original on 2014-05-03
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.