Smooth varieties up to A^1-homotopy and algebraic h-cobordisms

DOI10.1016/J.AIM.2011.04.009zbMATH Open1255.14018arXiv0810.0324OpenAlexW2963039459MaRDI QIDQ549218FDOQ549218

Authors: Aravind Asok, Fabien Morel 

Publication date: 7 July 2011

Published in: Advances in Mathematics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/0810.0324

Recommendations

• Homotopy theory of smooth compactifications of algebraic varieties
• scientific article; zbMATH DE number 86359
• Smooth algebras and vanishing of Hochschild homology
• Hochschild homology of a topological algebra and formal smoothness
• Hochschild homology of complete intersections and smoothness
• Zeroth \(\mathbb{A}^1\)-homology of smooth proper varieties
• Remarks on \(\mathbb{A}^1\)-homotopy groups of smooth toric models
• Smooth projective toric variety representatives in complex cobordism
• scientific article; zbMATH DE number 2134855
• Hochschild cohomologies of the algebra of smooth functions

zbMATH Keywords

classificationK-theorymotivic cohomology\(\mathbb A^1\)-homotopy\(h\)-cobordism

Mathematics Subject Classification ID

Homotopy theory and fundamental groups in algebraic geometry (14F35) Motivic cohomology; motivic homotopy theory (14F42) Families, moduli, classification: algebraic theory (14J10) Group actions on varieties or schemes (quotients) (14L30)

Cites Work

• Introduction to Toric Varieties. (AM-131)
• The stable \(\mathbb{A}^1\)-connectivity theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Localization Theories for Simplicial Presheaves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The rationality problem for fields of invariants under linear algebraic groups (with special regards to the Brauer group)
• \(\mathbb{A}^1\)-homotopy theory of schemes
• Simplicial presheaves
• Chow groups with coefficients
• Homotopy limits, completions and localizations
• Groups of homotopy spheres. I
• Birational invariants and \(\mathbb{A}^1\)-connectedness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Torification and factorization of birational maps
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal homotopy theories
• On the Picard group of the stable \(\mathbb A^1\)-homotopy category
• Spanier-Whitehead duality in algebraic geometry
• Reduced power operations in motivic cohomology
• Algebraic Cobordism
• Title not available (Why is that?)
• Lecture notes on motivic cohomology
• Title not available (Why is that?)
• A compactification of configuration spaces
• Title not available (Why is that?)
• La $R$-équivalence sur les tores
• Classification of (n-1)-connected 2n-manifolds
• Variétés unirationelles non rationelles: Au-delà de l'exemple d'Artin et Mumford. (Non rational unirational varieties: Beyond the Artin-Mumford example)
• On complex affine surfaces with \(\mathbb{C}^ +\)-action
• Classifying Spaces for Surgery and Corbordism of Manifolds. (AM-92)
• Stably rational non rational varieties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Projective modules over polynomial rings
• Retract rational fields and cyclic Galois extensions
• Criteria of motivic equivalence for quadratic forms and central simple algebras
• On the Fundamental Group of a Unirational Variety
• Algebraic spaces
• Espaces homogènes sphériques. (Spherical homogeneous spaces)
• Title not available (Why is that?)
• Desingularization of two-dimensional schemes
• Title not available (Why is that?)
• The Kneser-Tits problem.
• \(\underline{\Hom}\)-stacks and restriction of scalars
• Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic.
• Deformations of principal bundles on the projective line
• The arithmetic of rational varieties
• On the Brauer group of a semisimple algebraic group
• Curves Over Discrete Valuation Rings
• Isomotives of dimension less than or equal to one
• \(\mathbb A^1\)-homotopy groups, excision, and solvable quotients
• On the \(\mathbb A^1\)-fundamental groups of smooth toric varieties
• On the embedding dimension of an affine variety
• Semisimple group schemes over complete curves
• Theta characteristics and stable homotopy types of curves
• Title not available (Why is that?)
• \(\mathbb{A}^1\)-algebraic topology
• Vector bundles on contractible smooth schemes
• Approximation at places of bad reduction for rationally connected varieties

Cited In (33)

• The unit map of the algebraic special linear cobordism spectrum
• \(\mathbb A^1\)-connectivity on Chow monoids versus rational equivalence of algebraic cycles
• Model topoi and motivic homotopy theory
• An arithmetic count of the lines meeting four lines in 𝐏³
• Geometric criteria for 𝔸¹-connectedness and applications to norm varieties
• Rationality problems and conjectures of Milnor and Bloch-Kato
• Birational classification of fields of invariants for groups of order 128
• Naive 𝔸1-Homotopies on Ruled Surfaces
• \(\mathbb A^1\)-homotopy groups, excision, and solvable quotients
• Strong A1${\mathbb {A}}^1$‐invariance of A1${\mathbb {A}}^1$‐connected components of reductive algebraic groups
• \(\mathbb{A}^1\)-connected components of ruled surfaces
• Applications to \(\mathbb{A}^1\)-enumerative geometry of the \(\mathbb{A}^1\)-degree
• Uniqueness of embeddings of the affine line into algebraic groups
• Unramified cohomology, \(\mathbb A^1\)-connectedness, and the Chevalley-Warning problem in Grothendieck ring
• \(\mathbb{A}^1\)-algebraic topology
• Motivic stable cohomotopy and unimodular rows
• \(\mathbb A^1\)-algebraic topology over a field
• \( \mathbb{A}^1\)-connected components and characterisation of \(\mathbb{A}^2\)
• Degree three unramified cohomology groups and Noether's problem for groups of order 243
• Zeroth \(\mathbb{A}^1\)-homology of smooth proper varieties
• \( \mathbb{A}^1\)-homotopy equivalences and a theorem of Whitehead
• Comparing \(\mathbb{A}^1\)-\(h\)-cobordism and \(\mathbb{A}^1\)-weak equivalence
• \(\mathbb A^1\)-connected components of schemes
• Birational invariants and \(\mathbb{A}^1\)-connectedness
• Remarks on iterations of the \(\mathbb{A}^1\)-chain connected components construction
• Universal birational invariants and A1-homology
• \(\mathbb{A}^1\)-contractibility of affine modifications
• \(\mathbb{A}^1\)-homotopy theory and contractible varieties: a survey
• Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects: an introduction
• Stably \(\mathbb{A}^1\)-connected varieties and universal \(\mathrm{CH}_{0}\)
• Stable \(\mathbb A^1\)-homotopy and \(R\)-equivalence
• Connectivity of motivic \(H\)-spaces
• Splitting vector bundles and \(\mathbb A^{1}\)-fundamental groups of higher-dimensional varieties

This page was built for publication: Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549218)