Questions tagged [gorenstein]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
0answers
67 views

Example of Gorenstein ring that has infinite Krull dimension?

Let $R$ be a Noetherian commutative ring. If $R$ is local, then $R$ is Gorenstein if $inj.dim(R)<\infty$. Otherwise $R$ is Gorenstein if $R_P$ Gorenstein for all prime ideals $P$.\ There is a ...
0
votes
1answer
47 views

$k[[x,y]]/I$ is a Gorenstein ring implies that $I$ is generated by 2 elements

I have a problem $k[[x,y]]/I$ is a Gorenstein ring implies that $I$ is generated by 2 elements. I am stuck since I do not have many techniques to prove that an ideal is generated by 2 elements. ...
0
votes
0answers
51 views

check Gorenstein ring

I have a problem saying "Check that $k[[x,y,z]]/(x^3-z^2,y^2-xz,z^3)$ is a Gorenstein ring while $k[[x,y,z]]/(x,y,z)^2$ is not, given $k$ is a field." Anyway, easily check that Krull dimensions of ...
2
votes
0answers
64 views

Equivalent definition of maximal Cohen-Macaulay modules over a Gorenstein local ring

$ \newcommand{\Ext}{\mathop{\rm Ext}\nolimits} \newcommand{\depth}{\mathop{\rm depth}\nolimits} \newcommand{\dim}{\mathop{\rm dim}\nolimits} $ A module $M$ is a maximal Cohen-Macaulay ...
2
votes
1answer
69 views

Is $R=K[|x^3,x^2y,xy^2,y^3|]$ a Gorenstein or a regular ring?

Let $K$ be a field and $R=K[|x^3,x^2y,xy^2,y^3|]$ the ring of formal power series. Is $R$ a Gorenstein ring? $R$ is Cohen-Macaulay of dimension 2. So, I have to check if $\operatorname{Ext}^2_{K}(...
4
votes
0answers
68 views

Is $R=K[\![x^3,x^2y,xy^2,y^3]\!]$ a Gorenstein ring? [duplicate]

Let $K$ be a field and $R=K[\![x^3,x^2y,xy^2,y^3]\!]$ the ring of formal power series. Is $R$ a Gorenstein ring? $R$ is Cohen-Macaulay of dimension 2. So, I have to check if $Ext^2_{K}(K,R)=K.$
0
votes
1answer
82 views

How to show that CM-finite Gorenstein algebras have finite global dimension?

Let $A$ be a Gorenstein algebra(We call $A$ Gorenstein provided that the regular module $A$ has finite injective dimension on both sides. And if $A$ is Gorenstein, then $inj.dim _AA= inj.dim A_A$ ), $...
1
vote
1answer
78 views

When homogeneous coordinate ring of an Abelian variety is Gorenstein?

Let $A$ be an abelian variety of dimension at least $2$. If $A$ is embedded into a projective space by a very ample line bundle $\mathcal{L}$ under which assumptions on $\mathcal{L}$ the homogeneous ...
1
vote
0answers
65 views

Annihilators of powers of the maximal ideal in an Artinian Gorenstein ring

Let $(R,\mathfrak{m},k)$ be a commutative Artinian Gorenstein ring. Let $n$ be such that $\mathfrak{m}^n\neq0=\mathfrak{m}^{n+1}$. I see that $\mathfrak{m}^n=(0:\mathfrak{m})$, is it true that $\...
2
votes
1answer
164 views

On graded Artinian Gorenstein algebras

Let $k$ be a field and $R$ an $\mathbb{N}$-graded $k$-algebra that is graded-commutative. Assume that $\dim_k R<\infty$ and that $R$ is Gorenstein (i.e. the injective dimension of $R$ over itself ...
3
votes
1answer
173 views

Is the converse of Proposition 3.5.4 (c) of Bruns_Herzog true?

Question 1. Is the converse of Proposition $3.5.4 (c)$ of Bruns_Herzog true? I can see that $R$ is cohen-macaulay. so if one can prove that $r(R)=1$ , $R$ will be Gorenstein. Question 2. ...
5
votes
0answers
112 views

Bass' paper on Gorenstein rings

I am currently reading the paper On the ubiquity of Gorenstein rings by Hyman Bass. I found difficulty to understand the proof of Proposition (7.2). Under the the following setting: $A$: commutative ...
0
votes
1answer
293 views

Zero dimensional Gorenstein ring

Let $(R,\mathfrak m)$ be a zero dimensional Gorenstein ring and $\mathfrak q$ be an $\mathfrak m$-primary ideal of $R$. Then TFAE: 1) $\mathfrak q$ is irreducible, 2) $(0:\mathfrak q)$ is principal, ...
-1
votes
1answer
270 views

Example of Gorenstein local ring of dimension 1 [closed]

The ring $k[[x,y]]/(xy)$ is Gorenstein. Why?
1
vote
1answer
95 views

Gorenstein ring and projective module

I am new to this topic and would appreciate little explanation. Def: A commutative, unital ring $A$ is a cubic ring if $A$ is a free $\mathbb{Z}$-module of rank $3$. Def : A cubic ring $A$ is ...
2
votes
3answers
394 views

Examples of Noetherian local rings which are not Gorenstein

Can anyone give me an example of a Noetherian local ring which is not a Gorenstein ring?
3
votes
1answer
369 views

Matsumura, Exercise 18.8: Cohen-Macaulay and (not) Gorenstein [duplicate]

I need an answer to the exercise 18.8 of Matsumura's book:" Commutative Ring Theory", and generate an algorithm if possible. Let $k$ be a field and $t$ an indeterminate. Consider the subring $A = k[[...
0
votes
1answer
168 views

Localization of Gorenstein ring

Let $R$ be a Gorenstein local ring and $S=R \setminus Z(R)$. I want to prove $S^{-1}R =⊕_{ht\ p=0} R_p$ and $S^{-1}R$ is injective $R$-module. I can see the above $p$'s are minimal, $id_{R_p} R_p=0$ ...
1
vote
1answer
177 views

Gorenstein, complete intersection

Let $S = k[X_1,...,X_n]$ Example 3.2.11(b) of Bruns-Herzog's book "Cohen-Macaulay Rings", gives a Gorenstein ring that is a complete intersection iff $n \leq 2$. They have proved it as a special case ...
2
votes
1answer
219 views

Tor functor for the quotient of a Gorenstein local ring

Let $(R,m)$ be a Gorenstein local ring, $I\subset R$ a perfect ideal of grade $g$ and $S = R/I$. Prove that $S$ is Gorenstein iff $\operatorname{Tor}_g^R(S,S)=S$. This question is Exercise 3.3.25(c) ...
1
vote
1answer
503 views

What is a hypersurface ring and why is it Gorenstein?

My question is about this and this: In the first link Graham Leuschke says: "That is a hypersurface ring, so Gorenstein, so the canonical module is the ring itself." What is a hypersurface ...
4
votes
0answers
235 views

Note or book on Examples of regular, Gorenstein, Cohen Macaulay, … rings

I need a good note or book with plenty of examples in commutative algebra and algebraic geometry which surveyed being regular, Gorenstein, Cohen Macaulay, .... Can you help? thanks.
5
votes
1answer
370 views

On Gorenstein ring of dimension zero

Let $R$ be an Artinian local ring. Then $R$ is a Gorenstein ring (i.e., $R$ is an injective $R$-module) iff for any ideal $I$ of $R$, Ann$($Ann$(I))=I$. Why? (We call $R$ Gorenstein if injective ...
4
votes
0answers
835 views

Gorenstein ring VS. Gorenstein singularity

A normal variety is said to have Gorenstein singularity iff its canonical divisor is a Cartier divisor (one can always define the canonical divisor on a normal variety and it can be proved to be a ...
7
votes
0answers
274 views

The geometric interpretation of Gorenstein local ring

Many local rings have geometric interpretations. Cohen–Macaulay rings correspond to equi-dimensionality, and regular local rings correspond to non-singularity, but what is a geometric interpretation ...
1
vote
1answer
245 views

A Gorenstein domain that is not a complete intersection

Could you give me an example (with proof) of a Gorenstein domain that is not a complete intersection?
3
votes
1answer
204 views

The Gorenstein dimension of a ring

I'm studying on these notes. I have a question about page 64, the remark. A local ring is Gorenstein if and only if the Gorenstein dimension of the residue field is finite. Of course if the ring ...
3
votes
1answer
300 views

Are the rings $k[[t^3,t^4,t^5]]$ and $k[[t^4,t^5,t^6]]$ Gorenstein? (Matsumura, Exercise 18.8)

Here is question 18.8 of Matsumura's Commutative Ring Theory. It asks whether the rings $k[[t^3,t^4,t^5]]$, $k[[t^4,t^5,t^6]]$ are Gorenstein. I got that 1) is not Gorenstein, but 2) is Gorenstein (...
3
votes
2answers
99 views

A non-graded Gorenstein Artin $k$-algebra such that its associated graded ring is also Gorenstein

I am wondering if there is a non-graded Gorenstein Artin $k$-algebra $R$ such that its associated graded ring, $\mathrm{gr}(R)$, is also Gorenstein. All the non-graded Gorenstein rings I tried so ...
4
votes
1answer
477 views

Bruns-Herzog problem 3.1.25

This is problem 3.1.25 (page 97) in Cohen-Macaulay Rings by Bruns and Herzog. The direction I am interested in is the following. Let $R$ be a Gorenstein local ring and $M$ a finite $R$-module. If ...
4
votes
2answers
310 views

About Gorenstein ring

Is it true that in a (non-local) Gorenstein ring, every maximal ideal has the same height? It seems a little strange, but I don't see any reason why it shoudn't.
3
votes
1answer
356 views

Gorenstein ring of dimension zero

Let $(R, \mathfrak m)$ be a local ring and in the same time a finite dimensional algebra over the complex numbers. How one can prove that if $\operatorname{Ann}_R(m)$ has dimension one then $R$ is an ...
4
votes
1answer
1k views

Characterization for artinian Gorenstein rings

Let $(R,m)$ be an artinian local ring. Show that if $I \cap J \neq 0$ for all non-zero ideals $I$ and $J$, then $R$ is a Gorenstein ring. Another formulation could be: show that if $(0)$ is an ...
7
votes
1answer
332 views

Injective Maximal Cohen-Macaulay modules

Let $R$ be a Gorenstein (not necessarily commutative) ring and let $I$ be an injective finitely generated module over $R$. Is it true that if $\operatorname{Ext}_R^i(I, R)=0$ for $i > 0$, then $I$ ...