4
$\begingroup$

Let $X \subseteq \mathbb{P}_{\mathbb{C}}^n$ be an irreducible, projective, Cohen-Macaulay variety of dimension $k$. Let $L \subseteq \mathbb{P}_{\mathbb{C}}^n$ be a linear space of dimension $n-k-1$ that does not intersect $X$. Then the linear projection $\pi: X \to \mathbb{P}_{\mathbb{C}}^k$ from center $L$ is a finite morphism. Let $R=\mathbb{C}[x_0,\ldots,x_k]$ and let $S$ be the homogeneous coordinate ring of $X$. Then $S$ is a finitely generated graded $R$-module via $\pi$.

My question is: When is $S$ in fact a free $R$-module? In particular, I am interested in sufficient criteria and examples of when $S$ is not free.

$\endgroup$
1
  • $\begingroup$ For a more general context and a purely algebraic approach see Bruns and Herzog, Cohen-Macaulay Rings, Proposition 2.2.11. $\endgroup$
    – user26857
    Jan 11, 2015 at 10:09

1 Answer 1

7
$\begingroup$

$S$ is free if and only if it is a Cohen-Macaulay ring -- see e.g. Bourbaki, Algèbre commutative X, 4, no. 3, Corollaire (I am afraid this is not yet translated in english). In geometric terms, this means that $X$ is projectively (aka arithmetically) Cohen-Macaulay -- that is, $H^i(X,\mathcal{O}_X(n))=0$ for all $n$ and $0<i<\dim(X)$.

$\endgroup$
2
  • 1
    $\begingroup$ thank you. is it true that since $X$ is Cohen-Macaulay, I just have to check whether $S$ localized at the irrelevant ideal is Cohen-Macaulay? And is it correct that $X$ is arithmetically Cohen-Macaulay if and only if the affine cone $\hat{X}$ is Cohen-Macaulay? $\endgroup$
    – Hans
    Jan 8, 2015 at 13:23
  • 1
    $\begingroup$ Yes to both questions. Note that $\hat{X}= \mathrm{Spec}(S)$, so $\hat{X}$ Cohen-Macaulay $\Leftrightarrow \ S$ Cohen-Macaulay. $\endgroup$
    – abx
    Jan 8, 2015 at 14:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.