[논문 리뷰] Noncommutative Borsuk-Ulam-type conjectures revisited

Ludwik Dąbrowski, Piotr M. Hajac외 1명|arXiv (Cornell University)|2016. 11. 13.

Advanced Operator Algebra Research인용 수 2

한 줄 요약

이 논문은 비아벨리안 Borsuk-Ulam 유형의 추측을 비아벨리안 토르션 또는 비자명한 K1-클래스를 가진 컴팩트 양자군에 대해 증명한다. 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-변형된 컴팩트 연결 단순 리군과 자유군의 감소된 군 C*-대수에서 추측을 증명하기.
• 표현의 K1-클래스를 사용하여 유형-II 추측의 더 강력한 형태 제시하기.

제안 방법

• C*-대수의 비감소 스펙트럼에 대한 Mayer-Vietoris 정확수열을 사용하여 K0 및 K1 군을 연결하기.
• 스펙트럼의 피복도형을 적용하여 K-이론에서 짧은 정확수열을 정의함으로써 안정적 자유성 분석 가능하게 하기.
• ˜K0(SG) → K1(G)의 동형사상 β를 사용하여 표현의 K1-클래스와 관련 모듈의 비자명성 연결하기.
• 표현 행렬의 K1-클래스가 0이 아니면, A⊛δH 위의 관련 모듈이 안정적으로 자유가 아니라는 것을 증명하기.
• q > 0에 대해 C(Gq)에 연속장의 구조를 사용하여 K1-클래스가 변형 동안 유지됨을 보여주며 비자명성 유지하기.
• n > 1인 경우 C*(Fn)에 결과를 적용하여, 생성자들이 비자명한 K1-클래스를 가지므로 군 C*-대수의 경우 추측를 검증하기.

실험 결과

연구 질문

• RQ1 컴팩트 양자군이 유일한 C*-대수 A 위에 자유롭게 작용할 때, A에서 등변 비아벨리안 조인 A⊛δH로의 등변 ∗-호모모르피즘이 존재하는가?
• RQ2 비자명한 토르션 특성자를 가진 컴팩트 양자군에 대해, 유형 I의 비아벨리안 Borsuk-Ulam 추측을 증명할 수 있는가?
• RQ3 A⊛δH와 관련된 유한 생성 프로젝티브 모듈이 안정적으로 자유가 아니게 되는 조건은 무엇인가?
• RQ4 q-변형된 컴팩트 연결 단순 리군에서 표현 행렬의 K1-클래스는 여전히 비자명한가?
• RQ5 양자군이 비자명한 K1-클래스를 가질 경우, 유형-II 추측을 K-이론적 장벽으로 강화할 수 있는가?

주요 결과

• 비자명한 토르션 특성을 가진 컴팩트 양자군에 대해 유형 I의 비아벨리안 Borsuk-Ulam 추측이 성립한다.
• 비자명한 K1-클래스를 가진 임의의 컴팩트 양자군과 비자명한 특성을 가진 유일한 C*-대수 A에 대해, A⊛δH 위의 관련 모듈은 안정적으로 자유가 아니다.
• q-변형된 컴팩트 연결 단순 리군에서 표현 행렬의 K1-클래스는 여전히 0이 아니며, 이는 관련 모듈의 안정적 자유성 부족을 보장한다.
• n > 1인 생성자들의 자유군의 감소 C*-대수에서, 생성자들이 비자명한 K1-클래스를 가지므로 추측이 성립한다.
• C(Gq)의 K-이론은 고전적 군 G의 K-이론과 동형이며, 변형 동안 K1-클래스의 비자명성이 유지된다.
• Mayer-Vietoris 수열을 사용하여, [U] ≠ 0이면 K1(A)에서 [pU]가 Z[1]에 속하지 않음을 증명함으로써, 관련 모듈의 안정적 자유성 부족을 입증한다.