2 표현의 내적과 범주적 트레이스의 곱셈성

초록

이 논문은 2-표현 사이의 내적을 정의하고, 범주적 트레이스가 다양한 텐서곱에 대해 곱셈적임을 증명한다. 이를 통해 G‑작용을 가진 범주 V^G의 중심을 twisted group algebra으로 식별하고, 프로젝트ive 표현의 개수와 글로벌 몫 오비폴드의 Hochschild 공동동형론에 대한 새로운 공식들을 제시한다.

상세 분석

논문은 먼저 선형 2-범주에서의 범주적 트레이스 Tr(F)=Nat(id,F) 를 고전적인 트레이스의 범주화된 형태로 재정의한다. 핵심 정리인 Theorem 2.5에서는 두 선형 카테고리 V, W와 각각의 엔도펑터 g, h에 대해, Hom‑공간이 유한 차원이고 Tr(g) 혹은 Tr(h) 가 유한 차원일 경우, 자연스러운 사상 µ:Tr(g)⊗Tr(h)→Tr(g⊠h) 가 동형임을 보인다. 여기서 ⊠는 Ganter‑Kapranov이 정의한 선형 카테고리의 텐서곱이며, abelian 경우에는 Deligne의 완성 텐서곱, dg‑카테고리 경우에는 Bondal‑Larsen‑Lunts 텐서곱을 사용한다. 이 곱셈성은 2‑표현의 캐릭터 X_𝔐(g)=Tr(𝔐(g)) 가 G‑공액성을 갖는 함수로서, 내적 ⟨𝔐,𝔑⟩_G = dim_k Dim((𝔐⊠𝔑)^G) 를 정의하는 데 핵심이 된다. 식 (1)에서 제시된 ⟨χ,ξ⟩G = (1/|G|)∑{gh=hg}χ(g,h)·ξ(g,h) 은 Strickland‑형 내적과 정확히 일치한다.

다음으로 섹션 5에서는 G‑작용을 가진 선형 카테고리 𝔐에 대해, equivariant 객체 카테고리 V^G 를 고려한다. 여기서 twisted group algebra R_𝔐=⊕{g∈G}Tr(g) 가 정의되고, 이 알gebra이 V^G 의 중심 Dim(V^G)=Tr(id) 와 동형임을 (2)식으로 증명한다. 이는 V^G 가 “twisted group algebra 모듈”이라는 보편적 특성을 갖게 함을 의미한다. 결과적으로 dim Dim(V^G)= (1/|G|)∑{gh=hg}χ_𝔐(g,h) 가 얻어진다.

응용 부분에서는 (i) Schur‑type 정리: 주어진 2‑코사이클 c 에 대해 G‑프로젝트ive 표현의 등급 수가 위의 차원 공식과 일치함을 재해석하고, (ii) 글로벌 몫 오비폴드