[논문 리뷰] Chow groups and $L$-derivatives of automorphic motives for unitary groups

Chao Li, Yifeng Liu|arXiv (Cornell University)|2020. 06. 11.

Advanced Algebra and Geometry참고 문헌 38인용 수 6

한 줄 요약

이 논문은 유니타리 군에 대한 Beilinson–Bloch 추측의 핵심 케이스를 증명하며, $L$-함수의 중심에서의 비영성 도함수는 자동형 표준 모티브에 대한 비자명한 초등 군을 암시함을 보여준다. 수학적 스칼라 이론과 국소 이중화 제타 적분을 이용해 저자들은 초등 군 내에서 명시적인 원소를 구성하고 그 높이를 계산하여, 고차원 모티브로 일반화된 Gross–Zagier 공식을 일반화한 수학적 내적 공식을 확인한다.

ABSTRACT

In this article, we study the Chow group of the motive associated to a tempered global $L$-packet $π$ of unitary groups of even rank with respect to a CM extension, whose global root number is $-1$. We show that, under some restrictions on the ramification of $π$, if the central derivative $L'(1/2,π)$ is nonvanishing, then the $π$-nearly isotypic localization of the Chow group of a certain unitary Shimura variety over its reflex field does not vanish. This proves part of the Beilinson--Bloch conjecture for Chow groups and $L$-functions, which generalizes the Birch and Swinnerton-Dyer conjecture. Moreover, assuming the modularity of Kudla's generating functions of special cycles, we explicitly construct elements in a certain $π$-nearly isotypic subspace of the Chow group by arithmetic theta lifting, and compute their heights in terms of the central derivative $L'(1/2,π)$ and local doubling zeta integrals. This confirms the conjectural arithmetic inner product formula proposed by one of us, which generalizes the Gross--Zagier formula to higher dimensional motives.

연구 동기 및 목표

• 온도가 있는 짝수 랭크 유니타리 군의 $L$-패킷에 관련된 자동형 표준 모티브의 초등 군에 대한 Beilinson–Bloch 추측의 일부를 증명하기 위해.
• 특수 사이클의 높이와 $L$-도함수를 연결하는 수학적 내적 공식을 통해, $L$-도함수와 특수 사이클의 높이를 연결하는 고차원 일반화된 Gross–Zagier 공식을 수립하기 위해.
• 수학적 스칼라 이론을 이용해 초등 군 내에서 명시적인 원소를 구성하고, 그 높이를 $L'$-도함수와 국소 제타 적분의 형태로 검증하기 위해.

제안 방법

• 유니타리 쇼마 다양체의 반사 체 위에서, $\pi$-거의 동형 부분공간에 속하는 초등 군의 원소를 생성하기 위해 수학적 스칼라 이론을 활용한다.
• 국소 이중화 제타 적분과 중심 도함수 $L'(1/2, \pi)$를 사용하여 이 이론된 사이클의 Beilinson–Bloch 높이를 계산한다.
• 이중화 방법을 적용하여 해석 측면(중심 $L$-도함수)을 기하 측면(특수 사이클의 높이 쌍)과 연결한다.
• 분할, 비분할, 아르키메데스 위치에서의 국소 지수를 사용하여 전역 높이 쌍을 국소 기여도로 분해하여 계산한다.
• 특수 사이클과 그 생성 함수를 이용한 Kudla 프로그램을 활용하여 수학적 교차 수를 $L$-도함수와 연결한다.
• Kudla의 생성 함수의 모듈러성에 의존하여 수학적 스칼라 이론이 올바른 초등 군 부분공간에 떨어지도록 보장한다.

실험 결과

연구 질문

• RQ1 특성 도함수 $L'(1/2, \pi) \neq 0$이면, 유니타리 쇼마 다양체의 $\pi$-거의 동형 초등 군이 비자명한가?
• RQ2 수학적 스칼라 이론으로 얻은 사이클의 Beilinson–Bloch 높이는 $L'(1/2, \pi)$와 국소 이중화 제타 적분의 곱으로 표현될 수 있는가?
• RQ3 Gross–Zagier 공식을 고차원 모티브로 일반화한 수학적 내적 공식은 높은 랭크 유니타리 모티브에 대해 성립하는가?
• RQ4 분할, 비분할, 아르키메데스 위치에서의 국소 지수는 특수 사이클의 전역 높이 쌍에 어떻게 기여하는가?
• RQ5 Kudla의 생성 함수의 모듈러성은 초등 군 원소의 명시적 구성에 얼마나 깊이 관여하는가?

주요 결과

• 특성 도함수 $L'(1/2, \pi) \neq 0$일 경우, 유니타리 쇼마 다양체의 $\pi$-거의 동형 초등 군이 비자명함을 확인하여, Beilinson–Bloch 추측의 한 경우를 증명한다.
• 수학적 스칼라 이론을 통해 초등 군 내에서 명시적인 원소를 구성하였으며, 그 Beilinson–Bloch 높이는 $L'(1/2, \pi)$와 국소 이중화 제타 적분의 곱으로 계산된다.
• 높이 쌍이 분할, 비분할, 아르키메데스 위치에서의 국소 기여도로 분해됨을 보였으며, 각 기여도는 특정 제타 적분을 통해 계산된다.
• 유니타리 군의 짝수 랭크이면서 전역 루트 번호가 $-1$인 경우에 대해 수학적 내적 공식이 확인되었으며, 이는 Gross–Zagier 공식의 일반화이다.
• 결과는 Kudla의 특수 사이클 생성 함수의 모듈러성에 의존하며, 이는 최근 [LZ]에서 증명되었다.
• 이론은 $L$-도함수와 기하적 높이를 연결하기 위해 이중화 방법을 새로운 방식으로 응용하였으며, 스칼라 이론의 프레임워크를 고차원 모티브로 확장한다.