[논문 리뷰] 1-bounded entropy and regularity problems in von Neumann algebras

Ben Hayes|arXiv (Cornell University)|2015. 05. 25.

Advanced Operator Algebra Research참고 문헌 33인용 수 8

한 줄 요약

이 논문은 트레이스를 가진 von Neumann 대수에서의 특이 부분공간 $Σ_s(N\subseteq M)$을 도입하여 정규화자와 준정규화자를 일반화하고, 이 부분공간이 $M$을 생성하는 조건으로 스펙트럴 정규성(spectral regularity)을 정의한다. 바이쿨루스의 마이크로스테이트 자유 엔트로피 차원을 이용하여, $L(\mathbb{F}_n)$의 비산연속적이고 초유한 부분대수는 스펙트럴 정규성이 될 수 없음을 증명하고, 이는 $L(\mathbb{F}_n)$로 끝나는 스펙트럴 정규 포함의 초한 길이의 사슬을 배제하는 데까지 확장된다. 이는 $\mathrm{II}_1$-대수의 스무스 코hom로지에 대한 추측을 해결한다.

ABSTRACT

We investigate the singular subspace of an inclusion of tracial von Neumann algebras. The singular subspace is a canonical N-N subbimodule of L^{2}(M) and it contains the quasinormalizer introduced by Popa, one-sided quasinormalizer introduced by Fang-Gao-Smith, and wq-normalizer introduced in Galatan-Popa (following upon work in Ioana-Peterson-Popa and Popa). We then obtain a weak notion of regularity (called spectral regularity) by demanding that the singular subspace of N in M generates M. By abstracting Voiculescu's original proof of absence of Cartan subalgebras, we show that there can be no diffuse, hyperfinite subalgebra of L(\FF_{n}) which is spectrally regular. Our techniques are robust enough to repeat this process by transfinite induction and rule out chains of spectrally regular inclusions of algebras starting from a diffuse, hyperfinite algebra and ending in L(\FF_{n}). We use this to prove some conjectures made by Galatan-Popa in their study of smooth cohomology of II_{1}-factors. Our results may be regarded as a consistency check for the possibility of existence of a "good" cohomology theory of II_{1}-factors. Lastly, we deduce nonisomorphism results for crossed products of q-deformed free group factors by Bogoliubov actions, as well as for the continuous core of q-deformed Free Araki-Woods algebras. This extends work of Houdayer-Shlyakhtenko as well as Shlyakhtenko.

연구 동기 및 목표

• 스펙트럴 정규성을 정의하고 연구함에 있어, $L^2(M)$의 $N$-$N$-서브바이모듈로서의 특이 부분공간 $\mathcal{H}_s(N\subseteq M)$을 정의하고, 이는 준정규화자와 한쪽 방향 준정규화자를 포함한다.
• 특이 부분공간이 $M$을 생성하는 조건으로서 스펙트럴 정규성을 도입함으로써, 고전적 정규화자 조건을 약화시킨 정규성 조건을 일반화한다.
• Voiculescu의 자유 엔트로피 차원 추론을 확장하여, $L(\mathbb{F}_n)$에 포함된 비산연속적이고 초유한 대수에서의 스펙트럴 정규 포함 사슬이 존재하지 않음을 보인다.
• Galatan-Popa의 $\mathrm{II}_1$-대수의 스무스 코호몰로지에 대한 추측을 해결하기 위해, 이러한 사슬의 존재하지 않음을 보여줌으로써, 이를 해결한다.
• 자유 아라키-우드스 대수에 이 프레임워크를 적용하여, $U_t$의 생성자의 스펙트럴 측도가 특이일 경우 $\Gamma(\mathcal{H},U_t)''$가 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$와 동형이 아니라는 것을 증명한다.

제안 방법

• 특이 부분공간 $\mathcal{H}_s(N\subseteq M)$을 $L^2(M)$의 닫힌 $N$-$N$-서브바이모듈로서 정의하며, 이는 준정규화 조건을 만족하는 원소들에 의해 생성된다.
• 스펙트럴 정규성은 $W^*(\mathcal{H}_s(N\subseteq M)) = M$이라는 조건으로서, 고전적 정규성 조건을 약화시킨 조건으로서 도입된다.
• Voiculescu의 마이크로스테이트 자유 엔트로피 차원 추론을 변형하여, 만약 $N\subseteq L(\mathbb{F}_n)$이 비산연속적이고 초유한 대수이면, $\mathcal{H}_s(N\subseteq L(\mathbb{F}_n)) \neq L^2(L(\mathbb{F}_n))$임을 보이고, 따라서 $N$은 스펙트럴 정규성이 아님을 증명한다.
• 초한 귀납법을 사용하여, 각 단계에서 $N_\beta = W^*(q^1\mathcal{N}_M(N_{\beta-1}))$를 만족하는 사슬 $N_0 \subseteq N_1 \subseteq \cdots \subseteq N_\alpha = L(\mathbb{F}_n)$에 대해 비정규성 결과를 확장하여, 모든 $\alpha$에 대해 $N_\alpha \neq L(\mathbb{F}_n)$임을 보인다.
• 자유 아라키-우드스 대수 $\Gamma(\mathcal{H},U_t)''$에 이 프레임워크를 적용하여, $U_t$의 생성자의 스펙트럴 측도가 특이일 경우, $\Gamma(\mathcal{H},U_t)''$가 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$와 동형이 아니라는 것을 증명한다.
• $\varepsilon$-네트와 $L^2$-노름에서의 엔트로피 경계를 이용한 추정을 통해 근사의 복잡성을 제어하고, 이로부터 엔트로피 부등식을 이끌어내어 비동형 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 비산연속적이고 초유한 부분대수 $L(\mathbb{F}_n)$가 특이 부분공간을 통해 전체 대수를 생성하는 스펙트럴 정규성이 될 수 있는가?
• RQ2 비산연속적 초유한 대수에서 시작하여 $L(\mathbb{F}_n)$로 끝나는 스펙트럴 정규 포함의 초한 길이의 사슬이 존재하는가?
• RQ3 특이 부분공간 구성이 이러한 사슬을 배제하고 $\mathrm{II}_1$-대수의 스무스 코호몰로지 추측을 해결하는 데 일관된 프레임워크를 제공하는가?
• RQ4 자유 아라키-우드스 대수의 연속 코어 $\Gamma(\mathcal{H},U_t)''$가 $U_t$의 생성자의 스펙트럴 측도가 특이일 경우 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$와 동형이 되는가?
• RQ5 자유 엔트로피 기반 방법이 $L(\mathbb{F}_n)$에 사용된 바를 확장하여 자유 보골리우브 작용에 의한 와핑 곱의 비동형 결과를 증명할 수 있는가?

주요 결과

• 비산연속적이고 초유한 부분대수 $L(\mathbb{F}_n)$는 특이 부분공간이 $L(\mathbb{F}_n)$를 생성하지 못하므로 스펙트럴 정규성이 될 수 없다.
• 비산연속적 초유한 대수에서 시작하여 $L(\mathbb{F}_n)$로 끝나는 스펙트럴 정규 포함의 초한 길이의 사슬은 존재하지 않으며, 각 단계에서 다음 대수를 생성하지 못하기 때문이다.
• 자유 아라키-우드스 대수 $\Gamma(\mathcal{H},U_t)''$의 연속 코어는 $U_t$의 생성자의 스펙트럴 측도가 특이일 경우 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$와 동형이 아니다.
• 이 결과는 이전의 비동형 정리들을 강화하여, 스펙트럴 측도의 모든 복합 거듭제곱이 특이해야 한다는 조건을 제거하였다.
• Galatan-Popa의 $\mathrm{II}_1$-대수의 스무스 코호몰로지에 대한 추측은 이러한 사슬의 존재하지 않음을 보여줌으로써 해결되었으며, 이는 $\mathrm{II}_1$-대수에 대해 양호한 코호몰로지 이론이 일관되다는 것을 뒷받침한다.