MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For the quotient of polynomial rings over complex number field,

its global dimension is finite is equivalent to it is domain.

is this true?

share|cite|improve this question

No, but Serre proved that for noetherian local rings having finite global dimension is the same as being regular.

So, choose any non-regular local ring which at the same time an integral domain such as the localization of the cuspidal curve at the origin:

$$ k[x,y]_{(x,y)}/(y^2-x^3)k[x,y]_{(x,y)} $$

share|cite|improve this answer
I am considering the quotient of polynomial. So, I do not think this is a counter example. – iff Mar 7 '13 at 13:34
Yes, technically, $k[x,y]/(y^2-x^3)$ is your counter example then. See this:… – Andrew Stout Mar 7 '13 at 15:57

It is true. If global dimension of $R$ is finite say $ = r$ then for any maximal ideal $\mathfrak{m}$ we have homological dimension of $R_\mathfrak{m}$ is finite and $\leq r$. By Serre's result $\dim R_\mathfrak{m}$ = global dimension of $R_\mathfrak{m}$. It remains to note that there exists at least one maximal ideal $\mathfrak{m}$ with global dimension of $R_\mathfrak{m}$ equal to $r$. This is so since

$$ r = \max \{ hdim \ R_\mathfrak{m} \ \mathfrak{m} \ \text{a maximal ideal of $R$} \}.$$

share|cite|improve this answer
Assume $R$ is a domain and prove it has finite global dimension. Let's see how you prove it. (It's false!) – Mahdi Majidi-Zolbanin Mar 5 '13 at 16:04
I was under the impression that $R$ has finite global dimension – Tony Puthenpurakal Mar 6 '13 at 9:44
Tony: You may be confusing "global dimension" with "finitistic global dimension". Global dimension is the biggest projective dimension of any R-module (and since $R / m$ has infinite projective dimension for some maximal ideal $m$ if $R$ isn't regular, gldim$(R) = \infty$). However, the finitistic global dimension (i.e. the supremum of the projective dimensions of all the $R$-modules that do have finite projective dimension) is, if I remember correctly, the Krull dimension of the ring $R$, assuming $R$ is Noetherian. It still has nothing to do with $R$ being a domain or not, though. – Neil Epstein Mar 6 '13 at 15:11
TO Tony: what is the meaning of hdim in" r=max hdim R_m" ?thanks a lot – iff Mar 7 '13 at 13:39
To Neil Epstein, do you have an example? thanks – iff Mar 7 '13 at 13:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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