Khovanov 동류와 Steenrod 제곱의 일치: Sq²와 cup‑i 연산의 통합

본 논문은 Khovanov 동류와 그 안정적 동형 유형 사이의 깊은 관계를 탐구한다. 1장에서는 Khovanov 동류의 정의와 Lipshitz‑Sarkar가 제시한 Khovanov 스펙트럼 |F_Kh(L)| 를 소개한다. 이 스펙트럼은 2‑펑터 F_Kh(L):2ⁿ→B (Burnside 범주) 로부터 유도되며, 총화(totalization) 과정을 거쳐 전통적인 Khovanov 체인 복합체 Kc(L) 와 동형이다. 스펙트럼의 안정적 동형 유형을 통해 Steenrod 제곱 Sqⁱ 가 정의되며, 특히 Sq² 은 코체인 레벨에서 직접 계산이 어려운 연산이다. 2장에서는 Morán이 제안한 증강 반단순 객체 X·=Λ(F) 와 그에 대응하는 코체인 복합체 C⁎(X·;𝔽₂)를 상세히 설명한다. Morán은 전통적인 cup‑i 연산을 범주론적 스팬 ∇ᵢ 로 재구성하고, 이를 통해 sqⁿ(