[논문 리뷰] Eulerian graded $D$-modules

Linquan Ma, Wenliang Zhang|arXiv (Cornell University)|2012. 10. 31.

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

한 줄 요약

이 논문은 임의의 특성에서 다항식 환 위에서 고차의 오일러형 공식을 만족하는 D-모듈, 즉 오일러형 중등 D-모듈을 도입한다. 국소 cohomology 모듈과 중등 F-모듈이 오일러형임을 증명하여, 반복 국소 cohomology 모듈 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 의 모든 사슬 원소가 차수 $-n$ 에 위치함을 보이고, [Zha12]에서 제기한 질문을 해결하며 특성에 관계없이 그 주요 결과를 회복한다.

ABSTRACT

Let $R$ be a polynomial ring over a field $K$ of arbitrary characteristic and $D$ be the ring of differential operators over $R$. Inspired by Euler formula for homogeneous polynomials, we introduce a class of graded $D$-modules, called Eulerian graded $D$-modules. It is proved that a vast class of $D$-modules, including all composite of local cohomology modules, $H_{J_0}^{i_0}(H_{J_1}^{i_1}...(H_{J_n}^{i_n}(R)))$ where $J_1,...,J_n$ are homogeneous ideals of $R$, are Eulerian graded. As an application of our theory, we prove that in all characteristic, these composite of local cohomology modules must be isomorphic to a direct sum of $^{*}E(n)$, the graded injective hull of $R/m$ shifted by $n$. This answers a question raised in arXiv:1102.5336. An application of our theory of Eulerian graded $D$-modules to the graded injective hull of $R/P$, where $P$ is a homogeneous prime ideal of $R$, is discussed as well.

연구 동기 및 목표

• 중등 다항식에 대한 오일러 공식에서 영감을 얻어, 오일러형 중등 D-모듈이라고 불리는 새로운 중등 D-모듈의 클래스를 정의하고 연구하기.
• 모든 특성에서 $ J_1, \dots, J_s $ 가 중등 이상이면 국소 cohomology 모듈 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $ 가 오일러형임을 증명하기.
• 반복 국소 cohomology 모듈 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 의 모든 사슬 원소가 차수 $-n$ 에 위치함을 보여, [Zha12]에서 제기한 질문을 해결하기.
• 중등 F-모듈이 오일러형임을 보이고, 이를 통해 [Zha12]의 주요 결과를 더 넓은 설정에서 회복하기.
• 중등 임베딩의 자연스러운 중등 구조 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 를 결정하여 오일러형이 되도록 하며, 이는 $ R/P $ 의 a-항목과 관련된다.

제안 방법

• 고차 오일러 공식을 통해 오일러형 중등 D-모듈을 정의하여, 동차 다항식에 대한 고전적 오일러 항등식 $ \sum x_i \partial_i f = \deg(f)f $ 를 일반화한다.
• $ R $ 과 $ \scr{D} $ 에 $ \mathbb{Z} $-중등 구조를 도입하고, $ \deg(x_i) = 1 $, $ \deg(\partial_i^{[j]}) = -j $ 를 설정하여 중등 D-모듈과 그 타입 $ M(\ell) $ 을 정의한다.
• $ R(\ell) $ 이 오일러형임은 $ \ell = 0 $ 일 때이고, $ \sideset{{}^{*}}{}{\operatorname{E}}(\ell) $ 가 오일러형임은 $ \ell = n $ 일 때임을 증명하며, $ R/\frak{m} $ 의 중등 임베딩 $ \sideset{{}^{*}}{}{\operatorname{E}} $ 의 성질을 사용한다.
• D-모듈의 구조적 성질과 귀납법을 통해 모든 국소 cohomology 모듈 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $ 가 오일러형임을 증명한다.
• 이론을 적용하여 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 가 중등 D-모듈로서 $ \sideset{{}^{*}}{}{\operatorname{E}}(n) $ 의 복수 개의 직합과 동형임을 보이고, 사슬 원소가 차수 $-n$ 에 위치함을 밝힌다.
• 중등 국소 dualit와 $ \operatorname{Ext}_R^h(R/P, R) \cong \operatorname{Hom}_R(R/P, H_P^h(R)) $ 의 구조를 사용하여 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 에 자연스러운 중등 구조를 정의하며, 오일러형이 되기 위해 $ \ell = a(R/P) + n $ 으로 설정한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 중등 D-모듈이 오일러형이 되며, 이는 동차 다항식에 대한 고전적 오일러 공식을 어떻게 일반화하는가?
• RQ2 모든 특성에서 $ J_1, \dots, J_s $ 가 중등 이상이면 국소 cohomology 모듈 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $ 가 오일러형인가?
• RQ3 반복 국소 cohomology 모듈 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 의 모든 사슬 원소가 차수 $-n$ 에 위치하는가? 이는 모든 특성에서 참인가?
• RQ4 모든 중등 F-모듈이 오일러형인가? 그리고 이는 [Zha12]의 주요 결과를 회복하는가?
• RQ5 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 에 자연스러운 중등 구조는 무엇이며, 이는 $ R/P $ 의 a-항목과 어떻게 관련되는가?

주요 결과

• 모든 국소 cohomology 모듈 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $ 는 기저 체의 특성과 관계없이 오일러형 중등 D-모듈이다.
• $ R(\ell) $ 이 오일러형임은 $ \ell = 0 $ 일 때이고, $ \sideset{{}^{*}}{}{\operatorname{E}}(\ell) $ 가 오일러형임은 $ \ell = n $ 일 때이다. 여기서 $ \sideset{{}^{*}}{}{\operatorname{E}} $ 는 $ R/\frak{m} $ 의 중등 임베딩이다.
• 반복 국소 cohomology 모듈 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 의 모든 사슬 원소는 차수 $-n$ 에 위치하며, 이는 임의의 특성에서 참이다.
• 반복 국소 cohomology 모듈 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 는 중등 D-모듈로서 $ \sideset{{}^{*}}{}{\operatorname{E}}(n) $ 의 복수 개의 직합과 동형이다.
• 중등 F-모듈은 오일러형이므로, [Zha12]의 주요 결과를 특성에 관계없이 회복한다.
• 중등 임베딩 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 는 오직 $ \ell = a(R/P) + n $ 으로 타입을 조정할 때 오일러형이 된다. 여기서 $ a(R/P) $ 는 $ R/P $ 의 a-항목이다.