[論文レビュー] The Dixmier-Malliavin Theorem and Bornological Vector Spaces

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

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

ひとこと要約

この論文は、被包的ベクトル空間の言語において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の定理を再フレームする。
• 特に完成化を伴うテンソル積の使用に起因する技術的冗長性を排除する。
• 本質的$C_c^\infty(G)$-加群が自動的に滑らかであることを示す。つまり、完成化を伴わないテンソル積で十分である。
• 滑らかな$G$-加群と滑らかな$C_c^\infty(G)$-加群の間のより洗練された圏論的同値性を確立する。
• 特にLie群の表現論において、被包的ベクトル空間がより自然な枠組みであることを提唱する。

提案手法

• 滑らかな群表現の定式化において、位相的ベクトル空間の代わりに被包的ベクトル空間の枠組みを用いる。
• 位相代数からの一般化として、被包的ベクトル空間の圏$\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関手を用いて、局所的セクションと被包的設定における図式走査を用いて、本質的かつ滑らかな$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 被包的設定において、すべての本質的$C_c^\infty(G)$-加群$M$に対して、自然な写像$C_c^\infty(G) \otimes_{C_c^\infty(G)} M \to M$は同型か？
• RQ3 被包的圏における滑らかさの概念は、本質的であることと一致するか？ すなわち、二つの概念が統合されるか？
• RQ4 滑らかな$G$-加群と本質的$C_c^\infty(G)$-加群の間の同値性を、滑らかな$C_c^\infty(G)$-加群との同値性に強化できるか？
• RQ5 $C_c^\infty(G)$は被包的ベクトル空間の圏において擬単位的か？ これにより、完成化なしにテンソル積条件が成り立つか？

主な発見

• 滑らかな$G$-表現のGårding空間は、$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)$は被包的ベクトル空間の圏において擬単位的であり、$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)$-加群と同値である。
• 被包的枠組みは、Dixmier-Malliavinの定理に内在するより深い構造的単純性を明らかにし、この定理が本質的に被包的であるが、位相的であるとは限らないことを示唆している。