[논문 리뷰] Entropy, Determinants, and L2-Torsion

Hanfeng Li, Andreas Thom|arXiv (Cornell University)|2012. 02. 06.

Algebraic structures and combinatorial models참고 문헌 47인용 수 5

한 줄 요약

이 논문은 애먼 군에 대해 대수적 군 작용의 엔트로피와 $L^2$-torsion 사이의 기본적인 등식을 확립하며, Deninger의 추측을 확인한다. 즉, $\mathbb{Z}\Gamma/\mathbb{Z}\Gamma f$의 폰트리아긴 쌍대군 위에서의 주요 대수적 작용의 엔트로피는 $f$의 Fuglede-Kadison 행렬식의 로그와 같다. 주요 결과는 임의의 애먼 군 $\Gamma$와 오일러 특성이 0인 $\mathbb{Z}\Gamma$-모듈 $\mathcal{M}$에 대해, $\mathcal{M}$의 $\Gamma$-작용이 $\widehat{\mathcal{M}}$에서의 엔트로피가 $\mathcal{M}$의 $L^2$-torsion과 일치함을 증명하며, Lück의 오랫동안 남아있던 추측을 해결하고 기존의 엔트로피 및 마흐勒 측도에 관한 고전 결과를 일반화한다.

ABSTRACT

We show that for any amenable group Γand any ZΓ-module M of type FL with vanishing Euler characteristic, the entropy of the natural Γ-action on the Pontryagin dual of M is equal to the L2-torsion of M. As a particular case, the entropy of the principal algebraic action associated with the module ZΓ/ZΓf is equal to the logarithm of the Fuglede-Kadison determinant of f whenever f is a non-zero-divisor in ZΓ. This confirms a conjecture of Deninger. As a key step in the proof we provide a general Szegő-type approximation theorem for the Fuglede-Kadison determinant on the group von Neumann algebra of an amenable group. As a consequence of the equality between L2-torsion and entropy, we show that the L2-torsion of a non-trivial amenable group with finite classifying space vanishes. This was conjectured by Lück. Finally, we establish a Milnor-Turaev formula for the L2-torsion of a finite Δ-acyclic chain complex.

연구 동기 및 목표

• 주어진 원소 $f$에 대해, 애먼 군 $\Gamma$에서의 주요 대수적 작용의 엔트로피가 $f$의 Fuglede-Kadison 행렬식의 로그와 일치한다는 Deninger의 추측을 해결하는 것.
• 오일러 특성이 0인 $\mathbb{Z}\Gamma$-모듈에 대해, 위상적 엔트로피와 $L^2$-torsion 사이의 일반적인 관계를 확립하는 것.
• 분류공간이 유한한 비자명한 애먼 군에 대해 $L^2$-torsion이 0이 됨을 증명하여 Lück의 추측을 확인하는 것.
• 애먼 군의 von Neumann 대수에서 Fuglede-Kadison 행렬식에 대한 Szegö-유사 근사 정리를 개발하여 핵심 기술적 도구로 활용하는 것.
• 유한한 $\Delta$-비순환 복합체에 대해 $L^2$-torsion으로의 Milnor-Turaev 공식을 일반화하는 것.

제안 방법

• 애먼 군의 F{ø}lner 수열을 이용하여 Fuglede-Kadison 행렬식에 대한 일반적인 Szegö-유사 근사 정리를 수립하는 것.
• 이 근사 정리를 활용하여, 영 근처의 스펙트럼 추정을 통해 대수적 작용의 엔트로피를 Fuglede-Kadison 행렬식과 연결하는 것.
• 라플라스 연산자의 Fuglede-Kadison 행렬식을 사용하여, 오일러 특성이 0인 $\mathbb{Z}\Gamma$-모듈에 대해 $L^2$-torsion을 정의하는 것.
• Haagerup-Schultz 대수 $\mathcal{N}\Gamma^\Delta$를 이용한 새로운 대수적 프레임워크를 구축하여, $L^2$-torsion을 고전적 토르션 불변량으로 재해석하는 것.
• 군의 확장에 대한 유도와 분해 기법을 적용하여, 분류공간이 유한한 애먼 군에 대해 $L^2$-torsion이 0이 됨을 증명하는 것.
• $\Delta$-비순환 분해를 분석하여, $L^2$-torsion에 대한 Milnor-Turaev 유사 공식을 도출하는 것.

실험 결과

연구 질문

• RQ1 모든 애먼 군 $\Gamma$와 비영인자 $f$에 대해, $\widehat{\mathbb{Z}\Gamma/\mathbb{Z}\Gamma f}$ 위에서의 주요 대수적 작용의 엔트로피는 $f$의 Fuglede-Kadison 행렬식의 로그와 일치하는가?
• RQ2 Lück이 추측한 linu, 분류공간이 유한한 비자명한 애먼 군의 $L^2$-torsion은 0인가?
• RQ3 오일러 특성이 0인 $\mathbb{Z}\Gamma$-모듈에 대해, 관련된 대수적 작용이 그 폰트리아긴 쌍대군에서의 엔트로피로 표현된 $L^2$-torsion을 가질 수 있는가?
• RQ4 애먼 군 위의 $\Delta$-비순환 복합체에 대해, $L^2$-torsion에 대한 Milnor-Turaev 공식이 성립하는가?
• RQ5 애먼 군에서 F{ø}lner 집합의 스펙트럼 자료를 통해 Fuglede-Kadison 행렬식을 일반화된 고전적 Szegö 정리처럼 근사시킬 수 있는가?

주요 결과

• 오일러 특성이 0인 임의의 $\mathbb{Z}\Gamma$-모듈 $\mathcal{M}$에 대해, $\mathcal{M}$의 $\Gamma$-작용이 $\widehat{\mathcal{M}}$에서의 엔트로피는 $\mathcal{M}$의 $L^2$-torsion과 일치하며, Deninger의 추측을 확인한다.
• 모든 애먼 군 $\Gamma$와 비영인자 $f \in \mathbb{Z}\Gamma$에 대해, $X_f = \widehat{\mathbb{Z}\Gamma/\mathbb{Z}\Gamma f}$ 위에서의 주요 대수적 작용의 엔트로피는 $\log \det_{\mathcal{N}\Gamma} f$와 일치한다. 이는 Fuglede-Kadison 행렬식의 로그이다.
• 분류공간이 유한한 비자명한 애먼 군 $\Gamma$의 $L^2$-torsion은 0이 되며, 이는 Lück의 추측을 확인한다.
• 애먼 군의 군 von Neumann 대수에서 Fuglede-Kadison 행렬식에 대해 F{ø}lner 수열을 사용하여 일반적인 Szegö-유사 근사 정리를 확립한다.
• 유한한 $\Delta$-비순환 복합체의 $L^2$-torsion은 Milnor-Turaev 공식을 만족하며, 고전적 토르션 항등식을 $L^2$ 설정으로 일반화한다.
• 분류공간이 유한한 비자명한 애먼 군 $\Gamma$에 대해, 자명한 $\mathbb{Z}\Gamma$-모듈 $\mathbb{Z}$의 $L^2$-torsion은 군의 확장에 대한 유도를 통해 0이 됨을 보여준다.