[논문 리뷰] Transformation de Fourier generalisee

Gérard Laumon|ArXiv.org|1996. 03. 05.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 56

한 줄 요약

이 논문은 일반화된 1-모티브 위의 D-모듈에 대한 일반화된 푸리에 변환을 도입한다—기존의 푸리에-무카이, 멜린, D-모듈 푸리에 변환을 확장하며, 자연적 확장의 공간에 대수적 구조를 부여하고, 이 이중 공간 위의 복합체와 D-모듈 사이의 함자적 대응을 구축한다. 주요 기여는 코homological 데이터로부터 D-모듈을 재구성할 수 있는 완전 충실한 역 푸리에 변환을 제공함으로써, 여러 고전적 변환을 하나의 프레임워크로 통합하는 것이다.

ABSTRACT

In this paper I construct a geometric transformation for generalized 1-motives which extends the Fourier-Mukai transformation for O-Modules on abelian varieties, the geometric Fourier transformation for D-Modules on vector spaces and the geometric Mellin transformation for D-Modules on tori. In particular, I construct an equivalence of triangulated categories between the derived category of quasi-coherent D-Modules on an abelian variety and the derived category of quasi-coherent O-Modules on the universal extension of the dual abelian variety. This equivalence has also been obtained by Mitchell Rothstein.

연구 동기 및 목표

• 알제브라적 군 위의 D-모듈에 대해 고전적 푸리에 변환(푸리에-무카이, 멜린, D-모듈 푸리에)을 하나의 일반화된 프레임워크로 통합하는 것.
• 코homological 데이터로부터 D-모듈을 자연적 확장의 이중 공간을 통해 재구성할 수 있는 일반화된 푸리에 변환을 정의하는 것.
• 1-모티브 이론과 카르티에 이중성 이론을 벡터성 및 토릭 성분을 포함하도록 확장하여, 혼합형 알제브라적 군 위의 D-모듈에 대한 통합적 처리를 가능하게 하는 것.
• 일반화된 푸리에 변환에 대한 함자적 역변환을 구축하여, 변환된 데이터로부터 D-모듈의 완전한 재구성 보장하는 것.
• 기하학적 랑글랜드 프로그램의 맥락에서, 특히 리만 곡면 위의 자동형층에 대해 푸리에 변환의 기하적 및 대수적 기초를 제공하는 것.

제안 방법

• 일반화된 1-모티브 $G$의 $\natural$-확장의 공간 $G^\natural$을 정의하며, 이는 일반화된 제곱의 정리에 따라 적절한 연결을 갖춘 ${\cal O}_G$-모듈로 구성된다.
• 이중 변환을 위한 이중 공간으로서의 기능을 수행하기 위해 $G^\natural$에 대수적 구조(일반화된 1-모티브)를 도입한다.
• de Rham 복합체 $({\cal L},\nabla) \otimes_{\cal O_G} \cal M$를 이용하여, $G$ 위의 D-모듈 $\cal M$에서 $G^\natural$ 위의 복합체로 가는 함자적 변환 $\cal F(M)$로 푸리에 변환을 구성한다.
• 이중화 복합체를 포함한 자연스러운 동형사상들을 통해 변환의 함자성, 기저 변경, 사영, 이중성과의 호환성을 확립한다.
• 일반화된 1-모티브 위의 준구성 및 구성 D-모듈 이론을 활용하여 변환이 필수적인 대수적 및 기하적 성질을 유지함을 보장한다.
• 이중성 동형사상들을 이용해 준역변환의 존재를 증명하고, 특수한 경우(아벨 다양체, 벡터 공간, 토리)에서 표준 푸리에 변환과의 호환성을 검증한다.

실험 결과

연구 질문

• RQ1 일반화된 푸리에 변환을 통해 알제브라적 군 위의 고전적 푸리에-무카이, 멜린, D-모듈 푸리에 변환을 하나의 프레임워크로 통합할 수 있는가?
• RQ2 일반화된 1-모티브의 $\natural$-확장의 공간은 어떻게 대수적 구조를 갖추어 이중 공간으로서의 역할을 할 수 있는가?
• RQ3 일반화된 $\natural$-확장 $({\cal L},\nabla) \in G^\natural$에 대해, $R\Gamma(G, \mathrm{DR}(({\cal L},\nabla) \otimes_{\cal O_G} {\cal M}))$의 코homological 데이터가 원래 D-모듈 $\cal M$를 어느 정도 결정하는가?
• RQ4 D-모듈의 푸리에 변환과 그 이중 간의 정확한 이중성 동형사상은 무엇이며, 이를 통해 알려진 결과를 어떻게 일반화할 수 있는가?
• RQ5 일반화된 변환은 일반화된 1-모티브 간의 기저 변경 및 사상에 대해 어떻게 행동하는가?

주요 결과

• 일반화된 푸리에 변환 $\cal F(M)$는 완전 충실하므로, $G^\natural$ 위의 변환된 코homological 데이터로부터 원래 D-모듈 $\cal M$를 재구성할 수 있다.
• 이 변환은 아벨 다양체 위의 고전적 푸리에-무카이 변환과 벡터 공간 위의 표준 푸리에 변환을 모두 확장하여, 이러한 변환들을 하나의 프레임워크로 통합한다.
• $M = [0 \to A]$인 경우, 아벨 다양체와 그 이중의 이중성에 의해 고전적 푸리에-무카이 동치가 복원된다.
• $M = [0 \to V]$인 경우, 변환은 $D_V$-모듈 위의 표준 푸리에 변환으로 축소되며, $\cal F' \circ \cal F \cong \langle -1 \rangle^!$를 만족한다.
• 이중화 복합체와의 호환성은 $\omega_M$와 이동을 포함한 동형사상들을 통해 확립되어, 그로텐디크 이중성과 일관성을 유지한다.
• 역변환은 이중성 함자들을 이용해 명시적으로 구성되며, $D' \circ \cal F \cong \langle -1 \rangle^! \circ \cal F \circ D \otimes \omega_{M}^{\otimes 3}[d_G - d_{\cal G} - r_{\cal G} + 2d_{G'}]$를 만족한다. 이는 알려진 이중성 결과를 일반화한다.