[논문 리뷰] Delooping of high-dimensional spaces of string links

Julien Ducoulombier|arXiv (Cornell University)|2018. 09. 03.

Algorithms and Data Compression참고 문헌 13인용 수 4

한 줄 요약

이 논문은 다변수 다양체 해석학과 작도 사상 공간을 통해 k중 이중모듈러스 오ペ라드 위의 k중 이중모듈러스에 대한 명시적 델로핑을 고차원 끈 링크 공간의 임베딩과 임베딩의 미분형식에 대해 수립한다. 모든 $i$에 대해 $d_i + 3 \ne n$ 조건 하에서, 호모토피 섬유 $L(d_1, \dots, d_k; n)$이 $d$중 반복 루프 공간과 호모토피 동치임을 증명하며, 이는 기존의 $k=1$에 대한 결과를 고차원 $k$로 일반화한다.

ABSTRACT

We study a connection between a multivariable version of the Goodwillie-Weiss' calculus of functors and derived mapping spaces of k-fold bimodules over a family of operads. As our main application, under the assumption $d_{i}+3\leq n$ for all $i\in \{1,\ldots,k\}$, we produce explicit deloopings of high-dimensional spaces of string links modulo immersions from $\sqcup_{i}\mathbb{R}^{d_{i}}$ to $\mathbb{R}^{n}$ and their polynomial approximations.

연구 동기 및 목표

• 고차원에서의 $k>1$ 끈 링크에 대해 기존의 장점 링크 모듈러스에 대한 델로핑 결과($k=1$)를 확장하기 위해.
• 임베딩 공간의 모듈러스 임베딩에 대한 호모토피 섬유인 공간 $\mathcal{L}(d_1,\ldots,d_k;n)$의 호모토피 유형을 이해하기 위해.
• 다중변수 Goodwillie-Weiss 다각형 해석학을 $k$중 무한소 이중모듈러스와 오페라드 위의 이중모듈러스에 대해 일반화하기 위해.
• 가족 오페라드 위의 이중모듈러스의 모델 카테고리 내에서 유도된 사상 공간을 사용하여 명시적 델로핑을 구성하기 위해.
• 기존의 $\mathcal{L}(d;n)$의 유리 호모토피 기술을 그래프 복합체와 일관된 오페라드를 사용하여 다중끈 경우로 일반화하기 위해.

제안 방법

• 다양체 해석학의 다변수 버전을 사용하여 $\coprod \mathbb{R}^{d_i}$에서 $\mathbb{R}^n$으로의 임베딩 공간을 분석한다.
• 임베딩 및 임베딩의 미분형식 공간을 모델링하기 위해 $k$중 무한소 이중모듈러스 이론과 $k$중 오페라드 위의 이중모듈러스 이론을 적용한다.
• 모델 카테고리의 기하학적 해석에서 유도된 사상 공간을 해결하기 위해 $k$중 이중모듈러스에 대한 Boardman-Vogt 해석을 구성한다.
• Reedy 및 프로젝티브 모델 카테고리의 기하학적 해석을 사용하여 $k$중 이중모듈러스에서 유도된 사상 공간을 정의한다.
• 임베딩 공간의 호모토피 유형이 반복 루프 공간과 연결됨을 보장하기 위해 일관된 오페라드의 개념을 활용한다.
• 작은 큐브 오페라드 $\mathcal{C}_d$에 이 프레임워크를 적용하고, 기존의 등가성에 기반해 결과를 그래프 복합체 호모로지와 연결한다.

실험 결과

연구 질문

• RQ1 기존의 $\mathcal{L}(d;n)$에 대한 델로핑 결과($k=1$일 때 유효)가 적절한 여유 차원 조건 하에서 $k>1$ 끈 링크로 확장 가능한가?
• RQ2 임베딩의 모듈러스 임베딩에 대한 호모토피 섬유인 공간 $\mathcal{L}(d_1,\ldots,d_k;n)$의 호모토피 유형은 무엇인가?
• RQ3 다변수 다각형 해석학은 어떻게 $가족 오페라드 위의 $k$중 이중모듈러스를 다룰 수 있도록 수정될 수 있는가?
• RQ4 Boardman-Vogt 해석은 $k$중 이중모듈러스에 대한 유도된 사상 공간을 실현하는 데 어떤 역할을 하는가?
• RQ5 기존의 여유 차원 조건 $2d_i+2\leq n$보다 더 약한 조건 하에서 $\mathcal{L}(d_1,\ldots,d_k;n)$의 유리 호모토피 유형을 그래프 복합체로 기술할 수 있는가?

주요 결과

• 모든 $i$에 대해 $d_i + 3 \leq n$ 조건 하에서, 공간 $\mathcal{L}(d_1,\ldots,d_k;n)$은 $d$중 반복 루프 공간과 호모토피 동치이며, 여기서 $d = \min\{d_1,\ldots,d_k\}$이다.
• 호모토피 섬유 $\mathcal{L}(d_1,\ldots,d_k;n)$이 약한 동치를 통해 $\Omega^d \operatorname{Map}^{\text{h}}_{\text{Bimod}}(\mathcal{C}_d, \mathcal{C}_n)$와 연결됨이 입증되었으며, 이는 $k=1$의 경우를 일반화한다.
• 유도된 사상 공간 $\operatorname{Map}^{\text{h}}_{\text{Bimod}}(\mathcal{C}_d, \mathcal{C}_n)$는 작은 큐브 오페라드 $\mathcal{C}_d$ 위의 $k$중 이중모듈러스로 실현된다.
• 논문은 $\Lambda^{\times k}$ 설정에서 Boardman-Vogt 구축을 사용하여 $k$중 무한소 이중모듈러스 $\mathbb{O}$의 명시적 해석을 구성한다.
• $k$중 이중모듈러스의 모델 카테고리 기하학적 해석은 유도된 사상 공간의 계산을 가능하게 하여 델로핑 구축을 가능하게 한다.
• 기존의 $k=1$에 대한 작업을 확장하여 $k>1$에 대한 체계적인 프레임워크를 제공하며, 메서드에 최적의 여유 차원 조건인 $d_i + 3 \leq n$이 적용된다.