[논문 리뷰] Transitivity of Surface Dynamics Lifted to Abelian Covers

Philip Boyland|ArXiv.org|2008. 04. 14.

Mathematical Dynamics and Fractals참고 문헌 16인용 수 3

한 줄 요약

이 논문은 컴acts 표면 위의 rel pseudo-Anosov 사상에 대해 세 조건의 동치성을 증명한다: (a) $H_1$-전이성, (b) 1차 호모로지에 대한 작용의 스펙트럴 반경이 1인 것, (c) 보편 아벨 쌍대피복에 올린 불안정 폴로노미아의 밀도 있는 잎이 존재하는 것. 증명은 전이성을 비틀린 ${\mathbb{Z}}^d$-확장된 유한형 전이 하위시그마의 특성화에 기반하며, 이는 각도 집합과 유한한 올림 성질을 사용한다.

ABSTRACT

A homeomorphism f of a manifold M is called H_1-transitive if there is a transitive lift of an iterate of f to the universal Abelian cover M. Roughly speaking, this means that f has orbits which repeatedly and densely explore all elements of H_1(M). For a rel pseudo-Anosov map ϕof a compact surface M we show that the following are equivalent: (a) ϕis H_1-transitive, (b) the action of ϕon H_1(M) has spectral radius one, and (c) the lifts of the invariant foliations of ϕto M have dense leaves. The proof relies on a characterization of transitivity for twisted \Z^d-extensions of a transitive subshift of finite type.

연구 동기 및 목표

• 컴 pact 표면 위의 rel pseudo-Anosov 사상에 대한 $H_1$-전이성을 대수적, 동역학적, 위상수학적 불변량을 사용하여 특성화하기.
• 사상의 $H_1(M)$에 대한 작용의 스펙트럴 반경과 그 보편 아벨 쌍대피복으로의 올린 사상의 전이성 사이의 정확한 연결 고리 설정하기.
• 올린 불안정 폴로노미아의 잎이 보편 아벨 쌍대피복에서 언제 밀도를 가질지 규명하기.
• 기존의 비틀린 스케우프로덕트 결과를 rel pseudo-Anosov 역학에서 발생하는 비자명한 호모로지적 비틀림의 경우로 확장하기.

제안 방법

• 각도 집합과 유한한 올림 성질을 사용하여 전이 하위시그마의 비틀린 ${\mathbb{Z}}^d$-확장을 전이성으로 특성화하기.
• Fried의 몫 구조를 사용하여 보편 아벨 쌍대피복으로의 올린 동역학 분석하기.
• 전이성에 필요한 '모든 방향' 조건을 형식화하기 위해 회전 벡터와 각도 집합의 개념 적용하기.
• 기호 모델과 올린 다양체 사이의 준等거리성을 활용하여 쌍대피복에서의 동역학을 호모로지 행동과 연결하기.
• 유한한 올림 성질을 핵심 도구로 활용하여 기저에서의 전이성이 적절한 조건 하에 쌍대피복에서의 전이성으로 이어짐을 보장하기.
• Baire의 분류 정리를 사용하여, 적어도 하나의 잎이 밀도가 있을 경우, 그 잎이 밀도를 가진 점들의 집합이 조밀한 $G_\delta$-집합임을 보여주기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 rel pseudo-Anosov 사상 $\phi$는 $H_1$-전이성인가?
• RQ2 사상의 $H_1(M)$에 대한 작용의 스펙트럴 반경은 보편 아벨 쌍대피복으로의 올린 사상의 전이성과 어떻게 관련되는가?
• RQ3 올린 불안정 폴로노미아의 잎이 언제 보편 아벨 쌍대피복에서 밀도를 가지는가?
• RQ4 올린 동역학의 각도 집합은 전이성을 결정하는 데 어떤 역할을 하는가?
• RQ5 유한한 올림 성질은 비자명한 비틀림을 가진 유한형 전이 하위시그마의 확장에서 전이성을 특성화하는 데 사용될 수 있는가?

주요 결과

• rel pseudo-Anosov 사상 $\phi$는 $\phi_*$가 $H_1(M)$에 작용할 때 스펙트럴 반경이 정확히 1이면 $H_1$-전이성이다.
• 만약 $\phi_*$의 스펙트럴 반경이 1이면, 보편 아벨 쌍대피복 $\tilde{M}$에서 올린 불안정 폴로노미아 $\tilde{\mathcal{F}}^u$의 잎 중 하나가 밀도를 가진다.
• $\phi$가 $H_1$-전이성일 때, $\tilde{M}$ 내에서 불안정 잎이 밀도를 가진 점들의 집합은 조밀한 $G_\delta$-집합이다.
• 비자명한 잎은 항상 $\tilde{M}$에서 유계적이지 않으며, 밀도가 없을 수도 있다.
• 스펙트럴 반경이 1이어도, 올린 폴로노미아의 비자명한 잎은 항상 밀도를 가지지 않는다.
• $\rho(\phi_*) \neq 1$이면, $\tilde{M}$에서 올린 폴로노미아의 어떤 잎도 밀도를 가지지 않는다.