[논문 리뷰] Local Fourier transforms and rigidity for D-modules

Spencer Bloch, Hélène Esnault|ArXiv.org|2003. 12. 17.

Rings, Modules, and Algebras참고 문헌 1인용 수 14

한 줄 요약

이 논문은 복소수 로렌트 급수 체 위의 유리형 D-모듈에 대해 국소 푸리에 변환을 구축하며, 라우몬의 ℓ-adic 이론을 복소 해석적 설정으로 확장한다. 전역 푸리에 변환에 대해 강성 지수의 불변성을 증명하여, 유리형 연결이 강성임과 그 강성 지수가 정확히 2임이 동치임을 보인다.

ABSTRACT

Local Fourier trnasforms, analogous to the $\ell$-adic Fourier transforms, are constructed for connections over $k((t))$. Following a program of Katz, a meromorphic connection on a curve is shown to be rigid, i.e. determined by local data at the singularities, if and only if a certain cohomological condition is satisfied. We show that the index of rigidity is invariant under Fourier transform.

연구 동기 및 목표

• 복소수 로렌트 급수 체 위의 곡선에서의 유리형 연결에 대해 라우몬의 국소 ℓ-adic 푸리에 변환 이론을 복소 해석적 D-모듈 설정으로 확장하기.
• 국소 푸리에 변환을 이용해 유리형 D-모듈의 강성에 대한 코homological 기준을 설정하기.
• 전역 푸리에 변환에 대해 강성 지수가 불변임을 증명하여, 케츠의 결과를 ℓ-adic에서 복소 해석적 D-모듈로 일반화하기.
• 기약 유리형 연결이 강성임과 그 강성 지수가 정확히 2임이 동치임을 보여주기.
• ℓ-adic 설정에서는 알려져 있지 않은, 강성에 대한 코homological 특성화를 제공하기.

제안 방법

• Laumon의 ℓ-adic 구성과 유사하게 $ k((t)) $ 위의 유리형 연결에 대해 국소 푸리에 변환을 구축하기.
• 그로텐디크의 형식 코homology 정리에 의해 $ \mathbb{P}^1 \times \mathbb{P}^1 $ 위의 de Rham 코hom로 연결 $ \psi = (\mathcal{O}, d + d(tt')) $ 를 통해 상대 코hom로 연결하기.
• 연결의 행동을 푸리에 변환 하에서 통제하기 위해 연결에 대한 양호한 격자 쌍의 개념을 적용하기.
• 연결의 변형 함수 $ F $ 를 정의하고, 슈레싱거 기준과 코homological 소멸을 이용해 그가 프로-대표 가능하고 매끄럽다는 것을 보여주기.
• 아르틴의 기준을 적용해 형식 모듈리 공간을 대수화하고, 매끄러운 기저 $ S $ 위에 유일한 가족 $ \mathcal{M}_S $ 가 존재함을 증명하기.
• 장애 이론을 $ H^2(X, j_!^* \mathcal{E}nd(M)) \to H^2(X, j_!^* \mathcal{O}_U) \cong k $ 를 통해 분석하여, 행렬식의 자명성으로 인해 장애가 사라짐을 보여주기.

실험 결과

연구 질문

• RQ1 유리형 D-모듈의 강성 지수가 ℓ-adic 경우와 마찬가지로 전역 푸리에 변환에 대해 불변인지?
• RQ2 국소 푸리에 변환을 이용해 유리형 연결에 대한 코homological 기준을 설정할 수 있는가?
• RQ3 기약 유리형 연결의 강성 지수가 2임이 실제 강성과 동치인가?
• RQ4 Laumon의 ℓ-adic 판과 유사한 성질을 갖는 $ k((t)) $ 위의 D-모듈 설정에서 국소 푸리에 변환을 구성할 수 있는가?
• RQ5 양호한 격자 쌍은 연결이 푸리에 변환 하에서 행동을 통제하는 데 어떤 역할을 하는가?

주요 결과

• 유리형 D-모듈에 대한 국소 푸리에 변환이 구성되었고, 그 성질이 라우몬의 ℓ-adic 국소 푸리에 변환과 유사함이 입증되었다.
• 강성 지수가 전역 푸리에 변환에 대해 불변임이 증명되었으며, 케츠의 결과가 복소 해석적 D-모듈 설정으로 일반화되었다.
• 기약 유리형 연결은 강성임과 그 강성 지수가 정확히 2임이 동치임이 입증되었다.
• 연결의 변형 함수는 매끄럽고 프로-대표 가능하며, 장애는 $ H^2(X, j_!^* \mathcal{E}nd(M)) $ 에 위치하며, 행렬식의 자명성으로 인해 소멸한다.
• 코homological 기준은 $ H^1(X, j_!^* \mathcal{E}nd(M)) \to H^1(\widehat{U}, \mathcal{E}nd(M)) $ 를 통해 설정되었으며, ℓ-adic 경우에서는 알려져 있지 않은 새로운 특성화를 제공한다.
• 아르틴의 기준을 통해 매끄러운 기저 $ S $ 와 유일한 가족 $ \mathcal{M}_S $ 가 존재함이 증명되었으며, 형식 모듈리 공간이 대수화됨을 보였다.