The class semigroup of local one-dimensional domains

Let R be a local one-dimensional domain. We investigate when the class semigroup S(R) of R is a Clifford semigroup. We make use of the Archimedean valuation domains which dominate R, as a main tool to study its class semigroup. We prove that if S(R) is Clifford, then every element of the integral closure of R is quadratic. As a consequence, such an R may be dominated by at most two distinct Archimedean valuation domains, and coincides with their intersection. When S(R) is Clifford, we find conditions for S(R) to be a Boolean semigroup. We derive that R is almost perfect with Boolean class semigroup if, and only if R is stable. We also find results on S(R), through examination of [V/P:R/M] and v(M), where V dominates R, and P, M are the respective maximal ideals.     

Serre dimension of monoid algebras

Let R be a commutative Noetherian ring of dimension d, M a commutative cancellative torsion-free monoid of rank r and P a finitely generated projective R[M]-module of rank t. Assume M is Φ-simplicial seminormal. If \(M\in \mathcal {C}({\Phi })\), then Serre dim R[M]≤d. If r≤3, then Serre dim R[int(M)]≤d. If \(M\subset \mathbb {Z}_{+}^{2}\) is a normal monoid of rank 2, then Serre dim R[M]≤d. Assume M is c-divisible, d=1 and t≥3. Then P?∧ ^t P⊕R[M] ^t?1. Assume R is a uni-branched affine algebra over an algebraically closed field and d=1. Then P?∧ ^t P⊕R[M] ^t?1.     

Chow-Witt groups and Grothendieck-Witt groups of regular schemes

Let A be a noetherian commutative Z[1/2]-algebra of Krull dimension d and let P be a projective A-module of rank d. We use derived Grothendieck-Witt groups and Euler classes to detect some obstructions for P to split off a free factor of rank one. If d?3, we show that the vanishing of its Euler class in the corresponding Grothendieck-Witt group is a necessary and sufficient condition for P to have a free factor of rank one. If d is odd, we also get some results in that direction. If A is regular, we show that the Chow-Witt groups defined by Morel and Barge appear naturally as some homology groups of a Gersten-type complex in Grothendieck-Witt theory. From this, we deduce that if d=3 then the vanishing of the Euler class of P in the corresponding Chow-Witt group is a necessary and sufficient condition for P to have a free factor of rank one.     

Bounds for indecomposable torsion-free modules

Let M be a finitely generated torsion-free module over a one-dimensional reduced Noetherian ring R with finitely generated normalization. The rank of M is the tuple of vector-space dimensions of M_P over each field R_P (R localized at P), where P ranges over the minimal prime ideals of R. We assume that there exists a bound N_R on the ranks of all indecomposable finitely generated torsion-free R-modules. For such rings, what bounds and ranks occur? Partial answers to this question have been given by a plethora of authors over the past forty years. In this article we provide a final answer by giving a concise list of the ranks of indecomposable modules for R a local ring with no condition on the characteristic. We conclude that if the rank of an indecomposable module M is (r,r,…,r), then r∈{1,2,3,4,6}, even when R is not local.     

Set theoretic complete intersection for curves in a smooth affine algebra

Let A be a regular ring of dimension d (d≥3) containing an infinite field k. Let n be an integer such that 2n≥d+3. Let I be an ideal in A of height n and P be a projective A-module of rank n. Suppose P⊕A≈Aⁿ⁺¹ and there is a surjection α: P→I. It is proved in this note that I is a set theoretic complete intersection ideal. As a consequence, a smooth curve in a smooth affine C-algebra with trivial conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck group is torsion.     

A commutative analogue of the group ring

Throughout, all rings R will be commutative with identity element. In this paper we introduce, for each finite group G, a commutative graded Z-algebra R_G. This classifies the G-invariant commutative R-algebra multiplications on the group algebra R[G] which are cocycles (in fact coboundaries) with respect to the standard “direct sum” multiplication and have the same identity element.In the case when G is an elementary Abelian p-group it turns out that R_G is closely related to the symmetric algebra over F_p of the dual of G. We intend in subsequent papers to explore the close relationship between G and R_G in the case of a general (possibly non-Abelian) group G.Here we show that the Krull dimension of R_G is the maximal rank r of an elementary Abelian subgroup E of G unless either E is cyclic or for some such E its normalizer in G contains a non-trivial cyclic group which acts faithfully on E via “scalar multiplication” in which case it is r+1.     

d-ideals,f d-ideals and prime ideals

Abstract

Let R be a commutative ring. An ideal I of R is called a d-ideal (f d-ideal) provided that for each a ∈ I (finite subset F of I) and b ∈ R, Ann(a) ? Ann(b) (Ann(F) ? Ann(b)) implies that b ∈ I. It is shown that, the class of z⁰-ideals (hence all sz⁰-ideals), maximal ideals in an Artinian or in a Kasch ring, annihilator ideals, and minimal prime ideals over a d-ideal are some distinguished classes of d-ideals. Furthermore, we introduce the class of f d-ideals as a subclass of d-ideals in a commutative ring R. In this regard, it is proved that the ring R is a classical ring with property (A) if and only if every maximal ideal of R is an f d-ideal. The necessary and sufficient condition for which every prime f d-ideal of a ring R being a maximal or a minimal prime ideal is given. Moreover, the rings for which their prime d-ideals are z⁰-ideals are characterized. Finally, we prove that every prime f d-ideal of a ring R is a minimal prime ideal if and only if for each a ∈ R there exists a finitely generated ideal , for some n ∈ ? such that Ann(a, I) = 0. As a consequence, every prime f d-ideal in a reduced ring R is a minimal prime ideal if and only if X= Min(R) is a compact space.     

On the asymptotic properties of the Rees powers of a module

Let R be a commutative ring and G a free R-module with finite rank e>0. For any R-submodule E⊂G one may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n, n≥0, of the image, that we shall call the n-th Rees powers of E (with respect to the embedding E⊂G). In this work we prove some asymptotic properties of the R-modules E_n, n≥0, which extend well known similar ones for the case of ideals, among them Burch’s inequality for the analytic spread.     

Intersection theory of algebraic obstructions

Let A be a noetherian commutative ring of dimension d and L be a rank one projectiveA-module. For 1≤r≤d, we define obstruction groups E^r(A,L). This extends the original definition due to Nori, in the case r=d. These groups would be called Euler class groups. In analogy to intersection theory in algebraic geometry, we define a product (intersection) E^r(A,A)×E^s(A,A)→E^r+s(A,A). For a projective A-module Q of rank n≤d, with an orientation , we define a Chern class like homomorphism

w(Q,χ):E^d−n(A,L^′)→E^d(A,LL^′),     

Local cohomology modules with respect to an ideal containing the irrelevant ideal

Let R=?_n≥0R_n be a homogeneous Noetherian ring, let M be a finitely generated graded R-module and let R₊=?_n>0R_n. Let b?b₀+R₊, where b₀ is an ideal of R₀. In this paper, we first study the finiteness and vanishing of the n-th graded component of the i-th local cohomology module of M with respect to b. Then, among other things, we show that the set becomes ultimately constant, as n→−∞, in the following cases:

(i)

and (R₀,m₀) is a local ring;

(ii)

dim(R₀)≤1 and R₀ is either a finite integral extension of a domain or essentially of finite type over a field;

(iii)

i≤g_b(M), where g_b(M) denotes the cohomological finite length dimension of M with respect to b.

Also, we establish some results about the Artinian property of certain submodules and quotient modules of .     

The Frobenius exponent of Cartier subalgebras

Let R be a standard graded finitely generated algebra over an F-finite field of prime characteristic, localized at its maximal homogeneous ideal. In this note, we prove that the Frobenius complexity of R is finite. Moreover, we extend this result to Cartier subalgebras of R.     

Rank-sets of indecomposable modules over one-dimensional rings

Let R be a one-dimensional, reduced Noetherian ring with finite normalization, and suppose there exists a positive integer N_R such that, for every indecomposable finitely generated torsion-free R-module M and every minimal prime ideal P of R, the dimension of M_P, as a vector space over the localization R_P (a field), is less than or equal to N_R. For a finitely generated torsion-free R-module M, we call the set of all such vector-space dimensions the rank-set of M. What subsets of the integers arise as rank-sets of indecomposable finitely generated torsion-free R-modules? In this article, we give more information on rank-sets of indecomposable modules, to supplement previous work concerning this question. In particular we provide examples having as rank-sets those intervals of consecutive integers that are not ruled out by an earlier article of Arnavut, Luckas and Wiegand. We also show that certain non-consecutive rank-sets never arise.     

Indecomposable modules over one-dimensional Noetherian rings

In this article we consider finitely generated torsion-free modules over certain one-dimensional commutative Noetherian rings R. We assume there exists a positive integer N_R such that, for every indecomposable R-module M and for every minimal prime ideal P of R, the dimension of M_P, as a vector space over the field R_P, is less than or equal to N_R. If a nonzero indecomposable R-module M is such that all the localizations M_P as vector spaces over the fields R_P have the same dimension r, for every minimal prime P of R, then r=1,2,3,4 or 6. Let n be an integer ≥8. We show that if M is an R-module such that the vector space dimensions of the M_P are between n and 2n−8, then M decomposes non-trivially. For each n≥8, we exhibit a semilocal ring and an indecomposable module for which the relevant dimensions range from n to 2n−7. These results require a mild equicharacteristic assumption; we also discuss bounds in the non-equicharacteristic case.     

Rational realization of the minimum ranks of nonnegative sign pattern matrices

A sign pattern matrix (or nonnegative sign pattern matrix) is a matrix whose entries are from the set {+,?, 0} ({+, 0}, respectively). The minimum rank (or rational minimum rank) of a sign pattern matrix A is the minimum of the ranks of the matrices (rational matrices, respectively) whose entries have signs equal to the corresponding entries of A. Using a correspondence between sign patterns with minimum rank r ≥ 2 and point-hyperplane configurations in R^r?1 and Steinitz’s theorem on the rational realizability of 3-polytopes, it is shown that for every nonnegative sign pattern of minimum rank at most 4, the minimum rank and the rational minimum rank are equal. But there are nonnegative sign patterns with minimum rank 5 whose rational minimum rank is greater than 5. It is established that every d-polytope determines a nonnegative sign pattern with minimum rank d + 1 that has a (d + 1) × (d + 1) triangular submatrix with all diagonal entries positive. It is also shown that there are at most min{3m, 3n} zero entries in any condensed nonnegative m × n sign pattern of minimum rank 3. Some bounds on the entries of some integer matrices achieving the minimum ranks of nonnegative sign patterns with minimum rank 3 or 4 are established.     

Some characterizations of Krull domains

In this paper, we define the v-finiteness for a length function L_v on the set of all v-ideals of an integral domain R and show that R is a Krull domain if and only if every proper integral v-ideal of R has v-finite length and L_v((AB)_v)=L_v(A)+L_v(B) for every pair of proper integral v-ideals A and B in R. We also give Euclidean-like characterizations of factorial, Krull, and π-domains. Finally we define the notion of quasi-∗-invertibility and show that if every proper prime t-ideal of an integral domain R is quasi-t-invertible, then R is a Krull domain.     

TW-domains and Strong Mori domains

In this paper we are mainly concerned with TW-domains, i.e., domains in which the w- and t-operations coincide. Precisely, we investigate possible connections with related well-known classes. We characterize the TW-property in terms of divisoriality for Mori domains and Noetherian domains. Specifically, we prove that a Mori domain R is a TW-domain if and only if R_M is a divisorial domain for each t-maximal ideal M of R. It turns out that a Mori domain which is a TW-domain is a Strong Mori domain. The last section examines the transfer of the “TW-domain” and “Strong Mori” properties to pullbacks, in order to provide some original examples.     

Higher Auslander Correspondence for Dualizing <Emphasis Type="Italic">R</Emphasis>-Varieties

Let R be a commutative artinian ring. We extend higher Auslander correspondence from Artin R-algebras of finite representation type to dualizing R-varieties. More precisely, for a positive integer d, we show that a dualizing R-variety is d-abelian if and only if it is a d-Auslander dualizing R-variety if and only if it is equivalent to a d-cluster-tilting subcategory of the category of finitely presented modules over a dualizing R-variety.     

A New Lower Bound Based on Gromov’s Method of Selecting Heavily Covered Points

Boros and Füredi (for d=2) and Bárány (for arbitrary d) proved that there exists a positive real number c _d such that for every set P of n points in R ^d in general position, there exists a point of R ^d contained in at least $c_{d}\binom{n}{d+1}$ d-simplices with vertices at the points of P. Gromov improved the known lower bound on c _d by topological means. Using methods from extremal combinatorics, we improve one of the quantities appearing in Gromov??s approach and thereby provide a new stronger lower bound on c _d for arbitrary d. In particular, we improve the lower bound on c ₃ from 0.06332 to more than 0.07480; the best upper bound known on c ₃ being 0.09375.