Thomas Polstra, Karl Schwede
Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$ such that the ideal $I$ is the sum of images of all $R$-linear maps $S\to R$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In 1983 Kustin and Miller introduced a construction of Gorenstein ideals in local Gorenstein rings, starting from smaller such ideals. We review and modify their construction in the case of graded rings and discuss it within the framework of Gorenstein liaison theory. We determine invariants of the constructed ideal. Concerning the problem of when a given Gorenstein ideal can be obtained by the construction, we derive a necessary condition and exhibit a Gorenstein ideal that can not be obtained using the construction.
We investigate the existence of ideals $I$ in a one-dimensional Gorenstein local ring $R$ satisfying $\mathrm{Ext}^{1}_{R}(I,I)=0$.
How many ideals whose quotient rings are Gorenstein exist?
本文研究Gorenstein环中商环为Gorenstein的非主理想数量问题，证明对称数值半群环中此类分次理想个数等于半群导子，并给出完整列表。
In this paper, we study the Gorenstein global dimension of an \emph{amalgamated duplication} of a coherent ring along a regular principal ideal.
The structure of the complex $\operatorname{\mathbf{R}Hom}_R(R/I,R)$ is explored for an Ulrich ideal $I$ in a Cohen-Macaulay local ring $R$. As a consequence, it is proved that in a one-dimensional almost Gorenstein but non-Gorenstein local ring, the only possible Ulrich ideal is the maximal ideal. It is also studied when Ulrich ideals have the same minimal number of generators.
Characterization of almost Gorenstein rings in terms of the trace ideal
本文用迹理想刻画一维几乎Gorenstein环，并应用于研究$\mathbb{Z}_2$-分次环的几乎Gorenstein性质。
Level and pseudo-Gorenstein binomial edge ideals
本文证明正则度2的level二项式边理想与正则度3的伪Gorenstein二项式边理想均为锥并完全描述之，同时刻画二部图的相应理想。
This note proves that if S is an unramified regular local ring and I and J are proper ideals of height at least two, then S/IJ is never Gorenstein.
In this note, we calculate the Koszul homology of the codimension 3 Gorenstein ideals. We find filtrations for the Koszul homology in terms of modules with pure free resolutions and completely describe these resolutions. We also consider the Huneke-Ulrich deviation 2 ideals.
Given a Noetherian local ring (R,m) it is shown that there exists an integer l such that R is Gorenstein if and only if some system of parameters contained in m^l generates an irreducible ideal. We obtain as a corollary that R is Gorenstein if and only if every power of the maximal ideal contains an irreducible parameter ideal.
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra $\mathcal{R}(\mathfrak{q}^d)=\oplus_{i\ge 0}\mathfrak{q}^{di}$ is Gorenstein for every parameter ideal $\mathfrak{q}$ that is a reduction of the maximal ideal in a $d$-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional excellent Gorenstein normal domain over an algebraically closed field $K \cong A/{\mathfrak m}$ and $I$ is a $p_g$-ideal; (2) $(A,{\mathfrak m})$ is a two-dimensional almost Gorenstein local ring having minimal multiplicity and $I={\mathfrak m}^{\ell}$ for all $\ell \ge 1$; (3) $(A,{\mathfrak m})$ is a regular local ring of dimension $d \ge 2$ and $I={\mathfrak m}…
Via the theory of reverse lexicographic squarefree initial ideals of toric ideals, we give a new class of Gorenstein Fano polytopes (reflexive polytopes) arising from a pair of stable set polytopes of perfect graphs.
The main achievement of this paper is to provide a structure theorem for Artinian, Gorenstein local rings with the property that the square of the maximal ideal is generated by two elements. The moduli problem for this class of local algebras is also discussed. Finally, upper and lower bounds for the minimal number of generators of perfect ideals are given.
Structure theorems for Gorenstein ideals of codimension four with small number of generators
本文用表示论方法研究余维数为四的Gorenstein理想的极小自由消解，引入高阶结构映射族，并证明由六个元素极小生成的该类理想必为余维数为三的Gorenstein理想的超平面截面，同时提出七、八个生成元情形的猜想。
Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the André-Quillen homology.
We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity.
Gorenstein Endomorphism Rings on Curve Singularities
本文研究曲线奇点上分式理想自同态环的 Gorenstein 性，利用理想稳定性与值半群理想条件给出刻画，并分类相关 Gorenstein 代数型曲线。
The question of when the Rees algebra ${\mathcal R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring is explored, where $R$ is a two-dimensional regular local ring and $I$ a contracted ideal of $R$. It is known that ${\mathcal R} (I)$ is an almost Gorenstein graded ring for every integrally closed ideal $I$ of $R$. The main results of the present paper show that if $I$ is a contracted ideal with $\mathrm{o}(I) \le 2$, then ${\mathcal R} (I)$ is an almost Gorenstein graded ring, while if $\mathrm{o}(I) \ge 3$, then ${\mathcal R} (I)$ is not necessarily an almost Gorenstei…
In this paper, we introduce an invariant of Cohen-Macaulay local rings in terms of the reduction number of canonical ideals. The invariant can be defined in arbitrary Cohen-Macaulay rings and it measures how close to being Gorenstein. First, we clarify the relation between almost Gorenstein rings and nearly Gorenstein rings by using the invariant in dimension one. We next characterize the idealization of trace ideals over Gorenstein rings in terms of the invariant. It provides better prospects for a result of the almost Gorenstein property of idealization.
Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings.
The purpose of this paper is to give some equivalent conditions to the socle and Bass numbers' conjectures which raised by C. Huneke in (Problems on local cohomology, Free resolutions in commutative algebra and algebraic geometry, Res. Notes Math. 1992, pp. 93-108). In addition, some results about certain Gorenstein ideals are included.
Assume $R$ is a polynomial ring over a field and $I$ is a homogeneous Gorenstein ideal of codimension $g\ge3$ and initial degree $p\ge2$. We prove that the number of minimal generators $ν(I_p)$ of $I$ that are in degree $p$ is bounded above by $ν_0={p+g-1\choose g-1}-{p+g-3\choose g-1}$, which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension $g$ and initial degree $p$. Further, $I$ is itself extremal if $ν(I_p)=ν_0$.
Let $I_G$ be the binomial edge ideal on the generic 2 x n - Hankel matrix associated with a closed graph $G$ on the vertex set [n]. We characterize the graphs $G$ for which $I_G$ has maximal regularity and is Gorenstein.
Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional representation of $G$ over $k$. Then we show that if $Q$ is a $G$-invariant homogeneous ideal of $A$ such that $A/Q$ is a Gorenstein ring then $A^G/Q^G$ is also a Gorenstein ring.
This paper explores the structure of quasi-socle ideals I=Q:m^2 in a Gorenstein local ring A, where Q is a parameter ideal and m is the maximal ideal in A. The purpose is to answer the problem of when Q is a reduction of I and when the associated graded ring G(I) = \bigoplus_{n \geq 0}I^n/I^{n+1} is Cohen-Macaulay. Wild examples are explored.
Let R be a local Noetherian commutative ring. We prove that R is an Artinian Gorenstein ring if and only if every ideal in R is a trace ideal. We discuss when the trace ideal of a module coincides with its double annihilator.
Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in Gorenstein numerical semigroup rings over fields are explored, where $Q$ is a parameter ideal, and $\mathfrak{m}$ is the maximal ideal in the base local ring, and $q \geq 1$ is an integer. The problems of when $I$ is integral over $Q$ and of when the associated graded ring $\mathrm{G}(I) = \bigoplus_{n \geq 0}I^n/I^{n+1}$ of $I$ is Cohen-Macaulay are studied. The problems are rather wild; examples are given.
On generalized Gorenstein local rings
本文提出广义戈林斯坦局部环的概念，并探讨其与Cohen-Macaulay环相关代数结构的联系，同时提供了多种实例。
Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base ring is a Gorenstein ring of dimension one. It is shown that with one extremal exception, the surjectivity of one of the correspondences characterizes the Gorenstein property of the base ring, provided it is a Cohen-Macaulay local ring of dimension one. Over a commutative Noetherian ring, a characterization of modules in which every submodule is a trace modul…
Let p be a prime number and G be a finite commutative group such that p^{2} does not divide the order of G. In this note we prove that for every finite module M over the group ring Z_{p}[G], the inequality #M \leq #Z_{p}[G]/Fit_{Z_{p}[G]}(M) holds. Here, Fit_{Z_{p}[G]}(M) is the Z_{p}[G]-Fitting ideal of M.
We analyze the structure of spinor coordinates on resolutions of Gorenstein ideals of codimension four. As an application we produce a family of such ideals with seven generators which are not specializations of Kustin-Miller model.
The notion of $2$-almost Gorenstein ring is a generalization of the notion of almost Gorenstein ring in terms of Sally modules of canonical ideals. In this paper, we deal with two different topics related to $2$-almost Gorenstein rings. The purposes are to determine all the Ulrich ideals in $2$-almost Gorenstein rings and to clarify the structure of minimal free resolutions of $2$-almost Gorenstein rings.
Annihilation of cohomology over one dimensional almost Gorenstein rings
本文研究一维几乎Gorenstein环的上同调湮灭理想，给出其与稳定范畴湮灭理想相等的充分条件，并证明其与导子理想一致。
We show that the ideal generated by the $(n-2)$ minors of a general symmetric $n$ by $n$ matrix has an initial ideal that is the Stanley-Reisner ideal of the boundary complex of a simplicial polytope and has the same Betti numbers.
We study the relationship between the tight closure of an ideal and the sum of all ideals in its linkage class.
We find the defining equations of Rees rings of linearly presented height three Gorenstein ideals. To prove our main theorem we use local cohomology techniques to bound the maximum generator degree of the torsion submodule of symmetric powers in order to conclude that the defining equations of the Rees algebra and the special fiber ring have the same image in the symmetric algebra. We show that this image is the unmixed part of the ideal generated by the maximal minors of a matrix of linear forms which is annihilated by a vector of indeterminates, and otherwise has maximal possible grade. An i…
This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring.
Some non-principal rigid ideals in Gorenstein domains of dimension one
该研究通过Codex发现的例子，构造出与Huneke和Wiegand猜想矛盾的一维Gorenstein整环中的刚性非主理想，同时Codex还证明了该猜想在等特征且嵌入维数不超过3时成立。
There is given a characterization for the Rees algebras of parameters in a Gorenstein local ring to be almost Gorenstein graded rings. A characterization is also given for the Rees algebras of socle ideals of parameters. The latter one shows almost Gorenstein Rees algebras rather rarely exist for socle ideals, if the dimension of the base local ring is greater than two.
On the initial ideal of a generic artinian Gorenstein algebra
本文研究一般阿廷戈伦斯坦代数的初始理想，证明一般形式零化理想的初始理想由各次数最大单项式生成，并确定一类强稳定单项理想的总Betti数与相应初始理想一致。
We classify connected graphs $G$ whose binomial edge ideal is Gorenstein. The proof uses methods in prime characteristic.
We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul homology algebra satisfies Poincaré duality. We prove a version of this duality which holds for all ideals and allows us to give two criteria for an ideal to be strongly Cohen-Macaulay. The first can be compared to a result of Hartshorne and Ogus; the second is a generalization of a result of Herzog, Simis, and Vasconcelos using sliding depth.
A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal
本文研究了二次几乎完全交理想及其链接的Gorenstein理想，计算了其Betti数，并揭示了相关环的socle结构和维度特性。
We study one-dimensional Cohen-Macaulay rings whose trace ideal of the canonical module is as small as possible. In this paper we call such rings far-flung Gorenstein rings. We investigate far-flung Gorenstein rings in relation with the endomorphism algebras of the maximal ideals and numerical semigroup rings. We show that the solution of the Rohrbach problem in additive number theory provides an upper bound for the multiplicity of far-flung Gorenstein numerical semigroup rings. Reflexive modules over far-flung Gorenstein rings are also studied.
Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in a Noetherian local ring $(A, \mathfrak{m})$ with the Gorenstein tangent cone $\mathrm{G}(\mathfrak{m}) = \bigoplus_{n \geq 0}{\mathfrak{m}}^n/{\mathfrak{m}}^{n+1}$ are explored, where $q \geq 1$ is an integer and $Q$ is a parameter ideal of $A$ generated by monomials of a system $x_1, x_2, ..., x_d$ of elements in $A$ such that $(x_1, x_2, ..., x_d)$ is a reduction of $\mathfrak{m}$. The questions of when $I$ is integral over $Q$ and of when the graded rings $\mathrm{G}(I) = \bigoplus_{n \geq 0}I^n/I^{n+1}$ and $…
A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there exists an integer $\ell$ (depending on $R$) such that $R$ is Gorenstein if and only if there exists an irreducible parameter ideal contained in $\mathfrak{m}^\ell$. We give upper bounds for $\ell$ that depend primarily on the existence of certain systems of parameters in low powers of the maximal ideal.
Let $(R, \mathfrak{m}) $ be a Gorenstein local ring of dimension $d > 0$ and let $I$ be an ideal of $R$ such that $(0) \ne I \subsetneq R$ and $R/I$ is a Cohen-Macaulay ring of dimension $d$. There is given a complete answer to the question of when the idealization $A = R \ltimes I$ of $I$ over $R$ is an almost Gorenstein local ring.
Starting with a commutative ring $R$ and an ideal $I$, it is possible to define a family of rings $R(I)_{a,b}$, with $a,b \in R$, as quotients of the Rees algebra $\oplus_{n \geq 0} I^nt^n$; among the rings appearing in this family we find Nagata's idealization and amalgamated duplication. Many properties of these rings depend only on $R$ and $I$ and not on $a,b$; in this paper we show that the Gorenstein and the almost Gorenstein properties are independent of $a,b$. More precisely, we characterize when the rings in the family are Gorenstein, complete intersection, or almost Gorenstein and we …
Let $A$ be a Cohen-Macaulay local ring with $\operatorname{dim} A = d\ge 3$, possessing the canonical module ${\mathrm K}_A$. Let $a_1, a_2, \ldots, a_r$ $(3 \le r \le d)$ be a subsystem of parameters of $A$ and set $Q= (a_1, a_2, \ldots, a_r)$. It is shown that if the Rees algebra ${\mathcal R}(Q)$ of $Q$ is an almost Gorenstein graded ring, then $A$ is a regular local ring and $a_1, a_2, \ldots, a_r$ is a part of a regular system of parameters of $A$.
In this article we investigate when a complete ideal in a two-dimensional regular local ring is a multiplier ideal of some ideal with an integral multiplying parameter. In particular, we show that this question is closely connected to the Gorenstein property of the blowup along the ideal.
Let $J$ be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring $R= k[x,y,z]$, where $k$ is a field. Assume that $R/J$ satisfies the weak Lefschetz property. We give the presentation matrix for $J$ in terms of the coefficients of a Macaulay inverse system for $J$. (This presentation matrix is an alternating matrix and $J$ is generated by the maximal order Pfaffians of the presentation matrix.) Our formulas are computer friendly; they involve only matrix multiplication; they do not involve multilinear algebra or complicated summations. As an application,…
We focus on the structure of a homogeneous Gorenstein ideal $I$ of codimension three in a standard polynomial ring $R=\kk[x_1,\ldots,x_n]$ over a field $\kk$, assuming that $I$ is generated in a fixed degree $d$. For such an ideal $I$ this degree comes along with the minimal number of generators of $I$ and the degree of the entries of the associated skew-symmetric matrix in a simple formula. We give an elementary characteristic-free argument to the effect that, for any such data linked by this formula, there exists a Gorenstein ideal $I$ of codimension three filling them. We conjecture that, f…
The notion of almost Gorenstein ring given by Barucci and Fr{ö}berg \cite{BF} in the case where the local rings are analytically unramified is generalized, so that it works well also in the case where the rings are analytically ramified. As a sequel, the problem of when the endomorphism algebra $\m : \m$ of $\m$ is a Gorenstein ring is solved in full generality, where $\m$ denotes the maximal ideal in a given Cohen-Macaulay local ring of dimension one. Characterizations of almost Gorenstein rings are given in connection with the principle of idealization. Examples are explored.
Let $I ~(\ne A)$ be an ideal of a $d$-dimensional Noetherian local ring $A$ with $\operatorname{ht}_AI \ge 2$, containing a non-zerodivisor. The problem of when the ring $I:I=\operatorname{End}_AI$ is Gorenstein is studied, in connection with the problem of the Gorensteinness in Rees algebras $\mathcal{R}_A(Q^d)$ for certain parameter ideals $Q$ of $A$, that was closely explored by the preceding paper of the second and third authors. Examples are given.
We graph-theoretically characterize triangle-free Gorenstein graphs $G$. As an application, we classify when $I(G)^2$ is Cohen-Macaulay.
Multicomplex Configurations: a case study in Gorenstein Liaison
本文引入多复形构型，基于几何极化与几何顶点分解，证明在合适的线性形式替换下，所得理想具有指定初始理想的 Gröbner 基，并属于完全交的 Gorenstein liaison 类。
In this paper several quasi-Gorenstein counterparts to some known properties of Gorenstein rings are given. We, furthermore, give an explicit description of the attach prime ideals of certain local cohomology modules.
Gorensteinness for normal tangent cones of elliptic ideals
本文研究了二维 excellent 正则戈林斯坦局部域中椭圆理想正常切锥的戈林斯坦性，并在特征零情况下对相关理想进行了分类。
On posets, monomial ideals, Gorenstein ideals and their combinatorics
本文从组合角度比较单项式理想的 socle 元素与 Macaulay 逆系统，建立相关偏序集的闭包性质，推导 Γ-分次环的代数命题及其组合推论，并对零维 Gorenstein 理想进行直接计算，揭示多项式环与局部环之间的关键差异。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。