1
$\begingroup$

I am looking for examples of Artinian Gorenstein subalgebras with the same socle degrees. More precisely, let $A$ be an Artinian Gorenstein $k$-algebra (with $k$ algebraically closed of characteristic $0$) with standard grading (generated in degree $1$) and socle degree, say $d$. Let $B \subsetneq A$ be an Artinian Gorenstein subalgebra of $A$. Is it possible that $B$ has the same socle degree $d$?

Similarly, if $B$ is a quotient of $A$ and $B$ is an Artinian, Gorenstein $k$-algera. Is it possible that $B$ has the same socle degree $d$?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
4
$\begingroup$

Let $A=k[x,y]/(x^2,y^2)$. If $\mathrm{char}(k)\neq 2$, then the subalgebra generated by $x+y$ is Gorenstein with the same socle degree. On the other hand, for any graded Artinian algebra $A$, any nonzero ideal $I$ intersects the socle notrivially. Hence if $A$ is Gorenstein then $I$ contains the socle (say of degree $d$), so $A/I$ has no elements of degree $d$.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thank you! Why should any nonzero ideal intersect the socle non-trivially? Could you please give a hint/reference. $\endgroup$
    – Chen
    Commented 2 days ago
  • $\begingroup$ Hint: the socle of $I$ is contained in the socle of $A$. $\endgroup$
    – Richard Stanley
    Commented 2 days ago

Not the answer you're looking for? Browse other questions tagged or ask your own question.