加载中…
We call the scheme parameterizing homogeneous ideals with fixed initial ideal the Gr"obner scheme. We introduce a Bia{\l}ynicki-Birula decomposition of the Hilbert scheme for any Hilbert polynomial such that the cells are the Gr"obner schemes in set-theoretically. Then we obtain a computable homology formula for smooth Hilbert schemes. As a corollary of our argument, we show that the Gr"obner scheme for a monomial ideal defining a smooth point in the Hilbert scheme is smooth.

生成讲解博客的中文版本

生成AI智能校验的中文版本