[논문 리뷰] A^1-connected components of schemes

Chetan Balwe, Amit Hogadi외 1명|arXiv (Cornell University)|2013. 12. 22.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 5

한 줄 요약

이 논문은 A¹-호모토피 이론에서 스킴의 A¹-연결 성분을 조사하며, 비유르드 곡면에 대한 모렐의 추측(π₀^{A¹}(X)의 A¹-불변성)을 증명하고, 아소크-모렐의 추측(π₀^{A¹}(X)가 A¹-체인 연결 성분과 일치하고, 비라션 불변성임)에 대한 반례를 제시한다. A¹-체인 연결 성분의 층 L(F)을 도입하고, 모렐의 추측이 성립할 경우 π₀^{A¹}(F) ≅ L(F)임을 보이며, 이 동치가 성립하는 명시적 조건을 제시한다.

ABSTRACT

A conjecture of Morel asserts that the sheaf of A^1-connected components of a simplicial sheaf X is A^1-invariant. A conjecture of Asok-Morel asserts that A^1-connected components of smooth k-schemes coincide with their A^1-chain-connected components and are birational invariants of smooth proper schemes. In this article, we exhibit examples of schemes for which Asok-Morel's conjectures fail to hold and whose Sing_* is not A^1-local. We also give equivalent conditions for Morel's conjecture to hold. A method suggested by these results is then used to prove Morel's conjecture for non-uniruled surfaces over a field k.

연구 동기 및 목표

• 스무스 스킴 위의 심플리셜 층에 대해 π₀^{A¹}(X)가 A¹-불변임을 증명하는 것이 모렐의 추측의 타당성을 조사하는 것.
• 스무스 완전 스킴에 대해 π₀^{A¹}(X)가 A¹-체인 연결 성분과 일치하고, 비라션 불변임을 추측한 아소크와 모렐의 추측을 검증하는 것.
• 특히 Sing*의 A¹-국소성과 비라션 불변성의 맥락에서 이러한 추측에 대한 명시적 반례를 구성하는 것.
• 모렐의 추측이 성립하는 등가 조건을 제공하고, π₀^{A¹}(X)에 대한 추측적 명시적 기술을 제시하는 것.

제안 방법

• Nisnevich 층 F에 대해 A¹-체인 연결 성분의 층 L(F) := lim→ Sⁿ(F)를 정의하고, 이것이 A¹-불변임을 보이는 것.
• A¹_U의 기본 Nisnevich 피복 위에서 A¹-ghost 호모토피를 구성하여 Sing*의 비A¹-국소성을 탐지하는 것.
• π₀^{A¹}(X)가 비라션 불변이 아니게 되는 명시적 스킴 X(예: 아벨 다양체의 블로우업)를 구성하는 것.
• 비유르드 곡면에 대해 A¹-호모토피가 강성 있는 곡선을 통해 통과하고 핵심 점들을 피하는 것으로, A¹-호모토피의 성질을 이용해 모렐의 추측이 성립함을 보이는 것.
• A¹-강성 있는 스킴(예: 아벨 다양체)이 π₀^{A¹}(X) ≅ X를 만족함을 이용해 명시적 계산을 가능하게 하는 것.
• Nisnevich 위상에서의 블로우업이 전성적이지 않음을 이용해 π₀^{A¹}의 비라션 불변성을 반박하는 것.

실험 결과

연구 질문

• RQ1 모렐의 추측, 즉 π₀^{A¹}(X)가 모든 스무스 스킴 위의 심플리셜 층에 대해 A¹-불변인지 여부는 어떤가?
• RQ2 아소크와 모렐이 추측한 lin, 모든 스무스 스킴에 대해 A¹-연결 성분의 층과 A¹-체인 연결 성분의 층이 일치하는가?
• RQ3 스무스 완전 스킴에 대해 π₀^{A¹}(X)는 필드 위에서 비라션 불변인가?
• RQ4 L(F)의 A¹-체인 연결 성분 층이 π₀^{A¹}(F)와 동형이 되는 조건은 무엇인가?
• RQ5 Nisnevich 피복 위에서의 A¹-ghost 호모토피가 Sing*의 A¹-국소성 실패를 탐지할 수 있는가?

주요 결과

• 모든 Nisnevich 층 F에 대해 A¹-체인 연결 성분의 층 L(F) := lim→ Sⁿ(F)는 A¹-불변이다.
• 모렐의 추측이 성립할 경우 π₀^{A¹}(F) ≅ L(F)이며, 이는 A¹-연결 성분의 추측적 명시적 기술을 제공한다.
• Sing*가 A¹-국소가 아니게 되는 반례가 구성되어, 아소크-모렐의 A¹-체인 연결성 추측이 실패함을 보여준다.
• π₀^{A¹}(X)는 비라션 불변이 아니다: 차원 ≥2인 아벨 다양체 X에 대해 한 점을 블로우업하여 얻는 Y는 π₀^{A¹}(Y) ≇ π₀^{A¹}(X)임을 보인다.
• 완전체 위의 비유르드 곡면에 대해, 모렐의 π₀^{A¹}(X)의 A¹-불변성 추측은 강성 있는 유리 곡선과 A¹-호모토피가 핵심 점들을 피하는 것으로 증명된다.
• Nisnevich 피복 위에서 A¹-ghost 호모토피를 구성하는 것은 Sing*의 비A¹-국소성과 아소크-모렐 추측의 실패를 탐지하는 일반적인 방법을 제공한다.