[논문 리뷰] On heights of motives with semistable reduction

Teruhisa Koshikawa|arXiv (Cornell University)|2015. 05. 07.

Mathematics and Applications참고 문헌 19인용 수 7

한 줄 요약

이 논문은 수체 위의 정수 계수 순수 모티프에 대해 Faltings의 유한성 및 유계성 결과를 일반화하며, 정수 p진 호지 이론을 사용하여 이소지니에 관하여 불변인 높이를 정의한다. 주요 기여는 고정된 모티프와 이소지니적일 경우, 전지역에서 준정적 감소를 갖는 모티프들의 높이 집합이 유한함을 증명하는 것으로, 모티프에 대해 Faltings의 정리들과 유사한 기본적인 유한성 성질을 확립한다.

ABSTRACT

We study heights of motives with integral coefficients over number fields introduced by Kato. It is a generalization of the Faltings height of an abelian variety and we establish generalizations of some properties of the Faltings height in our context as conjectured by Kato. This sheds some light on integral structures of motives.

연구 동기 및 목표

• 수체 위의 순수 Z-모티프에 대해 Faltings의 아벨 다양체에 대한 유한성 및 유계성 정리들을 일반화한다.
• 정수 p진 호지 이론을 사용하여 준정적 감소를 갖는 모티프에 대해 이소지니에 관하여 불변인 높이를 정의한다.
• 아벨 다양체에 대한 Faltings의 유계성과 유사한, 모티프의 이소지니 클래스에 대한 유계성 결과를 확립한다.
• 높이 이론을 변형된 호지 구조와 가족을 거쳐 유한성 결과와 연결한다.
• 유-bound성 결과가 산술기하학의 주요 추측, 특히 Tate, Shafarevich, Grothendieck의 표준 추측 D에 미치는 영향을 탐색한다.

제안 방법

• 순수 Z-모티프에 대해 Kazuya Kato의 높이 정의를 채택하고, 정수성과 이소지니에 대한 불변성을 확보하기 위해 정수 p진 호지 이론을 통해 수정한다.
• 내부 및 외부 정수 p진 호지 이론을 사용하여 높이를 정의하고 분석하며, 후자는 대수적 정의를 기하학적 가족과 연결한다.
• Raynaud의 Faltings의 증명을 개선한 데서 유한 평탄 군 스킴의 대체로 토션 Kisin 모듈을 적용하여 높이를 유지하는 이소지니를 제어한다.
• 로그 스무스 붕괴와 호지 구조의 변형 이론을 사용하여 곡선 및 고차원 기저 위의 모티프 가족을 연구한다.
• 갈루아 표현과 그 이소지니에 따른 안정성 분석을 통해 이소지니 클래스의 크기의 효과적 유계를 확립한다.
• 준정적 감소 조건을 이용하여 de Rham 코hom로지에 정규 정수 구조의 존재를 보장하여 높이 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Faltings의 아벨 다양체에 대한 유한성 및 유계성 정리들은 정수 계수 순수 모티프로 일반화될 수 있는가?
• RQ2 준정적 감소를 갖는 모티프의 높이는 이소지니에 관하여 불변인가? 그리고 이는 이소지니 클래스를 유계로 제한하는 데 사용될 수 있는가?
• RQ3 로그 스무스 붕괴를 갖는 준사영 곡선으로 매개변수화된 모티프 가정에서 높이는 어떻게 행동하는가?
• RQ4 호지 구조의 변형이 이러한 가정에서 높이가 유계인 유리점의 수를 얼마나 제약하는가?
• RQ5 유-bound성 결과는 산술기하학의 주요 추측, 예를 들어 Tate의 추측과 Shafarevich 추측에 어떤 영향을 미치는가?

주요 결과

• 모든 곳에서 준정적 감소를 갖는 고정된 모티프와 이소지니적일 경우, 순수 Z-모티프의 높이 집합은 유한하며, 이는 Kato의 유-bound성 추측을 증명한다.
• 이소지니 클래스의 크기에 대한 효과적 유계가 확립되어, 이 유한성 결과가 계산적으로 접근 가능해진다.
• 이소지니가 정수 p진 호지 구조를 유지할 경우, 높이는 이소지니에 관하여 불변이며, 이는 핵심적인 기술적 결과이다.
• 비등지오트로픽인 호지 구조의 변형을 갖는 준사영 스크류 곡선 위의 모티프 가정에서는, 높이가 유계인 모티프를 유도하는 유리점은 유한개 뿐이다.
• 유-bound성 결과는 모티프의 유한성 추측이 Tate 추측, 준단순성 추측, Shafarevich 추측을 암시한다는 것을 의미한다.
• 복소 곱셈을 갖는 홀수 차수의 모듈러 모티프의 경우, 높이는 유계이며, 이는 Kato의 이산 모듈리 공간에 대한 추측을 지지한다.