有理ホモトピーの代数モデル間の同値を高次圏へ拡張
A homotopical enhancement of Neisendorfer's algebraic models
この論文をやさしく読む
ひとことで言うと
空間のホモトピーを表す複数の代数モデルの対応を、高次の構造も扱える∞圏へ引き上げる理論研究です。
何に役立つ？
有理ホモトピー論で、単体集合・代数・余代数・リー代数の間を移る際に、どの水準まで構造が対応するかを理解する基盤になります。
この研究の面白いところ
線形双対とChevalley–Eilenberg随伴の性質を別々に示し、後者のためには新たな同値の概念を定めている点です。
どこまで分かった？
連結性・冪零性・有限型などの仮定の下での数学的結果です。各対象に課す条件の詳しい対応や、新概念の定義の全容は要旨には記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有理単体集合、可換微分次数付き代数（cdga）、余可換微分次数付き余代数（cdgc）、微分次数付きリー代数（dgl）のホモトピー圏の間にあるNeisendorferの同値を、∞圏の水準へ拡張する。これらの対象には、それぞれ連結性、冪零性、有限型に関する仮定を課す。 そのために、線形双対が弱有限型の連結なcdgcとcdgaの間の部分的Quillen同値であること、およびQuillenのChevalley–Eilenberg随伴がcdgcとdglの間の部分的交差導来可能同値であることを証明する。後者は、この随伴の振る舞いを正確に公理化するために本論文で導入する概念である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We give an $\infty$-categorical enhancement of Neisendorfer's equivalences between the homotopy categories of rational simplicial sets, commutative dg algebras (cdgas), cocommutative dg coalgebras (cdgcs) and dg Lie algebras (dgls), where these objects have respective hypotheses of connectedness, nilpotency and finite type. We do so by proving that linear duality is a partial Quillen equivalence between weak finite type connected cdgcs and cdgas, and that Quillen's Chevalley--Eilenberg adjunction is a partial crossed derivable equivalence between cdgcs and dgls, a concept we introduce in this paper to axiomatize precisely the behavior of this adjunction.
著者のコメント
19 pages
arXiv ID: 2610.01350 ／ 要約の誤りについて