Showing 1–48 of 48 results for author: Christensen, L W

One-sided Gorenstein rings

Authors: Lars Winther Christensen, Sergio Estrada, Li Liang, Peder Thompson, Junpeng Wang

Abstract: Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even without the noetherian hypothesis. Our results yield new relations among homological invariants related to the Gorenstein property, not only Gorenstein global di… ▽ More Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even without the noetherian hypothesis. Our results yield new relations among homological invariants related to the Gorenstein property, not only Gorenstein global dimensions but also the suprema of projective/injective dimensions of injective/projective modules and finitistic dimensions. △ Less

Submitted 11 November, 2023; v1 submitted 25 August, 2023; originally announced August 2023.

Comments: Final version, to appear in Forum Math.; 28 pp

MSC Class: 16E10; 16E65

Sampling Algebra Structures on Minimal Free Resolutions

Authors: Lars Winther Christensen, Orin Gotchey, Alexis Hardesty

Abstract: Ideals in the ring of power series in three variables can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which algebra structures actually occur; this realizability question was formally raised by Avramov in 2012. We discuss the outcomes of an experiment performed to shed light on Avramov's question: U… ▽ More Ideals in the ring of power series in three variables can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which algebra structures actually occur; this realizability question was formally raised by Avramov in 2012. We discuss the outcomes of an experiment performed to shed light on Avramov's question: Using the computer algebra system Macaulay2, we classify a billion randomly generated ideals and build a database with examples of ideals of all classes realized in the experiment. Based on the outcomes, we discuss the status of recent conjectures that relate to the realizability question. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 20 pp

MSC Class: Primary: 13-11. Secondary: 13C05; 13D02

The Improved New Intersection Theorem revisited

Authors: Lars Winther Christensen, Luigi Ferraro

Abstract: We prove a generalized version of Evans and Griffith's Improved New Intersection Theorem: Let I be an ideal in a local ring R. If a finite free R-complex, concentrated in nonnegative degrees, has I-torsion homology in positive degrees, and the homology in degree 0 has an I-torsion minimal generator, then the length of the complex is at least dim R - dim R/I. This improves the bound ht I obtained b… ▽ More We prove a generalized version of Evans and Griffith's Improved New Intersection Theorem: Let I be an ideal in a local ring R. If a finite free R-complex, concentrated in nonnegative degrees, has I-torsion homology in positive degrees, and the homology in degree 0 has an I-torsion minimal generator, then the length of the complex is at least dim R - dim R/I. This improves the bound ht I obtained by Avramov, Iyengar, and Neeman in 2018. △ Less

Submitted 19 October, 2022; v1 submitted 12 June, 2022; originally announced June 2022.

Comments: Corrected a few typos. Final version, to appear in Michigan Math. J.; 7 pp

MSC Class: 13D22; 13D45

Five theorems on Gorenstein global dimensions

Authors: Lars Winther Christensen, Sergio Estrada, Peder Thompson

Abstract: We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings. We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings. △ Less

Submitted 11 August, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

Comments: Minor editorial changes. Final version, to appear in Contemp. Math; 12 pp

MSC Class: Primary 16E10; Secondary 16E65; 16S34

Rigidity of Ext and Tor via flat-cotorsion theory

Authors: Lars Winther Christensen, Luigi Ferraro, Peder Thompson

Abstract: Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i >= n. This improves a result of Christensen, Iyengar, and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is… ▽ More Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i >= n. This improves a result of Christensen, Iyengar, and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson. △ Less

Submitted 19 September, 2023; v1 submitted 30 November, 2021; originally announced December 2021.

Comments: Final version, to appear in Proc. Edinb. Math. Soc.; 10 pp

MSC Class: 13D07; 13D05

Three takes on almost complete intersection ideals of grade 3

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties. We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 47 pp

MSC Class: 13C05; 13H10

Generic local rings on a spectrum between Golod and Gorenstein

Authors: Lars Winther Christensen, Oana Veliche

Abstract: Artinian quotients R of the local ring Q = k[[x,y,z]] are classified by multiplicative structures on A = Tor_Q^*(R,k); in particular, R is Gorenstein if and only if A is a Poincare duality algebra while R is Golod if and only if all products in A_{>0} are trivial. There is empirical evidence that generic quotient rings with small socle ranks fall on a spectrum between Golod and Gorenstein in a ver… ▽ More Artinian quotients R of the local ring Q = k[[x,y,z]] are classified by multiplicative structures on A = Tor_Q^*(R,k); in particular, R is Gorenstein if and only if A is a Poincare duality algebra while R is Golod if and only if all products in A_{>0} are trivial. There is empirical evidence that generic quotient rings with small socle ranks fall on a spectrum between Golod and Gorenstein in a very precise sense: The algebra A breaks up as a direct sum of a Poincare duality algebra P and a graded vector space V, on which P_{>0} acts trivially. That is, A is a trivial extension, A = P \ltimes V, and the extremes A = (k \oplus Σk) \ltimes V and A = P correspond to R being Golod and Gorenstein, respectively. We prove that this observed behavior is, indeed, the generic behavior for graded quotients R of socle rank 2, and we show that the rank of P is controlled by the difference between the order and the degree of the socle polynomial of R. △ Less

Submitted 2 July, 2023; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: Final version, to appear in Adv. Appl. Math; 45 pp

MSC Class: Primary 13C05. Secondary 13A02; 13D02; 13D07; 13E10; 13P20

Gorenstein weak global dimension is symmetric

Authors: Lars Winther Christensen, Sergio Estrada, Peder Thompson

Abstract: We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension. We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension. △ Less

Submitted 3 June, 2021; v1 submitted 17 March, 2021; originally announced March 2021.

Comments: Minor revisions. Final version, to appear in Math. Nachr.; 9 pp

MSC Class: 16E10; 16E65

Dimension of finite free complexes over commutative Noetherian rings

Authors: Lars Winther Christensen, Srikanth B. Iyengar

Abstract: Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite rank can be computed directly from the matrices representing the differentials of the complex. Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite rank can be computed directly from the matrices representing the differentials of the complex. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Comments: To appear in Contemp. Math,; 6 pp

MSC Class: {13D02 (primary); 13C15

The singularity category of an exact category applied to characterize Gorenstein schemes

Authors: Lars Winther Christensen, Nanqing Ding, Sergio Estrada, Jiangsheng Hu, Huanhuan Li, Peder Thompson

Abstract: We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian mo… ▽ More We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian more than ten years ago. As another application we use the framework to characterize rings of finite finitistic dimension. △ Less

Submitted 5 May, 2022; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: Minor revisions. Final version, to appear in Q.J. Math; 24 pp

MSC Class: Primary 14F08. Secondary 16E65; 18G20

Minors of a skew symmetric matrix: A combinatorial approach

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians. We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Comments: Final version, to appear in Electron. J. Linear Algebra; 6 pp

MSC Class: 15A15; 15A24

A refinement of Gorenstein flat dimension via the flat--cotorsion theory

Authors: Lars Winther Christensen, Sergio Estrada, Li Liang, Peder Thompson, Dejun Wu, Yang Gang

Abstract: We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological dimension without extra assumptions on the ring. Crucially, we show that it coincides with the Gorenstein flat dimension for complexes where the latter is finite,… ▽ More We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological dimension without extra assumptions on the ring. Crucially, we show that it coincides with the Gorenstein flat dimension for complexes where the latter is finite, and for complexes over right coherent rings--the setting where the Gorenstein flat dimension is known to behave as expected. △ Less

Submitted 28 September, 2020; v1 submitted 13 December, 2019; originally announced December 2019.

Comments: Final version, to appear i J. Algebra; 21 pp

MSC Class: 16E10; 16E05

The stable category of Gorenstein flat sheaves on a noetherian scheme

Authors: Lars Winther Christensen, Sergio Estrada, Peder Thompson

Abstract: For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-co… ▽ More For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-coherent sheaves as the natural non-affine analogue of the homotopy category of totally acyclic complexes of projective modules. △ Less

Submitted 14 July, 2020; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: Final version, to appear in Proc. Amer. Math. Soc.; 14 pp

MSC Class: 14F05; 18G35

A Bass equality for Gorenstein injective dimension of modules finite over homomorphisms

Authors: Lars Winther Christensen, Dejun Wu

Abstract: Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$. Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$. △ Less

Submitted 30 April, 2019; v1 submitted 15 February, 2019; originally announced February 2019.

Comments: Minor updates incl. additional citations. Final version, to appear in Arch. Math. (Basel); 8 pp

MSC Class: 13D05

Linkage classes of grade 3 perfect ideals

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection ideal, it is known not to be the case for ideals of grade 3. We soften the blow by proving that every grade 3 perfect ideal in a regular local ring is linked to a complete intersection or a Golod ideal. Our proof is indebted to a homological classification of Cohen-Macaulay local rings of codimension 3.… ▽ More While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection ideal, it is known not to be the case for ideals of grade 3. We soften the blow by proving that every grade 3 perfect ideal in a regular local ring is linked to a complete intersection or a Golod ideal. Our proof is indebted to a homological classification of Cohen-Macaulay local rings of codimension 3. That debt is swiftly repaid, as we use linkage to reveal some of the finer structures of this classification. △ Less

Submitted 3 June, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: Added proofs of 4.1 and 4.4; strengthened 5.3. Final version, to appear in J. Pure Appl. Algebra; 29 pp

MSC Class: Primary 13C40. Secondary 13D02; 13H10

Homotopy categories of totally acyclic complexes with applications to the flat-cotorsion theory

Authors: Lars Winther Christensen, Sergio Estrada, Peder Thompson

Abstract: We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category… ▽ More We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category of cotorsion Gorenstein flat modules; one that puts it on equal footing with the category of Gorenstein projective modules. △ Less

Submitted 12 September, 2019; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: Added Proposition 4.2, updated after review. Final version, to appear in Contemp. Math.; 20 pp

MSC Class: Primary 16E05. Secondary 18G25; 18G35

Pure-minimal chain complexes

Authors: Lars Winther Christensen, Peder Thompson

Abstract: We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we characterize von Neumann regular rings and left perfect rings. We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we characterize von Neumann regular rings and left perfect rings. △ Less

Submitted 3 October, 2018; v1 submitted 31 December, 2017; originally announced January 2018.

Comments: Old Section 6 removed and minor edits. Final version, to appear in Rend. Semin. Mat. Univ. Padova; 18 pp

MSC Class: 16E05; 16E10

Free resolutions of Dynkin format and the licci property of grade 3 perfect ideals

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: Recent work on generic free resolutions of length 3 attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade 3 perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection. Recent work on generic free resolutions of length 3 attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade 3 perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection. △ Less

Submitted 17 January, 2019; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: Minor edits. Final version, to appear in Math. Scand., 13 pp

MSC Class: 13C40; 13D02

The Golod property of powers of the maximal ideal of a local ring

Authors: Lars Winther Christensen, Oana Veliche

Abstract: We identify minimal cases in which a power $m^i\not=0$ of the maximal ideal of a local ring $R$ is not Golod, i.e.\ the quotient ring $R/m^i$ is not Golod. Complementary to a 2014 result by Rossi and Şega, we prove that for a generic artinian Gorenstein local ring with $m^4=0\not= m^3$, the quotient $R/m^3$ is not Golod. This is provided that $m$ is minimally generated by at least $3$ elements. In… ▽ More We identify minimal cases in which a power $m^i\not=0$ of the maximal ideal of a local ring $R$ is not Golod, i.e.\ the quotient ring $R/m^i$ is not Golod. Complementary to a 2014 result by Rossi and Şega, we prove that for a generic artinian Gorenstein local ring with $m^4=0\not= m^3$, the quotient $R/m^3$ is not Golod. This is provided that $m$ is minimally generated by at least $3$ elements. Indeed, we show that if $m$ is $2$-generated, then every power $m^i\not= 0$ is Golod. △ Less

Submitted 9 January, 2018; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: Updated after peer review. Minor edits and new section with remarks on codepth 4 rings. Final version, so appear in Arch. Math. (Basel); 12 pp

MSC Class: 13H10; 13D02

Totally acyclic complexes and locally Gorenstein rings

Authors: Lars Winther Christensen, Kiriko Kato

Abstract: A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. we remove the assumption about a dualizing complex. In this context Gorenstein, of course, means locally Gorenstein at every prime. A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. we remove the assumption about a dualizing complex. In this context Gorenstein, of course, means locally Gorenstein at every prime. △ Less

Submitted 9 February, 2017; originally announced February 2017.

Comments: To appear in J. Algebra Appl.; 5 pp

MSC Class: 13D02; 13H10

Rigidity of Ext and Tor with coefficients in residue fields of a commutative noetherian ring

Authors: Lars Winther Christensen, Srikanth B. Iyengar, Thomas Marley

Abstract: Let p be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies Tor^R_n(k(p),M) = 0 for some n \geq dim R_p, where k(p) is the residue field at p, then Tor^R_i(k(p),M) = 0 holds for all i \geq n. Similar rigidity results concerning Ext_R^*(k(p),M) are proved, and applications to the theory of homological dimensions are explored. Let p be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies Tor^R_n(k(p),M) = 0 for some n \geq dim R_p, where k(p) is the residue field at p, then Tor^R_i(k(p),M) = 0 holds for all i \geq n. Similar rigidity results concerning Ext_R^*(k(p),M) are proved, and applications to the theory of homological dimensions are explored. △ Less

Submitted 27 July, 2017; v1 submitted 10 November, 2016; originally announced November 2016.

Comments: Final version, to appear in Proc. Edinb. Math. Soc.; 15 pp

MSC Class: 13D07; 13D05

Trimming a Gorenstein ideal

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings. Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings. △ Less

Submitted 18 January, 2017; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: Corrected statement of Lemma 2.3 and updated proof of Theorem 2.4. Final version, to appear in J. Commut. Algebra; 11 pp

MSC Class: 13C99; 13H10

Gorenstein dimensions of unbounded complexes and faithfully flat change of base (With an appendix by Driss Bennis)

Authors: Lars Winther Christensen, Fatih Koksal, Li Liang

Abstract: For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein injective if and only if it is cotorsion and the left S-module Hom(S,N) is Gorenstein injective. We apply these results to the study of Gorenstein homological dim… ▽ More For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein injective if and only if it is cotorsion and the left S-module Hom(S,N) is Gorenstein injective. We apply these results to the study of Gorenstein homological dimensions of unbounded complexes. In particular, we prove two theorems on stability of these dimensions under faithfully flat (co-)base change. △ Less

Submitted 12 May, 2016; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: Minor corrections. Added section with closing remarks per journal's request. Final version to appear in Sci. China Math.; 22 pp

MSC Class: 13D05; 13D02

A Zariski-local notion of F-total acyclicity for complexes of sheaves

Authors: Lars Winther Christensen, Sergio Estrada, Alina Iacob

Abstract: We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet and Salarian for sheaves over a noetherian semi-separated scheme. As part of the study we recover, and in several cases extend the validity of, recent theorems… ▽ More We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet and Salarian for sheaves over a noetherian semi-separated scheme. As part of the study we recover, and in several cases extend the validity of, recent theorems on existence of covers and precovers in categories of sheaves. One consequence is the existence of an adjoint to the inclusion of these totally acyclic complexes into the homotopy category of complexes of flat sheaves. △ Less

Submitted 23 June, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

MSC Class: 18F20; 18G25; 18G35

Tests for injectivity of modules over commutative rings

Authors: Lars Winther Christensen, Srikanth B. Iyengar

Abstract: It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully flat, then a module M such that Hom(F,M) is injective and Ext^i(F,M)=0 for all i\ge 1 is injective. A limited version of this characterization is also proved fo… ▽ More It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully flat, then a module M such that Hom(F,M) is injective and Ext^i(F,M)=0 for all i\ge 1 is injective. A limited version of this characterization is also proved for certain non-noetherian rings. △ Less

Submitted 15 June, 2016; v1 submitted 19 August, 2015; originally announced August 2015.

Comments: Updated bibliography. Final version to appear in Collect. Math.; 8 pp

MSC Class: 13C11; 13D05

Complete Homology over associative rings

Authors: Olgur Celikbas, Lars Winther Christensen, Li Liang, Greg Piepmeyer

Abstract: We compare two generalizations of Tate homology: stable homology and the J-completion of Tor, also known as complete homology. For finitely generated modules, we show that the two theories agree over Artin algebras and over commutative noetherian rings that are Gorenstein, or local and complete. We compare two generalizations of Tate homology: stable homology and the J-completion of Tor, also known as complete homology. For finitely generated modules, we show that the two theories agree over Artin algebras and over commutative noetherian rings that are Gorenstein, or local and complete. △ Less

Submitted 1 June, 2015; v1 submitted 1 January, 2015; originally announced January 2015.

Comments: Updated after referee report: Title expanded; added appendix on comparison map; old Example 2.7 was flawed and has been replaced by Question A.5; minor editorial changes. Final version, to appear in Israel J. Math.; 17 pp

MSC Class: 16E30; 18E25

Stable homology over associative rings

Authors: Olgur Celikbas, Lars Winther Christensen, Li Liang, Greg Piepmeyer

Abstract: We analyze stable homology over associative rings and obtain results over Artin algebras and commutative noetherian rings. Our study develops similarly for these classes; for simplicity we only discuss the latter here. Stable homology is a broad generalization of Tate homology. Vanishing of stable homology detects classes of rings---among them Gorenstein rings, the original domain of Tate homolo… ▽ More We analyze stable homology over associative rings and obtain results over Artin algebras and commutative noetherian rings. Our study develops similarly for these classes; for simplicity we only discuss the latter here. Stable homology is a broad generalization of Tate homology. Vanishing of stable homology detects classes of rings---among them Gorenstein rings, the original domain of Tate homology. Closely related to gorensteinness of rings is Auslander's G-dimension for modules. We show that vanishing of stable homology detects modules of finite G-dimension. This is the first characterization of such modules in terms of vanishing of (co)homology alone. Stable homology, like absolute homology, Tor, is a theory in two variables. It can be computed from a flat resolution of one module together with an injective resolution of the other. This betrays that stable homology is not balanced in the way Tor is balanced. In fact, we prove that a ring is Gorenstein if and only if stable homology is balanced. △ Less

Submitted 5 January, 2016; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: Updated after referee report: Title expanded; old Thm. A.7 expanded to Lem. A.7 and Thm. A.8; other minor updates. Final version, to appear in Trans. Amer. Math. Soc.; 25 pp

MSC Class: 16E05; 16E30; 16E10; 13H10

Injective Modules under Faithfully Flat Ring Extensions

Authors: Lars Winther Christensen, Fatih Koksal

Abstract: Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its completion, but it is close: It is a special case of our main theorem that in this setting, an R-module N with Ext^i(S,N)=0 for all i>0 is injective if Hom(S,N) is… ▽ More Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its completion, but it is close: It is a special case of our main theorem that in this setting, an R-module N with Ext^i(S,N)=0 for all i>0 is injective if Hom(S,N) is an injective S-module. △ Less

Submitted 16 April, 2015; v1 submitted 30 June, 2014; originally announced June 2014.

Comments: Minor editorial change after review. Final version, to appear in Proc. Amer. Math. Soc.; 6 pp

MSC Class: 13C11; 13D05

Local rings of embedding codepth 3: a classification algorithm

Authors: Lars Winther Christensen, Oana Veliche

Abstract: Let I be an ideal of a regular local ring Q with residue field k. The length of the minimal free resolution of R=Q/I is called the codepth of R. If it is at most 3, then the resolution carries a structure of a differential graded algebra, and the induced algebra structure on $Tor_Q(R,k) provides for a classification of such local rings. We describe the Macaulay2 package CodepthThree that impleme… ▽ More Let I be an ideal of a regular local ring Q with residue field k. The length of the minimal free resolution of R=Q/I is called the codepth of R. If it is at most 3, then the resolution carries a structure of a differential graded algebra, and the induced algebra structure on $Tor_Q(R,k) provides for a classification of such local rings. We describe the Macaulay2 package CodepthThree that implements an algorithm for classifying a local ring as above by computation of a few cohomological invariants. △ Less

Submitted 25 September, 2014; v1 submitted 17 February, 2014; originally announced February 2014.

Comments: Minor changes. Final version; to appear in J. Softw. Algebra Geom.; 7 pp. The Macaulay2 package CodepthThree is available from one author's homepage http://www.math.ttu.edu/~lchriste/publications.html

MSC Class: 13P20; 13D02; 13H10

Journal ref: JSAG 6 (2014) 1-8

The direct limit closure of perfect complexes

Authors: Lars Winther Christensen, Henrik Holm

Abstract: Every projective module is flat. Conversely, every flat module is a direct limit of finitely generated free modules; this was proved independently by Govorov and Lazard in the 1960s. In this paper we prove an analogous result for complexes of modules, and as applications we reprove some results due to Enochs and García Rozas and to Neeman. Every projective module is flat. Conversely, every flat module is a direct limit of finitely generated free modules; this was proved independently by Govorov and Lazard in the 1960s. In this paper we prove an analogous result for complexes of modules, and as applications we reprove some results due to Enochs and García Rozas and to Neeman. △ Less

Submitted 11 June, 2013; v1 submitted 4 January, 2013; originally announced January 2013.

Comments: Final version; 16 pp. Some arguments have been simplified or replaced by references to the book of Adámek and Rosický. As a consequence, sections 4 and 5 have been merged, and a construction of a certain direct system has been removed. To appear in J. Pure Appl. Algebra

MSC Class: Primary 16E05. Secondary 13D02; 16E35

Building modules from the singular locus

Authors: Jesse Burke, Lars Winther Christensen, Ryo Takahashi

Abstract: A finitely generated module over a commutative noetherian ring of finite Krull dimension can be built from the prime ideals in the singular locus by iteration of three procedures: taking extensions, direct summands, and cosyzygies. In 2003 Schoutens gave a bound on the number of iterations required to build any module, and in this note we determine the exact number. This building process yields a… ▽ More A finitely generated module over a commutative noetherian ring of finite Krull dimension can be built from the prime ideals in the singular locus by iteration of three procedures: taking extensions, direct summands, and cosyzygies. In 2003 Schoutens gave a bound on the number of iterations required to build any module, and in this note we determine the exact number. This building process yields a stratification of the module category, which we study in detail for local rings that have an isolated singularity. △ Less

Submitted 19 November, 2014; v1 submitted 28 September, 2012; originally announced October 2012.

Comments: Minor corrections; final version to appear in Math. Scand; 8 pp

Local rings of embedding codepth 3. Examples

Authors: Lars Winther Christensen, Oana Veliche

Abstract: A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding codepth 3. We give examples of algebra structures that have been conjectured not to occur. A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding codepth 3. We give examples of algebra structures that have been conjectured not to occur. △ Less

Submitted 14 November, 2012; v1 submitted 19 September, 2012; originally announced September 2012.

Comments: Updated reference and corrected typos. Final version; to appear in Algebras and Representation Theory; 13 pp

MSC Class: 13D02; 13C99; 13H10

Vanishing of Tate homology and depth formulas over local rings

Authors: Lars Winther Christensen, David A. Jorgensen

Abstract: Auslander's depth formula for pairs of Tor-independent modules over a regular local ring, depth(M \otimes N) = depth(M) + depth(N) - depth(R), has been generalized in several directions over a span of four decades. In this paper we establish a depth formula that holds for every pair of Tate Tor-independent modules over a Gorenstein local ring. It subsumes previous eneralizations of Auslander's for… ▽ More Auslander's depth formula for pairs of Tor-independent modules over a regular local ring, depth(M \otimes N) = depth(M) + depth(N) - depth(R), has been generalized in several directions over a span of four decades. In this paper we establish a depth formula that holds for every pair of Tate Tor-independent modules over a Gorenstein local ring. It subsumes previous eneralizations of Auslander's formula and yields exact bounds for vanishing of cohomology over certain Gorenstein rings. △ Less

Submitted 15 December, 2013; v1 submitted 15 July, 2011; originally announced July 2011.

Comments: Editorial changes after review. Final version, to appear in J. Pure Appl. Algebra; 19 pp

MSC Class: Primary 13D07. Secondary 13D02

Tate (co)homology via pinched complexes

Authors: Lars Winther Christensen, David A. Jorgensen

Abstract: For complexes of modules we study two new constructions, which we call the pinched tensor product and the pinched Hom. They provide new methods for computing Tate homology and Tate cohomology, which lead to conceptual proofs of balancedness of Tate (co)homology for modules over associative rings. Another application we consider is in local algebra. Under conditions of vanishing of Tate (co)homol… ▽ More For complexes of modules we study two new constructions, which we call the pinched tensor product and the pinched Hom. They provide new methods for computing Tate homology and Tate cohomology, which lead to conceptual proofs of balancedness of Tate (co)homology for modules over associative rings. Another application we consider is in local algebra. Under conditions of vanishing of Tate (co)homology, the pinched tensor product of two minimal complete resolutions yields a minimal complete resolution. △ Less

Submitted 14 November, 2011; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: Final version; 23 pp. To appear in Trans. Amer. Math. Soc

MSC Class: 16E05; 16E30 (Primary) 13D07; 18G25 (Secondary)

Brauer-Thrall for totally reflexive modules

Authors: Lars Winther Christensen, David A. Jorgensen, Hamidreza Rahmati, Janet Striuli, Roger Wiegand

Abstract: Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is to understand how complex the category of totally reflexive modules can be in this situation. Local rings (R,m) with m^3=0 are commonly regarded as the structu… ▽ More Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is to understand how complex the category of totally reflexive modules can be in this situation. Local rings (R,m) with m^3=0 are commonly regarded as the structurally simplest rings to admit diverse categorical and homological characteristics. For such rings we obtain conclusive results about the category of totally reflexive modules, modeled on the Brauer-Thrall conjectures. Starting from a non-free cyclic totally reflexive module, we construct a family of indecomposable totally reflexive R-modules that contains, for every n in N, a module that is minimally generated by n elements. Moreover, if the residue field R/m is algebraically closed, then we construct for every n in N an infinite family of indecomposable and pairwise non-isomorphic totally reflexive R-modules, that are all minimally generated by n elements. The modules in both families have periodic minimal free resolutions of period at most 2. △ Less

Submitted 27 October, 2011; v1 submitted 10 August, 2010; originally announced August 2010.

Comments: Final version; 34 pp. To appear in J. Algebra

MSC Class: 16G10; 13D02 (Primary) 16G60; 13C14 (Secondary)

Vanishing of cohomology over Cohen--Macaulay rings

Authors: Lars Winther Christensen, Henrik Holm

Abstract: A 2003 counterexample to a conjecture of Auslander brought attention to a family of rings - colloquially called AC rings - that satisfy a natural condition on vanishing of cohomology. Several results attest to the remarkable homological properties of AC rings, but their definition is barely operational, and it remains unknown if they form a class that is closed under typical constructions in ring… ▽ More A 2003 counterexample to a conjecture of Auslander brought attention to a family of rings - colloquially called AC rings - that satisfy a natural condition on vanishing of cohomology. Several results attest to the remarkable homological properties of AC rings, but their definition is barely operational, and it remains unknown if they form a class that is closed under typical constructions in ring theory. In this paper, we study transfer of the AC property along local homomorphisms of Cohen--Macaulay rings. In particular, we show that the AC property is preserved by standard procedures in local algebra. Our results also yield new examples of Cohen-Macaulay AC rings. △ Less

Submitted 23 February, 2012; v1 submitted 4 June, 2010; originally announced June 2010.

Comments: Updated references. Final version to appear in Manuscripta Math.; 9 pp

MSC Class: 13D07; 13H10

Growth in the minimal injective resolution of a local ring

Authors: Lars Winther Christensen, Janet Striuli, Oana Veliche

Abstract: Let R be a commutative noetherian local ring with residue field k and assume that it is not Gorenstein. In the minimal injective resolution of R, the injective envelope E of the residue field appears as a summand in every degree starting from the depth of R. The number of copies of E in degree i equals the k-vector space dimension of the cohomology module Ext^i(k,R). These dimensions, known as B… ▽ More Let R be a commutative noetherian local ring with residue field k and assume that it is not Gorenstein. In the minimal injective resolution of R, the injective envelope E of the residue field appears as a summand in every degree starting from the depth of R. The number of copies of E in degree i equals the k-vector space dimension of the cohomology module Ext^i(k,R). These dimensions, known as Bass numbers, form an infinite sequence of invariants of R about which little is known. We prove that it is non-decreasing and grows exponentially if R is Golod, a non-trivial fiber product, or Teter, or if it has radical cube zero. △ Less

Submitted 6 July, 2009; v1 submitted 26 December, 2008; originally announced December 2008.

Comments: Final version, to appear in J. London Math. Soc.; 21 pp

MSC Class: 13D02; 13D07; 13H10

Beyond Totally Reflexive Modules and Back

Authors: Lars Winther Christensen, Hans-Bjørn Foxby, Henrik Holm

Abstract: Starting from the notion of totally reflexive modules, we survey the theory of Gorenstein homological dimensions for modules over commutative rings. The account includes the theory's connections with relative homological algebra and with studies of local ring homomorphisms. It ends close to the starting point: with a characterization of Gorenstein rings in terms of total acyclicity of complexes. Starting from the notion of totally reflexive modules, we survey the theory of Gorenstein homological dimensions for modules over commutative rings. The account includes the theory's connections with relative homological algebra and with studies of local ring homomorphisms. It ends close to the starting point: with a characterization of Gorenstein rings in terms of total acyclicity of complexes. △ Less

Submitted 3 January, 2010; v1 submitted 19 December, 2008; originally announced December 2008.

Comments: A survey of Gorenstein dimensions for modules over commutative rings; 44 pp. Final version, to appear in "Commutative Algebra: Noetherian and non-Noetherian perspectives", Springer-Verlag"

MSC Class: 13-02; 13B10; 13D05; 13H10; 18G25

Transfer of Gorenstein dimensions along ring homomorphisms

Authors: Lars Winther Christensen, Sean Sather-Wagstaff

Abstract: A central problem in the theory of Gorenstein dimensions over commutative noetherian rings is to find resolution-free characterizations of the modules for which these invariants are finite. Over local rings, this problem was recently solved for the Gorenstein flat and the Gorenstein projective dimensions; here we give a solution for the Gorenstein injective dimension. Moreover, we establish two… ▽ More A central problem in the theory of Gorenstein dimensions over commutative noetherian rings is to find resolution-free characterizations of the modules for which these invariants are finite. Over local rings, this problem was recently solved for the Gorenstein flat and the Gorenstein projective dimensions; here we give a solution for the Gorenstein injective dimension. Moreover, we establish two formulas for the Gorenstein injective dimension of modules in terms of the depth invariant; they extend formulas for the injective dimension due to Bass and Chouinard. △ Less

Submitted 10 August, 2009; v1 submitted 4 July, 2008; originally announced July 2008.

Comments: Removed section 2. Final version; to appear in J. Pure Appl. Algebra, 12 pp. Also available from the authors' homepages http://www.math.ttu.edu/~lchriste/publications.html and http://www.math.ndsu.nodak.edu/faculty/ssatherw/research.html

MSC Class: 13D05; 13D07; 13D25

Algebras that satisfy Auslander's condition on vanishing of cohomology

Authors: Lars Winther Christensen, Henrik Holm

Abstract: Auslander conjectured that every Artin algebra satisfies a certain condition on vanishing of cohomology of finitely generated modules. The failure of this conjecture - by a 2003 counterexample due to Jorgensen and Sega - motivates the consideration of the class of rings that do satisfy Auslander's condition. We call them AC rings and show that an AC Artin algebra that is left-Gorenstein is also… ▽ More Auslander conjectured that every Artin algebra satisfies a certain condition on vanishing of cohomology of finitely generated modules. The failure of this conjecture - by a 2003 counterexample due to Jorgensen and Sega - motivates the consideration of the class of rings that do satisfy Auslander's condition. We call them AC rings and show that an AC Artin algebra that is left-Gorenstein is also right-Gorenstein. Furthermore, the Auslander-Reiten Conjecture is proved for AC rings, and Auslander's G-dimension is shown to be functorial for AC rings that are commutative or have a dualizing complex. △ Less

Submitted 21 January, 2009; v1 submitted 2 January, 2008; originally announced January 2008.

Comments: Final version, to appear in Math. Z. 20 pp

MSC Class: 16E65; 16E30; 13D05

Finite Gorenstein representation type implies simple singularity

Authors: Lars Winther Christensen, Greg Piepmeyer, Janet Striuli, Ryo Takahashi

Abstract: Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1 free module, or R is Gorenstein and an isolated singularity (if R is complete, then it is even a simple hypersurface singularity). The crux of our proof is to… ▽ More Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1 free module, or R is Gorenstein and an isolated singularity (if R is complete, then it is even a simple hypersurface singularity). The crux of our proof is to argue that if the residue field has a totally reflexive cover, then R is Gorenstein or every totally reflexive R-module is free. △ Less

Submitted 22 February, 2008; v1 submitted 25 April, 2007; originally announced April 2007.

Comments: Final version, to appear in Adv. Math. 14 pp

MSC Class: 14B05; 18G25; 13C14

A Cohen-Macaulay algebra has only finitely many semidualizing modules

Authors: Lars Winther Christensen, Sean Sather-Wagstaff

Abstract: We prove the result stated in the title, which answers the equicharacteristic case of a question of Vasconcelos. We prove the result stated in the title, which answers the equicharacteristic case of a question of Vasconcelos. △ Less

Submitted 16 November, 2007; v1 submitted 20 April, 2007; originally announced April 2007.

Comments: Final version; 3 pp. To appear in Math. Proc. Cambridge Philos. Soc

MSC Class: 13C13; 13H10

Descent via Koszul extensions

Authors: Lars Winther Christensen, Sean Sather-Wagstaff

Abstract: Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed étale neighborhood of R: We extend a given R^-complex to a DG module over a Koszul complex; we describe this DG module equationally and apply Artin approximation to desc… ▽ More Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed étale neighborhood of R: We extend a given R^-complex to a DG module over a Koszul complex; we describe this DG module equationally and apply Artin approximation to descend it to R. This descent result for Koszul extensions has several applications. When R is excellent, we use it to descend the dualizing complex from R^ to a pointed étale neighborhood of R; this yields a new version of P. Roberts' theorem on uniform annihilation of homology modules of perfect complexes. As another application we prove that the Auslander Condition on uniform vanishing of cohomology ascends to R^ when R is excellent, henselian, and Cohen--Macaulay. △ Less

Submitted 29 February, 2008; v1 submitted 12 December, 2006; originally announced December 2006.

Comments: Updated references and made minor changes. Final version, to appear in J. Algebra; 19 pp

MSC Class: 13B40; 13F40; 16E45

A test complex for Gorensteinness

Authors: Lars Winther Christensen, Oana Veliche

Abstract: Let $R$ be a commutative noetherian ring with a dualizing complex. By recent work of Iyengar and Krause, the difference between the category of acyclic complexes and its subcategory of totally acyclic complexes measures how far $R$ is from being Gorenstein. In particular, $R$ is Gorenstein if and only if every acyclic complex is totally acyclic. In this note we exhibit a specific acyclic compl… ▽ More Let $R$ be a commutative noetherian ring with a dualizing complex. By recent work of Iyengar and Krause, the difference between the category of acyclic complexes and its subcategory of totally acyclic complexes measures how far $R$ is from being Gorenstein. In particular, $R$ is Gorenstein if and only if every acyclic complex is totally acyclic. In this note we exhibit a specific acyclic complex with the property that it is totally acyclic if and only if $R$ is Gorenstein. △ Less

Submitted 16 January, 2007; v1 submitted 14 July, 2006; originally announced July 2006.

Comments: Final version, 8 pp. To appear in Proc. Amer. Math. Soc. Also available from the authors' homepages at http://www.math.unl.edu/~lchristensen3/ and at http://www.math.utah.edu/~oveliche/

MSC Class: 13H10; 13D25

Acyclicity over local rings with radical cube zero

Authors: Lars Winther Christensen, Oana Veliche

Abstract: This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes, and new sufficient conditions are given for total acyclicity. Results are also obtained on the structure of rings that admit acyclic complexes; part of this s… ▽ More This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes, and new sufficient conditions are given for total acyclicity. Results are also obtained on the structure of rings that admit acyclic complexes; part of this structure is exhibited by every ring $R$ that admits a non-free finitely generated non-zero module $M$ with $Ext^n(M,R)=0$ for a few $n>0$. △ Less

Submitted 23 November, 2006; v1 submitted 21 May, 2006; originally announced May 2006.

Comments: Final version, to appear in Illinois J. Math., 15 pp

MSC Class: 13D25; 13D02

Ascent Properties of Auslander Categories

Authors: Lars Winther Christensen, Henrik Holm

Abstract: Let R be a homomorphic image of a Gorenstein local ring. Recent work has shown that there is a bridge between Auslander categories and modules of finite Gorenstein homological dimensions over R. We use Gorenstein dimensions to prove new results about Auslander categories and vice versa. For example, we establish base change relations between the Auslander categories of the source and target ri… ▽ More Let R be a homomorphic image of a Gorenstein local ring. Recent work has shown that there is a bridge between Auslander categories and modules of finite Gorenstein homological dimensions over R. We use Gorenstein dimensions to prove new results about Auslander categories and vice versa. For example, we establish base change relations between the Auslander categories of the source and target rings in a homomorphism R -> S of finite flat dimension. △ Less

Submitted 16 February, 2006; v1 submitted 23 September, 2005; originally announced September 2005.

Comments: Minor corrections; example added; 30 pp. To appear in Canad. J. Math. Also available from authors' homepages http://www.math.unl.edu/~lchristensen3/publications.html and http://home.imf.au.dk/holm/publications.html

MSC Class: 13D05; 13D07; 13D25

Gorenstein dimension of modules over homomorphisms

Authors: Lars Winther Christensen, Srikanth Iyengar

Abstract: Given a homomorphism of commutative noetherian rings R --> S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup{m | Tor^R_m(E,N) \noteq 0} where E is the injective hull of the residue field of R. This r… ▽ More Given a homomorphism of commutative noetherian rings R --> S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup{m | Tor^R_m(E,N) \noteq 0} where E is the injective hull of the residue field of R. This result is analogous to a theorem of André on flat dimension. △ Less

Submitted 18 November, 2005; v1 submitted 16 April, 2005; originally announced April 2005.

Comments: 14 pp. To appear in J. Pure Appl. Algebra. Also available from http://www.math.unl.edu/~lchristensen3/index.html

MSC Class: 13D05; 13D25

On Gorenstein Projective, Injective and Flat Dimensions - A Functorial Description with Applications

Authors: L. Winther Christensen, A. Frankild, H. Holm

Abstract: Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical counterparts, these dimensions do not immediately come with practical and robust criteria for finiteness, not even over commutative noetherian local rings. In this pa… ▽ More Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical counterparts, these dimensions do not immediately come with practical and robust criteria for finiteness, not even over commutative noetherian local rings. In this paper we enlarge the class of rings known to admit good criteria for finiteness of Gorenstein dimensions: It now includes, for instance, the rings encountered in commutative algebraic geometry and, in the non-commutative realm, $k$--algebras with a dualizing complex. △ Less

Submitted 13 December, 2005; v1 submitted 9 March, 2004; originally announced March 2004.

Comments: Sections 2 and 3 reorganized; added proofs of Lemmas (2.4) and (5.6); added Theorem (5.10). 42 pp. To appear in J. Algebra

MSC Class: 13D05; 13D07; 13D45; 16E05; 16E10; 16E30; 18E30; 18G10; 18G20; 18G35; 18G40