[論文レビュー] Some Higher Coalgebra

Jonathan Beardsley|arXiv (Cornell University)|Aug 4, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 4

ひとこと要約

本稿では、E_n-構造を持つコールゲブラ、バイコールゲブラ、およびコモジュールの擬代数的圏を導入し、n重ループ空間、スuspension スペクトル、降下データ、およびトムスぺクトルが、これらの枠組みの中で自然に生じることを示している。主な結果として、写像 f: X → BGL₁(R) に付随するトムスぺクトルが、古典的なトム対角写像を介して R[X]-コモジュール構造を持つことが証明されている。

ABSTRACT

We define quasicategories of E_n-structured coalgebras, bialagebras and comodules. We show that: n-fold loop spaces, suspension spectra thereof, descent data for maps of E_n-ring spectra, descent corings of morphisms of E_n-ring spectra and Thom spectra are all examples of these kinds of objects. In particular, we prove that for a morphism of E_n-monoidal Kan complexes f:X->BGL_1(R), the associated Thom spectrum Mf is a structured R[X]-comodule by the classical Thom diagonal.

研究の動機と目的

• 擬代数的圏を用いて、E_n-構造を持つコールゲブラ、バイコールゲブラ、およびコモジュールのホモトピー的枠組みを構築すること。
• n重ループ空間、トムスぺクトル、降下データといった多様な幾何的・代数的対象を、一つのカテゴリカル構造に統一すること。
• 写像 f: X → BGL₁(R) に対して、対応するトムスぺクトルが自然に R[X]-コモジュールであることを、トム対角写像を用いて確立すること。
• 代数的トポロジーにおける古典的結果を、E_n-リングスぺクトルおよび高次代数的構造の文脈に一般化すること。

提案手法

• 特に E_n 操作およびそのコールゲブラ的類似物をモデル化するため、擬代数的圏を用いる。
• トム対角写像の構成を用いて、写像 f: X → BGL₁(R) に対して、トムスぺクトルに R[X]-コモジュール構造を導入する。
• E_n-リングスぺクトルおよびその準同型の理論を用いて、構造付きリングスぺクトルの文脈における降下データおよびコリングを定義する。
• E_n-モノイダル Kan複体の理論を活用し、トムスぺクトル構成の入力データ f: X → BGL₁(R) をモデル化する。
• R[X] 上の E_n-構造を持つコモジュールの擬代数的圏を構成し、トムスぺクトルの代数的構造を形式化する。
• トムスぺクトルの普遍性を用いて、トム対角によって誘導されるコモジュール構造との整合性を示す。

実験結果

リサーチクエスチョン

• RQ1 E_n-構造を持つコールゲブラおよびコモジュールは、高次カテゴリカル枠組みの中でどのように形式化できるか？
• RQ2 トムスぺクトルやループ空間といった古典的位相的対象のうち、どの対象が自然に E_n-構造を持つコモジュール構造を持つのか？
• RQ3 トム対角写像が、トムスぺクトルに R[X]-コモジュール構造をどのように付与するか、その正確な役割は何か？
• RQ4 E_n-リングスぺクトルのための降下データおよびコリングは、E_n-構造を持つバイコールゲブラの広い枠組みの中でどのように位置づけられるか？
• RQ5 E_n-理論を用いて、トムスぺクトルの構成を R[X] 上のコモジュール構造として体系的かつ一貫的に理解できるか？

主な発見

• 本稿では、E_n-構造を持つ R[X]-コモジュールの擬代数的圏を構成し、構造付きコモジュール理論のホモトピー的枠組みを提供している。
• 写像 f: X → BGL₁(R) に付随するトムスぺクトルが、トム対角写像を介して自然に R[X]-コモジュールであることが確立されている。
• n重ループ空間およびそのスパインスぺクトルが、E_n-構造を持つコールゲブラの例として示されている。
• E_n-リングスぺクトルの写像のための降下データおよび E_n-リングスぺクトルの準同型のための降下コリングが、E_n-構造を持つバイコールゲブラの具体例として実現されている。
• トムスぺクトルの構成が E_n 構造と整合的であることが示されており、古典的結果が高次代数的文脈に一般化されている。
• この枠組みにより、多様な位相的および代数的対象が、共通のカテゴリカルかつホモトピー的言語の下で統一されている。