[論文レビュー] The KO*-rings of BT^m, the Davis-Januszkiewicz Spaces and certain toric manifolds

L. Astey, Abbas Bahri+7 more|arXiv (Cornell University)|Jul 1, 2010

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

ひとこと要約

本稿は、安定分解と $KO$-理論的手法を用いて、$BT^m$、Davis-Januszkiewicz 空間、および $σ^2$-ホモロジーが自明な特定のトーリック多様体の $KO^*$-環構造を計算する。主な貢献は、スタニレスト・ライスナー環に関連するイデアルによる商として $KO^*(\mathcal{DJ}(K))$ の明示的記述を提供することであり、トーリック設定において、複素 $K$-理論から実 $KO$-理論への古典的結果の拡張を実現する。

ABSTRACT

This paper contains an explicit computation of the KO*-ring structure of an m-fold product of CP^{\infty}, the Davis-Januszkiewicz spaces and toric manifolds which have trivial Sq^2-homology.

研究の動機と目的

• $m > 2$ の場合に、実 $m$-トーラスの分類空間である $BT^m$ の $KO^*$-環構造を明示的に計算すること。この計算は文献において未だ存在しない。
• 複素向き付コホモロジー理論におけるスタニレスト・ライスナー環の構成を $KO$-理論へ拡張し、トーリック空間に対するアティヤ＝ヒルツブルフスペクトル系列の実 $KO$-理論的類似を提供すること。
• $σ^2$-ホモロジーが自明な Davis-Januszkiewicz 空間 $\mathcal{DJ}(K)$ およびトーリック多様体の $KO^*$-環を特定し、ダンニロフ＝ユルケヴィチの定理を実 $K$-理論へ一般化すること。
• 実化写像と複素化写像が $KO$-理論において果たす役割を明確にし、特にそれらの環準同型でない性質を特定するとともに、ボット完全系列を用いて環構造を解析すること。

提案手法

• 本稿は [6] の Davis-Januszkiewicz 空間の安定分解を用い、$\mathcal{DJ}(K)$ をより単純な和成分に分解することで、$KO^*$-環の明示的計算を可能にする。
• 本稿は $KO^*(BT^m)$ の2通りの異なる表現を提示する：1つは $m=2$ の場合にドボソンの学位論の手法を一般化したものであり、もう1つはモーメント・アングル複体とスペクトル系列を用いたものである。
• $\mathcal{DJ}(K)$ の $KO^*$-環は、$KO^*(BT^m)/I$ として計算され、ここで $I$ は単体的複体 $K$ の非面に対応する平方自由単項式によって生成されるイデアルであり、スタニレスト・ライスナーイデアルに類似している。
• 複素化写像 $c: KO^*(X) \to KU^*(X)$ と実化写像 $r: KU^*(X) \to KO^*(X)$ が全般に用いられ、ボット周期性系列により $c$ は単射で $r$ は全射である。
• トーリック多様体 $M$ に対して、包含写像 $i^*: KO^*(\mathcal{DJ}(K)) \to KO^*(M)$ の制限写像の像を解析し、特定の次数において $\mathrm{Im}(i^*) \cong KO^*(\mathcal{DJ}(K))/r(J^{KU})$ が成り立つことを示す。
• 例として、$KO^*(\mathbb{CP}^1)$、$KO^*(\mathbb{CP}^{4k+1})$、ボットタワーを用いて、$\mathrm{Sq}^2$-非可縮性下での $KO^*$-類の振る舞いと $e$、$\alpha$、$\beta$、$g$ のような生成子の果たす役割を説明する。

実験結果

リサーチクエスチョン

• RQ1 $m > 2$ の場合に、文献に先行する結果が存在しない中で、$BT^m$ の $KO^*$-環をどのように明示的に計算できるか。
• RQ2 単体的複体 $K$ が $σ^2$-ホモロジーを自明に持つ場合に、Davis-Januszkiewicz 空間 $\mathcal{DJ}(K)$ の $KO^*$-環構造はどのようなものか。
• RQ3 トーリック多様体 $M^{2n}$ の $KO^*$-環は $KO^*(BT^m)$ とどのように関係し、この商のイデアル構造はどのようなものか。
• RQ4 $KO$-理論における複素化写像と実化写像が環構造をどの程度保存するか。また、それらの非準同型性は計算においてどのように扱えるか。
• RQ5 トーリック多様体 $M$ に対して、制限写像 $i^*: KO^*(\mathcal{DJ}(K)) \to KO^*(M)$ の余核は何か。また、これは $r(J^{KU})$ の像とどのように関係するか。

主な発見

• $BT^m$ の $KO^*$-環は、$\mathbb{Z}[e, \alpha, \beta, \beta^{-1}]/(2e, e^3, e\alpha, \alpha^2 - 4\beta)$ として明示的に計算され、$e \in KO^{-1}$、$\alpha \in KO^{-4}$、$\beta \in KO^{-8}$ である。これは $m=1,2$ の既知の結果を一般化する。
• Davis-Januszkiewicz 空間 $\mathcal{DJ}(K)$ に対して、$KO^*$-環は $KO^*(BT^m)/I_{SR}^{KO}$ に同型であり、ここで $I_{SR}^{KO}$ は $K$ の非面に対応する平方自由単項式によって生成されるイデアルである。これはスタニレスト・ライスナー構成を $KO$-理論へ拡張したものである。
• $\mathrm{Sq}^2$-ホモロジーが自明なトーリック多様体 $M^{2n}$ の $KO^*$-環は、$KO^*(\mathcal{DJ}(K))/J^{KO}$ に同型であり、ここで $J^{KO}$ は関連するラインバンドルのチャーン類の実化によって生成されるイデアルである。
• 次元 $d \not\equiv 3,4 \pmod{8}$ の場合、制限写像 $i^*: KO^*(\mathcal{DJ}(K)) \to KO^*(M)$ の像は $KO^*(\mathcal{DJ}(K))/r(J^{KU})$ に同型であり、$KO$-理論的および $KU$-理論的商の間の明確な関係を示している。
• $\mathbb{CP}^1$ に対して、$KO^*$-代数は $KO^*[g]/(g^2)$ であり、$g \in \widetilde{KO}^2(\mathbb{CP}^1)$ である。また、$e^2g = X_1 \in KO^0(\mathbb{CP}^1)$、$2\beta g = X_1^{(3)} \in KO^{-6}(\mathbb{CP}^1)$ であり、ねじれ類の果たす役割が示される。
• $\mathbb{CP}^{4k+1}$ において、$KO^*$-環には $h \in KO^{8k+2}$ によって生成される $KO^*(S^{8k+2})$ の和成分が含まれ、$h^2 = 0$ であり、$e^2\beta^k h = X_1^{2k+1} \in KO^0$ が成り立つ。これは非自明なねじれと周期性を示している。