[논문 리뷰] On the geometry of a proposed curve complex analogue for $Out(F_n)$

Lucas Sabalka, Dmytro Savchuk|arXiv (Cornell University)|2010. 07. 12.

Geometric and Algebraic Topology참고 문헌 19인용 수 6

한 줄 요약

이 논문은 $\mathcal{ES}_n^{1}$로 표기되는 엣지 분할 복합체, 즉 $\mathop{\mathrm{Out}}(F_n)$에 대한 곡선 복합체의 후보 해석으로서의 성질을 분석하기 위해 기하학적 길잡이를 대체로 대수적으로 특성화하고, 임의의 차원을 가진 준평탄형을 구성한다. 주요 결과는 $\mathcal{ES}_n^{1}$이 비초기성임을 보이며, 무한한 점근적 차원을 가지며, 약분해 가능한 $\mathop{\mathrm{Out}}(F_n)$ 원소에 의해 유도되는 궤도가 유계가 아니라는 점이다. 이는 $\mathcal{ES}_n^{1}$과 $\mathcal{FF}_n^{1}$ 또는 $\mathcal{F}_n^{1}$과 같은 다른 후보 복합체 사이에 코어스하게 $\mathop{\mathrm{Out}}(F_n)$-등변적인 준등장사상이 존재하지 않음을 의미하며, 이는 초기성 해석의 가능성에 여전히 희망을 유지시킨다.

ABSTRACT

The group $\Out$ of outer automorphisms of the free group has been an object of active study for many years, yet its geometry is not well understood. Recently, effort has been focused on finding a hyperbolic complex on which $\Out$ acts, in analogy with the curve complex for the mapping class group. Here, we focus on one of these proposed analogues: the edge splitting complex $\ESC$, equivalently known as the separating sphere complex. We characterize geodesic paths in its 1-skeleton algebraically, and use our characterization to find lower bounds on distances between points in this graph. Our distance calculations allow us to find quasiflats of arbitrary dimension in $\ESC$. This shows that $\ESC$: is not hyperbolic, has infinite asymptotic dimension, and is such that every asymptotic cone is infinite dimensional. These quasiflats contain an unbounded orbit of a reducible element of $\Out$. As a consequence, there is no coarsely $\Out$-equivariant quasiisometry between $\ESC$ and other proposed curve complex analogues, including the regular free splitting complex $\FSC$, the (nontrivial intersection) free factorization complex $\FFZC$, and the free factor complex $\FFC$, leaving hope that some of these complexes are hyperbolic.

연구 동기 및 목표

• 매핑 클래스군의 곡선 복합체에 대한 유사한 후보 초기성 복합체를 분석하여 $\mathop{\mathrm{Out}}(F_n)$의 기하학적 구조를 이해하기 위해.
• 제안된 $\mathop{\mathrm{Out}}(F_n)$에 대한 해석인 엣지 분할 복합체 $\mathcal{ES}_n^{1}$이 초기성인지 또는 유한한 점근적 차원을 가지는지 판단하기 위해.
• $\mathcal{ES}_n^{1}$과 $\mathcal{FF}_n^{1}$, $\mathcal{F}_n^{1}$, $\mathcal{FS}_n^{1}$과 같은 다른 복합체 사이에 코어스하게 $\mathop{\mathrm{Out}}(F_n)$-등변적인 준등장사상이 존재하는지 조사하기 위해.
• 그것의 대규모 기하학적 성질과 점근적 성질을 분석하기 위해 $\mathcal{ES}_n^{1}$ 내에서 임의의 차원을 가진 준평탄형을 구성하기 위해.

제안 방법

• 자기 공액류의 자유 분할과 엣지 길이 함수를 사용하여 $\mathcal{ES}_n^{1}$의 1-스켈레톤에서 길잡이 경로를 대수적으로 특성화하기 위해.
• 반복적인 엣지 분할 연산과 제어된 길이 증가를 사용하여 $\psi: \mathbb{Z}^m \to \mathcal{ES}_n^{1}$의 준등장사상 임bedding을 구성하기 위해.
• 임베딩 $\psi$를 사용하여 $\mathcal{ES}_n^{1}$ 내에서 차원 $m$의 준평탄형을 생성하고, 이로써 공간이 임의로 높은 차원의 평탄한 부분공간을 포함하고 있음을 보여주기 위해.
• $\mathcal{ES}_n^{1}$과 $\mathcal{FF}_n^{1}$에서 특정한 $\mathop{\mathrm{Out}}(F_n)$-원소 $\phi$의 궤도 행동을 비교하기 위해, $\phi$는 $\mathcal{ES}_n^{1}$에서 유계가 아니지만 $\mathcal{FF}_n^{1}$에서는 유계임을 보여주기 위해.
• 길잡이 경로 특성화로부터 유도된 거리 상한을 적용하여, $\mathcal{ES}_n^{1}$과 $\mathbb{Z}^m$ 사이의 준등장사상이 제어된 왜곡을 가지며 존재함을 확립하기 위해.
• 궤도의 무한성과 등장사상의 등변성 작용을 사용하여, $\mathcal{ES}_n^{1}$과 다른 복합체 사이에 코어스하게 등변적인 준등장사상이 존재하지 않음을 배제하기 위해.

실험 결과

연구 질문

• RQ1 엣지 분할 복합체 $\mathcal{ES}_n^{1}$은 과르모의 의미에서 초기성인가요?
• RQ2 $\mathcal{ES}_n^{1}$은 점근적 차원이 유한한가, 아니면 대규모 의미에서 무한차원인가요?
• RQ3 $\mathcal{ES}_n^{1}$과 자유 요소 분해 복합체 $\mathcal{FF}_n^{1}$ 사이에 코어스하게 $\mathop{\mathrm{Out}}(F_n)$-등변적인 준등장사상이 존재할 수 있는가요?
• RQ4 $\mathcal{ES}_n^{1}$ 내에 임의의 차원을 가진 준평탄형이 존재하는가, 그리고 이는 그 기하학적 성질에 어떤 함의를 갖는가요?
• RQ5 $\Sigma: \mathcal{ES}_n^{1} \to \mathcal{F}_n^{1}$과 $\imath: \mathcal{ES}_n^{1} \to \mathcal{FS}_n^{1}$는 준등장사상인가, 아니면 기하학적 불일치로 인해 실패하는가요?

주요 결과

• 임의의 차원을 가진 준평탄형의 존재로 인해 $\mathcal{ES}_n^{1}$은 비초기성임이 입증되었으며, 이는 초기성과 모순된다.
• $\mathcal{ES}_n^{1}$의 점근적 차원은 무한하며, $\mathcal{ES}_n^{1}$의 모든 점근적 콘은 무한차원이다.
• 모든 $m$에 대해 $\psi: \mathbb{Z}^m \to \mathcal{ES}_n^{1}$의 준등장사상에 의해 생성된 차원 $m$의 준평탄형이 $\mathcal{ES}_n^{1}$ 내에 존재한다.
• 약분해 가능한 $\mathop{\mathrm{Out}}(F_n)$-원소에 의해 유도되는 궤도가 $\mathcal{ES}_n^{1}$ 내에서 무한한데 반해, 같은 궤도는 $\mathcal{FF}_n^{1}$에서는 유계이므로, 이는 이들 사이에 코어스하게 등변적인 준등장사상이 존재하지 않음을 배제한다.
• $\Sigma: \mathcal{ES}_n^{1} \to \mathcal{F}_n^{1}$는 준등장사상이 아니며, $\mathcal{ES}_n^{1}$과 $\mathcal{F}_n^{1}$ 사이에 코어스하게 $\mathop{\mathrm{Out}}(F_n)$-등변적인 준등장사상도 존재하지 않는다.
• $\mathcal{ES}_n^{1}$과 $\mathcal{FS}_n^{1}$ 사이에도 동일한 결론이 적용되며, 이는 베스트비나와 파이그의 질문에 대한 부정적인 사례를 해결한다.