제3거듭제곱 결합성을 갖는 비결합 대수와 그 변형 이론

초록

본 논문은 대칭군 S₃의 자연 작용에 대해 1차원 불변 벡터공간을 갖는 연관자(associator)의 대칭 관계를 만족하는 두 종류의 비결합 대수를 연구한다. 기존 연구에서 다룬 Lie‑admissible 대수와 달리, 이번에는 연관자가 세 번 곱셈에 대해 완전히 대칭인 제3거듭제곱 결합성(algebra of third power associative) 대수에 초점을 맞춘다. 유연(algebra)·대체(alternative) 대수, 관련 operad 구조, 그리고 변형 이론을 통합적으로 분석하고, 새로운 동형 사상과 코호몰로지 계산을 제시한다.

상세 분석

논문은 먼저 S₃가 3개의 인자를 가진 연관자 A(x,y,z)= (xy)z−x(yz) 에 작용할 때, 그 불변 부분공간이 1차원이라는 사실을 이용해 두 가지 대수 클래스를 정의한다. 첫 번째는 기존에 저자들이 연구한 Lie‑admissible 대수이며, 두 번째가 이번 논문의 핵심인 ‘제3거듭제곱 결합성’ 대수이다. 제3거듭제곱 결합성은 모든 원소 a∈A에 대해 (aa)a = a(aa) 가 성립함을 의미하며, 이는 연관자를 완전 대칭화한 조건 (A(x,y,z)=A(y,z,x)=A(z,x,y))과 동치이다.

이러한 대수는 유연 대수와 대체 대수의 공통된 일반화 형태를 제공한다. 유연 대수는 (xy)x = x(yx) 를, 대체 대수는 (xx)y = x(xy) 와 y(xx) = (yx)x 를 만족한다. 논문은 이 두 조건이 제3거듭제곱 결합성의 특수 경우임을 보이며, 따라서 기존에 알려진 많은 예제가 새로운 프레임워크 안에 자연스럽게 포함된다는 점을 강조한다.

다음으로 저자는 이 대수들을 기술하는 operad 을 구성한다. 구체적으로, 연관자에 대한 S₃‑대칭 관계를 generators와 relations 로 표현한 ‘삼중 대칭 operad’(denoted 𝔖₃) 를 정의하고, 이를 통해 자유 대수와 그 표준 표현을 기술한다. 𝔖₃‑operad 은 Koszul 이며, 그 이중(dual) operad은 제3거듭제곱 결합성의 코호몰로지를 계산하는 데 핵심적인 역할을 한다.

변형 이론 측면에서는 Gerstenhaber‑type bracket 를 이용해 𝔖₃‑operad 의 Hochschild‑like cohomology 를 정의하고, 2‑코사이클이 제3거듭제곱 결합성 대수의 일차 변형을, 3‑코사이클이 변형의 장애(obstruction)를 담당한다는 결과를 얻는다. 특히, 대체 대수와 유연 대수는 각각 특수한 2‑코사이클 클래스를 갖으며, 이들은 변형이 ‘유연성’ 혹은 ‘대체성’ 을 유지하도록 제한한다.

마지막으로 저자는 구체적인 예시들을 제시한다. 예를 들어, 실수와 복소수 위의 사원수 대수(H)는 대체이면서 제3거듭제곱 결합성을 만족한다. 또한, 마야 대수와 같은 비대체 비유연 대수도 𝔖₃‑operad 의 관계를 만족하도록 재구성될 수 있다. 이러한 예시들은 새로운 operadic 프레임워크가 기존의 다양한 비결합 구조를 포괄적으로 설명할 수 있음을 보여준다.

전체적으로 논문은 비결합 대수의 분류를 S₃‑대칭 관점에서 재정립하고, operad 과 변형 이론을 결합함으로써 기존 연구의 한계를 넘어서는 일반적인 구조론을 제시한다.