리 그룹-리 대수 통신

Lie group–Lie algebra correspondence

수학에서 Lie group-Lie 대수적 대응Lie groupLie 대수학 또는 그 반대로 대응시킬 수 있도록 하며, 그러한 관계의 조건을 연구한다. 서로 이형적인 거짓말 집단은 서로 이형적인 리알헤브라를 가지고 있지만, 그 반대가 반드시 사실인 것은 아니다. 분명한 한 가지 예는 n 각각 실제 좌표 공간과 원 그룹 참조)으로 서로 이형성이지만 Lie 알헤브라는 서로 이형성이다. 그러나 단순히 연결된 리 집단으로 우리의 주의를 제한함으로써, 리 집단-리 대수적 대응은 일대일로 될 것이다.[1]

이 글에서 거짓말 그룹은 진짜 거짓말 그룹을 가리킨다. 복합 및 p-adic 사례에 대해서는 복합 Lie 그룹p-adic Lie 그룹을 참조하십시오. 이 글에서 다지관(특히 눕는 그룹)은 두 번째로 셀 수 있는 것으로 가정한다. 특히 다지관은 최대 카운트할 수 있는 많은 연결 구성요소를 가지고 있다.

기본 사항

Lie 그룹의 Lie 대수학

Lie 그룹 GLie 대수학의 구성을 이해할 수 있는 방법은 다양하다. 한 가지 접근방식은 좌변량 벡터 필드를 사용한다. G에서 벡터 필드 XG에서 임의의 g에 대해 h를 사용할 경우 왼쪽 번역에서 불변이라고 한다.

여기서 : (는) )= ( L ): T 로 정의된다. 접선 공간 사이의 차등이다.

( ) 을(를) G의 모든 좌변환 변이 벡터 필드의 집합으로 설정하십시오. 그것은 진짜 벡터 공간이다. 또한, 그것은 Li-bracket 아래에서 닫힌다. 즉 [, ] 은(는) X, Y일 경우 좌변환 불변이다. 따라서 ( ) G에 있는 모든 벡터 필드의 Lie 대수학의 Lie 하위 대수로서 G의 Lie 대수라고 불린다. 좌상변위 벡터장의 공간은 다음과 같이 식별하여 보다 구체적으로 이해할 수 있다:좌상변위 벡터장을 주어 좌상변위 벡터장을 주어 그 가치를 정상에서 취할 수 있고, 정체에 접선 벡터를 주어 좌상변위 벡터장으로 확장할 수 있다. 이 서신은 양방향 모두 일대일이고, 또한 비굴하다. 따라서 Lie 대수학은 G 에서 X와 Y의 대괄호와 정체성의 접선공간으로 생각할 수 있으며, 이들을 좌상변환 벡터장까지 확장하여 벡터장의 대괄호를 취하여 그 결과를 정격으로 평가할 수 있다.

또한 ID 요소에서 지원을 받는 G에 대한 분포의 Hopf 대수 대수 원시 요소의 Lie 대수로서 ( 의 또 다른 화신이 있다. 이에 대해서는 아래 #관련 구성을 참조하십시오.

매트릭스 리 그룹

G닫힌 부분군 정리에 의해 GL(n;C)의 닫힌 부분군이며 따라서 Lie 그룹이라고 가정한다. 그렇다면 G의 Lie 대수학은 다음과[2][3] 같이 계산될 수 있다.

예를 들어, 이 기준을 사용하여 클래식 콤팩트 그룹의 대응 관계를 설정할 수 있다(cf. 아래의 "컴팩트 거짓말 그룹"의 표).

동형성

만약

리 집단 동형성, 그 다음 정체성 요소에서의 차이

리 대수 동형성(Brackets go to brackets to brackets)이며, 다음과 같은 특성을 가지고 있다.

  • ( f( X) ( ( X 여기서 "exp"는 지수(expensive map)이다.
  • [4].
  • f의 이미지가 닫힌 경우 lie( () = ⁡ ( ) = im ( f) [6](와) 첫 번째 이형성 정리 보유: f는 Lie 그룹의 이형성을 유도한다.
  • 체인 규칙은 유지된다: : → H : → K (는) Lie group homomorphism이고, 은 d f)=( ) (d )이다

는 리 군의 H는 닫힌 subgroup[7]G특히 다음}리 ⁡(G){\displaystyle \operatorname{리}(G)의 리 subalgebra}. 또한, f, f는 몰입 교육과 그렇게 GH. 예를 들어 되기 위해 잠입형(리)서브 그룹으로 알려져injective은, G/ker ⁡(f)⁡(H){\displaystyle \operatorname{리}(H) 누우세요. {H의 몰입된 하위 그룹이다. f가 굴절적이면 f하위 그룹이고, 게다가 G가 작으면 f는 구조 그룹의 커널과 함께 주요 번들이다. (Ehresmann의 보조정리)

기타 속성

Let = G은(는) Lie 그룹의 직접 산물이며 : 투영. 그런 다음 d : ( ) ( ) 에 표준 식별 정보를 제공한다.

If are Lie subgroups of a Lie group, then

G를 연결된 Lie 그룹이 되게 하라. H가 Lie 그룹인 경우, 모든 Lie 그룹 동형상 : f is uniquely determined by its differential . Precisely, there is the exponential map (and one for H) such that G가 연결되어 있으므로 f를 고유하게 결정한다.[8] 일반적으로 U가 연결된 위상학군 G에서 ID 요소의 이웃인 경우, n}{n}}{는 열린(헨스 닫힌) 하위군이기 때문에 G와 일치한다. 자, : (G) → {\:\ G는 제로벡터 근방에서 아이덴티티 요소의 근방에 이르는 국부적 동형성을 정의한다. For example, if G is the Lie group of invertible real square matrices of size n (general linear group), then is the Lie algebra of real square matrices of size n and .

통신문

리 그룹과 리 알헤브라의 대응은 다음과 같은 세 가지 주요 결과를 포함한다.

  • 거짓말의 번째 정리: 모든 유한차원 리얼 리 대수학은 단순하게 연결된 몇몇 리 그룹의 리 대수다.[9]
  • 동형체 정리: If is a Lie algebra homomorphism and if G is simply connected, then there exists a (unique) Lie group homomorphism : = [10]
  • 부분군-부분군-부분군 정리: G가 Lie 그룹이고 (Lie 하위 그룹필수적으로 않음 H가 Lie 대수 h 의 Lie 하위 그룹 H와 연결된 고유한 하위 그룹(필수적으로 닫히지 않음)이 있다[11]

서신의 두 번째 부분에서는 G가 단순히 연결되어 있다는 가정을 생략할 수 없다. 예를 들어 SO(3)와 SU(2)의 리알헤브라는 이형성이지만,[12] SO(3)가 SU(2)에 해당하는 동형성은 없다.[13] 오히려 동형성은 단순하게 연결된 그룹 SU(2)에서 단순하게 연결된 그룹 SO(3)[14]로 이어진다. 만약 G와 H가 단순히 연결되어 있고 이형성 리알헤브라를 가지고 있다면, 위의 결과G와 H가 이형성이라는 것을 보여줄 수 있다.[15] f를 구성하는 한 가지 방법은 베이커-캠프벨-하우스도르프 공식을 사용하는 것이다.[16]

리의 세 번째 정리 증명

아마도 위의 첫 번째 결과에 대한 가장 우아한 증거는 아도의 정리를 사용하는 것으로서, 어떤 유한차원 리 대수학(어떤 특징의 분야에 걸쳐도)은 리 대수 g 리 하위 대수학이라고 말한다. The proof goes as follows: by Ado's theorem, we assume is a Lie subalgebra. Let G be the subgroup of generated by and let be a simply connected covering of G; it is not hard to show that is a Lie group and th표지 지도에는 Lie 집단 동형성이 있다. ~= = g 가)므로 이것으로 증명서가 완성된다.

예: 대수 g= 리 ( ) mathfrak{ 각 원소 X는 리 대수 동형성을 일으킨다.

Lie의 세 번째 정리로서, ( R)= T = }과 exp가 정체성이기 때문에 이 동형성은 G의 일부 몰입형 부분군 H에 대한 Lie 그룹 동형성 의 차이다. X에 의해 생성되는 1-모수 부분군이라고 불리는 이 Lie group homomorphism은 정확하게 지수 ) 이미지 H이다. 앞의 내용은 (와) G의 1-모수 부분군 집합 사이에 표준적 생체실험적 대응성이 있다고 요약할 수 있다.[17]

동형체 정리 증빙

Lie 집단-Lie 대수적 대응(동형성 정리)의 두 번째 부분을 증명하기 위한 하나의 접근법은 홀의 책 5.7절에서와 같이 베이커-캠벨-하우스도르프 공식을 사용하는 것이다.[18] 구체적으로, Lie ( ⁡ ( )에서 Lie (H {\\ { (G에서 Lie ( {\ { (까지 Lie :→ H 을 정의할 수 있다에 의한 G 지역(즉, 정체성의 근처)

여기서 G에 대한 지수 지도로, ID 근처에 역이 정의되어 있다. 우리는 지금 f가 지역동형주의라고 주장한다. Thus, given two elements near the identity and (with X and Y small), we consider their product . According to the Baker–Campbell–Hausdorff formula, we have 어디에

XY를 포함하는 반복 정류자로 표현된 다른 용어를 나타내는indicating 과(와) 함께. 그러므로

왜냐하면 (는) Lie 대수 동형이기 때문이다. 이번에도 Baker-Campbell-Hausdorff 공식을 사용하여 H그룹에 대해 이 마지막 표현은 ( X) e ) e가 되고 따라서 우리는 이 식을 가지고 있다.

따라서 적어도 XY가 충분히 작을 때 f는 동형성 특성을 갖는다. 기하급수적인 지도가 G의 정체성의 작은 동네에서만 불가역적이기 때문에, 그리고 베이커-캠벨-하우스도르프 공식X와 Y가 작을 경우에만 보유하기 때문에, 이 주장은 단지 국부적임을 강조할 필요가 있다. G가 단순히 연결되어 있다는 가정은 아직 사용되지 않았다.

논쟁의 다음 단계는 f를 지역적 동질성에서 글로벌 동질성으로 확장하는 것이다. 확장자는 경로를 따라 f를 정의한 다음 G의 단순한 연결성을 사용하여 정의가 경로 선택과 무관하다는 것을 보여줌으로써 이루어진다.

거짓말 그룹 표현

Lie 통신의 특별한 경우는 Lie 집단의 유한차원 표현과 관련 Lie 대수학의 표현 사이의 대응이다.

일반 선형 그룹 G ( ) )은 (실제) Lie 그룹 및 모든 Lie 그룹 동형상이다.

Lie 그룹 G의 표현이라고 불린다. 차동

때 Lie 대수적 동형상이라고 불리는 Lie 대수적 동형상이다. (차등 은(는) {{\}으로 표시되기도 한다.)

동형체 정리(위에서 Lie-Lie 대수 서신의 일부로 언급)는 이(가) 연결된 Lie 그룹이고 Lie 대수학이 g 인 경우 {\{\모든 표현은 G의 표현에서 나온다고 말한다. G가 단순히 연결되어 있다는 가정은 필수적이다. 예를 들어 단순히 연결되지 않은 회전 그룹 SO(3)를 생각해 보십시오. 각 차원에는 리 대수학의 불가해한 표현이 하나 있지만, 리 대수학의 홀수차원 표현만이 집단의 표현에서 나온다.[19] (이 관찰은 양자역학에서 정수 스핀과 반정수의 스핀의 구별과 관련이 있다.) 한편, 그룹 SU(2)는 단순히 Lie 대수학과 SO(3)의 대수학과 이형성(異形性)으로 연결되어 있기 때문에, SO(3)의 Lie 대수학의 모든 표현은 SU(2) 표현을 낳는다.

부선 표현

An example of a Lie group representation is the adjoint representation of a Lie group G; each element g in a Lie group G defines an automorphism of G by conjugation: ; the differential is then an automorphism of the Lie algebra 이 방법으로 는 Ad: → G ( ), g 라고 하는 표현을 얻는다 The corresponding Lie algebra homomorphism is called the adjoint representation of and is denoted by . One can show 특히 의 Lie 브래킷이 G에 대한 그룹법에 의해 결정된다는 것을 암시한다.

By Lie's third theorem, there exists a subgroup of whose Lie algebra is . ((는) 일반적으로 닫힌 부분군이 아니며, 물에 잠긴 부분군만 해당) 부선 그룹이라고 하며[20] G가 연결되면 정확한 순서에 맞게 된다.

여기서 ( ) G의 중심이다. G의 중심이 분리되어 있으면 여기에서 Ad는 커버 맵이다.

G를 연결된 Lie 그룹이 되게 하라. 그런 다음 G의 모든 G에 멈춤(( ) =1 {\ {}인 경우에만 G가 불변하다.[21]

다지관 X에 작용하는 G를 리 그룹으로 하고x, X에 점 X의 스태빌라이저로 한다. ( ): G, g X x 그러면

  • If the orbit is locally closed, then the orbit is a submanifold of X and [22].

또는 G의 부분 집합 A의 경우 다음과 같이 하십시오.

A의 Lie 대수 중앙집중화기와 Lie 그룹 중앙집중화기가 되다 그런 다음 ( G( A) ( ) = z g

If H is a closed connected subgroup of G, then H is normal if and only if is an ideal and in such a case .

아벨리안 리 집단

G를 연결된 Lie 그룹이 되게 하라. G 중심부의 Lie 대수학은 G(cf. 이전 §)의 Lie 대수학의 중심이기 때문에 G는 자신의 Lie 대수학이 아벨 대수일 경우에만 아벨리안이다.

G가 아벨리안이라면 지수 맵 : 허탈적인 집단 동형상이다.[23] The kernel of it is a discrete group (since the dimension is zero) called the integer lattice of G and is denoted by . By the first isomorphism theorem, induces the isomorphism .

경직성 인수에 의해 연결된 Lie 그룹 G의 기본 그룹 1( G) {\G)}은 G~ {\{\을 포괄하는 단순 연결부의 중심 부분군이다. 즉, G중앙 확장에 적합하다.

Equivalently, given a Lie algebra and a simply connected Lie group whose Lie algebra is , there is a one-to-one correspondence between quotients of by discr중심 부분군 및 연결된 Lie 그룹은 Lie 대수 mathfak{g}}을를) 가지고 있다

복잡한 경우에는 복합 토리가 중요하다. 이 항목은 복합 거짓말 그룹을 참조하십시오.

컴팩트 거짓말 그룹

G는 중심이 유한한 연결된 Lie 그룹이 되게 하라. 그렇다면 다음과 같다.

  • G는 콤팩트하다.
  • (Weyl) G~ (를) 간단히 연결한 것이 콤팩트하다.
  • 조정 그룹 {\(가) 콤팩트하다.
  • 폐쇄 하위그룹으로 O(, ) )가 내장되어 있다.
  • 킬링 양식은 음수확정이다.
  • {의 각 X에 대해 adX)(는) 대각선이 가능하고 0 또는 순수하게 가상의 고유값을 갖는다.
  • 에 불변 내제품이 있다

선행 조건의 등가성은 G가 유한한 중심을 가지고 있다는 가정 하에서만 유지된다는 것을 강조하는 것이 중요하다. 따라서 예를 들어 G유한 중심과 콤팩트하면 범용 커버 ~도 콤팩트하다. 분명히 G가 무한한 중심을 갖는 경우, 예를 들어 = S 위의 마지막 세 가지 조건은 순전히 리 대수학이다.

컴팩트 리 그룹 관련 리 대수학 복잡화 루트 시스템
SU(n+1) An
SO(2n+1) Bn
Sp(n) Cn
SO(2n) Dn

G가 컴팩트한 Lie 그룹인 경우

여기서 왼쪽은 Lie 대수학 코호몰로지이고 오른쪽G의 de Rham 코호몰로지(강력, 이것은 G의 어떤 미분형도 평균 논거에 의해 좌불변으로 만들 수 있다는 사실의 결과)이다.

관련 구성

G를 거짓말 그룹으로 하자. G 관련 Lie 대수 ( ) 을(를) 대안으로 다음과 같이 정의할 수 있다. ( ) (를) G에 대한 분포의 대수(convolution에 의해 주어진 곱셈과 함께 ID 요소에서 지지한다. ( ) 사실 Hopf 대수학이다. G의 리 대수는 그 g)리 ⁡(G))P(A(G)){\displaystyle{\mathfrak{g}}=\operatorname{리}(G)=P(A(G))}, Milnor–Moore 정리까지 한(G){A(G)\displaystyle}.[24]에서 원시적인 요소의 리 대수, 정준 유질 동상 U(g))은 A(G){\displaystyle U({\mathfrak{g}})=A(G.)} {(와) )의 범용포함 사이

참고 항목

인용구

  1. ^ Lee 2012, 페이지 530.
  2. ^ Helgason 1978, 제2장, § 2, 발의안 2.7.
  3. ^ 홀 2015 3.3
  4. '^ More generally, if H is a closed subgroup of H, then
  5. ^ 이 요구 사항은 생략할 수 없다. https://math.stackexchange.com/q/329753를 참조하십시오.
  6. ^ 부르바키, 3장, § 3, 8번, 발의안 제28호
  7. ^ 부르바키, 3장, § 1, 발의안 5 대상
  8. ^ 홀 2015 코롤라리 3.49
  9. ^ 홀 2015 정리 5.25
  10. ^ 홀 2015 정리 5.6
  11. ^ 홀 2015 정리 5.20
  12. ^ 홀 2015 예 3.27
  13. ^ 홀 2015 제안 4.35
  14. ^ 홀 2015 1.4
  15. ^ 홀 2015 코롤라리 5.7
  16. ^ 홀 2015 섹션 5.7
  17. ^ 홀 2015 정리 2.14
  18. ^ 홀2015번길
  19. ^ 홀, 2015 & 섹션 4.7
  20. ^ 헬가손 1978, Ch II, § 5
  21. ^ 부르바키, 제3장, 제3장, § 3, 제16호, 발의안 제55호의 코롤라리. 대상 (
  22. ^ 부르바키, 3장, § 1, 7, 제안 14.
  23. ^ g {\(가) 아벨리안이기 때문에 추월적이다.
  24. ^ 부르바키, 3장, § 3. no. 7 없음:

참조

  • Bourbaki, N. (1981), Groupes et Algèbres de Lie (Chapitre 3), Éléments de Mathématique, Hermann
  • Duistermaat, J.J.; Kolk, A. (2000), Lie groups, Universitext, Springer, doi:10.1007/978-3-642-56936-4, ISBN 3540152938
  • Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, doi:10.1007/978-3-319-13467-3, ISBN 978-3319134666
  • Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Academic Press, ISBN 0-12-338460-5
  • Lee, John M. (2012). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. 218 (Second ed.). New York London: Springer-Verlag. ISBN 978-1-4419-9981-8. OCLC 808682771.

외부 링크