[논문 리뷰] The kernel of the determinant map on pure C*-algebras

Ping Wong Ng, Leonel Robert|arXiv (Cornell University)|2014. 08. 19.

Advanced Operator Algebra Research참고 문헌 23인용 수 9

한 줄 요약

이 논문은 안정적 차수 1이고 추적 유일한 2-쿼지트리칼 상태를 가진 분리 가능하고 단순하며 순수한 C*-대수에서, 항등원의 연결 성분에 속해 있고 de la Harpe–Skandalis 행렬식이 0인 모든 유니터리 요소는 정확히 7k + 29개의 교환자들의 유한한 곱으로 표현 가능하다. 여기서 k는 그 요소의 분해에 포함된 지수 함수의 수이다. 이 결과는 이전의 AF, AH, Z-안정 C*-대수에 대한 연구를 더 넓은 범주로 확장하며, 무한한 생성자를 가진 자유군의 축소 C*-대수와 같은 비핵심 예제도 포함한다.

ABSTRACT

In a simple C*-algebra with suitable regularity properties, any unitary or invertible element with de la Harpe--Skandalis determinant zero is a finite product of commutators.

연구 동기 및 목표

• 핵심 C*-대수를 초월하여, 행렬식이 0인 유니터리 요소들이 유한한 교환자들의 곱임을 증명한 결과를 비핵심 C*-대수로 확장하는 것.
• 유니터리 요소의 지수 분해에 기반하여, 이러한 요소를 표현하기 위해 필요한 교환자의 수에 대한 균일한 상한을 설정하는 것.
• 유니터리 요소에서 일반선형군의 연결 성분으로의 결과 확장.
• 핵심 차원과 Cuntz 준군 성질을 포함한 최근의 분류이론 기법—특히 비핵심 C*-대수에서의 응용—을 풍부한 프로젝션을 갖지 않는 C*-대수에 적용하는 것.
• 안정적 차수 1을 가진 대수에서 행렬식 사상의 핵에 속하는 원소들을 교환자들의 형태로 표현하기 위한 프레임워크를 제공하는 것, 근사화와 교란 기법을 사용하여.

제안 방법

• NCCW 시스템에서 유도된 분류 결과를 사용하여, 주어진 조건을 만족하는 C*-대수 A에 1차원 NCCW C*-대수 B를 임bedding하는 것.
• B의 핵심 차원이 최대 1이므로, U⁰(A) ∩ ker Δ_Tr에 속한 유니터리 요소를 근사화하는 문제를 U⁰(B)에 속한 유니터리 요소로 환원하는 것.
• 풍부한 프로젝션을 갖지 않는 환경에서 작동하도록 Fack의 기법을 수정하여, 추적 수직성과 교환자에 의한 근사화를 사용하는 것.
• 각 지수 함수 e^{ih_j}를 11개의 교환자들의 곱으로 표현하는 재귀적 구성 기법을 사용하여, 유니터리 요소 u = ∏_{j=1}^k e^{ih_j}를 7k + 29개의 교환자들의 곱으로 분해하는 것.
• GL⁰(A)에 속한 가역 원소 x에 대해 극성 분해 x = u|x|를 사용하며, Δ_Tr(u) = Δ_Tr(|x|) = 0 이므로 가역 원소의 경우를 유니터리의 경우로 환원하는 것.
• de la Harpe–Skandalis 및 Thomsen의 증명 전략을 비핵심 C*-대수에 적용하기 위해 순수성(거의 무파괴적 및 거의 나누어지는 Cuntz 준군), 안정적 차수 1을 기반으로 하는 것.

실험 결과

연구 질문

• RQ1 행렬식이 0인 유니터리 요소들이 유한한 교환자들의 곱임을 핵심 C*-대수를 초월하여 비핵심, 순수한 C*-대수로 확장할 수 있는가?
• RQ2 유니터리 요소 u ∈ U⁰(A)에 대해 Δ_Tr(u) = 0 이고, u = ∏_{j=1}^k e^{ih_j} 라면, 지수 함수 k개로 분해된 경우 필요한 교환자 수의 균일한 상한은 무엇인가?
• RQ3 순수한 C*-대수에서 안정적 차수 1을 가진다 하면, GL⁰(A)에서의 de la Harpe–Skandalis 행렬식의 핵이 GL⁰(A) 내의 교환자들의 군과 일치하는가?
• RQ4 Fack의 방법을 AF 대수에 적용한 기법을 프로젝션의 풍부함이 없는 C*-대수, 예를 들어 C*r(F∞)에 어떻게 적용할 수 있는가?
• RQ5 순수한 C*-대수의 정규성 성질—예를 들어 핵심 차원 ≤ 1 및 안정적 차수 1—은 ker Δ_Tr에 속한 원소들을 교환자로 근사화하는 데 얼마나 기여하는가?

주요 결과

• 분리 가능하고 단순하며 순수한 C*-대수 A에서 안정적 차수 1이고 추적 유일한 2-쿼지트리칼 상태를 가지며, Δ_Tr(u) = 0 이고 u = ∏_{j=1}^k e^{ih_j} 를 만족하는 모든 유니터리 요소 u ∈ U⁰(A)는 정확히 7k + 29개의 교환자들의 곱으로 표현 가능하다.
• U⁰(A)에서의 행렬식 사상의 핵은 U⁰(A) 내의 교환자 군과 일치한다. 즉, ker Δ_Tr ∩ U⁰(A) = DU⁰(A) = DU(A).
• 단위 원소를 가진 Z-안정적이며 유리수 TAI인 C*-대수에서는 지수 랭크가 1+ε이므로, ker Δ_Tr ∩ U⁰(A)에 속한 원소들에 대해 43개의 교환자로 균일한 상한이 존재한다.
• 결과는 일반선형군으로 확장된다: x ∈ GL⁰(A) 이고 Δ_Tr(x) = 0 이면, x는 GL⁰(A) 내의 곱셈 교환자들의 유한한 곱으로 표현 가능하다.
• 증명은 A를 핵심 차원이 최대 1인 C*-대수 B에 임베딩하여 문제를 B로 환원하고, 지수 함수를 11개의 교환자들의 곱으로 표현하기 위한 교란적 구성 기법을 사용한다.
• 추적 수직성과 유니터리 코너징을 사용하여, 풍부한 프로젝션을 갖지 않는 경우에도 자기수반 원소의 지수 함수를 유한한 교환자들의 곱으로 분해한다.