[논문 리뷰] On the Hurewicz homomorphism on the extensions of ideals in $\pi_*^s$ and spherical classes in $H_*Q_0S^0$

Hadi Zare|arXiv (Cornell University)|2015. 04. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 5

한 줄 요약

이 논문은 스태빌라이제이션 호모토피와 $Q_0S^0$의 호모로지 내 구면 클래스의 맥락에서 투르비치 호모모르피즘을 조사하며, $\pi_*^s$의 원소들이 $H_*(Q_0S^0; \mathbb{Z}/2)$로의 투르비치 사상 아래에서 어떤 이미지를 가지는지에 초점을 맞춘다. 원소들이 애드암스 필터링 $k$를 가지며 비자명한 투르비치 이미지를 가진다면, 그들의 호모로지 스텝업 $e^*$에 의한 이미지가 비자명할 경우 $n \geq 2k - 1$을 만족하고, 제곱일 경우 $n \geq 2k - 2t$를 만족함을 증명하며, 이는 애드암스 필터링과 호모로지 스텝업을 통해 구면 클래스에 대한 제약 조건을 제공한다.

ABSTRACT

This is about Curtis conjecture on the image of the Hurewicz map $h:{_2\pi_*}Q_0S^0 o H_*(Q_0S^0;\Z/2)$. First, we show that if $f\in{_2\pi_*^s}$ is of Adams filtration at least $3$ with $h(f) eq 0$ then $f$ is not a decomposable element in ${_2\pi_*^s}$. Moreover, it is shown if $k$ is the least positive integer that $f$ is represented by a cycle in $\mathrm{Ext}^{k,k+n}_A(\Z/2,\Z/2)$, then (i) if $e_*h(f) eq 0$ then $n\geqslant 2^k-1$; (ii) if $e_*h(f)=0$ then $n\geqslant 2^k-2^t$ for some $t>1$. Second, for $S\subseteq{_2\pi_{*>0}^s}$ we show that: (i) if the conjecture holds on $S$, then it holds on $\la S a$; (ii) if $h(S)=0$ then $h$ acts trivially on any extension of $S$ obtained by applying homotopy operations arising from ${_2\pi_*}D_rS^n$ with $n>0$. We also provide partial results on the extensions of $\la S a$ by taking (possible) Toda brackets of its elements. We also discuss how the $EHP$-sequence information maybe applied to eliminate classes from being spherical.

연구 동기 및 목표

• 애드암스 필터링 $\geq 3$인 원소들에 대해 $h: \pi_*^s \to H_*(Q_0S^0; \mathbb{Z}/2)$의 투르비치 호모모르피즘의 이미지를 조사한다.
• 애드암스 필터링과 호모로지 스텝업 $e^*$의 행동에 기반하여, 비자명한 투르비치 이미지를 가진 원소 $f \in \pi_n^s$의 차수 $n$에 대한 제약 조건을 규명한다.
• 특히 커티스 추측과의 관련성에서, $\pi_*^s$ 내의 곱과 토다 브라켓에서 투르비치 사상의 행동을 분석한다.
• EHP 시퀀스와 호모토피 연산자가 $H_*(Q_0S^0; \mathbb{Z}/2)$ 내 잠재적 구면 클래스를 제거하는 데 어떻게 활용될 수 있는지 탐색한다.

제안 방법

• 애드암스 스펙트럴 시퀀스와 스틴로드 대수 $\mathcal{A}$의 구조를 사용하여, 애드암스 필터링 $k$를 갖는 원소들을 나타내는 $\mathrm{Ext}^{k,k+n}_{\mathcal{A}}(\mathbb{Z}/2, \mathbb{Z}/2)$ 내의 원소를 분석한다.
• 호모로지 스텝업 $e^*: H_*(Q_0S^0; \mathbb{Z}/2) \to H_*(Q_0S^1; \mathbb{Z}/2)$를 적용하여 투르비치 이미지의 지지 집합을 탐지한다.
• 스나이스 분해와 토다 브라켓의 안정적 수반을 사용하여 $\pi_*^s$ 내의 아이디얼 확장을 연구한다.
• 평가 사상과 $H_*(Q_0S^0; \mathbb{Z}/2)$ 위에서의 스틴로드 대수의 작용을 사용하여 구면 클래스의 구조를 분석한다.
• EHP 시퀀스를 적용하여 $\eta$- 및 $\nu$-작용을 통해 구면 클래스의 가능한 차수를 제약한다.
• 쿠른의 투르비치 사상에 대한 작업과 등식 $H_*(Q_0S^0; \mathbb{Z}/2) \cong \mathbb{Z}/2[Q_I[1] \ast [-2l(I)]]$을 활용하여, $\mathrm{Ext}^{k,k+n}_{\mathcal{A}}(\mathbb{Z}/2, \mathbb{Z}/2)$ 내의 사이클의 이미지를 분석한다.

실험 결과

연구 질문

• RQ1 애드암스 필터링과 호모로지 스텝업은 비자명한 투르비치 이미지를 가진 $\pi_*^s$의 원소들의 차수에 어떤 제약을 가하는가?
• RQ2 어떤 조건에서 $H_*(Q_0S^0; \mathbb{Z}/2)$ 내의 구면 클래스가 애드암스 필터링 $k$를 가진 안정 호모토피 원소로부터 유래할 수 있는가?
• RQ3 곱과 토다 브라켓이 $\pi_*^s$ 내에서 투르비치 이미지에 미치는 영향은 무엇이며, 이는 커티스 추측에 어떤 함의를 갖는가?
• RQ4 EHP 시퀀스는 $H_*(Q_0S^0; \mathbb{Z}/2)$ 내의 잠재적 구면 클래스를 제거하는 데 사용될 수 있는가?
• RQ5 비안정 투르비치 호프 불변량과 주된 연산자는 어떤 방식으로 구면 클래스를 탐지하는가?

주요 결과

• 만약 $f \in \pi_n^s$가 애드암스 필터링 $k \geq 3$을 가지며 $h(f) \neq 0$이면, $f$는 $\pi_*^s$ 내에서 분해 가능하지 않다.
• 만약 $e^*h(f) \neq 0$이면, $f$가 애드암스 필터링 $k$를 가진다면 $n \geq 2k - 1$이다.
• 만약 $e^*h(f) = 0$이고 $h(f) = \xi^{2t}$이며 $e^*\xi \neq 0$이면, $n \geq 2k - 2t$이다.
• 2$\pi_*^s$ 내에서의 곱 $fg$의 투르비치 이미지는 오직 $f = g$이면서 $f$가 $\eta$, $\nu$, 또는 $\sigma$의 홀수 배일 때만 비자명하다. 즉, 투르비치 호프 불변량 1 또는 커베이어 불변량 1 원소이다.
• 만약 커티스 추측이 $\pi_*^s > 0$의 집합 $S$에서 성립한다면, $S$에 의해 생성된 아이디얼 $\langle S \rangle$에서도 성립한다.
• 만약 $h(S) = 0$이면, $h$는 $2\pi_*^s D^n S^n$ ($n > 0$)로부터 호모토피 연산을 통해 얻어진 $S$의 임의의 확장을 통해 자명하게 작용한다.