[논문 리뷰] Questions on self maps of algebraic varieties

Najmuddin Fakhruddin|ArXiv.org|2002. 12. 16.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 122

한 줄 요약

이 논문은 암시적 선다발을 텐서 거듭제곱으로 보존하는 대수다양체의 자기매핑을 조사하며, 그 산술적 및 기하적 성질에 초점을 맞춘다. 이는 프로젝티브 다양체에서 이러한 매핑이 프로젝티브 공간으로 확장될 수 있음을 증명하고, 주기점들의 조르지 밀도를 입증하며, 동역학 시스템의 추측을 아벨 다양체의 토르션의 균일한 유계성과 같은 깊은 산술 문제와 연결한다.

ABSTRACT

In this note we discuss some arithmetic and geometric questions concerning self maps of projective algebraic varieties.

연구 동기 및 목표

• 암시적 선다발을 텐서 거듭제곱으로 보존하는 자기매핑을 갖는 프로젝티브 다양체의 구조와 분류를 이해하기 위해.
• 특히 캐논리컬 높이 함수와 유리점과의 관련성에서 이러한 자기매핑의 산술적 함의를 조사하기 위해.
• 프로젝티브 공간에서의 동역학 시스템과 아벨 다양체에서의 토르션의 균일한 유계성과 같은 심층적인 산술기하학의 추측 간의 연결 고리를 탐색하기 위해.
• 다른 대수다양체들 중에서 프로젝티브 공간이 자기매핑의 구조에 의해 유일하게 특징지워지는지 판단하기 위해.
• 이러한 자기매핑 하에서 주기점들의 조르지 밀도를 확립하기 위해, 이는 핵심적인 동역학적 성질이다.

제안 방법

• 암시적 선다발 이론과 그의 역상에 기반하여 다양체에서 프로젝티브 공간으로의 매핑을 구성하기 위해.
• 전역 절단에 대한 역상 매핑의 전성 조건을 적용하여, 자기매핑이 프로젝티브 공간으로 확장될 수 있음을 보장하기 위해.
• 이미지 다양체가 차수 ≤ d인 형식들로 잘린다는 조건을 활용하여 확장이 매핑임을 보장하기 위해.
• 정의 방정식의 수에 대한 귀납법을 적용하여 확장된 매핑이 곳곳에서 잘 정의되어 있음을 보장하기 위해.
• 에테일 호몰로지와 딱성 조건을 적용하여 이러한 자기매핑이 반드시 유한 매핑이어야 한다는 것을 증명하기 위해.
• 모델 이론적 및 변형 이론적 기법을 사용하며, 이산 평가환주의를 통한 주기점의 끌어올리기 방법을 활용하여, 양의 및 혼합 특성에서의 조르지 밀도를 입증하기 위해.

실험 결과

연구 질문

• RQ1 암시적 선다발을 텐서 거듭제곱으로 보존하는 프로젝티브 다양체의 자기매핑은 항상 프로젝티브 공간의 자기매핑으로 확장될 수 있는가?
• RQ2 이러한 자기매핑이 프로젝티브 공간에서 가지는 역학적 성질은 아벨 다양체의 산술적 성질을 어느 정도 반영하거나 암시하는가?
• RQ3 이러한 자기매핑 하에서 주기점들의 집합은 다양체에서 조르지 밀도를 이룬다 할 수 있는가?
• RQ4 모어턴-실버먼의 프로젝티브 공간에서의 동역학 시스템에 대한 균일한 유계성 추측이 아벨 다양체에서의 토르션의 균일한 유계성을 암시할 수 있는가?
• RQ5 프로젝티브 공간 이외의 다양체들도 주어진 선다발 성질을 갖는 자기매핑을 가질 수 있는가?

주요 결과

• d > 1일 때 φ*(L) ≅ L^⊗d 를 만족하는 선다발을 갖는 프로젝티브 다양체의 자기매핑은 일정한 호몰로지적 및 집합론적 조건을 만족하는 임bedding이 있으면, 프로젝티브 공간 위의 매핑으로 확장될 수 있다.
• 다양체가 매우 암시적 선다발을 통해 임베딩되고 이미지가 차수 ≤ d인 형식들로 잘린다면, 이러한 확장의 존재는 보장된다.
• 이러한 자기매핑의 주기점 집합은 다양체에서 조르지 밀도를 이룬다. 이는 이산 평가환주의를 통한 끌어올림 추론과 양의 특성에서 허슈프스키의 정리를 활용하여 입증되었다.
• 특수 섬유에서 주기점의 유한성은 주기점이 일반 섬유로 끌어올릴 수 있음을 암시하며, 이는 추천 차수에 대한 귀납법을 가능하게 한다.
• P^N에서 차수 d인 매핑에 대한 모어턴-실버먼의 균일한 유계성 추측은, 랑의 추측을 가정할 경우, 수체수에서 아벨 다양체의 토르션의 균일한 유계성을 암시한다.
• 주어진 선다발 성질을 갖는 자기매핑은 에테일 호몰로지와 코homology 군의 유한 차원성에 기반한 모순을 이용하여 반드시 유한 매핑이어야 한다는 것이 입증되었다.