I'm not sure how long this iterative questions can go on, but let me try again. Let's say $X$ is a Cohen-Macaulay scheme with an action of $\mathbb{G}_m$ (i.e. if $X$ is affine, a grading on the coordinate ring). Are the schematic fixed points $X^{\mathbb{G}_m}$ of $X$ Cohen-Macaulay?
Are schematic fixed-points of a Cohen-Macaulay scheme Cohen-Macaulay?
Ben Webster
- 44.7k
- 12
- 126
- 260