-
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.
-
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.
-
Examples of non-Noetherian domains inside power series rings
Authors:
William Heinzer,
Christel Rotthaus,
Sylvia Wiegand
Abstract:
Let R* be an ideal-adic completion of a Noetherian integral domain R and let L be a subfield of the total quotient ring of R* such that L contains R. Let A denote the intersection of L with R*. The integral domain A sometimes inherits nice properties from R* such as the Noetherian property. For certain fields L it is possible to approximate A using a localzation B of a nested union of polynomial r…
▽ More
Let R* be an ideal-adic completion of a Noetherian integral domain R and let L be a subfield of the total quotient ring of R* such that L contains R. Let A denote the intersection of L with R*. The integral domain A sometimes inherits nice properties from R* such as the Noetherian property. For certain fields L it is possible to approximate A using a localzation B of a nested union of polynomial rings over R associated to A; if B is Noetherian, then B = A. If B is not Noetherian, we can sometimes identify the prime ideals of B that are not finitely generated. We have obtained in this way, for each positive integer s, a 3-dimensional local unique factorization domain B such that the maximal ideal of B is 2-generated, B has precisely s prime ideals of height 2, each prime ideal of B of height 2 is not finitely generated and all the other prime ideals of B are finitely generated. We examine the map Spec A to Spec B for this example. We also present a generalization of this example to dimension 4. We describe a 4-dimensional local non-Noetherian UFD B such that the maximal ideal of B is 3-generated, there exists precisely one prime ideal Q of B of height 3, the prime ideal Q is not finitely generated. We consider the question of whether Q is the only prime ideal of B that is not finitely generated, but have not answered this question.
△ Less
Submitted 12 April, 2014;
originally announced April 2014.
-
Formal Fibers of Prime Ideals in Polynomial Rings
Authors:
William Heinzer,
Christel Rotthaus,
Sylvia Wiegand
Abstract:
Let (R,m) be a Noetherian local domain of dimension n that is essentially finitely generated over a field and let R^ denote the m-adic completion of R. Matsumura has shown that n-1 is the maximal height possible for prime ideals of R^ in the generic formal fiber of R. In this article we prove that every prime ideal of R^ that is maximal in the generic formal fiber of R has height n-1. We also pres…
▽ More
Let (R,m) be a Noetherian local domain of dimension n that is essentially finitely generated over a field and let R^ denote the m-adic completion of R. Matsumura has shown that n-1 is the maximal height possible for prime ideals of R^ in the generic formal fiber of R. In this article we prove that every prime ideal of R^ that is maximal in the generic formal fiber of R has height n-1. We also present a related result concerning the generic formal fibers of certain extensions of mixed polynomial-power series rings.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.
-
Excellent Normal Local Domains and Extensions of Krull Domains
Authors:
William Heinzer,
Christel Rotthaus,
Sylvia Wiegand
Abstract:
We consider properties of extensions of Krull domains such as flatness that involve behavior of extensions and contractions of prime ideals. Let (R,m) be an excellent normal local domain with field of fractions K, let y be a nonzero element in m, and let R* denote the (y)-adic completion of R. For a finite set w of elements of yR* that are algebraically independent over R, we construct two Krull d…
▽ More
We consider properties of extensions of Krull domains such as flatness that involve behavior of extensions and contractions of prime ideals. Let (R,m) be an excellent normal local domain with field of fractions K, let y be a nonzero element in m, and let R* denote the (y)-adic completion of R. For a finite set w of elements of yR* that are algebraically independent over R, we construct two Krull domains: an intersection domain A that is the intersection of R* with the field of fractions of K[w], and an approximation domain B to A. If R is countable with dim R at least 2, we prove that there exist sets w as above such that the extension R[w] to R*[1/y] is flat. In this case B = A is Noetherian, but may fail to be excellent as we demonstrate with examples. We present several theorems involving the construction. These theorems yield examples where B is properly contained in A and A is Noetherian while B is not Noetherian, and other examples where B = A is not Noetherian.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
Generic fiber rings of mixed power series/polynomial rings
Authors:
William Heinzer,
Christel Rotthaus,
Sylvia Wiegand
Abstract:
Let K be a field, m and n positive integers, and X = {x_1,...,x_n}, and Y = {y_1,..., y_m} sets of independent variables over K. Let A be the polynomial ring K[X] localized at (X). We prove that every prime ideal P in A^ = K[[X]] that is maximal with respect to P\cap A = (0) has height n-1. We consider the mixed power series/polynomial rings B := K[[X]][Y]_{(X,Y)} and C := K[Y]_{(Y)}[[X]]. For e…
▽ More
Let K be a field, m and n positive integers, and X = {x_1,...,x_n}, and Y = {y_1,..., y_m} sets of independent variables over K. Let A be the polynomial ring K[X] localized at (X). We prove that every prime ideal P in A^ = K[[X]] that is maximal with respect to P\cap A = (0) has height n-1. We consider the mixed power series/polynomial rings B := K[[X]][Y]_{(X,Y)} and C := K[Y]_{(Y)}[[X]]. For each prime ideal P of B^ = C that is maximal with respect to either P \cap B = (0) or P \cap C = (0), we prove that P has height n+m-2. We also prove that each prime ideal P of K[[X, Y]] that is maximal with respect to P \cap K[[X]] = (0) is of height either m or n+m-2.
△ Less
Submitted 15 July, 2005;
originally announced July 2005.
-
Integral closures of ideals in completions of regular local domains
Authors:
William Heinzer,
Christel Rotthaus,
Sylvia Wiegand
Abstract:
In this paper we exhibit an example of a three-dimensional regular local domain (A, n) having a height-two prime ideal P with the property that the extension PA^ of P to the n-adic completion A^ of A is not integrally closed. We use a construction we have studied in earlier papers: For R=k[x,y,z], where k is a field of characteristic zero and x,y,z are indeterminates over k, the example A is an…
▽ More
In this paper we exhibit an example of a three-dimensional regular local domain (A, n) having a height-two prime ideal P with the property that the extension PA^ of P to the n-adic completion A^ of A is not integrally closed. We use a construction we have studied in earlier papers: For R=k[x,y,z], where k is a field of characteristic zero and x,y,z are indeterminates over k, the example A is an intersection of the localization of the power series ring k[y,z][[x]] at the maximal ideal (x,y,z) with the field k(x,y,z,f, g) where f, g are elements of (x,y,z)k[y,z][[x]] that are algebraically independent over k(x,y,z). The elements f, g are chosen in such a way that using results from our earlier papers A is Noetherian and it is possible to describe A as a nested union of rings associated to A that are localized polynomial rings over k in five variables.
△ Less
Submitted 16 May, 2004;
originally announced May 2004.
