[논문 리뷰] Hom-Maltsev, Hom-alternative, and Hom-Jordan algebras

Donald Yau|arXiv (Cornell University)|2010. 02. 21.

Advanced Topics in Algebra참고 문헌 35인용 수 29

한 줄 요약

이 논문은 고전적 비결합 대수의 험(twist)형 일반화인 험-말츠레프, 험-대체, 험-조르단 대수를 제안하며, 새로운 정의 하에 험-대체 대수들이 험-말츠레프-가능성과 험-조르단-가능성을 동시에 만족함을 입증한다. 또한, 고전적 무방형 항등식에 해당하는 험-무방형 항등식을 증명하여, 대체 대수의 핵심 구조적 성질을 대수의 자기사상에 의한 변형을 통해 험 설정으로 일반화한다.

ABSTRACT

Hom-Maltsev(-admissible) algebras are defined, and it is shown that Hom-alternative algebras are Hom-Maltsev-admissible. With a new definition of a Hom-Jordan algebra, it is shown that Hom-alternative algebras are Hom-Jordan-admissible. Hom-type generalizations of some well-known identities in alternative algebras, including the Moufang identities, are obtained.

연구 동기 및 목표

• 정의 항등식을 자기사상(틀기 지도)으로 변형하여, 말츠레프, 대체, 조르단 대수의 험-형 일반화를 개발하는 것.
• 험-대체 대수가 험-말츠레프-가능성임을 입증하여, 고전적 결과인 대체 대수가 말츠레프-가능함을 일반화하는 것.
• 험-대체 대수가 험-조르단-가능성이 되는 새로운 험-조르단 대수의 정의를 제안하여, 고전적 조르단-가능성의 대체 대수에 대한 일반화를 이루는 것.
• 고전적 무방형 항등식의 유사체로 험-대체 설정에서의 험-무방형 항등식을 유도하는 것.

제안 방법

• 자기사상 α로 말츠레프 항등식을 변형하여 험-말츠레프 대수를 정의함으로써, 말츠레프 대수와 험-리 대수를 일반화하는 것.
• 험-결합자(associator)를 정의하고, 험-대체 대수를 험-결합자가 교환형(alternating)인 대수로 정의하는 것.
• 공간의 교환자 험-대수 구조를 통해 험-대체 대수로부터 험-말츠레프 대수를 구성하고, 험-말츠레프-가능성을 증명하는 것.
• 모든 험-대체 대수의 플러스 험-대수(plus Hom-algebra)가 험-조르단 대수가 되는 새로운 험-조르단 대수의 클래스를 정의하는 것.
• 험-말츠레프 대수의 클래스가 파생된 험-대수 구성과 임의의 대수 자기사상 α에 의한 변형 하에 닫혀 있음을 증명하는 것.
• 험-결합자와 험-결합자의 교환성의 활용을 통해 고전적 증명을 험 설정으로 적응하여, 험-무방형 항등식을 수립하는 것.

실험 결과

연구 질문

• RQ1 험-대체 대수가 교환자 구조를 통해 험-말츠레프 대수를 유도할 수 있는가? 즉, 험-대체 대수가 험-말츠레프-가능성으로 일반화될 수 있는가?
• RQ2 험-대체 대수가 험-조르단-가능성이 되는 험-조르단 대수의 정의는 존재하는가? 이는 고전적 조르단-가능성의 대체 대수에 대한 일반화와 유사한가?
• RQ3 험-대체 대수가 고전적 무방형 항등식과 유사한 험-무방형 항등식을 만족하는가?
• RQ4 어떤 대수 자기사상 α에 의한 변형 하에 험-말츠레프 및 험-조르단-가능성 성질이 유지되는가?
• RQ5 험-대체 대수의 구조적 항등식, 예를 들어 험-무방형 항등식은 무엇인가?

주요 결과

• 험-대체 대수는 험-말츠레프-가능성임: 임의의 험-대체 대수의 교환자 험-대수는 험-말츠레프 대수이다.
• 새로운 험-조르단 대수의 정의를 제안하여, 임의의 험-대체 대수의 플러스 험-대수는 험-조르단 대수가 되며, 이로써 험-조르단-가능성이 입증된다.
• 파생된 험-대수 구성과 임의의 대수 자기사상 α에 의한 변형 하에 험-말츠레프 항등식이 유지되며, 험-말츠레프 대수의 클래스는 이에 대해 닫혀 있다.
• 험-대체 대수에서는 험-무방형 항등식이 성립한다: ((xy)α(x))α²(z) = α²(x)(α(y)(xz)), ((zx)α(y))α²(x) = α²(z)(α(x)(yx)), 그리고 α((xy)(zx)) = α²(x)((yz)α(x)).
• 예시들은 험-대체 대수가 비-험-리 험-말츠레프 대수를 유도할 수 있음을 보이며, 또한 험-유연성과 험-말츠레프-가능성이지만 험-대체나 말츠레프-가능성이 아닌 대수도 존재함을 보여준다.
• 3×3 허미션형 옥토니온 행렬의 27차원 예외적 단순 조르단 대수는 새로운 구성에 의해 비-조르단 험-조르단 대수를 유도한다.