Skip to main content
deleted 124 characters in body; deleted 6 characters in body
Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

Your two sentences present some discrepancy.

Not all 1-dimensional local rings are semi-normal, so the first sentence has nothing to do with the second.

If all 1-dimensional local rings were Cohen-Macaulay, then all local rings would be Cohen-Macaulay by virtue of the definition of the Cohen-Macaulay property.

I suppose you may mean "Are all 1-dimensional semi-normal rings CohenSemi-Macaulay?"

I think even that failsnormalization can make things worse. If I am not mistaken, then 3Three lines meeting in a point that are not contained in a plane (say the 3 coordinate axes in 3-space) is semi-normal and it is certainly not CMGorenstein. Interesting to note thatOn the other hand, 3 lines meeting in a point and contained in a plane is CM, even Gorenstein, hypersurface Gorenstein, but it is not semi-normal. I believe itsIts semi-normalization is exactly the above union of 3 lines meeting in a point that are not contained in a plane.

Your two sentences present some discrepancy.

Not all 1-dimensional local rings are semi-normal, so the first sentence has nothing to do with the second.

If all 1-dimensional local rings were Cohen-Macaulay, then all local rings would be Cohen-Macaulay by virtue of the definition of the Cohen-Macaulay property.

I suppose you may mean "Are all 1-dimensional semi-normal rings Cohen-Macaulay?"

I think even that fails. If I am not mistaken, then 3 lines meeting in a point that are not contained in a plane (say the 3 coordinate axes in 3-space) is semi-normal and it is certainly not CM. Interesting to note that 3 lines meeting in a point and contained in a plane is CM, even Gorenstein, hypersurface, but it is not semi-normal. I believe its semi-normalization is exactly the above union of 3 lines meeting in a point that are not contained in a plane.

Your two sentences present some discrepancy.

Not all 1-dimensional local rings are semi-normal, so the first sentence has nothing to do with the second.

If all 1-dimensional local rings were Cohen-Macaulay, then all local rings would be Cohen-Macaulay by virtue of the definition of the Cohen-Macaulay property.

Semi-normalization can make things worse. Three lines meeting in a point that are not contained in a plane (say the 3 coordinate axes in 3-space) is semi-normal and it is not Gorenstein. On the other hand, 3 lines meeting in a point and contained in a plane is Gorenstein, but it is not semi-normal. Its semi-normalization is exactly the above union of 3 lines meeting in a point that are not contained in a plane.

Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

Your two sentences present some discrepancy.

Not all 1-dimensional local rings are semi-normal, so the first sentence has nothing to do with the second.

If all 1-dimensional local rings were Cohen-Macaulay, then all local rings would be Cohen-Macaulay by virtue of the definition of the Cohen-Macaulay property.

I suppose you may mean "Are all 1-dimensional semi-normal rings Cohen-Macaulay?"

I think even that fails. If I am not mistaken, then 3 lines meeting in a point that are not contained in a plane (say the 3 coordinate axes in 3-space) is semi-normal and it is certainly not CM. Interesting to note that 3 lines meeting in a point and contained in a plane is CM, even Gorenstein, hypersurface, but it is not semi-normal. I believe its semi-normalization is exactly the above union of 3 lines meeting in a point that are not contained in a plane.