[논문 리뷰] The Rank Theorem and $L^2$-invariants in Free Entropy: Global Upper Bounds

Kenley Jung|arXiv (Cornell University)|2016. 02. 15.

Advanced Operator Algebra Research참고 문헌 21인용 수 5

한 줄 요약

이 논문은 비가환적 랭크 정리의 유사체를 사용하여 추적형 von Neumann 대수에서 미세상태 자유 엔트로피 차원 δ₀(X)에 대한 전역 상한을 수립한다. 도입된 도함수 유사 연산자 DsF(X)와 그 영공간의 비어 있지 않은 성질을 통해 δ₀(X) ≤ Nullity(DsF(X)) + δ₀(F(X):X)를 증명하며, 특수한 경우에 등호가 성립함을 보인다. 주요 기여는 소피, 좌측 순서 가능, 두 생성자를 가진 군 Γ ≠ F₂에 대해 군 von Neumann 대수 L(Γ)가 강한 1-유계임을 증명한 것으로, 이는 임의의 유한 생성 집합 X에 대해 δ₀(X) = 1임을 의미한다.

ABSTRACT

Using an analogy with the rank theorem in differential geometry, it is shown that for a finite $n$-tuple $X$ in a tracial von Neumann algebra and any finite $m$-tuple $F$ of $*$-polynomials in $n$ noncommuting indeterminates, \begin{eqnarray*} δ_0(X) & \leq & ext{Nullity}(D^sF(X)) + δ_0(F(X):X) \end{eqnarray*} where $δ_0$ is the (modified) microstates free entropy dimension and $D^sF(X)$ is a kind of derivative of $F$ evaluated at $X$. When $F(X) =0$ and $|D^sF(X)|$ has nonzero Fuglede-Kadison-Lück determinant, then $X$ is $α$-bounded in the sense of \cite{j3} where $α= ext{Nullity}(D^sF(X))$. Using Linnell's $L^2$ integral domain results in \cite{l} as well as Elek and Szabó's work on Lück's determinant conjecture for sofic groups in \cite{es} the following result is proven. Suppose $Γ$ is a sofic, left-orderable, discrete group with 2 generators and $Γ eq \{0\}$. The following conditions are equivalent: (1) $Γ ot\simeq \mathbb F_2$. (2) $L(Γ) ot\simeq L(\mathbb F_2)$. (3) $L(Γ)$ is strongly $1$-bounded. (4) $δ_0(X) = 1$ for any finite set of generators $X$ for $L(Γ)$. From Brodskiĭ and Howie's results on local indicability (\cite{b}, \cite{h}), it follows that a sofic, torsion-free, one-relator group von Neumann algebra on two generators with nontrivial relator is strongly $1$-bounded. It also follows from the residual solvability of the positive one relator groups (\cite{baum}) that a one-relator group von Neumann algebra on two generators whose relator is a nontrivial, positive, non-proper word in the generators is strongly $1$-bounded.

연구 동기 및 목표

• 비가환 기하학적 설정에서 미분기하학의 고전적 랭크 정리를 추적형 von Neumann 대수와 자유 확률론의 맥락으로 일반화하는 것.
• 비가환 도함수 DsF(X)의 영공간 차원을 통해 수정된 미세상태 자유 엔트로피 차원 δ₀(X)에 대한 전역 상한을 수립하는 것.
• 이 상한을 L²-불변량, 특히 Fuglede-Kadison-Lück 행렬식과 연결하고, 이를 군 von Neumann 대수에 적용하는 것.
• 소피, 좌측 순서 가능, 두 생성자를 가진 군 Γ ≠ F₂에 대해 군 인피니티 L(Γ)가 강한 1-유계임을 증명하여, 임의의 유한 생성 집합 X에 대해 δ₀(X) = 1임을 이끌어내는 것.

제안 방법

• 비가환 도함수 DsF(X)를 M ⊗ M^op에 값들을 가지는 행렬로 정의하여 고전적 미분기하학의 야코비안을 일반화한다.
• 비가환 도함수 DsF(X)의 영공간에 대한 사영의 (비정규화된) 추적을 통해 그 영공간의 비어 있지 않은 성질을 정의하며, 이는 해공간의 차원과 유사하다.
• Linnell의 L² 정수환 결과와 Elek-Szabó의 소피 군에 대한 Lück의 행렬식 추측에 대한 연구를 활용하여 DsF(X)의 Fuglede-Kadison-Lück 행렬식을 제어한다.
• 커버링 엔트로피 Kα와 하우스도르프 엔트로피 Hα를 사용하여 α-유계성을 정의하며, Kα < ∞이면 δ₀ ≤ α임을 이용한다.
• 스티링의 공식과 고유값에 대한 기본 대칭 함수에 대한 부등식을 사용하여 특이값 집합의 점근적 체적 추정을 수행한다.
• St. Raymond의 방법을 통한 변수변환 공식을 적용하여 특이값 제약 조건을 만족하는 집합의 ǫ-근접체적 체적을 유계화한다.

실험 결과

연구 질문

• RQ1 미분기하학의 고전적 랭크 정리는 추적형 von Neumann 대수와 자유 확률론의 비가환적 설정으로 일반화될 수 있는가?
• RQ2 비가환 도함수 DsF(X)의 영공간 차원과 자유 엔트로피 차원 δ₀(X) 사이의 정확한 관계는 무엇인가?
• RQ3 부등식 δ₀(X) ≤ Nullity(DsF(X)) + δ₀(F(X):X)가 등호로 성립하거나 강한 유계성을 유도하는 조건은 무엇인가?
• RQ4 어떤 군의 클래스에 대해 군 von Neumann 대수는 강한 1-유계임가? 이는 군의 구조와 어떻게 관련되는가?
• RQ5 Fuglede-Kadison-Lück 행렬식과 L²-Betti 수를 포함한 L²-불변량은 군 인피니티의 자유 엔트로피 차원을 어떻게 제약하는가?

주요 결과

• 논문은 δ₀(X) ≤ Nullity(DsF(X)) + δ₀(F(X):X) 부등식을 증명하며, 자유 확률론과 연산자 대수학으로의 랭크 정리 일반화를 실현한다.
• F(X) = 0 이고 |DsF(X)|의 Fuglede-Kadison-Lück 행렬식이 0이 아니면, X는 α = Nullity(DsF(X))로 α-유계가 된다.
• 소피, 좌측 순서 가능, 두 생성자를 가진 군 Γ ≠ F₂에 대해 군 von Neumann 대수 L(Γ)는 강한 1-유계이며, 이는 임의의 유한 생성 집합 X에 대해 δ₀(X) = 1임을 의미한다.
• 이 결과는 L(Γ) ≇ L(F₂)임을 보여주며, L(Γ)가 자유군 인피니티 F₂와 동형이 아니라는 것을 의미한다.
• 이 증명은 Linnell의 L² 정수환 결과와 Elek-Szabó의 소피 군에 대한 Lück의 행렬식 추측 연구를 통합하여 기반을 다진다.
• 논문은 커버링 엔트로피에 대한 균일한 상한을 수립한다: 충분히 큰 k에 대해 Kǫ(E(r, p, k, δk)) ≤ (Dp(r + 1)² / ǫ)^{8δ^{1/2}k²}이며, Dp는 p에 따라 결정된다.