Matlis reflexivity and change of rings

Similar documents
DOUGLAS J. DAILEY AND THOMAS MARLEY

RESEARCH STATEMENT. My research is in the field of commutative algebra. My main area of interest is homological algebra. I

Artinian local cohomology modules

Projective and Injective Modules

Injective Modules and Matlis Duality

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Homology of Artinian Modules Over Commutative Noetherian Rings

Piecewise Noetherian Rings

LIVIA HUMMEL AND THOMAS MARLEY

Proceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46.

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that:

4.4 Noetherian Rings

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

THE FROBENIUS FUNCTOR AND INJECTIVE MODULES

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

n-canonical modules over non-commutative algebras

Cohen-Macaulay Dimension for Coherent Rings

Homological Aspects of the Dual Auslander Transpose II

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

UPPER BOUNDS FOR FINITENESS OF GENERALIZED LOCAL COHOMOLOGY MODULES

Pacific Journal of Mathematics

COFINITENESS AND COASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES

Notes on p-divisible Groups

Ring Theory Problems. A σ

On Dual Versions of Krull s Intersection Theorem

On the finiteness properties of Matlis duals of local cohomology modules

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

HOMOLOGICAL DIMENSIONS AND REGULAR RINGS

Duality, Residues, Fundamental class

FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES

In Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.

Neat Homomorphisms over Dedekind Domains

4.2 Chain Conditions

ON THE ENDOMORPHISM RING OF A CHAIN MODULE

Semidualizing Modules. Sean Sather-Wagstaff

5 Dedekind extensions

Primary Decomposition and Associated Primes

n P say, then (X A Y ) P

ABSTRACT NONSINGULAR CURVES

THE RADIUS OF A SUBCATEGORY OF MODULES

SUBCATEGORIES OF EXTENSION MODULES BY SERRE SUBCATEGORIES

Homological Methods in Commutative Algebra

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

The Diamond Category of a Locally Discrete Ordered Set.

arxiv:math/ v1 [math.ac] 3 Apr 2006

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

SECONDARY REPRESENTATIONS FOR INJECTIVE MODULES OVER COMMUTATIVE NOETHERIAN RINGS

NOTES IN COMMUTATIVE ALGEBRA: PART 2

Formal power series rings, inverse limits, and I-adic completions of rings

Cohomology and Base Change

Lectures on Grothendieck Duality. II: Derived Hom -Tensor adjointness. Local duality.

A CHARACTERIZATION OF GORENSTEIN DEDEKIND DOMAINS. Tao Xiong

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

Commutative Algebra. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

Rings and groups. Ya. Sysak

5 An Informative Example.

Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality.

Notes for Boot Camp II

Real and p-adic Picard-Vessiot fields

On Commutative FDF-Rings

Advanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity.

Ordered K-theory. Peter Vámos, Exeter. Padova March 2015

5 Dedekind extensions

Iwasawa algebras and duality

Adic Spaces. 1 Huber rings. Notes by Tony Feng for a talk by Torsten Wedhorn. April 4, 2016

INJECTIVE COGENERATOR RINGS AND A THEOREM OF TACHIKAWA1

Combinatorics of Valuations on Curve Singularities

Schemes via Noncommutative Localisation

STRATIFYING TRIANGULATED CATEGORIES

Assigned homework problems S. L. Kleiman, fall 2008

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

8 Complete fields and valuation rings

Analytically Unramified One-dimensional Semilocal Rings and their Value Semigroups

Frobenius Green functors

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

11. Finitely-generated modules

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF

Lecture 4. Corollary 1.2. If the set of all nonunits is an ideal in A, then A is local and this ideal is the maximal one.

A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS

GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS. Haiyan Zhu and Nanqing Ding Department of Mathematics, Nanjing University, Nanjing, China

ALMOST PERFECT COMMUTATIVE RINGS

CRITERIA FOR FLATNESS AND INJECTIVITY

LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES

4.3 Composition Series

Proper classes related with complements and supplements

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS

ON THE USE OF LOCAL COHOMOLOGY IN ALGEBRA AND GEOMETRY

NOTES ON SPLITTING FIELDS

COMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract

Weak Proregularity, Weak Stability, and the Noncommutative MGM Equivalence

ULRICH IDEALS AND ALMOST GORENSTEIN RINGS

Math 711: Lecture of September 7, Symbolic powers

Homological Dimension

ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes

THE FROBENIUS STRUCTURE OF LOCAL COHOMOLOGY

Morita Equivalence. Eamon Quinlan

Transcription:

March 11, 2017

Matlis duality This is joint work with Doug Dailey. Let R be a semilocal ring with maximal ideals m 1,..., m t and J the Jacobson radical of R. Let E = E R (R/m 1 ) E R (R/m t ). Let ( ) v denote the Matlis dual functor Hom R (, E).

Matlis duality This is joint work with Doug Dailey. Let R be a semilocal ring with maximal ideals m 1,..., m t and J the Jacobson radical of R. Let E = E R (R/m 1 ) E R (R/m t ). Let ( ) v denote the Matlis dual functor Hom R (, E). Theorem (Matlis, 1958) Suppose R is J-adically complete. Then ( ) v gives an anti-equivalence of the full subcategories of Noetherian and Artinian R-modules. In particular, for any Noetherian or Artinian R-module M, the natural (evaluation) map is an isomorphism. φ M : M M v v = Hom R (Hom R (M, E), E))

Matlis reflexivity Let R be a (commutative) Noetherian ring, Λ the set of maximal ideals of R, and E R = m Λ E R (R/m). As before, we let ( ) v denote the functor Hom R (, E R ).

Matlis reflexivity Let R be a (commutative) Noetherian ring, Λ the set of maximal ideals of R, and E R = m Λ E R (R/m). As before, we let ( ) v denote the functor Hom R (, E R ). An R-module M is called Matlis reflexive (or, in this talk, simply reflexive) if the natural map M M v v is an isomorphism.

Matlis reflexivity Let R be a (commutative) Noetherian ring, Λ the set of maximal ideals of R, and E R = m Λ E R (R/m). As before, we let ( ) v denote the functor Hom R (, E R ). An R-module M is called Matlis reflexive (or, in this talk, simply reflexive) if the natural map M M v v is an isomorphism. An R-module M is said to be minimax if there exists a short exact sequence 0 X M Y 0 where X is Noetherian and Y is Artinian.

Belshoff-Enochs-Garcia-Rozas Theorem If R is a complete semilocal ring then any minimax module is reflexive, as seen by Matlis duality and the five-lemma.

Belshoff-Enochs-Garcia-Rozas Theorem If R is a complete semilocal ring then any minimax module is reflexive, as seen by Matlis duality and the five-lemma. In fact, a converse to this fact is also true: Theorem (BEGR, 1999) Let R be a Noetherian ring and M an R-module. Suppose M is reflexive. Then 1 R/ Ann R M is a complete semilocal ring, and 2 M is a minimax module.

Questions Let S be a multiplicatively closed set of a commutative Noetherian ring R, and let M be an R S -module.

Questions Let S be a multiplicatively closed set of a commutative Noetherian ring R, and let M be an R S -module. 1 If M is reflexive as an R-module, must it be reflexive as an R S -module? 2 If M is reflexive as a R S -module, must it be reflexive as an R-module?

Questions Let S be a multiplicatively closed set of a commutative Noetherian ring R, and let M be an R S -module. 1 If M is reflexive as an R-module, must it be reflexive as an R S -module? 2 If M is reflexive as a R S -module, must it be reflexive as an R-module? Note: In general, it is not the case that E RS = Hom R (R S, E R ).

Questions Let S be a multiplicatively closed set of a commutative Noetherian ring R, and let M be an R S -module. 1 If M is reflexive as an R-module, must it be reflexive as an R S -module? 2 If M is reflexive as a R S -module, must it be reflexive as an R-module? Note: In general, it is not the case that E RS = Hom R (R S, E R ). Example: (Melkersson-Schenzel, 1995) Let R be a local domain and p a prime which is neither minimal nor maximal. Then Hom R (R p, E R ) = ERp.

Answers It turns out that Question 1 has an affirmative answer: Theorem 1 M is reflexive as an R-module = M is reflexive as an R S -module.

Answers It turns out that Question 1 has an affirmative answer: Theorem 1 M is reflexive as an R-module = M is reflexive as an R S -module. But Question 2 has a negative answer in general: Theorem-Example: Let R be a Noetherian local domain of dimension at least two. Let Q = R (0) be the field of fractions of R. Then Q is not a reflexive R-module. (Note that Q is always a reflexive Q = R (0) -module.)

More answers Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module.

More answers Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module. To prove this, we need a couple results:

More answers Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module. To prove this, we need a couple results: Lemma (Kunz et al, 1967) Let (R, m, k) be a complete local domain which is not a field and F the field of fractions of R. Let V be a DVR with field of fractions F. Then R V.

More answers Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module. To prove this, we need a couple results: Lemma (Kunz et al, 1967) Let (R, m, k) be a complete local domain which is not a field and F the field of fractions of R. Let V be a DVR with field of fractions F. Then R V. Proof: Choose a m and let n be any integer relatively prime to char k. Consider f (x) = x n (1 + a). By Hensel s Lemma, there exists b R such that f (b) = 0.

Proof (continued) So b n = 1 + a. Let v be the valuation associated to V. Then nv(b) = v(1 + a). If v(a) < 0 then v(1 + a) < 0. Hence, v(b) 1 and v(1 + a) n, a contradiction. Thus, v(a) 0 and a V. Hence, m V.

Proof (continued) So b n = 1 + a. Let v be the valuation associated to V. Then nv(b) = v(1 + a). If v(a) < 0 then v(1 + a) < 0. Hence, v(b) 1 and v(1 + a) n, a contradiction. Thus, v(a) 0 and a V. Hence, m V. Let c R. Choose d m, d 0 (possible as R is not a field). If v(c) < 0 then v(c l d) < 0 for l sufficiently large. But this contradicts c l d m V. Hence, v(c) 0 and R V.

Localization and completion Proposition Let R be a Noetherian ring and p a prime of R. Suppose R p is complete. Then either p is minimal or R = R p T for some Noetherian ring T.

Localization and completion Proposition Let R be a Noetherian ring and p a prime of R. Suppose R p is complete. Then either p is minimal or R = R p T for some Noetherian ring T. Proof: Suppose p is not minimal. It suffices to prove the natural map ρ : R R p is surjective. By replacing R with R/ ker ρ, we may assume R R p is injective.

Localization and completion Proposition Let R be a Noetherian ring and p a prime of R. Suppose R p is complete. Then either p is minimal or R = R p T for some Noetherian ring T. Proof: Suppose p is not minimal. It suffices to prove the natural map ρ : R R p is surjective. By replacing R with R/ ker ρ, we may assume R R p is injective. Let a R, a p. It suffices to show a is a unit, which can be checked in R/q for every minimal prime q. Hence, we may assume R is a domain, not a field (as p is not minimal).

Proof (continued) If a is not a unit in R, then a n for some maximal ideal n. There exists a DVR V with the same field of fractions as R such that m V R = n. Since R p is complete, we must have R p V by Kunz s Lemma.

Proof (continued) If a is not a unit in R, then a n for some maximal ideal n. There exists a DVR V with the same field of fractions as R such that m V R = n. Since R p is complete, we must have R p V by Kunz s Lemma. But as a is a unit in R p, a is also a unit in V, contradicting that a n m V.

Proof of Theorem 2 Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module.

Proof of Theorem 2 Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module. Proof: M is reflexive as an R-module if and only if M is reflexive as an R/ Ann R M-module. Hence, we may assume Ann R M = 0.

Proof of Theorem 2 Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module. Proof: M is reflexive as an R-module if and only if M is reflexive as an R/ Ann R M-module. Hence, we may assume Ann R M = 0. Hence, Ann Rp M = 0. In particular, the map R R p is injective.

Proof of Theorem 2 Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module. Proof: M is reflexive as an R-module if and only if M is reflexive as an R/ Ann R M-module. Hence, we may assume Ann R M = 0. Hence, Ann Rp M = 0. In particular, the map R R p is injective. By the BEGR Theorem, R p is complete.

Proof of Theorem 2 Theorem 2 Let (R, m) be a local ring and M a reflexive R p -module for some prime p. Suppose p is not minimal over Ann R M. Then M is reflexive as an R-module. Proof: M is reflexive as an R-module if and only if M is reflexive as an R/ Ann R M-module. Hence, we may assume Ann R M = 0. Hence, Ann Rp M = 0. In particular, the map R R p is injective. By the BEGR Theorem, R p is complete. By the Proposition, R = R p, and M is reflexive as an R-module.

The End Thank you!