[논문 리뷰] Ideal Whitehead graphs in Out(Fr). I. Some unachieved graphs

Catherine Pfa|arXiv (Cornell University)|2015. 01. 01.

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

한 줄 요약

이 논문은 핸델과 모셔(2011)가 제기한 질문에 대해 부정적으로 답변한다. 즉, 모든 연결된, 단순한, (2r−1)-정점 그래프가 Out(Fr)의 완전히 기약 가능한 외부 자기동형사상의 이상 화이트헤드 그래프가 될 수 있는가에 대한 질문이다. 각 랭크 r에 대해 명시적인 반례를 구성함으로써, 저자들은 일부 (2r−1)-정점 그래프가 이상 화이트헤드 그래프로 나타나지 못함을 입증하며, 자유군 외부 자기동형사상군 내에서 완전히 기약 가능한 자기동형사상의 연구에 근본적인 장애물이 있음을 밝혀낸다.

ABSTRACT

Masur and Smillie, 1993, proved precisely which singularity index lists arise from pseudo-Anosov mapping classes. In search of an analogous theorem for outer automorphisms of free groups, Handel and Mosher, 2011, ask: Is each connected, simplicial, (2r 1)-vertex graph the ideal Whitehead graph of a fully irreducible 2 Out(Fr)? We answer this question in the negative by exhibiting, for each r, examples of connected (2r-1)-vertex graphs that are not the ideal Whitehead graph of any fully irreducible 2 Out(Fr). In the course of our proof we also develop machinery used in Pfa, 2012, to fully answer the question in the rank-three case.

연구 동기 및 목표

• Out(Fr) 내에서 모든 연결된, 단순한, (2r−1)-정점 그래프가 완전히 기약 가능한 자기동형사상의 이상 화이트헤드 그래프로 실현될 수 있는가를 결정하는 것.
• 마수르와 스밀리(1993)의 편의안소프 매핑클래스에 대한 특이점 인덱스 목록에 대한 정리의 Out(Fr)에 대한 추측적 동반자 문제를 다루는 것.
• 일부 (2r−1)-정점 그래프가 완전히 기약 가능한 자기동형사상의 이상 화이트헤드 그래프로 나타나지 못하게 하는 구조적 장애를 규명하는 것.
• 후에 Pia(2012)에서 사용된 바와 같이, 랭크 3의 경우 이상 화이트헤드 그래프의 분류에 적용 가능한 기본 도구를 개발하는 것.

제안 방법

• Out(Fr) 내에서 어떤 완전히 기약 가능한 자기동형사상의 이상 화이트헤드 그래프로도 실현될 수 없는 연결된 (2r−1)-정점 그래프의 명시적 예를 구성하는 것.
• 이상 화이트헤드 그래프의 구조에 대한 조합적 및 위상적 제약 조건을 이용해 일부 그래프를 배제하는 것.
• 완전히 기약 가능한 자기동형사상의 역학성과 그에 관련된 트레인 트랙 대표자를 분석하여 이상 화이트헤드 그래프에 필요한 조건을 도출하는 것.
• 트레인 트랙 이론과 자유요소복합체의 구조에서 유도된 결과를 적용하여 가능한 이상 화이트헤드 그래프를 제약하는 것.
• 이상 화이트헤드 그래프가 자유군의 경계 위에서 자기동형사상의 작용으로부터 유도되어야 한다는 사실을 활용하는 것.
• 일부 (2r−1)-정점 그래프의 정점 연결성과 차수 패턴이 완전히 기약 가능한 자기동형사상의 역학성과 호환되지 않는다는 것을 입증하는 것.

실험 결과

연구 질문

• RQ1 모든 연결된, 단순한, (2r−1)-정점 그래프가 Out(Fr) 내에서 완전히 기약 가능한 자기동형사상의 이상 화이트헤드 그래프로 실현될 수 있는가?
• RQ2 일부 (2r−1)-정점 그래프가 완전히 기약 가능한 자기동형사상의 이상 화이트헤드 그래프로 실현되지 못하게 하는 조합적 장애가 존재하는가?
• RQ3 완전히 기약 가능한 자기동형사상의 역학적 성질이 그 이상 화이트헤드 그래프의 구조를 어느 정도 제약하는가?
• RQ4 Out(Fr) 내 이상 화이트헤드 그래프의 제약 조건은 매핑클래스 군 설정에서의 특이점 인덱스 목록 제약 조건과 어떻게 비교되는가?
• RQ5 어떤 그래프의 구조적 특징이 완전히 기약 가능한 자기동형사상에 대해 이상 화이트헤드 그래프로 실현되지 못하게 하는가?

주요 결과

• 모든 랭크 r ≥ 2에 대해, Out(Fr) 내 어떤 완전히 기약 가능한 자기동형사상의 이상 화이트헤드 그래프로도 실현되지 않는 연결된, 단순한, (2r−1)-정점 그래프가 존재한다.
• 이 장애는 완전히 기약 가능한 자기동형사상의 역학성과 호환되지 않는 정점 차수와 연결성의 조합적 제약 조건에서 기인한다.
• 논문은 이러한 실현 불가 그래프의 명시적 구성법을 제공하며, 실현 가능한 이상 화이트헤드 그래프의 집합이 모든 (2r−1)-정점 그래프의 집합보다 엄밀히 작다는 것을 입증한다.
• 결과적으로, 마수르와 스밀리(1993)의 매핑클래스에 대한 결과와 자유군의 외부 자기동형사상 간 이상 화이트헤드 그래프 실현 가능성에서 근본적인 차이를 드러낸다.
• 이 연구에서 개발된 방법론은 후에 Pia(2012)에서 완성된 랭크 3의 경우 이상 화이트헤드 그래프의 완전한 분류를 위한 기초를 마련한다.
• 분석 결과, 연결되고 단순한 그래프일지라도, 일부 (2r−1)-정점 그래프는 완전히 기약 가능한 자기동형사상의 이상 화이트헤드 그래프가 되기 위한 필수 조건을 충족하지 못함을 드러낸다.