[논문 리뷰] Projective unitary representations of smooth Deligne cohomology groups

Kiyonori Gomi|ArXiv.org|2005. 10. 10.

Advanced Algebra and Geometry참고 문헌 6인용 수 4

한 줄 요약

이 논문은 컴acts oriented $(4k+1)$-차원 리만다이프만에서 매끄러운 딜라인 코homology 군의 사영 유니터리 표현을 구성하고 분류한다. 이는 루프 군의 양성 에너지 표현을 일반화한 것이다. 또한, 허용 가능한 표현이 유한한 직접합으로 분해되며, 기약 표현의 동치류 수가 $2^b r$임을 증명한다. 여기서 $b$는 $(2k+1)$번째 베텔리 수이고, $r$는 $H^{2k+1}(M,\mathbb{Z})$의 2-torsion 원소의 수이다. 이 구성은 딜라인 코homology에서의 코homology 곱과 적분을 통한 조화 분해 및 중심 확장을 기반으로 한다.

ABSTRACT

We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also classify such representations under a certain condition. The number of the equivalence classes of irreducible representations is finite, and is determined by the cohomology of the manifold.

연구 동기 및 목표

• 루프 군의 양성 에너지 표현을 고차원 매끄러운 딜라인 코homology 군으로 일반화하기.
• 컴 pact oriented $(4k+1)$-차원 다양체 $M$에 대해 $\mathcal{G}(M) = H^{2k+1}(M,\mathbb{Z}(2k+1)^\infty_D)$의 사영 유니터리 표현을 구성하기.
• 특정 조건 하에서 허용 가능한 표현을 분류하고, 기약 표현의 동치류 수를 결정하기.
• 다양체의 코homology와 이러한 표현의 구조 사이의 대응관계 수립하기.

제안 방법

• 매끄러운 딜라인 코hom로의 곱과 적분을 이용해 자연스러운 군 2-코사이클 $S_M: \mathcal{G}(M) \times \mathcal{G}(M) \to \mathbb{R}/\mathbb{Z}$를 정의함으로써 중심 확장 $\tilde{\mathcal{G}}(M)$을 얻는다.
• 미분형식의 조화 분해를 적용하여 $\mathcal{G}(M)$을 자유 부분군 $\mathcal{G}^0(M) = A^{2k}(M)/A^{2k}(M)_{\mathbb{Z}}$와 토르션 부분군으로 분해한다.
• 헤이젠베르그 유형의 군 구성법을 사용하여 각 $\lambda \in \mathcal{X}(M) = \mathrm{Hom}(\mathbb{H}^{2k}(M)/\mathbb{H}^{2k}(M)_{\mathbb{Z}}, \mathbb{R}/\mathbb{Z})$에 대해 $\mathcal{G}^0(M)$의 기약 사영 유니터리 표현 $\rho_\lambda$를 구성한다.
• 다중도 $m(\lambda) \in \mathbb{Z}_{\geq 0}$를 갖는 $\rho_\lambda$들의 유한한 힐베르트 직접합과 동치인 표현을 허용 가능한 표현으로 정의한다.
• 슈어의 보조정리와 스펙트럼 이론을 활용하여, 기약 표현이 중심 문자로 유일하게 결정되며, 상호작용자들이 스칼라 곱임을 증명한다.
• 미분형식 위의 $L^2$-노름에 의해 유도되는 중심 확장 $\tilde{\mathcal{G}}(M)$의 위상 구조를 이용하여 표현의 연속성을 보장한다.

실험 결과

연구 질문

• RQ1 루프 군의 양성 에너지 표현은 어떻게 고차원 매끄러운 딜라인 코homology 군으로 일반화될 수 있는가?
• RQ2 컴 pact oriented $(4k+1)$-차원 다양체 $M$에 대해 $\mathcal{G}(M)$의 사영 유니터리 표현의 구조는 어떠한가?
• RQ3 기약 허용 표현의 동치류는 몇 개인가, 그 수는 무엇에 의해 결정되는가?
• RQ4 미분형식의 조화 분해는 이러한 표현의 구성과 분류에 어떤 역할을 하는가?

주요 결과

• 허용 가능한 표현 $\mathcal{G}(M)$은 기약 허용 표현의 유한한 직접합으로 분해된다.
• 기약 허용 표현의 동치류 수는 $2^b r$이며, 여기서 $b = b_{2k+1}(M)$는 $(2k+1)$번째 베텔리 수이고, $r = \#\{t \in H^{2k+1}(M,\mathbb{Z}) \mid 2t = 0\}$이다.
• $k=0$ 이고 $M = S^1$일 경우, 기약 허용 표현의 수는 2이며, 이는 $L\mathbb{T}$의 수준 2 양성 에너지 표현의 기약 표현 수와 일치한다.
• 모든 $\lambda \in \mathcal{X}(M)$에 대해 기약 표현 $\rho_\lambda$가 존재하며, 이들은 상호 비동치이다. 코사이클 $e^{2\pi i S_M}$은 조화 분해를 통해 실현된다.
• 분류는 완전하다: 모든 허용 가능한 표현은 이러한 기약 표현들의 유한한 직접합과 동치이다.
• 중심 확장 $\tilde{\mathcal{G}}(M)$는 미분형식 위의 $L^2$-노름을 통해 위상화되어 표현의 연속성을 보장한다.