English

Artinian Gorenstein algebras of embedding dimension four and socle degree three

Commutative Algebra 2023-10-25 v1

Abstract

We prove that in the polynomial ring Q=k[x,y,z,w]Q=\mathsf{k}[x,y,z,w], with k\mathsf{k} an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals II such that (x,y,z,w)4I(x,y,z,w)2(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2 can be obtained by \emph{doubling} from a grade three perfect ideal JIJ\subset I such that Q/JQ/J is a locally Gorenstein ring. Moreover, a graded minimal free resolution of the QQ-module Q/IQ/I can be completely described in terms of a graded minimal free resolution of the QQ-module Q/JQ/J and a homogeneous embedding of a shift of the canonical module ωQ/J\omega_{Q/J} into Q/JQ/J.

Keywords

Cite

@article{arxiv.2212.05444,
  title  = {Artinian Gorenstein algebras of embedding dimension four and socle degree three},
  author = {Pedro Macias Marques and Oana Veliche and Jerzy Weyman},
  journal= {arXiv preprint arXiv:2212.05444},
  year   = {2023}
}

Comments

42 pages