Could you give me an example (with proof) of a Gorenstein domain that is not a complete intersection?
A Gorenstein domain that is not a complete intersection
-
1Explicit examples can be extracted from his construction. – 2012-11-16
1 Answers
A classical example of Gorenstein domain which is not a complete intersection comes form the Buchsbaum-Eisenbud structure theorem of Gorenstein ideals of grade $3$ (see Bruns and Herzog, Theorem 3.4.1).
Let's take a skew-symmetric matrix $X$ of size $2r+1$ whose entries are indeterminates over a field $K$. The ideal $I_{2r}(X)$ generated by all $2r$-pfaffians of $X$ has height $3$ and is minimally generated by the set of $2r$-pfaffians, so it has $2r+1$ generators and no less. Moreover, the quotient ring $R=K[X]/I_{2r}(X)$ is a Gorenstein domain. (For more details one can look here.) Now, if $R$ would be a complete intersection ring, then the ideal $I_{2r}(X)$ would be generated by a regular sequence (of length at most $3$). If we take $r>1$, this is not possible.
-
0I invite you to find one. – 2012-11-15