이중모노이달 범주에서의 중심과 호모토피 중심 이론

초록

이 논문은 두 개의 모노이달 구조가 얽힌 듀오이달 범주 위에 풍부화된 모노이달 범주에서 모노이드를 정의하고, 그에 대한 중심(δ‑센터)과 호모토피 중심을 구축한다. 전통적인 호흐시 복합을 일반화한 이 구조는 2‑범주 Cat, Gray‑범주, 그리고 Tamarkin의 dg‑범주 호모토피 2‑범주와 같은 중요한 예시들을 포괄한다. 또한, 중심이 듀오이드가 됨을 보이고, 호모토피 중심에 대한 Deligne 유형의 작용을 제시한다.

상세 분석

본 논문은 먼저 닫힌 대칭 모노이달 범주 (V) 위에 정의된 듀오이달 범주 (D) 를 도입한다. 듀오이달 구조는 두 개의 텐서곱 (\otimes_0,\otimes_1) 와 각각의 단위 객체 (e, v) 로 이루어지며, 이들 사이에 중간 교환 변환과 일련의 일관성 조건이 존재한다. 이러한 구조는 기존의 2‑모노이달(또는 2‑모노이달) 범주와 동일시될 수 있다. 논문은 (D) 가 또 다른 닫힌 대칭 모노이달 범주 (V) 로 풍부화될 때, (D)‑풍부한 모노이달 (V)-범주 (K) 를 고려한다. 여기서 “모노이드”는 단순히 기존 모노이달 구조의 객체가 아니라, 두 텐서곱에 대해 각각 단위와 곱을 갖는 복합 구조(두 개의 단위 연산을 포함)로 정의된다. 이는 전통적인 모노이드 개념이 (D) 가 브레이드된 경우와 달리 더 풍부한 정보를 담게 함을 의미한다.

모노이드 (M) 에 대해 저자는 (D) 안에서 코시미플렉스 객체 (\operatorname{CH}\delta(M,M)) 를 구성한다. 여기서 (\delta) 는 (V) 안의 코시미플렉스(예: 표준 코시미플렉스 혹은 상수 코시미플렉스)이며, (\operatorname{CH}\delta(M,M)) 는 Hochschild‑유사 복합의 일반화이다. (\delta) 가 상수 객체 (I) 일 때 이를 “센터”라 부르고, 일반 (\delta) 를 사용하면 (\delta)-센터가 된다. 중요한 점은 이 중심이 (K) 가 아니라 (D) 안에 존재한다는 것이다.

다음으로, 모델 구조가 존재하는 경우(예: (V) 가 모델 카테고리이고 (D) 가 적절히 모델 구조를 승계받을 때) 저자는 “호모토피 센터” (\operatorname{CH}(M,M)) 를 정의한다. 이는 (\delta) 를 가역적이고 코프리바런트한 선택으로 교체하고, (M) 의 코프리바런트 교체를 적용함으로써 얻어진다. 이 호모토피 센터는 전통적인 Hochschild 복합이 갖는 동형 사상과 동일한 동등성을 제공한다.

논문은 중심이 듀오이드(두 모노이달 구조를 동시에 만족하는 객체)임을 증명한다. 즉, (\operatorname{CH}_\delta(M,M)) 는 (\otimes_0) 와 (\otimes_1) 두 구조 모두에 대해 모노이드이며, 교환 변환에 의해 두 구조가 호환된다. 이는 고전적인 경우에서 중심이 교환 가능한 모노이드가 되는 것과 직접적인 일반화이다.

호모토피 센터에 대해서는 “Deligne conjecture”의 고차 버전을 제시한다. 구체적으로, 계약 가능한 2‑오페라드(2‑operad) 가 (\operatorname{CH}(M,M)) 에 작용한다는 것을 보이며, 이는 Tamarkin이 dg‑범주에 대해 증명한 결과와 일치한다. 저자는 이를 “(D)-Deligne conjecture”라 명명하고, 이후 논문에서 증명을 전개할 예정이라고 밝힌다.

또한, 다양한 예시를 통해 이론의 풍부함을 보여준다. 2‑범주 Cat 은 (D)‑풍부한 모노이드의 중심으로 등장하고, Gray‑범주와 Tamarkin의 호모토피 2‑범주는 각각 (\delta)-센터와 호모토피 센터의 구체적 구현이다. 듀오이달 범주의 다른 사례(예: Balteanu‑Fiedorowicz‑Schwänzl‑Vogt의 2‑모노이달 범주, Forcey의 2‑fold 모노이달 범주) 역시 이론에 적용 가능함을 언급한다.

마지막으로, 저자는 n‑모노이달(다중 모노이달) 범주로의 일반화를 제시하고, “(n+1)‑오페라드가 n‑오이드의 호모토피 센터에 작용한다”는 추측을 제시한다. 이는 고차 범주론에서 세미스트릭 n‑범주 모델을 구축하는 데 중요한 방향성을 제공한다.

전반적으로, 이 논문은 듀오이달 풍부화라는 새로운 관점을 통해 전통적인 중심·Hochschild 이론을 고차 범주와 호모토피 이론에 자연스럽게 연결시키며, Deligne‑유형 작용까지 포괄하는 포괄적인 프레임워크를 제시한다.