Strongart数学笔记：通向组合交换代数Stanley_Reisner理论.pdfVIP

通向组合交换代数 Stanley-Reisner 理论 (2014-10-1513:53:18) Stanley-Reisner环（又称为面环（facering））把代数拓 扑中单纯复形与多项式的单项商环联系起来，可以说是一张 通向组合交换代数的入场券，下面就来介绍一下关于它的基 本内容。 先看Stanley-Reisner环的定义，设k是作为系数的交换 环，给定任何一个顶点集为{v_1，…，v_n}的单纯复形Δ， Δ关于k 的Stanley-Reisner环是指齐次k-代数： k[Δ]=k[x_1，…，x_n]/I_Δ 其中I_Δ是由所有使得不属于Δ的单形 （v_iv_j…v_k）所对 应的单项式x_ix_j…x_k生成的理想，也称为Stanley-Reisner 理想。即 I_Δ= {m；m∉ Δ} 这个定义的要点就是各顶点v_i对应原子单项式x_i，若 干顶点构成的单形（v_iv_j…v_k）对应原子单项式的积 x_ix_j…x_k. 请注意，这里各原子单项式的下标都是不同的。 换句话说，生成Stanley-Reisner理想的各单项式都是平方自 由的，即不含任何平方项因子。 反之，给定平方自由的单项理想I，我们也可以得到它 的Stanley-Reisner环复形 Δ_I= {m；m∉ I} 可以证明它们满足这样的自反关系： I_(Δ_I =I，Δ_(I_Δ = Δ 对于平方自由的单项理想m，n，有m整除niff 对应的 单纯复形m∈n，由此说明它们的自然序关系是一致的。 对于Stanley-Reisner理想I_Δ，我们有如下公式： I_Δ= ∩B_F 其中F取遍Δ的所有极大面（facet），B_F是指由各不属于F 的v_i对应的X_i生成的理想。 这个结论实际上就是Stanley-Reisner理想的准素分解， 对于平方自由的情形而言，被分解项可以取为极小素理想， 后者正好是与各极大面相对应的。 由此我们的可以得到Stanley-Reisner环的维数计算公 式： dimk[Δ]=dim Δ+1 此外，我们还有Stanley-Reisner环的深度计算公式： depth k[ Δ] = max{r ； Δ的 r 维骨架是 Cohen-Macaulay 的}+1 这个公式涉及下文中的Cohen-Macaulay复形，并不适合 直接用来计算。 对于深度的一个简单结论是：若Δ是不连 通的单纯复形，那么 depthk[Δ]= 1. Stanley-Reisner理论的关键是单纯复形的几何性质与对 应Stanley-Reisner环的代数性质之间的转换。先看一个简单 的数量关系，（d-1）维单纯复形的f-向量就是它的各维面的 个数f= （f_0，f_1，…，f_ （d-1）），f_0就是其顶点数，f_1 就是边的个数，…，f_d就是其极大面的个数。Δ的Euler数 定义为e （Δ）=f_0-f_1+f_2-…+ （-1）^(d-1)f_(d-1 由此可以计算k[Δ]的（Z^n分次的）Hilbert 多项式，有 H_k[Δ] （t）= Σ （F∈Δ）Σ （a∈N^n,supp （a）=F）t^a = Σ（F∈Δ）Π（v_i ∈F）t_i/ （1-t_i） = Σ （i=-1，…，d-1） f_it^ （i+1）/ （1-t）^ （i+1） 对于Stanley-Reisner环，我们有所谓的h-向量，它是通 过其Hilbert多项式定义如下： H_k[Δ] （t）=h_0+h_1t+…/ （1-t）^d 比较上述两式，可以得到f-向量与h-向量之间的关系： Σh_it^i= Σ（i=0，…，d）f_(i-1)t^i（1-t）^(d-i 得到 h_j= Σ（i=0，…，j）（-1）^(j-i （d-