Characterizations of regular local rings in positive characteristics

In this note, we provide several characterizations of regular local rings in positive characteristics, in terms of the Hilbert-Kunz multiplicity and its higher counterparts . We also apply the characterizations to improve a recent result by Bridgeland and Iyengar in the characteristic case. Our proof avoids using the existence of big Cohen-Macaulay modules, which is the major tool in the proof of Bridgeland and Iyengar.

     

The Positivity of Intersection Multiplicities and Symbolic Powers of Prime Ideals

Serre's nonnegativity conjecture for intersection multiplicities has recently been proven by O. Gabber. In this paper we investigate Serre's positivity conjecture using the methods which he developed. We show in particular that the positivity conjecture has implications for properties of symbolic powers of prime ideals in regular local rings.     

A REMARK ON THE HENSELIZATION OF A REGULAR LOCAL RING

1.IntroductionThenotionofHenselizationofintegrallyclosedintegritydomainswasintroducedbyNagata[3]fromtheconceptofHenselianringwhichwasgivenfirstlybyAzumaya[1].TheHenselizationofalocalringAisacouple(A,i),whereAisalocalHenselianringandi:AAalocalmoaphism...     

关于纤维锥的深度和Hilbert级数

Let (R,m) be a Cohen-Macaulay local ring of dimension d with infinite residue field, I an m-primary ideal and K an ideal containing I. Let J be a minimal reduction of I such that, for some positive integer k, KIn ∩ J = JKIn-1 for n ≤ k ? 1 and λ( JKKIIkk-1 ) = 1. We show that if depth G(I) ≥ d-2, then such fiber cones have almost maximal depth. We also compute, in this case, the Hilbert series of FK(I) assuming that depth G(I) ≥ d - 1.     

Ideals defining Gorenstein rings are (almost) never products

This note proves that if is an unramified regular local ring and proper ideals of height at least two, then is never Gorenstein.

     

The Leading Ideal of a Complete Intersection of Height Two,Part III

Let (S, 𝔫) be an s-dimensional regular local ring with s > 2, and let I = (f, g) be an ideal in S generated by a regular sequence f, g of length two. As in [2 Goto , S. , Heinzer , W. , Kim , M.-K. ( 2006 ). The leading ideal of a complete intersection of height two . J. Algebra 298 : 238 – 247 . [Google Scholar], 3 Goto , S. , Heinzer , W. , Kim , M.-K. ( 2007 ). The leading ideal of a complete intersection of height two, II . J. Algebra 312 : 709 – 732 . [Google Scholar]], we examine the leading form ideal I* of I in the associated graded ring G: = gr_𝔫(S). Let μ _G (I*) = n ≥ 3, and let {ξ₁, ξ₂,…, ξ _n } be a minimal homogeneous system of generators of I* such that ξ₁ = f* and ξ₂ = g*, and c _i : = deg ξ _i  ≤ deg ξ _i+1: = c _i+1 for each i ≤ n ? 1. For m ≤ n, we say that K _m : = (ξ₁,…, ξ _m )G is an ideal generated by part of a minimal homogeneous generating set of I*. Let D _i : = GCD(ξ₁,…, ξ _i ) and d _i  = deg D _i for i with 1 ≤ i ≤ m. Let K _m be perfect with ht _G K _m  = 2. We prove that the following are equivalent: 1. deg ξ _i+1 = deg ξ _i  + (d _i?1 ? d _i ) +1, for all i with 3 ≤ i ≤ m ? 1;

2. deg ξ _i+1 ≤ deg ξ _i  + (d _i?1 ? d _i ) +1, for all i with 3 ≤ i ≤ m ? 1.

Furthermore, if these equivalent conditions hold, then K _m  = I*. Moreover, if e(G/K _m ) = e(G/I*), we prove that K _m  = I*. We illustrate with several examples in the cases where K _m is or is not perfect.     

The Leading Ideal of a Complete Intersection of Height Two in a 2-Dimensional Regular Local Ring

Let (S,𝔫) be a 2-dimensional regular local ring and let I = (f, g) be an ideal in S generated by a regular sequence f, g of length two. Let I* be the leading ideal of I in the associated graded ring gr𝔫(S), and set R = S/I and 𝔪 = 𝔫/I. In Goto et al. (2007 Goto , S. , Heinzer , W. , Kim , M.-K. ( 2007 ). The leading ideal of a complete intersection of height two, II . J. Algebra 312 : 709 – 732 . [Google Scholar]), we prove that if μ _G (I*) = n, then I* contains a homogeneous system {ξ _i }_1≤i≤n of generators such that deg ξ _i  + 2 ≤ deg ξ _i+1 for 2 ≤ i ≤ n ? 1, and ht _G (ξ₁, ξ₂,…, ξ _n?1) = 1, and we describe precisely the Hilbert series H(gr𝔪(R), λ) in terms of the degrees c _i of the ξ _i and the integers d _i , where d _i is the degree of D _i  = GCD(ξ₁,…, ξ _i ). To the complete intersection ideal I = (f, g)S we associate a positive integer n with 2 ≤ n ≤ c ₁ + 1, an ascending sequence of positive integers (c ₁, c ₂,…, c _n ), and a descending sequence of integers (d ₁ = c ₁, d ₂,…, d _n  = 0) such that c _i+1 ? c _i  > d _i?1 ? d _i  > 0 for each i with 2 ≤ i ≤ n ? 1. We establish here that this necessary condition is also sufficient for there to exist a complete intersection ideal I = (f, g) whose leading ideal has these invariants. We give several examples to illustrate our theorems.     

Cohen-Macaulay Local Rings of Embedding Dimension e + d - 3

In this paper we determine the possible Hilbert functions ofa Cohen–Macaulay local ring of dimension d and multiplicitye, in the case where the embedding dimension v satisfies v =e + d – 3 and the Cohen–Macaulay type is less thanor equal to e – 3. 1991 Mathematics Subject Classification:primary 13D40; secondary 13P99.     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

On the Asymptotic Behavior of the Bass Numbers of Modules

Let (R, 𝔪) be a Noetherian Gorenstein local ring and I be a principal ideal of R. In this article we show that the Bass numbers of the R-modules R/I ⁿ take constant values for large n.     

Varieties of strange plane curves

Abstract

Let A be a commutative ring with identity, let X, Y be indeterminates and let F(X,Y), G(X, Y) ∈ A[X, Y] be homogeneous. Then the pair F(X, Y), G(X, Y) is said to be radical preserving with respect to A if Rad((F(x, y), G(x, y))R) = Rad((x,y)R) for each A-algebra R and each pair of elements x, y in R. It is shown that infinite sequences of pairwise radical preserving polynomials can be obtained by homogenizing cyclotomic polynomials, and that under suitable conditions on a ?-graded ring A these can be used to produce an infinite set of homogeneous prime ideals between two given homogeneous prime ideals P ? Q of A such that ht(Q/P) = 2.     

On some properties of (fc)-sequences of ideals in local rings

The paper characterizes the length of maximal sequences satisfying conditions (i) and (ii) of (FC)-sequences, and proves some properties of (FC)-sequences, such as a bound on their lengths. As a consequence we get some results for mixed multiplicities and multiplicities of Rees rings of equimultiple ideals. We also prove that if is an ideal of positive height and is an arbitrary maximal sequence in satisfying conditions (i) and (ii) of (FC)-sequences, then is a reduction of

     

A Generalization of Divided Domains and Its Connection to Weak Baer Going-Down Rings

Many results on going-down domains and divided domains are generalized to the context of rings with von Neumann regular total quotient rings. A (commutative unital) ring R is called regular divided if each P ∈ Spec(R)?(Max(R) ∩ Min(R)) is comparable with each principal regular ideal of R. Among rings having von Neumann regular total quotient rings, the regular divided rings are the pullbacks K× _K/P D where K is von Neumann regular, P ∈ Spec(K) and D is a divided domain. Any regular divided ring (for instance, regular comparable ring) with a von Neumann regular total quotient ring is a weak Baer going-down ring. If R is a weak Baer going-down ring and T is an extension ring with a von Neumann regular total quotient ring such that no regular element of R becomes a zero-divisor in T, then R ? T satisfies going-down. If R is a weak Baer ring and P ∈ Spec(R), then R + PR _(P) is a going-down ring if and only if R/P and R _P are going-down rings. The weak Baer going-down rings R such that Spec(R)?Min(R) has a unique maximal element are characterized in terms of the existence of suitable regular divided overrings.     

A Class of Auslander-Regular Macaulay Rings

Abstract

For a (left and right) noetherian semilocal ring R we analyse a regularity concept (called weak regularity) based on the equation gld R = dim R. Examples are regular Cohen-Macaulay orders over a regular local ring, localized enveloping algebras of finite dimensional Lie algebras, and the regular rings classified in Rump (2001b). We prove that weakly regular rings are Auslander-regular and Macaulay.     

A Dense Packing of Regular Tetrahedra

We construct a dense packing of regular tetrahedra, with packing density D>.7786157. This research was partially supported by the NSF-RTG grant DMS-0502170.     

一类环上HX环的结构

自李洪兴１９９１年提出了ＨＸ环以来，人们一直有这么一个问题没解决，就是是否存在非平凡的ＨＸ环的例子？但至今既没找到非平凡的ＨＸ环，也没有证明任一环Ｒ仅存在平凡的ＨＸ环。针对这个问题，本文提出并证明了一类环仅有平凡ＨＸ环，还给出了一系列的结构定理。这样，既为证明任一环Ｒ仅有平凡的ＨＸ环的猜想有新的启示，也为人们指明无须在这一类环上寻找非平凡ＨＸ环。     

具有一对零态射的Morita Context环(II)

设$(A,B,V,W,\psi,\phi)$是一个Morita Context,具有一对零态射$\psi=0$, $\phi=0$, $C =\left ( \begin{array} {cc}A & V \\W & B \end{array}\right)$是对应的Morita Context环.本文给出了$C$与$A,B,V,W$之间关于环的$\pi$-正则性、semiclean性、Mophic性和环的Exchgange性、Potent性、GM性的关系.