프뢰베니우스 대수와 양바텍스 방정식의 코호몰로지 연구

논문은 프뢰베니우스 대수의 곱(µ)과 협곱(Δ) 사이에 존재하는 호환성 조건을 출발점으로, 이 구조에 대한 저차원 코호몰로지 이론을 체계적으로 구축한다. 2차원 TQFT에서 등장하는 프뢰베니우스 대수는 비대칭적인 내적 β와 그에 대응하는 코프라잉 γ 로 정의되며, 이들 사이의 관계는 “취소(cancellation)” 식으로 표현된다. 저자는 먼저 프뢰베니우스 대수 A를 유한 차원 k-벡터공간으로 가정하고, 체인군 Cⁿ_f(A;A)=⊕_{i=1}^{n} Hom(A^{⊗(n+1−i)},A^{⊗ i}) 를 정의한다. n=1,2,3 에 대해 구체적인 차원별 구성요소를 제시하고, 차동 연산자 d₁, d₂, d₃ 를 도식화된 그림과 함께 상세히 기술한다. 1차 차동 d₁은 기존 Hochschild 차동과 유사하게, 선형 변형 h∈Hom(A,A)에 대해 곱과 협곱에 대한 연산을 각각 적용한 후 차이를 취한다. 이를 통해 D₁=h↦(µ∘(h⊗id)+µ∘(id⊗h)−h∘µ, (h⊗id)∘Δ+(id⊗h)∘Δ−Δ∘h) 로 정의하고, D₁=0 은 1‑코사이클 조건을 의미한다. 2차 차동 d₂는 (φ₁,φ₂)∈C²_f(A;A) 에 대해 네 개의 식으로 구성된다. 첫 번째 식은 곱의 결합법칙 위반을, 두 번째·세 번째 식은 µ와 Δ 사이의 호환성 위반을, 네 번째 식은 협곱의 공동결합법칙 위반을 각각 측정한다. d₂와 d₁ 사이의 합성 D₂=d₂∘D₁=0 임을 증명함으로써 체인의 정확성을 확보한다. 3차 차동 d₃는 (ξ₁,ξ₂,ξ₃)∈C³_f(A;A) 에 대해 정의되며, 각 ξ는 2차 변형 과정에서 나타난 장애 항이다. d₃는 이들 장애를 다시 곱·협곱에 삽입해 고차원 호환성을 검증한다. D₃∘D₂=0 을 만족함을 보여, 전체 복합체 (Cⁿ_f, Dₙ) 가 코호몰로지 복합체임을 확인한다. 이론적 틀을 바탕으로 저자는 여러 전형적인 프뢰베니우스 대수 예시를 분석한다. 복소수 삼각대수(예: i²=−1)에서는 손잡이 원소 δₕ=2 로, H¹=0, H²=0 을 얻는다. 다항식 대수 k