호몰로지 코체와 스위스 치즈 구조를 잇는 새로운 2색 연산자 G⁺와 형식성 전이

초록

이 논문은 호모토피 게르스텐하버 대수 구조를 다루는 연산자 G를 확장하여 2색 연산자 G⁺를 정의하고, 이를 통해 A∞‑대수 A의 호몰로지 코체 C(A)와 A 자체 사이에 Tamarkin의 G‑구조를 자연스럽게 연장한다. 이후 G⁺ 구조를 다항식 대수의 Hochschild 코체의 공동호몰로지로 전이함으로써 형식성 준동형사상을 구축한다. 또한 G⁺가 Voronov의 Swiss Cheese operad의 Fulton‑MacPherson 모델 SC의 첫 번째 시트 E¹(SC) 의 부분 DG 연산자임을 보이고, 두 DG 연산자 모두 비형식적임을 증명한다.

상세 요약

논문은 먼저 기존의 단일 색 연산자 G(호모토피 게르스텐하버 대수)와 2색 연산자 OCHA(열린‑닫힌 호모토피 대수)를 연결하는 새로운 2색 연산자 G⁺를 구축한다. G⁺는 색1(코체 C(A))에 대해 G‑구조를, 색2(A 자체)에 대해 OCHA‑구조를 동시에 만족하도록 설계되었으며, 두 색 사이의 작용을 제어하는 교차 연산자를 포함한다. 이때 핵심은 Tamarkin이 구축한 G‑구조가 A∞‑대수 A의 Hochschild 코체 C(A)에만 국한되지 않고, A와의 자연스러운 쌍(pair) (C(A),A) 전체에 확장될 수 있다는 점이다. 저자들은 이 확장을 명시적으로 기술하고, 연산자들의 차등과 작용이 A∞‑구조와 일치함을 검증한다.

다음 단계에서는 다항식 대수 k