[논문 리뷰] Framed discs operads and the equivariant recognition principle

Paolo Salvatore, Nathalie Wahl|ArXiv.org|2001. 06. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 6

한 줄 요약

이 논문은 프레임드 $n$-디스크 작용소 $f\mathcal{D}_n$에 대한 등변 인식 원리를 수립하여, $SO(n)$-공간 위의 $n$-중 루프 공간과 호모토피적으로 약하게 동치인 군적 공간이 $f\mathcal{D}_n$에 작용할 경우를 보여준다. 이는 위상수학적 및 체인 작용소에 대한 반직접곱 구조를 도입하고, $H$-모듈러스에 대한 코즐 듀얼리티를 정의하며, 유리수 호모로지에서 $f\mathcal{D}_n$의 구조를 바탈린-빌코비츠 대수로 계산한다. 이는 $S^1$-공간 위의 이중 루프 공간에 응용된다.

ABSTRACT

The framed n-discs operad fD_n is studied as semidirect product of SO(n) and the little n-discs operad. Our equivariant recognition principle says that a grouplike space acted on by fD_n is equivalent to the n-fold loop space on a SO(n)-space. Examples of fD_2-spaces are nerves of ribbon braided monoidal categories. We compute the rational homology of fD_n. Koszul duality for semidirect product operads of chain complexes is defined and applied to compute the double loop space homology as BV-algebra.

연구 동기 및 목표

• 반복 루프 공간에 대한 고전적 인식 원리를, 프레임드 $n$-디스크 작용소 $f\mathcal{D}_n$를 통해 회전 대칭성을 포함하도록 확장하기 위해.
• 군적 연결 조건 하에서 $SO(n)$-공간과 $f\mathcal{D}_n$에 작용하는 공간 사이의 범주적 동치를 수립하기 위해.
• 위상수학적 및 체인 복합체에서의 작용소에 대해 반직접곱 구조를 정의하여, $G$-공간 위의 대수적 구조를 가능하게 하기 위해.
• 체인 복합체의 반직접곱 작용소에 대해 코즐 듀얼리티 이론을 개발하고, 반직접곱의 구조를 유지하기 위해.
• 최소 모델과 미분을 사용하여, $f\mathcal{D}_n$의 유리수 호모로지와 이중 루프 공간 호모로지를 BV-대수로 계산하기 위해.

제안 방법

• 프레임드 $n$-디스크 작용소 $f\mathcal{D}_n$를 $\mathcal{D}_n \rtimes SO(n)$의 반직접곱으로 표현하며, 여기서 $\mathcal{D}_n$은 작은 $n$-디스크 작용소이다.
• $G$-작용소 $\mathcal{A}$에 대해 반직접곱 작용소 $\mathcal{A} \rtimes G$를 정의하며, 이는 $\Sigma_k$-대칭의 대각 작용과 $G$-작용에 의한 왜곡된 복합 구조를 포함한다.
• 호모로지 함자를 사용하여 반직접곱과 가환성을 보장하며, $f\mathcal{D}_n$-대수의 유리수 호모로지가 BV-대수의 구조를 상속함을 보인다.
• 체인 복합체의 반직접곱 작용소에 대해 코즐 듀얼리티를 정의하며, 이중 작용소가 반직접곱의 형태를 유지하고, 유도 범주 동치를 유도한다.
• $P\rtimes H$-대수의 작용소 호모로지를 $H(C_P(A))$로 정의하며, 여기서 $C_P(A)$는 $d_1 + d_2$의 왜곡된 미분을 갖는 코바르 유형 복합체이다.
• 이 기계를 적용하여, 최소 모델 $M(X)$과 $S^1$-작용에 의해 유도된 미분 $\Delta$를 사용하여, $S^1$-공간 $X$에 대해 $H_*(\Omega^2X)$를 BV-대수로 계산한다.

실험 결과

연구 질문

• RQ1 고전적 반복 루프 공간 인식 원리는 어떻게 회전 대칭성을 포함하도록 확장될 수 있는가?
• RQ2 프레임드 $n$-디스크 작용소 $f\mathcal{D}_n$의 유리수 호모로지의 대수적 구조는 무엇인가?
• RQ3 군 작용을 가진 작용소에 대해 코즐 듀얼리티를 일반화할 수 있으며, 반직접곱의 구조를 유지하는가?
• RQ4 최소 모델을 통해 $S^1$-공간 위의 이중 루프 공간 호모로지에 대한 BV-대수의 구조는 어떻게 계산할 수 있는가?
• RQ5 구면 호모로지 클래스 위의 BV-연산자 $\Delta$의 기하학적 해석은 무엇인가?

주요 결과

• 프레임드 $n$-디스크 작용소 $f\mathcal{D}_n$는 반직접곱 $\mathcal{D}_n \rtimes SO(n)$과 동형이며, 이에 따라 $f\mathcal{D}_n$-대수는 $SO(n)$-공간의 범주 내에서 $\mathcal{D}_n$-대수로 해석될 수 있다.
• 등변 인식 원리에 따르면, 군적 $f\mathcal{D}_n$-공간은 $SO(n)$-공간 위의 $n$-중 루프 공간과 약한 호모토피 동치이다.
• 유리수 호모로지에서 $f\mathcal{D}_n$의 구조는 BV-대수로 계산되며, 임의의 $f\mathcal{D}_n$-대수의 유리수 호모로지 역시 BV-대수의 구조를 지닌다.
• BV-작용소는 이론적으로 이중화된 자가-코즐이며, 반직접곱 작용소에 대한 코즐 듀얼리티는 반직접곱의 구조를 유지한다.
• 유형이 유한하고 $2$-연결된 $S^1$-공간 $X$에 대해, $BV^\dagger$-대수 $\Sigma m(X)$의 작용소 호모로지는 BV-대수로서 $H_*(\Omega^2X)$와 동형이다.
• 구면 클래스 위의 BV-연산자 $\Delta$는 $X \wedge S^1_+$ 위의 $S^1$-작용에 의해 유도되는 사상 $s_X: \pi_n(X) \to \pi_{n+1}(X)$로 기하학적으로 실현된다.