[논문 리뷰] L^2-Homology for von Neumann Algebras

Alain Connes, Dimitri Shlyakhtenko|ArXiv.org|2003. 09. 20.

Advanced Operator Algebra Research참고 문헌 16인용 수 18

한 줄 요약

이 논문은 공간적 텐서곱 $M \bar{\otimes} M^{o}$ 에 계수를 가진 대수적 Hochschild 호모로지와 함께 von Neumann 대수에 대한 새로운 $L^2$-호모로지 이론을 제안하며, 이 대수에서의 차원을 통해 $L^2$-베티 수를 정의한다. 주요 기여는 추적 값 $\lambda$ 를 가진 프로젝션에 의한 압축에 대해 스케일링 성질 $\beta_k^{(2)}(pMp) = \lambda^{-2} \beta_k^{(2)}(M)$ 이 성립한다는 점으로, 이는 자유군 대수의 압축과 일치하며 측도 동치 불변량과의 차이를 드러낸다.

ABSTRACT

We define the notion of L^2 homology and L^2 Betti numbers for a tracial von Neumann algebra, or, more generally, for any involutive algebra with a trace. The definition of these invariants is obtained from the definition of L^2 homology for groups, using the ideas from the theory of correspondences. For the group algebra of a discrete group, our Betti numbers coincide with the L^2 Betti numbers of the group. We find a link between the first L^2 Betti number and free entropy dimension, which points to the non-vanishing of L^2 homology for the von Neumann algebra of a free group.

연구 동기 및 목표

• von Neumann 대수에 대해 강력한 불변량이 되는 $L^2$-호모로지 이론을 개발하여 인피니티 팩터를 구별할 수 있도록 한다.
• 자유 확률 이론에서 $L^2$-베티 수와 자유 엔트로피 차원 사이의 연결 고리를 설정한다.
• 특히 유계 호모로지 이론이 대수를 구별하지 못하는 데서 비롯된 효과적인 호모로지 이론의 부재 문제를 해결한다.
• 대수적 Hochschild 호모로지 $H_k^{(2)}(M) = H_k(M; M \bar{\otimes} M^{o})$ 를 통해 $L^2$-베티 수를 정의하고, 이 수치를 $M \bar{\otimes} M^{o}$-모듈러스의 차원으로 부여한다.
• 압축에 따른 $L^2$-베티 수의 스케일링 행동을 탐구하고, 에르고딕 동치 및 자유 확률 이론의 기존 불변량과 비교한다.

제안 방법

• von Neumann 대수 $M$ 의 $L^2$-호모로지가 대수적 Hochschild 호모로지 $H_k^{(2)}(M) = H_k(M; M \bar{\otimes} M^{o})$ 로 정의됨을 정의한다.
• $L^2$-베티 수를 차원 $\beta_k^{(2)}(M) = \dim_{M \bar{\otimes} M^{o}} H_k^{(2)}(M)$ 를 통해 부여한다.
• 대응 이론의 이론과 군 이론 및 von Neumann 대수 이론 간의 유사성에 기반해 정의를 정당화한다.
• 자유 반원형 변수와 쌍대 연산자를 사용하여 자유 엔트로피 차원 프레임워크를 실현하는 이중 체계를 구성한다.
• 자유 확률 이론의 깊이 있는 결과, 특히 Biane-Capitaine-Guionnet의 마이크로스테이트에 관한 부등식과 마이크로스테이트 없는 엔트로피를 활용하여 $\beta_1^{(2)}(L(\mathbb{F}_n))$ 의 하한을 구한다.
• von Neumann 대수의 표준 형식 구성과 Tomita-Takesaki 이론을 활용하여 이중 체계를 실현하고 교환 관계를 검증한다.

실험 결과

연구 질문

• RQ1 von Neumann 대수에 대해 잘 정의된 $L^2$-호모로지 이론을 정의할 수 있으며, 이는 압축에 대해 잘 행동하고 자유 확률 이론과 연결될 수 있는가?
• RQ2 추적 값 $\lambda$ 를 가진 프로젝션에 의한 압축에 대해 von Neumann 대수의 $L^2$-베티 수는 어떻게 스케일링되는가?
• RQ3 자유 엔트로피 차원과 $L^2$-베티 수 사이에 깊은 연결 고리가 존재하는가? 그리고 이 연결 고리를 통해 새로운 하한을 도출할 수 있는가?
• RQ4 $\lambda^{-2}$ 스케일링이 측도 동치 불변량의 $\lambda^{-1}$ 스케일링과 다를 수 있는 이유는 무엇이며, 이는 이러한 불변량의 성격에 대해 어떤 함의를 갖는가?
• RQ5 제안된 $L^2$-베티 수의 정의가 자유 확률 이론의 알려진 결과와의 일관성과 강건성에 의해 유일하게 특징지어질 수 있는가?

주요 결과

• 프로젝션 $p \in M$ 의 추적 값 $\lambda$ 에 대해 $\beta_k^{(2)}(pMp) = \lambda^{-2} \beta_k^{(2)}(M)$ 이 성립하며, 이는 자유군 대수의 압축과 일치한다.
• 자유군 $\mathbb{F}_n$ 의 von Neumann 대수 $L(\mathbb{F}_n)$ 에 대해 첫 번째 $L^2$-베티 수는 자유 확률 이론의 부등식에 기반해 $\beta_1^{(2)}(L(\mathbb{F}_n)) \geq n-1$ 을 만족한다.
• 이산군 $\Gamma$ 의 수정된 자유 엔트로피 차원 $\delta_0(\Gamma)$ 는 $\beta_1^{(2)}(\Gamma) - \beta_0^{(2)}(\Gamma) + 1$ 보다 작거나 같다.
• $\Gamma$ 가 성질 $T$ 를 가지며 $L(\Gamma)$ 가 확산적이라면 $\delta_0(\Gamma) \leq 1$ 이며, $L(\Gamma)$ 가 자유군 대수의 초구성에 포함된다면 등호가 성립한다.
• 이 이론은 강건하다: 다른 정의 방식은 자유 엔트로피와의 연결 고리를 제공하지 않으며, 이는 현재 정의가 표준적임을 시사한다.
• 아벨 von Neumann 대수에 대해서는 $L^2$-베티 수가 0이 된다: 모든 $k \geq 1$ 에 대해 $\beta_k^{(2)}(A) = 0$.