Showing 1–35 of 35 results for author: Holm, H

Tilting in $Q$-shaped derived categories

Authors: Sira Gratz, Henrik Holm, Peter Jorgensen, Greg Stevenson

Abstract: The main result of this paper is that there is sometimes a triangulated equivalence between $D_Q( A )$, the $Q$-shaped derived category of an algebra $A$, and $D( B )$, the classic derived category of a different algebra $B$. By construction, $D_Q( A )$ consists of $Q$-shaped diagrams of $A$-modules for a suitable small category $Q$. Our result concerns the case where $Q$ consists of shifts of ind… ▽ More The main result of this paper is that there is sometimes a triangulated equivalence between $D_Q( A )$, the $Q$-shaped derived category of an algebra $A$, and $D( B )$, the classic derived category of a different algebra $B$. By construction, $D_Q( A )$ consists of $Q$-shaped diagrams of $A$-modules for a suitable small category $Q$. Our result concerns the case where $Q$ consists of shifts of indecomposable projective modules over a self-injective $\mathbb{Z}$-graded algebra $Λ$. A notable special case is the result by Iyama, Kato, and Miyachi that $D_N( A )$, the $N$-derived category of $A$, is triangulated equivalent to $D( T_{ N-1 }A )$, the classic derived category of $T_{ N-1 }( A )$, which denotes upper diagonal $( N-1 ) \times ( N-1 )$-matrices over $A$. Several other special cases will also be discussed. △ Less

Submitted 21 January, 2025; v1 submitted 18 November, 2024; originally announced November 2024.

Comments: Reference added. 10 pages

MSC Class: 16E35; 18E35; 18G80; 18N40

Minimal semiinjective resolutions in the $Q$-shaped derived category

Authors: Henrik Holm, Peter Jorgensen

Abstract: Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of $\operatorname{Hom}$ spaces in the derived category $\mathscr{D}( A )$ of a ring $A$. Minimal semiinjective resolutions have the additional property of being uniq… ▽ More Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of $\operatorname{Hom}$ spaces in the derived category $\mathscr{D}( A )$ of a ring $A$. Minimal semiinjective resolutions have the additional property of being unique. The $Q$-shaped derived category $\mathscr{D}_Q( A )$ consists of $Q$-shaped diagrams for a suitable preadditive category $Q$, and it generalises $\mathscr{D}( A )$. Some special cases of $\mathscr{D}_Q( A )$ are the derived categories of differential modules, $m$-periodic chain complexes, and $N$-complexes, and there are many other possibilities. The category $\mathscr{D}_Q( A )$ shares some key properties of $\mathscr{D}( A )$; for instance, it is triangulated and compactly generated. This paper establishes a theory of minimal semiinjective resolutions in $\mathscr{D}_Q( A )$. As a sample application, it generalises a theorem by Ringel--Zhang on differential modules. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 21 pages

MSC Class: 16E35; 18E35; 18G80; 18N40

A brief introduction to the $Q$-shaped derived category

Authors: Henrik Holm, Peter Jorgensen

Abstract: A chain complex can be viewed as a representation of a certain quiver with relations, $Q^{\operatorname{cpx}}$. The vertices are the integers, there is an arrow $q \xrightarrow{} q-1$ for each integer $q$, and the relations are that consecutive arrows compose to $0$. Hence the classic derived category $\mathscr{D}$ can be viewed as a category of representations of $Q^{\operatorname{cpx}}$. It is… ▽ More A chain complex can be viewed as a representation of a certain quiver with relations, $Q^{\operatorname{cpx}}$. The vertices are the integers, there is an arrow $q \xrightarrow{} q-1$ for each integer $q$, and the relations are that consecutive arrows compose to $0$. Hence the classic derived category $\mathscr{D}$ can be viewed as a category of representations of $Q^{\operatorname{cpx}}$. It is an insight of Iyama and Minamoto that the reason $\mathscr{D}$ is well behaved is that, viewed as a small category, $Q^{\operatorname{cpx}}$ has a Serre functor. Generalising the construction of $\mathscr{D}$ to other quivers with relations which have a Serre functor results in the $Q$-shaped derived category ${\mathscr{D}}_Q$. Drawing on methods of Hovey and Gillespie, we developed the theory of ${\mathscr{D}}_Q$ in three recent papers. This paper offers a brief introduction to ${\mathscr{D}}_Q$, aimed at the reader already familiar with the classic derived category. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 23 pages

MSC Class: 16E35; 18E35; 18G80; 18N40

The $Q$-shaped derived category of a ring -- compact and perfect objects

Authors: Henrik Holm, Peter Jorgensen

Abstract: In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary derived category. In this paper we prove that the $Q$-shaped derived category of $A$ is a compactly generated triangulated category. We also define perfect objects… ▽ More In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary derived category. In this paper we prove that the $Q$-shaped derived category of $A$ is a compactly generated triangulated category. We also define perfect objects in $\mathcal{D}_{Q}(A)$ and prove that these constitute a triangulated subcategory, $\mathcal{D}^\mathrm{perf}_{Q}(A)$, of the category $\mathcal{D}_{Q}(A)^\mathrm{c}$ of compact objects in the $Q$-shaped derived category. The subcategories $\mathcal{D}^\mathrm{perf}_{Q}(A)$ and $\mathcal{D}_{Q}(A)^\mathrm{c}$ coincide if and only if the former is thick. △ Less

Submitted 28 August, 2022; originally announced August 2022.

Comments: 27 pages

MSC Class: 16E35; 18G80; 18N40

The $Q$-shaped derived category of a ring

Authors: Henrik Holm, Peter Jorgensen

Abstract: For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of (left) $A$-modules has a projective and an injective model structure. These model structures have the same trivial objects and weak equivalences, which in most case… ▽ More For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of (left) $A$-modules has a projective and an injective model structure. These model structures have the same trivial objects and weak equivalences, which in most cases can be naturally characterized in terms of certain (co)homology functors introduced in this paper. The associated homotopy category, which is triangulated, is called the $Q$-shaped derived category of $A$. The usual derived category of $A$ is one example; more general examples arise by taking $Q$ to be the mesh category of a suitably nice stable translation quiver. This paper builds upon, and generalizes, works of Enochs, Estrada, and Garcia-Rozas and of Dell'Ambrogio, Stevenson, and Stovicek. △ Less

Submitted 15 January, 2021; originally announced January 2021.

Comments: 43 pages

MSC Class: 16E35; 18E30; 18E35; 18G55

Real-World Oceanographic Simulations on the GPU using a Two-Dimensional Finite-Volume Scheme

Authors: André R. Brodtkorb, Håvard Heitlo Holm

Abstract: In this work, we take a modern high-resolution finite-volume scheme for solving the rotational shallow-water equations and extend it with features required to run real-world ocean simulations. Our contributions include a spatially varying north vector and Coriolis term required for large scale domains, moving wet-dry fronts, a static land mask, bottom shear stress, wind forcing, boundary condition… ▽ More In this work, we take a modern high-resolution finite-volume scheme for solving the rotational shallow-water equations and extend it with features required to run real-world ocean simulations. Our contributions include a spatially varying north vector and Coriolis term required for large scale domains, moving wet-dry fronts, a static land mask, bottom shear stress, wind forcing, boundary conditions for nesting in a global model, and an efficient model reformulation that makes it well-suited for massively parallel implementations. Our model order is verified using a grid convergence test, and we show numerical experiments using three different sections along the coast of Norway based on data originating from operational forecasts run at the Norwegian Meteorological Institute. Our simulation framework shows perfect weak scaling on a modern P100 GPU, and is capable of providing tidal wave forecasts that are very close to the operational model at a fraction of the cost. All source code and data used in this work are publicly available under open licenses. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 24 pages, 12 figures

The tensor embedding for a grothendieck cosmos

Authors: Henrik Holm, Sinem Odabasi

Abstract: While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received little attention. In this paper, we study the tensor embedding for closed symmetric monoidal categories and show how it is connected to the notion of geometrically purity, which has recently been investigated in works of Enochs, Estrada, Gillespie, an… ▽ More While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received little attention. In this paper, we study the tensor embedding for closed symmetric monoidal categories and show how it is connected to the notion of geometrically purity, which has recently been investigated in works of Enochs, Estrada, Gillespie, and Odabaşı. More precisely, for a Gro\-thendieck cosmos---that is, a bicomplete Grothendick category $\mathcal{V}$ with a closed symmetric monoidal structure---we prove that the geometrically pure exact category $(\mathcal{V},\mathscr{E}_\otimes)$ has enough relative injectives; in fact, every object has a geometrically pure injective envelope. We also show that for some regular cardinal $λ$, the tensor embedding yields an exact equivalence between $(\mathcal{V},\mathscr{E}_\otimes)$ and the category of $λ$-cocontinuous $\mathcal{V}$-functors from $\mbox{Pres}(\mathcal{V})$ to $\mathcal{V}$, where the former is the full $\mathcal{V}$-subcategory of $λ$-presentable objects in $\mathcal{V}$. In many cases of interest, $λ$ can be chosen to be $\aleph_0$ and the tensor embedding identifies the geometrically pure injective objects in $\mathcal{V}$ with the (categorically) injective objects in the abelian category of $\mathcal{V}$-functors from $\mathrm{fp}(\mathcal{V})$ to $\mathcal{V}$. As we explain, the developed theory applies e.g.~to the category $\mathsf{Ch}(R)$ of chain complexes of modules over a commutative ring $R$ and to the category $\mathsf{Qcoh}(X)$ of quasi-coherent sheaves over a (suitably nice) scheme $X$. △ Less

Submitted 28 November, 2019; originally announced November 2019.

Comments: 24 pages

Model categories of quiver representations

Authors: Henrik Holm, Peter Jorgensen

Abstract: Gillespie's Theorem gives a systematic way to construct model category structures on $\mathscr{C}( \mathscr{M} )$, the category of chain complexes over an abelian category $\mathscr{M}$. We can view $\mathscr{C}( \mathscr{M} )$ as the category of representations of the quiver $\cdots \rightarrow 2 \rightarrow 1 \rightarrow 0 \rightarrow -1 \rightarrow -2 \rightarrow \cdots$ with the relations th… ▽ More Gillespie's Theorem gives a systematic way to construct model category structures on $\mathscr{C}( \mathscr{M} )$, the category of chain complexes over an abelian category $\mathscr{M}$. We can view $\mathscr{C}( \mathscr{M} )$ as the category of representations of the quiver $\cdots \rightarrow 2 \rightarrow 1 \rightarrow 0 \rightarrow -1 \rightarrow -2 \rightarrow \cdots$ with the relations that two consecutive arrows compose to $0$. This is a self-injective quiver with relations, and we generalise Gillespie's Theorem to other such quivers with relations. There is a large family of these, and following Iyama and Minamoto, their representations can be viewed as generalised chain complexes. Our result gives a systematic way to construct model category structures on many categories. This includes the category of $N$-periodic chain complexes, the category of $N$-complexes where $\partial^N = 0$, and the category of representations of the repetitive quiver $\mathbb{Z} A_n$ with mesh relations. △ Less

Submitted 12 September, 2019; v1 submitted 6 February, 2019; originally announced February 2019.

Comments: 34 pages. This is the final version which has been accepted for publication in Advances in Mathematics

MSC Class: 18E30; 18E35; 18G55

Computations of atom spectra

Authors: Rune Harder Bak, Henrik Holm

Abstract: This is a contribution to the theory of atoms in abelian categories recently developed in a series of papers by Kanda. We present a method that enables one to explicitly compute the atom spectrum of the module category over a wide range of non-commutative rings. We illustrate our method and results by several examples. This is a contribution to the theory of atoms in abelian categories recently developed in a series of papers by Kanda. We present a method that enables one to explicitly compute the atom spectrum of the module category over a wide range of non-commutative rings. We illustrate our method and results by several examples. △ Less

Submitted 25 September, 2018; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: 16 pages. Final version to appear in Mathematische Nachrichten

MSC Class: 16G20; 18E10

On modules with self Tor vanishing

Authors: Olgur Celikbas, Henrik Holm

Abstract: The long-standing Auslander and Reiten Conjecture states that a finitely generated module over a finite-dimensional algebra is projective if certain Ext-groups vanish. Several authors, including Avramov, Buchweitz, Iyengar, Jorgensen, Nasseh, Sather-Wagstaff, and Şega, have studied a possible counterpart of the conjecture, or question, for commutative rings in terms of vanishing of Tor. This has l… ▽ More The long-standing Auslander and Reiten Conjecture states that a finitely generated module over a finite-dimensional algebra is projective if certain Ext-groups vanish. Several authors, including Avramov, Buchweitz, Iyengar, Jorgensen, Nasseh, Sather-Wagstaff, and Şega, have studied a possible counterpart of the conjecture, or question, for commutative rings in terms of vanishing of Tor. This has led to the notion of Tor-persistent rings. Our main result shows that the class of Tor-persistent local rings is closed under a number of standard procedures in ring theory. △ Less

Submitted 13 January, 2019; v1 submitted 25 March, 2018; originally announced March 2018.

Comments: Introduction has been rewritten and terminology has been changed to align with work of Avramov, Iyengar, Nasseh, and Sather-Wagstaff. 5 pages

MSC Class: 13D05; 13D07

Equivalences from tilting theory and commutative algebra from the adjoint functor point of view

Authors: Olgur Celikbas, Henrik Holm

Abstract: We give a category theoretic approach to several known equivalences from (classic) tilting theory and commutative algebra. Furthermore, we apply our main results to establish a duality theory for relative Cohen-Macaulay modules in the sense of Hellus, Schenzel, and Zargar. We give a category theoretic approach to several known equivalences from (classic) tilting theory and commutative algebra. Furthermore, we apply our main results to establish a duality theory for relative Cohen-Macaulay modules in the sense of Hellus, Schenzel, and Zargar. △ Less

Submitted 23 October, 2017; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: This is the final version (17 pages) to appear in the New York Journal of Mathematics

MSC Class: 13C14; 13D07; 13D45; 16E30; 18G10

Quillen equivalences for stable categories

Authors: Georgios Dalezios, Sergio Estrada, Henrik Holm

Abstract: For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quill… ▽ More For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quillen equivalence between the model categories in question. We also study when such a Quillen equivalence transfers from $\mathcal{A}$ to categories naturally associated to $\mathcal{A}$, such as $\mathrm{Ch}(\mathcal{A})$, the category of chain complexes in $\mathcal{A}$, or $\mathrm{Rep}(Q,\mathcal{A})$, the category of $\mathcal{A}$-valued representations of a quiver $Q$. △ Less

Submitted 9 August, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: Revised version; now 16 pages

MSC Class: 18E10; 18E30; 18G55; 13D02; 16E05

Cotorsion pairs in categories of quiver representations

Authors: Henrik Holm, Peter Jorgensen

Abstract: We study the category $\mathrm{Rep}(Q,\mathcal{M})$ of representations of a quiver $Q$ with values in an abelian category $\mathcal{M}$. Under certain assumptions, we show that every cotorsion pair $(\mathcal{A},\mathcal{B})$ in $\mathcal{M}$ induces two (explicitly described) cotorsion pairs $(Φ(\mathcal{A}),\mathrm{Rep}(Q,\mathcal{B}))$ and $(\mathrm{Rep}(Q,\mathcal{A}),Ψ(\mathcal{B}))$ in… ▽ More We study the category $\mathrm{Rep}(Q,\mathcal{M})$ of representations of a quiver $Q$ with values in an abelian category $\mathcal{M}$. Under certain assumptions, we show that every cotorsion pair $(\mathcal{A},\mathcal{B})$ in $\mathcal{M}$ induces two (explicitly described) cotorsion pairs $(Φ(\mathcal{A}),\mathrm{Rep}(Q,\mathcal{B}))$ and $(\mathrm{Rep}(Q,\mathcal{A}),Ψ(\mathcal{B}))$ in $\mathrm{Rep}(Q,\mathcal{M})$. This is akin to a result by Gillespie, which asserts that a cotorsion pair $(\mathcal{A},\mathcal{B})$ in $\mathcal{M}$ induces cotorsion pairs $(\widetilde{\mathcal{A}}, \mathrm{dg}\,\widetilde{\mathcal{B}})$ and $(\mathrm{dg}\,\widetilde{\mathcal{A}}, \widetilde{\mathcal{B}})$ in the category $\mathrm{Ch}(\mathcal{M})$ of chain complexes in $\mathcal{M}$. Special cases of our results recover descriptions of the projective and injective objects in $\mathrm{Rep}(Q,\mathcal{M})$ proved by Enochs, Estrada, and Garcia Rozas. △ Less

Submitted 17 April, 2017; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 23 pages. This is the Final Accepted Version which was accepted 13 April 2017 for publication in the Kyoto Journal of Mathematics

MSC Class: 18E10; 18G05; 18G15

Journal ref: Kyoto J. Math. 59, no. 3 (2019), 575-606

A note on transport of algebraic structures

Authors: Henrik Holm

Abstract: We study transport of algebraic structures and prove a theorem which subsumes results of Comfort and Ross on topological group structures on Stone-Cech compactifications, of Chevalley and of Gil de Lamadrid and Jans on topological group and ring structures on universal covering spaces, and of Gleason on topological group structures on universal locally connected refinements. We study transport of algebraic structures and prove a theorem which subsumes results of Comfort and Ross on topological group structures on Stone-Cech compactifications, of Chevalley and of Gil de Lamadrid and Jans on topological group and ring structures on universal covering spaces, and of Gleason on topological group structures on universal locally connected refinements. △ Less

Submitted 28 April, 2015; originally announced April 2015.

Comments: 8 pages

MSC Class: 03C05; 18C10

Approximations by maximal Cohen-Macaulay modules

Authors: Henrik Holm

Abstract: Auslander and Buchweitz have proved that every finitely generated module over a Cohen-Macaulay (CM) ring with a dualizing module admits a so-called maximal CM approximation. In terms of relative homological algebra, this means that every finitely generated module has a special maximal CM precover. In this paper, we prove the existence of special maximal CM preenvelopes and, in the case where the g… ▽ More Auslander and Buchweitz have proved that every finitely generated module over a Cohen-Macaulay (CM) ring with a dualizing module admits a so-called maximal CM approximation. In terms of relative homological algebra, this means that every finitely generated module has a special maximal CM precover. In this paper, we prove the existence of special maximal CM preenvelopes and, in the case where the ground ring is henselian, of maximal CM envelopes. We also characterize the rings over which every finitely generated module has a maximal CM envelope with the unique lifting property. Finally, we show that cosyzygies with respect to the class of maximal CM modules must eventually be maximal CM, and we compute some examples. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Comments: 11 pages

MSC Class: 13C14; 13D05

The structure of balanced big Cohen-Macaulay modules over Cohen-Macaulay rings

Authors: Henrik Holm

Abstract: Over a Cohen-Macaulay (CM) local ring, we characterize those modules that can be obtained as a direct limit of finitely generated maximal CM modules. We point out two consequences of this characterization: (1) Every balanced big CM module, in the sense of Hochster, can be written as a direct limit of small CM modules. In analogy with Govorov and Lazard's characterization of flat modules as direct… ▽ More Over a Cohen-Macaulay (CM) local ring, we characterize those modules that can be obtained as a direct limit of finitely generated maximal CM modules. We point out two consequences of this characterization: (1) Every balanced big CM module, in the sense of Hochster, can be written as a direct limit of small CM modules. In analogy with Govorov and Lazard's characterization of flat modules as direct limits of finitely generated free modules, one can view this as a "structure theorem" for balanced big CM modules. (2) Every finitely generated module has a preenvelope with respect to the class of finitely generated maximal CM modules. This result is, in some sense, dual to the existence of maximal CM approximations, which is proved by Auslander and Buchweitz. △ Less

Submitted 21 August, 2014; originally announced August 2014.

Comments: 11 pages

MSC Class: 13C14; 13D05; 13D07

The category of maximal Cohen--Macaulay modules as a ring with several objects

Authors: Henrik Holm

Abstract: Over a commutative local Cohen--Macaulay ring, we view and study the category of maximal Cohen--Macaulay modules as a ring with several objects. We compute the global dimension of this category and thereby extend a result of Leuschke to the case where the ring has arbitrary (as opposed to finite) CM-type. Over a commutative local Cohen--Macaulay ring, we view and study the category of maximal Cohen--Macaulay modules as a ring with several objects. We compute the global dimension of this category and thereby extend a result of Leuschke to the case where the ring has arbitrary (as opposed to finite) CM-type. △ Less

Submitted 4 August, 2014; originally announced August 2014.

MSC Class: 13D05; 16E10; 18G20

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

K-groups for rings of finite Cohen-Macaulay type

Authors: Henrik Holm

Abstract: For a local Cohen-Macaulay ring R of finite CM-type, Yoshino has applied methods of Auslander and Reiten to compute the Grothendieck group of the category mod(R) of finitely generated R-modules. For the same type of rings we compute in this paper the first Quillen K-group of mod(R). We also describe the group homomorphism induced by the inclusion of proj(R) into mod(R) and illustrate our results w… ▽ More For a local Cohen-Macaulay ring R of finite CM-type, Yoshino has applied methods of Auslander and Reiten to compute the Grothendieck group of the category mod(R) of finitely generated R-modules. For the same type of rings we compute in this paper the first Quillen K-group of mod(R). We also describe the group homomorphism induced by the inclusion of proj(R) into mod(R) and illustrate our results with concrete examples. △ Less

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

Comments: 28 pages

MSC Class: 13C14; 13D15; 19B28

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

Construction of totally reflexive modules from an exact pair of zero divisors

Authors: Henrik Holm

Abstract: Let A be a local ring which admits an exact pair x,y of zero divisors as defined by Henriques and Sega. Assuming that this pair is regular and that there exists a regular element on the A-module A/(x,y), we explicitly construct an infinite family of non-isomorphic indecomposable totally reflexive A-modules. In this setting, our construction provides an answer to a question raised by Christensen,… ▽ More Let A be a local ring which admits an exact pair x,y of zero divisors as defined by Henriques and Sega. Assuming that this pair is regular and that there exists a regular element on the A-module A/(x,y), we explicitly construct an infinite family of non-isomorphic indecomposable totally reflexive A-modules. In this setting, our construction provides an answer to a question raised by Christensen, Piepmeyer, Striuli, and Takahashi. Furthermore, we compute the module of homomorphisms between any two given modules from the infinite family mentioned above. △ Less

Submitted 2 February, 2010; originally announced February 2010.

Comments: 15 pages

MSC Class: 13C13; 13H99

Cotorsion pairs induced by duality pairs

Authors: Henrik Holm, Peter Jorgensen

Abstract: We introduce the notion of a duality pair and demonstrate how the left half of such a pair is often covering and preenveloping. As an application, we generalize a result by Enochs et al. on Auslander and Bass classes, and we prove that the class of Gorenstein injective modules introduced by Enochs and Jenda is covering when the ground ring has a dualizing complex. We introduce the notion of a duality pair and demonstrate how the left half of such a pair is often covering and preenveloping. As an application, we generalize a result by Enochs et al. on Auslander and Bass classes, and we prove that the class of Gorenstein injective modules introduced by Enochs and Jenda is covering when the ground ring has a dualizing complex. △ Less

Submitted 6 May, 2009; originally announced May 2009.

Comments: 9 pages

MSC Class: 13D05; 13D07; 18G25

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

Rings without a Gorenstein analogue of the Govorov-Lazard Theorem

Authors: Henrik Holm, Peter Jorgensen

Abstract: It was proved by Beligiannis and Krause that over certain Artin algebras, there are Gorenstein flat modules which are not direct limits of finitely generated Gorenstein projective modules. That is, these algebras have no Gorenstein analogue of the Govorov-Lazard Theorem. We show that, in fact, there is a large class of rings without such an analogue. Namely, let R be a commutative local noethe… ▽ More It was proved by Beligiannis and Krause that over certain Artin algebras, there are Gorenstein flat modules which are not direct limits of finitely generated Gorenstein projective modules. That is, these algebras have no Gorenstein analogue of the Govorov-Lazard Theorem. We show that, in fact, there is a large class of rings without such an analogue. Namely, let R be a commutative local noetherian ring. Then the analogue fails for R if it has a dualizing complex, is henselian, not Gorenstein, and has a finitely generated Gorenstein projective module which is not free. The proof is based on a theory of Gorenstein projective (pre)envelopes. We show, among other things, that the finitely generated Gorenstein projective modules form an enveloping class in mod R if and only if R is Gorenstein or has the property that each finitely generated Gorenstein projective module is free. This is analogous to a recent result on covers by Christensen, Piepmeyer, Striuli, and Takahashi, and their methods are an important input to our work. △ Less

Submitted 10 November, 2008; v1 submitted 17 October, 2008; originally announced October 2008.

Comments: 15 pages. References added and title changed

MSC Class: 13H10; 18G25

Modules with cosupport and injective functors

Authors: Henrik Holm

Abstract: Several authors have studied the filtered colimit closure lim(B) of a class B of finitely presented modules. Lenzing called lim(B) the category of modules with support in B, and proved that it is equivalent to the category of flat objects in the functor category (B^{op},Ab). In this paper, we study the category (Mod-R)^B of modules with cosupport in B. We show that (Mod-R)^B is equivalent to the… ▽ More Several authors have studied the filtered colimit closure lim(B) of a class B of finitely presented modules. Lenzing called lim(B) the category of modules with support in B, and proved that it is equivalent to the category of flat objects in the functor category (B^{op},Ab). In this paper, we study the category (Mod-R)^B of modules with cosupport in B. We show that (Mod-R)^B is equivalent to the category of injective objects in (B,Ab), and thus recover a classical result by Jensen-Lenzing on pure injective modules. Works of Angeleri-Hugel, Enochs, Krause, Rada, and Saorin make it easy to discuss covering and enveloping properties of (Mod-R)^B, and furthermore we compare the naturally associated notions of B-coherence and B-noetherianness. Finally, we prove a number of stability results for lim(B) and (Mod-R)^B. Our applications include a generalization of a result by Gruson-Jensen and Enochs on pure injective envelopes of flat modules. △ Less

Submitted 22 July, 2008; originally announced July 2008.

Comments: 16 pages

MSC Class: 16E80 (Primary) 16E30; 18E15; 18G05 (Secondary)

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

Foxby equivalence over associative rings

Authors: Henrik Holm, Diana White

Abstract: We extend the definition of a semidualizing module to associative rings. This enables us to define and study Auslander and Bass classes with respect to a semidualizing bimodule C. We then study the classes of C-flats, C-projectives, and C-injectives, and use them to provide a characterization of the modules in the Auslander and Bass classes. We extend Foxby equivalence to this new setting. This… ▽ More We extend the definition of a semidualizing module to associative rings. This enables us to define and study Auslander and Bass classes with respect to a semidualizing bimodule C. We then study the classes of C-flats, C-projectives, and C-injectives, and use them to provide a characterization of the modules in the Auslander and Bass classes. We extend Foxby equivalence to this new setting. This paper contains a few results which are new in the commutative, noetherian setting. △ Less

Submitted 27 November, 2006; originally announced November 2006.

Comments: 24 pages

MSC Class: 13D02; 13D07; 13D25; 16E05; 16E30

Covers, preenvelopes, and purity

Authors: Henrik Holm, Peter Jorgensen

Abstract: We show that if a class of modules is closed under pure quotients, then it is precovering if and only if it is covering, and this happens if and only if it is closed under direct sums. This is inspired by a dual result by Rada and Saorín. We also show that if a class of modules contains the ground ring and is closed under extensions, direct sums, pure submodules, and pure quotients, then it fo… ▽ More We show that if a class of modules is closed under pure quotients, then it is precovering if and only if it is covering, and this happens if and only if it is closed under direct sums. This is inspired by a dual result by Rada and Saorín. We also show that if a class of modules contains the ground ring and is closed under extensions, direct sums, pure submodules, and pure quotients, then it forms the first half of a so-called perfect cotorsion pair as introduced by Salce; this is stronger than being covering. Some applications are given to concrete classes of modules such as kernels of homological functors and torsion free modules in a torsion pair. △ Less

Submitted 20 November, 2006; originally announced November 2006.

Comments: 17 pages

MSC Class: 16E30; 18G25

Relative Ext groups, resolutions, and Schanuel classes

Authors: Henrik Holm

Abstract: Given a precovering (also called contravariantly finite) class F there are three natural approaches to a homological dimension with respect to F: One based on Ext functors relative to F, one based on F-resolutions, and one based on Schanuel classes relative to F. In general these approaches do not give the same result. In this paper we study relations between the three approaches above, and we g… ▽ More Given a precovering (also called contravariantly finite) class F there are three natural approaches to a homological dimension with respect to F: One based on Ext functors relative to F, one based on F-resolutions, and one based on Schanuel classes relative to F. In general these approaches do not give the same result. In this paper we study relations between the three approaches above, and we give necessary and sufficient conditions for them to agree. △ Less

Submitted 27 October, 2006; originally announced October 2006.

Comments: 17 pages

MSC Class: 16B50; 16E10; 16E30

Compactly generated homotopy categories

Authors: Henrik Holm, Peter Jørgensen

Abstract: Over an associative ring we consider a class $\mathbb{X}$ of left modules which is closed under set-indexed coproducts and direct summands. We investigate when the triangulated homotopy category $\mathsf{K}(\mathbb{X})$ is compactly generated, and give a number of examples. Over an associative ring we consider a class $\mathbb{X}$ of left modules which is closed under set-indexed coproducts and direct summands. We investigate when the triangulated homotopy category $\mathsf{K}(\mathbb{X})$ is compactly generated, and give a number of examples. △ Less

Submitted 11 September, 2006; originally announced September 2006.

Comments: 20 pages

MSC Class: 16D20; 16D40; 16D50; 16D90; 16E05

Cotorsion pairs associated with Auslander categories

Authors: Edgar E. Enochs, Henrik Holm

Abstract: We prove that the Auslander class determined by a semidualizing module is the left half of a perfect cotorsion pair. We also prove that the Bass class determined by a semidualizing module is preenveloping. We prove that the Auslander class determined by a semidualizing module is the left half of a perfect cotorsion pair. We also prove that the Bass class determined by a semidualizing module is preenveloping. △ Less

Submitted 11 September, 2006; originally announced September 2006.

Comments: 15 pages

MSC Class: 13D05; 13D07; 13D25

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

Semi-dualizing modules and related Gorenstein homological dimensions

Authors: Henrik Holm, Peter Jorgensen

Abstract: A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call C-Gorenstein projective, C-Gorenstein injective, and C-Gorenstein flat dimension, and investigate the properties of these dimensions. A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call C-Gorenstein projective, C-Gorenstein injective, and C-Gorenstein flat dimension, and investigate the properties of these dimensions. △ Less

Submitted 27 May, 2004; originally announced May 2004.

Comments: 25 pages

MSC Class: 13D05; 13D07; 13D25; 18G10; 18G25

Cohen-Macaulay injective, projective, and flat dimension

Authors: Henrik Holm, Peter Jorgensen

Abstract: We define three new homological dimensions - Cohen-Macaulay injective, projective, and flat dimension - which inhabit a theory similar to that of classical injective, projective, and flat dimension. Finiteness of the new dimensions characterizes Cohen-Macaulay rings with dualizing modules. We define three new homological dimensions - Cohen-Macaulay injective, projective, and flat dimension - which inhabit a theory similar to that of classical injective, projective, and flat dimension. Finiteness of the new dimensions characterizes Cohen-Macaulay rings with dualizing modules. △ Less

Submitted 27 May, 2004; originally announced May 2004.

Comments: 18 pages

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