[论文解读] The Dixmier-Malliavin Theorem and Bornological Vector Spaces

Gal Dor|arXiv (Cornell University)|Jan 16, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 4

一句话总结

本文以 bornological 向量空间的语言重新表述了 Dixmier-Malliavin 定理，表明一个光滑 $G$-表示的 Gårding 空间不仅是 $C_c^\infty(G)$-模，而且是光滑的——即无需完成，典范映射 $C_c^\infty(G) \otimes_{C_c^\infty(G)} M \to M$ 便是同构。这通过消除对完成张量积的需求，强化了 Meyer 的等价性，从而得到了更简洁、更范畴论化的表述。

ABSTRACT

This note is intended to reformulate the Dixmier-Malliavin theorem about smooth group representations in the language of bornological vector spaces, instead of topological vector spaces. This language turns out to allow a more general theorem to be proven, and we are able to use it to strengthen a result of Meyer from arXiv:math/0310094. This paper is based on a part of the author's thesis.

研究动机与目标

• 将 Dixmier-Malliavin 定理在 bornological 向量空间的语言中重新表述，而非拓扑向量空间的语言。
• 消除由拓扑表述引发的技术冗余，特别是完成张量积的使用。
• 表明本质的 $C_c^\infty(G)$-模自动是光滑的，即未完成的张量积已足够。
• 在光滑 $G$-模与光滑 $C_c^\infty(G)$-模之间建立更清晰的范畴等价。
• 倡导在表示论中，特别是李群的情形下，bornological 向量空间是比拓扑向量空间更自然的框架。

提出的方法

• 使用 bornological 向量空间的框架，取代光滑群表示表述中的拓扑向量空间。
• 在 bornological 向量空间范畴 $\mathcal{B}\mathrm{orn}$ 中定义拟单位环，推广自拓扑代数中的概念。
• 通过未完成张量积 $C_c^\infty(G) \otimes_{C_c^\infty(G)} M \to M$ 为同构，引入光滑 $C_c^\infty(G)$-模的概念。
• 证明 $C_c^\infty(G)$ 在 $\mathcal{B}\mathrm{orn}$ 中是拟单位的，从而确保张量积条件在无需完成的情况下成立。
• 利用 Gårding 赋函子，在 bornological 设置下通过局部截面和范畴论的图表追逐，构造一个既是本质又是光滑的 $C_c^\infty(G)$-模。
• 通过局部定义的截面 $s_0$、$s_1$ 进行图表追逐，构造一个进入 $R \otimes R' \otimes R'$ 的截面 $\eta$，从而证明复形 $R' \otimes R' \otimes R' \rightrightarrows R' \otimes R' \to R'$ 的正合性。

实验结果

研究问题

• RQ1 Dixmier-Malliavin 定理能否以避免在本质模定义中使用完成张量积的方式重新表述？
• RQ2 在 bornological 设置下，对所有本质 $C_c^\infty(G)$-模 $M$，典范映射 $C_c^\infty(G) \otimes_{C_c^\infty(G)} M \to M$ 是否为同构？
• RQ3 在 bornological 范畴中，光滑性概念是否与本质性一致，从而统一这两个概念？
• RQ4 光滑 $G$-模与本质 $C_c^\infty(G)$-模之间的等价性能否加强为与光滑 $C_c^\infty(G)$-模之间的等价性？
• RQ5 $C_c^\infty(G)$ 是否在 bornological 向量空间范畴中是拟单位的，从而确保张量积条件在无需完成时成立？

主要发现

• 一个光滑 $G$-表示的 Gårding 空间不仅是本质的 $C_c^\infty(G)$-模，而且是光滑的 $C_c^\infty(G)$-模，即未完成张量积映射 $C_c^\infty(G) \otimes_{C_c^\infty(G)} M \to M$ 是同构。
• Meyer 等价性中无需完成张量积：本质的 $C_c^\infty(G)$-模自动是光滑的，因此 $\widehat{\otimes}$ 可被 $\otimes$ 取代。
• $C_c^\infty(G)$ 在 bornological 向量空间范畴中是拟单位的，满足 $C_c^\infty(G) \otimes_{C_c^\infty(G)} C_c^\infty(G) \xrightarrow{\sim} C_c^\infty(G)$。
• 证明依赖于通过高阶截面 $s_0$ 和 $s_1$ 构造一个进入 $R \otimes R' \otimes R'$ 的局部截面 $\eta$，从而确保复形 $R' \otimes R' \otimes R' \rightrightarrows R' \otimes R' \to R'$ 的正合性。
• 该重构产生了一个更简洁的范畴等价：光滑 $G$-模与光滑 $C_c^\infty(G)$-模之间等价，且不带完成带来的技术负担。
• bornological 框架揭示了 Dixmier-Malliavin 定理更深层的结构简洁性，表明其本质上是 bornological 的，而非拓扑的。