[논문 리뷰] L^2-Betti numbers for subfactors

Andreas Thom|ArXiv.org|2006. 01. 17.

Advanced Operator Algebra Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 이중 유한한 대칭적 대응이 존재하는 $II_1$-요소의 $L^2$-베티 수 사이의 비례 공식을 수립한다. 평탄한 기저 변경과 von Neumann 대수에서의 차원 이론을 사용하여, 두 $II_1$-요소의 $L^2$-베티 수의 비율이 연결 대응의 차원의 역수와 비례함을 증명하며, 이는 군의 경우를 일반화하고 Connes–Shlyakhtenko의 $L^2$-베티 수 이론을 부분요소로 확장한다.

ABSTRACT

We study L^2-Betti numbers for von Neumann algebras, as defined by D. Shlyakhtenko and A. Connes, in the presence of a bi-finite correspondence and prove a proportionality formula.

연구 동기 및 목표

• 이산 군에서 von Neumann 대수, 특히 $II_1$-요소로의 $L^2$-베티 수 이론을 확장한다.
• 유한 지수 부분요소 포함에서 $L^2$-베티 수에 대한 비례 원리를 수립한다.
• 다른 $II_1$-요소들의 $L^2$-베티 수를 연결하는 데 있어서 이중 유한한 대칭적 대응의 역할을 명확히 한다.
• 기하학적 군론에서 알려진 군의 $L^2$-베티 수 비례 공식을 von Neumann 대수적 일반화를 제공한다.

제안 방법

• Connes–Shlyakhtenko의 $L^2$-베티 수 정의를 $A \otimes A^o$ 위의 Tor 함자에 기반하여 $M \mathbin{\overline{\otimes}} M^o$ 값으로 사용한다.
• 다양한 계수 대수에서의 Tor 군을 연결하기 위해 평탄한 기저 변경을 적용하며, 특히 $M \otimes N^o$ 와 $M \otimes \tilde{M}^o$ 에 초점을 맞춘다.
• Lück 이론에서 유도된 일반화된 $M \mathbin{\overline{\otimes}} M^o$-차원 함수를 사용하여 Tor 모듈의 차원을 계산한다.
• 유한 지수 부분요소를 더 작은 대수 위의 유한 생성 프로젝티브 모듈로 표현하기 위해 Pimsner–Popa 기저를 활용한다.
• 지수 $[M:N]$ 를 통해 $\dim_N L$ 와 $\dim_M L$ 사이의 차원 공식을 적용하고, $\dim_{M \mathbin{\overline{\otimes}} N^o} \operatorname{Tor}_k^{M \otimes N^o}(M \mathbin{\overline{\otimes}} N^o, L)$ 를 $\beta_k^{(2)}(M)$ 과 $\dim_N L$ 에 연결한다.
• 유도된 공식의 대칭성을 확립하여 $\beta_k^{(2)}(M)$ 과 $\beta_k^{(2)}(N)$ 사이의 비례 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 유한 지수 부분요소 포함에서 $II_1$-요소의 $L^2$-베티 수는 어떻게 행동하는가?
• RQ2 기하학적 군론에서 알려진 군의 경우와 유사하게 von Neumann 대수 설정에서 $L^2$-베티 수에 대한 비례 공식을 수립할 수 있는가?
• RQ3 두 $II_1$-요소 사이의 대응에 어떤 조건이 성립하면 그들의 $L^2$-베티 수가 차원 인자에 의해 관련되는가?
• RQ4 $*$-호모모르피즘 조건은 대칭적 대응의 정의에서 필수적인가, 그리고 언제 자동으로 만족되는가?
• RQ5 Connes–Shlyakhtenko의 $L^2$-베티 수 구성은 군 대수를 초월하여 일반 von Neumann 대수로 어떻게 확장될 수 있는가?

주요 결과

• 논문은 비례 공식을 증명한다: $\frac{\beta_k^{(2)}(M)}{\dim_M L} = \frac{\beta_k^{(2)}(N)}{\dim_{N^o} L}$, 여기서 $L$ 은 임의의 이중 유한한 대칭적 $M \otimes N^o$-모듈이며, 이는 군의 경우를 일반화한다.
• 유한 지수 부분요소 $N \subset M$ 에 대해 공식은 $[M:N] \cdot \beta_k^{(2)}(M) = \beta_k^{(2)}(N)$ 로 특수화되며, 이는 $N = \mathbb{C}H$, $M = \mathbb{C}G$ 인 경우 $H \subset G$ 가 유한 지수일 때 기존의 군의 경우와 일치한다.
• 증명은 평탄한 기저 변경과 차원 이론에 기반하며, $\dim_{M \mathbin{\overline{\otimes}} N^o} \operatorname{Tor}_k^{M \otimes N^o}(M \mathbin{\overline{\otimes}} N^o, L) = \dim_{N^o} L \cdot \beta_k^{(2)}(M)$ 를 보여준다.
• 모듈 $L$ 이 $M$ 위에서의 차원은 $M_n(M)$ 내의 프로젝션의 트레이스와 관련되며, 공식은 비정규화된 트레이스 $t = n \tau(p)$ 를 사용하여 $L^2$-베티 수를 스케일링한다.
• 결과는 $M$ 과 $N$ 에 대해 대칭적이며, $L^2$-베티 수의 비율이 모듈의 차원 비율의 역수임을 확인한다.
• 이 틀은 유한 지수를 가진 $M$-$N$ 대응에 적용되며, 특히 Pimsner–Popa 기저에서 유도된 경우에 대해 이러한 대응이 이중 유한하고 대칭적임을 확인한다.