[논문 리뷰] Discrete Symmetries and Clifford Algebras

В. В. Варламов|ArXiv.org|2000. 09. 18.

Algebraic and Geometric Analysis참고 문헌 23인용 수 5

한 줄 요약

이 논문은 실수 및 복소 클리포드 대수의 자동형군과 이산 대칭성(P, T, PT)을 엄밀한 대수적 프레임워크로 연결하며, 정규 직교군의 여덟 가지 이중 코팅(Da̧browski 군)이 실수 클리포드 대수의 여덟 종류와 정확히 일대일 대응됨을 보여준다. 핵심 기여는 Pin(3,1)과 Pin(1,3)의 비동형성은 자동형군의 계량적 의존성에 기인하며, 이는 Atiyah–Bott–Shapiro 주기성과 일반화된 Brauer–Wall 군을 통해 연결됨을 증명한 것이다.

ABSTRACT

An algebraic description of basic discrete symmetries (space reversal P, time reversal T and their combination PT) is studied. Discrete subgroups of orthogonal groups of multidimensional spaces over the fields of real and complex numbers are considered in terms of fundamental automorphisms of Clifford algebras. In accordance with a division ring structure, a complete classification of automorphisms groups is established for the Clifford algebras over the field of real numbers. The correspondence between eight double coverings (Dabrowski groups) of the orthogonal group and eight types of the real Clifford algebras is defined with the use of isomorphisms between the automorphism groups and finite groups. Over the field of complex numbers there is a correspondence between two nonisomorphic double coverings of the complex orthogonal group and two types of complex Clifford algebras. It is shown that these correspondences associate with a well-known Atiyah-Bott-Shapiro periodicity. Generalized Brauer-Wall groups are introduced on the extended sets of the Clifford algebras. The structure of the inequality between the two Clifford-Lipschitz groups with mutually opposite signatures is elucidated. The physically important case of the two different double coverings of the Lorentz groups is considered in details.

연구 동기 및 목표

• 로렌츠 군에서 이산 대칭성(P, T, PT)의 표준 기술에 존재하는 암묵적 모순을 클리포드 대수 자동형군 내재화를 통해 해결하기 위해.
• 실수 클리포드 대수의 자동형군을 그 분할환 구조에 기반해 완전한 분류를 수립하기 위해.
• 특히 (p,q) = (3,1)과 (1,3)일 때 Pin(p,q) ≇ Pin(q,p)의 기원을 자동형군의 계량 의존성과 연결하여 명확히 하기 위해.
• 실수 및 복소 클리포드 대수 위에서 일반화된 Brauer–Wall 군을 일반화하고, Trautman 다이어그램을 통해 그 순환적 구조를 시각화하기 위해.
• 자동형군과 유한군 간의 동형사상에 기반해 O(p,q)의 여덟 가지 Da̧browski Pin^{a,b,c} 코팅에 대해 수학적으로 일관된 프레임워크를 제공하기 위해.

제안 방법

• Wedderburn–Artin 정리와 분할환 구조(R, C, H)를 이용해 실수 클리포드 대수 Cℓ_{p,q}의 자동형군을 분류하기 위해.
• 계량 (a,b,c)에 의해 결정되는 대수의 분할환에 기반해, O(p,q)의 여덟 가지 Da̧browski Pin^{a,b,c} 이중 코팅과 실수 클리포드 대수의 여덟 종류 사이에 일대일 대응을 수립하기 위해.
• 실수의 경우 mod 8, 복소수의 경우 mod 2의 Atiyah–Bott–Shapiro 주기성에 따라 일반화된 Brauer–Wall 군 BW^{a,b,c}_ℝ ≃ ℤ₂ ⊗ (ℤ₄)² ⊗ ℤ₈ 와 BW^{a,b,c}_ℂ ≃ ℤ₂ 를 정의하기 위해.
• 실수 및 복소수 위에서 일반화된 Brauer–Wall 군의 순환적 군 구조를 시각화하기 위해 Trautman 다이어그램을 구성하며, 각각 p−q mod 8 및 n mod 2에 따라 레이블을 부착하기 위해.
• Maple V CLIFFORD 패키지를 적용하여 Cℓ_{3,1} (Majorana 대수)와 Cℓ_{1,3} (시공간 대수)의 스핀어 representation과 자동형군을 계산하고 비교하기 위해.
• 자기형군을 통한 Pin(p,q)와 Pin(q,p)의 분석을 통해 계량 (p,q)가 자동형군의 유형을 결정하며, 이로 인해 비동형성이 발생함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 이산 대칭성 P, T, PT는 클리포드 대수의 내재된 대수적 구조에 어떻게 체계적으로 통합될 수 있는가?
• RQ2 O(p,q)의 여덟 가지 Da̧browski Pin^{a,b,c} 이중 코팅에 대한 계량 (a,b,c)의 선택은 무엇에 의해 결정되며, 이는 기저 공간 ℝ^{p,q}의 계량 (p,q)와 어떻게 관련되는가?
• RQ3 O(3,1) ≅ O(1,3)임에도 불구하고 Pin(3,1)과 Pin(1,3)이 서로 동형이 아니라는 이유는 무엇이며, 이 비동형성의 배경이 되는 대수적 구조는 무엇인가?
• RQ4 일반화된 Brauer–Wall 군 BW^{a,b,c}_ℝ 와 BW^{a,b,c}_ℂ 는 클리포드 대수의 맥락에서 Atiyah–Bott–Shapiro 주기성을 어떻게 반영하는가?
• RQ5 분할환 구조(R, C, H)는 실수 클리포드 대수의 자동형군의 존재성과 유형을 어떻게 제약하는가?

주요 결과

• O(p,q)의 여덟 가지 Da̧browski Pin^{a,b,c} 이중 코팅은 실수 클리포드 대수의 여덟 종류 Cℓ_{p,q}와 일대일 대응되며, 계량 (a,b,c)는 Cℓ_{p,q}의 분할환 구조에 의해 결정된다.
• Pin(3,1)과 Pin(1,3)의 비동형성은 그 자동형군의 계량 (a,b,c)가 다르기 때문에 발생하며, 이는 기저 공간의 계량 (p,q)와 대수의 분할환 구조에 의해 결정된다.
• 실수 위에서의 일반화된 Brauer–Wall 군은 ℤ₂ ⊗ (ℤ₄)² ⊗ ℤ₈ 와 동형이며, 이는 실수 클리포드 대수의 mod 8 주기성과 자동형군의 순환적 구조를 반영한다.
• 복소수 위에서의 일반화된 Brauer–Wall 군은 ℤ₂ 와 동형이며, 이는 복소수 클리포드 대수의 mod 2 주기성과 두 종류 Cₙ 및 Cₙ₊₁ ≃ Cₙ ⊕ Cₙ 와 관련된다.
• BW_ℝ ≃ ℤ₈ 와 BW_ℂ ≃ ℤ₂ 의 Trautman 다이어그램은 각각 p−q mod 8 및 n mod 2 에 따라 레이블링된 주기성과 군 구조를 시각적으로 표현한다.
• 이 연구는 Cℓ_{3,1} (Majorana 대수)와 Cℓ_{1,3} (시공간 대수)의 자동형군이 계량에서 다름을 확인하였으며, 이는 동형인 로렌츠 군에도 불구하고 그들의 Pin 군이 비동형임을 설명한다.