[논문 리뷰] An intersection number formula for CM-cycles in Lubin-Tate spaces

Qirui Li|arXiv (Cornell University)|2018. 01. 01.

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

한 줄 요약

이 논문은 비아르키메데스 현지체 위의 분리 가능한 이차 확장 K₁, K₂에 대해 모든 수준에서 CM 사이클의 명시적 산술 교차 수 공식을 도출한다. 이 공식은 무한수준의 표현을 통해 유일한 형태로 적용되며, 선형 산술 기본논법(linear Arithmetic Fundamental Lemma)을 정확한 적분 항등식으로 번역할 수 있도록 해준다.

ABSTRACT

We give an explicit formula for the arithmetic intersection number of CM cycles on Lubin-Tate spaces for all levels. We prove our formula by formulating the intersection number on the infinite level. Our CM cycles are constructed by choosing two separable quadratic extensions K1, K2/F of non-Archimedean local fields F . Our formula works for all cases, K1 and K2 can be either the same or different, ramify or unramified. As applications, this formula translate the linear Arithmetic Fundamental Lemma (linear AFL) into a comparison of integrals. This formula can also be used to recover Gross and Keating’s result on lifting endomorphism of formal modules.

연구 동기 및 목표

• 모든 수준에서 Lubin-Tate 공간의 CM 사이클에 대해 통일된 산술 교차 수 공식을 유도하는 것.
• 비아르키메데스 현지체 위의 분리 가능한 이차 확장 K₁, K₂의 모든 구성, 즉 동일한 경우, 다른 경우, 분리된 경우, 비분리된 경우를 포함하여 다루는 것.
• 무한수준에서의 교차 수를 공식화하여 일반적인 증명을 가능하게 하는 것.
• 이 공식을 적용하여 선형 산술 기본논법을 적분 비교로 번역하는 것.
• Gross와 Keating의 형식 모듈의 자기형사상의 올림에 관한 결과를 공식의 결과로 회복하는 것.

제안 방법

• Lubin-Tate 공간의 무한수준 근처에서 산술 교차 수를 공식화하여 전반적인 구조를 단순화하는 것.
• 비아르키메데스 현지체 F 위의 분리 가능한 이차 확장 K₁, K₂의 쌍을 사용하여 CM 사이클을 구성하는 것.
• p진 균일화와 변형 이론을 활용하여 무한수준에서의 CM 사이클 기하학을 분석하는 것.
• 산술 교차 이론을 적용하여 각 자리에서의 국소 기여를 통해 교차 수를 계산하는 것.
• 교차 수와 시험 함수에 대한 적분 사이의 비교를 수립하여 선형 AFL과 연결하는 것.
• 공식의 통일성 덕분에 자기형사상의 올림에 관한 결과를 유도하고 이전 정리들을 복원하는 것.

실험 결과

연구 질문

• RQ1 비아르키메데스 현지체 위의 분리 가능한 이차 확장 K₁, K₂에 대해 모든 수준에서 Lubin-Tate 공간의 CM 사이클의 산술 교차 수는 무엇인가? (분리된 경우와 비분리된 경우 포함)
• RQ2 이 교차 수 공식을 사용하여 선형 산술 기본논법을 시험 함수에 대한 적분 비교로 재구성할 수 있는가?
• RQ3 이 교차 수 공식을 사용하여 형식 모듈의 자기형사상 올림에 관한 기존 결과를 회복할 수 있는가?
• RQ4 무한수준 근처가 교차 수 계산을 단순화하는 데 어떤 역할을 하는가?
• RQ5 K₁과 K₂가 동일한 경우와 다른 경우, 또는 서로 다른 분리 정도를 가질 경우 공식은 어떻게 행동하는가?

주요 결과

• 논문은 모든 수준과 K₁, K₂의 모든 구성에 대해 유효한 유일한 통일된 공식을 제공한다.
• 이 공식을 통해 선형 산술 기본논법을 시험 함수에 대한 정확한 적분 비교로 번역할 수 있다.
• 무한수준 표현을 통해 유한수준의 교차 수를 극한 추론과 변형 이론의 호환성에 따라 유도할 수 있다.
• 이 공식은 Gross와 Keating의 형식 모듈 자기형사상 올림에 관한 결과를 특수한 경우로 포함한다.
• 분리된 경우와 비분리된 경우, 동일한 경우와 다른 경우에 관계없이 방법이 동일하게 적용된다.
• 교차 수는 국소 기여의 합으로 계산되며, 전반적인 공식은 이들의 산술 조합으로 도출된다.