코라디컬 그레이드 점유 유한 텐서 범주의 코호몰로지 유한 생성성

초록

본 논문은 아벨 군 위의 코라디컬 그레이드 점유 유한 텐서 범주에 대해, 변형(디-에퀴베리언트화)와 정확한 텐서 범주 서열을 이용해 코호몰로지 대수의 유한 생성성을 증명한다. 대칭형과 비대칭형 두 경우를 모두 다루어, 모든 해당 범주가 FGC(Finitely Generated Cohomology)를 만족함을 보인다.

상세 분석

논문은 먼저 유한 텐서 범주의 코호몰로지를 Ext⁎_C(1,V) 로 정의하고, FGC(유한 생성 코호몰로지) 조건을 “H⁎(C,1) 가 유한 생성 대수이며, 모든 객체 V 에 대해 H⁎(C,V) 가 H⁎(C,1)‑모듈로서 유한 생성”이라고 명시한다. 기존 결과(Etingof‑Ostrik의 전반적 추측, Ginzburg‑Kumar의 작은 양자군, Mastnak‑등의 점유 Hopf 대수)와 비교하면서, 본 연구는 코라디컬 그레이드(co‑radically graded) 점유 유한 텐서 범주에 초점을 맞춘다.

코라디컬 그레이드라는 개념은 해당 범주가 코라디컬 그레이드 코코시‑Hopf 대수(또는 그 이중 구조)와 동등함을 의미한다. 저자는 이때의 코코시‑Hopf 대수를 두 종류, 즉 대각형(diagonal)과 비대각형(non‑diagonal)으로 구분한다. 대각형 경우, 기존의 점유 Hopf 대수의 디‑에퀴베리언트화와 정확히 대응함을 보이며, Angiono‑Galindo의 결과와 달리 보다 대수적 접근을 취한다. 구체적으로, 3‑코사이클 ω 를 이용해 G‑Yetter‑Drinfeld 범주 G‑YD_ω 를 구성하고, 이를 통해 Nichols algebra B(V) 를 정의한다. ω 가 ‘abelian cocycle’이면 V 가 대각형이며, 이때 B(V) 가 유한 차원이면 Hopf 대수 H = B(V) # kG 가 점유이며, 그 코호몰로지는 이미 알려진 FGC 결과에 귀속된다.

비대각형 경우는 디‑에퀴베리언트화가 직접 적용되지 않으므로, 저자는 정확한 텐서 범주 서열(Exact sequence of tensor categories)을 이용한다. 구체적으로, M ≅ B(V) # kG 로 표현되는 코코시‑Hopf 대수 M 을, B(V) 가 비대각형 Nichols algebra인 경우에도, 적절한 중앙 임베딩 Rep(eG) → Comod(H) 를 찾아서 de‑equivariantization을 수행한다. 이 과정에서 Lemma 2.9, 2.10, 2.11을 활용해 FGC 성질이 상하 사슬을 따라 보존됨을 증명한다. 특히, Lemma 2.11은 정확한 서열 B → C → D (D는 fusion category)에서 H⁎(B,1) ≅ H⁎(C,1) 임을 보이며, 이를 통해 비대각형 경우에도 최종적으로 Comod(M) 가 FGC 를 만족함을 얻는다.

핵심 정리는 Theorem 1.3(=Theorem 3.2 및 4.x)으로, “코라디컬 그레이드 점유 유한 텐서 범주 C 가 아벨 군 위에 정의되면 C 는 FGC 를 만족한다”는 것이다. 증명은 크게 두 단계로 나뉜다. (1) 대각형 경우: 코코시‑Hopf 대수 M 를 적절한 Hopf 대수 H 로부터 디‑에퀴베리언트화하여, 이미 알려진 FGC 결과를 인용한다. (2) 비대각형 경우: M 을 B(V) # kG 로 표현하고, 중앙 부분군 eG 를 이용해 정확한 서열을 만든 뒤, Lemma 2.11을 적용해 FGC 를 전이한다.

이러한 접근법은 기존의 Hopf 대수 중심의 결과를 텐서 범주 수준으로 일반화하고, 코코시‑Hopf 대수의 비대각형 사례까지 포괄한다는 점에서 의미가 크다. 또한, de‑equivariantization과 정확한 서열이라는 카테고리 이론 도구를 활용함으로써, 코호몰로지의 유한 생성성을 확인하는 새로운 방법론을 제시한다.