A∞ 바이알제브라 사상과 새로운 적용

1. 서론에서는 저자들이 이전 논문에서 정의한 A∞‑바이알제브라의 객체적 측면을 간략히 복습하고, 현재 논문에서 사상을 정의하려는 동기를 제시한다. 매트라드와 그 자유 구조인 H∞‑매트라드가 바이아소시아드라(KK)와 연관됨을 설명하고, 이를 확장한 이중다중다각형(bimultiplihedra, JJ) 를 소개한다. 2. 제2절에서는 매트라드의 기본 개념을 다시 정리한다. Mₙ,ₘ=Hom(H^{⊗m},H^{⊗n}) 로 정의된 이중그레이드 모듈 M 위에, 행·열 전치와 텐서 전치를 결합한 비선형 곱 ⊙ 를 정의하고, ω={ωₙ,ₘ} 가 ⊙‑제곱이 0이면 A∞‑바이알제브라 구조가 된다는 조건을 제시한다. 또한, ‘블록 트랜스버스 페어(Block Transverse Pair, BTP)’와 ‘트랜스버스 페어(Transverse Pair, TP)’라는 새로운 조합 규칙을 도입해 ⊙ 의 결합법칙을 제어한다. 3. 제3절에서는 ‘상대 매트라드’를 구축한다. 텔레스코핑 서브모듈 W⊂TTM 을 정의하고, 그 확장을 통해 ⊙ 가 잘 정의되는 부분집합을 확보한다. 이때 W의 행·열 부분모듈을 각각 W_row, W_col이라 하고, 이들에 대한 행·열 분해를 ‘행 팩터화’와 ‘열 팩터화’라 명명한다. 이러한 구조 위에 자유 상대 매트라드 F_pre(Θ) 를 생성하고, 동형 관계 ∼ 로 몫을 취해 실제 매트라드 구조를 얻는다. 4. 제4절에서는 JJₙ,ₘ 를 구체적으로 구성한다. JJₙ,ₘ 은 KKₙ,ₘ×I 를 적절히 세분화한 복합다각형이며, 최고 차원 셀 하나를 포함한다. 셀 체인 C∗(JJ) 에는 자연스럽게 H∞‑바이모듈 구조가 부여되고, 이는 자유 상대 매트라드 rH∞ 로 동형이다. 여기서 ‘바이모듈’이라는 용어는 두 매트라드 사이의 양방향 연산을 동시에 담당하는 구조를 의미한다. 5. 제5절에서는 A∞‑바이알제브라 사상 G:A⇒B 를 정의한다. Hom(TA,TB) 위에 존재하는 상대 매트라드 사상 φ:C∗(JJ)→Hom(TA,TB) 가 최고 차원 셀을 G에 매핑할 때, (A,B,G) 를 H∞‑바이모듈 위의 ‘바이모듈’이라고 부른다. 이는 기존의 A∞‑알제브라 사상이 단일 입출력에 국한된 것과 대비된다. 6. 제6절은 논문의 핵심 정리인 Theorem 2 를 증명한다. (i) 존재성: 호몰로지 동형 g:H∗(B)→B 와 섭동 h를 이용해 자유 해상도(RH,d) 위에 A∞‑바이알제브라 구조 ω_RH 를 구축하고, G:RH⇒B 를 정의한다. (ii) 유일성: 이러한 구조와 사상은 동형에 대해 유일함을 보인다. 증명은 JJ와 KK 의 셀 분할을 이용한 ‘블록 트랜스버스 페어’ 연산의 결합성을 활용한다. 이 결과는 Coalgebra Perturbation Lemma 을 일반화한 것으로, 오른쪽 호모트피 역함수가 없어도 구조 전달이 가능함을 보여준다. 7. 제7절에서는 다양한 응용을 제시한다. (a) 루프 공간 ΩX 의 단순 특이 체인 복합 S∗(ΩX;F) 가 자연스럽게 A∞‑바이알제브라 구조를 갖고, 그 호몰로지 H∗(ΩX;F) 에도 동일 구조가 유도된다. (b) Bott‑Samelson 동형 t∗:T̃H∗(X;F)→H∗(ΩΣX;F) 가 A∞‑바이알제브라 동형임을 증명하여, ΩΣX 의 유리 호몰로지에 첫 번째 비자명한 불변량을 제공한다(Corollary 2). (c) 각 n≥2 에 대해 특수 공간 Xₙ 을 구성하고, Steenrod 대수 A₂ 의 작용을 이용해 ω₂ⁿ:H∗(ΩXₙ;ℤ₂)⊗2→H∗(ΩXₙ;ℤ₂)⊗ⁿ 라는 비자명한 고차 연산을 명시한다. 이는 기존에 알려진 A∞‑코알제브라 연산을 넘어 바이알제브라 차원에서 새로운 구조를 발견한 사례이다. 마지막으로, 논문은 향후 연구 방향으로 상대 매트라드와 고차 연산의 범주적 해석, 그리고 다른 위상적 모델(예: 모듈러 스펙트럼)에서의 적용 가능성을 제시한다.