اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدComputing Gorenstein Colength
128
0
0.0
(
0
)
تأليف
H. Ananthnarayan
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Given an Artinian local ring $R$, we define its Gorenstein colength $g(R)$ to measure how closely we can approximate $R$ by a Gorenstein Artin local ring. In this paper, we show that $R = T/I$ satisfies the inequality $g(R) leq lambda(R/soc(R))$ in the following two cases: (a) $T$ is a power series ring over a field of characteristic zero and $I$ an ideal that is the power of a system of parameters or (b) $T$ is a 2-dimensional regular local ring with infinite residue field and $I$ is primary to the maximal ideal of $T$. In the first case, we compute $g(R)$ by constructing a Gorenstein Artin local ring mapping onto $R$. We further use this construction to show that an ideal that is the $n$th power of a system of parameters is directly linked to the $(n-1)$st power via Gorenstein ideals. A similar method shows that such ideals are also directly linked to themselves via Gorenstein ideals. Keywords: Gorenstein colength; Gorenstein linkage.
قيم البحث
اقرأ أيضاً
In this paper, we make the notion of approximating an Artinian local ring by a Gorenstein Artin local ring precise using the concept of Gorenstein colength. We also answer the question as to when the Gorenstein colength is at most two.
Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining a Gorenst
ein ring in a regular ring, provided its symbolic powers are given by saturations with the maximal ideal. While this property is not suitable for reduction to characteristic $p$, we show that a similar result holds in equicharacteristic $0$ under the additional hypothesis that the symbolic Rees algebra of $I$ is noetherian.
Let fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let cd_{fa}(M,N) denote the supremum of the is such that H^i_{fa}(M,N) eq 0. First, by using the theory of Gorenstein homological dimensions, we obtai
n several upper bounds for cd_{fa}(M,N). Next, over a Cohen-Macaulay local ring (R,fm), we show that cd_{fm}(M,N)=dim R-grade(Ann_RN,M), provided that either projective dimension of M or injective dimension of N is finite. Finally, over such rings, we establish an analogue of the Hartshorne-Lichtenbaum Vanishing Theorem in the context of generalized local cohomology modules.
Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the divided p
ower series ring $Gamma. $ The result is effective in the sense that any polynomial of degree $s$ produces an Artinian Gorenstein $k$-algebra of socle degree $s.$ In a recent paper, the authors extended Macaulays correspondence characterizing the $R$-submodules of $Gamma $ in one-to-one correspondence with Gorenstein d-dimensional $k$-algebras. However, these submodules in positive dimension are not finitely generated. Our goal is to give constructive and finite procedures for the construction of Gorenstein $k$-algebras of dimension one and any codimension. This has been achieved through a deep analysis of the $G$-admissible submodules of $Gamma. $ Applications to the Gorenstein linkage of zero-dimensional schemes and to Gorenstein affine semigroup rings are discussed.
We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the
first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studying geometric aspects of certain morphisms from $mathbb P^2$ to $mathbb P^3$, and Hesse configurations in $mathbb P^2$.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
