[论文解读] Splitting Algebras II: The Cohomology Algebra

Brad Shelton|arXiv (Cornell University)|Aug 10, 2012

Algebraic structures and combinatorial models参考文献 13被引用 3

一句话总结

本文计算了与有限秩偏序集 $\Gamma$ 相关联的分拆代数 $A'_{\Gamma}$ 的上同调与余代数，证明其同构于阶序复形 $\Delta(\Gamma_{b,q})$ 的约化上同调。关键结果表明，当且仅当 $\Gamma$ 是 Cohen-Macaulay（相应地，均匀）时，$A'_{\Gamma}$ 是 Koszul（相应地，二次）代数，从而通过代数拓扑为这些偏序集性质提供了新的同调刻画。

ABSTRACT

Gelfand, Retakh, Serconek and Wilson, in \cite{GRSW}, defined a graded algebra $A_Γ$ attached to any finite ranked poset $Γ$ - a generalization of the universal algebra of pseudo-roots of noncommutative polynomials. This algebra has since come to be known as the splitting algebra of $Γ$. The splitting algebra has a secondary filtration related to the rank function on the poset and the associated graded algebra is denoted here by $A'_Γ$. We calculate the cohomology algebra (and coalgebra) of $A'_Γ$ explicitly. As a corollary to this calculation we have a proof that $A'_Γ$ is Koszul (respectively quadratic) if and only if $Γ$ is Cohen-Macaulay (respectively uniform). We show by example that the cohomology algebra (resp. coalgebra) of $A_Γ$ may be strictly smaller that the cohomology algebra (resp. coalgebra) of $A'_Γ$.

研究动机与目标

• 计算有限秩偏序集 $\Gamma$ 的关联分拆代数 $A'_{\Gamma}$ 的上同调与余代数。
• 通过 $A'_{\Gamma}$ 的 Koszul 与二次性质，建立 $\Gamma$ 的 Cohen-Macaulay 与均匀性质的同调刻画。
• 证明 $A_{\Gamma}$ 的上同调可能严格小于 $A'_{\Gamma}$ 的上同调，表明滤子并不总是保持上同调结构。
• 通过将已知的分拆代数结果与偏序集的拓扑不变量联系起来，统一并推广已有成果。

提出的方法

• 通过谱序列与 [3] 中的规范基构造，计算 $A'_{\Gamma}$ 的上同调，从而在链复形上定义同伦。
• 证明上同调群 $\mathrm{Ext}^{p,q}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$ 同构于所有满足 $rk(b) \geq q$ 的 $b \in \Gamma$ 的约化上同调 $\tilde{H}^{p-2}(\Delta(\Gamma_{b,q}))$。
• 余代数结构 $\mathrm{Tor}^{A'_{\Gamma}}_{p,q}(\mathbb{F},\mathbb{F})$ 同样表示为阶序复形约化同调群的直和。
• 证明依赖于 [3] 中 $A_{\Gamma}$ 的规范基，该基并非用于计数，而是用于定义链同伦，从而实现上同调计算。
• 作者采用约化上同调的标准约定：$\tilde{H}^{-1}(\Delta(\emptyset)) = \mathbb{F}$，且当 $n \neq -1$ 时 $\tilde{H}^n(\Delta(\emptyset)) = 0$。
• 构造反例以证明 $gr(\mathrm{Ext}_{A_{\Gamma}}(\mathbb{F},\mathbb{F})) \neq \mathrm{Ext}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$，从而证明 $A_{\Gamma}$ 的上同调可能严格小于 $A'_{\Gamma}$ 的上同调。

实验结果

研究问题

• RQ1 对于有限秩偏序集 $\Gamma$，其关联分拆代数 $A'_{\Gamma}$ 的上同调代数是什么？
• RQ2 $A_{\Gamma}$ 的上同调与 $A'_{\Gamma}$ 的上同调相比如何？在何种条件下二者不同？
• RQ3 $A'_{\Gamma}$ 的 Koszul 与二次性质能否以 $\Gamma$ 的拓扑性质（如 Cohen-Macaulay 性或均匀性）来刻画？
• RQ4 $A_{\Gamma}$ 是否存在一个同调不变量，能够捕捉 $\Gamma$ 的阶序复形的拓扑结构？

主要发现

• 上同调代数 $\mathrm{Ext}^{p,q}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$ 同构于所有满足 $rk(b) \geq q$ 的 $b \in \Gamma$ 的约化上同调群 $\tilde{H}^{p-2}(\Delta(\Gamma_{b,q}))$ 的直和。
• 余代数 $\mathrm{Tor}^{A'_{\Gamma}}_{p,q}(\mathbb{F},\mathbb{F})$ 同构于相同指标集上约化同调群 $\tilde{H}_{p-2}(\Delta(\Gamma_{b,q}))$ 的直和。
• $A'_{\Gamma}$ 是二次代数当且仅当 $\Gamma$ 是均匀的，是 Koszul 代数当且仅当 $\Gamma$ 是 Cohen-Macaulay 的。
• 存在有限秩偏序集 $\Gamma$，使得 $gr(\mathrm{Ext}_{A_{\Gamma}}(\mathbb{F},\mathbb{F})) \neq \mathrm{Ext}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$，从而证明 $A_{\Gamma}$ 的上同调可能严格小于 $A'_{\Gamma}$ 的上同调。
• 作为上同调计算的推论，$A_{\Gamma}$ 的 Hilbert 级数得以恢复，从而为 [8] 中的结果提供了新证明。
• 通过将结果与 $A'_{\Gamma}$ 的上同调联系起来，本研究为 [5] 中已建立的 $\Gamma$ 是 Cohen-Macaulay 当且仅当 $R_{\Gamma}$ 是 Koszul 的等价性提供了新证明。