[논문 리뷰] Infinite symmetric group and bordisms of pseudomanifolds

Alexander A. Gaifullin, Yury A. Neretin|arXiv (Cornell University)|2015. 01. 16.

Algebraic structures and combinatorial models참고 문헌 17인용 수 5

한 줄 요약

이 논문은 무한 대칭군 $S(\infty)$ 의 $(n+1)$ 개의 복합체의 유니터리 표현과 $(n-1)$ 차원의 색칠된 가짜다양체 경계 분할에 대한 함자 사이의 대응을 수립한다. 토너먼트 유형의 힐베르트 공간 위에서 구면 함수를 통한 함자적 표현을 구성하며, 이에 대응하는 구면 함수가 가짜다양체의 기저 배열을 통해 조합론적 공식을 갖는다는 것을 보여주어, 무한군 표현 이론과 경계 분할을 통한 기하적 위상수학을 연결한다.

ABSTRACT

We consider a category whose morphisms are bordisms of $n$-dimensional pseudomanifolds equipped with a certain additional structure (coloring). On the other hand, we consider the product $G$ of $(n+1)$ copies of infinite symmetric group. We show that unitary representations of $G$ produce functors from the category of $(n-1)$-dimensional bordisms to the category of Hilbert spaces and bounded linear operators.

연구 동기 및 목표

• 단위 표현의 $G = S(\infty)^{n+1}$ 과 $n$ 차원의 색칠된 가짜다양체의 경계 분할 사이의 함자적 대응을 수립하는 것.
• 채널 부호와 면의 색칠을 포함하는 색칠된 가짜다양체 간의 $(n-1)$ 차원 경계 분할의 범주를 정의하는 것.
• 고정된 진공 벡터 $\xi$ 를 갖는 힐베르트 공간의 텐서곱으로 구성된 토너먼트 유형의 힐베르트 공간 $\mathfrak{V}$ 에서 $G$ 의 유니터리 표현 $\nu$ 를 구성하고, 이 공간 위에서 구면 함수를 정의하는 것.
• $\Phi(g) = \langle \nu(g)\mathfrak{v}, \mathfrak{v} \rangle$ 의 구면 함수가 가짜다양체의 챔버에 대한 기저 원소 할당에 따라 조합론적 표현을 갖는다는 것을 증명하는 것.
• 경계 분할 범주에서 힐베르트 공간으로의 유계이고, 인볼루션과 호환되는 모든 함자는 이러한 $G$ 의 유니터리 표현으로부터 유도된다는 것을 보여주는 것.

제안 방법

• $\mathcal{K}$ 를 색칠된 가짜다양체 사이의 $(n-1)$ 차원 경계 분할의 범주로 정의하며, 각 가짜다양체는 챔버 부호와 $n+1$ 개의 서로 다른 색을 사용한 정점 및 면의 색칠을 갖는다.
• $\mathbb{G} = S(\infty)^{n+1}$ 를 구성하며, 각 요소가 토너먼트 공간 $\mathfrak{V} = \bigotimes_{\mathbb{N}} (\mathcal{V}, \xi)$ 의 텐서 곱의 인자들을 치환함으로써 작용한다. 여기서 $\mathcal{V} = \bigotimes_{i=1}^{n+1} V_i$ 이고 $\xi \in \mathcal{V}$ 는 고정된 단위 벡터이다.
• $\mathbb{G}$ 의 표현 $\nu$ 를 정의하며, 각 $S(\infty)$ 복합체가 해당 인자 $V_i$ 에서 작용하고, 대각선 $\mathbb{K} = \overline{S(\infty)}$ 가 $\mathfrak{V}$ 의 텐서 인자들을 치환함으로써 작용한다.
• 각 이중 코셋 $\mathfrak{g} \in \mathbb{K}(\alpha) \setminus \mathbb{G} / \mathbb{K}(\beta)$ 에 대해, $H_\alpha$ 가 $\mathbb{K}(\alpha)$-고정 벡터의 공간일 때, $\overline{\rho}(\mathfrak{g}) = P_\alpha \rho(g)|_{H_\beta}$ 를 정의한다.
• $\overline{\rho}(\mathfrak{g})$ 가 표현 $g \in \mathfrak{g}$ 의 선택에 관계없이 정의되며, 연산자의 합성과 이중 코셋의 합성이 일치함을 증명한다.
• $\Phi(g) = \langle \nu(g)\mathfrak{v}, \mathfrak{v} \rangle$ 의 명시적 공식을 유도하며, 이는 $(n-1)$-면에 대한 정규직교 기저 원소의 할당에 대한 합으로 표현되며, 양의 챔버에는 구조 상수 $x_{ijk\dots}$ 곱과 음의 챔버에는 그 켤레가 기여한다.

실험 결과

연구 질문

• RQ1 색칠된 가짜다양체의 경계 분할 범주에서 힐베르트 공간으로의 함자를 구성하는 데 $S(\infty)^{n+1}$ 의 유니터리 표현을 어떻게 활용할 수 있는가?
• RQ2 그러한 표현과 관련된 구면 함수 $\Phi(g)$ 의 기하학적 해석은 무엇인가?
• RQ3 경계 분할 범주에서 힐베르트 공간으로의 모든 유계이고, 인볼루션과 호환되는 함자는 $S(\infty)^{n+1}$ 의 유니터리 표현으로부터 유도될 수 있는가?
• RQ4 가짜다양체에 부여된 색칠 구조—챔버에 부호를 할당하고 정점 및 면에 색을 칠하는 것—은 그 군 작용의 표현 이론적 자료를 어떻게 캐릭터라이즈하는가?
• RQ5 기저 원소 할당에 따라 표현된 행렬 계수 $\langle \nu(g)\mathfrak{v}, \mathfrak{v} \rangle$ 의 명시적 조합론적 공식은 무엇인가?

주요 결과

• $\mathfrak{V}$ 에서 표현 $\nu$ 의 구면 함수 $\Phi(g)$ 는 가짜다양체 $\Sigma$ 의 $(n-1)$-면 각각에 정규직교 기저 벡터를 할당하는 모든 경우의 합으로 주어지며, 양의 챔버는 구조 상수 $x_{ijk\dots}$ 의 곱을, 음의 챔버는 그 켤레를 기여한다.
• $\mathfrak{g} \in \mathbb{K}(\alpha) \setminus \mathbb{G} / \mathbb{K}(\beta)$ 의 이중 코셋을 통해 정의된 표현 $\overline{\rho}$ 는 잘 정의되어 있으며 합성과 일치하여, 경계 분할 범주에서 힐베르트 공간으로의 함자를 이룬다.
• 경계 분할 범주에서 힐베르트 공간으로의 모든 유계이고, 인볼루션과 호환되는 함수 $\pi$ 는 어떤 유니터리 표현 $\rho$ 의 $\overline{\rho}$ 와 동치이며, 이는 전순함수적 동치를 수립한다.
• 구성된 $\mathbb{G}$ 의 표현 $\nu$ 는 $S(\infty)$ 각 복합체의 표현의 텐서곱이 아니며, $S(\infty)$ 가 유형 I가 아니기 때문에 군의 구조와 표현 이론 사이의 비자명한 상호작용을 드러낸다.
• $\mathfrak{V}$ 는 고정된 진공 벡터 $\xi$ 를 갖는 $\mathcal{V} = \bigotimes_{i=1}^{n+1} V_i$ 의 무한 텐서곱으로 구성되며, 진공 벡터 $\mathfrak{v} = \xi \otimes \xi \otimes \cdots$ 는 $\mathbb{K}$ 의 대각선 작용에 대해 불변이다.
• $\Phi(g)$ 의 공식은 색칠과 챔버 부호의 구조가 유지되는 한, 면에 대한 기저 할당의 선택에 관계없이 불변이며, 기하학적 일관성을 보장한다.