대수적 (공)동조론에서의 이중성·곱 구조와 ×ₐ‑Hopf 대수의 통합적 해석

본 논문은 대수적 (공)동조론에서 나타나는 곱 구조와 이중성 현상이 근본적으로 ×ₐ‑Hopf 대수라는 새로운 대수적 구조에 의해 설명될 수 있음을 보인다. 저자는 먼저 A를 중심이 있는 k‑알gebra이라 가정하고, Aᵉ‑알gebra U에 대해 ×ₐ‑bialgebra의 정의를 제시한다. 이는 전통적인 bialgebra와 달리 코곱 Δ와 counit ε가 A‑양쪽(양)모듈 구조와 호환되도록 A‑중심을 고려한 특수한 임베딩 ι와 π를 통해 정의된다. 그 다음, Galois map β: U⊗ₐU → U⊗U를 정의하고, β가 전단사이면 U를 ×ₐ‑Hopf algebra라 부른다. β⁻¹ 로부터 얻어지는 translation map u⁺⊗ₐᵒᵖu⁻ 은 (10)–(15)와 같은 여러 연산적 성질을 만족한다. 이러한 성질은 U‑Mod이 A‑양쪽프로젝트ive일 때, ⊗ₐ 연산이 U‑Mod 위에 단조로운(monidal) 구조를 부여함을 보장한다(정리 4). 특히, U‑Mod이 모노이달 카테고리이면, 그 반대 범주 Uᵒᵖ‑Mod도 동일한 구조를 갖게 되며, 이는 “module category over (U‑Mod,⊗,A)” 라는 개념으로 정리된다(Lemma 16). 이제 이러한 카테고리적 배경 위에 Ext와 Tor 사이의 자연적인 곱 연산을 정의한다. 구체적으로, M∈U‑Mod, N∈Uᵒᵖ‑Mod에 대해 a: Extᵐ_U(A,M) × Torₙ^U(N,A) → Tor_{n−m}^U(M⊗N,A) 가 존재한다. 여기서 “⊗”는 위에서 정의된 모노이달 구조에 의해 주어지는 U‑action을 사용한다. 다음으로, A가 유한 길이의 프로젝트ive 해석을 갖고, 특정 차원 d에서만 Extᵈ_U(A,U)≠0인 경우를 가정한다. 이때 A*:=Extᵈ_U(A,U) 라고 두고, ω∈Tor_d^U(A*,A) 라는 기본 클래스를 정의한다. ω는 “캡” 연산을 통해