[논문 리뷰] Smooth varieties up to A^1-homotopy and algebraic h-cobordisms

Aravind Asok, Fabien Morel|arXiv (Cornell University)|2008. 10. 02.

Homotopy and Cohomology in Algebraic Topology인용 수 9

한 줄 요약

이 논문은 A¹-h-cobordism—위상수학적 h-cobordism의 대수기하학적 유사체—을 도입하고 연구하여 A¹-호모토피 동치에 관해 매끄럽고 닫힌 다양체를 분류한다. 대수적으로 닫힌 체 위에서, 유리 매끄럽고 닫힌 표면들은 A¹-기본 군층의 이sovorphism 유형에 의해 분류되며, 이는 이sovorphism 유형이 비가산 수의 등급을 가질 수 있음에도 불구하고, 이러한 유형은 가산 수뿐이다.

ABSTRACT

We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all smooth proper varieties having a specified A^1-homotopy type. Arithmetic considerations involving the sheaf of A^1-connected components lead us to introduce several different notions of connectedness in A^1-homotopy theory. We provide concrete links between these notions, connectedness of points by chains of affine lines, and various rationality properties of algebraic varieties (e.g., rational connectedness). We introduce the notion of an A^1-h-cobordism, an algebro-geometric analog of the topological notion of h-cobordism, and use it as a tool to produce non-trivial A^1-weak equivalences of smooth proper varieties. Also, we give explicit computations of refined A^1-homotopy invariants, such as the A^1-fundamental sheaf of groups, for some A^1-connected varieties. We observe that the A^1-fundamental sheaf of groups plays a central yet mysterious role in the structure of A^1-h-cobordisms. As a consequence of these observations, we completely solve the classification problem for rational smooth proper surfaces over an algebraically closed field: while there exist arbitrary dimensional moduli of such surfaces, there are only countably many A^1-homotopy types, each uniquely determined by the isomorphism class of its A^1-fundamental sheaf of groups.

연구 동기 및 목표

• A¹-호모토피 이론 내에서 위상수학적 h-cobordism 이론의 대수기하학적 유사체를 개발하기 위해.
• 특히 유리 표면에 초점을 맞추어, A¹-호모토피 동치에 관해 매끄럽고 닫힌 다양체를 분류하기 위해.
• A¹-기본 군층이 다양체의 A¹-호모토피 유형을 분류하는 데 수행하는 역할을 이해하기 위해.
• A¹-연결성, 유리성 성질(예: 유리 연결성, 재조정 가능 유리성) 및 비라시오널 기하학 간의 관계를 명확히 하기 위해.
• A¹-불변량을 사용하여 '거의 유리' 다양체를 연구하기 위한 호모토피 프레임워크를 제공하기 위해.

제안 방법

• 매끄럽고 닫힌 다양체 간에 비자명한 A¹-약한 동치를 구성하는 도구로 A¹-h-cobordism의 개념을 도입하기 위해.
• A¹-연결성의 여러 개념—A¹-연결, A¹-체인 연결, 약한 A¹-연결 및 에탈 버전—을 정의하고 비교하기 위해.
• A¹-연결 성분의 군층 π₀^A¹(X) 및 그 에탈 및 비라시오널 변형을 사용하여 연결성과 유리성 분석하기 위해.
• P¹ 및 유리 표면 등의 주요 예제에 대해 정밀한 A¹-호모토피 불변량, 특히 A¹-기본 군층을 계산하기 위해.
• 강한 A¹-불변성과 A¹-국소 분류 공간을 사용하여 A¹-연결 스킴의 코homological 성질 연구하기 위해.
• 비라시오널 기하학 및 R-등가관계의 결과를 적용하여 A¹-위상수학적 불변량과 고전적 유리성 조건 간의 관계를 규명하기 위해.

실험 결과

연구 질문

• RQ1 어떤 매끄럽고 닫힌 다양체들이 A¹-호모토피 동치이며, 이러한 분류는 체계적으로 어떻게 접근할 수 있는가?
• RQ2 A¹-연결성의 다양한 개념(예: A¹-연결, A¹-체인 연결, 약한 A¹-연결)은 유리 연결성 또는 재조정 가능 유리성과 같은 고전적 유리성 성질과 어떻게 관련되어 있는가?
• RQ3 A¹-기본 군층이 매끄럽고 닫힌 다양체의 A¹-호모토피 유형을 분류하는 데 수행하는 역할은 무엇인가?
• RQ4 A¹-h-cobordism을 사용하여 서로 이sovorphism이 아닌 매끄럽고 닫힌 다양체 사이에 비자명한 A¹-약한 동치를 구성할 수 있는가?
• RQ5 에탈 코hom올로지, 비라시오널 불변량 등과 같은 산술적 및 기하학적 성질은 A¹-호모토피 불변량과 어떻게 상호작용하는가?

주요 결과

• 대수적으로 닫힌 체 위에서, 유리 매끄럽고 닫힌 표면의 A¹-호모토피 유형은 총 가산 수이며, 각 유형은 A¹-기본 군층의 이sovorphism 유형에 의해 유일하게 결정된다.
• 완전한 체 위에서 매끄럽고 닫힌 다양체에 대해, 분리 가능하게 유리 연결된 다양체는 약한 A¹-연결이며, 체의 특성이 0이면 재조정 가능 k-유리 다양체는 A¹-체인 연결이다.
• 유리 매끄럽고 닫힌 표면의 A¹-호모토피 분류 문제는 완전히 해결되었으며, 이는 A¹-기본 군층의 유형에 의해 지배된다.
• A¹-기본 군층은 A¹-h-cobordism의 구조에서 중심적이고 신비로운 역할을 하며, 더 깊은 호모토피 제약 조건을 시사한다.
• 모든 체 위에서 매끄럽고 닫힌 다양체에 대해 A¹-체인 연결성은 A¹-연결성과 동치이며, 약한 A¹-체인 연결성은 약한 A¹-연결성과 동치이다.
• A¹-연결 성분의 군층 π₀^A¹(X)는 A¹-연결 성분의 에탈 층화로의 전성 사상이며, 적절한 조건 하에서는 이 사상이 동형이 되며, 이는 호모토피 불변량과 산술 불변량 간의 연결을 제공한다.