[論文レビュー] Relative homological algebra, Waldhausen $K$-theory, and quasi-Frobenius conditions

Andrew Salch|arXiv (Cornell University)|Mar 15, 2013

Algebraic structures and combinatorial models参考文献 6被引用数 4

ひとこと要約

この論文は、相対的射影的対象が可縮対象であるアーベル圏におけるワルドハウス $K$-理論が、シリンダ関手の存在を保証するには、準フロベニウス条件が必要であることを確立している。これにより、安定表現論におけるモデル圏よりも一般性のない構造であることが示された。有限体の有限次元準フロベニウス冪零拡大体について、安定代数的 $G$-理論を計算し、その結果、次数シフトを施したトポロジカル巡回ホモロジーと同型であり、複素構造を持つ環スペクトラムであることが判明した。

ABSTRACT

We study the question of the existence of a Waldhausen category on any (relative) abelian category in which the contractible objects are the (relatively) projective objects. The associated $K$-theory groups are "stable algebraic $G$-theory," which in degree zero form a certain stable representation group. We prove both some existence and nonexistence results about such Waldhausen category structures, including the fact that, while it was known that the category of $R$-modules admits a model category structure if $R$ is quasi-Frobenius, that assumption is required even to get a Waldhausen category structure with cylinder functor---i.e., Waldhausen categories do not offer a more general framework than model categories for studying stable representation theory of rings. We study multiplicative structures on these Waldhausen categories, and we relate stable algebraic $G$-theory to algebraic $K$-theory and we compute stable algebraic $G$-theory for finite-dimensional quasi-Frobenius nilpotent extensions of finite fields. Finally, we show that the connective stable $G$-theory spectrum of $\mathbb{F}_{p^n}[x]/x^{p^n}$ is a complex oriented ring spectrum, partially answering a question of J. Morava about complex orientations on algebraic $K$-theory spectra.

研究の動機と目的

• 相対的アーベル圏が、相対的射影的対象が可縮であるようなワルドハウス圏構造を持つかどうかを特定すること。
• このようなワルドハウス圏において、シリンダ関手が存在するための準フロベニウス条件の必要性を調査すること。
• モジュールのテンソル積から生じるワルドハウス $K$-理論スペクトラムの乗法的構造を調査すること。
• 有限体上の有限次元代数に対して、安定代数的 $G$-理論が代数的 $K$-理論およびトポロジカル巡回ホモロジーとどのように関係するかを明らかにすること。
• $\mathbb{F}_p$ 上の切断多項式代数に対する連結安定 $G$-理論スペクトラムのホモトピー群を計算すること。

提案手法

• 許容的クラスのペア $E$ と $F$ を用いて、アーベル圏にワルドハウス圏構造を構成し、弱同値を $E$-安定同値、コバナリズムを $F$-単射として定義する。
• 任意の対象が $F$-単射を介して $E$-射影的対象にファンクター的に埋め込めるとき、かつそのときに限り、シリンダ関手が存在することを証明し、一般化された準フロベニウス条件を確立する。
• 有限体上のモジュールにおけるテンソル積の乗法的構造を用いて、ワルドハウス $K$-理論スペクトラムにホモトピー可換環スペクトラム構造を誘導する。
• ヘッセルホルト＝マーデンの切断多項式環のトポロジカル巡回ホモロジーの計算を応用し、安定 $G$-理論を $TC_*(A;\hat{\mathbb{Z}}_p)$ の次数シフト版と特定する。
• アティヤ＝ヒルツブルー・スペクトル系列と $BU(1)$ の $2$-スケルトンを用いて、安定 $G$-理論スペクトラムが複素構造を持つことを示す。
• ホモトピー群上の $\mathbb{Z}/p^n\mathbb{Z}$-加群構造を活用し、$\ell$-可除和成分を除外することで、計算の正確性を保証する。

実験結果

リサーチクエスチョン

• RQ1 相対的射影的対象が可縮であるようなワルドハウス圏構造が、アーベル圏に存在するための条件は何か？
• RQ2 このようなワルドハウス圏において、シリンダ関手が存在するための準フロベニウス条件は必須か？
• RQ3 有限体上の有限次元準フロベニウス代数 $R$ に対して、ワルドハウス $K$-理論スペクトラムが乗法的構造をもつことができるか？
• RQ4 有限体の有限次元冪零拡大体に対して、安定代数的 $G$-理論は代数的 $K$-理論およびトポロジカル巡回ホモロジーとどのように関係するか？
• RQ5 $\mathbb{F}_p[x]/x^{p^n}$ の連結安定 $G$-理論スペクトラムは複素構造を持つか？

主な発見

• $E$-安定同値と $F$-単射をコバナリズムとして持つアーベル圏上に、ワルドハウス圏構造が存在し、飽和および拡張公理を満たす。
• 任意の対象が $F$-単射を介して $E$-射影的対象にファンクター的に埋め込めるとき、かつそのときに限り、シリンダ関手が存在する。これは一般化された準フロベニウス条件である。
• 有限体上の有限次元準フロベニウス代数 $R$ に対して、有限生成 $R$-加群の圏は、単射をコバナリズム、安定同値を弱同値とするワルドハウス構造を持つ。
• $A = \mathbb{F}_p[x]/x^{p^n}$ の安定 $G$-理論について、$(G_{st})_0(A) \cong \mathbb{Z}/p^n\mathbb{Z}$ が成り立ち、これは剰余体 $k$ の類によって生成される。
• すべての正の整数 $m$ に対して、$(G_{st})_{2m}(A) \cong TC_{2m-1}(A;\hat{\mathbb{Z}}_p) \cong \mathbb{W}_{mp^n-1}(k)/V_{p^n}\mathbb{W}_{m-1}(k)$ が成り立ち、ここで $\mathbb{W}_i(k)$ はビッグ・ウィット代数の $i$-番目のフィルトレーション商である。
• 安定 $G$-理論スペクトラム $g_{st}(A)$ は、$BU(1)$ に対するアティヤ＝ヒルツブルー・スペクトル系列における単位の上への性質により、複素構造を持つ。