[論文レビュー] An alternative to Witt vectors

Joachim Cuntz, Christopher Deninger|arXiv (Cornell University)|Nov 12, 2013

Advanced Topics in Algebra参考文献 5被引用数 6

ひとこと要約

この論文は、完璧な $\mathbb{F}_p$-代数に対して、古典的なウィット代数的環 $W(R)$ の代替として、新たな構成 $C(R)$ を導入する。$\mathbb{Z}R$ の自然な写像 $\pi: \mathbb{Z}R \to R$ の核のべきによる完成をとることで、著者たちは、完璧な場合に $C(R)$ が $W(R)$ に自然に同型であることを示し、完成と算術的微分に基づいた、より単純で直感的な構成を与える。この構成は、非完璧な $\mathbb{F}_p$-代数に対しても正しく定義される。

ABSTRACT

The ring of Witt vectors associated to a ring R is a classical tool in algebra. We introduce a ring C(R) which is more easily constructed and which is isomorphic to the ring of Witt vectors W(R) for a perfect F_p-algebra R. It is obtained as the completion of the monoid ring ZR, for the multiplicative monoid R, with respect to the powers of the kernel of the natural map from ZR to R.

研究の動機と目的

• 完璧な $\mathbb{F}_p$-代数に対するウィット環 $W(R)$ の、よりアクセスしやすく概念的に単純な構成を提供すること。
• ウィットベクトルの煩わしい普遍多項式の記述を、モノイド代数を用いた完成に基づくアプローチに置き換えること。
• $C(R)$ が、周期的サイクリックコhomologyにおける $\mathbb{F}_p$-代数において自然に生じる、自然で関手的な構成であることを確立すること。
• $C(R)$ が残渣が $R$ である厳密な $p$-環であること、および $W(R)$ の存在に依存せずにその同型性を示すこと。

提案手法

• $R$ を完璧な $\mathbb{F}_p$-代数とするとき、乗法的モノイド $R$ 上のモノイド代数 $\mathbb{Z}R$ を構成する。
• $\pi: \mathbb{Z}R \to R$ における自然な全射の核 $I \subset \mathbb{Z}R$ を定義し、$I$-adic 完成 $C(R) = \varprojlim \mathbb{Z}R / I^n$ を形成する。
• Frobeniusの上昇 $F$ を用いて、$\delta: \mathbb{Z}R \to \mathbb{Z}R$ を $\delta(x) = \frac{1}{p}(F(x) - x^p)$ で定義する算術的微分を導入し、理想構造を分析する。
• $\delta$ の性質を用いて、$\delta(I^n) \subset I^{n-1}$ を示し、これが $C(R)$ が $p$-環であることを示す上で鍵となる。
• $C(R)$ が $C(R)/pC(R) = R$ を満たす厳密な $p$-環であることを、厳密な $p$-環の普遍性を用いて確立する。
• $\mathbb{Z}R/I^2$ の明示的計算と $W_2(R)$ との比較により、$\alpha_2: \mathbb{Z}R/I^2 \to W_2(R)$ を $\alpha_2(x) = (\pi(x), \overline{\delta}(x))$ で与えることで、$C(R) \cong W(R)$ の同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ウィット環 $W(R)$ は、普遍多項式による記述よりも直感的な方法で再構成可能か？
• RQ2 多項式式の複雑さを避ける、完成に基づく $W(R)$ の構成は存在するか？
• RQ3 $C(R)$ が $\mathbb{Z}R$ の $I$-adic 完成として定義される場合、完璧な $\mathbb{F}_p$-代数に対して、残渣が $R$ である厳密な $p$-環となるか？
• RQ4 $C(R)$ は $\mathbb{Z}R$ の $p$-進完成とどのように関係するか？また、$C(R)$ への自然な写像の核は何か？
• RQ5 $C(R)$ は非完璧な $\mathbb{F}_p$-代数へ拡張可能か？その場合、$W(R)$ とはどのように異なるか？

主な発見

• $R$ が完璧な $\mathbb{F}_p$-代数であるとき、環 $C(R)$ は古典的なウィット環 $W(R)$ に自然に同型である。
• $C(R)$ の構成は $\mathbb{Z}R$ の $I$-adic 完成として行われ、古典的な多項式に基づくウィットベクトルの定義よりも関手的かつ単純である。
• 有限な完璧な $\mathbb{F}_p$-代数 $R$ に対して、$C(R)$ は $p$-進完成 $\mathbb{Z}_p R$ の直和成分として位相的に同型であり、特定の冪等元 $e \in \mathbb{Z}_p R$ に対して $(1-e)\mathbb{Z}_p R$ に一致する。
• 算術的微分 $\delta$ は $\delta(I^n) \subset I^{n-1}$ を満たし、これは $C(R)$ が $p$-環であることを示す上で不可欠である。
• $\alpha_2: \mathbb{Z}R/I^2 \to W_2(R)$ は $\alpha_2(x) = (\pi(x), \overline{\delta}(x))$ で与えられ、同型である。これは標準的な $W_2(R)$ 構造と整合的であることを示している。
• $\mathbb{Z}_p R$ から $C(R)$ への自然な写像の核は、$A = \varprojlim I^n / p^n \mathbb{Z}R$ の像であり、これは冪等元 $e$ を用いて $e\mathbb{Z}_p R$ に同型な単位元を持つ環である。