论文研究 微分同调代数与广义相对论

1916年，马卡里（FS Macaulay）开发了特殊的定位技术，以处理交换代数中的“非混合多项式理想”，并将其转换为他所称的偏微分方程的“逆系统”。 1970年，DC Spencer及其同事研究了此类系统的形式理论，使用了产生“微分同系代数”的同构代数方法，用“纯微分模块”代替了未混合的多项式理想。 为此目的，必须使用“差分扩展模块”和“差分双重对偶”。 特别是零纯差动模块是无扭转的，并通过类似函数的任意电势接受“绝对参数化”。 在2012年，我们已经能够将此结果扩展到任意纯差分模块，引入了“相对参数化”，其中电势应满足兼容的“差分约束”。 我们最近注意到，广义相对论只是通过Ricci算子的