[논문 리뷰] Curve test for enhanced ind-sheaves and holonomic D-modules

Takuro Mochizuki|arXiv (Cornell University)|2016. 10. 26.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 코homologically holonomic D-모듈로부터 유래하는 향상된 ind-sheaf를 특성화하는 곡선 테스트 기준을 수립한다: 복소다양체 위의 실수 구조적 향상된 ind-sheaf가 코homologically holonomic D-모듈의 향상된 de Rham 복합체와 동형일 조건은, 임의의 헬로모르픽 곡선에 沿해 그 pullback도 동일한 형태의 복합체가 되는 것이다. 이 결과는 비정칙 holonomic 설정에서 Riemann-Hilbert 대응을 완성하며, 향상된 ind-sheaf를 D-모듈로 올리는 데 있어 곡선 테스트를 통한 기하학적 기준을 제공한다.

ABSTRACT

Recently, the Riemann-Hilbert correspondence was generalized in the context of general holonomic D-modules by A. D'Agnolo and M. Kashiwara. Namely, they proved that their enhanced de Rham functor gives a fully faithfully embedding of the derived category of cohomologically holonomic complexes of D-modules into the derived category of complexes of real constructible enhanced ind-sheaves. In this paper, we study a condition when a complex of real constructible enhanced ind-sheaves $K$ is induced by a cohomologically holonomic complex of D-modules. We characterize such $K$ in terms of the restriction of $K$ to holomorphic curves.

연구 동기 및 목표

• 복소다양체 위의 실수 구조적 향상된 ind-sheaf가 코homologically holonomic D-모듈에서 유래할 수 있는 필요 및 충분 조건을 규명하는 것.
• 향상된 de Rham 함자에 의한 상의 본질적 이미지를 특성화하여, 비정칙 holonomic 케이스로의 Riemann-Hilbert 대응을 일반화하는 것.
• 형식적 또는 점근적 분석이 필요 없이, 헬로모르픽 곡선을 통한 기하학적 리프팅 기준을 제공하는 것.

제안 방법

• 모든 헬로모르픽 곡선을 통해 $X$로의 pullback이 향상된 de Rham 함자의 본질적 이미지에 속하는 실수 구조적 향상된 ind-sheaf의 전체 부분범주 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$를 정의한다.
• 향상된 de Rham 함자와 6개의 연산 및 대칭성의 호환성을 이용하여 문제를 국소적 곡선 테스트로 축소한다.
• 곡선 pullback에서 추출한 분기된 비정칙 값과 다중도 함수를 이용해 특이점 주변의 유리형 평탄 접속을 구성한다.
• 향상된 ind-sheaf의 지지부의 차원에 대한 귀납법을 사용하여 문제를 낮은 차원의 부분다양체로 축소한다.
• 유리형 평탄 접속에 대한 완전충실한 Riemann-Hilbert 대응을 활용하여 국소 데이터를 전역 D-모듈로 올린다.
• 해당 범주 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$에서 해 함수자 $\mathop{\rm Sol}\nolimits^\mathsf{E}$가 동치임을 증명함으로써 주정리를 확립한다.

실험 결과

연구 질문

• RQ1 복소다양체 위의 실수 구조적 향상된 ind-sheaf가 코homologically holonomic D-모듈의 향상된 de Rham 복합체와 동형일 조건은 무엇인가?
• RQ2 향상된 de Rham 함자의 본질적 이미지를 헬로모르픽 곡선을 통한 pullback을 통해 기하학적으로 특성화할 수 있는가?
• RQ3 곡선 테스트 조건—모든 곡선에 대해 pullback을 하였을 때 그 이미지가 본질적 이미지에 속해야 한다—이 조건이 원래 sheaf가 D-모듈에서 유래됨을 보장하는 데 충분한가?
• RQ4 곡선 데이터를 이용하여 코homologically holonomic D-모듈을 어떻게 재구성할 수 있는가?
• RQ5 향상된 해 함수자 $\mathop{\rm Sol}\nolimits^\mathsf{E}$는 곡선 테스트로 정의된 범주에서 완전충실하고 본질적으로 전사적인가?

주요 결과

• 곡선 테스트 조건으로 정의된 범주 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$는 향상된 de Rham 함자의 본질적 이미지 $\mathsf{E}^b_\mathcal{D}(\mathrm{I}\mathbb{C}_X)$와 정확히 일치한다.
• 향상된 해 함수자 $\mathop{\rm Sol}\nolimits^\mathsf{E}$는 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$에서 동치이므로, 모든 이러한 향상된 ind-sheaf는 코homologically holonomic D-모듈에서 유래됨을 의미한다.
• 곡선 테스트 조건은 필수적이고 충분한 조건이다: sheaf가 본질적 이미지에 속해 있음과 동치로, 모든 헬로모르픽 곡선에 대해 pullback이 본질적 이미지에 속한다.
• 증명은 지지부의 차원에 대한 귀납법을 사용하며, 문제를 낮은 차원의 부분다양체로 축소하고, 유리형 평탄 접속에 대한 완전충실한 Riemann-Hilbert 대응을 활용한다.
• 분기된 비정칙 값과 다중도를 곡선 pullback에서 추출하여 국소적으로 유리형 평탄 접속을 구성함으로써, 전역 D-모듈의 구조와의 호환성을 확보한다.
• 모든 $K \in \mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$에 대해 자연스러운 사상 $\Phi_K: K \to \mathop{\rm Sol}\nolimits^\mathsf{E} \Upsilon^\mathsf{E}(K)$가 동치임을 증명함으로써, 향상된 de Rham 함자의 본질적 전사성은 확인된다.