[논문 리뷰] On Hom type algebras

Yaël Frégier, Aron Gohr|arXiv (Cornell University)|2009. 03. 19.

Advanced Topics in Algebra참고 문헌 12인용 수 21

한 줄 요약

이 논문은 선형 사상 α를 사용하여 정의 항등식을 다양한 방식으로 왜곡함으로써, 특히 호모-리 대수와 호모-결합 대수를 포함한 여러 유형의 호모-대수를 체계적으로 분류하고 비교한다. 단위 원소를 가진 호모-결합 대수 유형들 사이에 부분 순서를 수립하고, 기존의 호모-결합성 조건이 가장 제약이 강한 것을 증명하며, 호모-모노이드를 사용하여 더 강력한 함의 관계가 존재하지 않음을 보여주는 반례를 구성한다.

ABSTRACT

Hom-algebras are generalizations of algebras obtained using a twisting by a linear map. But there is a priori a freedom on where to twist. We enumerate here all the possible choices in the Lie and associative categories and study the relations between the obtained algebras. The associative case is richer since it admits the notion of unit element. We use this fact to find sufficient conditions for hom-associative algebras to be associative and classify the implications between the hom-associative types of unital algebras.

연구 동기 및 목표

• 표준 호모-결합성 및 호모-리 항등식을 초월한 호모-대수를 정의하기 위한 대체 왜곡 전략을 탐색하고 체계화하는 것.
• 특히 단위 원소가 존재하는 경우에, 다양한 유형의 호모-리 대수와 호모-결합 대수 간의 구조적 관계를 조사하는 것.
• 특히 단위 원소가 존재할 경우, 호모-결합 대수 유형들 사이의 제약 정도의 계층을 규명하는 것.
• 호모-모노이드를 사용하여 구체적인 반례를 구성함으로써, 호모-대수 유형 간의 일부 함의 관계가 성립하지 않음을 입증하는 것.
• 다양한 호모-대수 유형 간의 함의 및 비함의 관계를 완전히 분류하여, 그 논리적 관계의 한계를 설정하는 것.

제안 방법

• 괄호의 세 위치에 서로 다른 방식으로 자코비 항등식을 왜곡하여 세 가지 유형의 호모-리 대수—$I_1$ (표준), $I_2$, $I_3$—를 정의한다.
• 곱셈의 세 위치에 서로 다른 방식으로 결합성 항등식을 왜곡하여 세 가지 유형의 호모-결합 대수—$II_1$, $II_2$, $II_3$—를 정의한다.
• 호모-대수 유형 간의 비함의 관계를 반증하기 위해 체계적으로 반례를 생성하는 데 사용되는, 영을 포함한 새로운 구조인 호모-모노이드를 도입한다.
• 복잡한 유형 계층에서 항등식 검증과 반례 구성에 주로 Mace4의 유한 모델 생성기와 Prover9의 정리 증명기를 사용한다.
• 도표적 추론과 대수적 변환을 통해 $II_1, II_2, II_3, I_2 \Rightarrow I_3$와 같은 유형 간의 함의 관계를 증명한다.
• 정의 항등식의 제약 정도에 기반한 단위 원소를 가진 호모-결합 대수에 대한 부분 순서를 도입하여, 표준 호모-결합성 조건이 가장 제약이 강하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 리 대수와 결합 대수의 정의 항등식을 왜곡할 수 있는 가능한 방법은 무엇이며, 이를 통해 새로운 호모-대수 유형을 도출할 수 있는가?
• RQ2 다양한 유형의 호모-리 대수($I_1$, $I_2$, $I_3$)는 상호 간에 어떻게 관련되어 있으며, 일반 리 대수와는 어떤 관계가 있는가?
• RQ3 유형 $II_1$, $II_2$, $II_3$, $I_2$, $I_3$, 그리고 $III$, $III'$, $III''$로 구성된 단위 원소를 가진 호모-결합 대수 유형들 사이의 제약 정도의 계층은 어떻게 되는가?
• RQ4 어떤 호모-대수 유형 간의 함의 관계는 성립하지 않으며, 이를 어떻게 반례를 통해 증명할 수 있는가?
• RQ5 호모-모노이드는 호모-대수 유형 계층에서의 비함의 관계를 체계적으로 반례로 구성하는 데 사용될 수 있는가?

주요 결과

• 단위 조건 하에서 모든 호모-결합 대수 유형 중 표준 호모-결합 대수($II_1$)가 가장 제약이 강한 것으로 밝혀졌으며, 이는 나머지 모든 유형을 함의한다.
• $I_2 \nRightarrow I_3$, $II_2 \nRightarrow I_2$, $II_1 \nRightarrow II_2$를 보여주는 명시적 반례가 존재하여, 기존에 확립된 함의 관계를 초월한 더 강력한 함의 관계가 존재하지 않음을 입증한다.
• 호모-결합 대수 유형의 부분 순서는 향상될 수 없다: 계층은 최대이며, 추가적인 함의 관계가 성립하지 않음을 15개의 반례로 확인하였다.
• 세 번째 인수에 대해 왜곡된 유형 $III$, $III'$, $III''$는 조합하여 고려하더라도 $I$ 또는 $II$ 유형을 함의하지 않으며, $α(e_1)=α(e_2)=α(e_3)=e_3$인 반례로 이를 입증하였다.
• $III, III', III'' \nRightarrow I_2, II_1, II_2, II_3$ 반례는 순서 3 유형이 순서 1 및 순서 2 유형과 독립적임을 확인한다.
• 영과 항등원을 가진 호모-모노이드의 사용은 호모-대수 유형 간의 비함의 관계를 검증하는 최소 크기의 유한 반례를 구성하는 데 기여한다.