A higher Gross-Zagier type formula for moduli of shtukas at deeper level

기술 요약: 더 깊은 레벨에서의 슈투카(Shtuka) 모듈리에 대한 고차 그로스-자기어(Gross-Zagier) 유형 공식

문제 제기
본 논문은 제곱 자유(square-free) 레벨 구조를 가진 함수체(function field)에 대해 Yun과 Zhang이 확립했던 고차 그로스-자기어 및 발드슈피처(Waldspurger) 공식을 비제곱 자유(non-square-free, 더 깊은) 레벨로 확장하는 문제를 다룬다.

선구적인 연구[YZ17, YZ19]에서 Yun과 Zhang은 $G = \text{PGL}_2$인 $G$-슈투카의 모듈리에 있는 헤그너-드리펠트(Heegner-Drinfeld) 사이클의 자기 교차수(self-intersection numbers)와 큐스피달 자동 표현(cuspidal automorphic representations)의 베이스 체인지 $L$-함수의 고차 중심 도함수 사이의 관계를 규명하였다. 저자들은 이러한 결과들이 제곱 자유 레벨 구조 $\Sigma$로 제한되어 있음을 언급하였다. 저자들은 다중으로 충돌하는 레그(legs) 또는 레벨 디바이서(level divisor)의 높은 다중도가 존재하는 경우, 헤그너-드리펠트 사이클을 지원할 수 있는 적절한 "적분 모델(integral model)"의 부재로 인해 이를 더 깊은 레벨로 확장하는 것이 기존에는 "도달 불가능한(out of reach)" 영역으로 간주되었음을 지적하였다.

방법론 및 새로운 입력
주요 방법론적 혁신은 비축약 디바이서(non-reduced divisors) $\Sigma$에 대한 "나이브(naive)" $\Gamma_0(\Sigma)$-레벨 구조를 가진 슈투카의 모듈리 공간을 도입하고 엄밀하게 연구하는 것이다.

1. 나이브 적분 모델: 드리펠트 레벨 구조(Drinfeld level structure)의 완전한 아날로그를 구축하려고 시도하는 대신(이는 레그가 충돌하거나 다중도가 1을 초과할 때 문제가 된다), 저자는 $\Gamma_0(\Sigma)$-레벨 구조를 인코딩하는 매끄러운 아핀 군 스킴(smooth affine group scheme)을 위한 슈투카의 모듈리 공간 $\text{Sht}^r_G(\Sigma; \Sigma_\infty)$를 정의한다.

   • 저자는 이 "나이브" 모델이 드리펠트 레벨 구조(특히 특수 층(special fiber)의 매끄러운 로커스)를 통해 정의된 더 복잡한 적분 모델의 **개집합 스택(open substack)**에 해당함을 인정한다.
   • 결정적으로, 본 논문은 헤그너-드리펠트 사이클이 전적으로 이 개집합 스택 위에 지지(supported)되어 있으므로, 드리펠트 모델에서 나타나는 누락된 성분들(예: 초특이 점(supersingular points) 및 기타 성분들)이 교차수 계산에는 무관하다는 점을 논증한다.

2. 기하학적 분석: 본 논문은 이 새로운 모듈리 공간의 기하학적 성질을 확립한다:

   • 매끄러움(Smoothness): 모듈리 공간 $\text{Sht}^r_G(\Sigma; \Sigma_\infty)$는 체 $k$ 위에서 차원 $2r$인 매끄러운 공간임이 증명된다.
   • 평탄성(Flatness): 레그 $X^r \times S_\infty$로의 사영은 상대 차원 $r$이며, 레벨이 이와리(Iwahori, 축약된 형태)인 로커스 위에서 매끄럽다.
   • 헤케 대응(Hecke Correspondences): 저자는 이 더 깊은 레벨 공간들에 대한 헤케 대응의 정의와 구형 헤케 대수(spherical Hecke algebra)의 작용을 확장하여, 이들이 Chow 군과 코호몰로지 상에서 작용함을 증명한다.

3. 오토모픽 및 스펙트럼 도구:

   • 수정된 아이젠슈타인 이데알(Modified Eisenstein Ideal): 디바이서 $\Sigma$의 다중도를 고려하기 위해 헤케 대수 내에 새로운 "수정된 아이젠슈타인 이데알" $\tilde{I}^\Sigma_{\text{Eis}}$를 정의한다. 이 이데알은 제곱 자유 케이스에서 사용되는 표준 아이젠슈타인 이데알을 대체한다.
   • 국소 구형 캐릭터(Local Spherical Characters): 특정 테스트 함수( $\Gamma_0(\varpa^{n_x}_x)$의 특성 함수)와 휘타커 모델(Whittaker models)을 활용하여, 더 깊은 레벨 구조(컨덕터 지수 $n_x \geq 2$)를 가진 지점에서의 국소 구형 캐릭터를 계산한다.
   • 상대적 트레이스 공식(Relative Trace Formula): 글로벌 구형 캐릭터(및 그 도함수)를 오비탈 적분(orbital integrals)과 연결하는 자케(Jacquet)의 상대적 트레이스 공식을 사용한다.
   • 기하학적 구조화(Geometrization): 오비탈 적분을 히친 유형 파브레이션(Hitchin-type fibration) 상의 프로베니우스 트레이스로 기하학적으로 구조화하여, [YZ19]의 구성을 더 깊은 레벨 설정으로 일반화한다.

주요 결과

• 정리 1.1 (주 공식): 본 논문은 비제곱 자유 레벨에 대한 고차 그로스-자기어 유형 공식을 확립한다. $\Sigma$를 컨덕터로 갖는 $\text{PGL}_2(\mathbb{A}_F)$의 큐스피달 자동 표현을 $\pi$라 하고, 일반화된 헤그너 가설을 만족하는 이차 피복 $\nu: X' \to X$를 두면 다음과 같다:
  $$|\omega_X| q^{\rho/2 - N} \cdot r! \cdot (-\log q)^r \cdot L(\pi, \text{Ad}, 1) \cdot L^{(r)}_{F'/F}(\pi, 0) = (Z^\mu_\pi(\xi), Z^\mu_\pi(\xi))_{\text{Sht}^r_G(\Sigma; \Sigma_\infty)}$$
  여기서 좌변은 중심점에서의 베이스 체인지 $L$-함수의 $r$차 도함수를 로컬 인자와 정규화된 정준 번들(canonical bundle)의 차수로 나눈 것이며, 우변은 깊은 레벨을 가진 슈투카의 모듈리 공간 상의 헤그너-드리펠트 사이클의 $\pi$-아이소타입 성분의 자기 교차수이다.

• 정리 1.2 (기하학): $\text{Sht}^r_G(\Sigma; \Sigma_\infty)$가 차원 $2r$인 매끄러운 델리뉴-모덤(Deligne-Mumford) 스택임을 확인하며, 레그로의 사영이 축약된 로커스 위에서 평탄하고 매끄러움을 확증한다.

• 정리 1.3 (스펙트럼 분해): 헤케 대수의 작용 하에서 중간 차원 컴팩트 지지 코호몰로지 $H^{2r}_c$의 스펙트럼 분해를 증명한다. 코호몰로지는 유한 차원의 큐스피달 부분과 수정된 아이젠슈타인 이데알에 의해 지지되는 부분으로 분해되며, 이는 [YZ19]의 결과를 더 깊은 레벨로 일반화한 것이다.

의의 및 주장

본 논문은 반드시 제곱 자유가 아닌 레벨에 대해서도 윤-장(Yun-Zhang) 공식을 성공적으로 일반화하였으며, 이를 통해 함수체에서의 그로스-자기어 공식에 가해졌던 중요한 제한을 제거하였다고 주장한다.

• "적분 모델" 장애의 해결: 저자는 적절한 적분 모델의 부재가 이러한 일반화의 주요 장벽이었다고 주장한다. "나이브" 모듈리 공간을 도입하고 이것이 헤너-드리펠트 사이클의 교차 이론에 충분하다는 것을 입증함으로써, 저자는 이 장애물을 극복하였다.
• 기존 이론과의 일관성: 결과는 제곱 자유 케이스(여기서 나이브 모델은 표준 모델과 일치함) 및 모듈러 곡선의 고전적 그로스-자기어 공식(사이클이 매끄러운 로커스에 지지됨)과 일치함을 보여준다.
• BSD에 대한 잠재력: 서론에서는 이러한 고차 그로스-자기어 공식이 함수체 설정에서 버치-스위너튼-다이어(BSD) 추측에 대한 새로운 통찰력을 얻는 경로를 제공하며, 잠재적으로 랭크 1 케이스를 넘어 확장될 수 있음을 언급한다. 다만, 본 논문은 공식의 유도 자체에 집중하며 즉각적인 산술적 응용을 다루지는 않는다.

이 연구는 윤과 장의 전략에 크게 의존하며, 특히 모듈리 스택의 기하학과 로컬 인자 계산의 기술적 과제들을 깊은 레벨 구조에 맞게 적응시켰다.