[논문 리뷰] Every Infinite order mapping class has an infinite order action on the homology of some finite cover

Asaf Hadari|arXiv (Cornell University)|2015. 08. 06.

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

한 줄 요약

이 논문은 비아벨 자유 기본군을 가진 유한형 표면 위의 무한순서 사상류가 어떤 유한 가환체의 첫 번째 호모로지에 대해 무한순서로 작용함을 증명한다. 호모로지 그림자, 전이 그래프, 아벨 군 위의 푸리에 분석을 통해 저자들은 이러한 커버를 명시적으로 구성하며, 사상류 군 표현 이론에서 오랫동안 남아 있던 추측을 해결한다.

ABSTRACT

We prove the following well known conjecture: let $Σ$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $ϕ\in extup{Mod}(Σ)$ be a an infinite order mapping class. Then there exists a finite solvable cover $\widehatΣ o Σ$, and a lift $\widehatϕ$ of $ϕ$ such that the action of $\widehatϕ$ on $H_1(\widehatΣ, \mathbb{Z})$ has infinite order. Our main tools are the theory of homological shadows, which was previously developed by the author, and Fourier analysis

연구 동기 및 목표

• 비특이 표면 위의 모든 무한순서 사상류가 어떤 유한 커버의 호모로지에 대해 무한순서로 작용한다는 잘 알려진 추측을 해결하기 위해.
• 무한순서 호모로지 작용을 갖는 유한 가환체 커버를 구성하는 구축 가능한 방법을 확립하기 위해.
• 사상류 군의 호모로지 표현과 자유군의 자기동형사상에 관한 결과를 확장하여, 제어된 대수적 구조를 갖는 이러한 커버의 존재를 증명하기 위해.
• McMullen의 추측, 즉 유한 커버 전역에서 사상류 작용의 스펙트럴 반경이 양수임을 뒷받침하는 증거를 제공하기 위해.

제안 방법

• 저자들은 전이 그래프와 관련 행렬을 통해 사상류의 유한 커버에서의 작용을 분석하기 위해 호모로지 그림자의 이론을 사용한다.
• 비례가 큰 스펙트럴 성장이 있는 작용의 성분을 분리하기 위해 극한 부분그래프와 봉인된 정점을 정의한다.
• 유한 아벨 군 위의 푸리에 분석을 적용하여 호모로지 위의 함수의 추적을 추적함으로써, 커버 전역에서 고유값 행동을 연구할 수 있게 한다.
• 이 방법은 사상류를 아벨 커버로 올리고, 관련 행렬의 거듭제곱의 추적을 특성합을 사용하여 분석하는 것을 포함한다.
• 아벨 커버의 수열을 구성하고, 푸리에 변환에 의해 추적 함수의 상을 분석함으로써, 비영의 스펙트럴 성장을 탐지한다.
• 핵심 기술 도구는 특성다항식의 루트의 역푸리에 변환을 사용하여, 특성의 밀도가 높은 부분집합에서 영이 아닌 추적 항을 탐지하는 데 있다.

실험 결과

연구 질문

• RQ1 비아벨 자유 기본군을 가진 표면 위의 모든 무한순서 사상류는 어떤 유한 커버의 첫 번째 호모로지에 대해 무한순서로 작용하는가?
• RQ2 호모로지 표현은 유한 커버를 통해 사상류의 무한순서 성질을 탐지할 수 있는가?
• RQ3 원래 작용이 유한순서일지라도, 무한순서 작용을 호모로지에 갖는 유한 가환체 커버가 존재하는가?
• RQ4 McMullen의 추측에 따르면, 어떤 유한 커버에서라도 호모로지 작용의 스펙트럴 반경이 양수로 만들 수 있는가?
• RQ5 전이 그래프와 그 부분그래프의 구조를 사용하여 이러한 커버를 알고리즘적으로 구성할 수 있는가?

주요 결과

• 논문은 비아벨 자유 기본군을 가진 표면 위의 모든 무한순서 사상류에 대해, 그 사상류가 첫 번째 호모로지에 대해 무한순서로 작용하는 유한 가환체 커버가 존재함을 증명한다.
• 이 구성은 전이 그래프에서 봉인된 정점의 식별과 아벨 커버를 사용하여 호모로지 표현에서 스펙트럴 성장을 증폭시키는 데 기반한다.
• 저자들은 만약 부분그래프가 i-번째 수준의 노르베르트 봉인되어 있다면, 어떤 커버가 존재하여 단형 모노드로미 행렬의 k제곱의 추적이 무한히 많은 k에 대해 영이 아님을 보였다.
• 증명은 아벨 군의 이중군 위의 푸리에 분석을 사용하여 단위 원 밖의 고유값에서 기여가 비영임을 탐지하는 데 쓰인다.
• 이 방법은 결과 커버가 가환체임을 보장하여, 단지 유한성보다 더 강한 조건을 만족시킨다.
• 결과는 오랫동안 남아 있던 추측을 확인하며, 호모로지 표현에서의 무한순서 행동을 탐지하기 위한 구축 가능한 프레임워크를 제공한다.