[논문 리뷰] Motivic Poisson summation

Ehud Hrushovski, David Kazhdan|ArXiv.org|2009. 02. 05.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 6

한 줄 요약

이 논문은 함수체 위에서의 모티빅 포아송 합성 공식을 개발하며, 정의 가능한 지수 합의 그로텐디크 링에서의 모티빅 적분을 사용한다. 소수 차수를 가진 두 동형인 분할 대수에서의 공액에 관여하지 않는 테스트 함수의 푸리에 변환 간의 매칭을 확립하여, 그들의 모티빅 푸리에 변환이 그로텐디크 링의 국소화 하에서 동치임을 증명함으로써 고전 결과를 모티빅 설정으로 일반화한다.

ABSTRACT

We develop a "motivic integration" version of the Poisson summation formula for function fields, with values in the Grothendieck ring of definable exponential sums. We also study division algebras over the function field, and obtain relations among the motivic Fourier transforms of a test function at different completions. We use these to prove, in a special case, a motivic version of a theorem of Deligne-Kazhdan-Vigneras.

연구 동기 및 목표

• 함수체에 대한 고전적 포아송 합성 공식을 모티빅 설정으로 확장한다.
• 함수체 위의 분할 대수에서의 테스트 함수의 모티빅 푸리에 변환을 연구한다.
• 동형인 분할 대수에서의 매칭되는 테스트 함수의 모티빅 푸리에 변환 간의 대응을 확립한다.
• 일반화된 잭비안과 같은 전역 기하학적 구조를 통해 서로 다른 완비화 위의 모티빅 적분을 연결한다.
• 모티빅 컨볼루션과 푸리에 변환의 구조가 분할 대수의 동형에 대해 어떻게 유지되는지 보여준다.

제안 방법

• 정의 가능한 지수 합의 그로텐디크 링 $\mathop{\operatorname{K}}_e$ 에서의 모티빅 적분을 사용한다.
• 군 다양체의 클래스로 나누기를 허용하기 위해 국소화 $\mathop{\operatorname{K}}_e[Gr^{-1}]$ 를 도입한다.
• 분할 대수의 승법군에 의해 공액에 관여하지 않는 테스트 함수에 모티빅 푸리에 변환을 적용한다.
• 모티빅 전역 테스트 함수와 함수체의 유리점 위에서 합해지는 모티빅 델타 함수 $\delta^K$ 를 정의한다.
• 유리점이 없는 곡선에 대한 $Pic^0(C)$ 와 같은 비표현 가능한 피카르 함수의 모티빅 클래스를 아델의 몫을 통해 정의한다.
• 리 다항식 구성과 지수 함수를 사용하여 $M_n/M_n^k$ 와 $1+M_n/1+M_n^k$ 에서의 덧셈적 및 곱셈적 컨볼루션 구조를 연결한다.

실험 결과

연구 질문

• RQ1 함수체에 대해 수치적 값 대신 그로텐디크 링의 클래스를 사용하는 모티빅 설정에서 포아송 합성 공식을 어떻게 구성할 수 있는가?
• RQ2 소수 차수를 가진 두 동형인 분할 대수에서의 공액에 관여하지 않는 테스트 함수의 모티빅 푸리에 변환은 서로 어떻게 관련되어 있는가?
• RQ3 다른 국소적 완비화 위의 모티빅 적분은 일반화된 잭비안과 같은 전역 기하학적 불변량을 통해 어느 정도 연결될 수 있는가?
• RQ4 덧셈적 및 곱셈적 컨볼루션 대수 간의 궤도 방법 동형은 모티빅 설정으로 어떻게 확장될 수 있는가?
• RQ5 정의 가능한 몫과 군 작용은 비표현 가능한 피카르 함수의 모티빅 클래스를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 소수 차수를 가진 두 동형인 분할 대수 $D$ 와 $\dot{D}$ 에서의 국소적 테스트 함수의 매칭되는 모티빅 푸리에 변환은 국소화된 그로텐디크 링 $\mathop{\operatorname{K}}_e[Gr^{-1}]$ 에서 일치함이 입증된다.
• 함수체의 정수 공액류 $O_c$ 에서의 모티빅 델타 함수 $\delta^K(O_c)$ 의 값은 중심자 곡선 $C$ 의 일반화된 잭비안과 관련이 있으며, 아델의 몫을 통해 $Pic^0(C)$ 의 모티빅 클래스가 잘 정의된다.
• 지수 함수는 덧셈군 $A_n = M_1/M_n$ 과 곱셈군 $G_n = (1+M_1)/(1+M_n)$ 에서 $D^*$-불변 함수의 링 간에 모티빅 동형을 유도하며, 컨볼루션 구조를 유지한다.
• 증명은 덧셈적 및 곱셈적 컨볼루션 방정식의 해 집합 간의 전단사 사상을 유도하는 리 다항식 자기동형사상 $H$ 에 의존하며, 그로텐디크 링에서의 클래스 등식을 보장한다.
• 기저 변경에 대해 안정적이며, $C(\mathfrak{f})$ 가 유리점이 없더라도 $Pic^0(C)$ 를 아델의 몫으로 간주함으로써 모든 체에서 균일하게 작동한다.
• 기존의 분할 대수와 $GL_n$ 간의 표현 대응 결과를 일반화하여, 궤도 방법에 따라 모티빅 컨볼루션 대수들이 모티빅 범주에서 동형임을 보여준다.