[논문 리뷰] Some ring-theoretic properties of A_inf

Kiran S. Kedlaya|arXiv (Cornell University)|2016. 02. 29.

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

한 줄 요약

이 논문은 특성 $p$인 완전한 가치환 위의 $p$-형식 윌러링 벡터의 링 $\mathbf{A}_{\operatorname{inf}}$로 정의된 링의 기본 링 이론적 성질을 조사한다. 값군이 $\mathbb{R}$와 동형이 아닐 경우 일반적으로 $\mathbf{A}_{\operatorname{inf}}$는 비일관성이지만, $\operatorname{Spec}(\mathbf{A}_{\operatorname{inf}})$의 빈도 없는 스펙트럼 위의 벡터 번들은 닫힌 점으로 유일하게 확장되며, 이 성질은 허버의 아디크 공간의 범주와 공유된다.

ABSTRACT

The ring of Witt vectors over a perfect valuation ring of characteristic p, often denoted A_inf, plays a pivotal role in p-adic Hodge theory; for instance, Bhatt, Morrow, and Scholze have recently reinterpreted and refined the crystalline comparison isomorphism by relating it to a certain A_inf-valued cohomology theory. We address some basic ring-theoretic questions about A_inf motivated by analogies with two-dimensional regular local rings. For example, we show that in most cases A_inf, which is manifestly not noetherian, is also not coherent. On the other hand, it does have the property that vector bundles over the complement of the closed point in Spec A_inf do extend uniquely over the puncture; moreover, a similar statement holds in Huber's category of adic spaces.

연구 동기 및 목표

• 일관성과 유한 생성 성질을 $p$-진 호지 이론의 중심 링인 $\mathbf{A}_{\operatorname{inf}}$에서 조사하기.
• $\mathbf{A}_{\operatorname{inf}}$와 두 차원 정규 국소 링 사이의 유사성, 특히 이상의 구조와 벡터 번들의 확장에 관해 탐색하기.
• 벡터 번들이 $\operatorname{Spec}(\mathbf{A}_{\operatorname{inf}})$의 빈도 없는 스펙트럼에서 유일하게 전체 스펙트럼으로 확장되는지 여부를 규명하기.
• 벡터 번들의 확장 결과를 허버의 아디크 공간 범주로 확장하여, 비노에테르적 설정에서 기하학적 및 코homological 성질을 다루기.

제안 방법

• $\mathbf{A}_{\operatorname{inf}}$의 원소에 대한 뉴턴 다각형 이론을 사용하여 유한 생성 이상의 교차 구조를 분석하기.
• 값군이 $\mathbb{R}$와 동형이 아닐 경우, 교차 이상 $(f) \cap (g)$가 유한 생성이 아닐 수 있도록 특정 원소 $f$와 $g$를 구성하기.
• 비이산 가치환 위의 거칠게 유사한 멱급수 링에서의 비일관성을 보이기 위해 앤더슨–워터스 기법을 적용하기.
• 리플렉시브 모듈에 대한 세르의 기준을 적응하고 $\operatorname{Tor}$-소멸성을 사용하여 특정 모듈의 프로젝티브 차원과 비프로젝티브성을 분석하기.
• 자리즈키 스펙트럼과 아디크 스펙트럼을 사용하여 층 이론적 방법으로 벡터 번들의 확장을 연구하며, 개방 부분집합 위의 벡터 번들의 범주 간 포함 함수가 완전한 함의를 갖는 데 의존하기.
• 고전적 대수기하학의 반례(예: 예제 3.10)를 $\mathbf{A}_{\operatorname{inf}}$-모듈의 맥락으로 번역하여 상대 설정에서의 확장 실패를 보여주기.

실험 결과

연구 질문

• RQ1 $K$의 값군이 $\mathbb{R}$와 동형이 아닐 경우 $\mathbf{A}_{\operatorname{inf}}$는 일관성이 있는가?
• RQ2 $\operatorname{Spec}(\mathbf{A}_{\operatorname{inf}}) \setminus \{\mathfrak{m}\}$의 빈도 없는 스펙트럼 위의 벡터 번들이 전체 스펙트럼 $\operatorname{Spec}(\mathbf{A}_{\operatorname{inf}})$로 유일하게 확장되는가?
• RQ3 허버의 아디크 공간 범주에서 $\mathbf{A}_{\operatorname{inf}}$에 대해 벡터 번들의 유일한 확장 성질이 성립하는가?
• RQ4 $K$가 일반적인 비아르키메데스 바나흐 링 $R$로 대체되는 상대 설정으로 확장 결과를 일반화할 수 있는가?
• RQ5 $W(R^{+})^3 \to I$의 사상의 코어 모듈러스 $M$의 프로젝티브 차원은 무엇인가? 여기서 $I$는 $W(R^{+})$에서 정규 수열에 의해 생성된 이상이다.

주요 결과

• 값군이 $\mathbb{R}$와 동형이 아닐 경우, $\mathbf{A}_{\operatorname{inf}}$는 비일관성이며, 이는 값군이 $\mathbb{R}$와 동형이 아닐 때 $(f) \cap (g)$가 유한 생성이 아닐 수 있도록 원소 $f$와 $g$를 구성함으로써 입증된다.
• 특성 $p$인 완전한 필드 $K$와 비자명한 가치를 가진 경우, $\mathbf{A}_{\operatorname{inf}}$에서 두 유한 생성 이상의 교차는 유한 생성이 아닐 수 있으며, 특히 값군이 아르키메데스 또는 비아르키메데스일 경우 더욱 그렇다.
• $\operatorname{Spec}(\mathbf{A}_{\operatorname{inf}}) \setminus \{\mathfrak{m}\}$의 빈도 없는 스펙트럼 위의 벡터 번들은 정리 2.7에 의해 전체 스펙트럼으로 유일하게 확장된다.
• 허버의 아디크 공간 범주에서도 동일한 유일한 확장 성질이 성립하며, 정리 3.9에 의해 빈도 없는 아디크 스펙트럼 위의 벡터 번들의 범주가 전체 아디크 스펙트럼 위의 범주로 완전한 함의를 갖는다.
• $I$가 $W(R^{+})$에서 정규 수열에 의해 생성될 때, $M = \ker(W(R^{+})^3 \to I)$는 최소한 1 이상의 프로젝티브 차원을 가지며, 비프로젝티브임을 보여, 이 맥락에서 모든 리플렉시브 모듈이 프로젝티브인 것은 아님을 보여준다.
• $R$가 $K$로 대체되는 상대 설정에서, 빈도 없는 아디크 스펙트럼 $Y$ 또는 $Z$ 위의 벡터 번들이 전체 스펙트럼 $X$로 확장되지 않는 예를 구성함으로써, 확장 성질이 상대 설정으로 일반화되지 않음을 보여준다.