[논문 리뷰] D-modules on rigid analytic spaces III: Weak holonomicity and operations

Konstantin Ardakov, Andreas Bode외 1명|arXiv (Cornell University)|2019. 04. 30.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 4

한 줄 요약

이 논문은 강한 해석적 공간 위의 공수용 $\wideparen{\mathcal{D}}$-모듈에 대한 차원 이론을 개발하며, 대수적 $\mathcal{D}$-모듈에서의 힐버트성과 유사한 약한 힐버트성의 개념을 도입한다. 이 모듈에 대해 버너스타인 부등식을 증명하고, 닫힌 매장과 쌍대성에 대해 안정성을 확립하며, 적분 가능한 연결장의 고차 직접영상과 국소 코hom로지가 비록 무한차원의 섬유와 무한 길이의 모듈이라는 병리적 현상에도 불구하고 공수용이면서 약한 힐버트성을 띤다는 것을 보인다.

ABSTRACT

We develop a dimension theory for coadmissible D-cap-modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic D-modules in the algebraic setting. We discuss a number of pathologies contained in this subcategory (modules of infinite length, infinte-dimensional fibres). We prove stability results for closed immersions and the duality functor, and show that all higher direct images of integrable connections restricted to a Zariski open subspace are coadmissible of minimal dimension. It follows that the local cohomology sheaves $H^i_Z(\mathcal{M})$ with support in a closed analytic subset $Z$ of $X$ are also coadmissible of minimal dimension for any integrable connection $\mathcal{M}$ on $X$.

연구 동기 및 목표

• 강한 해석적 공간 위의 공수용 $\wideparen{\mathcal{D}}$-모듈에 대한 차원 이론을 개발하여, 대수적 $\mathcal{D}$-모듈에서의 힐버트성 개념을 일반화한다.
• 최소 차원을 갖는 약한 힐버트성 $\wideparen{\mathcal{D}}$-모듈을 정의하고 연구하며, 대수적 맥락에서의 힐버트 모듈과 유사하게 간주한다.
• 이 카테고리에서 발생하는 병리적 현상, 예를 들어 무한 길이의 모듈과 무한차원의 섬유 등, 대수적 이론에서는 발생하지 않는 현상을 조사한다.
• 닫힌 매장, 쌍대성, 고차 직접영상, 국소 코호몰로지 함자와 같은 핵심 연산에 대해 약한 힐버트성의 안정성을 증명한다.
• 적분 가능한 연결장의 고차 직접영상과 국소 코호몰로지 층이 공수용이면서 약한 힐버트성을 띤다는 것을 증명하여, 고전 결과를 해석적 맥락으로 확장한다.

제안 방법

• Auslander 정칙성에서 Auslander–Gorenstein로 조건을 완화하여, Fréchet–Stein 대수의 호모로지적 차원 이론을 응용한다.
• 모듈 $M$의 차원 $d(M)$을 $d(M) = 2\dim X - j(M)$로 정의하며, 여기서 $j(M)$은 $M$의 호모로지적 등급이다. 비영 모듈에 대해 버너스타인 부등식 $d(M) \geq \dim X$를 증명한다.
• $\wideparen{\mathcal{D}}(X)$가 $\mathcal{D}(X)$-모듈로서 충실하게 평탄함을 이용하여 해석적 이론과 대수적 이론을 연결한다.
• Zariski 열린 매장에 沿한 유도된 직접영상 이론을 적용하여, 적분 가능한 연결장 $\mathcal{M}$에 대해 $\mathrm{R}^i j_* (\mathcal{M}|_U)$ 가 공수용이면서 약한 힐버트성을 띤다는 것을 보인다.
• 국소 코호몰로지 정확열과 $i \geq 2$에 대해 $\underline{H}^i_Z(\mathcal{M}) \cong \mathrm{R}^{i-1}j_*(\mathcal{M}|_U)$ 인 등식을 적용하여 국소 코호몰로지 층의 약한 힐버트성을 유도한다.
• 가환 커버링 위에서 체흐 코호몰로지를 적용하여 $\mathrm{R}^i j_*(\mathcal{M}|_U)(X)$ 를 계산하고, 고차 코호몰로지에 대해 최소 차원 모듈의 안정성 결과를 적용한다.

실험 결과

연구 질문

• RQ1 특성 다양체 이론이 존재하지 않는다는 점을 감안할 때, 강한 해석적 공간 위의 공수용 $\wideparen{\mathcal{D}}$-모듈에 대해 의미 있는 차원과 최소 차원(약한 힐버트성)의 개념을 정의할 수 있는가?
• RQ2 Zariski 열린 매장에 의한 적분 가능한 연결장의 고차 직접영상 $\mathrm{R}^i j_*(\mathcal{M}|_U)$ 는 여전히 공수용이면서 최소 차원을 갖는가?
• RQ3 닫힌 해석적 부분공간 $Z$ 에서의 지원을 갖는 국소 코호몰로지 층 $\underline{H}^i_Z(\mathcal{M})$ 는 적분 가능한 연결장 $\mathcal{M}$ 에 대해 공수용이면서 약한 힐버트성인가?
• RQ4 약한 힐버트성 $\wideparen{\mathcal{D}}$-모듈의 카테고리에서 대수적 힐버트 카테고리에 존재하지 않는 병리적 현상은 무엇인가?
• RQ5 쌍대성과 닫힌 매장에서 약한 힐버트성이 해석적 맥락에서 유지되는가?

주요 결과

• 논문은 공수용 $\wideparen{\mathcal{D}}(X)$-모듈에 대해 버너스타인 부등식을 확립한다: 비영 모듈 $M$에 대해 차원은 $d(M) \geq \dim X$ 를 만족하며, 등호는 약한 힐버트성 모듈을 특징짓는다.
• 모든 Zariski 열린 매장 $j:U\to X$ 와 $X$ 위의 적분 가능한 연결장 $\mathcal{M}$ 에 대해 $\mathrm{R}^i j_*(\mathcal{M}|_U)$ 는 공수용 $\wideparen{\mathcal{D}}_X$-모듈로서 최소 차원을 갖는다는 것을 증명하며, 고전 결과를 해석적 맥락으로 확장한다.
• 모든 닫힌 해석적 부분공간 $Z$ 와 매끄러운 강한 해석적 공간 $X$ 위의 적분 가능한 연결장 $\mathcal{M}$ 에 대해 국소 코호몰로지 층 $\underline{H}^i_Z(\mathcal{M})$ 는 공수용이면서 약한 힐버트성을 띤다는 것을 $\underline{H}^i_Z(\mathcal{M}) \cong \mathrm{R}^{i-1}j_*(\mathcal{M}|_U)$ 인 등식을 통해 보인다.
• 약한 힐버트성 $\wideparen{\mathcal{D}}$-모듈의 카테고리에는 대수적 경우에서는 존재하지 않는 병리적 현상, 예를 들어 무한 길이의 모듈과 무한차원의 섬유가 포함되어 있으며, 이는 $(*)$ 및 $(**)$ 성질의 유사성이 약한 힐버트성을 특징짓지 못함을 시사한다.
• 쌍대성 함자는 약한 힐버트성을 유지하며, 약한 힐버트성 모듈의 카테고리 $\mathcal{C}_X^{\mathrm{wh}}$ 는 아벨 카테고리이므로, 핵과 코어널이 안정됨을 보장한다.
• 자연스러운 사상 $\theta: \wideparen{\mathcal{D}}(X) \otimes_{\mathcal{D}(X)} M[f^{-1}] \to \mathcal{M}(U)$ 는 공수용 $\wideparen{\mathcal{D}}(X)$-모듈 사이의 전사 사상이며, 이는 대수적 맥락에서의 차원 경계를 해석적 맥락으로 이전하는 데 사용된다.