Arithmetic Hirzebruch-Zagier divisors and central derivative values of Rankin-Selberg $L$-functions

기술 요약: 산술적 히르츠브루흐-자기어 디바이저와 랭킨-셀베그 L-함수의 중심 미분값

문제 정의
본 논문은 이차체 $k$(허수 또는 실수 이차체) 위에서 정의된 타원 곡선 $E/\mathbb{Q}$의 트위스트된 하세-바일(Hasse-Weil) $L$-함수의 중심 미분값 $\Lambda'(E/k, \chi, 1)$에 대한 산술적 해석을 다룬다. 여기서 $\chi$는 $k$의 이데알 클래스 군의 캐릭터이다. 허수 이차체 $k$인 경우 고전적인 그로스-자기어(Gross-Zagier) 정리(정리 1.1)가 모듈러 곡선 $X_0(N)$ 위의 헤그너 디바이저(Heegner divisor)의 네론-테이트 높이(Néron-Tate height)와 이 미분값을 연결하는 것과 달리, 본 연구는 이러한 관계를 일반화하고 정교화하는 것을 목표로 한다. 구체적으로, 본 연구는 중심 미분값을 $X_0(N) \times X_0(N)$ 상의 히르츠브루흐-자기어(Hirzebruch-Zagier) 디바이저의 산술적 높이로 표현하고자 하며, 실수 이차체 $k$의 경우에 대해서도 유사한 공식들을 제공하고자 한다.

방법론
저자는 보르체르스(Borcherds), 브루니어(Bruinier), 양(Yang)이 발전시킨 정규화된 세타 리프트(regularized theta lifts) 및 오토모픽 그린 함수(automorphic Green's functions) 이론을 활용하여, 심라 다양체(Shimura variety) 상의 산술 교차 이론 프레임워크를 사용한다.

1. 기하학적 설정: 저자는 각 이데알 클래스 $A \in C(\mathcal{O}_k)$에 대해 부호 $(2,2)$를 갖는 유리 이차 공간 $(V_A, Q_A)$를 구성한다. 이와 관련된 스핀 심라 다양체 $X_{K_A}$는 모듈러 곡선의 곱 $Y_0(N) \times Y_0(N)$(및 그 컴팩트화 $X_0(N) \times X_0(N)$)와 동일시된다.
2. 오토모픽 형식: 저자는 조화적 약 마스 형식(harmonic weak Maass forms) $f$ (무게 $1 - n/2$)와 브루니어-풍케(Bruinier-Funke) 미분 연산자 $\xi_l$의 이미지를 사용하여, 심라 다양체 상의 특수 디바이저(히르츠브루흐-자기어 디바이저)를 위한 오토모픽 그린 함수 $\Phi(f, z, h)$를 구성한다. 이 함수들은 히르츠브루흐-자기어 디바이저의 그린 함수 역할을 한다.
3. 합산 공식: 핵심적인 기술적 기제는 두 가지 유형의 사이클을 따라 그린 함수의 합을 계산하는 것이다:
   • CM 사이클 ($Z(V_0)$): 허수 이차체(부호 $(0,2)$ 부분 공간)와 관련된 영-사이클(zero-cycles).
   • 실 궤적 사이클 ($G(W)$): 실수 이차체(부위 $(1,1)$ 부분 공간)와 관련된 1차원 사이클.
     이 계산들은 랭킨-셀베그 $L$-함수의 미분값을 포함하는 적분 표현식을 도출한다.
4. L-함수 등가성: 저자는 표준 랭킨-셀베그 $L$-함수 $\Lambda(s, \phi \times \theta(\chi))$ (여기서 $\phi$는 $E$의 신형식이고 $\theta(\chi)$는 세타 급수임)와 도이-나가누마 리프트(Doi-Naganuma lift) 및 이차 베이스 체인지(quadratic basechange)를 통해 심라 다양체 상의 벡터 가치 큐스프 형식(vector-valued cusp forms)과 연관된 $L$-함수 사이의 등가성을 확립한다.

주요 기여 및 결과

• 허수 이차체에 대한 산술적 높이 공식:
  본 논문은 새로운 중심 미분 $\Lambda'(E/k, \chi, 1)$ 공식(정리 1.4, 정리 7.7)을 유도한다. 이는 이 값을 $Z(V_{A,0})$를 따라 평가된 $X_0(N) \times X_0(N)$ 상의 산술적 히르츠브루흐-자기어 디바이저 $\hat{Z}_A(f_{0,A})$의 팔팅스 높이(Faltings height)의 합으로 표현한다.
  $$\Lambda'(1/2, \phi \times \theta(\chi)) = -2 \sum_{A \in C(\mathcal{O}_k)} \chi(A) [\hat{Z}_A(f_{0,A}) : Z(V_{A,0})]$$
  이는 모듈러 곡의 곱에 대한 "고차 그로스-자기어" 공식을 제공한다.

• 실수 이차체 사례:
  실수 이차체의 경우, 중심 미분에 대한 별개의 적분 표현식을 제공한다(정리 1.2 (ii), 정리 6.6 (ii)). 이 공식은 실 궤적 사이클을 따른 오토모픽 그린 함수의 합과 세타 리프트의 상수항 및 정규화된 적분의 미분값을 포함한다.

• 고전적 그로스-자기어와의 관계:
  새로운 공식들을 고전적인 그로스-자기어 정리와 비교함으로써, 저자는 $X_0(N)$ 상의 헤그너 디바이저의 산술적 높이와 $X_0(N) \times X_0(N)$ 상의 히르츠브루흐-자기어 디바이저의 산술적 높이 사이의 항등식을 확립한다(부록 A). 이는 모듈러 곡 위의 정규화된 세타 리프트를 통해 그로스-자기어 공식을 증명하는 새로운 방법을 제시한다(부록 A).

• 버치-스위너튼-다이어(BSD) 상수:
  이 결과들은 정교화된 버치-스위너튼-다이어 추측에 적용된다. 본 논문은 $E$와 그 이차 트위스트 $E(d_k)$의 BSD 상수 곱이 중심 미분 $\Lambda'(E/k, 1)$에 비례함을 보여주며, 이 미분값은 위에서 도출된 산술적 높이를 통해 표현된다(정리 1.5).

• 반정수 무게 형식과의 연결:
  본 논문은 이러한 중심 미분들을 반정수 무게 마스 형식의 푸리에 계수와 연결하며(정리 1.6), 이는 브루니어, 풍케, 이마마구로(Imamoglu)의 선행 연구를 확장한다.

의의 및 주장
본 논문은 $L$-함수의 이차 베이스 체인지 등가성을 활용하여, 특히 $X_0(N) \times X_0(N)$에 적용함으로써 모든 차원의 스핀 심라 다양체에 대한 고차 그로스-자기어 공식을 정교화하는, 그로스-자기어 현상의 "기하학적 측면에 대한 완전히 새로운 관점"을 제공한다고 주장한다.

그 의의는 다음과 같다:

1. 통합: 오토모픽 그린 함수 프레임워크 내에서 허수 이차체와 실수 이차체의 처리를 통합한다.
2. 기하학적 해석: 중심 미분을 고전적인 헤그너 점 해석과는 구별되는, 모듈러 곡의 곱 상에서의 산술적 교차라는 관점에서 기하학적으로 해석한다.
3. BSD의 정교화: 랭크 1 케이스에서 $L$-함수의 리딩 항(leading term)에 대한 명시적인 산술적 높이 공식을 제공함으로써 정교화된 BSD 추측에 기여한다.
4. 새로운 증명: 그로스-자기어 공식을 위한 별도의 증명을 제공하고, 서로 다른 유형의 산술적 디바이저(헤그너 vs 히르츠브루흐-자기어) 사이의 관계를 확립한다.

저자는 자신의 결과가 기존의 고차 그로스-자기어 공식(Bruinier-Yang, Andreatta 등)을 정교화하지만, 모듈러 곡의 곱에 대한 구체적인 적용과 궤적 사이클을 통한 실수 이차체의 명시적 도출이 독창적인 기여임을 밝히고 있다. 본 논문은 완전한 BSD 추측을 증명한다고 주장하는 것이 아니라, 랭크 1 설정에서 추측의 기하학적 측면을 구성하게 될 산술적 높이 공식을 제공하는 것이다.