现在,即使 M 不光滑,我们也可以在环境光滑空间上使用局部化。我们只需弄清楚 MT , → f MT 是什么。空间 M n 参数化了长度为 n 的 C 3 的子方案,你可以将其视为描述余维数为 n 的 C [ x 1 , x 2 , x 3 ] 的理想相同。T 的动作是通过缩放变量。理想 I 怎么能通过缩放变量来固定呢?我认为只有当 I 是单项式理想(即由单项式生成)时才有可能。这是因为 xd 是 T 的特征函数,具有不同的权重,例如 x 3 1 x 2 具有权重 t − 3 1 t − 1 2 。任何单项式都由权重唯一确定,而不变理想必须由特征函数生成。在二维中,任何这样的理想都可以通过从表中选择一些单项式来指定