[논문 리뷰] Higher-Dimensional Algebra II: 2-Hilbert Spaces

John C. Baez|ArXiv.org|1996. 09. 17.

Advanced Operator Algebra Research참고 문헌 19인용 수 6

한 줄 요약

이 논문은 2-힐버트 공간—힐버트 공간의 구조를 반영하는 카테고리로, 힐버트 공간을 기반으로 한 카테고리화되고, *-구조를 지닌 것으로서 이중성 조건 <fg,h> = <g,f*h> = <f,hg*>를 만족한다. 일반화된 도플리처-로버츠 정리를 증명하여, 모든 대칭 2-H*-대수는 컴팩트 스우퍼군oids의 표현 카테고리와 동치임을 보이고, 게르파인 및 푸리에 변환의 분류화된 형태를 구축하며, 컴팩트 고전적 군에 대해 Rep(G)의 보편적 특성화를 제시한다.

ABSTRACT

A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the hom-sets, satisfying = = . We also define monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call 2-H*-algebras, braided 2-H*-algebras, and symmetric 2-H*-algebras, and we describe the relation between these and tangles in 2, 3, and 4 dimensions, respectively. We prove a generalized Doplicher-Roberts theorem stating that every symmetric 2-H*-algebra is equivalent to the category Rep(G) of continuous unitary finite-dimensional representations of some compact supergroupoid G. The equivalence is given by a categorified version of the Gelfand transform; we also construct a categorified version of the Fourier transform when G is a compact abelian group. Finally, we characterize Rep(G) by its universal properties when G is a compact classical group. For example, Rep(U(n)) is the free connected symmetric 2-H*-algebra on one even object of dimension n.

연구 동기 및 목표

• 2-힐버트 공간을 정의하고 형식화하기: 힐버트 공간 위에 풍부화된 카테고리로서, <fg,h> = <g,f*h> = <f,hg*>를 만족하는 쌍선형 *-구조를 지닌 것으로서 정의한다.
• 모노이드, 브레이드 모노이드, 대칭 모노이드 2-힐버트 공간으로의 개념 확장—이를 2-H*-대수 및 그 변형으로 부른다.
• 대칭 2-H*-대수와 컴팩트 스우퍼군oids G의 표현 카테고리 Rep(G) 사이의 대응 관계 수립.
• 컴팩트 아벨 군에 대해 분류화된 게르파인 변환의 버전을 제공하고, 컴팩트 아벨 군에 대해 분류화된 푸리에 변환을 구축한다.
• G가 컴팩트 고전적 군(예: U(n))일 경우 Rep(G)를 보편 성질을 통해 특성화한다.

제안 방법

• 2-힐버트 공간을 힐버트 공간 위에 풍부화된 아벨 카테고리로 정의하고, 동치 조건 <fg,h> = <g,f*h> = <f,hg*>를 만족하는 쌍선형 *-구조를 hom-집합에 부여한다.
• 2-힐버트 공간에 모노이드, 브레이드 모노이드, 대칭 모노이드 구조를 도입하여, 2-H*-대수 및 그 브레이드/대칭 변형을 이끌어낸다.
• 분류화된 게르파인 변환을 통해 대칭 2-H*-대수와 Rep(G) 사이의 대응 관계를 수립하고, 고전적 도플리처-로버츠 대칭성의 일반화를 이룬다.
• 고전적 푸리에 변환의 2-카테고리 수준로의 상향으로, 컴팩트 아벨 군에 대해 분류화된 푸리에 변환을 구축한다.
• G = U(n)일 때, Rep(G)를 차원 n인 짝수 객체 하나에 대한 자유로운 연결된 대칭 2-H*-대수로 특성화하기 위해 보편 성질을 사용한다.

실험 결과

연구 질문

• RQ1 고차원 대수의 맥락에서 힐버트 공간의 적절한 분류화는 무엇인가?
• RQ2 모노이드 및 대칭 모노이드 구조는 2-힐버트 공간에 어떻게 통합될 수 있으며, 2, 3, 4차원의 탄젤을 모델링할 수 있는가?
• RQ3 대칭 2-H*-대수를 컴팩트 스우퍼군oids의 표현 카테고리로 분류하는 분류화된 도플리처-로버츠 정리가 존재하는가?
• RQ4 컴팩트 아벨 군에 대해 게르파인 및 푸리에 변환은 2-카테고리 맥락으로 일반화될 수 있는가?
• RQ5 컴팩트 고전적 군(예: U(n))에 대해 Rep(G)는 어떤 보편 성질로 특성화되는가?

주요 결과

• 모든 대칭 2-H*-대수는 어떤 컴팩트 스우퍼군oids G의 표현 카테고리 Rep(G)와 동치이며, 이는 분류화된 대칭성의 성립을 보여준다.
• 대칭 2-H*-대수와 Rep(G) 사이의 동치는 분류화된 게르파인 변환에 의해 주어진다.
• 컴팩트 아벨 군의 경우, 고전적 푸리에 변환의 2-카테고리 수준로의 상향을 반영하는 분류화된 푸리에 변환을 구축하였다.
• Rep(U(n))는 차원 n인 짝수 객체 하나에 대한 자유로운 연결된 대칭 2-H*-대수로 특성화되며, 이는 보편 성질의 실현을 보여준다.
• 논문은 컴팩트 고전적 군의 표현 카테고리에 대해 보편적 구성 방법을 통한 완전한 카테고리적 프레임워크를 제공한다.