[논문 리뷰] Shtukas and the Taylor expansion of $L$-functions

Zhiwei Yun, Wei Zhang|arXiv (Cornell University)|2015. 12. 08.

Advanced Algebra and Geometry참고 문헌 11인용 수 4

한 줄 요약

이 논문은 PGL2의 분비적이고 무분할인 자명한 자동형 표현 π의 기저 전환 L-함수의 r차 중심 도함수와 두 번째 랭크 드리프레인 슈투카의 모듈리 스택에서의 히그너–드린펠트 사이클의 π-동형성 부분의 자기교차수 사이의 연결을 통해 고르스–자지에르 및 발트스부르거 공식의 함수체 버전을 수립한다. 이 결과는 슈투카의 모듈리 공간에서의 기하학적 및 스펙트럴 방법을 사용하여 고전적인 L-함수 공식을 함수체 설정에서 고차 도함수로 일반화한다.

ABSTRACT

We define the Heegner--Drinfeld cycle on the moduli stack of Drinfeld Shtukas of rank two with $r$-modifications for an even integer $r$. We prove an identity between (1) The $r$-th central derivative of the quadratic base change $L$-function associated to an everywhere unramified cuspidal automorphic representation $π$ of $PGL_{2}$; (2) The self-intersection number of the $π$-isotypic component of the Heegner--Drinfeld cycle. This identity can be viewed as a function-field analog of the Waldspurger and Gross--Zagier formula for higher derivatives of $L$-functions.

연구 동기 및 목표

• 함수체 설정에서 L-함수의 고차 중심 도함수로 고르스–자지에르 및 발트스부르거 공식을 일반화한다.
• r-수정을 가진 드리프레인 슈투카의 모듈리 스택에서 히그너–드린펠트 사이클을 정의하고 연구한다.
• 기저 전환 L-함수의 r차 중심 도함수와 사이클의 π-동형성 부분의 자기교차수 사이의 정확한 항등식을 수립한다.
• r이 0.5에서의 영점의 차수와 일치하지 않더라도, L-함수 도함수의 기하학적 해석을 첫 번째 항을 넘어서 일반화한다.

제안 방법

• 유한체 위의 곡선 X 위에서 두 번째 랭크의 r-수정을 가진 드리프레인 슈투카의 모듈리 스택 Shtr_G를 정의한다.
• 자동형 표현 π와 호환되는 사이클로서 히그너–드린펠트 사이클을 구성한다.
• 상대적 추적 공식과 스펙트럼 분해를 사용하여 자동형 L-함수를 기하학적 불변량과 연결한다.
• 코hom올로지적 스펙트럼 분해와 교차론을 적용하여 π-동형성 부분의 자기교차수를 계산한다.
• 추적 공식을 통해 해석 측면(도함수)과 기하 측면(교차수) 사이의 비교를 수립한다.
• L-값의 슈퍼양성 결과와 함수방정식을 활용하여 최종 항등식의 비퇴화성과 양성을 보장한다.

실험 결과

연구 질문

• RQ1 고르스–자지에르 및 발트스부르거 공식은 함수체 설정에서 고차 도함수로 확장될 수 있는가?
• RQ2 스슈투카 모듈리 공간에 존재하는 기하적 대상이 L-함수의 r차 중심 도함수를 자기교차수로 계산하는가?
• RQ3 기저 전환 L-함수의 r차 도함수는 순수하게 슈투카 모듈리 스택에서의 교차론으로 표현될 수 있는가?
• RQ4 히그너–드린펠트 사이클의 기하적 구성은 영점의 차수와 관계없이 임의의 r에 대해 통일된 공식을 제공하는가?

주요 결과

• 기저 전환 L-함수 L(πF′, s)의 r차 중심 도함수는 Shtr_G에서 히그너–드린펠트 사이클의 π-동형성 부분의 자기교차수와 같다.
• 이 항등식은 모든 짝수 정수 r에 대해 성립하며, r가 s = 1/2에서 L-함수의 영점의 차수와 일치하지 않더라도 적용 가능하다.
• 모듈리 스택 Shtr_G는 X^r로의 피브레이션을 지니며, 이는 사이클의 구성과 스펙트럼 분해를 가능하게 한다.
• L(πF′, s) = L(πF′, 1−s)의 함수방정식은 정규화된 L-함수 L(πF′, s)에서도 유지되며, 중심값은 슈퍼양성이다.
• 증명은 함수방정식과 유니타리 자기쌍대 표현을 통해 확립된 L-값의 슈퍼양성에 기반하며, 중심 도함수의 양성을 보장한다.
• 결과는 함수체 설정에서 고차 도함수의 기하학적 해석을 제공하며, 수체 설정에서 중심 도함수에 기하학적 의미가 존재할 수 있음을 시사하지만, 현재 그러한 모듈리 공간은 이용 가능하지 않다.