[論文レビュー] Algebraic models for equivariant rational homotopy theory for discrete groups

José M. Moreno-Fernández, Bruno Stonek|arXiv (Cornell University)|Jan 24, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

論文は、離散群の真の G-等化設定に対して、商 algebraic models of rational homotopy theory を一般化する枠組みを、presheaf ベースの cdga および cdgl モデルを用いて構築し、部分的な Quillen 同値性を確立する。

ABSTRACT

We provide a framework which generalizes algebraic models of a homotopy theory of spaces to the genuine equivariant case for a discrete group. We explain how this applies to commutative differential graded algebra (cdga) models and complete differential graded Lie algebra models for rational spaces. We compare the cdga model to other model categories in the literature.

研究の動機と目的

• 離散群 G に対して、有理同変ホモトピー理論の代数モデルを真の G-等化空間へ拡張する。
• Elmendorf の軌道カテゴリーを用いて G-空間を O_G-プリシェフとしてモデル化し、有理モデルを等化設定へ移す。
• cdga と完全 dg Lie（cdgl）アプローチを等化フレームワーク内で比較する。
• G-系 cdga および cdgl の適切なモデルカテゴリ間に部分的な Quillen 同値性を確立する。
• 古典的な同値性を等化文脈へ持ち上げる存在と限界を調査する。

提案手法

• G-space をモデル化するための O_G 指分プリシェフと射影/内在モデル構造を導入する。
• 一般的な補題を適用する：部分的な Quillen 同値性は I 形式 C^I, D^I を形成しても保たれる。
• 等化プリシェフ設定へ Bousfield–Gugenheim 型の随伴を移送して部分的な Quillen 同値性を得る（定理 6.4）。
• G- 系に拡張された A_PL および L 助関数を用いて cdga および cdgl モデルを生成する（定理 6.4 および 定理 6.10）。
• 完全な dg ライ属代数（cdgl）と神経化実現随伴を採用し、等化文脈で有理空間をモデル化する（節 4）。
• 等化モデルカテゴリーにおける最小モデルとコフブ分析物の制限とギャップを論じる。

実験結果

リサーチクエスチョン

• RQ1 離散群の G-等化空間へ有理空間の代数モデルを一般化するにはどうすれば良いか。
• RQ2 Bousfield–Gugenheim および Neisendorfer 型随伴を G-プリシェフ設定の部分的な Quillen 同値性へ持ち上げられるか。
• RQ3 等化有理ホモトピー論フレームワークにおける G-系 cdga と G-系 cdgl の関係は何か。
• RQ4 確立した等化モデルは投射/内在設定で実用的な最小モデルとコフブアント描述を持つか。
• RQ5 古典的な同値性を等化設定へ持ち上げる際の制限（点付き vs 点なし、有限型制限など）は何か。

主な発見

• G-等化プリシェフの simplicial sets と G-系 cdga の間に Quillen 隣接が存在し、指定された部分カテゴリーで部分的な Quillen 同値性を形成する。
• G-等化プリシェフの simplicial sets と G-系 cdgl の間に Quillen 隣接が存在し、指定された部分カテゴリーで部分的な Quillen 同値性を形成する。
• 軌道カテゴリーとプリシェフ構成を介して、古典的な有理ホモトピー同値を等化設定へ転送する方法を示す。
• 離散群の真の等化文脈へノン点過多モデルおよび点付きモデルを拡張し、Elmendorf の軌道カテゴリーのアプローチと整合させる。
• 得られる結果は、関数カテゴリ構成（Fun(I, -)）と射影モデル構造を用いた一般的な補題に依存していることを示す。
• 本論は理論的性質を現状指摘しており、等化設定におけるコフブアント对象と最小モデルのより計算可能な記述の必要性を強調する。