[논문 리뷰] Von Neumann Algebras of Sofic Groups with $\beta_{1}^{(2)}=0$ are Strongly $1$-Bounded

Dimitri Shlyakhtenko|arXiv (Cornell University)|2016. 04. 28.

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

한 줄 요약

이 논문은 유한 생성, 유한 표현 가능한 소픽 그룹 $\Gamma$ 에 대해 첫 번째 $L^2$ 베텨이 수렴하는 경우($\beta_1^{(2)}(\Gamma) = 0$)의 바나흐 대수 $L(\Gamma)$ 가 저널의 정의에 따라 강력한 1-유계성을 가짐을 증명한다. 증명은 비-미세구조 자유 엔트로피 기법을 사용하여 저널의 작업에서 핵심적인 추정치를 재구성하고 단순화하며, 대수적 관계와 미분을 통해 그룹 바나흐 대수에 적용한다. 주요 결과는 자유 엔트로피 차원이 1을 초과하는 어떤 그룹 $\Lambda$ 에 대해서도 $L(\Gamma) \not\cong L(\Lambda)$ 임을 의미하며, 이는 자유군과 같은 예를 포함한다.

ABSTRACT

We show that if $\\Gamma$ is an infinite finitely generated finitely presented sofic group with zero first $L^{2}$ Betti number then the von Neumann algebra $L(\\Gamma)$ is strongly $1$-bounded in the sense of Jung. In particular, $L(\\Gamma)\ ot\\cong L(\\Lambda)$ if $\\Lambda$ is any group with free entropy dimension $>1$, for example a free group. The key technical result is a short proof of an estimate of Jung using non-microstates entropy techniques.

연구 동기 및 목표

• 유한 생성, 유한 표현 가능한 소픽 그룹 $\Gamma$ 에 대해 $\beta_1^{(2)}(\Gamma) = 0$ 인 경우 바나흐 대수 $L(\Gamma)$ 의 강력한 1-유계성을 확립함으로써, 임의의 생성 집합에 대해 자유 엔트로피 차원이 1임을 유도한다.
• 대수적 관계를 이용한 저널의 자유 엔트로피 차원 추정치에 대한 보다 간결한 비-미세구조 기반 증명을 제공한다.
• 자유 엔트로피 차원이 1을 초과하는 어떤 그룹 $\Lambda$ 에 대해서도 $L(\Gamma) \not\cong L(\Lambda)$ 임을 보여주며, 이는 자유군과 같은 예를 포함한다.
• 유한 표현 가능한 소픽 그룹에 대해 $\beta_1^{(2)}$ 의 소멸은 $W^*$-동치 불변량임을 보여준다.

제안 방법

• 대수적 관계가 존재하는 상황에서 자유 엔트로피의 성장률을 제한하기 위해 비-미세구조 자유 엔트로피와 파이셔 정보 추정치를 사용한다.
• 문헌 [2] 의 결과를 적용하여 비-미세구조 추정치를 미세구조 자유 엔트로피 부등식과 연결한다.
• 미분과 호크시하우드 코hom로지 프레임워크를 활용하여 제약 행렬 $\partial F(X)$ 의 랭크를 $\beta_1^{(2)}(\Gamma)$ 와 연결한다.
• 소픽 그룹에 대한 행렬식 추측을 사용하여 $\log^+\|\partial F(X)^*\partial F(X)\| \in L^1$ 이 되도록 보장한다.
• 다음 사실에 의존한다: $\dim_{L(\Gamma \times \Gamma^o)} \ker \partial F(X) = n - \operatorname{rank} \partial F(X) = \beta_1^{(2)}(\Gamma) - \beta_0^{(2)}(\Gamma) + 1$.
• 정리 2.5 를 적용하여 생성자의 $r$-유계성을 도출하며, 여기서 $r = \beta_1^{(2)}(\Gamma) - \beta_0^{(2)}(\Gamma) + 1$ 이다.

실험 결과

연구 질문

• RQ1 소픽 그룹 $\Gamma$ 에 대해 $\beta_1^{(2)}(\Gamma) = 0$ 이면 $L(\Gamma)$ 는 강력한 1-유계성을 만족하는가?
• RQ2 저널의 자유 엔트로피 차원 추정치를 비-미세구조 기법을 사용해 더 단순하게 재증명할 수 있는가?
• RQ3 유한 표현 가능한 소픽 그룹에 대해 $\beta_1^{(2)}$ 의 소멸은 $W^*$-동형사상 하에 유지되는가?
• RQ4 강력한 1-유계성은 $L(\Gamma)$ 가 $\delta_0 > 1$ 인 대수와 동형이 될 수 없음을 의미하는가?
• RQ5 모든 유한 표현 가능한 소픽 그룹에 대해 $\delta_0(C\Gamma) = \beta_1^{(2)}(\Gamma) + 1$ 이 참인가?

주요 결과

• 만약 $\Gamma$ 가 유한 생성, 유한 표현 가능한 소픽 그룹이며 $\beta_1^{(2)}(\Gamma) = 0$ 이면, $L(\Gamma)$ 는 강력한 1-유계성을 가진다.
• 이러한 $\Gamma$ 에 대해, $L(\Gamma)$ 의 임의의 생성 집합은 자유 엔트로피 차원 정확히 1을 가진다.
• $\delta_0(C\Lambda) > 1$ 인 어떤 그룹 $\Lambda$ 에 대해서도 $L(\Gamma) \not\cong L(\Lambda)$ 이며, 이는 자유군 $F_n$ ($n \geq 2$) 과 같은 예를 포함한다.
• 결과는 행렬식 추측과 콘네 임bedding 추측에 기반하지만, 소픽 그룹에 대해서는 조건 없이 증명된다.
• $\beta_1^{(2)}$ 의 소멸은 유한 표현 가능한 소픽 그룹에 대해 $W^*$-동치 불변량이다.
• 무한하고 유한 표현 가능한 소픽 성질 (T) 그룹에 대해 $\beta_1^{(2)}(\Gamma) = 0$ 이면 $L(\Gamma)$ 는 강력한 1-유계성을 가진다.