[論文レビュー] A general Mayer-Vietoris sequence in algebraic $K$-theory

Yakun Zhang|arXiv (Cornell University)|Mar 14, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

この論文は、代数K理論におけるMilnor平方の完全で建設的な証明と一般化されたMayer-Vietoris列を提供し、中間項Xをプルバックとして同定し、相対K群とホモトピーファイバーに結びつける。

ABSTRACT

This paper investigates the Mayer-Vietoris sequence for the Milnor square. While such sequences often involve elusive intermediate terms, we provide an explicit characterization of the key group $X$ in a new, more general variant of the sequence. By identifying $X$ as a categorical pullback, we provide a full, constructive proof of the modified Mayer-Vietoris sequence. Furthermore, we show that $X$ fits into a structural exact sequence involving the relative $K$-groups $K_{*}(A, B, I)$. Finally, we provide a homotopy-theoretic description of $X$ as the homotopy group of a suitable fiber, clarifying its structure, kernel , and image.

研究の動機と目的

• 代数K理論におけるMilnor平方の改良Mayer-Vietoris列の構造を明確にする。
• 中間項Xを圏論的プルバックとして特徴づけ、相対K群K*(A,B,I)と関連づける。
• 一般化されたMayer-Vietoris列の構成的な証明とその厳密性を提供する。
• 適切なファイバーとそのホモトープ群を用いた第三項のホモトピー論的記述を提供する。

提案手法

• WeibelのMayer-Vietoris列の版本を再検討し、完全で厳密な証明を提供する。
• 一般化された列を得るため、特定の写像のプルバックとして中間項X_iを定義する。
• X_iを相対K群K_i(A,B,I)を含む正確な列と関連づける。
• ホモトピー論的方法とホモトピーファイバーを用いて、X_iとその核・像を記述する。
• 圏論的プルバック/プッシュアウトの議論とダイアグラム追跡を用いて厳密さを確立する。

実験結果

リサーチクエスチョン

• RQ1 Milnor平方Mayer-Vietoris設定における中間群X_iの正確な圏論的構造は何か。
• RQ2 X_iをプルバックとして特徴づけることはどのような一般化された正確な列へつながるか。
• RQ3 一般化された列におけるX_iと相対K群K_i(A,B,I)の関係は何か。
• RQ4 第三項をホモトピーファイバーで記述して、核と像をより明確に説明できるか。

主な発見

• X_iはquo-K_i(A)への写像と境界写像sub-K_{i+1}(B/I) -> quo-K_i(A)とのプルバックとして唯一に特徴づけられる。
• X_iはK_i(A,B,I)とK_{i+1}(B/I)を含む正確な列にはまり、核と像を明確化する。
• quo-K_i(A)はPushout K_i(A,I) -> K_i(A)として実現され、sub-K_{i+1}(B/I)はプルバックとして現れ、厳密なMayer-Vietoris枠組を可能にする。
• 一般化されたMayer-Vietoris列が確立される：... -> K_{i+1}(A/I) ⊕ K_{i+1}(B) -> X_i -> K_i(A) -> K_i(A/I) ⊕ K_i(B) -> ... 。
• ホモトピー論的解析により第三項を適切なファイバーのホモトピー群として同定し、その構造・核・像を正確に記述できる。