[논문 리뷰] Simple D-module components of local cohomology modules

Claudia Polini, Robin Hartshorne|arXiv (Cornell University)|2016. 06. 03.

Commutative Algebra and Its Applications참고 문헌 12인용 수 7

한 줄 요약

이 논문은 비특이 프로젝티브 다양체 $V \subset \mathbb{P}^n_k$ 의 코드미언스 $r$ 에 대해 국소 코hom로지 모듈 $H^r_I(A)$ 의 단순 D-모듈 성분을 기술한다. 비특이 코호몰로지 모듈은 $V$ 위의 콘에 기반한 유일한 단순 부분-D-모듈을 가지며, 몫은 잔여체의 임베딩 $E$ 의 $m$ 개 복합체와 동형이다. 여기서 $m = b_d - b_{d-2}$ 는 대수적 de Rham 코호몰로지에서 $V$ 의 베텨리 수에 의해 결정된다. 주요 결과는 비특이 곡선의 기하학적 종수 $g$ 에 대해 $H^{n-1}_I(A)$ 가 단순임을 보여주며, 이는 $g = 0$ 인 경우에만 성립한다. 이는 de Rham 코호몰로지와 D-모듈 이론을 통해 Raicu의 결과를 대수적으로 복원한다.

ABSTRACT

For a projective variety V in P^n over a field of characteristic zero, with homogeneous ideal I in A = k[x0,x1,...,xn], we consider the local cohomology modules H^i_I(A). These have a structure of holonomic D-module over A, and we investigate their filtration by simple D-modules. In case V is nonsingular, we can describe completely these simple components in terms of the Betti numbers of V.

연구 동기 및 목표

• 프로젝티브 다양체 $V \subset \mathbb{P}^n_k$ 에 대해 국소 코호몰로지 모듈 $H^i_I(A)$ 의 단순 D-모듈 성분의 구조를 규명한다.
• $H^r_I(A)$ 의 D-모듈 구성 인자와 $V$ 의 대수적 de Rham 베텰리 수 사이의 관계를 규명한다.
• 해석적 D-모듈이나 Riemann-Hilbert 대응에 의존하지 않고, 특성 0에서 $H^r_I(A)$ 의 D-모듈 구조를 대수적으로 증명한다.
• 홀로노믹 D-모듈의 최상위 de Rham 코호몰로지 차원과 그 몫에서 $E$ 의 복수 개수 사이의 이중성을 수립한다.

제안 방법

• 홀로노믹 D-모듈에 대해 $H^j_{\text{DR}}(H^r_I(A))$ 를 계산하기 위해 대수적 de Rham 코호몰로지를 사용한다.
• de Rham 호모로지에 대한 강력한 절단 정리들을 적용하여 국소 코호몰로지를 $V$ 의 전역 코호몰로지와 연결한다.
• 홀로노믹 D-모듈 $M$ 의 몫에서 $E$ 의 최대 복수 개수를 $\dim H^n_{\text{DR}}(M)$ 과 연결하는 기술적 결과를 활용한다.
• Bernstein-Sato 이론과 최소 확장 이론을 활용하여 $V$ 의 콘에 기반한 단순 D-모듈을 구성한다.
• 완비화 사상 $A \to \hat{A}$ 를 사용하여 $H^r_I(A)$ 와 그 완비화 $\hat{M}$ 을 연결하며, de Rham 코호몰로지를 유지한다.
• 해석적 방법을 피하면서도 Riemann-Hilbert 대응의 정신을 활용한다.

실험 결과

연구 질문

• RQ1 비특이 프로젝티브 다양체 $V \subset \mathbb{P}^n_k$ 의 코드미언스 $r$ 에 대해 $H^r_I(A)$ 의 단순 D-모듈 성분은 무엇인가?
• RQ2 대수적 de Rham 코호몰로지에서 $V$ 의 베텔리 수는 $H^r_I(A)$ 가 D-모듈로서 어떻게 구조화되는가를 결정하는가?
• RQ3 $H^r_I(A)$ 의 최대 단순 부분-D-모듈에 대한 몫에서 $E$ 의 복수 개수를 대수적으로 계산할 수 있는가?
• RQ4 대수적 D-모듈 이론만을 사용하여 Veronese 매핑에 대해 $H^r_I(A)$ 의 단순성에 대한 Raicu의 결과를 복원할 수 있는가?

주요 결과

• 비특이 프로젝티브 다양체 $V \subset \mathbb{P}^n_k$ 의 차원 $d$ 와 코드미언스 $r$ 에 대해, 국소 코호몰로지 모듈 $H^r_I(A)$ 는 $V$ 의 콘에 기반한 유일한 단순 부분-D-모듈을 가지며, 몫은 $E^{b_d - b_{d-2}}$ 와 동형이다. 여기서 $b_i = \dim H^i_{\text{DR}}(V)$ 이다.
• 기하학적 종수 $g$ 를 가진 비특이 곡선 $C$ 에 대해, $H^{n-1}_I(A)$ 는 단순 부분-D-모듈과 몫 $E^{2g}$ 을 가지며, 따라서 $H^{n-1}_I(A)$ 는 단순임을 보여주며, 이는 $g = 0$ 인 경우에만 성립한다.
• 이 결과는 $\mathbb{P}^d$ 를 $\mathbb{P}^n$ 으로 $d$-중 매핑하는 경우에 대해 Raicu의 정리에서 $H^r_I(A)$ 의 단순성을 대수적 방법으로 복원한다. 이는 표현 이론을 사용하지 않은 독립적인 대수적 방법이다.
• 홀로노믹 D-모듈 $M$ 의 최상위 de Rham 코호몰로지 $H^n_{\text{DR}}(M)$ 의 차원은 $M$ 의 몫에서 나타날 수 있는 $E$ 의 최대 복수 개수와 같다.
• 강력한 절단을 통해 $H^r_I(A)$ 의 de Rham 코호몰로지는 프로젝티브 다양체 $V$ 의 것과 동형이며, 이에 따라 $V$ 의 베텔리 수가 D-모듈 구조를 제어한다.
• 특이 다양체의 경우, $H^r_I(A)$ 의 D-모듈 구조는 매끄러운 부분 다양체의 분할에 따라 반영되며, 특이 부분 다양체의 기여와 마지막 몫 $E^{\dim H^d_{\text{DR}}(Y)}$ 를 포함한다.