[논문 리뷰] Translation-like actions yield regular maps

Yongle Jiang|arXiv (Cornell University)|2017. 03. 27.

Geometric and Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 유한생성된 군 $H$가 다른 유한생성 군 $G$ 위에서 이동유사 작용을 하면, $H$에서 $G$로의 정규 사상이 존재함을 증명한다. 핵심 기여는 이동유사 작용과 정규 사상 간의 연결고리 설정으로, 이로 인해 기존의 차단 조건—예를 들어 점근적 차원, 분리 함수, 성장률—을 활용해 이러한 작용이 존재하지 않음을 규명할 수 있게 되었으며, 이는 바움슬라그-솔리터 군이 고전적 람플라이터 군 위에서 이동유사 작용을 하지 못한다는 새로운 존재하지 않음 결과로 이어진다.

ABSTRACT

For finitely generated groups $H$ and $G$, we observe that $H$ admits a translation-like action on $G$ implies there is a regular map, which was introduced in Benjamini, Schramm and Timár's joint paper, from $H$ to $G$. Combining with several known obstructions to the existence of regular maps, we have various applications. For example, we show that the Baumslag-Solitar groups do not admit translation-like actions on the classical lamplighter group.

연구 동기 및 목표

• 기하군론에서 이동유사 군 작용과 정규 사상 간의 연결 고리를 확립하기 위해.
• 기존의 정규 사상에 대한 장애물—예를 들어 점근적 차원, 분리 함수, 성장률—을 활용하여 이동유사 작용에 대한 새로운 존재하지 않음 결과를 도출하기 위해.
• 이동유사 작용에 관한 열린 문제를 해결하기 위해, 예를 들어 코헨의 질문(\mathbb{Z}^d와 F_2에 관한 것)과 지엘란의 추측(바움슬라그-솔리터 군에 관한 것)을 해결하기 위해.
• 기하군론적 성질을 분석하기 위한 새로운 프레임워크를 제공하기 위해, 정규 사상을 작용과 불변량 사이의 다리로 삼기 위해.

제안 방법

• 군 작용 하에서 군 원소의 자유적이고 균일하게 유계된 변형으로서 이동유사 작용을 정의하기 위해.
• 작용을 이용해 코ycle $c(h,x) = (h*x)^{-1}x$를 정의하고, 이를 통해 $f: H \to G$ 사상을 구성하기 위해.
• 구축된 사상이 $\kappa$-정규성 조건을 만족함을 증명하기 위해: 리프쉐츠 조건 제어 및 단위 공의 원상의 균일한 덮음.
• 이동유사 조건에서 유도되는 bound $\lambda_h = \sup_x \ell_G(c(h,x)) < \infty$를 이용해 리프쉐츠 상수를 제어하기 위해.
• 정규 사상 하에서 점근적 차원 및 분리 함수와 같은 불변량의 알려진 단조성 성질을 적용하기 위해.
• 이러한 불변량을 군론적 성질(예: 가상 자유성, 토크션 자유성)과 결합하여 존재하지 않음 결과를 도출하기 위해.

실험 결과

연구 질문

• RQ1 군 $H$가 군 $G$ 위에서 이동유사 작용을 하면, $H$에서 $G$로의 정규 사상이 존재하는가?
• RQ2 정규 사상에 대한 장애물—예를 들어 점근적 차원 또는 분리 함수—을 활용해 이동유사 작용을 배제할 수 있는가?
• RQ3 바움슬라그-솔리터 군 $BS(m,n)$은 람플라이터 군 $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{Z}$ 위에서 이동유사 작용을 하게 되는가?
• RQ4 $d \geq 2$일 때, $\mathbb{Z}^d$는 자유군 $F_2$ 위에서 이동유사 작용을 할 수 있는가?

주요 결과

• 군 $H$가 군 $G$ 위에서 이동유사 작용을 하면, $H$에서 $G$로의 정규 사상이 존재함을 보여, 기하적 작용과 정규 사상 간의 직접적 연결 고리를 확립한다.
• 점근적 차원에서 $BS(m,n)$은 $mn \neq 0$이면 최소 2이지만, 람플라이터 군의 점근적 차원은 1이므로, $BS(m,n) \not\rightarrow_{\text{reg}} (\mathbb{Z}/2\mathbb{Z})\wr\mathbb{Z}$이다.
• $d \geq 2$일 때, $\mathbb{Z}^d \not\rightarrow_{\text{reg}} F_2$이다. 왜냐하면 $\mathbb{Z}^d$의 분리 함수는 발산하지만 $F_2$의 분리 함수는 유계이기 때문이다.
• $mn = 0$이면 $BS(m,n)$은 자유군을 포함하며, $F_2$는 람플라이터 군으로의 정규 사상이 존재하지 않기 때문에, $BS(m,n)$은 그것과 이동유사 작용을 할 수 없다.
• 이 결과는 코헨의 질문(\mathbb{Z}^d와 $F_2$에 관한 것)을 해결하고, 지엘란의 추측(바움슬라그-솔리터 군과 람플라이터 군에 관한 것)을 부정적으로 해결한다.