Showing 1–14 of 14 results for author: Wiegand, R

Big pure projective modules over commutative noetherian rings: comparison with the completion

Authors: Dolors Herbera, Pavel Příhoda, Roger Wiegand

Abstract: A module over a ring $R$ is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module $M$, we consider $\mathrm{Add}\, (M)$, which consists of direct summands of direct sums of copies of $M$. We… ▽ More A module over a ring $R$ is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module $M$, we consider $\mathrm{Add}\, (M)$, which consists of direct summands of direct sums of copies of $M$. We are primarily interested in the case where $R$ is a one-dimensional, local domain, and in torsion-free (or Cohen-Macaulay) modules. We show that, even in this case, $\mathrm{Add}\, (M)$ can have an abundance of modules that are not direct sums of finitely generated ones. Our work is based on the fact that such infinitely generated direct summands are all determined by finitely generated data. Namely, idempotent/trace ideals of the endomorphism ring of $M$ and finitely generated projective modules modulo such idempotent ideals. This allows us to extend the classical theory developed to study the behavior of direct sum decomposition of finitely generated modules comparing with their completion to the infinitely generated case. We study the structure of the monoid $V^*(M)$, of isomorphism classes of countably generated modules in $\mathrm{Add}\, (M)$ with the addition induced by the direct sum. We show that $V^*(M)$ is a submonoid of $V^*(M\otimes _R \widehat R)$, this allows us to make computations with examples and to prove some realization results. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Comments: 64 pages

MSC Class: 16D40; 16G50; 13E05

Auslander-Reiten and Huneke-Wiegand conjectures over quasi-fiber product rings

Authors: T. H. Freitas, V. H. Jorge PÉrez, R. Wiegand, S. Wiegand

Abstract: In this paper we explore consequences of the vanishing of ${\rm Ext}$ for finitely generated modules over a quasi-fiber product ring $R$; that is, $R$ is a local ring such that $R/(\underline x)$ is a non-trivial fiber product ring, for some regular sequence $\underline x$ of $R$. Equivalently, the maximal ideal of $R/(\underline x)$ decomposes as a direct sum of two nonzero ideals. Gorenstein qua… ▽ More In this paper we explore consequences of the vanishing of ${\rm Ext}$ for finitely generated modules over a quasi-fiber product ring $R$; that is, $R$ is a local ring such that $R/(\underline x)$ is a non-trivial fiber product ring, for some regular sequence $\underline x$ of $R$. Equivalently, the maximal ideal of $R/(\underline x)$ decomposes as a direct sum of two nonzero ideals. Gorenstein quasi-fiber product rings are AB-rings and are Ext-bounded. We show in Theorem 3.31 that quasi-fiber product rings satisfy a sharpened form of the Auslander-Reiten Conjecture. We also make some observations related to the Huneke-Wiegand conjecture for quasi-fiber product rings. △ Less

Submitted 2 May, 2022; originally announced May 2022.

MSC Class: 13D07; 13H10; 13C15

Vanishing of Tor over fiber products

Authors: Thiago H. Freitas, Victor Hugo Jorge Pérez, Roger Wiegand, Sylvia Wiegand

Abstract: Let $(S,\mathfrak{m},k)$ and $(T,\mathfrak{n},k)$ be local rings, and let $R$ denote their fiber product over their common residue field $k$. Inspired by work of Naseh and Sather-Wagstaff, we explore consequences of vanishing of ${\rm Tor}^R_m(M,N)$ for various values of $m$, where $M$ and $N$ are finitely generated $R$-modules. Let $(S,\mathfrak{m},k)$ and $(T,\mathfrak{n},k)$ be local rings, and let $R$ denote their fiber product over their common residue field $k$. Inspired by work of Naseh and Sather-Wagstaff, we explore consequences of vanishing of ${\rm Tor}^R_m(M,N)$ for various values of $m$, where $M$ and $N$ are finitely generated $R$-modules. △ Less

Submitted 29 August, 2019; v1 submitted 23 May, 2019; originally announced May 2019.

MSC Class: 13H15

Rigid ideals in Gorenstein rings of dimension one

Authors: Craig Huneke, Srikanth B. Iyengar., Roger Wiegand

Abstract: We investigate the existence of ideals $I$ in a one-dimensional Gorenstein local ring $R$ satisfying $\mathrm{Ext}^{1}_{R}(I,I)=0$. We investigate the existence of ideals $I$ in a one-dimensional Gorenstein local ring $R$ satisfying $\mathrm{Ext}^{1}_{R}(I,I)=0$. △ Less

Submitted 3 April, 2018; originally announced April 2018.

Comments: 17 pages

MSC Class: 13D07 (primary); 13C14; 13C99

Criteria for vanishing of Tor over Complete Intersections

Authors: Olgur Celikbas, Srikanth B. Iyengar, Greg Piepmeyer, Roger Wiegand

Abstract: In this paper we exploit properties of Dao's eta-pairing as well as techniques of Huneke, Jorgensen, and Wiegand to study the vanishing of Tor_i(M,N) of finitely generated modules M, N over complete intersections. We prove vanishing of Tor_i(M, N) for all positive integers i under depth conditions on M, N, and their tensor product. Our arguments improve a result of Dao and establish a new connecti… ▽ More In this paper we exploit properties of Dao's eta-pairing as well as techniques of Huneke, Jorgensen, and Wiegand to study the vanishing of Tor_i(M,N) of finitely generated modules M, N over complete intersections. We prove vanishing of Tor_i(M, N) for all positive integers i under depth conditions on M, N, and their tensor product. Our arguments improve a result of Dao and establish a new connection between the vanishing of Tor and the depth of tensor products. △ Less

Submitted 19 December, 2014; originally announced December 2014.

Comments: 18 pages; to appear in the Pacific Journal of Math. arXiv admin note: text overlap with arXiv:1302.1852

MSC Class: 13D07; 13C40

Torsion in tensor powers of modules

Authors: Olgur Celikbas, Srikanth B. Iyengar, Greg Piepmeyer, Roger Wiegand

Abstract: Tensor products usually have nonzero torsion. This is a central theme of Auslander's paper "Modules over unramified regular local rings"; the theme continues in the work of Huneke and Wiegand. The main focus in this note is on tensor powers of a finitely generated module over a local ring. Also, we study torsion-free modules N with the property that its tensor product with any module M has torsion… ▽ More Tensor products usually have nonzero torsion. This is a central theme of Auslander's paper "Modules over unramified regular local rings"; the theme continues in the work of Huneke and Wiegand. The main focus in this note is on tensor powers of a finitely generated module over a local ring. Also, we study torsion-free modules N with the property that its tensor product with any module M has torsion, unless M is very special. Important examples of such modules N are the Frobenius power of a ring, viewed as a module over itself, that is a complete intersection domain of positive characteristic. △ Less

Submitted 19 December, 2014; originally announced December 2014.

Comments: 10 pages; to appear in the Nagoya Math. Journal. arXiv admin note: substantial text overlap with arXiv:1302.1852

MSC Class: 13D07; 13C40

Vanishing of Tor, and why we care about it

Authors: Olgur Celikbas, Roger Wiegand

Abstract: Given finitely generated modules $M$ and $N$ over a local ring $R$, the tensor product $M\otimes_RN$ typically has nonzero torsion. Indeed, the assumption that the tensor product is torsion-free influences the structure and vanishing of the modules $\Tor^R_i(M,N)$ for all $i\geq 1$. In turn, the vanishing of $\Tor^R_i(M,N)$ imposes restrictions on the depth properties of the modules $M$ and $N$. T… ▽ More Given finitely generated modules $M$ and $N$ over a local ring $R$, the tensor product $M\otimes_RN$ typically has nonzero torsion. Indeed, the assumption that the tensor product is torsion-free influences the structure and vanishing of the modules $\Tor^R_i(M,N)$ for all $i\geq 1$. In turn, the vanishing of $\Tor^R_i(M,N)$ imposes restrictions on the depth properties of the modules $M$ and $N$. These connections made their first appearance in Auslander's 1961 paper "Modules over unramified regular local rings". We will survey the literature on these topics, with emphasis on progress during the past twenty years. △ Less

Submitted 23 February, 2014; v1 submitted 8 February, 2013; originally announced February 2013.

Comments: 21 pages, slightly revised version

Journal ref: Journal of Pure and Applied Algebra, Volume 219, Issue 3, March 2015, Pages 429-448

Torsion in tensor products, and tensor powers, of modules

Authors: Olgur Celikbas, Srikanth B. Iyengar, Greg Piepmeyer, Roger Wiegand

Abstract: For finitely generated modules M and N over a complete intersection R, the vanishing of Tor_i^R(M,N) for all i> 0 gives a tight relationship among depth properties of M, N and their tensor product. Here we concentrate on the converse and show, under mild conditions, that the tensor product of M and N being torsion-free (or satisfying higher Serre conditions) forces vanishing of Tor. Special attent… ▽ More For finitely generated modules M and N over a complete intersection R, the vanishing of Tor_i^R(M,N) for all i> 0 gives a tight relationship among depth properties of M, N and their tensor product. Here we concentrate on the converse and show, under mild conditions, that the tensor product of M and N being torsion-free (or satisfying higher Serre conditions) forces vanishing of Tor. Special attention is paid to the case of tensor powers of a single module. △ Less

Submitted 22 December, 2014; v1 submitted 7 February, 2013; originally announced February 2013.

Comments: The results in this paper have been absorbed into arXiv:1412.6454 and arXiv:1412.6456

MSC Class: 13D07; 13C40

Brauer-Thrall theory for maximal Cohen-Macaulay modules

Authors: Graham J. Leuschke, Roger Wiegand

Abstract: The Brauer-Thrall Conjectures, now theorems, were originally stated for finitely generated modules over a finite-dimensional $\sk$-algebra. They say, roughly speaking, that infinite representation type implies the existence of lots of indecomposable modules of arbitrarily large $\sk$-dimension. These conjectures have natural interpretations in the context of maximal Cohen-Macaulay modules over Coh… ▽ More The Brauer-Thrall Conjectures, now theorems, were originally stated for finitely generated modules over a finite-dimensional $\sk$-algebra. They say, roughly speaking, that infinite representation type implies the existence of lots of indecomposable modules of arbitrarily large $\sk$-dimension. These conjectures have natural interpretations in the context of maximal Cohen-Macaulay modules over Cohen-Macaulay local rings. This is a survey of progress on these transplanted conjectures. △ Less

Submitted 13 November, 2012; originally announced November 2012.

Comments: 15 pages

MSC Class: 13C14; 16G50; 16G60 (Primary) 13C05; 13H10; 13J10; 16G30 (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)

Ascent of module structures, vanishing of Ext, and extended modules

Authors: Anders J. Frankild, Sean Sather-Wagstaff, Roger Wiegand

Abstract: Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $φ:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated $R$-module $M$, we show that $M$ has an $S$-module structure compatible with the given $R$-module structure if and only if $\Ext^i_R(S,M)=0$ for each $i\ge 1$. W… ▽ More Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $φ:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated $R$-module $M$, we show that $M$ has an $S$-module structure compatible with the given $R$-module structure if and only if $\Ext^i_R(S,M)=0$ for each $i\ge 1$. We say that an $S$-module $N$ is {\it extended} if there is a finitely generated $R$-module $M$ such that $N\cong S\otimes_RM$. Given a short exact sequence $0 \to N_1\to N \to N_2\to 0$ of finitely generated $S$-modules, with two of the three modules $N_1,N,N_2$ extended, we obtain conditions forcing the third module to be extended. We show that every finitely generated module over the Henselization of $R$ is a direct summand of an extended module, but that the analogous result fails for the $\m$-adic completion. △ Less

Submitted 19 August, 2008; v1 submitted 27 July, 2007; originally announced July 2007.

Comments: 16 pages, AMS-TeX; final version to appear in Michigan Math. J.; corrected proof of Main Theorem and made minor editorial changes; v3 has dedication to Mel Hochster

Local rings of bounded Cohen-Macaulay type

Authors: Graham J. Leuschke, Roger Wiegand

Abstract: Let (R,m,k) be a local Cohen-Macaulay (CM) ring of dimension one. It is known that R has finite CM type if and only if R is reduced and has bounded CM type. Here we study the one-dimensional rings of bounded but infinite CM type. We will classify these rings up to analytic isomorphism (under the additional hypothesis that the ring contains an infinite field). In the first section we deal with th… ▽ More Let (R,m,k) be a local Cohen-Macaulay (CM) ring of dimension one. It is known that R has finite CM type if and only if R is reduced and has bounded CM type. Here we study the one-dimensional rings of bounded but infinite CM type. We will classify these rings up to analytic isomorphism (under the additional hypothesis that the ring contains an infinite field). In the first section we deal with the complete case, and in the second we show that bounded CM type ascends to and descends from the completion. In the third section we study ascent and descent in higher dimensions and prove a Brauer-Thrall theorem for excellent rings. △ Less

Submitted 22 April, 2003; v1 submitted 26 November, 2002; originally announced November 2002.

Comments: 13 pages, revised and corrected

MSC Class: Primary 13C14; Secondary 13H10; 13C05

Hypersurfaces of bounded Cohen--Macaulay type

Authors: Graham J. Leuschke, Roger Wiegand

Abstract: Let R = k[[x_0,...,x_d]]/(f), where k is a field and f is a non-zero non-unit of the formal power series ring k[[x_0,...,x_d]]. We investigate the question of which rings of this form have bounded Cohen--Macaulay type, that is, have a bound on the multiplicities of the indecomposable maximal Cohen--Macaulay modules. As with finite Cohen--Macaulay type, if the characteristic is different from two… ▽ More Let R = k[[x_0,...,x_d]]/(f), where k is a field and f is a non-zero non-unit of the formal power series ring k[[x_0,...,x_d]]. We investigate the question of which rings of this form have bounded Cohen--Macaulay type, that is, have a bound on the multiplicities of the indecomposable maximal Cohen--Macaulay modules. As with finite Cohen--Macaulay type, if the characteristic is different from two, the question reduces to the one-dimensional case: The ring R has bounded Cohen--Macaulay type if and only if R is isomorphic to k[[x_0,...,x_d]]/(g+x_2^2+...+x_d^2), where g is an element of k[[x_0,x_1]] and k[[x_0,x_1]]/(g) has bounded Cohen--Macaulay type. We determine which rings of the form k[[x_0,x_1]]/(g) have bounded Cohen--Macaulay type. △ Less

Submitted 22 April, 2003; v1 submitted 10 August, 2002; originally announced August 2002.

Comments: 16 pages, referee's suggestions and corrections

Report number: formerly math.RA/0208083 MSC Class: 13C14 (Primary); 13C05; 13H10 (Secondary)

On the Picard group: torsion and the kernel

Authors: Robert Guralnick, David Jaffe, Wayne Raskind, Roger Wiegand

Abstract: For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is a f.g. and faithfully flat A-algebra which is geometrically integral over k. If k is perfect, we find that D(A,B) is f.g. (In positive characteristic, we… ▽ More For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is a f.g. and faithfully flat A-algebra which is geometrically integral over k. If k is perfect, we find that D(A,B) is f.g. (In positive characteristic, we need resolution of singularities to prove this.) For an arbitrary field k of positive characteristic p, we find that modulo p-power torsion, D(A,B) is f.g. 2: Suppose B = A tensor k^sep. We find that D(A,B) is finite. 3: Suppose B = A tensor L, where L is a finite, purely inseparable extension. We give examples to show that D(A,B) may be infinite. 4: Assuming resolution of singularities, we show that if K/k is any algebraic extension, there is a finite extension E/k contained in K/k such that D(A tensor E,A tensor K) is trivial. The remaining results are absolute finiteness results for Pic(A). 5: For every n prime to char(k), Pic(A) has only finitely many elements of order n. 6: Structure theorems are given for Pic(A), in the case where k is absolutely f.g. All of these results are proved in a more general form, valid for schemes. Hard copy is available from the authors. △ Less

Submitted 31 October, 1994; originally announced October 1994.

Comments: 27 pages, AMS-LaTeX