[논문 리뷰] A nonamenable type $F_{\infty}$ group of piecewise projective homeomorphisms

Yash Lodha|arXiv (Cornell University)|2014. 08. 13.

Geometric and Algebraic Topology참고 문헌 10인용 수 7

한 줄 요약

이 논문은 기하군론에서 오랫동안 남아 있던 질문에 답하는 바를 제시한다. 즉, $F_{\nu}$ 유형이면서 비아메니블리안이며, 비아벨리안 자유부분군을 포함하지 않는 군의 첫 번째 알려진 예를 구성한다. 저자들은 클러스터 복합체라 불리는 새로운 종류의 세포 복합체를 도입하고, 이를 통해 유한차원 세포를 갖는 콕시드형, 비아벨리안 복합체를 구축하며, 군이 그 위에 적절하게 작용함을 보여, 정규형과 음이아닌 곡률에 기반한 논증을 통해 군의 유한성 성질을 입증한다.

ABSTRACT

We prove that the group of homeomorphisms of the circle introduced by the author with Justin Moore (Groups, Geometry and Dynamics 2015) is of type $F_{\infty}$. This makes the group the first example of a type $F_{\infty}$ group which is nonamenable and does not contain nonabelian free subgroups. To prove our result we provide a certain generalisation of cube complexes, which we refer to as cluster complexes. We also obtain a computable normal form, or a canonical unique choice of a word for each element of the group.

연구 동기 및 목표

• 군이 $F_{\nu}$ 유형이면서 비아메니블리안이며 비아벨리안 자유부분군을 포함하지 않을 수 있는지에 대한 오랜 동안 미해결된 질문을 해결하기 위해.
• 기존의 큐브 복합체 이론을 넘어서, 클러스터 복합체를 일반화된 도구로 도입하여 군의 유한성 성질 이론을 확장하기 위해.
• 조각별 프로젝티브 호메오모르피즘 군의 원소들에 대해 계산 가능한 정규형을 제공하기 위해.
• 3개의 생성자와 9개의 관계로 구성된 군 $G$가 톰슨 군 $F$에 대한 지오지건의 네 가지 추측을 모두 충족함을 보여주되, $F$의 아메니블리안 성질은 여전히 미결정임을 입증하기 위해.
• 모든 네 가지 추측을 동시에 충족하는 군이 $G$가 처음으로 존재함을 입증하여, 폰 뉴먼–데이 문제에 대한 새로운 반례를 제시하기 위해.

제안 방법

• 저자들은 비음성 곡률 큐브 복합체를 일반화하는 더 유연한 세포 분할을 允허하는 새로운 종류의 CW 복합체인 클러스터 복합체를 정의한다.
• 군 $G$가 적절하게 작용하고, 유한차원 몫과 $F_{\nu}$ 안정자성을 갖는, 수축 가능하고 비아벨리안 복합체 $X$를 구성한다.
• 생성집합의 단어에 대해 두 단계의 축소 과정을 통해 $G$의 원소들에 대한 정규형을 도입하여 유일성과 계산 가능성 보장.
• 예비 클러스터와 클러스터를 $\mathbb{R}^n$ 내의 초평면의 교차 패턴을 통해 정의하고, 평행 동치성과 균형 잡힌 체계를 사용해 곡률과 비아벨리안성을 통제.
• 링크의 플래그성과 빈 심플렉스의 부재를 이용해, $X$의 평행 폐쇄가 음이아닌 곡률 큐브 복합체임을 보여, $X$가 비아벨리안임을 증명.
• 몫 $X/G$가 각 차원에서 유한한 세포를 가지며, 세포의 안정자들이 $F_{\nu}$ 유형임을 확인함으로써, $G$가 $F_{\nu}$ 유형임을 유도.

실험 결과

연구 질문

• RQ1 군이 $F_{\nu}$ 유형이면서 비아메니블리안이며 비아벨리안 자유부분군을 포함하지 않을 수 있는가?
• RQ2 새로운 기하적 구성 방법을 통해 기존 큐브 복합체 기반의 군의 유한성 성질 이론을 확장할 수 있는가?
• RQ3 군 $G$는 $F_{\nu}$ 유형인가? 그리고 톰슨 군 $F$에 대한 지오지건의 네 가지 추측을 모두 충족하는가?
• RQ4 조각별 프로젝티브 호메오모르피즘 군의 원소들에 대해 정규형을 구성할 수 있는가?
• RQ5 클러스터 분할로 구성된 복합체의 비아벨리안성을 보장하는 기하학적 및 조합적 조건은 무엇인가?

주요 결과

• 군 $G$는 $X$라는 수축 가능하고 비아벨리안 복합체 위에 작용하며, 몫이 유한차원이고 안정자가 $F_{\nu}$ 유형이므로, $F_{\nu}$ 유형임을 입증한다.
• 군 $G$는 비아메니블리안이며 비아벨리안 자유부분군을 포함하지 않아, 이는 $F_{\nu}$ 유형에서 처음으로 그러한 예를 제공한다.
• 모든 $G$의 원소에 대해 계산 가능한 정규형이 확립되어, 생성집합 내에서 유일한 단어 표현을 제공한다.
• 복합체 $X$는 초평면 배열에서 유도된 클러스터의 합집합으로 구성되며, 음이아닌 곡률 논증을 통해 비아벨리안임이 입증된다.
• 유한한 예비 클러스터 집합의 평행 폐쇄는 음이아닌 곡률 큐브 복합체를 형성하며, 이는 $X$의 비아벨리안성을 증명하는 데 사용된다.
• 군 $G$는 톰슨 군 $F$에 대한 지오지건의 네 가지 추측을 모두 충족한다. 비록 $F$ 자체의 아메니블리안 성질은 여전히 미결정이지만 말이다.