[논문 리뷰] The arithmetic Hodge index theorem for adelic line bundles II

Xinyi Yuan, Shou-Wu Zhang|arXiv (Cornell University)|2013. 04. 12.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 14

한 줄 요약

이 논문은 ℚ 위의 유한 생성 체 위의 사영 다양체에 대한 아델릭 선다발에 대해 산술 호지 인덱스 정리를 확장하여, 수체 위에서의 이전 결과들을 일반화한다. 비어 있는 조건과 유계성 조건 하에서, 적분 가능한 아델릭 선다발의 제곱이 구조 사상에 대해 자명한 편성인 것과 그 선다발이 기저 체로부터 올려진 것임과 동치임을 증명하며, 이는 대수적 동역학에서 전주기 점들의 강성에 응용된다.

ABSTRACT

This is the second paper of a series. It extends the results of the first paper from number fields to finitely generated fields, based on the recent theory of adelic line bundles of the same authors. We prove an arithmetic Hodge index theorem for these adelic line bundles, and apply the theorem to obtain a rigidity property of the sets of preperiodic points of polarizable algebraic dynamical systems over any field.

연구 동기 및 목표

• 수체에서의 산술 호지 인덱스 정리를 ℚ 위의 유한 생성 체로 일반화하기.
• 그러한 체 위에서 균형 잡힌 대수적 동역계에서 전주기 점들의 강성 정리 수립하기.
• 이전 아라켈로프 기하학의 연구를 바탕으로, 유한 생성 체 위의 준사영 다양체에 대한 아델릭 선다발 이론 확장하기.
• 적절한 양성 및 유계성 조건 하에서, 아델릭 선다발의 제곱의 편성의 수치적 자명성이 기저 체로부터의 올림임을 특징짓는다는 것을 증명하기.

제안 방법

• YZ2에서 개발된 유한 생성 체 위의 아델릭 Q-선다발 이론을 활용하여, 비음성 및 적분 가능 클래스 정의하기.
• 양성 개념 도입: 준효과성, 수치적 자명성, 그리고 아델릭 선다발에 대한 '≫0' 및 '유계성' 조건.
• 델리뉴 쌍대와 절대 교차곱을 적용하여 다양체 위의 교차수를 기저 체 위의 교차수와 연결하기.
• 모델 위의 비음성 헤르미트 선다발 수열을 이용한 극한 추론을 통해 M²의 편성의 수치적 자명성을 보여주기.
• YZ2, Thm. 5.3.3에서 유도된 기본 부등식을 고도 함수와 본질적 최소값에 적용하여 성장도를 통제하고 교차수의 소멸을 유도하기.
• 버티니의 정리와 극한 추론을 활용하여, Q가 임의의 d개의 앰플라인 선다발과의 교차에서 0이 됨을 보여주어 수치적 자명성을 유도하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 아델릭 선다발의 제곱의 편성이 기저 체에서 수치적으로 자명한가?
• RQ2 편성의 수치적 자명성이 선다발이 기저 체로부터의 올림임을 의미하는가?
• RQ3 산술 호지 인덱스 정리는 수체에서 ℚ 위의 유한 생성 체로 어떻게 일반화될 수 있는가?
• RQ4 양성 및 유계성 조건은 아델릭 선다발의 올림을 특징짓는 데 어떤 역할을 하는가?
• RQ5 준사영 다양체 위의 아델릭 선다발 이론은 대수적 동역학에서 전주기 점의 연구를 어떻게 지원하는가?

주요 결과

• π에 의한 M²·L₁⋯Lₙ₋₁의 편성은 M·L₁⋯Lₙ₋₁ = 0 이고 각 Lᵢ가 비음성 및 크기일 때 ŜPic(K)ₙₜ에서 수치적으로 자명하다.
• 각 Lᵢ ≫ 0 이고 M이 Lᵢ-유계일 때, 편성이 수치적으로 자명한 것은 M이 ŜPic(K)ₙₜ에서 π*의 상에 속해 있을 때이고 그 때에만 성립한다.
• 증명은 Q의 계열이 ŜPic(V_Q/ℚ)에서 수치적으로 자명하다는 것을 보여주는 데 기반하며, 고도 함수를 유계하고 기본 부등식을 적용한다.
• 암시적 헤르미트 선다발의 본질적 최소는 총 고도의 (d+1)승의 배수로 아래에서 유계지며, 이는 교차수의 소멸을 이끈다.
• 모든 앰플라인 H에 대해 Q·H^d = 0 이면, 모든 헤르미트 선다발 Hᵢ에 대해 Q·H₁⋯H_d = 0 이 되며, 이는 수치적 자명성을 확립한다.
• 결과는 수체에서의 산술 호지 인덱스 정리를 ℚ 위의 유한 생성 체로 일반화하며, 이는 이전의 수체 및 함수체에 대한 연구를 확장한다.