一般の安定ホモトピー論における余加群の研究

点击翻译按钮获取中文摘要

クロマティックホモトピー論にあらわれるHopf亜代数やその上の余加群の圏を無限大圏に持ち上げることを動機として、デュオイダル無限大圏や高次モノイダル無限大圏について研究を行い、以下の成果を得た。・任意の無限大オペラッドに対して、モノイダル圏とラックスモノイダル関手のなす無限大圏と、モノイダル圏と双対ラックスモノイダル関手のなす無限大圏との間に双対同値が成り立つ。この結果はHaugseng-Hebestreit-Linskens-Nuitenにより、(∞,2)圏のレベルで同値が証明されているが、(∞,1)圏のレベルでの別証明を、二つの無限大圏の間の完全ペアリングを構成することにより示した。また、この結果をまとめた論文を雑誌に投稿した。・モノイダル圏とラックスモノイダル関手のなす無限大圏と、モノイダル圏と双対ラックスモノイダル関手のなす無限大圏との間の双対同値の空間について考察した。モノイダル圏の前層のなす圏には、Day畳み込み積によりモノイダル構造が誘導される。上記の双対同値だけではなく前層のなす圏へのモノイダル米田埋め込みの情報を加えた空間を考えると、その空間が可縮となることを示した。このことより、特に、Haugseng-Hebestreit-Linskens-Nuitenの構成した同値を(∞,1)圏に制限したものと、完全ペアリングを用いて構成した同値が同値になることがわかった。また、この結果をプレプリントにまとめた。・適当な仮定のもと、無限大オペラッドとその上の代数に対して、その上の加群の無限大圏には、無限大オペラッド上のモノイダル構造が入る。これを拡張し、２つの無限大オペラッド上の代数を考え、その上の加群の無限大圏に２つの無限大オペラッド上のデュオイダル構造が入ることを示した。また、この結果をプレプリントにまとめた。