[논문 리뷰] A dg Lie model for relative homotopy automorphisms

Alexander Berglund, Bashar Saleh|arXiv (Cornell University)|2019. 05. 03.

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

한 줄 요약

이 논문은 단순 연결된 공간 $X$ 에 하위공간 $A\subset X$ 를 고정하는 호모토피 자명형의 분류 공간의 분류 공간의 분류 공간에 대한 미분적 가환 리 대수(dg Lie) 모델을 구축한다. 유리수 호모토피 이론과 기하학적 바 구조를 사용하여, $X$ 의 코프리프레임 리 모델에서 유도자의 양면에서 $A$ 의 코프리프레임 모델에서 0이 되는 유도자의 양면의 양의 절단이 $B\operatorname{aut}_A(X)$ 에 대해 준위가 동일한 리 모델임을 보인다. 이는 이전에 증명 없이 기술된 결과에 대한 깔끔하고 개념적인 증명을 제공함으로써 문헌의 빈도를 메운다.

ABSTRACT

We construct a dg Lie model for the universal cover of the classifying space of the grouplike monoid of homotopy automorphisms of a space that fix a given subspace.

연구 동기 및 목표

• 논문 [BM14] 에서 기술된 결과에 대해 [Tan83] 의 잠재적으로 번거로운 일반화에 의존하지 않고 엄밀하고 개념적인 증명을 제공하는 것.
• 단순 연결된 공간 $A\subset X$ 가 유한 CW 호모토피 유형을 가지는 경우, $B\operatorname{aut}_A(X)$ 의 분류 공간의 분류 공간에 대한 dg 리 모델을 확립하는 것.
• 코프리프레임 리 모델 $\mathbb{L}_X$ 에서 $A$ 의 코프리프레임 모델에서 0이 되는 유도자의 양면의 양의 절단 $\operatorname{Der}(\mathbb{L}_X\|\mathbb{L}_A)\langle 1\rangle$ 이 $B\operatorname{aut}_A(X)$ 에 대해 리 모델이 되는지 보여주는 것.
• 코프리프레임 조건이 리 모델 사상 $i:\mathbb{L}_A\to\mathbb{L}_X$ 에서 필수적인 이유를 밝히기 위해, 사상이 코프리프레임이 아니면 모델이 실패하는 반례를 구성하는 것.

제안 방법

• 저자들은 기하학적 바 구조를 사용하여 $B\operatorname{aut}_{A,\circ}(X)$ 를 $B(*, \operatorname{aut}_{*,\circ}(X), \operatorname{map}_*^\iota(A,X))$ 로 표현함으로써, 기반점이 있는 호모토피 자명형이 $A$ 에서 $X$ 로 가는 기반점이 있는 사상의 공간에 작용하는 것과 연결한다.
• 기존의 유리수 모델을 $B\operatorname{aut}_{*,\circ}(X)$ 와 $\operatorname{map}_*^\iota(A,X)$ 에 적용하여 바 구조에 대한 비틀린 반직접곱 리 모델 $\mathfrak{g} \ltimes_\xi L$ 을 구성한다.
• 핵심 구성은 $\operatorname{Der}(\mathbb{L}_X\|\mathbb{L}_A)\langle 1\rangle$ 이며, 포함 사상 $\mathbb{L}_A\to\mathbb{L}_X$ 가 코프리프레임이면 $B\operatorname{aut}_A(X)$ 의 분류 공간의 분류 공간을 모델링하는 데 쓰인다.
• 유리수 호모토피 유형이 알려진 $B\operatorname{aut}_{*,\circ}(X)$ 와 $\operatorname{map}_*^\iota(A,X)$ 를 활용하여, 유도 대수적 기법을 사용해 모델을 구축할 수 있다.
• 반례로 $S^3 \subset D^4$ 를 사용하여, 리 모델 사상이 코프리프레임이 아니면, 난이도 있는 유도자 대수 모델이 올바른 호모토피 유형을 모델링하지 못함을 보여준다.

실험 결과

연구 질문

• RQ1 유리수 호모토피 이론과 기하학적 바 구조를 사용하여 $B\operatorname{aut}_A(X)$ 의 분류 공간의 분류 공간에 대한 dg 리 모델을 구성할 수 있는가?
• RQ2 만약 $\mathbb{L}_A\to\mathbb{L}_X$ 가 코프리프레임이면, $\operatorname{Der}(\mathbb{L}_X\|\mathbb{L}_A)\langle 1\rangle$ 이 $B\operatorname{aut}_A(X)$ 에 대해 준위가 동일한 리 모델인가?
• RQ3 리 모델 사상 $\mathbb{L}_A\to\mathbb{L}_X$ 가 코프리프레임이 아니면 어떤 일이 생기는가?
• RQ4 경계가 있는 다양체, 예를 들어 $D^4$ 와 $\partial D^4 = S^3$ 의 경우 모델은 어떻게 행동하는가?

주요 결과

• 만약 $\mathbb{L}_A\to\mathbb{L}_X$ 가 코프리프레임이면, $\operatorname{Der}(\mathbb{L}_X\|\mathbb{L}_A)\langle 1\rangle$ 의 dg 리 모델은 $B\operatorname{aut}_A(X)$ 의 분류 공간의 분류 공간에 대해 준위가 동일한 리 모델이다.
• 이 모델은 $\operatorname{aut}_{*,\circ}(X)$ 가 $\operatorname{map}_*^\iota(A,X)$ 에 작용하는 바 구조에서 유도되며, 구성 요소에 대한 알려진 유리수 모델을 사용한다.
• 양의 절단 $\langle 1\rangle$ 은 분류 공간의 단순 연결된 호모토피 유형을 포착하는 데 기여한다.
• 반례를 통해, 만약 리 모델 사상 $\mathbb{L}_A\to\mathbb{L}_X$ 가 코프리프레임이 아니면 $\operatorname{Der}(\mathbb{L}_X\|\operatorname{im}(i))$ 는 올바른 모델과 준위가 동일하지 않을 수 있다. 특히, $\operatorname{ad}_a$ 는 $\operatorname{Der}(\mathbb{L}(a,b)\|[a,a])$ 에서 비자명한 사이클이다.
• $X = D^4$ 이고 $A = S^3$ 이면, 모델 $\operatorname{Der}(\mathbb{L}(u,v)\|\mathbb{L}(u))$ 는 호모토피적으로 자명하며, 이는 $\operatorname{aut}_{S^3}(D^4)$ 가 단순 연결임과 일치한다.