분리 가능한 K 선형 범주와 그 구조적 특성

초록

**
본 논문에서는 분리 가능한 K-선형 범주의 정의를 제시하고, 이러한 범주가 지역적으로 유한함을 보이며 모든 왼쪽 C‑모듈이 사영임을 증명한다. 또한 군체(groupoid)와 델타 범주(delta category)로 생성된 선형 범주의 경우에 대한 완전한 특성화를 제공한다.

**

상세 분석

**
논문은 먼저 K-선형 범주 C에 대해 “분리 가능(separable)”이라는 개념을 정의한다. 이는 곱셈 전함 μ : C⊗ₖC → C가 C‑C‑양쪽 모듈 사상으로서 섞임(split)될 수 있음을 의미한다. 이 정의는 고전적인 알제브라적 분리 가능성(예: 분리 가능한 K‑알제브라 A는 A⊗ₖA → A가 A‑A‑바이모듈 사상으로 섞임)과 정확히 일치한다. 저자는 이 조건이 범주의 구조에 강력한 제약을 가함을 보인다.

첫 번째 주요 정리는 “분리 가능한 K‑선형 범주는 지역적으로 유한(locally finite)하다”는 것이다. 즉, 각 객체 x, y에 대해 Hom_C(x, y)는 유한 차원 K‑벡터공간이다. 증명은 μ가 섞임을 이용해 C를 C‑C‑바이모듈로서 직접합(direct sum) 형태로 분해하고, 그 결과 각 동형 사상 집합이 유한 차원임을 도출한다.

두 번째 핵심 결과는 “모든 왼쪽 C‑모듈이 사영이다”라는 정리이다. 분리 가능성은 C 자체가 C‑C‑바이모듈로서 사영임을 의미하고, 이는 모듈 이론에서 “세미단순(semi‑simple)”인 범주와 동치이다. 따라서 임의의 왼쪽 C‑모듈 M에 대해 M ≅ C⊗ₖV 형태로 표현될 수 있으며, 여기서 V는 적절한 K‑벡터공간이다. 이는 모듈이 항상 자유(또는 사영) 모듈로 분해될 수 있음을 보장한다.

응용 부분에서는 두 가지 특수한 경우를 상세히 분석한다. 첫째, 군체 G의 K‑선형화 K