[논문 리뷰] Mahler measures and Fuglede--Kadison determinants

Christopher Deninger|ArXiv.org|2009. 05. 05.

Geometric and Algebraic Topology참고 문헌 28인용 수 17

한 줄 요약

이 논문은 군 von Neumann 대수에서 라우렌트 다항식의 마勒 측도와 투플레드–카디슨 행렬식 사이의 깊은 연결고리를 확립하며, 특히 군 $\mathbb{Z}^d$ 에서는 연산자의 투플레드–카디슨 행렬식이 그의 심벌의 마ller 측도와 정확히 일치함을 보여준다. 핵심 기여는 $\mathrm{det}_{{\cal N}{\mathbb{Z}}^{d}}(A) = M(\hat{A})$ 라는 식의 식별이며, 이는 이러한 불변량의 해석적, 동역학적, 대수적 측면을 통합하고 비아벨 설정에서의 연속성과 최소성에 관한 새로운 질문을 열어 놓는다.

ABSTRACT

The Mahler measure of a function on the real d-torus is its geometric mean over the torus. It appears in number theory, ergodic theory and other fields. The Fuglede-Kadison determinant is defined in the context of von Neumann algebra theory and can be seen as a noncommutative generalization of the Mahler measure. In the paper we discuss and compare theorems in both fields, especially approximation theorems by finite dimensional determinants. We also explain how to view Fuglede-Kadison determinants as continuous functions on the space of marked groups.

연구 동기 및 목표

• 군 von Neumann 대수의 맥락에서 마ller 측도와 투플레드–카디슨 행렬식 간의 관계를 명확히 하는 것.
• 마ller 측도에 관한 고전적 결과들—예를 들어 유한차원 행렬식에 의한 근사와 $M(z - P)$ 의 연속성—을 비가환 설정인 투플레드–카디슨 행렬식으로 확장하는 것.
• 고정된 $f \in L^1(\Gamma)$ 에 대해 $\Gamma \mapsto \mathrm{det}_{{\cal N}\Gamma}(f)$ 의 연속성을, 특히 표식된 군의 맥락에서 조사하는 것.
• 마ller 측도 1인 다항식에 대한 크로네커 정리의 일반화로서, $\mathrm{det}_{{\cal N}\Gamma}f = 1$ 인 $f \in \mathbb{Z}\Gamma$ 의 구조를 탐구하는 것.

제안 방법

• 군 von Neumann 대수 $\mathcal{N}\mathbb{Z}^d$ 와 $L^\infty(T^d, \mu)$ 사이의 표준적 동형을 사용하여, $\mathrm{det}_{{\cal N}{\mathbb{Z}}^{d}}(A) = M(\hat{A})$ 를 통해 투플레드–카디슨 행렬식을 마ller 측도와 식별한다.
• 스체고의 정리와 토피리우스 행렬식 근사를 적용하여 마ller 측도가 유한차원 행렬식에 의해 근사 가능함을 보이고, 이를 유비에이블 군에서의 투플레드–카디슨 행렬식으로 확장한다.
• 바나흐 대수에서의 함수 해석학과 스펙트럼 이론을 사용하여, 가역인 $A$ 에 대해 $\log|A|$ 와 $\mathrm{det}_{{\cal N}}A = \exp \tau(\log|A|)$ 를 정의한다.
• 브라운 측도와 하모닉 함수의 성질을 활용하여 함수 $z \mapsto \log \det_{{\cal N}\Gamma}(z - f)$ 를 분석하고, 상부 연속성과 스펙트럼 외부에서의 연속성을 증명한다.
• $L^2$- torsion과 엔트로피 이론의 결과를 적용하여, $\log \det_{{\cal N}\Gamma}f$ 가 대수적 $\Gamma$-작용에 대한 엔트로피 불변량으로 해석됨을 밝힌다.
• 표준화된 $L^1(\Gamma)^\times$ 를 고려하여, $\mathrm{det}_{{\cal N}\Gamma}f$ 가 $f$ 를 교환자에 대해 모듈로 취한 이미지에만 의존한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 모든 가산离산 군 $\Gamma$ 와 $f \in \mathbb{Z}\Gamma$ 에 대해 $\mathrm{det}_{{\cal N}\Gamma}f = 1$ 이 성립하는가?
• RQ2 $\mathbb{Z}\Gamma$ 에서의 단위원이 아닌 $f \in \mathbb{Z}\Gamma \cap L^1(\Gamma)^\times$ 에 대해 $\mathrm{det}_{{\cal N}\Gamma}f > 1$ 이 성립하는가?
• RQ3 $f \in \mathbb{C}\Gamma$ 에 대해 함수 $z \mapsto \mathrm{det}_{{\cal N}\Gamma}(z - f)$ 가 $\mathbb{C}$ 에서 연속적인가?
• RQ4 $f$ 가 $L^1(\Gamma)$ 에서 가역일 때, $\mathrm{det}_{{\cal N}\Gamma}(f)$ 가 표식된 군의 구조에 대해 연속적으로 변하는가?

주요 결과

• 연산자 $A \in \mathcal{N}\mathbb{Z}^d$ 의 투플레드–카디슨 행렬식은 그 심벌의 마ller 측도와 같다: $\mathrm{det}_{{\cal N}{\mathbb{Z}}^{d}}(A) = M(\hat{A})$.
• $f$ 가 $L^1(\Gamma)$ 에서 가역일 경우, 표식된 군의 공간에서 $\Gamma \mapsto \mathrm{det}_{{\cal N}\Gamma}(f)$ 는 연속적이다.
• $\Gamma$ 가 잔여 유한하고 유비에이블일 때, $f \in \mathbb{Z}\Gamma \cap L^1(\Gamma)^\times$ 가 $\mathbb{Z}\Gamma$ 에서 좌측 역원을 갖지 않는 한 $\mathrm{det}_{{\cal N}\Gamma}f > 1$ 이 성립한다.
• 함수 $z \mapsto \log \det_{{\cal N}\Gamma}(z - f)$ 는 $\mathbb{C}$ 에서 하모닉 함수이며, 스펙트럼 외부에서는 연속적이다. 유한군과 이산 히센베르크 군의 경우 적분 표현을 통해 연속성이 확립된다.
• $\mathrm{det}_{{\cal N}\Gamma}f$ 는 $L^1(\Gamma)^\times$ 의 표준화된 이미지에만 의존하며, 교환자 편향에 대한 불변성을 반영한다.
• $f \in \mathbb{Z}\mathbb{Z}^d \cap L^1(\mathbb{Z}^d)^\times$ 에 대해 $\mathrm{det}_{{\cal N}\mathbb{Z}^d}f > 1$ 이 성립하며, $f$ 가 $\mathbb{Z}[\mathbb{Z}^d]$ 에서의 단위원이 아닐 경우에 국한된다. 이는 고전적 마ller 측도 부등식 $M(P) \geq 1$ 을 일반화한다.