Diagonal cycles on Shtukas and the adjoint $L$-function

기술 요약: 슈투카(Shtuka) 상의 대각 순환과 접합 L-함수

문제 제기
본 논문은 임의의 유형을 가진 환형군(reductive groups)에 대해 함수체 위에서의 그로스-자기에르(Gross–Zagier) 유형의 항등식을 찾는 문제를 다룬다. 고전적인 그로스-자기에르 공식은 헤그너 점(Heegner points)의 높이와 $L$-함수의 중심 미분 사이의 관계를 다루며, 산술적 간-그로스-그라사드(Gan–Gross–Prasad, GGP) 추측은 이를 고차원으로 일반화한다. 기존의 프레임워크는 주로 A, B, 또는 D 유형의 군에 국한되어 왔으며, 지배하는 표현이 표준 표현(standard representation)인 상황에 제한되어 있었다. 윤-장(Yun–Zhang)의 연구와 이후 저자와 동료들에 의해 진행된 후속 연구들을 포함한 기존의 함수체 유사 사례들은 "강하게 템퍼드된(strongly tempered)" 구형 다양체라는 엄격한 제약을 가졌으며, 이는 슈투카의 변형 유형(modification types)에 대한 제약을 부과했다.

본 연구는 $H$가 분할된 거의 단순 환형군(split almost simple reductive group)일 때, 군 $G = H \times H$와 $X = H$인 경우를 조사한다. 핵심적인 문제는 임의의 변형 유형을 가진 $G$-슈투카의 모듈라이 공간에서 대각 순환(diagonal cycle)의 자기 교차수(self-intersection numbers)를 접합 $L$-함수(adjoint $L$-function)의 고차 미분과 연관시키는 것이며, 이를 통해 "강하게 템퍼드된" 제약 없이 임의의 유형에 대해 그로스-자기에르 프레임워크를 확장하는 것이다.

방법론
증명 전략은 이전의 산술적 교차 연구에서 사용된 상대적 트레이스 공식(relative trace formula) 방법론과는 차별화된다. 대신, 본 논문은 양의 표수(positive characteristic)에서의 기하학적 랑글랜즈 프로그램과 범주적 트레이스 형식(categorical trace formalisms)에 뿌리를 둔 기하학적 접근법을 채택한다. 방법론은 다음과 같은 주요 단계로 진행된다:

1. 기하학적 주기 적분과 관측 가능량(Observables): 저자는 $G$-번들($\text{Bun}_G$)의 모듈라이 스택 상의 층(sheaves)의 범주에 대한 기하학적 주기 적분 함자 $\int_X$를 정의한다. 기하학적으로 강하게 기약인 로컬 시스템 $\sigma$에 대하여, 이 주기 적분의 코호몰로지를 연구한다.
2. 클리포드 대수 작용: 핵심적인 기술적 혁신은 기하학적 주기 적분의 코호몰로지 상에 클리포드 대수(Clifford algebra) 작용을 구축하는 것이다. 이는 "대각(diagonal)" 및 "접합(adjoint)" $L$-관측량 사이의 교환 관계를 확립함으로써 달성된다. 이 관계는 특수한 코호몰로지 대응 관계를 이용한 플랑클레르 대수(Plancherel algebra)에서의 국소적 계산을 통해 도출된다.
3. 아티야-보트(Atiyah–Bott) 유형 공식: 저자는 이러한 기하학적 주기 적분에 대한 아티야-보트 유형의 공식을 증명하며, 코호몰로지 링이 타우톨로지컬 클래스(tautological classes)에 의해 생성되는 자유 (홀수) 다항 링임을 보여준다. 이러한 구조를 통해 교차 쌍(intersection pairing)을 특정 연산자, 즉 "교차 관측량(intersection observable)"의 프로베니우스 꼬임 트레이스(Frobenius-twisted trace)로 해석할 수 있게 한다.
4. 국소-전역 대응: 교차 관측량은 "미분 부분"과 "스칼라 부분"으로 분해된다. 저자는 국소 플랑클레르 대수를 사용하여 이 부분들을 명시적으로 계산한다. 미분 부분은 접합 표현의 작용에 대응함을 보이며, 스칼라 부분은 결정 선다발(determinant line bundle)과 관련된다.
5. 트레이스 공식: 결정 선다발에 의해 꼬인 대각 순환의 자기 교차수는 주기 적분의 코호몰로지 상에서 교차 관측량이 작용하는 트레이스로 표현된다. 이 트레이스는 클리포드 대수 작용에 의한 스펙트럼 분해를 사용하여 계산된다.

주요 기여 및 결과

• 일반화된 그로스-자기에르 항등식: 주요 결과(정리 1.4)는 $H \times H$에 대한 $H$-슈투카의 대각 순환의 교차 쌍을 $s=0$에서의 접합 $L$-함수 $L(s, \check{h}_{\sigma_H})$의 $r$차 미분과 연결하는 항등식을 확립한다. 공식은 다음과 같다:
  $$\langle \Delta_{Sht, !}([Sht_{H, \leq \lambda_{H,I}}] \cup \prod c_1(L_{det, i})), \Delta_{Sht, !}[Sht_{H, \leq \lambda_{H,I}}] \rangle^* = \epsilon_{\lambda_I} \frac{L(0, \check{h}_{\sigma_H})}{\log q} \left( -\frac{d}{ds} \right)^r \left( q^{-(g-1)r(H)s} L(s, \check{h}_{\sigma_H}) \right) \Big|_{s=0}$$
  여기서 $\epsilon_{\lambda}$는 표현의 다인킨 지수(Dynkin index)와 관련된 상수이며, $r(H)$는 $H$의 계수(rank)이다.
• 임의의 변형 유형: "강하게 템퍼드된" 다양체에 국한되었던 이전 연구들과 달리, 이 결과는 슈투카의 변형 유형을 결정하는 거의 모든 표현 $V \in \text{Rep}(\check{G})$에 대해 성립한다.
• 쌍의 비퇴화성: 저자는 기하학적으로 강하게 기약인 로컬 시스템에 대하여 슈투카의 교차 코호몰로지의 $\sigma$-아이소토픽 성분(isotypic component) 상의 교차 쌍이 비퇴화적임을 증명한다(정리 1.2).
• 클리포드 대수 구조: 기하학적 주기 적분 상의 클리포드 대수 작용 구축(정리 3.9)은 중요한 구조적 기여로서, 기하학적 랑글랜즈 설정에서 교차 수를 분석하기 위한 새로운 도구를 제공한다.
• 명시적 상수: 저자는 다양한 분할 단순 군과 최소 코웨이트(minuscule coweights)에 대한 상수 $\epsilon_\lambda$(다인킨 지수)의 명시적 공식을 제공하여, 이들이 교차 공식에서 곱셈 인자로서 수행하는 역할을 강조한다.

의의 및 주장
본 논문은 함수체 위에서 임의의 유형을 가진 군에 대한 최초의 그로스-자기에르 유형 공식 사례를 제공한다고 주장한다. "강하게 템퍼드된" 제약을 제거함으로써, 상대적 랑글랜즈 프로그램의 기하학적 실현 범위를 크게 넓혔다.

저자는 이 결과가 시무라 다양체(Shimura varieties) 상의 산술적 교차에 대한 평행한 추측적 그림을 제시한다고 제안한다. 특히, 호지 코웨이트(Hodge cocharacter)의 다인킨 지수인 상수 $\epsilon_\mu$가 교차 공식의 곱셈 인자로 등장하는 것은 기존 문헌에서 관찰되지 않았던 새로운 현상이다. 본 논문은 정리 1.4가 임의의 시무라 다양체에 대한 산술적 GGP 추측의 일반화에 대한 함수체 모델 역할을 한다고 상정하며, 여기서 이 상수들의 거동이 미묘하고 결정적인 역할을 한다고 본다.

이 연구는 로컬 시스템 $\sigma_H$가 오토모픽(automorphic)이라는 가정에 의존한다(이는 $GL_n$에 대해서는 알려져 있으며 일반적으로 기대된다). 만약 $\sigma_H$가 오토모픽이 아니라면 교차 수는 0이 된다. 결과는 $\infty$-범주와 $\mathbb{Q}_\ell$-계수를 가진 에탈 층(étale sheaves)의 틀 안에서 공식화되었으며, 가이츠고리(Gaitsgory), 루리(Lurie) 등에 의해 개발된 기하학적 랑글랜즈 대응 관계를 활용한다.