[論文レビュー] Elliptic symbols, elliptic operators and Poincaré duality on conical pseudomanifolds

Jean-Marie Lescure|arXiv (Cornell University)|Sep 12, 2006

Advanced Operator Algebra Research参考文献 11被引用数 5

ひとこと要約

本稿は、錐的擬多様体におけるK理論におけるポアンカレ双対性を実現する非可換記号写像を確立する。これは、非可換接バンドル群ガロア $T^qX$ 上の楕円型擬微分作用素の記号写像として、$K_0(X)$ と $K_0(C^*(T^qX))$ の同型を特定する。主な貢献は、Lie群ガロア上の擬微分計算を通じて、特異的ポアンカレ双対性の幾何学的・解析的解釈を提供することにある。

ABSTRACT

In a earlier work of Claire Debord and the author, a notion of noncommutative tangent space isdefined for a conical pseudomanifold and the Poincaré duality in $K$-theory is proved between this space and the pseudomanifold. The present paper continues this work. We show that an appropriate and natural presentation of the notion of symbols on a manifold generalizes right away to conical pseudomanifolds and that it enables us to interpret the Poincaré duality in the singular setting as a principal symbol map.

研究の動機と目的

• 錐的擬多様体におけるK理論的ポアンカレ双対性を、非可換記号写像としての具体的な実現を与える。
• 同型写像 $\Sigma^q: K_0(X) \xrightarrow{\simeq} K_0(C^*(T^qX))$ を、滑らかな場合の古典的主要記号に類似した記号写像として解釈する。
• 非可換接バンドル群ガロア $T^qX$ 上の擬微分作用素を通じて、境界問題における内部記号と法記号の概念を統一する。
• 分層空間上の完全楕円型 $b$-作用素のインデックスが、$K(T^qX)$ 内の $K$-理論的記号類に対応することを示す。

提案手法

• 錐的擬多様体 $X$ の非可換接空間として、Lie群ガロア $T^qX$ の $C^*$-代数 $C^*(T^qX)$ を用いる。これは滑らかな接バンドルの一般化である。
• 特異的層に近い部分で特定の減衰条件を満たすシュワーツ核を持つ擬微分作用素として、$X$ 上の非可換記号を定義する。
• MelroseおよびSchulzeに従い、$b$-計算と $c$-計算を適用し、楕円型 $b$-作用素を用いて $X$ 上の $K$-ホモロジー類の代表を構成する。
• Kasparov積とモリタ同値を用いて、$\Sigma^q$ の同型を確立し、事前ディラク作用素 $D^q$ と記号写像 $\mathbf{s}_X$ を用いる。
• 非可換 $K$-理論（$KK$-理論）と群ガロア $C^*$-代数の形式的枠組みに依拠し、$X$ の $K$-ホモロジーと $C^*(T^qX)$ の $K$-理論との関係を結ぶ。
• 群ガロア $\mathcal{G}^q$ と $t=1$ における評価写像を用いて、$K$-理論的記号類 $[a] \in K(T^qX)$ の $KK$-サイクルへの上昇を構成する。

実験結果

リサーチクエスチョン

• RQ1 錐的擬多様体におけるK理論的ポアンカレ双対性は、どのように非可換記号写像として解釈できるか？
• RQ2 非可換接バンドル群ガロア $T^qX$ は、$C(X)$ と $C^*(T^qX)$ 間の双対性を実現するために果たす役割は何か？
• RQ3 $T^qX$ 上の擬微分作用素は、特異的状況下で内部記号と法記号の両方をどのように符号化するか？
• RQ4 完全楕円型 $b$-作用素の解析的インデックスは、$K(T^qX)$ 内の $K$-理論的記号類として表現可能か？
• RQ5 $\Sigma^q$ の $KK$-理論的構成と滑らかな場合の古典的主要記号写像との関係は何か？

主な発見

• 同型写像 $\Sigma^q: K_0(X) \xrightarrow{\simeq} K_0(C^*(T^qX))$ は、非可換記号写像として同定され、古典的主要記号写像の一般化である。
• 楕円型非可換記号 $[a] \in K(T^qX)$ のポアンカレ双対は、$[a] \otimes_{T^qX} D^q$ として実現され、これは完全楕円型 $b$-作用素 $P$ の類に対応する。
• $M$ 上の完全楕円型 $0$-位相 $b$-作用素 $P$ のインデックスは、$\mathrm{Ind}^q(\sigma(P)) = [\sigma(P)] \otimes \partial^q$ に等しく、ここで $\partial^q$ は境界類である。
• $[P]$ の $KK$-サイクルの構成は、$\mathcal{G}^q$ から $T^qX$ への上昇を、$t=1$ における評価写像とモリタ同値を用いて達成する。
• $K$-理論的 $T^qX$ は内部記号と法記号の両方のデータを捉えており、一つの非可換枠組みで境界値問題を統合的に扱う。
• $T^cX$ と $T^qX$ の二つの接空間定義の $K$-理論的同値性により、結果がモデルの選択に依存せず、一貫性が保証される。