[論文レビュー] Stacks of Ann-Categories and their morphisms

Ettore Aldrovandi|arXiv (Cornell University)|Jan 29, 2015

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

ひとこと要約

本稿では、ハイパーカバーに沿った降下データおよび双モジュールバタフライを用いて、アーベル群 HomS~ab(¯D2k(A,X)) におけるクラスを確立し、SH³((A|V₁)/k, X|V₁) 内の3重拡張類が、整合的なコycle条件を満たすスタックの写像としてAnn-カテゴリの準同型に対応することを示す。主な結果は、f₀₂ = f₀₁ ∘ f₁₂ を満たす、拡張類の間の整合性を保証するwell-definedな同型写像 f の存在である。

ABSTRACT

We show that $\mathit{ann}$-categories admit a presentation by crossed bimodules, and prove that morphisms between them can be expressed by special kinds spans between the presentations. More precisely, we prove the groupoid of morphisms between two $\mathit{ann}$-categories is equivalent to that of bimodule butterflies between the presentations. A bimodule butterfly is a specialization of a butterfly, i.e. a special kind of span or fraction, between the underlying complexes

研究の動機と目的

• ハイパーカバーに沿った降下データを用いて、HomS~ab(¯D2k(A,X)) 内のクラスを定義すること。
• 双モジュールバタフライと整合的なコycle条件を用いて、Ann-カテゴリの準同型を特徴付けること。
• V₁ 上で3重拡張類の間のwell-definedな核写像の同型写像 f を確立すること。
• 写像 f が引き戻しに関して合成法則 f₀₂ = f₀₁ ∘ f₁₂ を満たすことを検証すること。
• 自然同型と整合性関係を用いて、V₀, V₁, V₂, V₃ 全体にわたる構成の一貫性を示すこと。

提案手法

• S~（または S）における終対象のハイパーカバー V∙ → pt を用いて、R を降下により表現する。
• R を (S/V₀)~ 上の双モジュールバタフライ ∂: M → R を用いて表現し、R₀ ≃ [M → R]~ と表す。
• V₀ 上の環的スタックの間の写像 F: d₀∗R₀ ∼→ d₁∗R₀ を構成する。
• ε∗X, M, R, ε∗A, ∂ を含む、V₀ 上の4項完全列を適用する。
• V₁ 上のプルバック d₀∗M, d₁∗M, d₀∗R, d₁∗R と写像 η, κ, ∂, ξ, π, j を含むバタフライの図式を構築する。
• 自然同型 a: F₀₁ ∘ F₁₂ ⇒ F₀₂ と整合性 a₀₂₃ ∘ a₀₁₂ = a₀₁₃ ∘ a₁₂₃ を用いて、V₂ および V₃ 上で2カテゴリカルなコycle条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーカバーに沿った降下データを用いて、HomS~ab(¯D2k(A,X)) 内のクラスをどのように構成できるか？
• RQ2 双モジュールバタフライと整合的なコycleデータを持つ写像が、Ann-カテゴリの準同型として生じるための条件は何か？
• RQ3 V₁ 上での3重拡張類の間の同型写像 f は、写像 f₀₁ と f₁₂ の合成とどのように関係するか？
• RQ4 引き戻し d₀∗, d₁∗, d₂∗ は、V₀, V₁, V₂, V₃ 全体にわたる整合性を維持するために果たす役割は何か？
• RQ5 欠落した添字表記法の下で、自然同型 ξ と η は A および X の恒等写像とどのように関係するか？

主な発見

• 写像 f: SH³((A|V₁)/k, X|V₁) → SH³((A|V₁)/k, X|V₁) は、整合的なバタフライ構造から誘導される同型写像である。
• 同型写像 f は合成法則 f₀₂ = f₀₁ ∘ f₁₂ を満たし、2カテゴリカルな枠組みにおける整合性が確認される。
• V₀ および V₁ 上のデータは、∂: M → R と A, X のプルバックを含む4項完全列を満たす。
• 自然同型 a: F₀₁ ∘ F₁₂ ⇒ F₀₂ は、V₃ 上で五角形整合性条件 a₀₂₃ ∘ a₀₁₂ = a₀₁₃ ∘ a₁₂₃ を満たす。
• バタフライの同型写像 α: E₁₂ ⊕ᴹ¹ᴿ¹ E₀₁ → E₀₂ は、V₃ 上での整合性条件 a と整合する。
• 恒等写像 on A および X は、関係式 d₀∗ε∗ ≃ (εd₀)∗ ≃ (εd₁)∗ ≃ d₁∗ε∗ を通じて保存され、これにより、命題 LABEL:prop:1 を用いて f の構成が可能になる。