ADE 분류

ADE classification
간단히 레이스된 다이킨 다이어그램은 다양한 수학적 객체를 분류합니다.

수학에서 ADE 분류(원래 A-D-E 분류)는 특정 종류의 개체가 단순히 레이스된 다이킨 다이어그램과 일치하는 상황이다.병렬의 사후 검증이 아닌 이러한 분류에 공통의 기원을 제공하는 문제는 (아놀드 1976)에서 제기되었다.간단히 레이스된 Dynkin 다이어그램의 전체 목록은 다음과 같습니다.

여기서 "접합"은 여러 개의 가장자리가 없다는 을 의미하며 는 루트 시스템의 모든 단순한 루트에 해당하며,θ / 90 µ {\/2= {\ (정점 사이에 가장자리가 없음) 2 / 120{\ {\ 2/ 3= = 120 (정점 사이의 단일 가장자리)입니다.이들은 Dynkin 다이어그램의 4개 패밀리 중 2개( )와 5개의 예외 Dynkin 다이어그램 중 3개( )입니다.

리스트는 Dn에 n { \ 4 } { _ { }를 하는 경우 비장합니다.}패밀리를 확장하여 용장 용어를 포함하면 예외적인 동형성을 얻을 수 있습니다.

분류된 오브젝트의 동형성을 나타냅니다.

또한 A, D, E 명명법은 동일한 다이어그램에 의해 단순히 레이스된 유한 콕서터 그룹을 생성한다. 이 경우 Dynkin 다이어그램은 다중 에지가 없기 때문에 콕서터 다이어그램과 정확히 일치한다.

리 대수

복잡한 반단순 리 대수의 관점에서:

  • 트레이스리스 연산자의 l n + { 합니다.
  • \displaystyle { 하며, 짝수 차원 스큐 대칭 연산자의 짝수 특수 직교 Lie 대수에 해당합니다.
  • 5개의 예외적인 리 대수 중 3개입니다.

콤팩트대수대응하는 단순 레이스그룹관점에서:

  • 특수 S 1의 대수인 s n + 1{1})에 합니다
  • 짝수 투영 특수 O \{so 대응합니다
  • 5개의 뛰어난 콤팩트대수 중 3개입니다.

이항 다면체군

분류는 이진 다면체 인 S ( ) \ SU ( ) \ displaystyle SU ( 2 ) \ displaystyle { A _ n , ~ , ~, \ { { A } { n} , { \ { Dilde } } { n } { \ { n } } } } {{,,,,, 。이러한 그룹의 표현은 이러한 다이어그램으로 이해할 수 있습니다.이 연결은 John McKay의 이름을 따서 McKay 통신으로 알려져 있습니다.플라톤 고체와의 접속은 (Dickson 1959)에 설명되어 있습니다.통신에는 McKay 그래프의 구성이 사용됩니다.

ADE 대응은 대칭의 반사 그룹에 대한 플라톤 고체의 대응이 아닙니다. 예를 들어, ADE 대응에서 사면체, 입방체/팔면체십이면체/이십면체는 반사 그룹인 E6, E , 8,{\ E_ edron, 입방체/8면체 및 12면체/이십면체는 대신 Coxeter A, C,{\ 3을 나타냅니다 {\

각 이산 서브그룹을 사용하여 구성된 C ^{의 오비폴드는 원점에서 ADE형 특이점, 즉 du Val 특이점을 도출한다.

McKay 대응은 2진 다면체 그룹의 을 사용하여 레이스된 Dynkin 도표를 곱하도록 확장할 수 있다.이것은 Slodowy 통신으로 알려져 있으며, Peter Slodowy의 이름을 따서 명명되었습니다. (Stekolshchik 2008)을 참조하십시오.

라벨이 붙은 그래프

ADE 그래프와 확장(아핀) ADE 그래프는 또한 이산 라플라스[2] 연산자 또는 카르탄 행렬의 관점에서 언급될 수 있는 특정 [1]특성을 가진 라벨링의 관점에서 특성화할 수 있다.카르탄 행렬의 관점에서 증명은 (Kac 1990, 페이지 47–54)에서 확인할 수 있다.

아핀 ADE 그래프는 다음과 같은 속성을 가진 양의 라벨링(양수 실수에 의한 노드의 라벨링)을 허용하는 유일한 그래프이다.

임의의 라벨의 2배는 인접한 정점에 있는 라벨의 합계입니다.

즉, 이들은 이산 라플라시안(인접 정점의 합에서 정점의 값을 뺀 값)에 대한 고유값 1을 갖는 유일한 양의 함수이다. 즉, 균질 방정식에 대한 양의 해:

마찬가지로 -I . \ \ - }의 커널에 있는 양의 함수는 스케일까지 고유하며, 가장 작은 숫자가 1이 되도록 정규화된 경우 그래프에 따라 1 ~6의 작은 정수로 구성됩니다.

일반 ADE 그래프는 다음과 같은 특성을 가진 양의 라벨을 허용하는 유일한 그래프이다.

임의의 라벨의 2배에서 2를 뺀 값은 인접한 정점에 있는 라벨의 합계입니다.

라플라시안 관점에서 비균질 방정식에 대한 양의 해는 다음과 같다.

결과 번호는 고유하며(척도는 "2"로 지정됨), 정수로 구성됩니다. E의 경우8 58에서 270 사이이며, (부르바키 1968)부터 관측되었습니다.

기타 분류

기본 재해는 ADE 분류로도 분류된다.

ADE 다이어그램은 가브리엘의 정리를 통해 정확히 유한 유형의 제곱수이다.

또한 각 라인에 3개의 점이 있는 3개의 비퇴화 GQ는 3개의 예외적인 루트 시스템6 E, E7 8 [3]E에 대응하므로 일반화 사각형과의 링크도 있습니다.클래스 A와 D는 각각 [4]회선 세트가 비어 있거나 모든 회선이 고정점을 통과하는 퇴화 케이스에 대응합니다.

분류에 [citation needed]의해 암시된 이 물체들 사이에는 깊은 연관성이 있다; 이러한 연관성들 중 일부는 이론과 양자역학을 통해 이해될 수 있다.

작은 물방울 클러스터의 대칭성은 ADE [5]분류의 대상이 될 수 있다고 제안되었다.

2차원 컨포멀 필드 이론의 최소 모델은 ADE 분류를 가지고 있다.

단일 게이지 그룹이 있는 N }}= 초정형 게이지 진동자 이론은 ADE 분류를 가지고 있다.

삼위일체

아놀드는 그 후 "수학적인 삼위일체"[6][7]라는 루브릭 아래 이러한 맥락에서[which?] 더 많은 연관성을 제안했고, 맥케이는 그의 서신을 평행하고 때로는 겹치는 선을 따라 확장했다.아놀드는 종교를 환기시키기 위해 이러한 "삼각성"을 언급하고, 비록 어떤 유사점들은 정교하지만, 이러한 유사점들은 엄밀한 증거보다는 믿음에 더 의존한다는 것을 암시합니다.다른 [8][9][10]저자들에 의해 더 많은 삼위일체가 제안되었다.아놀드의 삼위일체들은 R/C/H(실수, 복소수, 사위수)에서 시작되며, 그가 이전에 가졌던 고전 리만 기하학의 심플렉틱 유추들을 찾는 것과 유추함으로써, 그가 "모든 사람이 알고 있는" R/C/H로 시작하고, 다른 삼위일체들을 고전 수학의 "복소화"와 "사위"로 상상한다.y는 1970년대에 제안했습니다.미분 위상(특징 클래스 등)의 예에 더해, 아놀드는 세 개의 플라톤 대칭(사면체, 팔면체, 이십면체)을 실, 복소, 사분면에 대응하고, 그 다음에 맥케이의 보다 대수적인 대응과 연결된다고 생각한다.

McKay의 서신들은 묘사하기 더 쉽다.첫째, 확장 Dynkin E~ ,E ~,E ~ ({ {\사면체, 팔면체 및 이면체 대칭에 대응)는 대칭 그룹 , .된 폴딩은 G ~, ~, E~ {{2F}}_ {\8})입니다(세심한 글쓰기에서는 확장(칠데) 수식자가 생략되는 경우가 많습니다).더 중요한 것은, McKay가E~ ({_ 의 노드들과 McKay의 E [11][12]관찰8 알려진 몬스터 그룹의 특정 켤레 클래스 사이의 대응 관계를 제안한다는 것입니다. 괴물 문샤인도 참조하십시오.McKay는 또한 E~(\ 2.B(아기 몬스터 그룹의 순서 2 확장)에, E~(\를 3의 결합 클래스에 관련짓습니다.Fi24'(피셔 [12]그룹의 순서 3 확장) – 이들은 3개의 가장 큰 산발적 그룹이며 확장 순서는 다이어그램의 대칭에 해당합니다.

단순 대형 그룹에서 소규모 그룹으로 전환하면 대응하는 Platonic 투영 특수 선형 그룹 PSL(2,5), PSL(2,7), PSL(2,11)(660)[13][14]과 접속되어 있습니다.이 그룹들은 PSL(2,p)이 p점에 대해 비삼분적으로 작용하도록 p에 대한 유일한(단순) 값이며, 이는 1830년대에 에바리스 갈로아로 거슬러 올라간다.실제로 그룹은 × 5, \ display style \ Z_ × ,\ S_ \ Z_ 5 × . \ A_ Z { }와 같이 집합의 곱으로 분해됩니다 이러한 그룹은 또한 1870년대 펠릭스 클라인까지 거슬러 올라가는 다양한 기하학과 관련이 있다. 역사적 논의를 위한 20면체 대칭: 관련 기하학, 그리고 보다 최근의 설명을 위한 (Kostant 1995)을 참조한다.p점에 대한 작용을 볼 수 있는 관련 기하학(리만 표면의 기울기)은 다음과 같다. PSL(2,5)은 5개의 4면체의 화합물을 5개의 요소 집합으로 하는 20면체(일반 0)의 대칭이며, PSL(2,7)은 내장 평면(상보적 평면)을 가진다.d PSL(2,11) 11 요소 세트(3차 양면)[16]로서 내장 Paley 양면이 있는 벅민스터 풀레렌 표면(제너스 70).이 중 20면체는 고대로 거슬러 올라가며, 클라인 사분원은 1870년대에 클라인에, 버키볼 표면은 2008년에 파블로 마틴과 데이비드 싱거먼에 이른다.

맥케이는 또한 각각 E, E7, E와8 입방체 표면의 27개 선, 평면 4차 곡선의 28개 역각[17][18]4속 카논식 6차 곡선의 120개 삼중탄각 평면을 관련짓는다6.첫 번째 라인은 잘 알려져 있는 반면 두 번째 라인은 다음과 같이 연결되어 있습니다. 두 번째 라인은 직선이 아닌 임의의 점에서 입방체를 투영하면 평면의 이중 커버가 생성되고 사분곡선을 따라 분기되며 27개의 라인이 28개의 역도 중 27개에 매핑되며 28번째 라인은 예외적인 블로우업 곡선의 이미지입니다.E, E7, E의8 기본6 표현은 치수 27, 56(28·2) 및 248(120+128)을 가지며, 루트 수는 27+45 = 72, 56+70 = 126, 112+128 = 240이다.이것은 또한 E를 산발적인 단순 그룹인 몬스터, 베이비, 피셔 24'와 연관짓는 체계에도8,7,6 적합해야 한다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ (1993년 시험관)
  2. ^ (1993년 감독관, 940페이지)
  3. ^ Cameron P.J.; Goethals, J.M.; Seidel, J.J;Shult, E. E. 선 그래프, 근계타원 기하학
  4. ^ Godsil Chris; Gordon Royle.대수 그래프 이론, 제12장
  5. ^ Fedorets A.A. 등떠다니는 물방울의 작은 클러스터의 대칭.물리, 화학. Chem. Phys., 2020, https://doi.org/10.1039/D0CP01804J
  6. ^ Arnold, Vladimir, 1997, Toronto 강연, 강연 2: 심플렉티제이션, 복소화수학적 삼위일체, 1997년 6월(1998년 8월 최종 갱신).TeX, PostScript, PDF
  7. ^ 다수학: 수학은 하나의 과학인가요, 아니면 하나의 예술인가요?1999년 3월 10일 이후 서버에서 Abstract, TeX, PostScript, PDF. 8페이지의 표를 참조하십시오.
  8. ^ 레스 트리니티스는 재혼할 수 있고 프레데리크 샤포톤 (프랑스어)
  9. ^ le Bruyn, Lieven (17 June 2008), Arnold's trinities
  10. ^ le Bruyn, Lieven (20 June 2008), Arnold's trinities version 2.0
  11. ^ 산술 그룹과 아핀8 E 다이킨 다이어그램, 존 F.던컨, 그룹과 대칭: 신석기 스코틀랜드에서 존 맥케이까지
  12. ^ a b le Bruyn, Lieven (22 April 2009), the monster graph and McKay's observation
  13. ^ Kostant, Bertram (1995), "The Graph of the Truncated Icosahedron and the Last Letter of Galois" (PDF), Notices Amer. Math. Soc., 42 (4): 959–968, see: The Embedding of PSl(2, 5) into PSl(2, 11) and Galois’ Letter to Chevalier.
  14. ^ le Bruyn, Lieven (12 June 2008), Galois’ last letter, archived from the original on 2010-08-15
  15. ^ (Kostant 1995, 페이지 964)
  16. ^ Martin, Pablo; Singerman, David (April 17, 2008), From Biplanes to the Klein quartic and the Buckyball (PDF)
  17. ^ 아놀드 1997, 13페이지
  18. ^ (McKay & Sebbar 2007, 페이지 11)
  19. ^ 허양희 와 존 맥케이 씨, https://arxiv.org/abs/1505.06742

원천

외부 링크