붙여넣기 도표의 변형 이론

초록

본 논문은 Power의 2‑범주 이론을 확장하여, 합성 가능성이나 교환성을 요구하지 않는 일반적인 붙여넣기 도표를 정의하고, 이를 $k$‑선형 범주에 값하는 경우에 대한 변형 복합체를 구축한다. Gerstenhaber‑Schack의 대수 도표 변형 이론과 유사한 구조를 보이며, 변형 복합체의 코호몰로지, 차폐 이론, 그리고 호모토피 $G$‑대수와의 관계를 입증한다. 결과적으로 2‑범주 수준에서의 동형 사상과 고차 연산을 포괄하는 새로운 bicategorical homotopy $G$‑algebra을 제시한다.

상세 분석

이 연구는 2‑범주 이론에서 핵심적인 도구인 “붙여넣기 도표(pasting diagram)”를 기존의 제한적 가정—즉, 모든 2‑셀들이 서로 합성 가능하고, 전체 도표가 교환성을 만족한다는 전제—을 버리고 일반화한다. Power가 제시한 “strictification”과 “coherence” 기법을 바탕으로, 저자는 합성 가능성이나 교환성을 강제하지 않는 임의의 2‑셀 집합을 그래프‑형식으로 기술하고, 이를 “composable part”와 “commutative part”라는 두 개의 서브다이어그램으로 분리한다. 이러한 분해는 변형 이론을 전개할 때 필수적인데, 변형 복합체는 각 부분에 대해 별도의 코체인 복합을 정의하고, 그 사이의 상호작용을 고차 연산(예: $A_\infty$‑구조)으로 기술한다.

다음 단계에서는 $k$‑선형 범주에 값을 갖는 붙여넣기 도표를 대상으로, Gerstenhaber‑Schack이 대수 도표에 대해 만든 변형 복합체와 구조적으로 동등한 복합체를 구축한다. 구체적으로, 각 1‑셀(함자)와 2‑셀(자연 변환)에 대해 Hochschild‑type 코체인을 할당하고, 이들을 텐서곱과 합성 연산을 통해 연결한다. 핵심 결과는 다음과 같다. 첫째, 변형 복합체의 차수 $n$‑코체인은 $n$‑단계의 “삽입”과 “교환” 연산을 동시에 기록한다; 둘째, 이 복합체는 $L_\infty$‑구조를 띠어, 차폐(Obstruction) 이론이 Gerstenhaber‑Schack의 경우와 동일하게 전개된다—즉, 2‑차 차폐는 3‑차 코호몰로지 클래스에 귀속된다.

또한, 저자는 이 복합체가 “bicategorical homotopy $G$‑algebra”을 자연스럽게 유도함을 보인다. 여기서 $G$‑대수는 Gerstenhaber‑Voronov이 정의한 고차 연산 체계이며, 기존의 단일 범주 상황에서는 $G$‑대수 구조가 Hochschild 코호몰로지에 작용한다. 본 논문에서는 2‑범주 수준에서의 2‑셀 간 상호작용을 포착하기 위해, $G$‑연산을 두 차원으로 확장하고, 이 연산들이 교환성 없는 붙여넣기 도표의 변형 복합체와 어떻게 결합되는지를 상세히 기술한다. 결과적으로, 변형 이론과 고차 연산 사이의 깊은 연관성을 밝혀내어, 향후 2‑범주와 그 상위 구조(예: $(\infty,2)$‑범주)에서의 변형 및 형식화된 양자화 이론에 중요한 토대를 제공한다.