[Math] Commutative Ring of Finite Global Dimension

homological-algebrara.rings-and-algebras

The only examples of commutative rings of finite global dimension I know are either:

  • Dedekind domains (and fields as a degenerate special case)
  • Regular local rings
  • Rings constructed from the previous examples by taking direct sums, or forming the rings of polynomials over a ring of finite global dimension.

Are there other examples? In particular, are there other examples that are finite-dimensional over a field $k$?

(Examples of rings of finite global dimension are easier to come by in the noncommutative case, but I'm specifically curious about the commutative case.)

Best Answer

At arsmath's request, I'm making this official. (This is pretty standard commutative algebra, but I realize not everyone has gone through it.)

A commutative ring $R$ is regular if it's noetherian and its local rings are regular. Using Serre's theorem e.g. Matsumura Commutative Ring Theory p 156, and the fact that $Ext$ commutes with localization, we can see that any regular ring with finite Krull dimension has finite global dimension.

To an algebraic geometer regular = nonsingular. So in particular, so there is a large supply of basic examples arising as coordinate rings of nonsingular affine varieties. This is a bit circular the way I'm saying it, but of course, you can test the condition using the Jacobian criterion...

Related Question