[論文レビュー] The Baker-Richter spectrum as cobordism of quasitoric manifolds

Jack Morava, Nitu Kitchloo|arXiv (Cornell University)|Jan 15, 2012

Advanced Combinatorial Mathematics参考文献 4被引用数 3

ひとこと要約

この論文は、非可換対称関数に符号化された特徴的数を介して、Baker-Richter スペクトル $M\Xi$ がクォズィトーリック多様体を分類することを示すことにより、$M\Xi$ にコボルディズム理論的解釈を与える。主な貢献は、複素ラインバンドルの分類空間に関連する $A_\infty$ マップのトムスペクトルとして $M\Xi$ を同定することであり、特徴的類および $Σ\mathsf{NSymm}_*$ 上のホップ代数的構造を通じて、トーリックトポロジーと安定ホモトピー論を結びつける。

ABSTRACT

Baker and Richter construct a remarkable $A_\infty$ ring-spectrum $MΞ$ whose elements possess characteristic numbers associated to quasisymmetric functions; its relations, on one hand to the theory of noncommutative formal groups, and on the other to the theory of omnioriented (quasi)toric manifolds [in the sense of Buchstaber, Panov, and Ray], seem worth investigating.

研究の動機と目的

• クォズィトーリック多様体をそのコボルディズム類の幾何的代表として用いることにより、Baker-Richter スペクトル $M\Xi$ のホモトピー論的解釈を確立すること。
• 全方向に向き付けられたクォズィトーリック多様体の特徴的数を非可換対称関数環 $\mathsf{NSymm}_*$ に結びつけること。
• ホイッブル準同型 $M\Xi_* \to \mathsf{NSymm}_*$ が $M\Xi_* \otimes \mathsf{NSymm}_*$ 上のホップ代数的構造へ拡張可能かどうかを調査すること。
• $A_\infty$ リングスペクトル構造から誘導されるコサイクリック構造を用いて、$M\Xi$ のアダムズスペクトル系列を探索すること。
• モーメント写像の構成を通じて、クォズィトーリック多様体の安定接 bundle の分類空間として、トムスペクトル $M\Xi$ の幾何的実現を提供すること。

提案手法

• アーベル化写像 $\Omega^2\Sigma B\mathbb{T} \to BU$ 沿いのユニバーサル bundle の引き戻しとして、トムスペクトル $M\Xi$ を構成すること。
• Davis-Januszkiewicz の構成を用い、単体的多面体 $P$ に原始的特徴的重み $\lambda_i \in \pi_1(T)$ を与えることでクォズィトーリック多様体 $M$ を関連付けること。
• モーメント写像 $\varphi: \mathbb{C}^F \to \mathfrak{h}^*$ における正則値の逆像としてモーメント角複体 $Z(P)$ を定義し、$H = \ker \lambda$ に対して $M = Z(P)/H$ とすること。
• 多様体 $M$ の安定接 bundle が、合成写像 $Z(P)/H \to BH \to B\hat{T} \to BU(F) \to BU$ によって分類されることを示すこと。ここで $B\hat{T} \to \Omega\Sigma BU(1)$ は James のフィルトレーションを介する。
• 写像 $-\varphi$ のトムスペクトルが $M\Xi$ と同型であること、したがって $M$ が $\pi_{2m}(M\Xi)$ の類を表すことを確立すること。
• 特徴的数が単射準同型 $\lambda_{BR}: M\Xi^*B\mathbb{T} \to \mathsf{NSymm}_*[[c]]$ を通じて非可換対称関数に符号化されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 Baker-Richter スペクトル $M\Xi$ はクォズィトーリック多様体に関連するトムスペクトルとして幾何的に実現可能か？
• RQ2 全方向に向き付けられたクォズィトーリック多様体の特徴的数は、非可換対称関数環 $\mathsf{NSymm}_*$ とどのように関係するか？
• RQ3 ホイッブル準同型 $M\Xi_* \to \mathsf{NSymm}_*$ は、$\mathsf{NSymm}_*$ 上のホップ代数的構造と整合性を持つか？
• RQ4 $M\Xi_*$ のコサイクリック構造は何か？ これは $MU$ の場合に類似した球面スペクトルの分解をもたらすか？
• RQ5 写像 $\varphi: \Omega\Sigma BU(1) \to BU$ は $M\Xi$ と同型なトムスペクトルを誘導するか？ そしてこれはモーメント写像の構成とどのように関係するか？

主な発見

• スペクトル $M\Xi$ は、$A_\infty$ マップ $\varphi: \Omega\Sigma BU(1) \to BU$ のトムスペクトルと同型であり、コボルディズム類の幾何的モデルを確立する。
• 任意の $2m$ 次元クォズィトーリック多様体 $M$ のコボルディズム類は $\pi_{2m}(M\Xi)$ に属し、その類はその特徴的数によって決定される。
• ホイッブル準同型 $M\Xi_* \to \mathsf{NSymm}_*$ は単射であり、有理化後に同型となる。これにより $M\Xi_*$ と非可換対称関数が結びつく。
• 多様体 $M$ の特徴的数は、ホップ代数準同型としての $\lambda_{BR}$ の像に符号化されており、$M\Xi^*B\mathbb{T}$ から $\mathsf{NSymm}_*[[c]]$ への写像である。
• 2つのクォズィトーリック多様体の積 $M \times N$ は非可換対称関数 $\mathbf{M} \bullet \mathbf{N}$ に対応し、多面体上のジョイン作用が $\mathsf{NSymm}_*$ 内の積を誘導する。
• スペクトル $M\Xi \otimes \mathbb{Z}_p$ は $BP$ のコピーのホイッスル和であるため、$p$ におけるブラウン・ペテルソンホモロジーと密接な関係にある。