지역상수 n‑오페라드와 고차 브레이드 오페라드

본 논문은 “지역상수 n‑오페라드”라는 새로운 범주를 제시하고, 이를 고차 브레이드 오페라드의 모델로 해석한다. 서론에서는 계약 가능한 비대칭, 브레이드, 대칭 오페라드가 각각 1‑fold, 2‑fold, ∞‑fold 루프 공간을 탐지한다는 사실을 상기하고, G(n)‑그룹을 통한 직접적인 일반화가 불가능함을 논증한다. 2장에서는 대칭군 Sₙ과 브레이드군 Bₙ을 이용한 전통적인 대칭·브레이드 오페라드의 정의를 정리한다. 여기서 오른쪽 대칭 컬렉션 A: S^{op}→V와 오른쪽 브레이드 컬렉션 A: Br^{op}→V를 각각 소개하고, 연산 μ_σ와 단위 e에 대한 공리들을 제시한다. 3장에서는 n‑ordinal이라는 고차 차원의 ‘ordinal’ 개념을 도입한다. n‑ordinal은 n개의 이진 관계 <₀,…,<_{n‑1} 로 구성된 유한 집합이며, 각 관계는 비반사적이고 두 원소 사이에 정확히 하나의 관계가 존재한다는 공리를 만족한다. 이러한 구조는 n‑레벨 프루닝된 평면 트리와 동형이며, 수직·수평 서스펜션 연산 S와 T을 통해 Ord(n)→Ord(n+1) 사이의 사상들을 정의한다. 또한, ∞‑ordinal을 정의해 Ord(∞)를 Ord(n)들의 콜리밋으로 표현한다. 4장에서는 ‘quasibijection’(기저 집합 전단사)과 ‘order‑preserving’ 사상의 분해 정리를 증명한다(Lemma 3.1). 임의의 사상 σ:T→S는 전단사 π와 순서보존 사상 ν의 합성으로 분해될 수 있으며, π는 섬유들의 총 순서를 보존한다. 이 정리는 이후 operad 구조를 정의할 때 핵심적인 도구가 된다. 5장에서는 ‘quasisymmetric n‑operad’를 정의한다. n‑ordinal을 객체로 하는 컬렉션 A_T와, 각 순서보존 사상 σ에 대한 곱셈 μ_σ를 부여한다. 전단사 σ에 대해서는 A(σ):A_S→A_T 가 동형이어야 하며, 이는 A가 Q_n(전단사 범주)의 반변함수임을 의미한다. 또한, Q_n‑operad(전단사와 순서보존 사상을 동시에 다루는 구조)와 quasisymmetric n‑operad 사이의 동등성을 Theorem 4.1 로 증명한다. 6장에서는 ‘locally constant n‑operad’를 도입한다. Q_n‑operad에 추가적인 지역상수성 조건을 부과하는데, 이는 섬유가 계약 가능한 경우(섬유가 U_n인 경우) 전단사에 의한 사상이 동형이며, 그 동형이 연속적으로 변하지 않음(동형류가 상수)임을 요구한다. 이 조건을 통해 n‑fold 루프 공간을 모델링할 수 있음을 보이며, n = 1, 2, ∞에 대해서는 각각 비대칭, 브레이드, 대칭 오페라드와 호모토피 동등함을 확인한다. 특히, n = 2인 경우에는 기존 브레이드 오페라드와 동형인 고차 브레이드 오페라드라는 새로운 시각을 제공한다. 7장에서는 전체적인 결과를 정리하고, 지역상수 n‑오페라드가 고차 루프 공간 인식 원리(recognition principle)와 어떻게 연결되는지를 논한다. 구체적으로, 계약 가능한 지역상수 n‑오페라드 A에 대해, A‑알제브라가 충분히 자유롭고 가환이면 그 실현 공간은 n‑fold loop space와 동형임을 보인다. 결론적으로, 논문은 전통적인 G(n)‑그룹 접근법이 고차 차원에서 실패함을 지적하고, n‑ordinal과 quasibijection을 이용한 새로운 구조인 ‘지역상수 n‑오페라드’를 제시함으로써 비대칭·브레이드·대칭 오페라드 사이의 연속적인 사다리를 제공한다. 이는 고차 대칭성, 고차 루프 공간 이론, 그리고 고차 연산대수 구조 연구에 중요한 도구가 될 것으로 기대된다.