[논문 리뷰] Cohomology on Toric Varieties and Local Cohomology with Monomial Supports

David Eisenbud, Mircea Mustaţă외 1명|ArXiv.org|2000. 01. 27.

Commutative Algebra and Its Applications참고 문헌 6인용 수 8

한 줄 요약

이 논문은 다항식환에서 단항식 지지의 국소코호몰로지( local cohomology )를 계산하기 위한 알고리즘적 프레임워크를 개발한다. 이는 등급 구조와 선형계획법을 활용하여 Ext 모듈러의 안정성과 국소코호몰로지 간의 동형사상이 성립하는지 판단한다. 주요 기여는 국소코호몰로지의 동차성분에 대한 유한성 기준과 수렴을 위한 단항식 아이디얼의 거듭제곱에 대한 명시적 경계를 제공함으로써, Cox 구성법을 통해 토릭 다양체 위의 층코호몰로지의 효과적인 계산을 가능하게 한다.

ABSTRACT

We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional and we give an effective way to compute these components. Using Cox's description for sheaves on toric varieties, we apply these results to compute the cohomology of coherent sheaves on toric varieties. We give algorithms for this computation which have been implemented in the Macaulay 2 system. We obtain also a topological description for the cohomology of rank one torsionfree sheaves on toric varieties.

연구 동기 및 목표

• 단항식 지지의 국소코호몰로지 모듈러의 동차성분이 유한차원이 되는 조건을 설정하는 것.
• 완전한 토릭 다양체 위의 층코호몰로지의 알고리즘적 방법을 개발하는 것, 이를 위해 국소코호몰로지와 단항식 지지를 활용한다.
• 각 δ ∈ D에 대해, Ext^i(S/B^{[ℓ]}, P)_δ → H^i_B(P)_δ 가 동형사상이 되는 명시적 경계 ℓ 를 결정하는 것.
• H^i_B(S)_p ≠ 0 인 p ∈ ℤ^n 의 차수에 대한 위상적 특성화를 제공하는 것.
• Ext → 국소코호몰로지 사상의 단사성에 관한 기본 질문과 이러한 사상이 안정화되는 조건을 다루는 것.

제안 방법

• 다항식환 S = k[x₁,…,xₙ] 에 대한 더 굵은 등급 D 를 도입하며, 이는 ℤⁿ → D 의 전사사상에 의해 유도된다. 이를 통해 국소코호몰로지의 동차성분의 유한성을 복원한다.
• ℓ 가 선형계획법 문제를 풀어 결정되는 한계 구축을 통해 H^i_B(P)_δ 의 계산을 Ext^i(S/B^{[ℓ]}, P)_δ 로 환원한다.
• Hilbert Syzygy 정리와 등급 모듈 이론을 적용하여 Ext 과 국소코호몰로지 성분의 유한차원성을 보장한다.
• 토릭 다양체의 Cox 구성법을 활용하며, 여기서 비관련 아이디얼 B 는 제곱-free 단항식이고, 등급 D 는 불변 분할 클래스의 군이다.
• p ∈ ℤⁿ 에 대해 H^i_B(S)_p 가 p 의 좌표의 부호에만 의존한다는 사실을 이용하여 비영 성분을 특성화한다.
• 심지어 데이터와 선형계획법을 활용하여, Ext^i(S/B^{[ℓ]}, P)_δ → H^i_B(P)_δ 가 동형사상이 되는 명시적 아이디얼 B^{[ℓ]} 을 구성한다.

실험 결과

연구 질문

• RQ1 다항식환 S 에 대한 등급 D 가 주어졌을 때, 모든 δ ∈ D 와 모든 i 에 대해 국소코호몰로지 성분 H^i_B(S)_δ 가 유한차원이 되는 조건은 무엇인가?
• RQ2 유한생성된 D-등급 S-모듈러 P 와 단항식 아이디얼 B 가 주어졌을 때, 주어진 δ ∈ D 에 대해 Ext^i(S/B^{[ℓ]}, P)_δ → H^i_B(P)_δ 가 동형사상이 되는 최소 ℓ 는 무엇인가?
• RQ3 모든 i 에 대해 자연사상 Ext^i(S/I, S) → H^i_I(S) 가 단사성을 유지하는 조건은 무엇이며, 이러한 사상이 I 의 거듭제곱에 대한 Ext 모듈러의 단사사상들의 합집합으로 표현될 수 있는 조건은 무엇인가?
• RQ4 단항식 아이디얼 B 와 등급 D 가 주어졌을 때, 국소코호몰로지 H^i_B(S)_δ 가 B^{[ℓ]} 에 대한 Ext 모듈러를 통해 안정화되는 조건은 무엇인가?
• RQ5 H^i_I(S) = ⋃ Ext^i(S/I_d, S) 를 만족하는 아이디얼의 수열 {I_d} 가 존재하지 않는 조건을 제시할 수 있는가? 특히 양의 특성수에서의 불완전한 소수 아이디얼에 대해.

주요 결과

• 모든 δ ∈ D 에 대해 국소코호몰로지 성분 H^i_B(S)_δ 가 유한차원이 되는 것은, 등급 D 와 단항식 아이디얼 B 가 완전한 토릭 다양체의 동차좌표환으로부터 유도될 때이고, 그 때에만 성립한다.
• 각 δ ∈ D 에 대해, 자연사상 Ext^i(S/B^{[ℓ]}, S)_δ → H^i_B(S)_δ 가 동형사상이 되는 계산 가능한 ℓ 가 존재하며, 이 ℓ 는 S 의 심지어 데이터에 기반한 선형계획법 문제를 풀어 결정된다.
• p ∈ ℤⁿ 에 대해 성분 H^i_B(S)_p 는 p 의 좌표의 부호에만 의존하므로, 토릭 다양체의 팬을 통해 위상적 특성화가 가능하다.
• 완전한 토릭 다양체 위의 코herent 층의 층코호몰로지는 그에 대응하는 D-등급 모듈러의 국소코호몰로지로 계산될 수 있으며, 이는 유한성 기준에 의해 수렴이 보장된다.
• Frobenius 거듭제곱과 F-정순성에 기반한 비존재 기준을 제시하여, 양의 특성수에서 불완전한 소수 아이디얼에 대해 이러한 수열 {I_d} 가 존재하지 않을 수 있음을 보여준다.
• 논문은 토릭 다양체 위의 층코호몰로지에 대한 퇴적정리( vanishing theorem )를 증명한다: 만약 어떤 E 에 대해 D + E 가 Q-약한 조건을 만족하고 0 ≤ a_j ≤ 1 이면, 모든 i ≥ 1 에 대해 H^i(O_X(D)) = 0 이다.