用户讨论: 方恪身/刚性上同调

我现在其实认为晶体上同调不有限维这一点不是错误而是特性

not a bug but a feature

说说我的理解: 在不同的幂级数环上, 微分算子有可能没指标 (比如考虑 open variety 的 convergent topos); 也有可能有指标, 但是跟日常生活中的不一样 (比如 Ramis 在特征 0 考虑各种 Gevrey series). 而对一个 open smooth scheme 上的某类 twisted coefficient 算 de Rham-like 的上同调是不是有限, 就是不断 devissage, 最后化到这些各种环里面看是否有指标.

为什么呢

因为 de Rham 就是如此嘛, 这些上同调类本来就该有. 香蕉三千也跟我说过他觉得 de Rham 是能算的比较自然的东西. 另外你考虑紧支的话还是能得到比较有限的, 也符合 “紧支的有限性比直接前推好” 这么一个感觉.