유한군의 단위 2표현과 2특성의 기하학

본 논문은 위상양자장론(TQFT)의 동기에서 출발하여, 유한군 \(G\) 에 대한 단위 2‑표현을 2‑Hilbert 공간 위에 구현하고, 그와 연관된 2‑특성을 기하학적으로 해석한다. 전통적인 군 표현 이론에서는 군의 유한 차원 복소 힐베르트 공간 \(V\) 와 등변 선다발 \(\tau_V\to\mathbb{P}(V)\)  사이에 일대일 대응이 존재한다. 이 대응은 벡터를 각 직선에 대한 정사영을 통해 섹션으로 전환하고, 섹션 전체가 원래 벡터를 복원한다는 ‘디카테고리화된 요네다 보조정리’와 동일시될 수 있다. 이러한 관점을 ‘범주화’하면, 군이 작용하는 대상이 힐베르트 공간이 아니라 2‑Hilbert 공간, 즉 반쯤 완전한 선형 카테고리(세미심플렉스)로 바뀐다. 2‑표현은 군을 한 객체 2‑범주(동형 사상만 존재)로 보고, 이를 2‑Hilb에 보내는 약한 2‑함자이다. 변환(1‑사상)은 두 2‑함자 사이의 자연 변환이며, 변형(2‑사상)은 변환 사이의 수정이다. 저자는 문자열 다이어그램을 도입해 이러한 구조를 시각적으로 명확히 하고, ‘even‑handed’ 구조(양쪽 어드조인트의 일관된 선택)를 정의한다. 이 구조는 2‑Hilb가 내적과 이중성을 갖는 덕분에 자연스럽게 존재하며, 변환에 대한 2‑특성의 함자성을 보장한다. 2‑특성은 각 군 원소 \(g\) 에 대해 벡터 공간 \(\chi_\alpha(g)\) 을 할당하고, 공액 원소 사이에 동형을 제공한다. 저자는 변환에 대해서도 2‑특성을 정의하여, 변환이 동형류 범주에서 사상으로 작용하도록 만든다. 이때 2‑특성은 변환의 동형류 클래스에만 의존하므로, 동형류 범주 \(