[논문 리뷰] Special identities for quasi-Jordan algebras

Murray R. Bremner, Luiz A. Peresi|arXiv (Cornell University)|2010. 08. 16.

Advanced Topics in Algebra참고 문헌 13인용 수 5

한 줄 요약

이 논문은 연관 대수의 이중대수를 통해 정의된 비가환적 일반화인 준조르단 대수에서 특수 항등식을 조사한다. 유한체 위에서의 컴퓨터 대수학과 대칭군의 표현 이론을 사용하여, 준조르단 곱에 대한 차수 ≤7의 모든 항등식이 세 가지 기본 항등식에서 유도됨을 보이며, 그러나 차수 8에서는 여섯 개의 새로운 항등식이 나타남을 밝혀내는데, 그 중 일부는 글렌리 항등식의 비가환적 전이로 간주될 수 있다. 또한 한 변수에 대해 선형인 새로운 특수 항등식이 구성되었으며, 이는 맥도널드의 특수 조르단 항등식에 관한 정리가 준조르단 대수로까지 확장되지 않음을 보여준다.

ABSTRACT

Semispecial quasi-Jordan algebras (also called Jordan dialgebras) are defined by the polynomial identities $a(bc) = a(cb)$, $(ba)a^2 = (ba^2)a$, and $(b,a^2,c) = 2(b,a,c)a$. These identities are satisfied by the product $ab = a \dashv b + b \vdash a$ in an associative dialgebra. We use computer algebra to show that every identity for this product in degree $\le 7$ is a consequence of the three identities in degree $\le 4$, but that six new identities exist in degree 8. Some but not all of these new identities are noncommutative preimages of the Glennie identity.

연구 동기 및 목표

• 연관 이중대수에서 준조르단 곱에 만족하는 모든 다항항등식이 오른쪽 교환성, 준조르단 항등식, 그리고 연관자-미분형 항등식이라는 세 가지 알려진 항등식의 결과인지 여부를 규명하는 것.
• 차수 ≤4의 알려진 항등식들에 의해 유도되지 않는, 차수 8에서의 특수 항등식이 존재하는지 조사하는 것.
• 클래식한 특수 조르단 대수 이론의 결과들, 예를 들어 맥도널드의 정리 등이 준조르단 대수의 비가환적 환경으로 어떻게 일반화되는지 탐색하는 것.
• 세 변수에 대해 선형인 특수 항등식을 명시적으로 구성하고 검증하는 것. 이는 특수 조르단 대수에서는 존재할 수 없는 형태이다.

제안 방법

• 자유 연관 이중대수에서 다중선형 항등식을 분석하기 위해 유한체 𝔽₁₀₁ 위에서 큰 행렬을 사용한 계산 기반 선형대수학을 적용한다.
• 대칭군의 표현 이론을 적용하여 단항식들을 그들의 결합 유형과 대칭성에 따라 분류한다.
• 자기적 전개 과정을 통해 자유 오른쪽 교환 대수에서 자유 연관 이중대수로 항등식을 승격시킨다.
• 계수 행렬의 행렬식을 101 모듈로로 줄인 행렬 기약행렬형태(RREF)를 계산하여 항등식 관계의 질량과 영공간을 결정한다.
• 이미 알려진 항등식들의 행공간에 속하지 않는 영공간 벡터를 식별하여 새로운 특수 항등식을 구성하고, 유리수 산술을 사용하여 ℚ에서 검증한다.
• 새로운 항등식이 자유 연관 이중대수에서 0으로 축소됨을 확인하여 유효한 특수 항등식임을 입증한다.

실험 결과

연구 질문

• RQ1 연관 이중대수에서 준조르단 곱에 대한 차수 ≤7의 모든 다항항등식이 차수 ≤4의 세 가지 알려진 항등식의 결과인지 여부?
• RQ2 연관 이중대수에서 준조르단 곱에 대해 차수 8에서 기존의 항등식들에 의해 유도되지 않는 새로운 항등식이 존재하는가?
• RQ3 세 변수에 대해 선형인 특수 항등식이 준조르단 대수에서 존재할 수 있으며, 이는 조르단 대수에서의 맥도널드 정리와 모순되는가?
• RQ4 최근 발견된 차수 8의 항등식들 중 일부가 글렌리 항등식의 비가환적 전이인가?
• RQ5 클래식한 특수 조르단 대수 이론의 결과들, 예를 들어 코언의 기준 또는 셰르쇼프의 정리 등이 반특수 준조르단 대수로까지 어느 정도 일반화되는가?

주요 결과

• 연관 이중대수에서 준조르단 곱에 대한 차수 ≤7의 모든 항등식은 오른쪽 교환성, 준조르단 항등식, 연관자-미분형 항등식이라는 세 가지 기본 항등식의 결과이다.
• 차수 ≤4의 항등식들에 의해 유도되지 않는 여섯 개의 새로운 차수 8 항등식이 존재하며, 이는 알려진 항등식 기반의 격차를 보여준다.
• 이 새로운 항등식들 중 일부는 글렌리 항등식의 비가환적 전이로 간주되며, 고전적 특수 조르단 항등식과의 구조적 연결 고리를 시사한다.
• 세 변수에 관여하고 한 변수에 대해 선형인 새로운 특수 항등식(항의 수 296개)이 구성되었으며, 이는 특수 조르단 대수에서는 존재할 수 없다.
• 이 새로운 항등식은 ℚ 위의 자유 연관 이중대수에서 0으로 축소됨을 검증하여 유효한 특수 항등식임을 확인하였다.
• 세 변수에 대해 한 변수에 대해 선형인 특수 항등식의 존재는 맥도널드의 정리가 준조르단 대수로까지 확장되지 않음을 보여준다.