[논문 리뷰] $Out(F_3)$ Index Realization

Catherine Pfaff|arXiv (Cornell University)|2013. 11. 18.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 6

한 줄 요약

이 논문은 GJLL98 인덱스 합 부등식과 일관된 인덱스 리스트 중에서 $Out(F_3)$ 내의 완전히 기약적인 외부 자기동형사상에 의해 실현되는 것들을 규명한다. 기차 tracks 대표를 사용하여, 여섯 가지 가능한 인덱스 리스트 각각에 대해 명시적인 자기동형사를 구성함으로써, 연결된 국소 화이트헤드 그래프와 주기적 니얼스 경로의 부재를 통해 실현 가능성과 실현 가능성을 입증함으로써, $Out(F_3)$에 대한 마수르-실밀레 정리의 유사성을 완성한다.

ABSTRACT

By proving precisely which singularity index lists arise from the pair of invariant foliations for a pseudo-Anosov surface homeomorphism, Masur and Smillie determined a Teichmueller flow invariant stratification of the space of quadratic differentials. In this paper we determine an analog to the theorem for $Out(F_3)$. That is, we determine which index lists permitted by the Gaboriau-Jaeger-Levitt-Lustig index sum inequality are achieved by fully irreducible outer automorphisms of the rank-$3$ free group.

연구 동기 및 목표

• GJLL98 부등식을 만족하는 인덱스 리스트 중에서 $Out(F_3)$ 내의 완전히 기약적인 외부 자기동형사상에 의해 실현되는 것들을 규명하는 것.
• 비기하학적 자기동형사상에 대해서도 $Out(F_r)$ 설정으로 마수르-실밀레 편안한 자기동형사상 인덱스 정리의 일반화를 수행하는 것.
• $Out(F_3)$의 순수한 인덱스 리스트 각각에 대해 기차 tracks 대표를 명시적으로 구성하는 것.
• 연결된 국소 화이트헤드 그래프와 주기적 니얼스 경로의 부재를 통해 실현 가능성을 검증하는 것.
• $Out(F_3)$ 내의 완전히 기약적인 자기동형사상에 대한 인덱스 리스트의 완전한 분류를 수립하는 것.

제안 방법

• $Out(F_3)$ 내의 여섯 가지 허용 가능한 인덱스 리스트 각각에 대해 명시적인 기차 tracks 대표를 구성하는 것.
• 각 대표가 페론-프로베니우스 전이 행렬을 가짐을 입증하기 위해, 각 간선이 충분히 높은 거듭제곱을 거쳐 다른 모든 간선을 포함함을 보이는 것.
• 각 정점에 대해 국소 화이트헤드 그래프를 계산하고, 연결성을 확인하여 주기적 니얼스 경로가 존재하지 않음을 확인하는 것.
• 주기적 방향으로 제한하여 이상 화이트헤드 그래프를 결정하고, 이로부터 인덱스 리스트를 유도하는 것.
• 이중 $mathbb{R}$-트리의 분지점에 대한 불변량 $1 - \frac{k}{2}$ 을 사용하여, 차수 $k$ 에서 인덱스를 계산하는 것.
• 주기적 니얼스 경로가 없고, PF 전이 행렬이 있으며, 국소 화이트헤드 그래프가 연결되어 있음을 바탕으로 완전한 기약성 기준(FIC)을 이용하여 완전한 기약성을 확인하는 것.

실험 결과

연구 질문

• RQ1 GJLL98 부등식을 만족하는 $0 > i(\phi) \geq 1 - r$ 를 만족하는 인덱스 리스트 중에서 $Out(F_3)$ 내의 완전히 기약적인 자기동형사상에 의해 실현되는 것은 무엇인가요?
• RQ2 각 인덱스 리스트는 비기하학적, 완전히 기약적인 외부 자기동형사상에 의해 실현될 수 있는가요?
• RQ3 국소 화이트헤드 그래프와 주기적 니얼스 경로의 부재는 인덱스 리스트의 실현 가능성 검증에 어떻게 기여하는가요?
• RQ4 이상 화이트헤드 그래프는 $Out(F_3)$ 내에서 인덱스 리스트를 불변량으로서 더욱 정밀하게 세분화할 수 있는 정도는 어느 정도인가요?
• RQ5 완전히 기약적인 자기동형사상에 대한 인덱스 리스트는 순수한 3차원에서 완전한 분류가 가능한가요?

주요 결과

• GJLL98 부등식을 만족하는 여섯 가지 인덱스 리스트는 모두 $Out(F_3)$ 내에서 실현된다: $(-\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2})$, $(-\frac{1}{2}, -1)$, $(-\frac{3}{2})$, $(-\frac{1}{2}, -\frac{1}{2})$, $(-1)$, 그리고 $(-\frac{1}{2})$.
• 각 인덱스 리스트는 페론-프로베니우스 전이 행렬과 연결된 국소 화이트헤드 그래프를 가진 명시적인 기차 tracks 대표에 의해 실현된다.
• 주기적 니얼스 경로의 부재는 이상 화이트헤드 그래프가 주기적 방향에서 정확히 계산될 수 있도록 보장하여, 정확한 인덱스 계산이 가능해진다.
• 인덱스 리스트 $(-\frac{3}{2})$ 는 이중 $mathbb{R}$-트리 내에서 차수 4의 단일 분지점에 의해 실현된다.
• 인덱스 리스트 $(-1)$ 은 세 개의 꽃잎을 가진 장미 위의 대표에 의해 실현되며, 이는 단일 분지점의 차수 4에 해당한다.
• 인덱스 리스트 $(-\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2})$ 는 다섯 개의 간선을 가진 그래프 위의 대표에 의해 실현되며, 이는 각각 차수 3인 세 개의 분지점에 해당한다.