[논문 리뷰] The third smallest Salem number in automorphisms of K3 surfaces

Keiji Oguiso|ArXiv.org|2009. 05. 14.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 제3으로 알려진 세일러 수를 위상적 엔트로피로 갖는 K3 표면 자기동형사상의 구축을 통해, 시겔 디스크와 점별 고정된 유리 곡선의 고유한 조합을 실현한다. 또한, 특성다항식의 mod 2 환원과 격자 이론적 제약 조건을 이용하여, 가장 작은 세일러 수(레허머 수)는 어떤 엔리케스 표면 자기동형사상의 위상적 엔트로피로도 실현될 수 없음을 증명한다.

ABSTRACT

We realize the logarithm of the third smallest known Salem number as the topological entropy of a K3 surface automorphism with a Siegel disk and a pointwisely fixed curve at the same time. We also show the logarithm of the Lehmer number, the smallest known Salem number, is not realizable as the topological entropy of any Enriques surface automorphism. These results are entirely inspired by McMullen's works and Mathematica programs.

연구 동기 및 목표

• 제3으로 알려진 세일러 수를 위상적 엔트로피로 갖는 K3 표면 자기동형사상의 구축.
• K3 표면 자기동형사상에서 시겔 디스크와 점별 고정된 유리 곡선의 공존을 입증하는 것.
• 가장 작은 알려진 세일러 수(레허머 수)가 엔리케스 표면 자기동형사상의 위상적 엔트로피로 실현될 수 있는지 여부를 규명하는 것.
• 엔리케스 표면 격자 맥락에서 특성다항식의 mod 2 환원을 통해 구조적 제약 조건을 설정하는 것.

제안 방법

• 8개의 유리 곡선으로 구성된 E8(-1) 구조와 자명한 캐논리컬 번들, 대수적 차원 0을 확보하는 K3 표면 S를 구축한다.
• 코homology 위에서 스펙트럴 반경이 제3으로 작은 세일러 수가 되도록 하는 자기동형사상 g를 정의한다.
• g의 고정점 집합을 분석하여, 하나의 유리 곡선과 8개의 고립된 점으로 이루어져 있으며, 시겔 디스크는 오직 한 개의 고립된 점에서만 존재함을 보인다.
• 캐논리컬 클래스의 직교보에 대한 와일 군 작용을 이용하여, 자기동형사상을 코克斯터 클래스를 통해 모델링한다.
• 엔리케스 격자에서 자기동형사상의 특성다항식에 대해 mod 2 환원을 적용하여, 불가능성 조건을 탐지한다.
• Mathematica 계산을 활용하여 레허머 다항식과 관련 세일러 다항식의 mod 2 환원의 기약 인수분해를 검증한다.

실험 결과

연구 질문

• RQ1 제3으로 알려진 세일러 수는 시겔 디스크와 점별 고정된 곡선을 동시에 갖는 K3 표면 자기동형사상의 위상적 엔트로피로 실현될 수 있는가?
• RQ2 엔리케스 표면 자기동형사상이 레허머 수의 로그와 같은 위상적 엔트로피를 가질 수 있는가?
• RQ3 격자 조건과 mod 2 제약 조건을 고려할 때, 어떤 세일러 수가 엔리케스 표면 자기동형사상의 위상적 엔트로피로 실현될 수 있는가?
• RQ4 시겔 디스크와 고정 곡선을 갖는 K3 표면 자기동형사상에서 실현 가능한 최소 세일러 수는 무엇인가?
• RQ5 콤���트 하이퍼카일러 다양체는 그 다양체 차원의 절반과 같은 차원의 시겔 디스크를 갖는 자기동형사상을 가질 수 있는가?

주요 결과

• 위상적 엔트로피가 제3으로 알려진 세일러 수의 로그(약 log(1.200026523))와 일치하는 K3 표면 자기동형사상이 구축되었다.
• 자기동형사상은 매끄러운 유리 곡선과 8개의 고립된 점을 고정하며, 시겔 디스크는 E8(-1) 구성과 겹치지 않는 한 개의 고립된 점에서만 존재한다.
• K3 표면의 자기동형사상군은 g에 의해 생성되는 무한 순환군이며, 표면에는 8개의 유리 곡선 외에 다른 기약 곡선이 존재하지 않는다.
• 레허머 수의 로그(가장 작은 알려진 세일러 수)는 어떤 엔리케스 표면 자기동형사상의 위상적 엔트로피로도 실현될 수 없다.
• 레허머 다항식의 mod 2 환원은 두 개의 기약 오차다항식으로 분해되며, 이는 엔리케스 격자 내 실현 가능성에 필요한 조건을 위반한다.
• 다섯 번째로 작은 알려진 세일러 수(1.216391...) 역시 유사한 mod 2 인수분해 제약 조건으로 인해 엔리케스 표면 자기동형사상의 위상적 엔트로피로 실현될 수 없다.