E₇

파일:Dynkin diagram type E7.svg|섬네일|right|E7의 딘킨 도표
리 군론에서 '''E7'''은 복소수 예외적 단순 리 군의 하나이다. 133차원이며, 예외적 단순 리 군 가운데 E8 다음으로 두 번째로 크다.
E7은 여러 방법으로 정의할 수 있다.
=== 56차원 표현을 통한 정의 ===
E7은 충실한 56차원 실수 표현을 가지며, 따라서 다음과 같이 정의할 수 있다.
가 8차원 실수 벡터 공간이라고 하고, 를 다음과 같이 정의하자.
:
이는 자연스럽게 심플렉틱 벡터 공간을 이룬다. 이 위에 다음과 같은 4차 형식을 정의하자.
:
그렇다면 심플렉틱 형식과 4차 형식 를 보존하는 56차원 실수 선형 변환들의 부분군은 E7의 분할 형식 E7(7)과 동형이다.
=== 사원수 또는 팔원수를 사용한 정의 ===
한스 프로이덴탈은 팔원수를 사용한 E7의 구성을 제시하였다.
이 밖에도, 팔원수를 사용한 다른 구성 이나, 사원수를 사용한 E7의 구성 또한 알려져 있다.
=== Spin(12)를 통한 정의 ===
E7은 Spin(12)×SU(2)를 극대 부분군으로 가지므로, 이로부터 E7을 정의할 수 있다. 구체적으로, E7의 딸림표현 '''133'''은 Spin(12)×SU(2) 아래 딸림표현 및 ('''32''', '''2''')로 분해된다. 여기서 '''32'''는 Spin(12)의 바일 스피너 표현이다.
이 경우, A1의 가능한 실수 형식은 와 SU(2) 두 가지가 있다.
* 전자 의 경우, 정의 표현 '''2'''는 실수 표현이다. 따라서, Spin(12)의 표현 '''32''' 역시 실수 표현이어야 한다. 즉, 이는 마요라나-바일 스피너가 되어야 한다. 12차원에서, 마요라나-바일 스피너가 존재하는 계량 부호수는 (10,2) 및 (6,6) 두 가지 밖에 없다. 이들은 각각 단순 리 대수 D6(−26)⊕A1(1) 및 D6(6)⊕A1(1) (분할)에 해당한다. 이로부터, E7의 두 실수 형식 E7(−25) 및 E7(7) (분할)을 얻는다.
* 후자 SU(2)의 경우, 정의 표현 '''2'''는 사원수 표현이다. 즉, 이 경우 Spin(12)의 바일 스피너 역시 사원수 표현이어야 한다. 이러한 경우인 계량 부호수는 (12,0) 및 (8,4) 두 가지 밖에 없다. 이들은 각각 단순 리 대수 D6(−66)⊕A1(−3) (콤팩트) 및 D6(−2)⊕A1(−3)에 해당한다. 이로부터, E7의 두 실수 형식 E7(−133) (콤팩트) 및 E7(−5)를 얻는다.
=== 실수 형식 ===
E7은 네 개의 실수 형식(real form)을 갖는다. 이들은 다음과 같다 (중심이 없는 형태).
 기호 
 다른 기호 
 설명 
 기본군 
 외부자기동형군 
 사타케 도표 
 보건 도표
 E7(−133) 
 
 콤팩트 형식 
  
 1 
  
 
 E7(7) 
 EⅤ 
 갈린(split) 형식 
  
  
 
 
 E7(−5) 
 EⅥ 
 
  
 1 
  
 
 E7(−25) 
 EⅦ 
 
  
  
  
 
=== 대수적 성질 ===
E7은 133차원의 리 군이다. (중심이 없는) 콤팩트 형식의 기본군은 이며, 자명하지 않은 외부자기동형사상을 가지지 않는다.
E7의 주요 극대 부분군은 다음과 같다.
* . 이는 E7 딘킨 도표에서, 흰 색의 꼭짓점을 제거하여 얻는다.
*:
* . 이는 E7 딘킨 도표에서, 로 표시한 꼭짓점을 추가하여 아핀 딘킨 도표로 만든 뒤, 흰 색의 꼭짓점 을 제거하여 얻는다.
*:
* . 이는 E7 딘킨 도표에서, 로 표시한 꼭짓점을 추가하여 아핀 딘킨 도표로 만든 뒤, 흰 색의 꼭짓점 을 제거하여 얻는다.
*:
* . 이는 E7 딘킨 도표에서, 로 표시한 꼭짓점을 추가하여 아핀 딘킨 도표로 만든 뒤, 흰 색의 꼭짓점 을 제거하여 얻는다.
*:
E7은 E8의 부분군이다. 구체적으로, E8은  부분군을 갖는다. 이는 E8 딘킨 도표에서, 로 표시한 꼭짓점을 추가하여 아핀 딘킨 도표로 만든 뒤, 흰 색의 꼭짓점 을 제거하여 얻는다.
:
=== 위상수학적 성질 ===
E7의 무중심 콤팩트 형식은 133차원 콤팩트 연결 매끄러운 다양체이다. 그 호모토피 군은 다음과 같다.
:
:
:
의 불변 다항식의 차수는 2, 6, 8, 10, 12, 14, 18이다. 즉, E7의 콤팩트 형식의 유리수 계수 코호몰로지 환은 3차 · 11차 · 15차 · 19차 · 23차 · 27차 · 35차 생성원으로 생성되는 외대수이다.
=== 근계 ===
파일:Gosset 2 31 polytope.svg|섬네일|right|E7의 126개의 근들은 고른 폴리토프 231을 이룬다.
E7의 근계는 126개의 7차원 벡터로 구성된다. E7의 SU(8) 부분군을 사용하여 8차원 벡터로 나타내면, 그 근들은 구체적으로 다음과 같다.
* 다음 개의 근 (이는 SU(8) 근계를 이룬다):
*:의 모든 순열
* 다음 개의 근 (이는 SU(8)의 '''70''' 표현의 무게를 이룬다):
*:의 모든 순열
이는 E7의 딸림표현의 분해
:
를 바탕으로 한 것이다. 여기서 '''70'''은 SU(8)에서, 영 타블로
:
에 대응하는 차원 표현이다.
E7의 126개의 근들은 7차원에 존재하는 고른 폴리토프 231을 이룬다. 이는 126개의 꼭짓점, 2016개의 변, 10080개의 정삼각형 면, 20160개의 정사면체 3차원 초면, 16128개의 4차원 초면, 4788개의 5차원 초면, 632개의 6차원 초면으로 구성된다.
E7의 바일 군의 크기는 이다. 이는 2차 순환군 와 크기 1451520의 유일한 단순군의 직접곱이다. 후자는  또는 로 표기할 수 있다.
:
E7의 딘킨 도표는 다음과 같이 7개의 꼭짓점으로 구성되며, 모든 변은 1겹이다(). 중심 꼭짓점에서 3개의 "팔"이 뻗어나오며, 팔의 길이는 각각 1, 2, 3이다.
:
E7의 아핀 딘킨 도표는 8개의 꼭짓점으로 구성되며, 모든 변은 1겹이다. 길이가 2인 팔에 로 표시된 새 꼭짓점이 추가되어, E7 아핀 딘킨 도표는  대칭을 보인다.
:
=== 표현론 ===
E7의 기약 표현의 차원들은 다음과 같다 .
:1, 56, 133, 912, 1463, 1539, 6480, 7371, 8645, 24320, 27664, 40755, 51072, 86184, 150822, 152152, 238602, 253935, 293930, 320112, 362880, 365750, 573440, 617253, 861840, 885248, 915705, 980343, 2273920, 2282280, 2785552, 3424256, 3635840, …
E7의 바일 군은 를 포함하므로, 모든 기약 표현은 실수 표현이거나 사원수 표현이다. E7의 기본 표현들은 56, 133, 912, 1539, 8645, 27664, 365750차원 표현이며, 딸림표현은 '''133'''이다. 딸림표현은 물론 실수 표현이며, 56차원 정의 표현은 사원수 표현이다. 기본 표현들은 딘킨 도표의 꼭짓점에 다음과 같이 대응한다.
:
E7은 E8의 부분군이다. 정확히 말하면, (E7×SU(2))/(−1,−1)은 E8의 극대 부분군(maximal subgroup)이다. 이는 딘킨 도표로 쉽게 확인할 수 있다. 이에 따라, E8의 딸림표현 '''248'''은 다음과 같이 분해된다.
:
즉, E8의 딸림표현 '''248'''은 E7의 딸림표현 '''133'''과 기본 표현 '''56''' 및 자명한 표현 '''1'''로 분해된다.
마찬가지로, E7의 표현들은 그 부분군의 표현으로 다음과 같이 분해된다.
:
:
:
:
:
:
:
:
=== 대수기하학적 성질 ===
슈발레 기저를 사용하여 정수 계수의 리 대수  및 군 을 정의할 수 있다. 보다 일반적으로, 이는 임의의 가환환 에 대하여 대수군으로 정의할 수 있다.
특히, 유한체 에 대한 계수의 슈발레 군 을 정의할 수 있다. 이 경우, 다음과 같은 두 가지 구성이 가능하다.
* 의 범피복군 의 유한체 계수 형식 
* 의 무중심 형식의 유한체 계수 형식 
이들의  크기는 다음과 같다.
:
:
는 모든 유한체 에 대하여 유한 단순군이다. 이 가운데 가장 작은 두 군의 크기는 다음과 같다 .
:
:
은 이미 괴물군보다 더 크다.
11차원 초중력을 4차원으로 축소화할 경우, E7 U-이중성 대칭군이 존재한다. 이는 11차원 초중력 대신 M이론 전체를 생각할 경우 이산 부분군으로 깨지게 된다.
E7은 또한 일부 4차원  초등각 장론의 자이베르그 이중성으로 등장한다.
* E6
* E8
* 
* 
* 
* 
분류:리 군
분류:대수군