[論文レビュー] Correction to "Simplicial monoids and Segal categories"

Julia E. Bergner|ArXiv.org|Jun 10, 2008

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

ひとこと要約

この論文は、単体的モノイドとセガール圏に関する先行研究における命題3.12の誤りを是正し、元の随伴対が余積を保存しないために無効であることを示している。任意の多様なスロットを持つ代数的理論 $Τ$ について、$Τ$-代数の圏と単体的集合の厳密局所 $Τ$-図式の圏の間のクィレン同値を確立し、バジオッチの剛性定理を一般化する。

ABSTRACT

In this note we make a minor correction to the paper ``Simplicial monoids and Segal categories."

研究の動機と目的

• 元の論文の命題3.12における誤りを是正すること。この誤りは、余積を保存しない随伴対によってクィレン同値が誤って主張されたものである。
• 任意の多様なスロットを持つ代数的理論 $Τ$ について、$Τ$-代数の圏と単体的集合の厳密局所 $Τ$-図式の圏の間の有効なクィレン同値を確立すること。
• 厳密局所図式の設定においてバジオッチの剛性定理を一般化し、正しいモデル構造と随伴を保証すること。
• 元の論文において、モデル構造 $Πγγ_{Τ_M}$ はクィレン同値の鎖から削除すべきであることを明確にすること。
• 修正された結果を1つの対象に限らない多対象の場合にまで拡張し、代数的理論のモデル圏枠組みにおける一貫性を保証すること。

提案手法

• 集合 $Ω$ 上の定値単体的集合に同型である、終対象に厳密な条件を課えた関手 $Τ \to Σσσσ$ の圏 $Πγγ_{Τ}^{Τ}$ を定義する。
• 図式 $Σσσσ^{Τ}$ における厳密 $P$-局所化（$P$ は写像の集合）の概念を用い、厳密局所図式を定義する。
• 補題4を適用して、包含関手 $J_{Τ}: Σσσσ^{Τ}_{Ω} \to Σσσσ^{Τ}$ に対する左随伴を構成し、随伴が厳密局所性条件を保つようにする。
• 局所化プロセスを用いて、$Σσσσ^{Τ}_{Ω}$ と $Σσσσ^{Τ}$ の間で随伴対 $(K_{Τ}, J_{Τ})$ がクィレン対をなすことを証明し、クィレン同値を維持する。
• すでに終対象条件を強制する写像を含むモデル構造 $Πγγ_{Τ}^{Τ}$ に対して、局所化されたモデル構造へのクィレン同値を拡張する。
• 文献[3]および[3]の[5.6]の枠組みを用い、モノイド理論 $Τ_M$ から任意の多様なスロットを持つ代数的理論 $Τ$ へと結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 元の命題3.12における随伴対がなぜ無効だったのか。具体的には、どの点（例：余積の保存の失敗）がクィレン同値を破壊したのか。
• RQ2 任意の多様なスロットを持つ代数的理論 $Τ$ について、$Σσσσ^{Τ}$ と $Πγγ_{Τ}^{Τ}$ の間でどのように再びクィレン同値を確立できるか。
• RQ3 厳密 $P$-局所化が $Πγγ_{Τ}^{Τ}$ の正しいモデル構造を保証するために果たす役割は何か。また、弱い局所化とはどのように異なるか。
• RQ4 局所化プロセスから終対象の写像を除去すると、最終的なモデル構造におけるクィレン同値にどのような影響を与えるか。
• RQ5 修正されたクィレン同値は、モノイド理論 $Τ_M$ を超えて、任意の代数的理論へどの程度一般化可能か。

主な発見

• 引用論文の命題3.12における元の主張は誤りであり、提案された左随伴が余積を保存しないため、クィレン同値が無効であった。
• 任意の多様なスロットを持つ代数的理論 $Τ$ について、$Τ$-代数の圏と単体的集合の厳密局所 $Τ$-図式の圏の間の修正済みクィレン同値が確立された。
• 随伴 $(K_{Τ}, J_{Τ})$ はクィレン対をなし、$K_{Τ}$ が包含関手 $J_{Τ}$ に対する左随伴であり、局所化後にクィレン同値となる。
• 元の論文のクィレン同値の鎖から、モデル構造 $Πγγ_{Τ_M}^{Τ_M}$ を削除すべきである。修正された枠組みではこれが有効でない。
• 修正は1つの対象に限らない多対象の場合へと拡張され、代数的理論のモデル圏枠組みにおける一貫性が保証された。
• 証明は、一般化されたバジオッチの剛性定理に基づいており、今や厳密 $P$-局所化と随伴関手の構成を介して正しく適用されている。