[논문 리뷰] Extended plus closure in complete local rings

Raymond C. Heitmann, Linquan Ma|arXiv (Cornell University)|2017. 08. 18.

Rings, Modules, and Algebras참고 문헌 12인용 수 5

한 줄 요약

이 논문은 혼합 특성수를 가진 완비 국소환에서 F-유한 잔여체를 가진 확장된 플러스 폐쇄(epf)가 열-포획 성질을 만족함을 증명하며, 이는 정칙 국소환의 모든 이상이 epf-폐쇄임을 보여주고, 앤드레의 퍼펙티드로이드 기법을 사용하여 이 폐쇄가 평탄성에 대한 장애를 포괄함을 보여, 혼합 특성수에서의 직접 합성원 추측과 브리앙송-스코다 정리가 성립함을 시사한다.

ABSTRACT

The (full) extended plus closure was developed as a replacement for tight closure in mixed characteristic rings. Here it is shown by adapting André's perfectoid algebra techniques that, for complete local rings that have F-finite residue fields, this closure has the colon-capturing property. In fact, more generally, if $R$ is a (possibly ramified) complete regular local ring of mixed characteristic that have F-finite residue fields, $I$ and $J$ are ideals of $R$, and the local domain $S$ is a finite $R$-module, then $(IS:J)\subseteq (I:J)S^{epf}$. A consequence is that all ideals in regular local rings are closed, a fact which implies the validity of the direct summand conjecture and the Briançon-Skoda theorem in mixed characteristic.

연구 동기 및 목표

• 혼합 특성수를 가진 완비 국소환에서 F-유한 잔여체를 가진 경우, 확장된 플러스 폐쇄(epf)의 열-포획 성질을 확립한다.
• 정칙 국소환의 모든 이상이 확장된 플러스 폐쇄에 대해 폐쇄됨을 보여, 직접 합성원 추측을 유도한다.
• 혼합 특성수에서 국소 코hom로지 모듈러스의 거의 영성에 대한 열린 문제를 해결한다.
• 브리앙송-스코다 정리가 혼합 특성수 환에서 성립함을 폐쇄 기반 증명으로 제시한다.

제안 방법

• 혼합 특성수에서 폐쇄 연산을 연구하기 위해 앤드레의 퍼펙티드로이드 대수 기법, 특히 퍼펙티드로이드 야부앙카르 보조정리를 적응한다.
• 가장자기적 맵 $ R \to R^+ $ 의 순수성 개념을 비약론적 추론을 통해 정수 폐쇄와 epf 폐쇄를 분석한다.
• 혼합 특성수에서의 Tor 맵에 대한 영성 추측을 적용하여 모순을 이끌어내고 폐쇄 성질을 증명한다.
• 절대 정수적 폐쇄 $ R^+ $ 의 구조를 활용하여 안식자와 거의 영 모듈러스를 분석한다.
• 문제를 $ R $ 의 유한 확장 $ S $ 로 감소시키며, $ R^+ $ 가 이러한 확장들의 직접 극한임을 이용한다.
• 모든 $ \epsilon > 0 $ 에 대해 $ c^\epsilon \alpha = 0 $ 이 성립하는 조건을 사용해 거의 영 원소를 정의하고, 코hom로지적 영성과 연결한다.

실험 결과

연구 질문

• RQ1 완비 국소환에서 F-유한 잔여체를 가진 경우, 확장된 플러스 폐쇄는 열-포획 성질을 만족하는가?
• RQ2 정칙 국소환에서 이상의 epf-폐쇄로부터 직접 합성원 추측을 복원할 수 있는가?
• RQ3 혼합 특성수에서 $ i < \dim R $ 인 경우, 국소 코호몰로지 모듈러스 $ H^i_{\mathfrak{m}}(R^+) $ 는 거의 영인가?
• RQ4 epf-폐쇄는 혼합 특성수 환에서 브리앙송-스코다 정리를 유도하는 타당한 폐쇄 연산인가?
• RQ5 원소 $ c^\epsilon $ 에 의한 곱셈에 의한 $ \operatorname{Tor}_i^R(S,M)/p^N $ 의 영성은 코호몰로지적 영성 증명에 사용될 수 있는가?

주요 결과

• 혼합 특성수를 가진 완비 정역 $ S $ 와 F-유한 잔여체를 가진 경우, $ ((y_1,\dots,y_{n-1})S : y_n) \subseteq (y_1,\dots,y_{n-1})S^{epf} $ 를 만족하여 열-포획 성질을 입증한다.
• 혼합 특성수를 가진 완비 정칙 국소환 $ R $ 와 유한 확장 $ S $ 에 대해 $ (IS:J) \subseteq (I:J)S^{epf} $ 를 만족하여 일반적인 경우의 열-포획 성질을 확인한다.
• 혼합 특성수를 가진 정칙 국소환의 모든 이상은 epf-폐쇄됨을 보여, 즉 $ I^{epf} = I $ 이며, 이는 직접 합성원 추측을 유도한다.
• 국소 코호몰로지 모듈러스 $ H^i_{\mathfrak{m}}(R^+) $ 는 거의 영이다: 모든 $ \alpha \in H^i_{\mathfrak{m}}(R^+)/p^N $ 에 대해, 모든 $ \epsilon > 0 $ 에 대해 $ c^\epsilon \alpha = 0 $ 을 만족하는 $ c \in R $ 가 존재한다.
• 브리앙송-스코다 정리는 혼합 특성수에서 성립한다: $ I^{d+n} $ 의 정수 폐쇄는 $ I^{d+1} $ 에 포함되며, epf-폐쇄와 정규 경우의 증명을 통해 입증된다.
• 모든 $ i \geq 1 $, $ N > 0 $, $ \epsilon > 0 $ 에 대해 자연스러운 맵 $ c^\epsilon \operatorname{Tor}_i^R(S,M)/p^N \to \operatorname{Tor}_i^R(S^+,M)/p^N $ 는 0 이며, 이는 Tor 모듈러스의 거의 영성을 보여준다.