[논문 리뷰] There is no separable universal II_1-factor

Narutaka Ozawa|ArXiv.org|2002. 10. 27.

Advanced Operator Algebra Research참고 문헌 3인용 수 14

한 줄 요약

이 논문은 분리 가능한 II₁-요소가 모든 분리 가능한 II₁-요소를 포함할 수 없음을 증명한다. 그 이유는 칸다른 성질 (T)를 가진 비가환, 단순, ICC 군들이 서로 비동형인 불가측한 수많은 집합이 존재하며, 이러한 군들은 어떤 분리 가능한 II₁-요소의 유니터리 군에도 통합될 수 없기 때문이다. 핵심 결과는 성질 (T)의 강성과 분리 가능한 볼레르 반대환에 대한 이러한 군들의 통합 불가능성으로 인해, 이러한 보편적인 II₁-요소는 존재하지 않음을 보여준다.

ABSTRACT

Gromov constructed uncountably many pairwise non-isomorphic discrete groups with Kazhdan's property (T). We will show that no separable II_1-factor can contain all these groups in its unitary group. In particular, no separable II_1-factor can contain all separable II_1-factors in it. We also show that the full group C*-algebras of some of these groups fail the lifting property.

연구 동기 및 목표

• 모든 분리 가능한 II₁-요소를 부분요소로 포함하는 분리 가능한 보편 II₁-요소의 존재 문제를 해결하기 위해.
• 칸다른 성질 (T)를 가진 서로 비동형인, 단순하고 ICC인 불가측한 수많은 군들이 분리 가능한 II₁-요소의 유니터리 군에 어떻게 통합되는지 조사하기 위해.
• 이러한 군들의 전체 군 C*-대수의 상승 성질과 그 보편적인 C*-대수적 성질을 검토하기 위해.
• von Neumann 대수 기법을 통해 칸다른 추측을 가산 집합에 대해 모odulo 확인하기 위해.

제안 방법

• 칸다른 성질 (T)를 가진 비순환, 비순환적 초등군의 분리 가능한 II₁-요소의 유니터리 군에 대한 Gromov-Olshanskii의 구성 방법을 활용한다.
• 칸다른 성질 (T)의 정의를 일관된 스펙트럴 갭을 통해 적용한다: 만약 유니터리 표현이 어떤 벡터를 거의 고정시킨다면, 그 근처에 고정된 벡터가 존재한다.
• 분리 가능한 II₁-요소의 표준 표현에서의 분리 가능한 힐베르트 공간에 대한 대각선 논증을 적용하여, 서로 다른 수많은 군 이미지를 추출한다.
• 핵심적으로, 사이클릭 분리 추적 벡터에서 유도되는 표준 켤레 J를 활용하여, 힐베르트 공간 위에서의 공동 유니터리 표현 π(s) = uα(s)Juβ(s)J를 구성한다.
• 성질 (T)의 스펙트럴 갭을 이용해 전체 군에 대한 고정된 벡터를 도출하며, 이는 서로 다른 군 준동형의 핵에 대해 모순을 일으킨다.
• C*-대수 이론에서 쌍대성과 최대 텐서곱 기법을 적용하여, 이러한 군들의 전체 군 C*-대수의 클래스에 대해 분리 가능한 C*-대수로는 보편적인 보완 대수가 존재하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 분리 가능한 II₁-요소가 모든 분리 가능한 II₁-요소를 부분요소로 포함할 수 있는가?
• RQ2 모든 분리 가능한 II₁-요소를 안정적 동치를 통해 포함하는 분리 가능한 보편 II₁-요소가 존재하는가?
• RQ3 칸다른 성질 (T)를 가진 서로 비동형인, 단순하고 ICC인 불가측한 수많은 군들의 전체 군 C*-대수들이 상승 성질을 만족하는가?
• RQ4 이러한 모든 군들이 초유한 II₁-요소의 초곱의 유니터리 군에 통합될 수 있는가?
• RQ5 이러한 성질 (T)를 가진 군들의 전체 군 C*-대수의 클래스에 대해 분리 가능한 보완 보편 C*-대수가 존재하는가?

주요 결과

• 분리 가능한 II₁-요소는 칸다른 성질 (T)를 가진 서로 비동형인, 단순하고 ICC인 불가측한 수많은 군들을 그 유니터리 군에 포함할 수 없다.
• 분리 가능한 II₁-요소 M가 Γα와 동형인 부분군을 포함하는 인덱스 α의 집합은 최대 가산 집합이다.
• M가 LΓα와 안정적으로 동치인 부분요소를 포함하는 인덱스 α의 집합은 최대 가산 집합이다.
• 어떤 α ∈ I에 대해 전체 군 C*-대수 C*Γα는 상승 성질에 실패하며, 이는 특정 의미에서 핵심적이지 않음을 시사한다.
• 클래스 {C*Γα : α ∈ I} 또는 {C*redΓα : α ∈ I}에 대해 분리 가능한 보완 보편 C*-대수가 존재하지 않는다.
• 스펙트럴 갭의 성질 (T)로 인해, 서로 다른 군 준동형에 대해 존재할 수 없는 고정된 벡터를 강제로 유도함으로써 모순이 발생한다.