[論文レビュー] Equivariant Poincaré duality for quantum group actions

Ryszard Nest, Christian Voigt|ArXiv.org|Feb 23, 2009

Advanced Operator Algebra Research参考文献 41被引用数 9

ひとこと要約

本稿は、局所コンpakto量子群のコアクションを備えたC*-代数に対するKK理論におけるポアンカレ双対性の新しい枠組みを提示する。バーティカルなテンソル積を用いて、古典的双対性を一般化する。主な結果は、標準的Podleś球面が$SU_q(2)$の作用のもとで自身と-equivariantにポアンカレ双対的であることで、その対称性群はドリンフェルトの双対（量子ローレンツ群）であり、この双対性はその-equivariant K-ホモロジーを完全に決定する。

ABSTRACT

We extend the notion of Poincaré duality in KK-theory to the setting of quantum group actions. An important ingredient in our approach is the replacement of ordinary tensor products by braided tensor products. Along the way we discuss general properties of equivariant KK-theory for locally compact quantum groups, including the construction of exterior products. As an example, we prove that the standard Podleś sphere is equivariantly Poincaré dual to itself.

研究の動機と目的

• KK理論におけるポアンカレ双対性を、通常のテンソル積がコアクション構造を保存しないため、局所コンパクト量子群のコアクションを備えた設定に拡張すること。
• 局所コンパクト量子群のための-equivariant KK理論の枠組みを構築し、バーティカルなテンソル積による外部積の構成を含むこと。
• 量子群コアクションの対称性を尊重するKK理論的双対性を確立すること、特に非可換幾何的設定において。
• 標準的Podleś球面が$SU_q(2)$の下で自身と-equivariantにポアンカレ双対的であることを証明すること。
• この双対性枠組みを用いて、Podleś球面の-equivariant K-ホモロジーを決定すること。

提案手法

• 量子群の対称性のもとでコアクション構造を保存するため、通常のテンソル積の代わりにバーティカルなテンソル積を用いること。
• 局所コンパクト量子群のドリンフェルトの双対を用いて、-equivariant KK理論設定におけるバーティカルなテンソル積構造を定義すること。
• 標準的テンソル積がコアクションを継承できないという問題を乗り越えるために、$KK^G$理論における外部積をバーティカル積を用いて構成すること。
• 連続的な量子群族の間で$KK$-類を比較するために、$T$--equivariant $KK$理論の普遍係数定理を適用すること。
• 区間$[q,1]$上の連続的場を用いて、$q=1$の古典的ケースと$q<1$の量子ケースの間を補間し、変形技法を用いて双対性を証明すること。
• ユニットおよびコユニット写像を$KK^{ϵ(G_q)}$理論で用い、ディラック作用素とその双対の合成が恒等写像を与えることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 KK理論におけるポアンカレ双対性は、局所コンパクト量子群のコアクションを備えたC*-代数へ一般化可能か？
• RQ2 標準的テンソル積がコアクションを保存できない場合、バーティカルなテンソル積をどのように用いて-equivariant KK理論における外部積を定義できるか？
• RQ3 標準的Podleś球面は$SU_q(2)$の作用のもとで自身と-equivariantにポアンカレ双対的か？
• RQ4 標準的Podleś球面の-equivariant K-ホモロジーの構造はいかなるものか？
• RQ5 Podleś球面とその双対の間の双対性は、$SU_q(2)$のドリンフェルトの双対を対称性群として用いて確立可能か？

主な発見

• 標準的Podleś球面$C(G_q/T)$は、$SU_q(2)$の作用のもとで自身と-equivariantにポアンカレ双対的であり、その対称性群はドリンフェルトの双対（量子ローレンツ群）である。
• 標準的Podleś球面の-equivariant K-ホモロジーは$KK^{G_q}_0(C(G_q/T), χ) ≅ R(G_q) \oplus R(G_q)$および$KK^{G_q}_1(C(G_q/T), χ) = 0$である。
• Podleś球面は$KK^{G_q}$において$\mathbb{C} \oplus \mathbb{C}$に同型であり、これは-equivariant圏における自明な代数の直和成分であることを意味する。
• 双対性は$KK^{ϵ(G_q)}$理論におけるユニットおよびコユニット写像を用いて確立され、$(\operatorname{id} \boxtimes \eta_q) \circ ([D_q] \boxtimes \operatorname{id}) = \operatorname{id}$および$(\eta_q \boxtimes \operatorname{id}) \circ (\operatorname{id} \boxtimes [D_q]) = \operatorname{id}$が成り立つ。
• 証明は、$[q,1]$上の連続的場を用いた変形技法に依拠しており、$q=1$と$q<1$における$KK$-類は普遍係数定理によって関連づけられる。
• この構成により、離散的部分が表す追加の対称性は古典的には見えないが、双対性の成立には不可欠であることが示された。