양자 결함을 위한 새로운 모노이달 범주와 그 적분 구조

본 논문은 두 차원 양자장론에서 중요한 두 종류의 대칭—컨포멀 대칭(Virasoro 대수)과 적분 대칭(무한 개의 보존 전하)—을 하나의 범주론적 틀 안에 결합하려는 시도이다. 이를 위해 저자들은 먼저 유한한 강체 브레이드된 모노이달 범주 C와 객체 F 를 선택한다. 여기서 C는 일반적으로 V의 표현 범주 Rep(V)와 동형이며, V는 유리한 정점 연산자 대수이다. **1. 범주 C_F 의 정의** Definition 2.1에 따라 C_F 의 객체는 (U, f) 형태이며, f: F⊗U→U 는 ‘액션’이라고 부른다. 모프히즘 a: U→V는 a와 f, g가 다음 사각형을 교환하도록 요구한다. 이 정의는 C_F 를 ‘F‑모듈’들의 범주로 해석하게 하며, F 자체에 별도 대수 구조를 요구하지 않는다. **2. 아벨리안·리짓·모노이달 구조** Theorem 2.3와 Lemma 2.4를 통해 C가 아벨리안·리짓·모노이달이며 텐서곱이 오른쪽 정확(right‑exact)일 때 C_F 역시 아벨리안·리짓·모노이달이 된다. 특히, 텐서곱 ⊗̂ 은 (U,f)⊗̂(V,g) := (U⊗V, T(f,g)) 로 정의되며, T(f,g)는 두 항의 합으로 구성된다. 이 합은 브레이드와 결합자를 이용해 F가 양쪽에 작용하도록 설계되어, 모프히즘 조건을 보존한다. 단위 객체는 (1, 0)이며, ⊗̂ 은 바이펑터가 된다. **3. Grothendieck 고리와 함수적 관계** C_F 가 아벨리안이므로 Grothendieck 군 K₀(C_F) 가 정의된다. 짧은 정확수열 0→K→U→C→0 에 대해