Geometrization of summation formulae for quadrics

기술 요약: 이차 형식에 대한 합산 공식의 기하학적 구조화

문제 제ない
본 논문은 수체 $E$ 위에서 짝수 개의 변수($2\ell$)를 갖는 분할 이차 형식(split quadratic form)의 영점 집합 $X_\ell$에 대한 푸아송 합산 공식(Poisson summation formula)을 다룬다. 이전 연구([Hsu21, Get25]의 정리 1.1)에서는 $\ell \ge 3$인 경우에 대해 푸아송 합산 공식이 이미 확립되었으나, 여기에는 "경계 항(boundary terms)"(퇴화된 아이젠슈타인 급수의 잔차)이 포함되어 있었으며, 이들이 기하학적 용어로 명시적으로 표현되지 않았다. 구체적으로, $s = \pm 1$ 및 $s = \pm (\ell-1)$에서의 잔차는 슈바르츠 함수(Schwartz function)에 적용된 경계 사상(boundary map)이 $0$일 때와 동치라는 점은 알려져 있었으나, 이 잔차들의 비제로(non-zero) 값들에 대한 기하학적 묘사는 결여되어 있었다.

함수체(function field)의 경우, [GK24]에서 최소 표현(minimal representations)의 오토모피(automorphy)를 사용하여 이러한 잔차들에 대한 완전한 기하학적 묘사가 이루어졌다. 그러나 수체(number field)의 경우는 아르키메데스적 장(archimedean places)으로 인해 독특한 과제들을 안고 있다. 최근 Getz [Get25]의 접근법은 테타 리프트(theta lift)를 통해 정의된 함수 공간 $\tilde{S}(X_\ell(\mathbb{A}_E))$와 매끄러운 궤적 위의 매끄러운 함수들로의 선형 사상 $I$를 도입하였다. [Get25]는 $I(f)$ 형태의 함수들에 대해 기하학적 합산 공식을 확립하였으나, 실제로 $I(f)$가 표준 슈바르츠 공간 $S(X_\ell(\mathbb{A}_E))$에 속하는지, 그리고 공식이 오직 $I(f)$의 상(image)에만 의존하도록 축소(descend)되는지는 불분명한 상태로 남아 있었다.

방법론
저자는 두 가지 서로 다른 이차 형식 상의 슈바르츠 공간 구축 사이의 엄밀한 동치를 확립함으로써 이러한 모호성을 해결한다:

1. 브라버만-카즈단(Braverman-Kazhdan) 공간: [GHL25] 및 [Hsu21]에서 개발된, 직교 군 $O_{V_{\ell+1}}$의 최소 표현을 통한 $S(X_\ell)$의 표준적 구축.
2. 테타 리프트(Theta Lift) 공간: [Get25]에서 $S(V_\ell \oplus \mathbb{A}^2)$ 상에서 작용하는 $SL_2$의 와일 표현(Weil representation)의 코인베리언트(coinvariants)를 통해 정의된 $\tilde{S}(X_\ell)$.

본 논문의 방법론은 세 가지 주요 단계로 진행된다:

• 국소 비교(Local Comparison): 본 논문은 비아르키메데스 국소 장과 아르키메데스 국소 장 모두에 대한 국소 이론을 분석한다. 저자는 두 구축 방식에 대해 특이점(원점) 근처에서의 함수의 점근적 거동(asymptotic behavior)을 명시적으로 계산한다.
• 사상의 식별(Identification of Maps): 저자는 테타 리프트 맵 $I: \tilde{S}(X_\ell) \to C^\infty(X_\ell^\circ)$가 표준 슈바르츠 공간 $S(X_\ell)$로의 동형 사상임을 증명한다. 결정적으로, 이 동형 사상은 두 이론에서 정의된 푸리에 변환($\tilde{F}_{X_\ell}$ 및 $F_{X_\ell}$)과 경계 사상(잔차 및 점근 계수)을 서로 얽히게(intertwine) 한다.
• 전역 축소(Global Descent): 국소적 식별을 사용하여, 저자는 테타 리프트 설정으로부터 표준 슈바르츠 공간 설정으로 합산 공식을 끌어올린다(lift). 이 과정에서 아델릭 공식이 성립하도록 수체의 판별식 $D$와 엡실론 인자 $\epsilon(s, \psi)$를 포함한 정규화 상수들을 정밀하게 추적하는 작업이 포함된다.

주요 기여 및 결과

1. 슈바르츠 공간의 동치: 본 논문은 $\ell \ge 2$에 대하여, 테타 리프트 맵 $I$의 상이 정확히 표준 슈바르츠 공간 $S(X_\ell(\mathbb{A}_E))$임을 증명한다(정리 7.1, 명제 5.2, 6.3). 이는 테타 리프트 구축이 수체 설정에서 슈바르츠 공간의 유효한 모델을 제공함을 확인해 준다.
2. 잔차의 기하학적 구조화: 주요 결과는 "기하학화된" 푸아송 합산 공식인 정리 1.2이다. 이 공식은 이차 형식 위의 유리점들에 대한 슈바르츠 함수의 합을 다음 항목들로 표현한다:
   • 그 푸리에 변환의 합.
   • 반복된 경계 사상 $d_{\ell, i}$와 $c_i$를 포함하는 명시적인 경계 항들.
   • 이러한 경계 사상들은 원점 근처에서의 함수의 점근적 전개(germs)에 대응한다.
3. 명시적 잔차 공식: 새로운 공식(정리 1.2)을 이전의 해석적 공식(정리 1.1)과 비교함으로써, 저자는 퇴화된 아이젠슈타인 급수의 잔차에 대한 명시적인 기하학적 표현을 도출한다:
   $$\text{Res}_{s=-(\ell-1)} \text{Eis}(f_s) = \kappa |D|^{\frac{\ell-3}{2}} \zeta(\ell-1) c_\ell(f)$$
   그리고 $d_\ell$과 관련된 항들의 합을 포함하는 $s=-1$에서의 잔차에 대해서도 유사한 표현을 도출한다.
4. $\ell=2$의 처리: 본 논문은 아이젠슈타인 급수가 2차 극(pole of order 2)을 가질 수 있는 $\ell=2$의 경우에 대한 상세한 분석을 제공한다. 저자는 $\ell \ge 3$의 경우에는 존재하지 않았던 $(s+1)^{-2}$ 항의 계수를 포착하기 위해 추가적인 경계 사상 $a_2$를 도입한다.

의의
본 논문은 주요 기여가 이차 형식에 대한 푸아송 합산 공식의 경계 항에 대한 기하학적 표현을 제공하는 데 있다고 주장한다. 경계 항들이 (사상 $c_\ell$ 및 $d_\ell$를 통해) 특이점에서의 함수의 germ(씨앗)에 의해 결정됨을 보여줌으로써, 이 연구는 해석적 잔차를 "기하학화"한다.

저자는 이 결과가 **정규화된 지겔-바일 항등식(regularized Siegel-Weil identities)**과 유사하다고 언급한다([Ich01, Ike96, KR94] 인용). 그 의의는 이러한 항등식이 브라버만-카즈단 공간의 경계 항을 기하학화하는 데 사용될 수 있음을 입증하는 데 있다. 본 논문은 이 접근법이 라그랑지안 그라스만 다양체(Lagrangian Grassmannian) 상의 푸아송 합산 공식을 기하학적인 방식으로 재구성하는 것([GL21] 참조)과 같은 다른 설정으로 확장될 수 있음을 시사하지만, 그 확장을 직접 수행하지는 않는다.

요약하자면, 본 논문은 아이젠슈타인 급수의 해석적 이론과 특이 다양체 상의 슈바르츠 공간에 대한 기하학적 이론 사이의 간극을 메우며, [Get25]의 테타 리프트 접근법이 브라버만-카즈단 프레임워크와 완전히 호환되며 합산 공식의 오차 항에 대한 완전한 기하학적 묘사를 제공함을 확인시켜 준다.