[논문 리뷰] Gross--Schoen Cycles and Dualising Sheaves

Shou-Wu Zhang|ArXiv.org|2008. 12. 01.

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

한 줄 요약

이 논문은 삼중 곡선의 곱에서 그로스–술렌 사이클의 높이와 상대적 쌍대화선다발의 자기교차수 사이의 정확한 일치를 수립한다. 이는 산술적 교차 이론과 미터화된 그래프 기법을 사용하며, 산술기하학과 호지 이론 사이의 핵심 연결고리가 된다. 이 결과는 보고몰로프 및 질레-술레 추측에 응용 가능하며, 곡선의 모듈리 공간에서 타우토로지컬 사이클에 대한 노스코트 유형 성질을 증명한다.

ABSTRACT

The aim of this paper is to study the modified diagonal cycle in the triple product of a curve over a global field defined by Gross and Schoen. Our main result is an identity between the height of this cycle and the self-intersection of the relative dualising sheaf. We have some applications to the following problems in number theory and algebraic geometry.

연구 동기 및 목표

• 글로벌 체 위의 곡선의 삼중곱에서 그로스–술렌 사이클에 대한 정확한 산술적 높이 공식을 수립하는 것.
• 그로스–술렌 사이클의 높이를 상대적 쌍대화선다발의 자기교차수와 연결하여 새로운 산술기하학적 불변량을 제공하는 것.
• 이 일치를 응용하여 높이에 대한 효과적인 하한을 증명함으로써 질레-술레 및 보고몰로프 추측을 뒷받침하는 것.
• 노스코트 유형 성질을 통해 모듈리 공간에서 타우토로지컬 사이클, 특히 세라 사이클의 비자명성을 보여주는 것.
• 교차이론적 방법을 사용하여 아벨-리만 곱에서의 레프셰츠 연산자에 대한 ${\mathcal{F}}(X_1)$의 원시성(primeness)을 증명하는 것.

제안 방법

• 정칙이고 반안정적인 $X^3$의 모델 위에서 산술적 교차 이론을 사용하여 그로스–술렌 사이클의 높이를 조건 없이 정의하는 것.
• 미터화된 그래프 이론과 환원 복합체를 적용하여 높이 쌍대화의 국소 기여를 계산하는 것.
• 삼각형 정리(정리의 큐브)를 사용하여 $X^4$ 위의 선다발을 분해하고 푸리에–무카이 변환 ${\mathcal{F}}(X)$의 역상 계산을 수행하는 것.
• 핵심 역상 공식 유도: $f_3^*{\mathcal{F}}(X) = -g\sum_i p_i^*\xi - \sum_{ij} p_{ij*}\delta_\xi + \Delta_\xi$, 여기서 $\delta_\xi = p_1^*\xi + p_2^*\xi - \Delta$.
• 사영 공식과 아벨-리만 곱에서의 스타 곱의 구조를 활용하여 $X^3$ 위의 사이클 교차를 $J$ 위의 교차로 연결함으로써 $s=1$ 성분으로 축소하는 것.
• 함수체의 경우 아라켈로프–스피로 정리를 적용하여 비등방성 곡선이 양호한 환원을 갖는 경우, $L$-급수의 차수 $\geq 2$에서의 영성(zeroness)을 보이는 것.

실험 결과

연구 질문

• RQ1 그로스–술렌 사이클의 정확한 산술적 높이는 곡선의 기하학적 불변량으로 어떻게 표현되는가?
• RQ2 그로스–술렌 사이클의 높이는 상대적 쌍대화선다발의 자기교차수와 어떻게 관련되는가?
• RQ3 타우토로지컬 사이클(예: 세라 사이클)의 비자명성은 높이 이론과 모듈리 공간 성질을 통해 어떻게 확립할 수 있는가?
• RQ4 ${\mathcal{F}}(X_1)$의 클래스가 레프셰츠 연산자에 대해 원시적인가?
• RQ5 삼중곱 $L$-급수는 베일린슨–블로흐 추측과 사이클의 비영성 맥락에서 어떤 역할을 하는가?

주요 결과

• 그로스–술렌 사이클 $\Delta_\xi$의 높이는 $\langle \Delta_\xi, \Delta_\xi \rangle = \langle {\mathcal{F}}(X_1), f_{3*}\Delta_\xi \rangle$를 만족하며, 사이클 높이를 아벨-리만 곱 위의 교차이론과 연결한다.
• 상대적 쌍대화선다발의 자기교차수는 그로스–술렌 사이클의 높이와 일치하며, 이는 산술기하학에서의 기본적인 일치를 수립한다.
• ${\mathcal{F}}(X_1)$의 클래스는 원시적이다: $L \cdot L^{g-3}{\mathcal{F}}(X_1) \neq 0$, 이는 $f_3^*\theta \cdot \Delta_\xi = 0$임을 보여서 증명된다.
• 함수체에서 비등방성 곡선이 양호한 환원을 갖는 경우, 삼중곱 모티프의 $L$-급수는 차수 $\geq 2$에서 영이 되며, 이는 그로스–술렌 사이클의 비자명성을 암시한다.
• 비등방성 곡선에 대해 함수체 위에서의 세라 사이클 $X - [-1]_*X$는 비자명하다. 이는 $X_s$의 홀수 차수 성분들의 합이기 때문이다.
• 그로스–술렌 사이클의 높이는 $\langle {\mathcal{F}}(X_1), X^{*3} \cdot {\mathcal{F}}(X_1) \rangle$로 표현되며, 이 쌍대화는 스타 곱의 $s=1$ 성분에 의해 결정된다.