## A geometric reference for (affine) Gorenstein varieties and singularities

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I would like to ask for a reference to some text that explains in relatively down to earth (if possible geometric) terms (for dummies) what is a Gorenstein singularity and Gorenstein variety (for a person whose knowlage of commutative algebra is minor). What standard things one could try to do to check if a given scheme is Gorenstein?

If the field of definition is $\mathbb C$ - it is even better. I know one source - Eisenbud "commutative algebra" but find it a bit hard.

-

1
In view of your other question (and your alias), asking about Gorenstein is bit surprising. Unfortunately, I don't think there is answer which doesn't involve a reasonable amount of commutative algebra. But if you are content with an example, any hypersurface in affine space is Gorenstein. More complicated singularities may fail to be. – Donu Arapura Mar 5 2011 at 23:10
Donu, thanks a lot for your comment! This question about Gorenstein varieties is related to integrable systems... I know that complete intersections are Gorenstein. But a typical singularity is not a complete intersection... – aglearner Mar 5 2011 at 23:24

## 2 Answers

Hi, I don't think there is an easy way to do this in general. Gorenstein is a fairly homological / commutative algebraic condition. However, the condition that $K_X$, the canonical divisor, is a Cartier divisor is quite close to the Gorenstein condition and for some purposes, it is just as good.

Another algebraic place to read about Gorenstein singularities (besides Eisenbud's book) include Bruns and Herzog's Cohen-Macaulay rings.

There is also a question you should ask yourself about Gorenstein singularities. Which of the following properties of Gorenstein singularities do you want:

1. The fact that Gorenstein singularities are Cohen-Macaulay (and so have well-behaved Serre-duality without the need for fancy homological machinary and derived categories, see the Serre duality section in Hartshorne's Algebraic Geometry).
2. The fact that on a Gorenstein variety, the canonical Weil divisor $K_X$ is actually a Cartier divisor.

In fact, a singularity being Gorenstein is equivalent to both conditions 1. and 2. I also think that 1. + 2. is how most geometers think about the Gorenstein condition. Commutative algebraists tend to have a different perspective.

I should also point out perhaps one other large class of rings where you can easily detect whether or not it is Gorenstein (besides the already-mentioned complete intersections).

Suppose that X is a projective variety with an ample line bundle $\mathcal{L}$. Then the section ring:

$$\oplus_{n \geq 0} H^0(X, \mathcal{L}^{\otimes n})$$

is Gorenstein if and only if the following two conditions hold.

1. $H^i(X, \mathcal{L}^{\otimes n}) = 0$ for all $i > 0$ and all $n \geq 0$. This is just condition 1. above.

2. $\mathcal{O}_X(K_X)$ is isomorphic to $\mathcal{L}^n$ for some integer $n$. This is condition 2. above.

EDIT: If you have explicit equations, you can often use Macaulay2 to check whether the ring is Gorenstein. Let me know if this would be useful to you.

-

Thank you for the detailed answer! I'll think of it. – aglearner Mar 6 2011 at 12:56

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Sorry, tough luck, but most first (and second) algebraic geometry courses don't even touch Cohen-Macaulay rings, let alone Gorenstein. Look, for example, at Definition 4.2 here. So it is unlikely you can find such reference.

Here is an explanation why you need both Cohen-Macaulayness and the fact that the canonical divisor is Cartier, as mentioned in Karl's answer. The trouble is that there are UFDs (so all divisors are Cartier) which are not Cohen-Macaulay (for instance, the invariant ring of $\mathbb Z_4$ acting by cyclically permuting the variables on the polynomial ring in four variables over a field of char 2). Such examples are not very well-known, I remember Sándor Kovács pointed out in a recent comment that most people don't even realize that it could be an issue.

But without Cohen-Macaulayness, the canonical sheaf would not be truly dualizing (see the comments here). This is perhaps where the real power of the property lies.

Finally, I would like to recommend this survey on Gorenstein rings. You can pick up a lot about them from there, including the very interesting history. To quote from the Introduction:

As we shall see, they could perhaps more justiﬁably be called Bass rings, or Grothendieck rings, or Rosenlicht rings, or Serre rings.

Enjoy!

-

Many thank for the answer and for the link to the article of Craig Huneke! – aglearner Mar 7 2011 at 8:42
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9266092777252197, "perplexity_flag": "head"}