[論文レビュー] Noncommutative Borsuk-Ulam-type conjectures revisited

Ludwik Dąbrowski, Piotr M. Hajac+1 more|arXiv (Cornell University)|Nov 13, 2016

Advanced Operator Algebra Research被引用数 2

ひとこと要約

この論文は、非自明な torsion または非自明な K1-類をもつコンパクトな量子群に対して、非可換 Borsuk-Ulam 型の予想を証明する。A や H から等変な非可換ジョイン代数 A⊛δH への等変 ∗-準同型が存在しないことを確立し、古典的な Borsuk-Ulam 定理を一般化する。主な結果は、関連する射影的加群が安定的に自由でないことを示す K-理論的障害であり、Mayer-Vietoris 列および量子群と群 C*-代数の K-理論を用いて証明される。

ABSTRACT

Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to the equivariant noncommutative join C*-algebra $A\circledast^\delta H$. When $A$ is the C*-algebra of functions on a sphere, and $H$ is the C*-algebra of functions on ${\mathbb Z}/2{\mathbb Z}$ acting antipodally on the sphere, then the conjecture of type I becomes the celebrated Borsuk-Ulam theorem. Following recent work of Passer, we prove the conjecture of type I for compact quantum groups admitting a non-trivial torsion character. Next, we prove that, if a compact quantum group admits a representation whose \mbox{$K_1$-class} is non-trivial and $A$ admits a character, then a stronger version of the type-II conjecture holds: the finitely generated projective module associated with $A\circledast^\delta H$ via this representation is not stably free. In particular, we apply this result to the $q$-deformations of compact connected semisimple Lie groups and to the reduced group C*-algebras of free groups on $n>1$ generators.

研究の動機と目的

• ユニタリ C*-代数上で自由に作用するコンパクトな量子群に対する、タイプ I およびタイプ II の非可換 Borsuk-Ulam 予想を扱う。
• 量子群の作用と等変な非可換ジョインを用いて、古典的な Borsuk-Ulam 定理を非可換設定に一般化する。
• 非可換ジョイン構成に関連する射影的加群の安定的自由性に対する K-理論的障害を確立する。
• q-変形されたコンパクトで連結で単純な半単純リー群および n > 1 個の生成子をもつ自由群の群 C*-代数に対して、予想を証明する。
• 表現の K1-類を用いて、タイプ II 予想のより強い形を提供する。

提案手法

• C*-代数の非還元的ホット・サスペンションに対する Mayer-Vietoris 完全列を用い、K0 と K1 群を関連付ける。
• サスペンジョンの引き戻し図式を適用して、K-理論における短完全列を定義し、安定的自由性の分析を可能にする。
• 写像 β: ˜K0(SG) → K1(G) の同型を用いて、表現の K1-類を関連する加群の非自明性と結びつける。
• 表現行列の K1-類が非ゼロであれば、A⊛δH 上の関連する加群は安定的に自由でないことを証明する。
• q > 0 に対して C(Gq) に連続的場構造を用い、K1-類が変形によっても非自明性を保つことを示す。
• n > 1 に対して C*(Fn) にこの結果を適用し、生成子の非自明な K1-類を用いて、群 C*-代数の場合に予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな量子群がユニタリ C*-代数 A に自由に作用するとき、A から等変な非可換ジョイン A⊛δH への等変 ∗-準同型が存在するか？
• RQ2 非自明な torsion 特徴を持つコンパクトな量子群に対して、タイプ I の非可換 Borsuk-Ulam 予想は証明可能か？
• RQ3 A⊛δH に関連する有限生成射影的加群が安定的に自由でないのはどのような条件下か？
• RQ4 q-変形されたコンパクトで連結で単純な半単純リー群において、表現行列の K1-類は非自明のままであるか？
• RQ5 量子群が非自明な K1-類をもつ場合、タイプ II 予想を K-理論的障害として強化できるか？

主な発見

• 非自明な torsion 特徴をもつコンパクトな量子群に対して、タイプ I の非可換 Borsuk-Ulam 予想は成立する。
• 非自明な K1-類をもつ任意のコンパクトな量子群と、特徴をもつユニタリ C*-代数 A に対して、A⊛δH 上の関連する加群は安定的に自由でない。
• q-変形されたコンパクトで連結で単純な半単純リー群において、表現行列の K1-類は非ゼロのままであり、関連する加群の非安定的自由性を保証する。
• n > 1 個の生成子をもつ自由群の減少 C*-代数 C*(Fn) 上では、生成子の非自明な K1-類のおかげで予想が成立する。
• C(Gq) の K-理論は古典的群 G のそれと同型であり、変形によって K1-類の非自明性が保存される。
• Mayer-Vietoris 列を用いて、[U] ≠ 0 ならば K1(A) において [pU] が Z[1] に属さないことを証明し、関連する加群の非安定的自由性を示した。