[논문 리뷰] Distance in the Ellipticity Graph

Yakov Berchenko-Kogan|arXiv (Cornell University)|2010. 06. 24.

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

한 줄 요약

이 논문은 유한 생성 자유군의 타원성 그래프에서 두 정점이 거리 두로 연결되어 있는지 판단하기 위해 스탤링스 부분군 X-다이그래프와 화이트헤드 자기동형사상을 사용하는 알고리즘을 제시한다. 두 자유곱 분해가 공통의 타원성 원소를 공유하는지 여부, 또는 두 쌍대류가 어떤 적절한 자유곱 분해에 대해 동시에 타원성이 되는지 여부를 판단하는 결정 절차를 제공하며, 외부 자기동형사상군 이론의 기하학적 문제를 구조적이고 알고리즘적인 방법으로 해결한다.

ABSTRACT

The ellipticity graph of a free group $F$ was defined by I. Kapovich and M. Lustig in order to study the outer automorphism group of $F$, which acts on this graph. The graph was constructed to be analogous to the curve complex of a surface. It is a bipartite graph, whose vertices are conjugacy classes of nontrivial elements of $F$ and equivalence classes of proper free product decompositions of the form $F=A*B$. A conjugacy class is joined by an edge to a free product decomposition $A*B$ whenever the conjugacy class has a representative in either $A$ or $B$. This paper uses Stallings subgroup $X$-digraphs and Whitehead automorphisms to construct algorithms that determine when the distance between two vertices of the ellipticity graph is two, for both types of vertices.

연구 동기 및 목표

• 타원성 그래프의 두 정점 간 거리가 두임을 판단하기 위한 효과적인 알고리즘을 개발하는 것.
• Out(F)와 관련된 국소적으로 유한하지 않은 그래프에서 거리 계산이라는 기하학적 과제를 다루는 것.
• 두 자유곱 분해 또는 두 쌍대류에 대해 공통의 타원성 원소가 존재하는지에 대한 알고리즘적 해결책을 제공하는 것.
• 곡선 복합체의 유사체를 통해 외부 자기동형사상군을 연구하기 위한 구조적이고 계산 가능한 프레임워크를 제공하는 것.
• 스탈링스와 화이트헤드 기법을 사용하여 기존 결과를 더 접근 가능하고 알고리즘적으로 재구성하는 것.

제안 방법

• 부분군과 쌍대류를 레이블이 부여된 그래프로 표현하기 위해 스탤링스 부분군 X-다이그래프를 사용한다.
• 자기동형사상 작용 하에서 단어 쌍을 최소 길이 표현으로 줄이기 위해 화이트헤드 자기동형사를 적용한다.
• 어떤 적절한 자유곱 분해에 대해 동시에 타원성이 되는 원소 쌍을 '좋은 쌍(good pairs)'으로 정의한다.
• 길이 감소형 화이트헤드 자기동형사를 사용하여 자기동형사상 궤도 내 최소 길이 표현을 찾는다.
• 최소 길이 화이트헤드 이동에서 '좋음'의 불변성을 활용하여 공통 분해의 존재 여부를 테스트한다.
• 궤도 내 최소 길이 쌍이 한 쌍이라도 양호하다면, 궤도 내 모든 최소 길이 쌍이 양호하다는 사실을 응용한다.

실험 결과

연구 질문

• RQ1 유한 생성 자유군의 두 자유곱 분해가 공통의 비자명한 타원성 원소를 가질 수 있는가?
• RQ2 유한 생성 자유군 내 두 쌍대류가 어떤 적절한 자유곱 분해에 대해 동시에 타원성이 될 수 있는가?
• RQ3 타원성 그래프에서 두 정점 간의 거리가 정확히 두임을 알고리즘적으로 결정할 수 있는가?
• RQ4 Aut(F)의 궤도에서 양호한 원소 쌍이 존재하는 조건은 무엇인가?
• RQ5 화이트헤드 자기동형사는 타원성 그래프에서 공통 타원성 여부를 확인하는 데 복잡도를 어떻게 줄일 수 있는가?

주요 결과

• 두 자유곱 분해가 공통의 비자명한 타원성 원소를 공유하는지 여부를 판단하는 알고리즘을 구축하였다.
• 두 쌍대류가 어떤 적절한 자유곱 분해에 대해 동시에 타원성이 되는지 여부를 판단하는 알고리즘을 구축하였다.
• 두 원소가 모두 타원성이 되는 공통 분해가 존재하는 것은 그 쌍의 최소 길이 궤도 내에 양호한 쌍이 존재하는 것과 동치이다.
• 어느 하나의 최소 길이 쌍이 양호하다면 궤도 내 모든 최소 길이 쌍이 양호하므로, 알고리즘의 정확성이 보장된다.
• 쌍대류에 대한 알고리즘은 스탤링스(1996)의 결과와 동치이며, 분해에 대한 알고리즘은 카포비치와 마이아스니코프(2002)의 결과에서 유도되지만, 본 논문은 새로운 구조적 서술을 제공한다.
• 이 방법은 자유 분할 그래프의 이웃성과 타원성 그래프에서의 거리 두가 동치임을 확인하여, Out(F)의 두 기하학적 모델을 연결한다.