[논문 리뷰] Automorphisms of rational manifolds of positive entropy with Siegel disks

Keiji Oguiso, Fabio Perroni|ArXiv.org|2009. 05. 26.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 정수 계수를 가진 복소수 프로젝티브 유리 다양체를 고차원으로 확장하여, 양의 엔트로피를 갖는 자기동형사상과 임의의 개수의 시겔 디스크를 갖는 구조를 구성한다. 이는 McMullen의 2차원 예제를 일반화한 것으로, McMullen의 유리 표면과 토릭 다양체의 곱 구조를 이용하고, 고유값에 대한 수론적 조건을 적용함으로써, 차원 ≥3 및 특히 ≥4인 경우 정확히 하나 또는 최대 N개의 시겔 디스크를 갖는 자기동형사상을 실현한다. 모든 시겔 디스크는 산술적 성질을 갖는다.

ABSTRACT

Using McMullen's rational surface automorphisms, we construct projective rational manifolds of higher dimension admitting automorphisms of positive entropy with arbitrarily high number of Siegel disks and those with exactly one Siegel disk.

연구 동기 및 목표

• McMullen의 2차원 유리 표면 자기동형사상(양의 엔트로피 및 하나의 산술적 시겔 디스크)을 고차원으로 확장한다.
• 프로젝티브 다양체에서 양의 엔트로피를 갖는 자기동형사상이 하나를 초월해 여러 개의 시겔 디스크를 가질 수 있는지 조사한다.
• 차원 ≥3에서 정확히 하나 또는 임의의 많은 수의 시겔 디스크를 갖는 예제를 구성함으로써, 고차원에서의 역학적 복잡성에 관한 열린 질문을 해결한다.
• 양의 엔트로피와 시겔 디스크의 공존이 고차원 유리 다양체에서 가능함을 입증하며, 영 엔트로피의 경우와 대비시킨다.

제안 방법

• McMullen의 유리 표면 자기동형사상과 프로젝티브 토릭 다양체의 곱 구조를 이용해 고차원 다양체를 구성한다.
• 코homological 엔트로피를 계산하기 위해 쿠른트 분해를 적용하고, 코homology에 유도된 작용의 스펙트럴 반경을 통해 양의 엔트로피를 보장한다.
• 고유값에 대한 수론적 조건 적용: 고정점에서의 곱 작용의 고유값이 단위 원 위에 있는 곱셈 독립적 대수적 정수임을 보장한다.
• 토릭 다양체 위에서의 호환 가능한 작용을 통해, 국소적으로 선형화된 작용의 고유값이 곱셈 독립적 단위(매우 중요한 단위, MAU)를 이루도록 자기동형사를 구성한다.
• p진 해석과 유한체 위의 고정점 수 계산을 통해 고정점의 수를 검증하고, 시겔 디스크의 유일성 또는 다중성을 확보한다.
• 세일름 추적 다항식과 역다항식을 활용하여, 대수적 정수를 통해 동역학적 차수와 엔트로피를 제어한다.

실험 결과

연구 질문

• RQ1 차원 ≥3에서 프로젝티브 다양체의 자기동형사상이 양의 엔트로피를 갖는 경우, 하나를 초월해 여러 개의 시겔 디스크를 가질 수 있는가?
• RQ2 짝수 차원 ≥4에서 정확히 하나의 시겔 디스크를 갖는 이러한 자기동형사를 구성하는 것은 가능한가?
• RQ3 이러한 자기동형사상에서의 시겔 디스크 수를 임의로 크게 만들 수 있는가?
• RQ4 고차원 역학계에서 다수의 시겔 디스크 존재를 보장하는 고유값에 대한 수론적 조건은 무엇인가?
• RQ5 자기동형사상의 곱 구조가 차원 간에 시겔 디스크 구조를 어떻게 유지하거나 생성하는가?

주요 결과

• 모든 정수 n ≥ 4와 모든 정수 N ≥ 1에 대해, 비특이 복소수 프로젝티브 유리 n-차원 다양체 X와 양의 엔트로피를 갖는 자기동형사상 g ∈ Aut(X)가 존재하며, 이는 최소 N개의 산술적 시겔 디스크를 갖는다.
• 3차원 비특이 복소수 프로젝티브 유리 3-차원 다양체 X와 양의 엔트로피를 갖는 자기동형사상 g ∈ Aut(X)가 존재하며, 이는 정확히 두 개의 산술적 시겔 디스크를 갖는다.
• 모든 짝수 정수 n ≥ 4에 대해, 비특이 복소수 프로젝티브 유리 n-차원 다양체 X와 양의 엔트로피를 갖는 자기동형사상 g ∈ Aut(X)가 존재하며, 이는 정확히 하나의 산술적 시겔 디스크를 갖는다.
• 이 구성은 McMullen의 유리 표면 자기동형사상과 토릭 다양체의 곱 시스템에 기반하며, 곱셈 독립성을 보장하는 고유값 조건을 포함한다.
• 엔트로피 h(g)는 양이며, 총 짝수 차수 코homology에서 g*의 스펙트럴 반경의 로그와 일치한다. 이 값은 대수적 정수이다.
• 다수의 시겔 디스크 존재는 곱 작용에서 길이 d+2인 곱셈 독립적 단위(MAU)의 구성에 의해 보장되며, 이는 단위 원 위에 있는 독립적 고유값을 갖는 국소 선형화를 보장한다.