[논문 리뷰] The C*-algebra of symmetric words in two universal unitaries

Man-Duen Choi, Frédéric Latrémolière|arXiv (Cornell University)|2006. 10. 16.

Advanced Algebra and Logic참고 문헌 6인용 수 4

한 줄 요약

이 논문은 자유군 F₂의 생성자를 서로 바꾸는 Z₂ 작용에 대한 고정점 대수로서, 두 개의 보편 유니터리에서 생성되는 대칭 단어의 C*-대수의 K-이론을 계산한다. Rieffel의 고정점 대수와 외적곱 사이의 Morita 등가성과 K-이론의 여섯 항목 정확한 수열을 이용하여, 저자들은 K₀군이 Z ⊕ Z와 동형이며 K₁군이 자명하다는 것을 밝혀내었으며, 이는 대칭 대수 내에서 비자명한 유니터리가 존재하지 않는 구조적 장벽을 드러낸다.

ABSTRACT

We compute the K-theory of the C*-algebra of symmetric words in two universal unitaries. This algebra is the fixed point C*-algebra for the order-two automorphism of the full C*-algebra of the free group on two generators which switches the generators. Our calculations relate the K -theory of this C*-algebra to the K-theory of the associated C*-crossed-product by Z_2.

연구 동기 및 목표

• 자유군 F₂의 생성자를 서로 바꾸는 Z₂ 작용에 대한 고정점 대수로서 정의된 두 보편 유니터리에서 생성되는 대칭 단어의 C*-대수의 K-이론을 계산하는 것.
• 이 고정점 대수와 C*(F₂) ⋊σ Z₂의 이상으로서의 이상 사이의 Morita 등가성을 확립하는 것.
• 고정점 대수와 그 이상 사이의 K-이론 클래스를 비교하여 대칭 C*-대수 내에서 비자명한 유니터리의 존재에 대한 장벽을 분석하는 것.
• K-이론의 여섯 항목 정확한 수열을 사용하여, 외적곱의 K-군들로부터 대칭 대수의 K-군들을 유도하는 것.

제안 방법

• 유한군 작용에 대한 Rieffel의 고정점 대수와 C*-외적곱 사이의 Morita 등가성을 활용하는 것.
• C*(F₂) ⋊σ Z₂에 있는 이상 J를 구성하여, 이는 고정점 대수 C*(F₂)₁과 강한 Morita 등가성을 가짐을 보이는 것.
• Cuntz의 C*(F₂) ⋊σ Z₂에 대한 K-이론 계산을 사용하여, 그 K₀ 및 K₁ 군들을 결정하는 것.
• K-이론의 여섯 항목 정확한 수열을 적용하여, 이상 J를 통해 외적곱의 K-이론과 고정점 대수의 K-이론을 연결하는 것.
• 행렬 대수 M₂(C*(F₂)₁) 내에서 유니터리 Y를 정의하여, 이상 내의 프로젝션 p₂와 프로젝션 β 사이의 유니터리 동치를 실현하는 것으로, 비자명한 K₀-클래스 차이를 보여주는 것.
• K-이론 정확한 수열의 지수 사상(exponential map)을 사용하여, 차이 [β] - [p₂] 가 이상의 K₀를 생성함을 증명함으로써, 장벽의 비자명성을 확립하는 것.

실험 결과

연구 질문

• RQ1 자유군 F₂를 생성하는 두 보편 유니터리에서 생성되는 대칭 단어의 C*-대수의 K-이론은 무엇인가요?
• RQ2 고정점 대수 C*(F₂)₁의 K-이론은 외적곱 C*(F₂) ⋊σ Z₂의 K-이론과 어떻게 관련이 있나요?
• RQ3 C*(F₂)₁ 내에서 비자명한 유니터리의 존재에 대한 장벽은 무엇이며, K-이론에 어떻게 표현되는가요?
• RQ4 이상 내의 프로젝션 β와 p₂의 K-이론 클래스 간의 차이는 비자명한가요?
• RQ5 Morita 등가성과 외적곱을 이용하여 C*(F₂)₁의 K-이론을 여섯 항목 정확한 수열을 통해 계산할 수 있는가요?

주요 결과

• 두 보편 유니터리에서 생성되는 대칭 단어의 C*-대수의 K₀군은 Z ⊕ Z와 동형이다.
• 이 대수의 K₁군은 자명하다. 즉, K₁(C*(F₂)₁) = 0이다.
• 외적곱 C*(F₂) ⋊σ Z₂의 이상 J는 C*(F₂)₁과 강한 Morita 등가성을 가지며, 이는 K-이론 계산을 가능하게 한다.
• 이상 I₁의 K₀에서의 차이 [β] - [p₂] 는 비자명한 생성자이며, β와 p₂가 C*(F₂)₁ 내에서 유니터리 동치가 아니라는 것을 증명한다.
• K-이론 정확한 수열의 지수 사상은 K₁(C(T))의 생성자 [z] 를 [β] - [p₂] 로 매핑함으로써, 장벽의 비자명성을 확인한다.
• 대칭 대수 C*(F₂)₁에는 K₁에 비자명한 유니터리가 존재하지 않으며, K₁군이 0이기 때문이다. 비록 그 이상에 비자명한 K₀-클래스가 존재하더라도 말이다.