[논문 리뷰] A refined Poisson summation formula for certain Braverman-Kazhdan spaces

Jayce R. Getz, Baiying Liu|arXiv (Cornell University)|2017. 07. 19.

Advanced Algebra and Geometry참고 문헌 14인용 수 4

한 줄 요약

이 논문은 심플렉틱 군과 관련된 Braverman-Kazhdan 공간에 대해 제약 조건이 없는 정련된 푸리에 급수 공식을 수립한다. 이전 연구에서 제기된 제약 조건 없는 분석적 조건을 제거하고, 엄밀한 분석적 제어를 갖춘 슈바르츠 공간을 구축하며, 이 공간에 속하는 모든 함수에 대해 공식이 성립함을 증명한다. 이는 비아벨리안 푸리에 해석 이론과 L-함수 이론의 발전을 이끌며, Langlands L-함수의 유리형 연속성과 함수방정식을 가능하게 한다.

ABSTRACT

Braverman and Kazhdan introduced influential conjectures generalizing the Fourier transform and the Poisson summation formula. Their conjectures should imply that quite general Langlands $L$-functions have meromorphic continuations and functional equations as predicted by Langlands' functoriality conjecture. As evidence for their conjectures, Braverman and Kazhdan considered a setting related to the so-called doubling method in a later paper and proved the corresponding Poisson summation formula under restrictive assumptions on the functions involved. In this paper we consider a special case of the setting of the later paper, and prove a refined Poisson summation formula that eliminates the restrictive assumptions of loc. cit. Along the way we provide analytic control on the Schwartz space we construct; this analytic control was conjectured to hold (in a slightly different setting) in the work of Braverman and Kazhdan.

연구 동기 및 목표

• Braverman와 Kazhdan의 이전 연구에서 제기된 심플렉틱 Braverman-Kazhdan 공간에 대한 푸리에 급수 공식에서 제약 조건이 없는 분석적 가정을 제거하는 것.
• 공간 $X = [P,P]\backslash \mathrm{Sp}_{2n}$ 위에 엄밀한 분석적 제어를 갖춘 슈바르츠 공간을 구축하여 [BK02]에서 제기된 추측을 확인하는 것.
• 자기형 양식이 정의된 공간 $X(\mathbb{A}_F)$ 위에서 정련된 슈바르츠 공간에 속하는 모든 함수에 대해 유효한 전역 푸리에 급수 공식을 수립하는 것.
• 비아벨리안 푸리에 해석을 통한 배치법의 기하학적 및 표현론적 프레임워크를 제공하는 것.
• 비아벨리안 푸리에 급수 공식이 Langlands L-함수의 유리형 연속성과 함수방정식을 암시한다는 광범위한 추측을 뒷받침하는 것.

제안 방법

• 플루커 임bedding과 자동형 표현 이론을 이용하여 Braverman-Kazhdan 공간 $X = [P,P]\backslash \mathrm{Sp}_{2n}$ 위에 슈바르츠 공간 $\mathcal{S}(X(\mathbb{A}_F),K)$를 구축한다.
• 웨일 군 원소 $w_0$의 작용과 정규화된 교차 연산자에 의해 정의된 푸리에 변환 $\mathcal{F}_{\psi,K}$를 도입한다.
• 아르히메데스적 및 비아르히메데스적 자리에서 행렬 계수의 급속한 감쇠를 증명하여 슈바르츠 공간에 대한 분석적 제어를 확립한다.
• 이즈라엘리 시리즈 이론과 표준 L-함수의 유리형 연속성을 이용하여 교차 연산자의 수렴성과 유계성을 검증한다.
• $\omega$-미분 연산자의 방법을 적용하여 절단의 성장률을 제어하고 해석적 성질과 급속한 감쇠를 증명한다.
• 정련된 슈바르츠 공간과 분석적 제어를 이용하여 $f$의 $X(F)$ 위에서의 합과 $\widehat{f}$의 $X(F)$ 위에서의 합이 동일함을 보여 전역 푸리에 급수 공식을 증명한다.

실험 결과

연구 질문

• RQ1 테스트 함수에 대한 제약 조건이 없는 분석적 가정 없이도 Braverman-Kazhdan 공간에 대한 푸리에 급수 공식을 수립할 수 있는가?
• RQ2 공간 $X = [P,P]\backslash \mathrm{Sp}_{2n}$ 위의 슈바르츠 공간이 [BK02]에서 제기된 분석적 제어(예: 급속한 감쇠)를 갖는가?
• RQ3 정련된 슈바르츠 공간을 이용하여 L-함수의 잔여항과 함수방정식을 포괄하는 전역 푸리에 급수 공식을 증명할 수 있는가?
• RQ4 정규화된 교차 연산자가 정련된 슈바르츠 공간 위에서 어떻게 행동하는가? 그리고 필요한 성장 조건을 유지하는가?
• RQ5 구축된 슈바르츠 공간에 속하는 모든 함수, 비특이 경계 항을 갖는 함수까지 포함하여 전역 합공식이 성립하는가?

주요 결과

• 논문은 공간 $X = [P,P]\backslash \mathrm{Sp}_{2n}$ 위에 분석적 제어가 완전한 슈바르츠 공간 $\mathcal{S}(X(\mathbb{A}_F),K)$를 구축하여 [BK02]에서 제기된 추측을 확인한다.
• 푸리에 변환 $\mathcal{F}_{\psi,K}$는 잘 정의되어 있으며 $\mathcal{S}(X(\mathbb{A}_F),K)$를 자기 자신으로 보냄으로써 이 설정에서 푸리에 급수 공식이 의미를 갖는다.
• 전역 푸리에 급수 공식이 성립한다: 모든 $f \in \mathcal{S}(X(\mathbb{A}_F),K)$에 대해 $\sum_{\gamma \in X(F)} f(\gamma) = \sum_{\gamma \in X(F)} \widehat{f}(\gamma)$이며, $f$에 대한 제약 조건이 없다.
• 행렬 계수 $M_{w_0}\Phi_{\chi_s}(I_{2n})$는 $\mathrm{Re}(s) \geq n^2/2$ 에서 균일하게 유계이며, 아르히메데스적 경우의 수렴성과 분석적 제어를 증명한다.
• 증명은 $\Phi_{\chi_s}$가 우수한 절단임을 보이며, 유한한 반노름 $|\Phi_{\chi_s}(g)|_{A,B,P}$ 및 $|M_{w_0}\Phi_{\chi_s}(g)|_{A,B,P}$를 갖는다. 이는 필요한 감쇠와 해석적 성질을 보장한다.
• 이 방법은 배치법에 기하학적 및 표현론적 의미를 제공하며, 비아벨리안 푸리에 급수 공식과 L-함수의 유리형 연속성과 연결한다.