[論文レビュー] A Goodwillie-type Theorem for Milnor K-Theory

Benjamin F. Dribus|arXiv (Cornell University)|Feb 10, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 4

ひとこと要約

本稿は、広範な可換環のクラスに対して、相対ミルナーK理論に関するグッドウィリー型の同型を確立し、相対ミルナーK群 $ K_{n+1}^\text{M}(R,I) $ が絶対カハラー微分形式の商 $ \Omega_{R,I}^n / d\Omega_{R,I}^{n-1} $ に同型であることを証明する。これは古典的な $ K_2 $ の結果を拡張し、微分形式を用いた明示的かつ記号的な相対ミルナーK理論の記述を提供する。

ABSTRACT

Goodwillie's rational isomorphism between relative algebraic K-theory and relative cyclic homology, together with the lambda decomposition of cyclic homology, illustrates the close relationships among algebraic K-theory, cyclic homology, and differential forms. In this paper, I prove a Goodwillie-type theorem for relative Milnor $K$-theory, working over a very general class of commutative rings, defined via the stability criterion of Van der Kallen. Early results of Van der Kallen and Bloch are special cases. The result likely generalizes in terms of de Rahm-Witt complexes, by weakening some invertibility assumptions, but the class of rings considered is already more than sufficiently general for the intended applications. The main motivation for this paper arises from applications to the infinitesimal theory of Chow groups, first pointed out by Bloch in the 1970's, and prominent in recent work of Green and Griffiths. Related results and geometric applications are discussed in the final section.

研究の動機と目的

• 初期の $ K_2 $ に関する結果およびミルナーK理論と微分形式の関係を、より高いミルナーK群へ一般化すること。
• 高次のホモトピー論的構成を避けて、絶対カハラー微分形式を用いた明示的かつ群提示形式の相対ミルナーK理論の記述を提供すること。
• 従来グッドウィリーの有理同型で見られた代数的K理論、循環ホモロジー、微分形式の構造的類似性を、ミルナーK理論の文脈へ拡張すること。
• 微分形式を用いた無限小チャウ群およびその一般化を、特に正標数および高次次元において計算可能な枠組みで研究するためのフレームワークを提供すること。
• 記号的K理論と幾何的・コホモロジカル構成の橋渡しをし、形式的完成や高次元多様体への接ベクトル関手の一般化を可能にする関手のクラスを同定すること。

提案手法

• Blochの $ K_2 $ に関する結果から出発し、帰納法を用いて高次ミルナーK群に対する同型を段階的に構築する。
• クイレンのホモトピー論的道具を避けて、テンソル代数および群提示によって定義される「素朴な」ミルナーK理論の枠組みで作業する。
• ヴァン・デル・カラーンの安定性基準を適用し、同型が成り立つ広範な環のクラス（5重安定）を定義する。
• すべての整数 $ \leq N $ が $ S $ で可逆であるような、可換冪的拡大 $ R \to S $ の構造に依存し、相対K群と微分形式を制御する。
• 相対ミルナーK群 $ K_{n+1}^\text{M}(R,I) $ を写像 $ K_{n+1}^\text{M}(R) \to K_{n+1}^\text{M}(S) $ の核と同定し、同様に微分形式に対しても同様の同定を行う。
• シュタインベルク記号と微分形式の記号的操作を用いて同型を確立し、抽象的構成よりも計算の容易さに重点を置く。

実験結果

リサーチクエスチョン

• RQ1 ミルナーK理論に対して、グッドウィリー型の同型を、有理同型ではなく正確に微分形式で表すことができるか？
• RQ2 同型 $ K_{n+1}^\text{M}(R,I) \cong \Omega_{R,I}^n / d\Omega_{R,I}^{n-1} $ は、体や滑らか代数を超える広範な可換環のクラスにおいて成り立つか？
• RQ3 すべての整数 $ \leq N $ が可逆であるようなスプリット可換冪的拡大の構造は、相対ミルナーK理論およびその微分形式による実現にどのように影響を与えるか？
• RQ4 この同型は、チャウ群の接空間を高次次元およびより一般のスキームへ一般化するために利用できるか？
• RQ5 この結果は、デ・ラーム＝ヴット複体を用いて、正標数や滑らかでない状況へどのように拡張できるか？

主な発見

• 主な結果として、可換冪的拡大 $ R \to S $ に対して、すべての整数 $ \leq N $ が $ S $ で可逆である限り、自然な同型 $ K_{n+1}^\text{M}(R,I) \cong \Omega_{R,I}^n / d\Omega_{R,I}^{n-1} $ が成り立つ。
• この同型はBlochの $ K_2 $ の結果を一般化し、$ K_2(R,I) $ が $ \Omega_{R,I}^1 / d\Omega_{R,I}^0 $ に同型であることを示す古典的結果を、すべての高次ミルナーK群へ拡張する。
• 相対ミルナーK群 $ K_{n+1}^\text{M}(R,I) $ は自然に写像 $ K_{n+1}^\text{M}(R) \to K_{n+1}^\text{M}(S) $ の核と同一視され、微分形式の商 $ \Omega_{R,I}^n / d\Omega_{R,I}^{n-1} $ は $ \Omega_{R/\mathbb{Z}}^n \to \Omega_{S/\mathbb{Z}}^n $ の核に一致し、両者の整合性が保証される。
• 正標数の環に対しても同型は成り立つ。多くの正標数環は5重安定的であるため、$ \mathbb{Q} $-係数が使えない幾何的文脈への応用が可能になる。
• この同型により、微分形式の商の層化が一般化された接関手を定義でき、グリーンとグリフィスの接空間構成を形式的完成や高次元へ拡張する。
• この手法は、ホモトピー論的構成を避けており、記号的計算に依存するため、現代のK理論の代替として計算に適したアプローチを提供し、明示的な計算が可能である。