[논문 리뷰] An Elementary Introduction to Groups and Representations

Brian C. Hall|ArXiv.org|2000. 05. 31.

Advanced Algebra and Geometry인용 수 27

한 줄 요약

이 논문은 미분기하학에 대한 사전 지식이 필요 없도록 행렬 리 군을 중심으로 하여 리 군과 표현 이론에 대한 접근하기 쉬운 행렬 기반의 소개를 제공한다. 기본 군 개념에서부터 리 대수, 지수 사상, 그리고 기약 표현의 분류에 이르기까지 체계적으로 이론을 전개하며, 보다 일반적인 단순 리 대수와 그 최고 무게 분류 이론을 동기화하기 위해 sl(3;C)에 대한 상세한 다루기가 포함되어 있다.

ABSTRACT

These notes give an elementary introduction to Lie groups, Lie algebras, and their representations. Designed to be accessible to graduate students in mathematics or physics, they have a minimum of prerequisites. Topics include definitions and examples of Lie groups and Lie algebras, the relationship between Lie groups and Lie algebras via the exponential mapping, the basics of representations theory, the Baker-Campbell-Hausdorff formula, a detailed study of the representations of SU(3), and a brief survey of the representation theory of general semisimple groups.

연구 동기 및 목표

• 다양체 이론에 대한 사전 지식이 없는 독자들을 위해 리 군 및 표현 이론에 대해 자립적이고 접근하기 쉬운 소개를 제공하는 것.
• 구체적인 행렬 예제와 계산을 통해 행렬 리 군과 그에 관련된 리 대수의 이론을 전개하는 것.
• sl(3;C)에서의 명시적 계산을 통해 단순 리 대수의 구조와 표현 이론을 동기화하고 최고 무게 분류에 이를 이르는 것.
• 스체르의 보조정리, 완전 가역성, 쌍대 표현과 같은 표현 이론의 기초 결과를 수립하고 SU(2), SO(3), 하이젠베르크 군에 응용하는 것.
• 베이커–캠프벨–하우스도르프 공식과 그 리 군과 리 대수 간의 연결 역할을 설명하며, 특히 하이젠베르크 군의 맥락에서 다루는 것.

제안 방법

• GL(n;C)의 닫힌 부분군으로서 행렬 리 군을 정의함으로써 다양체 이론이 필요 없이 구체적인 접근을 가능하게 하는 것.
• 행렬 지수와 로그를 사용하여 리 군과 리 대수를 연결하고, 대각화 가능, 비가역, 일반 행렬에 대한 명시적 계산 기법을 적용하는 것.
• 행렬 X의 집합으로서 행렬 리 군의 리 대수를 정의하며, 모든 t에 대해 exp(tX)가 군에 속하는 조건을 만족시키는 X로 정의하고, 표준적인 행렬 교환자로 리 브라켓을 사용하는 것.
• 베이커–캠프벨–하우스도르프 공식을 적용하여 군의 곱을 리 대수 원소로 표현하며, 하이젠베르크 군의 경우에 명시적 계산을 수행하는 것.
• 내림림자 연산자의 작용과 무게 공간 분해를 사용하여 sl(2;C)와 sl(3;C)의 기약 표현을 최고 무게 이론을 통해 분류하는 것.
• 웨일 군과 루트 공간 분해를 적용하여 단순 리 대수와 그 표현의 구조를 분석하며, 특히 sl(3;C)의 경우에 초점을 맞추는 것.

실험 결과

연구 질문

• RQ1 어떻게 미분기하학이 필요 없이 행렬 리 군만을 사용하여 리 군 및 표현 이론을 전개할 수 있는가?
• RQ2 행렬 리 군과 관련된 리 대수의 구조는 무엇이며, 지수 사상은 군과 대수 사이에 어떻게 연결되는가?
• RQ3 최고 무게 이론을 사용하여 sl(3;C)의 기약 표현을 어떻게 분류할 수 있으며, 무게와 루트는 어떤 역할을 하는가?
• RQ4 특히 단순 연결되지 않은 군인 O(2)와 같은 경우에 군의 수반 표현과 중심 사이의 관계는 어떠한가?
• RQ5 sl(2;C)의 표현 이론은 sl(n;C)로 어떻게 일반화되며, sl(3;C)의 증명이 높은 계수에서 실패하는 지점은 어디인가?

주요 결과

• 연결된 행렬 리 군 G의 수반 표현은 ker(Ad) = Z(G)를 만족하지만, O(2)의 경우는 ker(Ad)가 자명한 반면 Z(O(2))는 항등원과 -I를 포함하므로 이 등식이 성립하지 않는다.
• 유한 아벨 군의 경우, 기약 복소 표현의 수는 군의 원소 수와 같으며, 이러한 군들은 순환군의 곱으로 표현되기 때문이다.
• 모든 직교 행렬 R ∈ O(n)은 R^n을 1차원 또는 2차원의 불변 부분공간으로 분해할 수 있으며, 2차원 블록에서는 행렬식이 1이다. 이는 지수 사상의 상연성에 기반하여 SO(n)이 연결되어 있음을 증명한다.
• SO(n)의 지수 사상은 전사적이며, 이는 연결성을 보여주는 또 다른 증명이 되며, 이는 행렬식이 1인 조건에 크게 의존한다.
• sl(2;C)⊕sl(2;C)의 기약 표현은 최고 무게 쌍 (m1, m2)로 분류되며, 차원은 (m1+1)(m2+1)이다. 이는 sl(2;C)의 경우를 일반화한 것이다.
• 최고 무게 (0,2)를 가진 sl(3;C)의 기약 표현의 차원은 8이며, 무게는 (0,0), (−1,1), (1,−1), (−2,2), (0,−1), (2,−2), (−1,0), (1,1)이며, 각각의 중복도는 1, 2, 2, 1, 1, 1, 1, 1이다.