[论文解读] A dilemma of nonequivalent definitions of differential operators in noncommutative geometry

G. Sardanashvily|ArXiv.org|Feb 27, 2007

Algebraic structures and combinatorial models参考文献 11被引用 4

一句话总结

本文識別出非交換幾何中微分算子定義的根本不一致，證明現有的定義（如 Dubois-Violette、Lunts 或 Giachetta 等人提出的定義）均不令人滿意，原因在於微分在非交換環上無法形成模。主要貢獻在於提出一種新的雙邊微分算子定義，適用於雙模，此定義推廣了經典的交換情形，並解決了基礎性的模糊性問題。

ABSTRACT

In contrast with differential operators on modules over commutative and graded commutative rings, there is no satisfactory notion of a differential operator in noncommutative geometry.

研究动机与目标

• 識別非交換幾何中微分算子缺乏一致且普遍令人滿意的定義。
• 分析為何現有的定義（如 Dubois-Violette、Lunts 和 Giachetta 等人提出的定義）在非交換設定下失敗。
• 證明在非交換環上，微分無法形成模，從而動搖標準構造的基礎。
• 提出一種適用於非交換環上雙模的全新雙邊微分算子定義，此定義推廣了經典的交換情形定義。
• 確立此新定義解決了基礎性模糊性問題，恢復了非交換環上微分算子理論的一致性。

提出的方法

• 以經典的 Grothendieck 定義（適用於交換環上模的微分算子）作為基準。
• 透過對乘法映射的重複交換子，定義非交換環上雙模的左、右及雙邊微分算子。
• 引入雙邊 jet 模 ${\cal J}^1(P) = {\cal A} \otimes_{\cal K} P \otimes_{\cal K} {\cal A} / \mu^1$ 作為雙邊一階微分算子的代表性物件。
• 使用算子 $\delta^b$ 和 $\overline{\delta}^b$ 分別編碼乘法的左與右作用，並定義理想 $\mu^1$ 為由 $\overline{\delta}^c \circ \delta^b({\bf 1} \otimes p \otimes {\bf 1})$ 生成的子模。
• 建立雙邊微分算子滿足 $\delta_{b_0} \circ \cdots \circ \delta_{b_k} \Delta = 0$ 和 $\overline{\delta}_{b_0} \circ \cdots \circ \overline{\delta}_{b_k} \Delta = 0$，此條件推廣了經典情形。
• 證明此雙邊定義在交換情形下可恢復標準理論，且避免了先前定義在非交換設定下的不一致。

实验结果

研究问题

• RQ1 為何非交換幾何中現有的微分算子定義無法推廣至經典的交換情形？
• RQ2 在非交換環上定義微分算子時，其不一致性的根本原因為何？
• RQ3 能否提出一種統一定義，使微分算子在非交換幾何中同時尊重左與右模結構？
• RQ4 微分在非交換環上無法形成模，此現象如何影響微分算子理論？
• RQ5 在非交換設定下，是否存在雙邊微分算子的代表性物件（例如 jet 模）？

主要发现

• 現有的非交換幾何中微分算子定義均不令人滿意，原因在於非交換環上的微分無法形成模。
• 透過重複交換子定義微分算子的經典方法無法直接推廣至非交換設定，原因在於模作用的非對稱性。
• 提出一種新的雙邊微分算子定義，此定義推廣了 Grothendieck 定義，並恢復了一致性。
• 雙邊 jet 模 ${\cal J}^1(P)$ 被構造為雙邊一階微分算子的代表性物件。
• 此新框架確保左與右作用均被一致處理，從而解決了非交換微分幾何中的基礎性模糊問題。
• 此雙邊定義包含微分及其組合作為有效的微分算子，與先前定義不同，後者排除了這些運算。