真正同変コホモロジーを非定数の局所係数へ拡張
Local coefficients for genuine equivariant cohomology I
この論文をやさしく読む
ひとことで言うと
対称性を持つ空間のコホモロジーを、場所によって変わる係数も扱える局所系の圏として組み立てる研究です。
何に役立つ？
複数の同変コホモロジー理論を共通の圏論的な枠組みで理解し、有限群以外にも拡張する基礎になります。
この研究の面白いところ
tempered局所系の大域切断と準連接層の圏の同値や、真正局所系との局所化の関係を示しています。
どこまで分かった？
係数の由来や基底の周期性などの数学的仮定があります。smashing局所化の主張はXがオルビ空間の場合で、任意の空間への無条件の結論ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
通常の局所系の圏が特異コホモロジーを圏化するのと同様に、真正同変コホモロジー理論を圏化する同変局所系の理論を構築する。対象にはAtiyah–SegalのK理論、Lurieのtemperedコホモロジー、Grojnowski、Greenlees、Gepner–Meierによる同変楕円コホモロジーが含まれる。 より正確には、大域空間Xと係数系𝒜:Orbᵒᵖ→Prᴸに対して、大域同変局所系と真正局所系の圏LSᵍˡᵒ(X,𝒜)とLSᵍᵉⁿ(X,𝒜)を導入する。後者は、コンパクトLie群Gの真正安定圏Spᴳを非定数係数へ一般化する。係数が、局所的に複素周期的な基底上の向き付けられた可換群スタックAから来る場合には、tempered局所系の圏LSᵗᵉᵐᵖ(X,A)も構成し、Lurieの理論を有限群の範囲を超えて拡張する。その定義条件は、Atiyah–Segal完備化定理のtempered版によって正当化される。 大域切断が同値LSᵗᵉᵐᵖ(BU(1),A)≃QCoh(A)を誘導することを示し、Xがオルビ空間である場合、LSᵗᵉᵐᵖ(X,A)がLSᵍᵉⁿ(X,A)のsmashing局所化となることを証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We develop a theory of equivariant local systems which categorifies genuine equivariant cohomology theories -- such as Atiyah--Segal $K$-theory, Lurie's tempered cohomology, and the equivariant elliptic cohomology of Grojnowski, Greenlees, and Gepner--Meier -- analogously to how the category of ordinary local systems categorifies singular cohomology. More precisely, we introduce, for a global space $X$ and a coefficient system $\mathscr{A} \colon \mathrm{Orb}^{\mathrm{op}} \to \mathrm{Pr}^{\mathrm{L}}$, the categories $\mathrm{LS}^{\mathrm{glo}}(X,\mathscr{A})$ and $\mathrm{LS}^{\mathrm{gen}}(X,\mathscr{A})$ of globally equivariant and genuine local systems, the latter generalizing the genuine stable category $\mathrm{Sp}^G$ of a compact Lie group $G$ to non-constant coefficients. When the coefficients come from an oriented abelian group stack $A$ over a locally complex periodic base, we also construct the category $\mathrm{LS}^\mathrm{temp}(X,A)$ of tempered local systems, extending Lurie's theory beyond finite groups; the defining condition is justified by a tempered form of the Atiyah--Segal completion theorem. We show that global sections induce an equivalence $\mathrm{LS}^{\mathrm{temp}}(BU(1),A) \simeq \mathrm{QCoh}(A)$ and we prove that $\mathrm{LS}^\mathrm{temp}(X,A)$ is a smashing localization of $\mathrm{LS}^\mathrm{gen}(X,A)$ if $X$ is an orbispace.
著者のコメント
129 pages. Comments very welcome!
arXiv ID: 2609.23749 ／ 要約の誤りについて