[논문 리뷰] Almost commuting elements in compact Lie groups

Armand Borel, Robert Friedman외 1명|ArXiv.org|1999. 07. 01.

Advanced Algebra and Geometry참고 문헌 8인용 수 18

한 줄 요약

이 논문은 컴팩트하고 단순연결된 리군에서 거의 교환되는 원소의 쌍과 삼중체를 분류하며, 호로노미 표현과 초전도체 인버티언트를 통해 그 모듈리 공간에 초점을 맞춘다. 논문은 초전도체 인버티언트가 모듈리 공간의 순서 $k$ 성분과 $ℝ/\mathbb{Z}$ 안의 순서 $k$ 점 사이의 전단사 사상임을 보여, 위트의 '시계방향 대칭성 추측'을 증명한다. 특히 비순환적 $⌈ C\u2309$에 대해 성립한다. 분류는 확장된 다인킨 다이어그램의 루트 시스템, 웨일 군, 그리고 다이어그램 자기동형사상에 기반한다.

ABSTRACT

We describe the components of the moduli space of conjugacy classes of commuting pairs and triples of elements in a compact Lie group. This description is in terms of the extended Dynkin diagram of the simply connected cover, together with the coroot integers and the action of the fundamental group. In the case of three commuting elements, we compute Chern-Simons invariants associated to the corresponding flat bundles over the three-torus, and verify a conjecture of Witten which reveals a surprising symmetry involving the Chern-Simons invariants and the dimensions of the components of the moduli space.

연구 동기 및 목표

• 두 개와 세 개의 토러스 위의 주기본 다발에 대한 평탄한 접속의 동형류를 호로노미 표현을 사용하여 분류하는 것.
• 군론적 및 기하학적 불변량을 통해 컴팩트하고 단순연결된 리군에서 거의 교환되는 $N$-튜플을 특성화하는 것.
• 세 개의 토러스 위의 평탄한 $G$-다발의 모듈리 공간에서 초전도체 인버티언트에 관한 위트의 '시계방향 대칭성 추측'을 증명하는 것.
• 모듈리 공간의 성분과 초전도체 인버티언트의 $ℝ$에 대한 모듈로 값 사이의 대응 관계를 설정하는 것.

제안 방법

• 평탄한 다발 분류를 단순연결 덮개 $G$에서의 거의 교환되는 $N$-튜플 분류로 변환하기 위해 호로노미 표현을 사용한다.
• 모듈리 공간의 구조를 특성화하기 위해 $G$의 확장된 다인킨 다이어그램, $\pi_1(K)$의 작용, 그리고 코루트 정수를 적용한다.
• 고정된 부분공간에서의 웨일 군 $W(S,G)$와 루트 시스템을 사용하여 중심자와 성분군을 분석한다.
• 군 코hom로지와 성분군 계산을 통해 자동형사상 $\sigma$에 대해 $\pi_0(Z(x,y))$와 $\pi_0(H^\sigma)$를 연구한다.
• 평탄한 접속과 곡률 형식을 통해 초전도체 인버티언트를 계산하고, 이와 $c$-트리플 및 $C$-트리플의 구조를 연결한다.
• 코hom로지의 기본 방정식과 호모모피즘 $\delta$를 적용하여 성분군과 루트 시스템, 일반화된 카르탕 행렬 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 컴팩트하고 단순연결된 리군에서 거의 교환되는 $N$-튜플은 동시에 쌍대표현에 대해 어떻게 분류되는가?
• RQ2 두 개와 세 개의 토러스 위의 평탄한 $G$-다발의 모듈리 공간의 구조는 무엇이며, 초전도체 인버티언트와 어떻게 관련되는가?
• RQ3 방향 전환과 커버링 맵에 대해 초전도체 인버티언트는 어떻게 행동하는가? 이는 성분의 구조에 대해 어떤 함의를 갖는가?
• RQ4 중앙자 성분군과 관련된 루트 시스템에 대한 일반화된 카르탕 행렬 사이의 정확한 관계는 무엇인가?
• RQ5 군 $G$의 자동형사상은 질서가 0인 $c$-트리플과 $C$-트리플의 공간에 어떻게 작용하는가?

주요 결과

• 초전도체 인버티언트는 모듈리 공간 ${\cal T}_G(C)$의 순서 $k$ 성분과 $ℝ/\mathbb{Z}$ 안의 순서 $k$ 점 사이의 전단사 사상이 된다. 이는 모든 양의 정수 $k$가 4를 나누는 경우에 대해 성립한다.
• 만약 $\langle C\rangle$가 순환적이라면, 초전도체 인버티언트는 순서 4의 두 성분에서 $\pm 1/4 \mod \mathbb{Z}$ 값을 가지며, 반대 성분에서는 반대 부호를 가진다.
• $c_0$-트리플 $\hat{\bf u} = (u,v,w^2)$는 $c_0$-트리플의 모듈리 공간의 비자명한 성분에 속해 있으며, $\hat{\bf x} = (x,y,z^2)$는 자명한 성분에 속해 있다.
• 방향 전환에 대해 초전도체 인버티언트는 $\mathrm{CS}(r^*\Gamma) \equiv -\mathrm{CS}(\Gamma) \mod \mathbb{Z}$를 만족하며, 이는 시간 역전 대칭성의 확인을 의미한다.
• $H^\sigma$의 성분군은 호모모피즘 $\delta$와 제한된 루트 시스템의 토러스를 통해 계산되며, 이는 $\mathrm{Tor}((\Lambda/Q^\vee_H)_\sigma)$와 연결된다.
• 비순환적 $\langle C\rangle$에 대해 코로나리 12.4.4를 사용하고, 레마 12.3.1 및 코로나리 12.3.6와 12.3.9의 성분 수 계산을 통해 위트의 시계방향 대칭성 추측의 증명이 완료된다.