[논문 리뷰] An embedding problem of Noetherian rings into the Witt vectors

Kazuma Shimomoto|arXiv (Cornell University)|2015. 03. 06.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 3

한 줄 요약

이 논문은 혼합 특성수 $ p>0 $ 에서 완비 국소 노에터 도메인 $ S $ 의 정규 도메인 확장 $ T $ 가 존재함을 확립한다. 이때 $ T $ 는 $ S $ 에 대해 정수적이고, $ \pi^p = p $ 를 만족하는 0이 아니면서 단위가 아닌 원소 $ \pi \in T $ 를 포함하며, $ T/\pi T $ 에서 프로베니우스 사상은 전단사이다. 이 구성은 윌트 벡터와 최대 에탈 확장의 이론을 활용하여, 반완전 환의 감소와 프로베니우스 사상의 릿지 허용을 갖는 환을 얻는다. 이는 빅 코hen-맥컬레이 대수와 퍼펙티드로이드 환 이론에 기여한다.

ABSTRACT

The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map. We prove the main results by constructing required extension domains via Witt vectors and the method of maximal étale extensions. It is worth remarking that the resulting algebras have deep connections with the homological conjectures and the rings in $p$-adic Hodge theory.

연구 동기 및 목표

• 노에터 링의 윌트 벡터에 대한 임bedding 문제를 해결하기 위해, 특별한 프로베니우스 성질을 지닌 윌트 벡터에 대한 확장을 찾는다.
• 특정 $ \pi \in T $ 에 대해 $ T/\pi T $ 에서 프로베니우스 사상이 전단사가 되는, $ S $-대수 $ T \subset S^+ $ 를 구성한다.
• 절대 정수적 폐쇄 $ S^+ $ 내부에 최대 에탈 확장을 구체적으로 실현하며, 제어된 분기와 프로베니우스 구조를 갖춘다.
• 혼합 특성수 $ p>0 $ 에서 빅 코헨-맥컬레이 대수와 퍼펙티드로이드 환의 존재 이론에 기여한다.

제안 방법

• 특정 $ p $-유형 윌트 벡터와 그 분기 확장을 이용하여, $ T/\pi T $ 의 구조를 제어한다. 특히 윌트-프로베니우스 사상의 성질을 활용한다.
• 특정 기저 환 위에서 $ S^+ $ 에서 $ p $ 에 국한된 최대 에탈 확장을 적용하여, $ T[1/p] $ 가 적절한 기저 환 위에서 인디-에탈임을 보장한다.
• $ S $ 와 $ S^+ $ 사이에 있는 정규 도메인 $ T $ 를 구성하며, $ \pi^p = p $ 이고 $ T/\pi T \cong T/pT $ 이므로, $ T/\pi T $ 에서 프로베니우스 사상은 전단사가 된다.
• $ R_\infty $ 를 유한 에탈 확장들의 필터링된 합집합으로 정의하여, $ T/\pi T $ 를 유한 에탈 $ R_\infty/\pi R_\infty $-대수들의 필터링된 합집합으로 실현한다.
• $ \pi T $ 를 포함하는 최소 소수 $ P $ 에 대해, $ T/P $ 에서의 $ q $-승 사상이 $ T $ 에서의 환 자기동형사상 $ \mathbf{F} $ 로 릿지되며, 프로베니우스와 호환됨을 보장한다.
• 앤티의 최신 결과인 거의 순수성과 퍼펙티드로이드 대수 이론을 활용하여, 필요한 정수성과 에탈 성질을 갖는 such $ T $ 의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 특정 $ S $-대수 $ T \subset S^+ $ 가 존재하여, $ T/\pi T $ 가 근본적이고, $ \pi T $ 를 포함하는 각 최소 소수 $ P $ 에 대해 $ T/P $ 에서 프로베니우스 사상이 전단사이며, $ \pi T $ 가 근본 이상의 이상이 되는가?
• RQ2 최대 에탈 확장이 $ S^+ $ 내부에서 제어된 분기와 프로베니우스 구조를 갖는 부분환 $ T $ 로 실현될 수 있는가?
• RQ3 $ T/P $ 에서의 $ q $-승 사상이 $ T $ 에서의 환 자기동형사상으로 릿지되며, $ T/\pi T $ 에서의 프로베니우스와 가환하는가?
• RQ4 모든 혼합 특성수 $ p>0 $ 에서 완비 국소 도메인은 반완전 감소와 프로베니우스 릿지가 존재하는 빅 코헨-맥컬레이 대수를 갖는가?

주요 결과

• 정규적이고 $ S $ 에 대해 정수적인 $ S $-대수 $ T $ 가 존재하며, $ \pi^p = p $, $ T/\pi T \cong T/pT $ 이고, $ T/\pi T $ 에서 프로베니우스 사상은 전단사이다.
• $ \pi T $ 는 근본 이상이므로, $ \pi T = \bigcap_{i \in \Lambda} P_i $ 이며, $ \{P_i\} $ 는 $ \pi T $ 를 포함하는 최소 소수들이다.
• $ \pi T $ 를 포함하는 각 최소 소수 $ P $ 에 대해, $ \mathbf{F}: T \xrightarrow{\sim} T $ 인 환 자기동형사상이 존재하며, $ \mathbf{F}(P) = P $ 이고, $ \overline{\mathbf{F}}: T/P \xrightarrow{\sim} T/P $ 는 $ q = |\mathbb{F}| $ 에 대한 $ q $-승 사상이다.
• $ R \to S \to T $ 를 포함하는 가환 다이어그램이 존재하며, 여기서 $ R = V[[x_2,\ldots,x_d]] $ 는 완비 정칙 국소환이고, $ R[1/a] \to S[1/a] $ 는 $ \operatorname{ht}(p,a) = 2 $ 를 만족하는 에탈이다.
• $ T[1/p] $ 는 $ S^+[1/p] $ 내의 최대 에탈 확장이므로, $ T[1/p] $ 는 $ S[1/p] $ 에 대해 인디-에탈이며, $ T[1/pa] $ 는 $ R[1/pa] $ 에 대해 인디-에탈이다.
• $ T/\pi T[1/a] $ 는 $ R_\infty/\pi R_\infty[1/a] $-유한 에탈 대수들의 필터링된 합집합이며, $ T/\pi T[1/a] $ 에서의 프로베니우스 사상은 전단사이다.