[논문 리뷰] Injective modules over some rings of Differential operators

Tony J. Puthenpurakal|arXiv (Cornell University)|2013. 01. 07.

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

한 줄 요약

이 논문은 특수한 미분 연산자 환—구체적으로 특성 0인 체 위의 와일 대수, 형식적 멱급수 환, 수렴 멱급수 환—위의 임베딩 가능한 왼쪽 모듈이 기저 다항식 또는 멱급수 환 위의 모듈로도 여전히 임베딩 가능하다는 것을 증명한다. 핵심 결과는 기저 환 위의 모듈로서의 미분 연산자 환의 프로젝티브 성질을 보여줌으로써 임베딩 가능성의 이행을 가능하게 한다. 이 결과는 국소 코hom로지의 메이어-비에토리스 수열에서 연결 호모로지가 $A_n(K)$-선형임을 증명하는 데 응용된다.

ABSTRACT

Let $R$ be a regular domain containing a field $K$ of characteristic zero and let $D$ be the ring of $K$-linear differential operators on $R$. Let $E$ be an injective left $D$-module. We ask the question, when is $E$ injective as a $R$-module? We show that this is indeed the case when $R = K[X_1,...,X_n]$ or $R = K[[X_1,...,X_n]]$ or $R = \mathbb{C}\{z_1,...,z_n\}$. We also give an application of our result to local cohomology.

연구 동기 및 목표

• 기저 환 위의 미분 연산자 환 위의 임베딩 가능한 왼쪽 모듈이 기저 환 위의 모듈로도 여전히 임베딩 가능한가를 판단하는 것.
• 국소 코호몰로지에서의 메이어-비에토리스 수열의 연결 호모로지가 $A_n(K)$-선형인가에 대한 핵심 미해결 문제를 다루는 것.
• 더 큰 환 위에서의 임베딩 가능성에서 부분환 위에서의 임베딩 가능성으로의 일반화 조건을 제시하는 것, 특히 미분 연산자 맥락에서.
• 기저 정규 환 위의 모듈로 간주했을 때, 미분 연산자 환 위의 불가약한 임베딩 가능한 모듈의 구조를 분석하는 것.

제안 방법

• 만약 $S$가 왼쪽 노에테르 환이고, 정규적인 교환 가능한 환 $R$를 부분환으로 포함하며, $S$가 오른쪽 $R$-모듈로서 프로젝티브라면, 임의의 임베딩 가능한 왼쪽 $S$-모듈은 $R$-모듈로서도 임베딩 가능하다는 것을 증명한다.
• 기술적 기준을 사용: $R$-모듈 $E$는 모든 정규 수열으로 생성된 이상 $J$에 대해 $\operatorname{Ext}^1_R(R/J, E) = 0$ 이면 임베딩 가능하다.
• 기저 환 $R = K[X_1,\dots,X_n]$, $R = K[[X_1,\dots,X_n]]$, 또는 $R = \mathbb{C}\{z_1,\dots,z_n\}$ 위에서의 미분 연산자 환의 환은 필요한 가정을 충족함을 보이며, 특히 $I^r s \subseteq S I$ 를 만족하는 조건 $(*)$ 가 성립함을 보인다.
• 주요 정리를 적용하여, 기저 환 $R = K[X_1,\dots,X_n]$ 위에서 국소 코호몰로지 모듈의 메이어-비에토리스 수열이 $A_n(K)$-모듈의 복합체임을 보인다.
• 기저 환 위의 모듈로 간주했을 때, 임베딩 가능한 $S$-모듈의 관련 소수를 분석하여 $\operatorname{Ass}_R E_S(M)$ 는 유일한 최대 원소를 가짐을 보인다.
• 코즐 복합체의 구조와 도함수의 성질을 사용하여, 예를 들어 미분 다항식 환과 같은 사례에서 조건 $(*)$ 를 검증한다.

실험 결과

연구 질문

• RQ1 기저 정규 환 위의 미분 연산자 환 위의 임베딩 가능한 왼쪽 모듈이 언제 기저 환 위의 모듈로도 임베딩 가능할까?
• RQ2 국소 코호몰로지의 메이어-비에토리스 수열에서 연결 호모로지 $\delta^i$ 는 $A_n(K)$-선형인가?
• RQ3 기저 환 위의 모듈로 간주했을 때, 불가약한 임베딩 가능한 $S$-모듈의 관련 소수의 구조는 어떠한가?
• RQ4 임베딩 가능한 $S$-모듈이 기저 환 위의 모듈로도 임베딩 가능하기 위해 $S$ 가 오른쪽 $R$-모듈로서 프로젝티브일 필요가 있는가?
• RQ5 기저 환 위의 미분 연산자 환에 대해 조건 $(*)$, 즉 $I^r s \subseteq S I$ 가 성립하는가?

주요 결과

• 기저 환 $R = K[X_1,\dots,X_n]$, $R = K[[X_1,\dots,X_n]]$, 또는 $R = \mathbb{C}\{z_1,\dots,z_n\}$ 일 때, 임베딩 가능한 왼쪽 $A_n(K)$-모듈은 $R$-모듈로서도 임베딩 가능하다.
• 국소 코호몰로지 수열의 메이어-비에토리스 연결 호모로지 $\delta^i$ 는 $A_n(K)$-선형이다.
• 불가약한 임베딩 가능한 $S$-모듈 $E_S(M)$ 에 대해, 관련 소수의 집합 $\operatorname{Ass}_R E_S(M)$ 는 유일한 최대 원소 $P$ 를 가지며, 이 $P$ 는 $\operatorname{Ass}_R M$ 에 속한다.
• 만약 $S$ 가 $R$-대수로서 유한 생성되고 코hen-맥컬레이이며, $\mathfrak{m}$ 이 $S$ 의 극대 이상이라면, $E_S(S/\mathfrak{m}) \cong E_R(R/\mathfrak{n})^{\ell_R(S/Q_1)}$ 를 만족한다. 여기서 $\mathfrak{n} = \mathfrak{m} \cap R$ 이고, $Q_1$ 은 $\mathfrak{n}S$ 의 $\mathfrak{m}$-주기적 성분이다.
• 와일 대수 및 미분 다항식 환을 포함한 모든 미분 연산자 환에 대해 조건 $(*)$ 가 성립하며, 이는 임의의 $S$-모듈 $M$ 에 대해 $\Gamma_I(M)$ 가 $S$-부분모듈이 됨을 보장한다.
• 와일 대수 $A_n(K)$ 는 $R = K[X_1,\dots,X_n]$ 에 대해 오른쪽 $R$-모듈로서 자유(따라서 프로젝티브)이므로, 주요 정리의 핵심 요소가 된다.