[논문 리뷰] Relative (non-)formality of the little cubes operads and the algebraic Cerf Lemma

Victor Tourtchine, Thomas Willwacher|arXiv (Cornell University)|2014. 08. 30.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 $\mathbb{R}$ 위에서 little cubes operads $E_n \to E_{n+k}$의 상대적 형식성에 대해 규명하며, $k \geq 2$일 경우 형식성이 성립하고 $k = 1$일 경우 형식성이 성립하지 않음을 증명한다. 또한 $E_n \to E_{n+1}$의 변형 복합체의 호몰로지 계산을 통해 위상수학적 Cerf의 보조정리의 대수적 판본을 제시하고, 변형 이론이 $E_{n+1}$의 호모토피 도함수들에 의한 cup 곱으로 완전히 지배됨을 보여준다.

ABSTRACT

It is shown that the operad maps $E_n o E_{n+k}$ are formal over the reals for $k\geq 2$ and non-formal for $k=1$. Furthermore we compute the cohomology of the deformation complex of the operad maps $E_{n} o E_{n+1}$, proving an algebraic version of the Cerf Lemma.

연구 동기 및 목표

• operad 사상 $E_n \to E_{n+k}$에 대한 상대적 형식성 문제를 $\mathbb{R}$ 위에서 해결하며, 특히 $k \geq 2$와 $k = 1$을 구분한다.
• $E_n \to E_{n+1}$의 operad 사상에 대한 변형 복합체의 호몰로지를 계산하여, 위상수학적 Cerf의 보조정리에 대응하는 대수적 판본을 확립한다.
• operad 사상의 변형 이론을 통해 $n$-다양체가 $n+1$-다양체에 임베딩되는 데서 발생하는 강성에 대해 이해한다.
• $E_n \to E_{n+1}$의 대수적 변형 이론을 임베딩 공간과 미분동형사상군의 위상수학과 연결한다.
• operad 사상의 맥락에서 유도된 이중모듈러와 도함수 사이의 일반적 이중성에 대한 추측을 제기하며, 임의의 계수로 확장한다.

제안 방법

• Kontsevich-Lambrecht-Volić의 구성 방식을 변형하여 Fulton-MacPherson operads $\mathsf{FM}_n$ 위의 준대수적 미분형식을 사용한다.
• 일부 형식이 $\mathsf{FM}_{n+k}$에서 $\mathsf{FM}_n$으로 제한될 때의 차수 계산을 통해 $k \geq 2$일 경우 이 형식이 0이 됨을 보여, 형식성이 성립함을 증명한다.
• $\mathsf{FM}_{n+1}$에서 특정 그래프와 관련된 비영인 형식이 $\mathsf{FM}_n$으로 제한될 때 0이 되지 않음을 확인하여 $k=1$일 경우의 비형식성을 증명한다.
• operad 사상의 변형 이론을 적용하며, 변형 복합체의 호몰로지가 $E_{n+1}$의 호모토피 도함수들에 의한 cup 곱으로 연결됨을 이용한다.
• 비유계 체인 복합체 이론과 유도된 operad 사상을 사용하여 변형 복합체의 호몰로지를 이동된 도함수들과 연결한다.
• Goodwillie-Weiss 미분계산법과 스펙트럴 시퀀스의 붕괴 결과를 활용하여 대수적 형식성과 위상수학적 임베딩 공간을 연결한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 1$에 대해 $\mathbb{R}$ 위에서 operad 사상 $E_n \to E_{n+k}$는 형식적인가?
• RQ2 $E_n \to E_{n+1}$의 operad 사상에 대한 변형 복합체의 호몰로지는 무엇이며, $E_{n+1}$의 도함수들과 어떻게 관련이 있는가?
• RQ3 $E_n \to E_{n+1}$의 변형 이론이 호모토피 도함수들의 cup 곱에 의해 완전히 기술될 수 있는가?
• RQ4 $E_n \to E_{n+k}$의 상대적 형식성이 임베딩 공간의 Goodwillie-Weiss 탑재 스펙트럴 시퀀스에 어떤 영향을 미치는가?
• RQ5 대수적 변형 복합체가 미분동형사상군 $\mathit{Diff}_\partial(D^{n+1})$의 싱귤러 체인 공간을 어느 정도 모델링할 수 있는가?

주요 결과

• operad 사상 $E_n \to E_{n+k}$는 $\mathbb{R}$ 위에서 형식적이며, $k \geq 2$일 때에만 성립하며, $k = 1$일 경우 비형식성이 입증된다.
• $E_n \to E_{n+1}$의 변형 복합체의 호몰로지는 $E_{n+1}$의 호모토피 도함수들의 이미지의 cup 곱으로 생성되며, 이는 대수적 Cerf의 보조정리의 증명이 된다.
• $n \geq 2m + 2$일 경우, $H_*(Emb(M^m, \mathbb{R}^n))$을 계산하는 스펙트럴 시퀀스는 유리수 계수에서 두 번째 항에서 붕괴함을 보이며, 이는 이전의 경계를 향상시킨다.
• $k=1$일 경우, $\mathsf{FM}_{n+1}$에서 비영인 준대수적 형식이 $\mathsf{FM}_n$으로 제한될 때 0이 되지 않아 형식성이 방해되며, 이는 코homological 장벽을 제공한다.
• $E_n \to E_{n+1}$의 변형 복합체는 $E_{n+1}$의 호모토피 도함수들의 이동된 복합체와 quasi-isomorphic하다. 이는 임베딩의 강성을 보여준다.
• 연구된 사례들에서 $\operatorname{hIBim}_{E_m^\mathbb{1}}(E_m^\mathbb{1}, \mathcal{O}) \simeq \mathrm{hDer}_*(E_m \to \mathcal{O})[m+1]$의 추측이 $\mathbb{R}$ 위에서 성립하며, 형식성과 이중성에 기반한 증거가 있다.