[논문 리뷰] Annihilators of $D$-modules in mixed characteristic

Rankeya Datta, Nicholas Switala외 1명|arXiv (Cornell University)|2019. 07. 23.

Commutative Algebra and Its Applications참고 문헌 16인용 수 4

한 줄 요약

이 논문은 혼합 특성수에서, DVR $V$ 위의 다항식 또는 형식적 멱급수환 $R$에 대한 임의의 0이 아닌 $$\mathscr{D}(R,V)$-모듈러의 앙니힐레이터는 0이거나 균일화자 $\pi$의 거듭제곱이 된다는 것을 증명한다. 이는 혼합 특성수에서 호크스터의 상위 국소코homology 모듈러의 충실성 문제에 대한 반례를 제공하며, $H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ 가 2에 의해 앙니힐레이트됨을 보여주고, 리브첸릭과 일디리름의 국소코homology 모듈러의 이중모듈러에 대한 관련 소수에 관한 추측을 추가로 반증한다.

ABSTRACT

Let $R$ be a polynomial or formal power series ring with coefficients in a DVR $V$ of mixed characteristic with a uniformizer $π$. We prove that the $R$-module annihilator of any nonzero $\D(R,V)$-module is either zero or is generated by a power of $π$. In contrast to the equicharacteristic case, nonzero annihilators can occur; we give an example of a top local cohomology module of the ring $\mathbb{Z}_2[[x_0, \ldots, x_5]]$ that is annihilated by $2$, thereby answering a question of Hochster in the negative.

연구 동기 및 목표

• 혼합 특성수에서 다항식 또는 형식적 멱급수환에 대한 $\mathscr{D}(R,V)$-모듈러의 앙니힐레이터를 분류하는 것.
• 특히 호크스터의 질문에 대응하여 혼합 특성수에서 상위 국소코homology 모듈러의 충실성 문제를 조사하는 것.
• 국소코homology 모듈러의 이중모듈러에 대한 관련 소수에 관한 리브첸닉과 일디리름의 추측의 타당성을 시험하는 것.
• 기저환의 0이 아닌 원소에 의해 국소코homology 모듈러가 앙니힐레이트되는 구체적 예를 구성하는 것.

제안 방법

• R 위의 $V$-선형 미분연산자로 이루어진 $\mathscr{D}(R,V)$-모듈러 이론를 사용하여 모듈러의 구조를 분석하는 것.
• 국소코homology 이론과 그 완비화와의 호환성을 적용하여 $\mathbb{Z}[x_0,\dots,x_5]$ 위의 코homology와 그 $\mathfrak{m}$-adic 완비화 사이의 관계를 설정하는 것.
• $\mathbb{Z}_2[[x_0,\dots,x_5]]$ 내에서 10개의 단항식으로 생성되고 산술적 계수가 4이며 코homological 차원이 4인 특정 이상 $I$를 구성하는 것.
• $H^4_I(R)$를 정의하는 직접극한에서의 전이사상들이 단사임을 증명하여 $H^4_I(R) \cong H^6_\mathfrak{m}(R/(2))$ 임을 도출하는 것.
• $H^4_I(R)$ 가 $\bar{R} = R/(2)$ 위의 임베딩 완비모듈러 $E_{\bar{R}}(\bar{R}/\mathfrak{m})$ 와 동형임을 식별하여, 2에 의해 앙니힐레이트됨을 보이는 것.
• $D(H^4_I(R)) \cong R/(2)$ 를 사용하여 0이 $D(H^4_I(R))$ 의 관련 소수임을 반박함으로써 리브첸닉-일디리름 추측에 모순됨을 보이는 것.

실험 결과

연구 질문

• RQ1 혼합 특성수에서 정칙 국소환의 상위 국소코homology 모듈러는 항상 충실한가?
• RQ2 혼합 특성수에서 $\mathscr{D}(R,V)$-모듈러에 대해 0이 아닌 앙니힐레이터가 발생할 수 있는가?
• RQ3 국소코homology 모듈러의 이중모듈러에 대한 관련 소수에 관한 리브첸닉-일디리름 추측은 혼합 특성수에서도 성립하는가?
• RQ4 특정 이상 $I$ 에 대해 $H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ 의 상위 국소코homology 모듈러의 구조는 무엇인가?
• RQ5 $\mathscr{D}(R,V)$-모듈러의 앙니힐레이터가 균일화자 $\pi$ 의 비자명한 거듭제곱이 될 수 있는가?

주요 결과

• R = V[[x_1,\dots,x_n]] 또는 R = V[x_1,\dots,x_n] 에서 0이 아닌 임의의 $\mathscr{D}(R,V)$-모듈러의 앙니힐레이터는 0이거나 균일화자 $\pi$ 의 거듭제곱이다.
• 상위 국소코homology 모듈러 $H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ 는 2에 의해 앙니힐레이트되며, 따라서 $\operatorname{Ann}_R(H^4_I(R)) = (2)$ 임을 보여주어 호크스터의 질문에 대한 부정적 답변을 제공한다.
• $\mathbb{Z}_2[[x_0,\dots,x_5]]$ 내의 이상 $I$ 는 산술적 계수와 코homological 차원이 모두 4이다.
• $H^4_I(R)$ 는 임베딩 완비모듈러 $E_{\bar{R}}(\bar{R}/\mathfrak{m})$ 와 동형임을 확인하여 그 구조와 최대 이상에서의 지지함을 확인한다.
• 이중모듈러 $D(H^4_I(R)) \cong R/(2)$ 이므로, 0은 $D(H^4_I(R))$ 의 관련 소수가 아니며, 이는 리브첸닉-일디리름 추측과 모순된다.
• 이 예는 호크스터-지프리즈의 충실성 결과의 혼합 특성수에 대한 일반화가 성립하지 않음을 보여준다.