Stable Local Cohomology and Cosupport

Authors

• Peder Thompson, University of Nebraska-LincolnFollow

First Advisor

Mark E. Walker

Date of this Version

Spring 5-2016

Document Type

Dissertation

Comments

A dissertation Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfillment of Requirements For the Degree of Doctor of Philosophy, Major: Mathematics, Under the Supervision of Professor Mark E. Walker. Lincoln, Nebraska: May, 2016

Copyright © 2016 Peder Thompson

Abstract

This dissertation consists of two parts, both under the overarching theme of resolutions over a commutative Noetherian ring R. In particular, we use complete resolutions to study stable local cohomology and cotorsion-flat resolutions to investigate cosupport.

In Part I, we use complete (injective) resolutions to define a stable version of local cohomology. For a module having a complete injective resolution, we associate a stable local cohomology module; this gives a functor to the stable category of Gorenstein injective modules. We show that this functor behaves much like the usual local cohomology functor. When there is only one non-zero local cohomology module, we show there is a strong connection between that module and the stable local cohomology module; in fact, the latter gives a Gorenstein injective approximation of the former.

In Part II, we utilize minimal cotorsion-flat resolutions to compute cosupport. We first develop a criterion for a cotorsion-flat resolution to be minimal. For a module having an appropriately minimal resolution by cotorsion-flat modules, we show that its cosupport coincides with those primes ``appearing'' in such a resolution---much like the dual notion that minimal injective resolutions detect (small) support. This gives us a method to compute the cosupport of various modules, including all flat modules and all cotorsion modules.

Adviser: Mark E. Walker