2008/10/02 by Aravind Asok, Asok, Aravind, Fabien Morel +1 · 1 citation
Mathematics · #14F35 #14F43 #14J10 #57R80 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #K-Theory and Homology (math.KT) #math.AG #math.AT #math.KT #msc:14F35 #msc:14F43 #msc:14J10 #msc:57R80
paper · pdf · doi:10.48550/arxiv.0810.0324
71 pages; typos corrected, to appear Adv. Math
openalex publication_date 2008/10/02 · arxiv created 2011/04/14 · arxiv updated 2011/04/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A1-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 A1-homotopy type. Arithmetic considerations involving the sheaf of A1-connected components lead us to introduce several different notions of connectedness in A1-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 A1-h-cobordism, an algebro-geometric analog of the topological notion of h-cobordism, and use it as a tool to produce non-trivial A1-weak equivalences of smooth proper varieties. Also, we give explicit computations of refined A1-homotopy invariants, such as the A1-fundamental sheaf of groups, for some A1-connected varieties. We observe that the A1-fundamental sheaf of groups plays a central yet mysterious role in the structure of A1-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 A1-homotopy types, each uniquely determined by the isomorphism class of its A1-fundamental sheaf of groups.