Arithmetic Siegel-Weil for the spherical Hecke algebra

문제 정의

본 논문은 구형 헤cke 대수(spherical Hecke algebra)에 대한 산술적 지젤-바일 공식(arithmetic Siegel-Weil formula)의 추측된 일반화에 대한 정식화 및 검증을 다룬다. 고전적인 산술적 지젤-바일 공식은 쿠들라-라포포트(Kudla-Rapoport)에 의해 추측되었고 리-장(Li-Zhang)에 의해 증명되었으며, 유니터리 라포포트-진크(Rapoport-Zink) 공간 상의 쿠들라-라포포트 사이클의 국소 산술 교차수와 국소 휘터 함수(Whittaker function)의 중심 도함도 사이의 관계를 확립한다.

이 논문에서 다루는 구체적인 문제는 구형 헤cke 대수의 작용을 이 프레임워크에 포함시키는 것이다. 리-라포포트-장(Li-Rapoport-Zhang)이 정식화한 구형 헤cke 대수에 대한 산술적 근본 레마(arithmetic fundamental lemma)로부터 영감을 받아, 저자는 헤cke 대응(Hecke correspondences)에 의해 작용하는 사이클의 교차 다중도가 슈바르츠 함수(Schwartz functions)에 작용하는 헤cke 연산자와 관련된 휘터 함수의 중심 도함도와 연관될 것임을 밝히고자 한다. 이 일반화된 설정에서 휘터 함수를 명시적으로 계산하기 위해 표준적인 국소 헤르미트 공간의 표현 밀도(representation densities) 이론만으로는 불충분하다는 중요한 기술적 난관이 확인되었다.

방법론

본 논문은 산술 기하학, 표현론, 그리고 명시적인 국소 계산의 조합을 채택한다.

1. 일반화된 표현 밀도: 논문의 상당 부분은 일반화된 표현 밀도 이론을 개발하는 데 할애된다. 저자는 비특이 헤르미트 행렬 $T$와 임의의 컴팩트 열린 부분 집합 $C \subset V^d$에 대하여 표현 밀도 $\text{Den}_T(C)$를 정의한다. 이는 격자(lattice)에 대해 정의된 고전적 밀도 $\alpha(M, T)$를 일반화한 것이다. 이 정의는 모먼트 모피즘(moment morphism) $\tau: V^d \to \text{Herm}_d(F')$와 매끄러운 스킴(smooth scheme) 상의 미분 형식에 의해 유도된 측도를 사용하는 대수 기하학적 도구를 활용한다.
2. 밀도 다항식: 저자는 $\text{Den}_T(0, C) = \text{Den}_T(C)$를 만족하는 밀도 다항식 $\text{Den}_T(s, C) \in \mathbb{Q}[q^{-s}]$를 구성한다. 이러한 다항식들이 컴팩트 열린 집합의 특성 함수에 대한 국소 휘터 함수 $W_T(s, \mathbf{1}_C)$와 본질적으로 일치함을 보인다.
3. 계산 도구: 이러한 밀도를 명시적으로 계산하기 위해, 논문은 두 가지 기술적 도구를 개발한다:
   • 적분 모델(Integral Models): 관련 스킴의 매끄러운 적분 모델의 특수 섬유(special fibers) 상의 점들을 세는 방식을 통해 표현 밀도를 계산하는 방법.
   • 축약 공식(Reduction Formulas): 블록 대각 행렬의 표현 밀도를 그 대각 블록들의 밀도로 표현하는 푸비니(Fubini) 스타일의 축약 공식으로, 재귀적 계산을 가능하게 한다.
4. 저차원에서의 검증: 저자는 차원 $n=2$인 특정 사례에서 해당 추측을 검증한다. 여기에는 다음이 포함된다:
   • 헤cke 대응이 쿠들라-라포포트 사이클에 작용하는 것을 이용하여 기하적 측면에서의 산술 교차수를 명시적으로 계산하는 것.
   • 새로 개발된 밀도 다항식과 브루아트-티츠 트리(Bruhat-Tits tree) 상의 격자 경로(lattice paths)의 조합론적 계수를 사용하여 휘터 함수의 도함수를 명시적으로 계산하는 것.

주요 기여 및 결과

• 추측의 정식화: 논문은 추측 5.3.3, 즉 산술적 지젤-바일 공식의 일반화를 정식화한다. 이는 비특이 모먼트 행렬 $T$를 가진 튜플 $x$와 헤cke 함수 $f_1, \dots, f_r$에 대하여, 헤cke가 작용하는 사이클들의 유도된 교차(derived intersection)의 오일러-포앵카레 특성이 슈바르츠 함수에 대한 대응하는 헤cke 작용을 포함하는 휘터 함수의 정규화된 중심 도함수와 같음을 제안한다:
  $$\chi(f_1 Z^L(x_1) \otimes_L \dots \otimes_L f_r Z^L(x_r)) \stackrel{?}{=} \frac{W'_T(0, f_1 \mathbf{1}_{\Xi}^{d_1} \otimes \dots \otimes f_r \mathbf{1}_{\Xi}^{d_r})}{c(n) \log(q^2)}$$
• 정리 A ( $n=2$ 에 대한 검증): 저자는 $n=2$인 경우에 대해 이 추측을 증명한다. 구체적으로, 헤cke 함수 $f_1, f_2 \in H(V)$와 특정 노름 조건을 가진 기저 $x_1, x_2$에 대하여 다음 등식이 성립한다:
  $$\chi(f_1 Z^L(x_1) \otimes_L f_2 Z^L(x_2)) = \frac{W'_T(0, f_1 \mathbf{1}_{\Xi} \otimes f_2 \mathbf{1}_{\Xi})}{c(2) \log(q^2)}$$
  이 증명은 직접적인 계산을 포함한다. 기하적 측면은 쿠들라-라포포트 사이클과 그 헤cke 변환에 대한 기 알려진 공식으로 환원되며, 해석적 측면은 새로 개발된 일반화된 표현 밀도 도구를 필요로 한다.
• 일반화된 표현 밀도 이론: 논문은 격자가 아닌 임의의 컴팩트 열린 부분 집합에 대한 표현 밀도의 체계적인 발전을 제공한다. 여기에는 밀도 다항식의 구성과 상대적 위치에 있는 자기 쌍대 격자(self-dual lattices)를 포함하는 $2 \times 2$ 행렬에 대한 명시적 공식의 유도가 포함된다.

의의

본 논문은 주로 두 가지 영역에서 의의를 갖는다고 주장한다:

1. 산술적 지젤-바일 프로그램의 진전: 이 논문은 산술적 지젤-바일 공식의 범위를 구형 헤cke 대수의 작용까지 확장하여, 이를 구형 헤cke 대수에 대한 산술적 근본 레마와 일치시킨다. 이는 헤cke 연산자가 존재하는 유니터리 쉬무라 다양체(unitary Shimura varieties)에 대한 베일린슨-블록(Beilinson-Bloch) 추측에 대한 잠재적 응용을 위한 필수적인 단계이다.
2. 일반화된 밀도의 독립적 관심사: 저자는 고전적인 표현 밀도 이론의 일반화가 독립적인 관심사가 될 것으로 기대한다고 명시적으로 밝힌다. 임의의 컴팩트 열린 집합의 밀도와 그와 관련된 밀도 다항식을 계산하기 위해 개발된 도구들은, 헤cke 작용을 도입할 때 자연스럽게 발생하는 상황인 표준적인 함수들의 선형 결합으로서의 휘터 함수를 다룰 수 있는 프레임워크를 제공한다.

본 연구는 더 넓은 추측의 비자명한 특수 사례($n=2$)에 대한 검증으로 제시되며, 명시적인 계산은 제안된 공식의 일반적 타당성에 대한 증거 역할을 한다.