[論文レビュー] On categories of slices

Dylan Wilson|arXiv (Cornell University)|Nov 9, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 5

ひとこと要約

本稿では、$G$--equivariant安定ホモトピー理論における $n$-スライスの圏を代数的に記述する。そのために、等方的スライス $n$-球面 $W$ を導入し、$G$-スペクトルの $n$-スライスを、Mackey functor $\underline{[W,X]}$ を Green functor $\underline{[W,W]}$ で割った商として計算可能にする。主な結果は、$n$-スライスの圏と、ある制限写像が単射であるような $\underline{[W,W]}$-右加群のフル部分圏との同値性である。

ABSTRACT

In this paper we give an algebraic description of the category of $n$-slices for an arbitrary group $G$, in the sense of Hill-Hopkins-Ravenel. Specifically, given a finite group $G$ and an integer $n$, we construct an explicit $G$-spectrum $W$ (called an isotropic slice $n$-sphere) with the following properties: (i) the $n$-slice of a $G$-spectrum $X$ is equivalent to the data of a certain quotient of the Mackey functor $\underline{[W,X]}$ as a module over the endomorphism Green functor $\underline{[W,W]}$; (ii) the category of $n$-slices is equivalent to the full subcategory of right modules over $\underline{[W,W]}$ for which certain restriction maps are injective. We use this theorem to recover the known results on categories of slices to date, and exhibit the utility of our description in several new examples. We go further and show that the Green functors $\underline{[W,W]}$ for certain slice $n$-spheres have a special property (they are "geometrically split") which reduces the amount of data necessary to specify a $\underline{[W,W]}$-module. This step is purely algebraic and may be of independent interest.

研究の動機と目的

• G--equivariant安定ホモトピー理論における $n$-スライスの圏の代数的特徴付けを提供すること。
• 既知の $C_2$-equivariantの場合を超えて、スライスのポストニコフ型記述を一般化すること。
• 単一の $G$-スペクトル $W$ 及びその関連する Green 関手 $\underline{[W,W]}$ を用いた $n$-スライスの計算フレームワークを確立すること。
• 特定の $W$ に対して、Green 関手 $\underline{[W,W]}$ が幾何的に分解可能であることを示し、加群構造を単純化すること。

提案手法

• すべての $H \leq G$ に対して $W^{\Phi H} \simeq \bigvee S^{\lfloor n/|H|\rfloor}$ を満たす幾何的固定点条件によって定義される、等方的スライス $n$-球面 $W$ の概念を導入する。
• G-スペクトルの圏における $W$ の自己準同型環として、Green 関手 $\underline{[W,W]}$ を構成する。
• G-スペクトル $X$ の $n$-スライスが、$\underline{[W,X]}$ をその部分群への制限写像の核で割った商と同値であることを示す。
• $n$-スライスの圏と、制限写像が単射であるような $\underline{[W,W]}$-加群のフル部分圏との同値性を確立する。
• 特定の等方的スライス $n$-球面に対して、Green 関手 $\underline{[W,W]}$ が幾何的に分解可能であることを証明し、$\underline{[W,W]}$-加群の記述に必要なデータを単純化する。
• このフレームワークを用いて既知の結果を回復し、$C_4$-スペクトルの新しい例を計算する。

実験結果

リサーチクエスチョン

• RQ1 G--equivariant安定ホモトピー理論における $n$-スライスの圏は、単一の $G$-スペクトルを用いて代数的に記述可能か？
• RQ2 Mackey functor の商を Green 関手で割ることで、$G$-スペクトルの $n$-スライスはどのように計算可能か？
• RQ3 Green 関手 $\underline{[W,W]}$ のどのような構造的性質が $n$-スライス加群の記述を単純化するか？
• RQ4 Green 関手 $\underline{[W,W]}$ の幾何的分解可能性は、$n$-スライスのより効率的な代数的記述を可能にするか？
• RQ5 このフレームワークは、$C_2$ 及び $C_4$-スペクトルにおける既知の結果を回復し、新たな場合にまで拡張可能か？

主な発見

• $n$-スライスの圏は、制限写像が単射であるような $\underline{[W,W]}$-右加群のフル部分圏と同値である。
• $G$-スペクトル $X$ の $n$-スライスは、部分群への包含による制限写像の核で割った $\underline{[W,X]}$ の商と同型である。
• $G = C_2$ の場合、$n$-スライスの圏は制限写像が単射であるMackey functorの圏と同値であり、既知の結果が回復される。
• $G = C_4$ の場合、構成により $1$-スライスの圏が、$R_1^{C_2} \oplus R_{C_2}^{C_4}$ が単射であるねじれMackey functorの圏と同値であることが示され、新たな計算ツールが得られる。
• 特定の等方的スライス $n$-球面に対して、Green 関手 $\underline{[W,W]}$ は幾何的に分解可能であり、$\underline{[W,W]}$-加群を記述するのに必要なデータが単純化される。
• このフレームワークは、Hill-Hopkins-Ravenel や Hill-Yarnall の既存の結果を統一・一般化し、$C_4$-equivariantホモトピー理論における新たな計算を可能にする。