[论文解读] Some ring-theoretic properties of A_inf

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

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}})$ 的去心谱上的向量丛可唯一延拓至闭点，这一性质与赫伯（Huber）的射影空间范畴中的性质一致。

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}})$ 的去心谱上的向量丛是否可唯一延拓至整个谱。
• 将向量丛延拓结果推广至赫伯的射影空间范畴，处理非诺特情形下的几何与上同调性质。

提出的方法

• 利用牛顿多边形理论分析 $\mathbf{A}_{\operatorname{inf}}$ 中元素的性质，以研究有限生成理想交集的结构。
• 构造 $\mathbf{A}_{\operatorname{inf}}$ 中特定元素 $f$ 与 $g$，使得当值群不与 $\mathbb{R}$ 同构时，其理想交 $(f) \cap (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^{+})$ 中正则序列生成的理想 $I$，映射 $W(R^{+})^3 \to I$ 的余核的射影维数是多少？

主要发现

• 当 $K$ 的值群不与 $\mathbb{R}$ 同构时，通过构造元素 $f$ 与 $g$，使得理想 $(f) \cap (g)$ 不是有限生成的，证明了 $\mathbf{A}_{\operatorname{inf}}$ 不是凝聚的。
• 对于任意特征为 $p$ 的完美域 $K$（其赋值非平凡），$\mathbf{A}_{\operatorname{inf}}$ 中两个有限生成理想的交集可能不是有限生成的，尤其在值群为阿基米德或非阿基米德时更为明显。
• 在定理 2.7 中已证明，去心谱 $\operatorname{Spec}(\mathbf{A}_{\operatorname{inf}}) \setminus \{\mathfrak{m}\}$ 上的向量丛可唯一延拓至整个谱。
• 在赫伯的射影空间范畴中，该唯一延拓性质依然成立，如定理 3.9 所示，其中去心射影谱上的向量丛范畴全忠实嵌入至整个射影谱的向量丛范畴中。
• 模 $M = \ker(W(R^{+})^3 \to I)$（其中 $I$ 由正则序列生成）的射影维数至少为 1，且不是射影模，表明在此语境下并非所有反射模都是射影模。
• 构造了一个例子，其中在去心射影谱 $Y$ 或 $Z$ 上的向量丛无法延拓至整个谱 $X$，表明该延拓性质在 $R$ 取代 $K$ 的相对情形下并不成立。