Resumen de On the Gorenstein property of the diagonals of the Rees algebra

Santiago Zarzuela , Olga Lavila Vidal

• Let $Y$ be a closed subscheme of $\mathbb{P}^{n-1}_k$ defined by a homogeneous ideal $I\subset A=k[X1,\cdots,Xn]$, and $X$ obtained by blowing up $\mathbb{P}^{n-1}_k$ along $Y$. Denote by $I_c$ the degree $c$ part of $I$ and assume that $I$ is generated by forms of degree $\leq d$. Then the rings $k[(I^e)_c]$ are coordinate rings of projective embeddings of $X$ in $\mathbb{P}^{N-1}_k$ , where $N=dim_k(I^e)_c$ for $c\geq de+1$. The aim of this paper is to study the Gorenstein property of the rings $k[(I^e)_c]$ . Under mild hypothesis we prove that there exist at most a finite number of diagonals ($c, e$) such that $k[(I^e)_c]$ is Gorenstein, and we determine them for several families of ideals.