[논문 리뷰] The motivic Adams-Novikov spectral sequence at odd primes over $\mathbb{C}$ and $\mathbb{R}$

Sven-Torben Stahn|arXiv (Cornell University)|2016. 06. 20.

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

한 줄 요약

이 논문은 복소수 및 실수 위에서 고전적 Adams-Novikov 스펙트럴 시퀀스(ANSS)가 홀수 소수에서 모티빅스 ANSS를 완전히 결정하며, 그 미분들과 $\tau$-primary 토판성까지 포함하여 이를 보여준다. 모티빅스 스펙트럴 시퀀스의 미분은 고전적 것들과 정확히 일치하며, 주어진 범위에서는 고전적 미분에 의해 강제되지 않는 한 $\tau$-토르션이 존재하지 않음을 보여준다. 명시적인 예로는 $l=3$일 때 특정 이중차수에서 순서 $l-1$의 $\tau$-토르션을 들 수 있다. 결과는 $\theta$-토르션을 사용하여 실수 경우로 확장된다.

ABSTRACT

We study the motivic Adams-Novikov spectral sequence at an odd prime $l$ over the base fields $\mathbb{C}$ and $\mathbb{R}$. This spectral sequence converges to the stable motivic homotopy groups of the $l$-completed motivic sphere spectrum. We show that the spectral sequence is determined by the topological Adams-Novikov sequence, similar to the situation at the prime two over the base field $\mathbb{C}$.

연구 동기 및 목표

• 복소수 및 실수 위에서 홀수 소수에서의 모티빅스 Adams-Novikov 스펙트럴 시퀀스(MANSS)의 구조를 이해하는 것.
• 고전적 ANSS 계산이 모티빅스 판본과 그 미분들을 완전히 결정할 수 있는지 여부를 규명하는 것.
• 모티빅스 스펙트럴 시퀀스에서 $\tau$-primary 토판성의 존재 및 제약 조건을 분석하는 것.
• 실수 경우로 결과를 확장하고 $\theta$-토르션을 사용하여 복소수 경우와 비교하는 것.
• 예를 들어 $\tau$-토르션의 순서가 $l-1$인 경우와 같은 명시적인 미분 및 토판성 군을 제공하는 것.

제안 방법

• 격자 $S^{p,q}$와 세포 스펙트럼을 갖는 $\mathbb{C}$ 및 $\mathbb{R}$ 위의 모티빅스 안정 호모토피 범주를 사용한다.
• 고전적 호모토피 군과의 연결을 위해 Betti 실현 $R: \rSH_{\rC} \to \rSH_{\text{top}}$ 및 실수 실현 $R': \rSH_{\rR} \to \rSH_{C_2}$ 를 적용한다.
• 실현 함자 $R$ 및 $R'$ 가 호모토피 군과 스펙트럴 시퀀스에 유도하는 사상 덕분에 모티빅스와 고전적 ANSS 간의 비교가 가능하다.
• Cartan-Eilenberg 및 대수적 Novikov 스펙트럴 시퀀스를 활용하여 모티빅스 및 고전적 설정 간의 관계를 수립한다.
• 고전적 ANSS가 홀수 소수에서 모티빅스 판본을 결정할 수 있음을 보이며, 이는 미분과 토판성 간의 비교를 통해 이루어진다.
• 무게 필터와 격자 $(s, t-s)$를 사용하여 $\tau$-primary 토판성이 존재할 수 있는 위치를 분석하고, 낮은 무게에서는 이를 배제한다.

실험 결과

연구 질문

• RQ1 고전적 Adams-Novikov 스펙트럴 시퀀스는 복소수 및 실수 위에서 홀수 소수에서 모티빅스 Adams-Novikov 스펙트럴 시퀀스를 어느 정도 결정하는가?
• RQ2 $\tau$-primary 토판성은 모티빅스 ANSS에서 어디에 나타날 수 있으며, 어떤 범위에서는 이를 배제할 수 있는가?
• RQ3 고전적 ANSS의 미분은 모티빅스 설정으로 어떻게 이행되며, 이는 $\tau$-토르션의 유일한 원천인가?
• RQ4 실현 함자 $R$ 및 $R'$ 는 모티빅스와 고전적 호모토피 군을 어떻게 연결하는가?
• RQ5 모티빅스 ANSS에서 명시적인 $\tau$-토르션 또는 $\theta$-토르션의 예가 존재하는가? 그 순서와 이중차수는 무엇인가?

주요 결과

• 복소수 위에서 홀수 소수에 대해 고전적 ANSS는 모티빅스 ANSS와 그 모든 미분을 완전히 결정한다. 이는 5.6조에서 보여진다.
• 복소수 위에서, 고정된 $s'$에 대해 무게 $\leq \frac{s'}{2}+1$ 범위에서는 고전적 미분에 의해 강제되지 않는 한 $\tau$-primary 토판성이 배제된다.
• 스템 $t-s = 2l^3 - 2l^2 - 3$ 에서는 순서 $l-1$의 $\tau$-토르션 군이 존재하며, $l=3$일 때 명시적인 예로는 이중차수 $(s,t-s,u) = (7,33,20)$ 에서 $\tau^2$에 의해 소멸되는 영구 사이클이 존재한다.
• 실수 위에서는 동일한 결과가 $\theta$가 $\tau$ 대신 쓰여지며, 실수 실현 함자와 무게 분석을 통해 $\theta$-토르션이 유사하게 제약을 받는다.
• 요소 $\theta$ 는 실수 위에서 모티빅스 ANSS에서 영구 사이클이며, $\theta \beta_1$ 는 무게 0을 가지며 스펙트럴 시퀀스에서 생존한다.
• $l=3$ 일 때, $\theta \beta_1$ 는 $\rpi_{2l-3,0}(S_l^\text{\wedge})$ 에서 $\bZ/l \times \bZ/l$ 군을 생성하며, 고전적 것들을 초월한 비자명한 모티빅스 호모토피 군을 보여준다.