Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userComputing Gorenstein Colength
183
0
0.0
(
0
)
Authors
H. Ananthnarayan
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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 Gorenstein 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 obtain 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 power 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$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
