[논문 리뷰] Maximal Subgroups of Compact Lie Groups

Fernando Antoneli, Michael Forger외 1명|arXiv (Cornell University)|2006. 05. 31.

Advanced Algebra and Geometry참고 문헌 31인용 수 15

한 줄 요약

이 논문은 중심이 없는 컴팩트 단순 리 군의 유한 최대 Σ-불변 부분군과 Σ-기초 부분대수로의 분류를 줄여, 클래식 리 대수에서 기초 부분대수의 정규화자를 명시적으로 계산함으로써 Sp(n), SU(n), SO(n)에 대한 최대 부분군의 완전한 목록을 도출함으로써, 컴팩트 고전적 리 군의 비이산 최대 부분군을 세 가지 유형으로 완전히 분류한다: 자명, 정규, 정규화자 유형.

ABSTRACT

This report aims at giving a general overview on the classification of the maximal subgroups of compact Lie groups (not necessarily connected). In the first part, it is shown that these fall naturally into three types: (1) those of trivial type, which are simply defined as inverse images of maximal subgroups of the corresponding component group under the canonical projection and whose classification constitutes a problem in finite group theory, (2) those of normal type, whose connected one-component is a normal subgroup, and (3) those of normalizer type, which are the normalizers of their own connected one-component. It is also shown how to reduce the classification of maximal subgroups of the last two types to: (2) the classification of the finite maximal $Σ$-invariant subgroups of center-free connected compact simple Lie groups and (3) the classification of the $Σ$-primitive subalgebras of compact simple Lie algebras, where $Σ$ is a subgroup of the corresponding outer automorphism group. In the second part, we explicitly compute the normalizers of the primitive subalgebras of the compact classical Lie algebras (in the corresponding classical groups), thus arriving at the complete classification of all (non-discrete) maximal subgroups of the compact classical Lie groups.

연구 동기 및 목표

• 컴팩트 리 군, 특히 고전적 군인 SO(n), SU(n), Sp(n)의 모든 비이산 최대 부분군을 분류하는 것.
• 이전에 최대 부분군이 주로 기초 작용을 통해 연구되었던 문헌의 격차를 메우기 위해, 비단순 또는 비연결 군의 경우에도 적용 가능한 것.
• 분류 문제를 유한군 이론과 Σ-기초 부분대수의 분류로 줄이는 체계적인 프레임워크를 수립하는 것.
• 컴팩트 고전적 리 대수에서 기초 부분대수의 정규화자를 명시적으로 계산하여 최대 부분군의 완전한 목록을 도출하는 것.
• 최대 부분대수가 항상 최대 부분군에 대응하지는 않는 문제를 해결하기 위해, 특히 이산 또는 비연결 성분이 존재할 경우를 고려하는 것.

제안 방법

• 최대 부분군을 세 가지 유형으로 분류: 자명(유한 최대 부분군의 역상), 정규(연결 성분이 정규), 정규화자 유형(자신의 연결 성분의 정규화자와 동일).
• 정규 및 정규화자 유형 부분군의 분류를 중심이 없는 컴팩트 단순 리 군의 유한 최대 Σ-불변 부분군의 분류로 환원.
• 컴팩트 단순 리 대수의 Σ-기초 부분대수로의 분류로 환원하며, 여기서 Σ는 외부 자명변환군의 부분군이다.
• 직합, 텐서곱, 블록 대각 포함을 사용하여 고전 리 대수(A, B, C)에서 기초 부분대수의 정규화자를 명시적으로 계산.
• 첨단 표현과 군 작용을 사용하여 성분군 $ H/H_0 $를 결정하며, 많은 경우에서 이는 대칭군 $ S_l $ 와 동형임을 보임.
• 특히 $ l \neq 2 $ 일 때, 대칭군의 전위는 행렬식이 +1인 내부 자명변환을 통해 실현 가능하므로 $ \text{Aut}(\rho) \rtimes \text{Inn}(\frak{g}) = S_l $ 임을 암시함.

실험 결과

연구 질문

• RQ1 컴팩트 리 군의 최대 부분군 분류는 어떻게 체계적으로 유한군 이론과 부분대수 분류로 환원될 수 있는가?
• RQ2 이산 성분이 존재할 경우를 포함하여, 컴팩트 리 군에서 최대 부분군과 최대 부분대수 사이의 정확한 관계는 무엇인가?
• RQ3 클래식 리 군의 어떤 표현이 정규화자를 통해 최대 부분군을 유도하며, 이러한 부분군의 성분군은 무엇인가?
• RQ4 기약 표현의 텐서곱과 직합은 Sp(n), SU(n), SO(n)에서 어떻게 최대 부분군을 이끌어내는가?
• RQ5 어떤 조건에서 고전적 컴팩트 리 군의 연결 부분군의 정규화자가 스스로 최대가 되는가?

주요 결과

• 컴팩트 고전적 리 군의 최대 부분군은 완전히 세 가지 유형으로 분류된다: 자명, 정규, 정규화자 유형.
• Sp(n)의 경우, $ n = 2pl $ 일 때 블록 대각 포함 $ \text{Sp}(2p)^l \to \text{Sp}(n) $ 에서 유래하며, 성분군은 $ S_l $ 이다.
• Sp(n)에서 $ n = (2p)^l $, $ l $ 가 홀수일 때, $ \text{Sp}(2p) $의 정의 표현의 $ l $ 개 복제본의 텐서곱을 통해 최대 부분군이 유도되며, 성분군은 $ S_l $ 이다.
• Sp(2p) \times \text{Sp}(2q) \to \text{Sp}(2(p+q)) 의 포함은 기약이며, $ p \ne q $ 일 때 성분군은 자명하고, $ p = q $ 일 때는 $ \bbZ_2 $ 이다.
• Sp(2p) \times SO(q) \to \text{Sp}(2pq) 의 포함은 텐서곱을 통해 기약이며, $ q $ 가 홀수이고 $ q \geq 3 $ 일 때 성분군은 자명하고, $ q $ 가 짝수이고 $ q \geq 4 $ 일 때는 $ \bbZ_2 $ 이다. 다만 $ p=1 $, $ q=4 $ 일 때는 제외된다.
• 최대 부분군의 연결 성분의 정규화자는 항상 전체 부분군과 일치하며, $ l \geq 3 $ 일 때 $ l $ 중복 곱의 경우 성분군 $ H/H_0 $ 는 대칭군 $ S_l $ 과 동형이다.