[논문 리뷰] MW-homotopy sheaves and Morel generalized transfers

Niels Feld|arXiv (Cornell University)|2020. 07. 29.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 MW-호모토피 층에 유리수 계수를 가진 Morel의 Bass-Tate 전이에 대한 추측을 증명하고, 호모토피 층의 일반화된 전이, MW-전이, 프레임 전이 사이의 동치 관계를 확립하며, 이러한 결과를 바탕으로 $Γ^1$-안정화에서 d=1에 대해 유리수로, d=2에 대해 정수로 Bachmann-Yakerson의 보존성 추측을 검증한다.

ABSTRACT

We explore a conjecture of Morel about the Bass-Tate transfers defined on the contraction of a homotopy sheaf and prove that the conjecture is true with rational coefficients. Moreover, we study the relations between (contracted) homotopy sheaves, sheaves with Morel generalized transfers and MW-homotopy sheaves, and prove an equivalence of categories. As applications, we describe the essential image of the canonical functor that forgets MW-transfers and use theses results to discuss the conservativity conjecture in A^1-homotopy due to Bachmann and Yakerson.

연구 동기 및 목표

• 호모토피 층의 첫 번째 축소 $M_{-1}$에서 Bass-Tate 전이의 함의성에 관한 Morel의 추측을 해결하기 위해.
• 일반화된 전이, MW-전이, 프레임 전이를 갖는 호모토피 층 간의 관계를 명확히 하기 위해.
• MW-호모토피 층에서 일반 호모토피 층으로의 忘却 함의사상의 본질적 상을 특성화하기 위해.
• 얻어진 결과를 $Γ^1$-안정화에서 Bachmann과 Yakerson의 보존성 추측에 적용하기 위해.
• 모티빅 호모토피 이론에서 다양한 전이 구조를 갖는 층 카테고리 간의 카테고리 동치를 수립하기 위해.

제안 방법

• 선형 번들에 의한 휘전을 포함하도록 Morel의 일반화된 전이를 위한 공리계를 수정하여 일반화된 전이를 갖는 층을 정의한다.
• 일반화된 전이를 갖는 층에 대해 Rost-Schmid 복합체를 구성하고, 전이의 함의성, 당김, GW-작용, 잔여물의 함의성을 증명한다.
• 유리수화된 축소된 호모토피 층 $M_{-1,×}$가 일반화된 전이를 갖는다는 것을 증명하여, Morel의 추측을 유리수로 확인한다.
• 일반화된 전이를 갖는 층에 대해 $χ_*(M)$과 $M$ 사이의 자연스러운 동형사상을 증명하여 $χ_*$가 동치임을 보인다.
• Calmès-Fasel의 유한한 Milnor-Witt 대응을 사용하여 MW-전이를 정의하고, MW-호모토피 층과 일반화된 전이 층 간의 동치를 증명한다.
• 동치를 적용하여, MW-층에서 일반 층으로의 忘却 함의사상 $γ_*$의 본질적 상이 일반화된 전이 구조를 갖는 층들로 정확히 구성됨을 보인다.

실험 결과

연구 질문

• RQ1 Bass-Tate 전이가 $M_{-1}$에서 호모토피 층에 대해 잘 정의된 일반화된 전이 구조를 정의하는가?
• RQ2 일반화된 전이, MW-전이, 프레임 전이를 갖는 호모토피 층의 카테고리들은 동치인가?
• RQ3 MW-호모토피 층에서 일반 호모토피 층으로의 忘却 함의사상의 본질적 상은 무엇인가?
• RQ4 $Γ^1$-안정화 함의사상 $Σ^{∞}_{Γ_m}$이 $d=1$ 및 $d=2$에서 유계하나 아래의 대상들에 대해 보존성을 만족하는가?
• RQ5 Bass-Tate 전이에 대한 교차 곱셈 공식이 일반적으로 성립하는가?

주요 결과

• Bass-Tate 전이가 $M_{-1}$에서 $×$와 텐서곱을 취할 때 잘 정의된 일반화된 전이 구조를 정의하며, 이는 Morel의 추측을 유리수로 증명한다.
• MW-호모토피 층의 카테고리와 일반화된 전이를 갖는 호모토피 층의 카테고리 사이에 $γ_*$와 $χ^*$를 통해 자연스러운 동치가 존재한다.
• MW-호모토피 층에서 일반 호모토피 층으로의 忘却 함의사상 $γ_*: Γ^{–\text{MW}}(k) → Γ^{\text{gtr}}(k)$의 본질적 상은 정확히 일반화된 전이 구조를 갖는 호모토피 층들로 구성된다.
• Bachmann-Yakerson의 추측은 $d=1$에 대해 유리수로, $d=2$에 대해 정수로 성립하며, $Σ^{∞}_{Γ_m}$-안정화 함의사상은 유계하나 아래의 대상들에 대해 보존성을 가진다.
• 일반화된 전이를 갖는 호모토피 층의 카테고리, MW-호모토피 층의 카테고리, 프레임 전이를 갖는 호모토피 층의 카테고리 사이에 동치가 존재하여 $Γ^{\text{gtr}}(k) ≍ Γ^{\text{MW}}(k) ≍ Γ^{\text{fr}}(k)$를 확립한다.
• $d=2$일 때, $ℓ_0\Omega^d_{Γ^1}\Sigma^d_{Γ^1}\mathcal{X} \to \u03c0_0\Omega^{d+1}_{Γ^1}\Sigma^{d+1}_{Γ^1}\mathcal{X}$의 자연스러운 사상은 동치이며, 이는 [BCD+20]에서 열려 있던 문제를 해결한다.