[논문 리뷰] Constructibility of tempered solutions of holonomic D-modules

Giovanni Morando|arXiv (Cornell University)|2013. 11. 26.

Holomorphic and Operator Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 복소해석다양체 위의 정칙 𝒟-모듈의 온화한 해의 층의 구성 가능성을 하위해석적 사이트에 대해 증명하며, 카시와라와 샤피라의 추측을 확인한다. 증명은 차원에 대한 귀납법을 통해 진행되며, 특이점의 해소와 온화한 De Rham 복합체의 성질을 이용하여, 정칙 𝒟-모듈에 대해 온화한 De Rham 복합체의 코homology가 ℝ-sa-구성 가능하다는 것을 증명한다.

ABSTRACT

In this paper we prove the constructibility on the subanalytic sites of the sheaves of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. Such a result solves a conjecture of M. Kashiwara and P. Schapira (2003).

연구 동기 및 목표

• 카시와라와 샤피라가 제기한, 정칙 𝒟-모듈의 온화한 해의 ℝ-sa-구성 가능성에 관한 오랜 동안 미해결된 추측을 해결하기 위해.
• 강화된 온화한 해 함수의 상 카테고리에 대한 위상적 특성화를 제공하여, Riemann–Hilbert 대응을 비정칙 경우로 확장하기 위해.
• 임의의 정칙 𝒟-모듈의 온화한 해의 복합체가 하위해석적 사이트에서 구성 가능하다는 것을 확립함으로써, 비정칙 특이점 존재 시 해의 구조를 명확히 하기 위해.

제안 방법

• 기저가 되는 복소다양체의 차원에 대한 귀납법을 사용하여 문제를 낮은 차원의 경우로 환원한다.
• 특이점의 해소를 적용하여 특이점의 집합을 정칙부와 특이부로 분해하고, 이를 통해 정규사상들을 이용해 문제를 매끄러운 다양체로 이행한다.
• 온화한 De Rham 복합체는 하위해석적 사이트의 층과 𝒟-모듈을 연결하는 함자 $\mathcal{TH}\mathrm{om}$ 을 통해 분석된다.
• 핵심 동치는 유도된 카테고리, 기저 변경, 쌍대성의 원리를 사용하여 유도된 $R\mathcal{H}\mathrm{om}$ 과 $\mathbb{D}$-함자를 포함한 이론적 도구들로 유도된다.
• 특이점의 집합의 정칙부와 특이부를 별도로 다루며, 특이점의 해소에 따른 엄격한 전이를 이용하여 정칙 경우로 환원한다.
• 기저가 되는 가정은 $\mathbb{D}\pi_{Z'}^*R\Gamma_{[Z]}\mathcal{M}$ 과 $R\Gamma_{[Z_s]}\mathcal{M}$ 에 적용되며, 이들의 특이지지의 차원이 낮다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 복소해석다양체 위의 정칙 𝒟-모듈에 대한 온화한 해의 복합체는 하위해석적 사이트에서 구성 가능한가?
• RQ2 카시와라와 샤피라의 추측에 따르면, 정칙 𝒟-모듈의 온화한 해의 층은 ℝ-sa-구성 가능할까?
• RQ3 비정칙 경우에서 강화된 온화한 해 함수의 상을 구성 가능성에 의해 위상적으로 완전히 특성화할 수 있는가?
• RQ4 특이점의 집합의 구조는 온화한 해의 구성 가능성에 어떤 영향을 미치는가?
• RQ5 온화한 해를 이용하여 비정칙 정칙 𝒟-모듈에 대해 Riemann–Hilbert 대응을 전역적으로 확장할 수 있는가?

주요 결과

• 복소해석다양체 위의 임의의 정칙 𝒟-모듈에 대한 온화한 해의 층은 하위해석적 사이트에서 ℝ-sa-구성 가능하다.
• 카시와라와 샤피라의 추측이 비정칙 경우에서 온화한 해의 구성 가능성에 대해 확인됨을 입증한다.
• 특이점의 해소를 통해 낮은 차원의 경우로 환원함으로써, 온화한 De Rham 복합체의 코homology가 구성 가능하다는 것을 증명한다.
• 차원에 대한 귀납법을 통해 복합체 $\mathrm{D\!R}^t_{Z'}(\mathbb{D}\pi_{Z'}^*R\Gamma_{[Z]}\mathcal{M})$ 가 ℝ-sa-구성 가능하다는 것을 보였다.
• 엄격한 전이와 적절한 전이를 이용하여 특이점의 집합의 정칙부와 특이부를 성공적으로 다루었다.
• 이 결과는 온화한 해를 통한 비정칙 정칙 𝒟-모듈에 대한 전역적 Riemann–Hilbert 대응의 기초 단계를 제공한다.