다이알제브라의 최소범용 변형 이론

본 논문은 다이알제브라(dialgebra)의 변형 이론을 전면적으로 정립하고, 최소범용(miniversal) 변형을 구체적으로 구성하는 방법을 제시한다. 서론에서는 다이알제브라가 리베이츠(Leibniz) 대수와 연관된 비가환 구조이며, J‑L. 로다이에 의해 처음 도입되었음을 언급한다. 다이알제브라는 두 개의 이항 연산 \(\dashv\)와 \(\vdash\)가 다섯 개의 연산식(2.1.1)을 만족하는 K‑벡터공간으로 정의된다. 저자는 이러한 구조를 이해하기 위해 평면 이진 트리와 면 사상 \(d_i\)를 이용한 코체인 복합체 \(C_Y^\ast(D,D)\)를 구축한다. 여기서 코체인 차수 \(n\)은 트리의 정점 수와 일치하며, 코바운더리 연산 \(\delta\)는 트리의 면을 삭제하는 방식으로 정의된다. 또한, 전치(pre‑Lie) 곱 \(\circ\)와 그에 따른 차등 그레이드 리 대수 구조 \((C_Y^\ast(D,D),d)\)를 도입해 코호몰로지 \(H_Y^\ast(D,D)\)가 변형을 제어하는 자연스러운 대상임을 보인다. 두 번째 장에서는 변형의 기본 개념을 정의한다. 베이스가 되는 가환 단위 대수 \(A\)와 그 증강 \(\varepsilon:A\to K\)를 고정하고, \(A\)-선형 다이알제브라 구조 \(\lambda\)를 \(A\otimes D\)에 부여한다. 이때 \(\varepsilon\otimes\mathrm{id}\)가 다이알제브라 동형사상을 유지하도록 요구한다. 변형의 동등성은 \(A\)-선형 동형사상으로 정의되며, 베이스가 국소(local)인 경우를 ‘국소 변형’, 최대 아이디얼의 제곱이 0이면 ‘무한소 변형’이라 부른다. 형식 변형은 완전 국소 대수 \(A\)에 대해 무한히 많은 차수까지의 완성 텐서곱 \(A\widehat{\otimes}D\) 위에서 정의된다. 세 번째 장에서는 무한소 변형의 구체적인 예시를 제시한다. \(H_Y^2(D,D)\)가 유한 차원이라고 가정하고, 베이스를 \(A=K\oplus H_Y^2(D,D)'\) (선형쌍대) 로 잡는다. 코호몰로지 클래스 \(\alpha\in H_Y^2(D,D)\)에 대해 대표 코체인 \(\mu(\alpha)\)를 선택하고, 이를 이용해 새로운 곱 \(\dashv_\lambda,\vdash_\lambda\)를 정의한다. 이때 \((x_1,\phi_1)\dashv_\lambda(x_2,\phi_2)=(x_1\dashv x_2,\psi_\ell)\)와 \(\psi_\ell(\alpha)=\mu(\alpha)(