[논문 리뷰] Infinite-Dimensional Representations of 2-Groups

John C. Baez, Aristide Baratin외 2명|2008. 12. 29.

Advanced Operator Algebra Research참고 문헌 66인용 수 15

한 줄 요약

이 논문은 가측성 분야의 카테고리—힐버트 공간의 범주론적 유사체—를 사용하여 2군의 무한차원 표현 이론을 개발한다. 이는 무한차원 군 표현 이론의 범주화를 가능하게 한다. 이론은 뼈대가 되는 가측성 2군에서 표현, 상호작용자, 2상호작용자의 기하학적 프레임워크를 수립하며, 상호작용자의 직합과 철수 불가능한 표현과 같은 개념을 도입한다. 또한 추가 구조를 가진 가측성 카테고리가 '분리 가능한 2힐베르트 공간'으로 간주될 수 있음을 제안하여 표현 이론, 측도 이론, 양자 중력 모델 간의 다리를 놓는다.

ABSTRACT

A "2-group" is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representations on "2-vector spaces", which are categories analogous to vector spaces. Unfortunately, Lie 2-groups typically have few representations on the finite-dimensional 2-vector spaces introduced by Kapranov and Voevodsky. For this reason, Crane, Sheppeard and Yetter introduced certain infinite-dimensional 2-vector spaces called "measurable categories" (since they are closely related to measurable fields of Hilbert spaces), and used these to study infinite-dimensional representations of certain Lie 2-groups. Here we continue this work. We begin with a detailed study of measurable categories. Then we give a geometrical description of the measurable representations, intertwiners and 2-intertwiners for any skeletal measurable 2-group. We study tensor products and direct sums for representations, and various concepts of subrepresentation. We describe direct sums of intertwiners, and sub-intertwiners - features not seen in ordinary group representation theory. We study irreducible and indecomposable representations and intertwiners. We also study "irretractable" representations - another feature not seen in ordinary group representation theory. Finally, we argue that measurable categories equipped with some extra structure deserve to be considered "separable 2-Hilbert spaces", and compare this idea to a tentative definition of 2-Hilbert spaces as representation categories of commutative von Neumann algebras.

연구 동기 및 목표

• 유한차원 2벡터 공간으로서의 표현 이론을 넘어서는 것—이는 리 2군에 대해 부적절하다.
• 가측성 분야의 힐베르트 공간에 영감을 받은 가측성 카테고리의 엄밀한 프레임워크를 통해 무한차원 표현을 수립하는 것.
• 기본 군 표현 이론에서의 개념—예를 들어 부분표현, 기약성, 텐서곱—을 2범주적 환경으로 일반화하는 것.
• 기존 표현 이론에서 존재하지 않는 새로운 기법—예를 들어 상호작용자의 직합, 철수 불가능한 표현—을 도입하고 연구하는 것.
• 추가 구조를 가진 가측성 카테고리가 '분리 가능한 2힐베르트 공간' 후보로 고려될 수 있음을 제안하며, 표현 이론과 양자 중력 간의 연결 고리를 제공하는 것.

제안 방법

• 가측성 분야의 힐베르트 공간과 직접 적분을 사용하여 가측성 카테고리를 2범주 ${\bf{Meas}}$로 공식화한다.
• 뼈대가 되는 가측성 2군 $\mathcal{G}$ 에 대해 표현의 2범주 $\mathbf{2Rep}(\mathcal{G})$ 를 구성한다. 여기서 객체는 가측성 함자이고, 1준거는 상호작용하는 자연 변환이며, 2준거는 수정이다.
• 레베그 분해, 라돈-니코다임 도함수, 기하 평균 측도와 같은 측도론적 도구를 사용하여 표현의 구조와 동치성을 분석한다.
• 가측성 군 $G$ 가 가측성 공간 $X$ 에 작용함으로써 동치 공간 $G/S$ 를 구성하고, 준불변 측도를 갖춘다. 이를 통해 유도 표현을 구성할 수 있다.
• 가측성 군의 개념을 도입하고, $H^*$ (포트리아긴 쌍대군) 가 가측성임과 동시에 가산 생성자로 이루어진 자유 아벨 군이 $\mathrm{Ab}(H)$ 의 이산 부분군이 아닐 조건이 동치임을 증명한다.
• 측도론적 군 $G$ 가 $H^*$ 에 작용하는 연속성은 $C(H, \mathbb{C}^\times)$ 의 컴act-open 위상에 의해 보장되며, 이는 쌍대군 구성에서 위상적 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 유한차원 2벡터 공간이 실패하는 상황에서 리 2군의 무한차원 표현을 체계적으로 어떻게 구성할 수 있는가?
• RQ2 가측성 2군에서 표현, 상호작용자, 2상호작용자의 기하학적 및 범주론적 구조는 어떻게 되는가?
• RQ3 2군 표현 이론에서 일반 군 이론에서는 존재하지 않지만 나타나는 새로운 범주론적 특성—예를 들어 상호작용자의 직합, 철수 불가능한 표현—은 무엇인가?
• RQ4 가측성 군 $H$ 의 쌍대군 $H^*$ 가 가측성이 되는 조건은 무엇이며, 이는 $\mathrm{Ab}(H)$ 의 구조와 어떻게 관련되는가?
• RQ5 추가 구조를 가진 가측성 카테고리가 '분리 가능한 2힐베르트 공간'으로 간주될 수 있으며, 이는 공통 von Neumann 대수 기반의 다른 정의와 어떻게 비교되는가?

주요 결과

• 가측성 카테고리는 2군의 무한차원 표현을 지원하는 잘 정의된 2범주 ${\bf{Meas}}$ 를 형성하며, 카프란프-보에보드스키 2벡터 공간을 일반화한다.
• 가측성 군 $H$ 의 쌍대군 $H^*$ 는 유한한 연결 성분을 가진다거나, 가산 생성자로 이루어진 자유 아벨 군이 $\mathrm{Ab}(H)$ 의 이산 부분군이 아닐 경우에만 가측성임이 보장된다.
• 가측성 군 $G$ 가 쌍대군 $H^*$ 에 작용하는 연속성은 $\chi_g[h] = \chi[g \triangleright h]$ 의 형태로 표현되며, 이는 표현 프레임워크 내에서 위상적 일관성을 보장한다.
• 가측성 군 $G$ 의 닫힌 부분군 $S$ 에 대해 구성된 가측성 동치 공간 $G/S$ 는 폴란드 공간이며, 보렐 $\sigma$-대수를 지닌다. 이들은 비자명한 준불변 측도를 지니며, 모두 동치이다.
• 이 이론은 새로운 범주론적 특성—상호작용자의 직합과 부분상호작용자, '철수 불가능한' 표현의 개념—을 도입한다. 이는 기존 군 표현 이론에서는 존재하지 않는다.
• 추가 구조(예: 호환성 있는 내적과 직접 적분)를 가진 가측성 카테고리는 '분리 가능한 2힐베르트 공간'으로 간주되어야 하며, 이는 범주화된 양자역학과 양자 중력의 스피너 포름 모델에 대한 후보 프레임워크를 제공한다.