[논문 리뷰] Clifford Hopf gebra for two-dimensional space

Bertfried Fauser, Zbigniew Oziewicz|ArXiv.org|2000. 11. 30.

Advanced Algebra and Geometry참고 문헌 12인용 수 10

한 줄 요약

이 논문은 두 차원 실수 벡터 공간 위의 클리포드 이중복합 대수에서 역원이 존재하기 위한 필요충분조건을 확립하여, 이를 클리포드 호프 게브라로 정의한다. 핵심 결과는 이러한 역원이 존재하기 위한 조건이 $\text{id} - \xi \circ \eta$의 행렬식이 0이 아님과 동치라는 것이다. 여기서 $\eta$와 $\xi$는 각각 계량과 쌍대 구조 텐서이다.

ABSTRACT

A Clifford algebra Cl(V,η\in V^*\otimes V^*) jointly with a Clifford cogebra Cl(V,ξ\in V\otimes V) is said to be a Clifford biconvolution Cl(η,ξ). We show that a Clifford biconvolution for dim_R Cl=4 does possess an antipode iff det(id-ξ\circη) eq 0. An antipodal Clifford biconvolution is said to be a Clifford Hopf gebra. We study the Clifford Hopf gebra and examples of antipode less Clifford bigebras including the Grassmann case.

연구 동기 및 목표

• 두 차원 실수 벡터 공간 위의 클리포드 이중복합 대수가 역원을 갖는 조건을 규명하여 클리포드 호프 게브라를 구성하는 것.
• 이중 복합과 코복합을 갖춘 클리포드 대수에 대해 호프 게브라의 개념을 일반화하는 것.
• 낮은 차원의 클리포드 대수에서 역원 존재 여부를 결정하는 데 있어 $\xi \circ \eta$의 역할을 조사하는 것.
• 4차원 클리포드 대수에 적용 가능한 $\text{id} - \xi \circ \eta$의 행렬식에 기반한 역원 존재 조건을 제시하는 것.
• 클리포드 구조에서의 대수적·코대수적 쌍대성과 그 호프 게브라 성질에 대한 영향을 탐구하는 것.

제안 방법

• 동일한 공간 위에서 클리포드 대수 $\mathcal{C}\ell(V, \eta)$와 쌍대 클리포드 코대수 $\mathcal{C}\ell(V, \xi)$를 결합하여 클리포드 이중복합 $\mathcal{C}\ell(\eta, \xi)$를 정의한다.
• 대수와 코대수의 구조 간 쌍대성을 활용하여 쌍대 공간 위에서 복합과 코복합 곱을 정의한다.
• 4차원 실수 공간 $\mathbb{R}^2$ 위의 클리포드 대수에 대해 [Cruz & Oziewicz 2000]의 일반 이중복합 및 역원 이론을 적용한다.
• 역원 존재 조건으로서 $\det(\text{id} - \xi \circ \eta) \neq 0$을 유도한다.
• End(V)와 $V \otimes V^*$ 사이의 표준적 동형을 활용하여 이중복합의 대수적 구조를 분석한다.
• 컴퓨터 계산 도구(Maple V 패키지 CLIFFORD 및 BIGEBRA)를 활용하여 핵심 항등식과 행렬식 조건을 검증하고 유도한다.

실험 결과

연구 질문

• RQ1 두 차원 실수 벡터 공간 위의 클리포드 이중복합 대수가 언제 역원을 갖는가?
• RQ2 $\xi \circ \eta$의 복합은 클리포드 대수에서의 역원 존재 여부에 어떻게 영향을 미치는가?
• RQ3 $\det(\text{id} - \xi \circ \eta)$는 클리포드 대수의 호프 게브라 구조를 결정하는 데 어떤 역할을 하는가?
• RQ4 만약 $\eta$ 또는 $\xi$가 0이더라도 클리포드 이중복합에서 역원이 존재할 수 있는가? 이 경우의 행렬식 조건은 무엇인가?
• RQ5 2차원 경우에서 교차 사상의 최소다항식은 역원 존재 여부와 어떻게 관련되는가?

주요 결과

• 두 차원 실수 벡터 공간 위의 클리포드 이중복합 $\mathcal{C}\ell(\eta, \xi)$는 $\det(\text{id} - \xi \circ \eta) \neq 0$이면 역원을 갖는다.
• 만약 $\dim_{\mathbb{R}}\mathcal{C}\ell = 4$이면, 역원은 정확히 $\xi \circ \eta$가 $\det(\text{id} - \xi \circ \eta) \neq 0$ 조건을 만족할 때 존재한다.
• $\eta = 0$ 또는 $\xi = 0$이면 $\det(\text{id} - \xi \circ \eta) = 1$이 되며, 이 경우에도 역원이 존재하여 일반 조건과 일관된다.
• 역원이 존재하는 것은 분할 프로젝터 $\xi^\wedge = \Delta^\xi(1)$가 잘 정의되고 $\wedge^\eta \circ \Delta^\xi = \text{id}$를 만족할 때에만 가능하다.
• 교차 사상 $\sigma$의 최소다항식의 차수는 $\sqrt{\mu} - 1$이 다항식 $p(x) \in \mathbb{Z}[x]$의 차수 12인 다항식의 근이 아닐 경우 3이 된다. 여기서 $\mu = \det(\text{id} - \xi \circ \eta)$이다.
• $\text{tr}(\eta \circ \xi) = 2$이면 역원이 존재하지 않으며, 이는 $\sigma$의 최소다항식이 0이 되어 호프 구조의 붕괴를 나타낸다.