[논문 리뷰] The Asymptotic Dimension of Box Spaces for Elementary Amenable Groups

Martin Finn-Sell, Jianchao Wu|arXiv (Cornell University)|2015. 08. 20.

Advanced Operator Algebra Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 초등 아벨 잔여 유한군에 대한 박스 공간의 점 渐진 차원이 그들의 히르슈 길이에 의해 위에서 유계임을 확립하며, 이는 거의 모든 군의 클래스에서 등호가 성립함을 보여준다. 이는 가상 폴리사이클 군과 그들의 유한 아벨 군에 대한 와레인트 곱과 같은 군들을 포함한다. 저자들은 군의 확장과 준동형-분리 가족을 기반으로 한 귀납적 방법을 개발하여 군의 확장 하에서 점 渐진 차원의 하위加법성(서브어드디티비티)을 증명함으로써 이러한 군들의 박스 공간에 대해 날카로운 유계를 도출한다.

ABSTRACT

We show that the asymptotic dimension of box spaces behaves (sub)additively with respect to extensions of groups. As a result, we obtain that for an elementary amenable group, the asymptotic dimension of any of its box spaces is bounded above by its Hirsch length. This bound is shown to be an equality for a large subclass of groups including all virtually polycyclic groups.

연구 동기 및 목표

• 초등 아벨 잔여 유한군의 박스 공간에 대한 점 渐진 차원의 상한을 확립하는 것.
• 이 유계가 가상 폴리사이클 군과 그들의 유한 아벨 군에 대한 와레인트 곱을 포함한 광범위한 군의 클래스에서 날카로운지 증명하는 것.
• 군의 확장을 이용한 박스 공간의 점 渐진 차원 추정을 위한 일반적인 귀납적 방법을 개발하는 것.
• 정규부분군에 국한되지 않고, 준동형-분리 조건을 도입하여 박스 공간의 코arse 기하학적 처리를 일반화하는 것.

제안 방법

• 저자들은 박스 공간 위의 잘 정의된 코arse 구조를 보장하는 유한지수 부분군의 준동형-분리 가족 개념을 도입한다.
• 그들은 점 渐진 차원의 하위加법성 성질을 증명한다: 확장 군의 박스 공간의 점 渐진 차원은 핵과 몫 군의 점 渐진 차원의 합으로 유계된다.
• 이 방법은 코arse 피브레이션을 구성하고, 몫 사상의 코arse 기하학을 사용하여 피브레이션의 점 渐진 차원을 제어하는 데 의존한다.
• 초등 아벨 군의 히르슈 길이 필터링에 대해 초한귀납법을 적용하여, 박스 공간의 점 渐진 차원을 귀납적으로 유계화한다.
• 이론적 증명은 유한 몫의 직합 위에 가중 거리함수를 사용하는 거리 함수 분해 기법을 사용한다.
• 핵심 기술 도구는 제4.1조와 정리 2.5이며, 이는 코arse 피브레이션을 제어하고 하위加법성 추정을 가능하게 한다.

실험 결과

연구 질문

• RQ1 초등 아벨 잔여 유한군의 박스 공간의 점 渐진 차원은 무엇인가?
• RQ2 군의 확장 하에서 박스 공간의 점 渐진 차원은 어떻게 행동하는가?
• RQ3 히르슈 길이는 초등 아벨 군의 박스 공간의 점 渐진 차원에 대해 날카로운 상한인가?
• RQ4 어떤 군의 클래스에서 박스 공간의 점 渐진 차원이 히르슈 길이와 일치하는가?
• RQ5 정규부분군에 제한되지 않고 박스 공간의 코arse 구조를 제어할 수 있는가?

주요 결과

• 모든 $G \in \mathbf{Elem_{RF}}$ 에 대해 전체 박스 공간 $\square_{\mathrm{F}}G$ 의 점 渐진 차원은 히르슈 길이 $h(G)$ 에 의해 위에서 유계이다.
• 가상 폴리사이클 군과 그들의 유한 아벨 군에 대한 와레인트 곱에서, 박스 공간의 점 渐진 차원은 히르슈 길이와 같다.
• 군의 확장 하에서 박스 공간의 점 渐진 차원은 하위加법적으로 행동한다: $\mathrm{as\dim}(\square_{\mathrm{F}}G) \leq \mathrm{as\dim}(\square_{\mathrm{F}}N) + \mathrm{as\dim}(\square_{\mathrm{F}}K)$ for $1 \to N \to G \to K \to 1$.
• 동일한 하위加법성은 전체 정규 박스 공간 $\square_{\mathrm{f}}G$ 에 대해서도 성립하며, 동일한 유계를 가진다.
• 준동형-분리 가족 $\sigma$ 에 대해 임의의 $\mathrm{as\dim}(\square_{\sigma}G) \leq h(G)$ 유계가 성립한다.
• 만일 $G = F \wr H$ 이고 $F$ 가 유한 아벨이며 $H$ 가 가상 폴리사이클이라면, $\mathrm{as\dim}(\square_{\sigma}G) = h(G) = h(H)$.