헤이젠베르그 범주 안의 반군수 반정밀 부분범주

초록

저자는 Khovanov의 Heisenberg 범주 ( \mathcal{H}eis ) 안에, 객체 동형 정보를 완전히 보존하면서도 반군수(semisimple)인 재포함(재완전) 부분범주 ( \mathcal{H}eis^{\mathsf{s}} )가 존재함을 증명한다. 이 부분범주의 유도 삼각화 ( K = D^{b}(\mathcal{H}eis^{\mathsf{s}}) )는 텐서‑곱 성질을 만족하지만 좌·우 듀오가 아니며, 한쪽만 닫힌 두꺼운 텐서‑이데얼이 존재한다는 새로운 비가환 텐서‑삼각 기하학 예시를 제공한다.

상세 분석

논문은 크게 두 부분으로 나뉜다. 첫 번째는 Heisenberg 범주 ( \mathcal{H}eis )의 구조를 세밀히 검토하고, 그 안에서 “객체 동형 데이터만을 보존하는” 반군수 재포함 부분범주 ( \mathcal{H}eis^{\mathsf{s}} )를 구성하는 과정이다. 저자는 ( \uparrow )와 ( \downarrow )라는 두 기본 객체와, 이들 사이의 생성 사상 ( s, c, d, c’, d’ ) 등을 이용해 diagrammatic 관계들을 정의한다. 특히 중요한 관계는 ( \uparrow!\otimes!\downarrow \oplus \mathbf{1} \cong \downarrow!\otimes!\uparrow )이며, 이를 통해 모든 객체를 ( \uparrow^{\otimes i}!\otimes!\downarrow^{\otimes j} ) 형태의 단순 객체들의 직접합으로 표현할 수 있음을 보인다. 이때 ( i,j\ge0 )인 경우가 전부이며, 이러한 객체들의 동형류는 원래 범주와 완전히 일치한다는 점이 핵심이다.

두 번째 단계에서는 ( \mathcal{H}eis^{\mathsf{s}} )의 유도 삼각화 ( K = D^{b}(\mathcal{H}eis^{\mathsf{s}}) )를 고려한다. 여기서 “텐서‑곱 성질”(tensor product property)이라 함은 모든 객체 ( x,y )에 대해 지원(support) 집합이 ( \operatorname{supp}(x)\cap\operatorname{supp}(y)=\operatorname{supp}(x\otimes y) )를 만족하는 것을 의미한다. 저자는 ( K )가 이 성질을 만족함을 직접 계산으로 증명한다. 그러나 ( K )는 좌·우 듀오가 아니다. 구체적으로, 왼쪽 두꺼운 텐서‑이데얼은 ( \langle\downarrow\rangle_{l}\supset\langle\downarrow\otimes\downarrow\rangle_{l}\supset\cdots\supset0 )와 같은 무한 사슬을 이루고, 오른쪽 두꺼운 텐서‑이데얼은 ( \langle\uparrow\rangle_{r}\supset\langle\uparrow\otimes\uparrow\rangle_{r}\supset\cdots\supset0 )라는 별도의 사슬을 만든다. 이 두 사슬은 서로 교차하지 않으며, 두 개의 완전한 두꺼운 텐서‑이데얼(0과 전체 범주)만이 양면(두쪽) 이데얼이다.

이러한 구조는 비가환 텐서‑삼각 기하학에서 드물게 나타나는 현상이다. 기존 이론에서는 텐서‑곱 성질이 성립하면 모든 소프라임(완전소프라임) 이데얼이 완전소프라임이 되고, 따라서 스펙트럼이 두꺼운 이데얼을 완전히 분류한다는 기대가 있었다. 그러나 여기서는 스펙트럼 ( \operatorname{Spc}(K)={\ast} )가 단일점이므로 지원이 모든 비영 객체에 대해 동일하게 되지만, 한쪽만 닫힌 이데얼들의 사슬은 스펙트럼으로는 포착되지 않는다. 즉, 전통적인 Balmer 스펙트럼이나 코호몰로지적 지원 다양체는 이러한 한쪽 이데얼을 구분하지 못한다. 저자는 대신 “보편적 quasi‑지원 데이터” ( \operatorname{Sp}(K) )를 도입해, 모든 적절한 한쪽 두꺼운 텐서‑이데얼을 정확히 분류할 수 있음을 보여준다.

이 결과는 두 가지 중요한 질문에 답한다. 첫째, 텐서‑곱 성질이 듀오성을 강제하지 않음을 반증한다(문제 제기된 “역은 성립하는가?”에 대한 부정적 답). 둘째, diagrammatic 범주, 특히 Heisenberg 범주와 같은 고전적인 양자 대수 구조에서도 비가환 텐서‑삼각 기하학의 새로운 현상이 나타날 수 있음을 보여준다. 이는 앞으로 비가환 텐서‑삼각 기하학을 확장하는 데 있어 diagrammatic 방법론이 유용한 도구가 될 가능성을 시사한다.