[논문 리뷰] On a Class of Type II$_1$ Factors with Betti Numbers Invariants

Sorin Popa|ArXiv.org|2002. 09. 11.

Holomorphic and Operator Theory참고 문헌 28인용 수 69

한 줄 요약

이 논문은 카르탕 부분대수의 존재를 조건으로 하며, 카즈단과 콘네스-존스의 영감을 받은 약한 강성 성질과 하아거프 컴acts approximation 성질을 동시에 만족하는 유일한(단위형 코너재성에 대해 유일한) 카르탕 부분대수를 갖는, 새로운 유형 II₁ 연산자 대수의 클래스 ℋ𝒯를 도입한다. 주요 기여는 관련 궤도 동치 관계를 통해 이러한 대수에 대한 ℓ²-베티 수를 정의하고, 이들이 동형사상에 대해 불변이며, 키판-유사 및 확대 공식을 만족함을 증명하는 것이다. 특히, ℤ²⋊SL(2,ℤ) 형태의 군-측도 공간 구성에 대해 명시적인 계산을 수행한다.

ABSTRACT

We prove that a type II$_1$ factor $M$ can have at most one Cartan subalgebra $A$ satisfying a combination of rigidity and compact approximation properties. We use this result to show that within the class $\Cal H \Cal T$ of factors $M$ having such Cartan subalgebras $A \subset M$, the Betti numbers of the standard equivalence relation associated with $A \subset M$ ([G2]), are in fact isomorphism invariants for the factors $M$, $β^{^{HT}}_n(M), n\geq 0$. The class $\Cal H\Cal T$ is closed under amplifications and tensor products, with the Betti numbers satisfying $β^{^{HT}}_n(M^t)= β^{^{HT}}_n(M)/t, \forall t>0$, and a K{ü}nneth type formula. An example of a factor in the class $\Cal H\Cal T$ is given by the group von Neumann factor $M=L(\Bbb Z^2 times SL(2, \Bbb Z))$, for which $β^{^{HT}}_1(M) = β_1(SL(2, \Bbb Z)) = 1/12$. Thus, $M^t ot\simeq M, \forall t eq 1$, showing that the fundamental group of $M$ is trivial. This solves a long standing problem of R.V. Kadison. Also, our results bring some insight into a recent problem of A. Connes and answer a number of open questions on von Neumann algebras.

연구 동기 및 목표

• 유형 II₁ 대수의 새로운 클래스 ℋ𝒯를 정의하고, 이는 약한 강성 성질과 하아거프 컴팩트 근사 성질을 동시에 만족하는 카르탕 부분대수를 갖는 것으로 특징지운다.
• ℋ𝒯 대수에서 이러한 카르탕 부분대수가 단위형 코너재성에 대해 유일함을 증명한다.
• ℋ𝒯 대수에 대해 관련 궤도 동치 관계의 ℓ²-베티 수로 ℓ²-베티 수를 정의한다.
• 이들 베티 수가 대수의 동형 사상에 대해 불변이며, 확대 및 텐서곱에 대해 핵심 대수 공식을 만족함을 증명한다.
• 예시로 군-측도 공간 대수 ℤ²⋊SL(2,ℤ) 및 외삽된 군 대수 Lα(ℤ²)⋊SL(2,ℤ)에 대해 명시적인 베티 수를 계산한다.

제안 방법

• 포인트된 대응과 완전히 양성적인 사상 이론을 사용하여 von Neumann 대수의 구조를 분석한다.
• 기본 구성과 그의 컴팩트 아이디얼 공간을 사용하여 포함관계와 이중모듈 분해를 연구한다.
• 相対적 Property H와 강성 있는 임bedding의 개념을 사용하여 약한 강성 조건을 특징짓는다.
• SL(2,ℤ)의 하아거프 컴팩트 근사 성질과 ℤ²⋊SL(2,ℤ)에 대한 카즈단의 강성 성질을 활용하여 HT 조건을 검증한다.
• 베티 수 βn^HT(M)를 M의 HT 카르탕 부분대수와 관련된 궤도 동치 관계의 ℓ²-베티 수 βn(ℛ^HT_M)로 정의한다.
• 동치 결과와 연산자 대수 기법(예: 기본 구성, 가중치, 스펙트럼 프로젝션)을 사용하여 유일성과 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 유형 II₁ 대수에서 약한 강성 성질과 하아거프 근사 성질을 동시에 만족하는 카르탕 부분대수가 둘 이상 존재할 수 있는가?
• RQ2 ℋ𝒯 대수의 ℓ²-베티 수는 관련 궤도 동치 관계의 ℓ²-베티 수와 어떻게 관련이 있는가?
• RQ3 이들 베티 수는 확대와 텐서곱에 대해 어떻게 행동하며, 어떤 변환 법칙을 만족하는가?
• RQ4 어떤 군-측도 공간 구성이 클래스 ℋ𝒯에 속하는가? 그리고 그들의 베티 수는 무엇인가?
• RQ5 외삽된 군 대수 Lα(ℤ²)⋊SL(2,ℤ)가 클래스 ℋ𝒯에 속하려면 어떤 조건이 필요한가? 그리고 그들의 베티 수는 무엇인가?

주요 결과

• ℋ𝒯에 속하는 임의의 유형 II₁ 대수 M은 단위형 코너재성에 대해 유일한 카르탕 부분대수 A를 가지며, 이 A는 콘네스의 의미에서 자동으로 카르탕 부분대수이다.
• M에서 A의 정규화자군은 에르고딕하고 측도를 보존하며 궤도 동치인 동치 관계 ℛ^HT_M를 정의하며, 이는 M의 동형 사상에 대해 불변이다.
• 군-측도 공간 대수 M = L∞(𝕋²,μ) ⋊ SL(2,ℤ)에 대해, 베티 수는 β^HT_1(M) = 1/12 이고, n ≠ 1일 때 β^HT_n(M) = 0이다.
• 외삽된 군 대수 Mα = Lα(ℤ²) ⋊ SL(2,ℤ)에 대해, α가 1의 원시 n차근일 때, 베티 수는 β^HT_1(Mα) = n/12 이고, k ≠ 1일 때 β^HT_k(Mα) = 0이다.
• Mα ≅ Mα′이기 위한 필요충분조건은 n = n′임을 보여주며, 이는 이 가족에 대해 β^HT_1(Mα) = n/12 가 완전한 불변량임을 시사한다.
• 클래스 ℋ𝒯는 확대와 텐서곱에 대해 닫혀 있으며, β^HT_n(M^t) = β^HT_n(M)/t 이고, β^HT_n(M₁ ⊗̄ M₂)에 대해 키판-유사 공식이 성립한다.