고차 베를린데 범주와 환원군의 새로운 전개

초록

저자는 특성 p인 체에서 연결된 환원군 G와 양의 정수 n에 대해 텐서 범주 ${\sf Ver}{p^n}(G)$를 정의한다. 이는 기존의 반대칭 베를린데 범주 ${\sf Ver}p(G)$와 SL₂에 대한 고차 베를린데 범주 ${\sf Ver}{p^n}$를 동시에 일반화한 것으로, 틸팅 모듈의 적절한 부분범주와 텐서 아이디얼을 이용한 아벨리안 포장(ab​elian envelope)으로 구성된다. 주요 결과는 이 범주들의 구조적 성질, 포함 사상, 프러베니우스 트위스트와의 연관성, 그리고 G의 퍼펙션을 통한 무한 합 ${\sf Ver}{p^\infty}(G)$의 기술이다. 또한 SL₂ 경우에 한해 기본적인 가중치 조건을 이용해 ${\sf Ver}_{p^n}$의 기본 아벨리안 범주를 Rep SL₂의 서브카테고리와 세레 쿼션으로 명시한다.

상세 분석

이 논문은 두 가지 기존 전통을 하나의 통일된 틀로 끌어올린다. 첫 번째는 Gelfand‑Kazhdan이 제시한 반대칭 베를린데 범주 ${\sf Ver}p(G)$이며, 이는 SL₂의 틸팅 모듈을 주된 도구로 삼아 $p$‑제한 가중치 알코베에 기반한 반대칭 텐서 구조를 제공한다. 두 번째는 Benson‑Etingof‑Ostrik이 정의한 고차 베를린데 범주 ${\sf Ver}{p^n}$로, 여기서는 SL₂의 틸팅 모듈을 동일한 텐서 아이디얼 $I_n$으로 나눈 뒤 그 아벨리안 포장을 취한다. 저자는 이 두 전통을 결합해, 임의의 연결 환원군 $G$에 대해 $I_n$을 $Tilt,G$에 끌어올리는 방법을 제시한다. 핵심은 “최소 텐서 아이디얼” 존재 보장을 제공하는 St‑정리(