[논문 리뷰] Finite Free Entropy and Free Group Factors

Nathanial P. Brown|ArXiv.org|2004. 03. 17.

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

한 줄 요약

이 논문은 유한한 자유 엔트로피를 가진 비환류(noncommutative) 랜덤 변수들(즉, $χ(X_1,\ldots,X_n) > -\infty$)을 구성하여, 어떤 자유군 인자(factor)에도 포함될 수 없는 바나흐-폰 노이만 대수를 생성한다. 초순환군(hyperbolic groups)의 성질 (T)과 초곱(ultraproduct) 기법을 기반으로 한 구성법을 통해, 유한한 자유 엔트로피가 자유군 인자임을 의미하지는 않음을 보이며, 셰리아크텐코(Shlyakhtenko)가 제기한 질문을 해결하고, $L(\mathbb{F}_n)$에 대한 임베딩 가능성에 대한 추측에 대한 반례를 제시한다. 핵심 결과는 자유 엔트로피 차원 $\delta = n$인 비이sov(비동형) 바나흐-폰 노이만 대수이다.

ABSTRACT

We show the existence of noncommutative random variables with finite free entropy but which do not generate a free group factor.

연구 동기 및 목표

• 유한한 자유 엔트로피가 바나흐-폰 노이만 대수가 자유군 인자임을 의미하는가에 대한 디마 셰리아크텐코의 추측을 해결하기 위해.
• 유한한 자유 엔트로피를 가진 비환류 랜덤 변수의 명시적 예를 구성하여, 이들이 자유군 인자를 생성하지 않는다는 것을 보여주기 위해.
• 하아거루프 근사 성질과 고체성(solidity)이 자유군 인자에 대한 임베딩 가능성을 보장하지는 않는다는 것을 보여주기 위해.
• 유한한 자유 엔트로피, 자유 엔트로피 차원, 생성된 바나흐-폰 노이만 대수의 구조 간의 관계를 명확히 하기 위해.
• 약화된 형태의 추측에 대한 양의 답변이 노비코프 추측과 군의 정확성(exactness)에 미치는 영향을 탐구하기 위해.

제안 방법

• 성질 (T)를 가진 초순환군 $\Gamma$와 자유군 $\mathbb{F}_n$을 사용하여 추적적 W*-확률 공간을 구성하고, $\Gamma * \mathbb{F}_n$의 왼쪽 정규 표현으로부터 바나흐-폰 노이만 대수 $M = W^*(X_1,\ldots,X_n)$를 형성한다.
• 초곱 기법을 사용하여 $M$의 구조를 분석하고, 하아거루프 불변량(Haagerup invariant)이 1보다 엄밀히 큰 점을 통해, $M$이 어떤 자유군 인자에도 포함될 수 없음을 보인다.
• 기존의 하아거루프 근사 성질과 고체성에 관한 결과를 활용하여, 구성된 예들이 고체적이지만 여전히 자유군 인자에 포함되지 않음을 보여준다.
• 보이쿨루츠(Voiculescu)의 자유 엔트로피 차원 이론을 적용하여, $\chi(X_1,\ldots,X_n) > -\infty$일 때 $\delta(X_1,\ldots,X_n) = n$임을 보이며, 이는 생성자의 엔트로피가 유한하기 때문이다.
• 부등식 체인 $\mathbb{H} \leq \delta \leq \delta^* \leq \Delta \leq n$을 사용하여, 구성된 예에서 모든 자유 엔트로피 불변량이 $n$과 일치함을 확인한다.
• 특히, $L(\Gamma) \subset R^\omega$이면 $\Gamma$는 정확하다는 사실을 이용하고, 만약 $M$이 자유군 인자에 포함될 수 있다면 $\Gamma$는 정확해야 하며, 이는 성질 (T)를 가진 군의 선택과 모순됨을 보여준다.

실험 결과

연구 질문

• RQ1 유한한 자유 엔트로피($\chi > -\infty$)는 생성된 바나흐-폰 노이만 대수가 자유군 인자임을 의미하는가?
• RQ2 자유 엔트로피 차원 $\delta = n$인 바나흐-폰 노이만 대수가 어떤 자유군 인자에도 포함되지 않을 수 있는가?
• RQ3 자유군 인자에 대한 임베딩 가능성을 위해 하아거루프 근사 성질이 필수적인가?
• RQ4 유한한 자유 엔트로피를 가진 비약한 정확성(non-weakly exact) 바나흐-폰 노이만 대수가 존재한다면, 이는 비정확한 군의 존재를 의미하는가?
• RQ5 유한한 자유 엔트로피가 고체성(solidity)을 가진 대수와 함께 자유군 인자에 대한 임베딩 불가능성과 공존할 수 있는가?

주요 결과

• 논문은 자기수반 비환류 랜덤 변수들로 생성된 바나흐-폰 노이만 대수 $M = W^*(X_1,\ldots,X_n)$를 구성하였으며, 이에 대해 $\chi(X_1,\ldots,X_n) > -\infty$이므로 $\delta(X_1,\ldots,X_n) = n$임을 의미한다.
• 대수 $M$은 어떤 자유군 인자 $L(\mathbb{F}_n)$의 부분대수와도 이sov하지 않으며, $\delta = n$이면 자유군 인자임을 의미한다는 추측에 대한 반례를 제공한다.
• 구성된 대수는 하아거루프 불변량이 1보다 엄밀히 크므로, 자유군 인자에의 임베딩을 차단한다.
• 오자와의 고체성 개념에 따라 이 예는 고체적이며, 고체성이 자유군 인자에의 임베딩 가능성을 보장하지는 않음을 보여준다.
• 모든 자유 엔트로피 불변량이 $\mathbb{H} = \delta = \delta^* = \Delta = n$을 만족함을 확인하여, 전체 엔트로피 차원이 완전함을 확인한다.
• 결과적으로, 유한한 자유 엔트로피가 약한 정확성(weak exactness)을 의미하지는 않으며, 이는 $R^\omega$에 포함되는 모든 군이 정확해야만 성립한다. 이는 아직 미해결 상태이다.