[논문 리뷰] Rational self-homotopy equivalences and Whitehead exact sequence

Mahmoud Benkhalifa|ArXiv.org|2009. 05. 09.

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

한 줄 요약

이 논문은 유리수 자기 호모토피 동치의 몫군 $\mathcal{E}(X)/\mathcal{E}_{\sharp}(X)$와 유리수 호모토피 군의 자기일致 일致 자동형사상 군 사이의 정확한 이somorphism을 확립한다. 최소 수술 모델에서 유도된 와이트헤드 정확수열을 통해 $\mathcal{E}(X)/\mathcal{E}_{\sharp}(X) \cong \mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$를 증명하고, 특정 유리수 공간에 대해 이 군을 명시적으로 계산하여 $n \leq 10$일 때 $\bigoplus_{2^n} \mathbb{Z}_2$가 자기호모토피 동치군으로서 실현됨을 보인다.

ABSTRACT

For a simply connected CW-complex $X$, let $\mathcal{E}(X)$ denote the group of homotopy classes of self-homotopy equivalence of $X$ and let $\mathcal{E}_{\sharp}(X)$ be its subgroup of homotopy classes which induce the identity on homotopy groups. As we know, the quotient group $\frac{\mathcal{E}(X)}{\mathcal{E}_{\sharp}(X)}$ can be identified with a subgroup of $Aut(π_{*}(X))$. The aim of this work is to determine this subgroup for rational spaces. We construct the Whitehead exact sequence associated with the minimal Sullivan model of $X$ which allows us to define the subgroup $\mathrm{Coh.Aut}(\mathrm{Hom}\big(π_{*}(X),\Bbb Q)\big)$ of self-coherent automorphisms of the graded vector space $\mathrm{Hom}(π_*(X),\Bbb Q)$. As a consequence we establish that $\mathcal{E}(X) / \mathcal{E}_{\sharp}(X) \cong \mathrm{Coh.Aut} (\mathrm{Hom}(π_*(X),\Bbb Q))$. In addition, by computing the group $\mathrm{Coh.Aut}\big(\mathrm{Hom}(π_{*}(X),\Bbb Q)\big)$, we give examples of rational spaces that have few self-homotopy equivalences.

연구 동기 및 목표

• 단순연결된 유리수 CW-복합체 $X$에 대해 몫군 $\mathcal{E}(X)/\mathcal{E}_{\sharp}(X)$의 구조를 규명하는 것. 여기서 $\mathcal{E}(X)$는 자기호모토피 동치의 군이고, $\mathcal{E}_{\sharp}(X)$는 호모토피 군 위에서 항등사상을 유도하는 원소들로 이루어진다.
• 유리수 공간의 최소 수술 모델로부터 와이트헤드 정확수열을 구성하여, 유리수 호모토피 군 위에서의 일치 자동형사상의 정의를 가능하게 하는 것.
• 와이트헤드 수열과 코체인 모델 기법을 통해 $\mathcal{E}(X)/\mathcal{E}_{\sharp}(X)$와 군 $\mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$ 사이의 이somorphism을 확립하는 것.
• 특정 유리수 공간에 대해 $\mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$를 명시적으로 계산하고, $n \leq 10$일 때 $\bigoplus_{2^n} \mathbb{Z}_2$가 $\mathcal{E}(X)$로 실현될 수 있음을 보여주는 것.
• 모든 $n \geq 11$에 대해 $\bigoplus_{2^n} \mathbb{Z}_2$가 실현 가능한가에 대한 열린 질문을 제기하는 것.

제안 방법

• 단순연결된 유리수 공간 $X$의 최소 수술 모델 $(\Lambda V, \partial)$로부터 필터링 $\Lambda V^{\leq n}$을 사용하여 와이트헤드 정확수열 $WES(\Lambda V, \partial)$을 구성하는 것.
• 등급 역수 $V^*$ 위에서의 자기일치 호모모르피즘의 반군 $\mathrm{Coh.Mor}(V^*)$와 군 $\mathrm{Coh.Aut}(V^*)$를 정의하여, 코homology 위에서의 일致 작용을 코딩하는 것.
• 군의 짧은 정확수열 $\mathcal{E}_{\sharp}(X) \rightarrowtail \mathcal{E}(X) \twoheadrightarrow \mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$을 수립하여 자기동치와 일치 자동형사상 간의 연결 고리를 확립하는 것.
• 유리수 호모토피 이론과 최소 코체인 대수 사이의 동치를 활용하여 위상 문제를 최소 수술 모델 상의 대수적 계산으로 변환하는 것.
• 모델의 미분 관계로부터 유도된 유리수 계수 다항방정식계를 풀어 $\mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$를 계산하는 것.
• 차수 증가에 따라 주어진 미분을 가진 생성자를 반복적으로 추가하고, 그에 따라 유도된 코homology 위의 사상에 대한 핵을 통해 최종 일치 자동형사상 군을 계산하는 것.

실험 결과

연구 질문

• RQ1 단순연결된 유리수 공간 $X$에 대해 몫군 $\mathcal{E}(X)/\mathcal{E}_{\sharp}(X)$의 구조는 무엇인가요?
• RQ2 최소 수술 모델을 통해 유리수 공간에 대해 군 $\mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$를 명시적으로 계산할 수 있는가요?
• RQ3 어떤 유한군들이 유리수 공간의 자기호모토피 동치군으로서 실현될 수 있는가요?
• RQ4 어떤 $n$에 대해 군 $\bigoplus_{2^n} \mathbb{Z}_2$가 어떤 유리수 공간 $X$에 대해 $\mathcal{E}(X)$로 실현될 수 있는가요?
• RQ5 모든 $n \geq 11$에 대해 $\bigoplus_{2^n} \mathbb{Z}_2$가 실현 가능한가요?

주요 결과

• 모든 단순연결된 유리수 CW-복합체 $X$에 대해 몫군 $\mathcal{E}(X)/\mathcal{E}_{\sharp}(X)$는 $\mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$와 이somorphic하다.
• 최소 수술 모델을 통해 일련의 유리수 공간에 대해 $\mathrm{Coh.Aut}(\mathrm{Hom}(\pi_*(X),\mathbb{Q}))$를 명시적으로 계산하였다.
• 최소 수술 모델 $\Lambda U_1$에 대해 일치 자동형사상 군은 $\mathbb{Z}_2^4$이므로 $\mathcal{E}(\Lambda U_1, \delta_1) \cong \mathbb{Z}_2^4$이다.
• 차수 4, 5, 6, 15, 20, 30, 60에 해당하는 생성자를 순차적으로 추가하고, 주어진 미분을 갖도록 설정함으로써 일치 자동형사상 군은 $\mathbb{Z}_2^8$, $\mathbb{Z}_2^9$, $\mathbb{Z}_2^{10}$ 등으로 증가한다.
• $n \leq 10$일 때 군 $\bigoplus_{2^n} \mathbb{Z}_2$는 $\mathcal{E}(X)$로 실현 가능하며, $\mathcal{E}(\Lambda U_8, \delta_8) \cong \bigoplus_{2^{10}} \mathbb{Z}_2$이다.
• 논문은 $n \geq 11$에 대해 $\bigoplus_{2^n} \mathbb{Z}_2$가 항상 실현 가능한가에 대한 질문을 열어두고 있다.