[論文レビュー] A class of $2$-local finite spectra which admit a $v_2^1$-self-map

Prasit Bhattacharya, Philip Egger|arXiv (Cornell University)|Aug 22, 2016

Topological and Geometric Data Analysis参考文献 19被引用数 4

ひとこと要約

本稿は、$\tilde{Z}$ と表記される新しい有限 2-局所スペクトルのクラスを構成し、1周期的な $v_2$-自己写像を備えることを示し、周期性が 32 より小さい $v_2$-自己写像を備えた 2-局所有限スペクトルが存在するかどうかという疑問に肯定的に答えている。この構成は、$B(2)$ 上の A-加群構造を用い、アダムズスペクトル系列における明示的計算を通じて $\tilde{Z}$ を有限複体として実現し、Bruner の Ext 計算プログラムを活用している。

ABSTRACT

At the prime $2$, Behrens, Hill, Hopkins and Mahowald showed $M_2(1,4)$ admits $32$-periodic $v_2$-self-map and more recently authors joint with Mahowald showed $A_1$ also admits $32$-periodic $v_2$-self-map. This leads to the question, whether there exists a finite $2$-local complex with periodicity less than $32$. This paper will answer the question by producing a class of finite $2$-local spectra $\widetilde{\mathcal{Z}}$ all of which admit $1$-periodic $v_2$-self-map.

研究の動機と目的

• 周期性が 32 より小さい $v_2$-自己写像を備えた 2-局所有限スペクトルが存在するかどうかを特定すること。
• 1周期的な $v_2$-自己写像を備える有限 2-局所スペクトル $\tilde{Z}$ を構成すること。
• 明示的な A-加群構造とアダムズスペクトル系列の計算を通じて、そのようなスペクトルを実現すること。
• Ext 計算とプログラムによる検証を通じて、$\tilde{Z}$ 上に $v_2^1$-自己写像の存在を示すこと。

提案手法

• A-加群構造を $B(2)$ 上に、j-写像と $A^*$ 上の全平方作用 $Sq = \sum_{i\geq 0} Sqi$ の右作用を用いて構成する。
• 得られた A-加群構造が実現可能性に必要な適合条件 (2.8) を満たすことを検証する。
• Bruner のプログラムを用いて $\mathrm{Ext}^{*,*}_A(B_2, \mathbb{F}_2)$ および $\mathrm{Ext}^{*,*}_A(B_2, B_2)$ を計算する。ここで $B_2$ は $B(2)$ 上の A-加群である。
• A-加群構造をエンコードする定義ファイル 'Z' を生成し、これにより Ext チャートの計算を行う。
• A-加群構造を実現し、自己写像条件を検証することで、$v_2^1$-自己写像を備えた有限複体としてスペクトル $\tilde{Z}$ を構成する。
• 図 7 の Ext チャートを用いて、$\tilde{Z}$ 上に非自明な $v_2^1$-自己写像が存在することを確認する。

実験結果

リサーチクエスチョン

• RQ1 周期性が 32 より小さい $v_2$-自己写像を備えた 2-局所有限スペクトルが存在するか？
• RQ2 1周期的な $v_2$-自己写像を備える有限 2-局所スペクトルを構成できるか？
• RQ3 $B(2)$ 上のどの A-加群構造がそのようなスペクトルを実現できるか、そしてそれらをアルゴリズム的に計算する方法は何か？
• RQ4 アダムズスペクトル系列における Ext 計算を通じて、$v_2^1$-自己写像の存在をどのように検証できるか？

主な発見

• 本稿は、1周期的な $v_2$-自己写像を備える新しい有限 2-局所スペクトル $\tilde{Z}$ のクラスを構成した。
• スペクトル $\tilde{Z}$ は、j-写像と $Sq$ の作用を用いて計算された明示的な A-加群構造を備えた有限複体として実現された。
• Bruner のプログラムにより $\mathrm{Ext}^{*,*}_A(B_2, \mathbb{F}_2)$ および $\mathrm{Ext}^{*,*}_A(B_2, B_2)$ が計算され、後者の図表（図 7）が $v_2^1$-自己写像の存在を確認した。
• $B(2)$ 上の A-加群構造は、生成子上への 1600 個の非自明な $Sq^k$-作用を含む定義ファイル 'Z' にエンコードされている。
• 計算により $\tilde{Z}$ が $v_2^1$-自己写像を備えることが確認され、32 より小さい周期性の最小周期性の問題が解決された。
• この構成により、1周期的な $v_2$-自己写像を備える 2-局所有限スペクトルの最初の既知の例が得られ、$M_2(1,4)$ 上の 32-周期的 $v_2$-自己写像を改善した。