• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2001 年度 実績報告書

亜群の表現論とその複素コボルディズム論への応用

研究課題

研究課題/領域番号 11640092
研究機関大阪府立大学

研究代表者

山口 睦  大阪府立大学, 総合科学部, 助教授 (80182426)

キーワードK-理論 / 形式群 / 複素射影空間
研究概要

本年度は実K-理論に付随したホップ・アルジェブロイドKO_*KOと複素射影空間のKO-コホモロジー及びKO-ホモロジーとの関係を調べるために,これらの構造について研究を行った.
その準備として,KO-スペストラムについての考察を行うことにより,KO-ホモロジーにおいては懸垂同型写像KOm(3^n)→KO_<m+1>(S^<n+1>)とHopf写像の(n-2)-重懸垂から誘導される写像KO_<m+1>(S^<n+1>)→KO_<m+1>(S^n)の合成が係数環KO_*の1次元の生成元αを掛ける写像に一致することを示し,KO-コホモロジーにおいてはHopf写像の(n-2)-重懸垂か誘導される写像KOm(S^n)→KOm(S^<n+1>)と懸垂同型写像の逆写像KOm(S^<n+1>)→KO_<m-1>(S^n)の合成が係数環KO_*の-1次元の生成元αを掛ける写像に一致することを示した.この事実を用いることにより,KO_*(CP^n), KO^*(CP^n)に収束するAtiyah-Hirzebruch スペクトル系列のE^2-, E_2-項の微分が決定され,E^3-,E_3-項がそれぞれE^∞-,E_∞-項になることが示された.
KO_*(CP^n), KO^*(CP^n)の生成元は複素K-理論からの実化写像K_*(CP^n)→KO_*(CP^n), K^*(CP^n)→KO^*(CP^n)を用いて定義され,E^∞-, E_∞-項の対応する要素を見いだした.さらにnが偶数の場合,複素化写像KO^*(CP^n)→K^*(CP^n)が単射であることを用いてKO^*(CP^n)の環構造を決定した.同様の方法で複素射影空間の直積のKO-コホモロジーKO^*(CP^n×CP^m)の環構造も決定した.この結果からKO^*(CP^n×CP^m)はKO(CP^n)とKO^*(CP^m)のテンソル積にはなっておらず,CP^∞の積写像μ:CP^∞×CP^∞→CP^∞がKO-コホモロジーにおいて誘導する写像の像はKO^*(CP^∞)とKO^*(CP^∞)のクロス積の像に含まれないことが判明した.このことは,KO^*(CP^∞)はμによる形式群の構造を持たないことを意味する.

URL: 

公開日: 2003-04-03   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi