[논문 리뷰] Splitting vector bundles outside the stable range and A^1-homotopy sheaves of punctured affine spaces

Aravind Asok, Jean Fasel|arXiv (Cornell University)|2012. 09. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 13

한 줄 요약

이 논문은 특성 ≠ 2인 대수적으로 닫힌 체 위의 매끄러운 아핀 4-fold에서 질량 3의 벡터 번들의 제3 체른 클래스가 초콜로지 코homology에서 0이면, 그 번들이 항상 자명한 질량 1의 합성부를 분리시킨다. A¹-호모토피 이론을 사용하여 저자들은 π₃^A¹(𝔸³∖0)의 A¹-호모토피 층을 계산하고, 장애 이론을 적용하여 분할 문제를 코homological 소멸과 연결함으로써, 차원 4에서 무르티의 분할 추측의 특수한 경우를 증명한다.

ABSTRACT

We discuss the relationship between the ${\mathbb A}^1$-homotopy sheaves of ${\mathbb A}^n \setminus 0$ and the problem of splitting off a trivial rank $1$ summand from a rank $n$-vector bundle. We begin by computing $π_3^{{\mathbb A}^1}({\mathbb A}^3 \setminus 0)$, and providing a host of related computations of "non-stable" ${\mathbb A}^1$-homotopy sheaves. We then use our computation to deduce that a rank $3$ vector bundle on a smooth affine $4$-fold over an algebraically closed field having characteristic unequal to $2$ splits off a trivial rank $1$ summand if and only if its third Chern class (in Chow theory) is trivial. This result provides a positive answer to a case of a conjecture of M.P. Murthy.

연구 동기 및 목표

• 특성 ≠ 2인 대수적으로 닫힌 체 위의 매끄러운 아핀 4-fold에서 무르티의 분할 추측의 특수한 경우를 해결하기 위해.
• 자르린된 아핀 공간의 A¹-호모토피 층과 안정 범위 외부에서의 번들 분할 문제 사이의 연결 고리를 설정하기 위해.
• π₃^A¹(𝔸³∖0)를 계산하고, 이를 A¹-호모토피 이론에서 장애 클래스 분석에 활용하기 위해.
• 매끄러운 아핀 4-fold에서 질량 3의 번들이 자명한 선형 부분을 분리시키기 위한 필요 및 충분 조건이 제3 체른 클래스의 소멸임을 보여주기 위해.

제안 방법

• 저자들은 기하학적 보트 주기성과 그로텐디크-위트 층의 구조를 이용하여 A¹-호모토피 층 π₃^A¹(𝔸³∖0)를 계산한다.
• π₃^A¹(𝔸³∖0)와 질량 3의 번들 및 자명한 결정자를 갖는 층 GW₄³를 포함하는 Gₘ-등변 정확한 수열을 구성한다.
• A¹-호모토피 이론에서의 장애 이론을 적용하여, 분할의 주요 장애는 오일러 클래스이며, 이는 대수적으로 닫힌 체 위에서 최상위 체른 클래스와 일치함을 확인한다.
• Nisnevich 층 F₅와 GW₄³의 코homology를 사용하여 코homological 소멸을 확립하며, k가 대수적으로 닫혀 있고 X의 차원이 4이므로 이를 활용한다.
• H⁴_Nis(X, F₅)와 H⁴_Nis(X, GW₄³(ℒ))의 소멸을 이용하여 증명을 전개하며, Milnor K-이론과 I-적분 필터의 성질을 활용한다.
• CH⁴(X)의 나눗셈성 증명으로 귀결되며, 이는 [AF14b]의 결과를 통해 H⁴_Nis(X, GW₄³(ℒ))의 소멸을 유도한다.

실험 결과

연구 질문

• RQ1 특성 ≠ 2인 대수적으로 닫힌 체 위의 매끄러운 아핀 4-fold에서 질량 3의 벡터 번들이 제3 체른 클래스가 초콜로지 코homology에서 0이면 자명한 질량 1의 합성부를 분리시키는가?
• RQ2 A¹-호모토피 이론을 사용하여 자르린된 아핀 공간의 비안정 호모토피 층을 계산하고, 이를 번들 분할 문제와 연결할 수 있는가?
• RQ3 대수적으로 닫힌 체 위의 매끄러운 아핀 스킴에서의 번들에 대해 A¹-호모토피 이론의 오일러 클래스가 최상위 체른 클래스와 동치인가?
• RQ4 A¹-호모토피 층 π₃^A¹(𝔸³∖0)의 구조는 무엇이며, 질량 3의 번들의 분할 문제에 어떻게 영향을 미치는가?

주요 결과

• A¹-호모토피 층 π₃^A¹(𝔸³∖0)는 Gₘ-등변 정확한 수열 0 → F₅ → π₃^A¹(𝔸³∖0) → GW₄³ → 0에 포함된다.
• 모든 특성 ≠ 2인 대수적으로 닫힌 체 위의 매끄러운 아핀 4-fold X에 대해 H⁴_Nis(X, F₅)의 코homology 군은 0이다.
• 모든 X 위의 선다발 ℒ에 대해 H⁴_Nis(X, GW₄³(ℒ))의 코homology 군은 CH⁴(X)의 나눗셈성으로 인해 0이다.
• 두 코homology 군의 소멸은 X 위의 질량 3 번들이 분할 가능성이 제3 체른 클래스 c₃(ℰ) = 0이 초콜로지 코homology CH³(X)에서 성립할 때에만 성립함을 의미한다.
• 결과적으로 이는 특성 ≠ 2에서 매끄러운 아핀 4-fold에 대해 무르티의 분할 추측을 확인한다.
• 증명는 A¹-호모토피 이론에서 오일러 클래스 장애가 이 설정에서 최상위 체른 클래스와 일치함을 확립한다.