[논문 리뷰] Embeddings of Quadratic Spaces

Vineeth Chintala|arXiv (Cornell University)|2018. 01. 01.

Algebraic and Geometric Analysis참고 문헌 9인용 수 1

한 줄 요약

이 논문은 가환환 위의 비퇴화된 이차형식 공간에 대해 히퍼볼릭 공간의 수스린 행렬 매립을 일반화하며, 결합 대수에의 매립을 통한 스피너 군의 기저에 의존하지 않는 특성화를 수립한다. 스피너 군이 매립 대수의 가역원소 위의 노름 준동형사상의 핵으로 나타남을 증명하며, 클리포드 대수와 표현 이론을 클리포드 대수의 분할된 이상에 대한 구조 정리로 연결한다.

ABSTRACT

We introduce a concept of an embedding of a quadratic space in an associative algebra. The general properties of such embeddings are analyzed by linking it to the Clifford algebra. Conversely, there isa simple description of the standard involution and the Spin groups in terms of the algebra in which the quadratic space is embedded. Though Clifford Algebras have been studied in detail, they may not always be easy to work with. Sometimes it may be useful to switch to a more concrete embedding to study low dimensional Spin and Epin (or Elementary Spin) groups.

연구 동기 및 목표

• 가환환 위의 임의의 비퇴화된 이차형식 공간에 대해 히퍼볼릭 공간의 수스린 행렬 매립을 일반화한다.
• 결합 대수에의 매립을 통해 스피너 군의 기저에 의존하지 않는 구조적 특성화를 제공한다.
• 클리포드 대수의 이차형식 공간과 그 매립 대수 사이의 연결고리를 분할된 이상의 구조 정리로 수립한다.
• 매립 대수 A에 대칭이 존재하고 이 대칭이 이차형식 공간 위에서 항등적으로 작용할 경우, 스피너 군이 충실하게 작용함을 보인다.
• 수스린 행렬을 사용하여 다양한 이차형식에 대해 클리포드 대수의 명시적 생성자를 구성함을 보여준다.

제안 방법

• 이차형식 공간 (V,q) 을 결합 대수 A에 매립하는 것을, 선형 포함 V⊆A 라고 정의하며, 여기서 q(v) = vα(v) = α(v)v 를 만족하는 등급변환 α 를 갖는다.
• 클리포드 대수의 보편성질을 이용하여, 임의의 매립 A 를 Z2-분할과 분할된 이상의 구조 정리(정리 2.7)를 통해 클리포드 대수 Cl(V,q) 와 연결한다.
• 대수 A 위의 대칭에 대한 수반원소 g∗ 를 사용하여, d: G(A) → R× 를 d(g) = q(gg∗) 로 정의하는 노름 준동형사상을 구성한다.
• 레마 4.6 및 정리 4.7 를 통해 d 의 핵이 스피너 군과 동형임을 증명하며, ker(d) ≅ Spin(V) 를 보인다.
• 수스린 행렬에 이 프레임워크를 적용하여, 히퍼볼릭 및 기타 이차형식 공간을 행렬 대수에 명시적으로 매립한다.
• 수스린 행렬 Sn(v,w) 의 재귀적 구성법을 사용하여, SnSn = (v·wT)I2n 과 det(Sn) = (v·wT)^{2n−1} 등의 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 히퍼볼릭 공간에 대한 수스린 행렬 구성법을 임의의 비퇴화된 이차형식 공간으로 일반화할 수 있는가?
• RQ2 이차형식 공간이 결합 대수에 매립될 때, 스피너 군이 충실하게 작용하기 위한 조건은 무엇인가?
• RQ3 매립 대수 A 의 어떤 구조적 성질이 스피너 군이 노름 준동형사상 d(g) = q(gg*) 의 핵으로 나타나도록 보장하는가?
• RQ4 수스린 행렬의 대수적 성질(예: 행렬식 및 대칭의 구조)이 기저가 되는 클리포드 대수의 구조에 어떻게 반영되는가?
• RQ5 비히퍼볼릭 이차형식에 대해 수스린 유형의 행렬을 사용하여 클리포드 대수의 명시적 생성자를 구성할 수 있는가?

주요 결과

• A 위의 대칭이 V 위의 항등함수로 올라갈 수 있을 경우, 스피너 군은 노름 준동형사상 d: G(A) → R× 에 정의된 d(g) = q(gg*) 의 핵과 동형임을 보였다.
• 클리포드 대수 Cl(V,q) 는 Z2-분할된 구조를 통해 M2(A) 에 매립되며, 이 매립은 Cl(V,q) 의 분할된 이상에 대한 구조 정리에 의해 결정된다.
• 히퍼볼릭 공간 H(Rn) 에 대해 수스린 행렬 구성법을 통해 φ: Cl(H(Rn)) → M2n(R) 의 동형사상이 존재하며, 명시적인 행렬 생성자를 제공한다.
• 수스린 행렬 Sn(v,w) 의 행렬식은 (v·wT)^{2n−1} 이며, SnSn = (v·wT)I2n 를 만족함으로써, 이 행렬이 조합 대수의 역할을 함을 확인한다.
• v·wT = 1 일 경우, w ↦ v·wT 의 핵은 프로젝티브 모듈이 되며, 이 모듈이 자기쌍대임은 n 이 짝수일 때에만 성립함을 설명한다. 이는 수스린 행렬의 대칭 구조에서의 홀짝성 의존성을 설명한다.
• 다항식 확장 R[λ₁] 및 R[λ₁,λ₂] 를 사용하여, 계수 2n, 2n+1, 2n+2 이며, 서명에 −v₀² 또는 −v₀²−w₀² 가 포함된 이차형식에 대해 명시적인 행렬 매립을 구성하였다. 여기서 λ₁²=λ₂²=−1 이며, λ₁λ₂+λ₂λ₁=0 이다.