[논문 리뷰] What an infra-nilmanifold endomorphism really should be

Karel Dekimpe|arXiv (Cornell University)|2010. 08. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 6

한 줄 요약

이 논문은 고전적 infra-nilmanifold 내적사상의 정의에 근본적인 결함이 있음을 밝히며, Franks, Gromov, Manning의 연구에서 핵심적으로 사용된 Auslander의 잘못된 정리에 기반한 결과들을 다룹니다. 특히, infra-nilmanifold 내적사상의 좁은 개념을 더 넓은 범주인 아핀 내적사상으로 대체할 것을 제안합니다. 아핀 내적사상은 확장 맵과 Anosov 미분형의 정확한 특성화에 필수적이고 충분함이 증명되었습니다.

ABSTRACT

Infra-nilmanifold endomorphisms were introduced in the late sixties. They play a very crucial role in dynamics, especially when studying expanding maps and Anosov diffeomorphisms. However, in this note we will explain that the two main results in this area are based on a false result and that although we can repair one of these two theorems, there remains doubt on the correctness of the other one. Moreover, we will also show that the notion of an infra-nilmanifold endomorphism itself has not always been interpreted in the same way. Finally, we define a slightly more general concept of the notion of an infra-nilmanifold endomorphism and explain why this is really the right concept to work with.

연구 동기 및 목표

• L. Auslander의 기본 정리에서 오류를 특정하고 수정함으로써 infra-nilmanifold 내적사상 이론의 기초를 바로잡는 것.
• 기존의 infra-nilmanifold 내적사상 정의가 확장 맵과 Anosov 미분형의 역학을 포괄하기에 부적절함을 입증하는 것.
• 자기사상의 연구를 위한 보다 일반적인 개념인 아핀 내적사상으로 일반화된 프레임워크를 제안하는 것.
• Gromov의 확장 맵에 대한 결과는 아핀 내적사상 프레임워크를 통해 복구 가능하나, Manning의 Anosov 미분형에 대한 결과는 새로운 프레임워크 하에서 일반적으로 아직 증명되지 않은 상태임을 보여주는 것.
• Hirsch의 원래 정의와 Franks, Shub의 후속 잘못된 해석 사이의 차이를 명확히 하고, 일관되고 정확한 용어와 이론 체계를 수립하는 것.

제안 방법

• Hirsch의 원래 정의와 Franks의 후속 해석 간의 역사적 발전과 모순을 분석함.
• Auslander의 정리 2의 잘못된 진술과 증명이 문헌에서 여러 오류 결과의 근본 원인임을 규명함.
• Aff(N) = N ⋊ Aut(N)의 작용을 통해 정의되는 아핀 내적사상의 개념을 도입하여 infra-nilmanifold 내적사상의 일반화를 시도함.
• 기본군 Γ ⊆ Nℚ ⋊ F의 유리수 실현을 이용해 자기동형사상을 올리고, Anosov 미분형으로부터 초평탄한 아핀 자기동형사를 구성함.
• 거의 평탄한 기본군과 호로노미 군 이론을 적용하여, 모든 infra-nilmanifold가 유한 차수의 nilmanifold에 의해 피복됨을 보임.
• 모든 Anosov 미분형 f가 infra-nilmanifold 위에 존재할 경우, Aff(N)의 원소에 의한 쌍대변환을 통해 어떤 양의 거듭제곱 fⁿ이 초평탄한 infra-nilmanifold 자기동형사상과 호모토피가 됨을 보임.

실험 결과

연구 질문

• RQ1 왜 고전적 infra-nilmanifold 내적사상 정의가 확장 맵과 Anosov 미분형의 역학을 포괄하기에 부적절한가?
• RQ2 Auslander의 정리 2의 잘못된 진술이 infra-nilmanifold 내적사상 이론의 핵심 결과들에 어떤 방식으로 악영향을 미치는가?
• RQ3 infra-nilmanifold 위에서의 확장 맵과 Anosov 미분형 이론은 infra-nilmanifold 내적사상보다 더 넓은 클래스의 사상으로 복구될 수 있는가?
• RQ4 모든 infra-nilmanifold 위의 Anosov 미분형은 초평탄한 아핀 자기동형사상과 위상적으로 동치인가?
• RQ5 자기사상의 호모토피류를 모두 표현할 수 있는, infra-nilmanifold 위에서 가장 일반적이고 정확한 사상의 클래스는 무엇인가?

주요 결과

• L. Auslander의 기본 결과(문헌 [1]의 정리 2)는 진술과 증명 양쪽에서 잘못되어 있으며, 이는 Franks의 논문 [7]과 그 응용 결과들을 무효화함.
• Franks와 Shub가 사용한 infra-nilmanifold 내적사상의 고전적 정의는 Hirsch의 원래 정의와 동치가 아니며, 잘못된 결론을 초래함.
• Aff(N) = N ⋊ Aut(N)의 원소에 의해 유도되는 아핀 내적사상의 클래스는 infra-nilmanifold 자기사상 연구에 더 넓고 적절한 프레임워크임.
• Gromov의 확장 맵이 infra-nilmanifold 내적사상과 위상적으로 동치임을 보여주는 결과는 아핀 내적사상 프레임워크로 대체함으로써 복구 가능함.
• Nilmanifold의 경우, A. Manning의 Anosov 미분형이 초평탄한 자기동형사상과 동치임을 보여주는 결과는 그대로 유지되나, infra-nilmanifold로의 일반화는 아직 증명되지 않음.
• Infra-nilmanifold가 Anosov 미분형을 가질 조건은 그 기본군이 초평탄한 자기동형사를 가질 때이며, 그러한 미분형은 유한 차수의 거듭제곱을 거쳐 초평탄한 아핀 자기동형사상과 위상적으로 동치임.