단일성의 세 정의가 동등함

초록

본 논문은 A‑∞ 범주에 대한 세 가지 단일성 정의—첫 번째 저자가 제시한 정의, Kontsevich‑Soibelman 정의, Fukaya 정의—가 서로 동등함을 증명한다. 이를 위해 각 정의의 구조적 특징을 비교하고, 동등성을 보이는 사상과 동형 사상을 명시적으로 구성한다.

상세 분석

A‑∞ 범주는 고차 연산 μⁿ (n≥1) 으로 이루어진 구조이며, 단일성은 μ¹이 차등을, μ²가 합성을 담당하는 동시에 항등원을 포함하도록 하는 추가 조건이다. 기존 문헌에서는 세 가지 서로 다른 방식으로 단일성을 정의해 왔다. 첫 번째 저자가 제시한 정의는 각 객체 X에 대해 ‘엄격한 단위’ e_X∈Hom⁰(X,X) 를 도입하고, μ²(e_X, f)=f, μ²(g, e_X)=g, 그리고 μⁿ(…, e_X, …) =0 (n≠2) 를 요구한다. Kontsevich‑Soibelman(KS) 정의는 ‘약한 단위’ 구조를 사용한다. 여기서는 단위 원소가 존재한다는 대신, μ¹(e_X)=0 와 μ²(e_X, e_X)=e_X 가 만족하고, 고차 연산에 대한 ‘동형 사상’ 형태의 보조 조건을 도입한다. Fukaya 정의는 ‘A‑∞‑함수형’ 관점에서 단위 사상을 u_X:𝟙→X 로 두고, 이 사상이 μⁿ와 호환되는 일련의 ‘동형 사상’들을 요구한다. 논문은 먼저 각 정의가 내포하는 ‘동형 사상’ 집합을 명시적으로 기술한다. 그런 다음, 엄격 단위 구조에서 KS의 약한 단위 구조로 가는 전사 사상을 구성하고, 역으로 KS 구조에서 Fukaya 구조로 가는 사상을 만든다. 핵심은 고차 연산 μⁿ (n≥3) 에 대해 단위가 삽입될 때 발생하는 ‘동형 사상’들의 조정이 가능함을 보이는 것이다. 이를 위해 저자는 ‘homotopy unit’ 개념을 도입하고, 적절한 ‘A‑∞‑동형 사상’과 ‘A‑∞‑동형 동형 사상’을 이용해 삼각형 항등식이 만족함을 검증한다. 특히, μ³ 이상의 연산에 대해 단위 삽입이 ‘null‑homotopic’임을 보이며, 이는 KS 정의의 ‘unit up to homotopy’와 정확히 일치한다. 마지막으로 Fukaya 정의의 ‘unit morphism’이 KS 정의의 ‘homotopy unit’과 동등함을 보이기 위해, 복합 사상 ψ_X = μ²(e_X, –) 와 φ_X = μ²(–, e_X) 를 이용해 두 구조 사이의 자연 변환을 구성한다. 전체 증명 과정은 A‑∞‑함수형 범주의 모델 구조와, ‘quasi‑isomorphism’ 개념을 활용해 엄격성에서 약함으로, 다시 강함으로 이동하는 일련의 사상 사슬을 제공한다. 결과적으로 세 정의는 서로 동형 동등함을 갖으며, 이는 A‑∞ 범주의 단일성 개념이 본질적으로 하나의 동형 이론에 귀속됨을 의미한다.