[論文レビュー] Geometric realizations and duality for Dahmen-Micchelli modules and De Concini-Procesi-Vergne modules

Francesco Cavazzani, Luca Moci|arXiv (Cornell University)|Mar 5, 2013

Algebraic structures and combinatorial models参考文献 15被引用数 6

ひとこと要約

本稿は、トーラス多様体の等長的コホモロジーおよびK理論を通じて、Dahmen-MicchelliおよびDe Concini-Procesi-Vergneモジュールの幾何的実現を確立し、離散的および連続的スプラインモジュールを統一するExtに基づく双対性を通じて、Poincaré双対性型の対応を証明する。主な貢献は、$DM(X)$と$DM^*(X)$の間の双対性同型写像であり、これは角を持つコンパクト多様体の等長的K理論として実現され、古典的双対性を導来カテゴリカル枠組みへと拡張する。

ABSTRACT

We give an algebraic description of several modules and algebras related to the vector partition function, and we prove that they can be realized as the equivariant K-theory of some manifolds that have a nice combinatorial description. We also propose a more natural and general notion of duality between these modules, which corresponds to a Poincaré duality-type correspondence for equivariant K-theory.

研究の動機と目的

• Dahmen-Micchelli (DM)およびDe Concini-Procesi-Vergne (DPV)モジュールの等長的コホモロジーおよびK理論を用いた幾何的実現を提供すること。
• Ext函手を用いた自然でカテゴリカルな双対性をDMおよびDPVモジュールの間で定義し、古典的双対性を一般化すること。
• この双対性が、角を持つコンパクト多様体における等長的K理論のPoincaré双対性に対応することを証明すること。
• 接続バンドルの等長的K理論を用いた局所DMモジュールの幾何的実現を予想すること。
• パワーイデアルやゾノトープ的モジュールなどの一般化されたモジュールを含める枠組みを拡張すること。

提案手法

• 1次元トーラス表現の直和における線形部分空間配置の補集合として、トーラス多様体$M_X^{fin}$を構成する。
• $D(X)$を等長的コンパクト台付きコホモロジー$H^{*}_{c,G}(M_X^{fin})$として、$D^*(X)$を通常の等長的コホモロジー$H^{*}_{G}(M_X^{fin})$として実現し、Poincaré双対性を確立する。
• $M_X^{fin}$を等長的単位球と交差させ、チューブ近傍を除くことで、角を持つコンパクト多様体$S_X^{fin}$にコンパクト化する。
• $DM(X)$を等長的K理論$K_G^*(M_X^{fin})$として、$DM^*(X)$を$K_G^*(S_X^{fin})$として実現し、無限小インデックスおよびコンパクト台付き形式主義を用いる。
• 導来カテゴリの$S[\mathfrak{g}^*]$-および$R(G)$-加群の圏において、Ext函手を用いて双対DPVモジュール$\mathcal{F}_i^*(X)$および$\mathcal{G}_i^*(X)$を定義する。
• トム同型とMayer-Vietoris列を用いて、開および閉な等長的部分空間のK理論およびコホモロジーを分析する。

実験結果

リサーチクエスチョン

• RQ1 Dahmen-Micchelliモジュール$DM(X)$および$D(X)$は、同一の多様体の等長的コホモロジーおよびK理論として幾何的に実現可能か？
• RQ2 $DM(X)$と$DM^*(X)$の間の双対性は、Ext函手のような導来カテゴリカル構成から自然に生じるか？
• RQ3 $K_G^*(M_X^{fin})$と$K_G^*(S_X^{fin})$の間にPoincaré双対性型の同型写像が存在するか？
• RQ4 局所モジュール$DM_\Omega(X)$および$D_\Omega(X)$は、接続バンドルの等長的K理論またはコホモロジーとして幾何的に実現可能か？
• RQ5 パワーイデアルやゾノトープ的モジュールのような一般化されたモジュールは、同様の幾何的実現を有するか？

主な発見

• $D(X)$は等長的コンパクト台付きコホモロジー$H^{*}_{c,G}(M_X^{fin})$に同型であり、$D^*(X)$は通常の等長的コホモロジー$H^{*}_{G}(M_X^{fin})$に同型であり、これによりPoincaré双対性が確立される。
• $DM(X)$と$DM^*(X)$の間の双対性は、同型写像$K_G^*(M_X^{fin}) \cong DM(X)$および$K_G^*(S_X^{fin}) \cong DM^*(X)$として実現され、$S_X^{fin}$は角を持つコンパクト多様体である。
• $D(X)$と$D^*(X)$、および$DM(X)$と$DM^*(X)$の間のExtに基づく双対性は、ヴェルディエ双対性が導来カテゴリに現れる自然でカテゴリカルな枠組みを提供する。
• 本稿は、定理5.4を証明し、等長的K理論における双対DPVモジュールのPoincaré双対性同型写像を確立する。
• 予想6.1は、$K_G^0(T^*_G M_X^\Omega) \cong DM_\Omega(X)$を提示し、$DM(X)$の生成元の幾何的台を$R(G)$-加群として示唆する。
• この枠組みは、パワーイデアルやゾノトープ的モジュールのような一般化されたモジュールも、同様の等長的位相的構成を通じて幾何的実現を有する可能性を示唆する。