길이 3 복합체와 피카드 2스택의 삼중동형성

본 논문은 아벨 군 셰이프 위에 정의된 길이 3 복합체(즉, A⁻² → A⁻¹ → A⁰ 형태)와 Picard 2‑스택 사이의 관계를 삼중범주 수준에서 체계화한다. 서론에서는 Deligne가 SGA4 Exp. XVIII에서 제시한 길이 2 복합체와 Picard 스택 사이의 2‑범주 동형성을 재검토하고, 이를 차원 하나 올려 길이 3 복합체와 Picard 2‑스택 사이에 동일한 구조가 존재할 가능성을 제시한다. 1. **예비 지식** - **버터플라이**와 **(A,B)‑토러스** 개념을 정리하고, 이들을 아벨 셰이프와 그라디언트 스택에 적용한다. - **그룹‑스택**과 **그라디언트 2‑스택**(gr‑2‑stack)의 정의와, 강한/약한 브레이딩, 대칭성, 피카드 구조를 소개한다. - **트라이카테고리**와 **트라이호모모르피즘**의 기본 정의를 제시하고, 트라이이퀴밸런스의 의미를 명시한다. 2. **Picard 2‑스택을 토러스 형태로 구성** - (A,B)‑토러스의 2‑스택 버전을 정의하고, 이를 이용해 길이 3 복합체 A·에 대응하는 Picard 2‑스택 Tors(A⁻²,A⁻¹) 등을 구축한다. - Picard 2‑스택의 1‑사상(가법 2‑함수), 2‑사상(자연 2‑변환), 3‑사상(수정) 사이의 구조를 상세히 기술한다. 3. **길이 3 복합체의 3‑카테고리 C