Project/Area Number |
17K05253
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Geometry
|
Research Institution | Okayama University |
Principal Investigator |
鳥居 猛 岡山大学, 自然科学学域, 教授 (30341407)
|
Project Period (FY) |
2017-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2021: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2020: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2019: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2018: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2017: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
Keywords | 安定ホモトピー論 / クロマティックホモトピー論 / 無限大圏 / モノイダル圏 / ラックスモノイダル関手 / オペラッド / Morava E理論オペラッド / 表現のモジュライ / 双代数 / ホップ亜代数 / 余加群 / 淡中随伴 / En代数 / 余代数 / Enモノイド / Hopf亜代数 / quasi-category / Morava K理論 / Morava E理論 / Morava安定化群 / 導来代数幾何 |
Outline of Annual Research Achievements |
クロマティックホモトピー論にあらわれるHopf亜代数やその上の余加群の圏を無限大圏に持ち上げることを動機として、デュオイダル無限大圏や高次モノイダル無限大圏について研究を行い、以下の成果を得た。 ・任意の無限大オペラッドに対して、モノイダル圏とラックスモノイダル関手のなす無限大圏と、モノイダル圏と双対ラックスモノイダル関手のなす無限大圏との間に双対同値が成り立つ。この結果はHaugseng-Hebestreit-Linskens-Nuitenにより、(∞,2)圏のレベルで同値が証明されているが、(∞,1)圏のレベルでの別証明を、二つの無限大圏の間の完全ペアリングを構成することにより示した。また、この結果をまとめた論文を雑誌に投稿した。 ・モノイダル圏とラックスモノイダル関手のなす無限大圏と、モノイダル圏と双対ラックスモノイダル関手のなす無限大圏との間の双対同値の空間について考察した。モノイダル圏の前層のなす圏には、Day畳み込み積によりモノイダル構造が誘導される。上記の双対同値だけではなく前層のなす圏へのモノイダル米田埋め込みの情報を加えた空間を考えると、その空間が可縮となることを示した。このことより、特に、Haugseng-Hebestreit-Linskens-Nuitenの構成した同値を(∞,1)圏に制限したものと、完全ペアリングを用いて構成した同値が同値になることがわかった。また、この結果をプレプリントにまとめた。 ・適当な仮定のもと、無限大オペラッドとその上の代数に対して、その上の加群の無限大圏には、無限大オペラッド上のモノイダル構造が入る。これを拡張し、2つの無限大オペラッド上の代数を考え、その上の加群の無限大圏に2つの無限大オペラッド上のデュオイダル構造が入ることを示した。また、この結果をプレプリントにまとめた。
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
デュオイダル圏や高次モノイダル圏の無限大圏への一般化については一定の成果が得られている。しかし、安定ホモトピー圏の大域的構造やMorava K理論で局所化された安定ホモトピー圏の間の関係への応用については、研究を継続しているがまだ具体的な結果が得られるまでには至っていない。このことが現在までの進捗状況はやや遅れていると判断する理由である。
|
Strategy for Future Research Activity |
具体的な状況に理論を適用する研究を継続する。余加群モデルおよびMorava安定化群の作用をもつ離散スペクトラムモデルを用いて、異なる高さをもつMorava K理論で局所化された安定ホモトピー圏の間の関係について研究を継続する。
|
Report
(6 results)
Research Products
(25 results)