Me gustaría pedir una referencia a algún texto que explique en términos relativamente abajo a la tierra (si es posible geométricos) (para maniquíes) lo que es una singularidad Gorenstein y la variedad Gorenstein (para una persona cuyo conocimiento del álgebra conmutativa es menor). ¿Qué cosas estándar uno podría tratar de hacer para comprobar si un esquema dado es Gorenstein?
Si el campo de definición es %-%-% - es aún mejor. Conozco una fuente - Eisenbud "álgebra conmutativa" pero lo encuentra un poco difícil.
