[논문 리뷰] Stacks of Ann-Categories and their morphisms

Ettore Aldrovandi|arXiv (Cornell University)|2015. 01. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 5

한 줄 요약

이 논문은 초복소(hypercover)를 따라 내림내림(descent)과 이중모듈러 봉우리(bimodule butterflies)를 사용하여 아벨 군 HomS~ab(¯D2k(A,X))의 클래스를 수립하며, SH³((A|V₁)/k, X|V₁) 내의 3중 확장 클래스가 일관된 코ycle 조건을 만족하는 스택의 사상으로 대응됨을 보여준다. 핵심 결과는 f₀₂ = f₀₁ ∘ f₁₂를 만족하는 확장 클래스 간에 잘 정의된 동형사상 f의 존재이며, 이는 당김(under pullback)에 대해 일관성을 보장한다.

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중 확장 클래스 간에 잘 정의된 핵심(kernel) 동형사상 f 수립.
• 당김에 대해 사상 f가 조합 법칙 f₀₂ = f₀₁ ∘ f₁₂를 만족함을 검증.
• 자연 동형사상과 일관성 관계를 통해 V₀, V₁, V₂, V₃ 전반에서 구성의 일관성 입증.

제안 방법

• S~ (또는 S) 내의 최종 대상의 초복소 V∙ → pt 를 사용해 R 을 내림내림을 통해 표현.
• R₀ ≃ [M → R]~ 를 만족하는 (S/V₀)~ 상에서의 이중모듈러 봉우리 ∂: M → R 를 통해 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 어떤 조건이 Ann-카테고리의 사상이 일관된 코ycle 데이터를 가진 이중모듈러 봉우리로부터 유도되는지를 보장하는가?
• RQ3 V₁ 상에서 3중 확장 클래스 간의 동형사상 f 는 사상 f₀₁ 과 f₁₂ 의 조합과 어떻게 관련되어 있는가?
• RQ4 V₀, V₁, V₂, V₃ 전반에서 일관성을 유지하는 데에 d₀∗, d₁∗, d₂∗ 의 당김이 수행하는 역할은 무엇인가?
• RQ5 누락된 색인 약관 기준에서 자연 동형사상 ξ 와 η 는 A 와 X 의 항등사상과 어떻게 관련되어 있는가?

주요 결과

• SH³((A|V₁)/k, X|V₁) → SH³((A|V₁)/k, X|V₁) 의 사상 f 는 일관된 봉우리 구조에 의해 유도된 동형사상이다.
• 동형사상 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 와의 일관성 조건에 대해 호환된다.
• 항등사상 A 와 X 는 관계 d₀∗ε∗ ≃ (εd₀)∗ ≃ (εd₁)∗ ≃ d₁∗ε∗ 를 통해 유지되며, 이를 통해 Proposition LABEL:prop:1 을 통해 f 의 구성이 가능해진다.