研究課題/領域番号 |
23K03113
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分11020:幾何学関連
|
研究機関 | 岡山大学 |
研究代表者 |
鳥居 猛 岡山大学, 環境生命自然科学学域, 教授 (30341407)
|
研究期間 (年度) |
2023-04-01 – 2028-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2027年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2026年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2025年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2024年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
キーワード | 安定ホモトピー論 / クロマティックホモトピー論 / 安定無限大圏 / 無限大双圏 / ラックス自然変換 / メイト対応 / 表現のモジュライ / Hochschildコホモロジー / 一般Chern指標 / テンパード・コホモロジー / 半加法的高さ / 形式自由ループ空間 |
研究開始時の研究の概要 |
安定ホモトピー圏の大域的構造の理解に向けて、トランス・クロマティック・ホモトピー論の研究を行う。トランス・クロマティック・ホモトピー論では、Morava K理論で局所化された安定ホモトピー圏の間のつながり具合を調べることにより、より大域的な安定ホモトピー圏の構造を理解しようとする。この研究では、一般Chern指標、テンパード・コホモロジー理論、無限大圏の半加法的高さの理論などを用いて、トランス・クロマティック・ホモトピー論をさらに推し進める研究を行う。
|
研究実績の概要 |
クロマティックホモトピー論では、複素コボルディズムを通して形式群のモジュライスタックの代数幾何学的構造を用いてスペクトラムの安定無限大圏を研究する。Morava K理論で局所化された安定ホモトピー論はMorava安定化群の表現論と密接に関係しており、また、トランス・クロマティック・ホモトピー論では、異なる高さに対応する局所化されたスペクトラムの安定無限大圏の関係について研究する。これらを背景として研究を行い、以下の成果を得た。 X,Yを無限大双圏とする。XからYへの関手を対象とし、対象ごとに左随伴であるようなオプラックス自然変換を射とする無限大双圏と、XからYへの関手を対象とし、対象ごとに右随伴であるようなラックス自然変換を射とする無限大双圏を考える。このとき、対象ごとには恒等射であり、射に対してはそのメイト(Beck-Chevalley変換)を対応させることにより、無限大双圏の間の自然なbidual同値が存在すると期待されている。この無限大双圏の同値を無限大圏の同値に落とした主張について、無限大双圏のモデルであるscaled単体集合を用いた組み合わせ的な証明を与えた。 この証明のために、無限大双圏の中の捻じれた射のなす無限大圏を一般化した、捻じれた自然変換のなす無限大圏を導入した。捻じれた自然変換のなす無限大圏は、XからYへの関手を対象とし、ラックス自然変換を射とする無限大圏と、XからYへの関手を対象とし、オプラックス自然変換を射とする無限大圏の直積への関手を備えている。捻じれた自然変換のなす無限大圏を適切な部分圏に制限することにより、上記同値を誘導する無限大圏の完全なペアリングが得られるを示した。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
トランスクロマティックホモトピー論への応用を目指して無限大双圏の基本理論の研究を進めているが、当初計画していた局所化された安定ホモトピー論の間の関係の研究としてはやや遅れていると判断する。
|
今後の研究の推進方策 |
局所化されたスペクトラムの余加群モデルおよびMorava安定化群の作用をもつ離散スペクトラムモデルを用いて、異なる高さに対応する局所化された安定無限大圏の間の関係について研究を継続する。
|