[논문 리뷰] Mean Dimension, Mean Rank, and von Neumann-Lück Rank

Hanfeng Li, Bingbing Liang|arXiv (Cornell University)|2013. 07. 20.

Rings, Modules, and Algebras참고 문헌 43인용 수 4

한 줄 요약

이 논문은 이산 애미너블 군의 정수 군환 위의 모듈러에 대해 평균 차원, 평균 랭크, 그리고 본 네umann-Lück 랭크라는 세 가지 불변량 사이의 깊은 연결 고리를 설정한다. 이 불변량들이 임의의 그러한 모듈러에 대해 일치함을 증명함으로써, 위상적 동역학과 $L^2$-불변량의 개념을 통합하고, 덧셈 공식, 평균 차원이 0인 행동의 구조적 결과, 그리고 강한 아티야 추측 하에서 평균 차원의 범위에 대한 제약 조건을 도출하는 데 응용한다.

ABSTRACT

We introduce an invariant, called mean rank, for any module M of the integral group ring of a discrete amenable group $Γ$, as an analogue of the rank of an abelian group. It is shown that the mean dimension of the induced $Γ$-action on the Pontryagin dual of M, the mean rank of M, and the von Neumann-Lück rank of M all coincide. As applications, we establish an addition formula for mean dimension of algebraic actions, prove the analogue of the Pontryagin-Schnirelmnn theorem for algebraic actions, and show that for elementary amenable groups with an upper bound on the orders of finite subgroups, algebraic actions with zero mean dimension are inverse limits of finite entropy actions.

연구 동기 및 목표

• 알고리즘적 동역학과 $L^2$-불변량 간의 세 가지 서로 다른 불변량—평균 차원, 평균 랭크, 본 네umann-Lück 랭크—를 통합하는 것.
• 아미너블 군의 대수적 행동의 구조를 이해하기 위한 공통 프레임워크를 수립하는 것.
• Pontryagin 쌍대성의 평균 차원이 ${\mathbb{Z}}\Gamma$-모듈러의 평균 랭크 및 본 네umann-Lück 랭크와 일치함을 증명하는 것.
• 이 등식을 응용하여 덧셈 공식, 평균 차원이 0인 행동에 대한 구조 정리, 그리고 강한 아티야 추측 하에서의 범위 제약 조건을 도출하는 것.

제안 방법

• 아미너블 군의 ${\mathbb{Z}}\Gamma$-모듈러에 대해 아벨 군의 랭크의 역동적 해석으로서 평균 랭크를 도입하는 것.
• Pontryagin 쌍대성을 사용하여 쌍대군의 평균 차원과 모듈러의 평균 랭크를 연결하는 것.
• 유한 생성 케이스로의 환원과 Ornstein-Weiss 보조정리의 사용을 통해 평균 차원, 평균 랭크, 본 네umann-Lück 랭크의 등식을 증명하는 것.
• 평균 랭크와 본 네umann-Lück 랭크의 가법 성질을 이용하여 평균 차원에 대한 덧셈 공식을 수립하는 것.
• 강한 아티야 추측을 적용하여 유한 부분군이 유계인 초기 아미너블 군에 대해 평균 차원의 가능한 값에 대한 제약 조건을 설정하는 것.
• 유리수 모듈러 위에서의 Elek 랭크와의 관계를 통해, 유한 생성 케이스에서 평균 랭크와 Elek 랭크가 동치임을 보이는 것.

실험 결과

연구 질문

• RQ1 만약 $\Gamma$가 이산 아미너블 군이라면, 임의의 ${\mathbb{Z}}\Gamma$-모듈러에 대해 평균 차원, 평균 랭크, 본 네umann-Lück 랭크가 일치하는가?
• RQ2 평균 차원에 대한 덧셈 공식은 평균 랭크 또는 본 네umann-Lück 랭크의 대수적 성질로부터 유도될 수 있는가?
• RQ3 아미너블 군의 대수적 행동에 대해 Pontryagin-Schnirelmann 정리의 역동적 해석은 존재하는가?
• RQ4 강한 아티야 추측은 초기 아미너블 군의 대수적 행동에 대해 평균 차원의 범위에 제약 조건을 부과하는가?
• RQ5 평균 차원이 0인 대수적 행동은 반드시 유한 엔트로피 행동의 역극한인가?

주요 결과

• ${\mathbb{Z}}\Gamma$-모듈러의 Pontryagin 쌍대의 평균 차원은 임의의 이산 아미너블 군 $\Gamma$에 대해 그 평균 랭크 및 본 네umann-Lück 랭크와 일치한다.
• 대수적 행동의 평균 차원에 대한 덧셈 공식이 수립되어, 평균 차원이 대수적 인자로의 전이에서 감소함을 보여준다.
• 가산 아미너블 군의 모든 대수적 행동에 대해 Pontryagin-Schnirelmann 정리의 해석이 성립하며, 이는 평균 차원과 메트릭 평균 차원을 연결한다.
• 유한 부분군이 유계인 초기 아미너블 군에 대해 강한 아티야 추측 하에서 대수적 행동의 평균 차원의 범위가 제약을 받는다.
• 평균 차원이 0인 대수적 행동은 반드시 유한 엔트로피 행동의 역극한이며, 리ン든스트라우스의 추측을 확인한다.
• 유한 생성된 ${\mathbb{Z}}\Gamma$-모듈러의 평균 랭크는 그 유리화가 $\mathbb{Q}\Gamma$ 위에서의 Elek 랭크와 일치하며, 이는 역동적 및 대수적 랭크 함수 사이의 다리를 놓는다.