호치스키 동시대 연산의 교차 구간군과 동형 유형

초록

이 논문은 호치스키 코호몰로지에 작용하는 모든 자연 연산을 모은 operad B가 작은 원판(little disks) operad의 체인 복합체와 동형(동등)임을 증명한다. 이를 위해 ‘교차 구간군(crossed interval groups)’이라는 새로운 범주적 도구를 도입하고, B를 이미 동형 유형이 알려진 부분 operad T의 교차 구간 확장으로 표현한다. 또한 B와 T 사이의 관계, 그리고 brace operad 등 여러 하위 operad들의 동형 유형을 상세히 기술한다.

상세 분석

논문은 먼저 호치스키 코호몰로지 C⁎(A;A) 위에 정의되는 자연 연산들의 전체 집합을 색깔이 있는 operad B로 구성한다. 여기서 색은 입력·출력 코호몰로지 차수를 나타내는 자연수 N이며, B는 “직관적 정의”(elementary operations: 삽입 ◦ᵢ, 곱셈 µ, 항등 id, 단위 1, 그리고 입력 순열)와 “좌표 자유 정의”(SymCat· 범주에서의 자연 변환) 두 가지 방식으로 기술된다. Theorem A는 이 두 정의가 동형임을 보이며, 이는 B가 실제로는 색깔이 있는 선형 연산들의 자유 모듈 구조임을 의미한다.

핵심 기술은 ‘교차 구간군’이라는 새로운 대수적 구조를 도입한 점이다. 기존의 교차 simplicial group ΔS를 일반화하여, 구간(category I)의 사상들을 포함하는 카테고리 IS를 만든다. IS‑모듈 구조 위에서 B는 자유 IS‑모듈 F_S(T) 로 표현되는데, 여기서 T는 ‘흰색 정점’만을 갖는 부분 operad이며, 이미