Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms (Q549218): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Torification and factorization of birational maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Birational invariants and 𝔸1-connectedness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vector bundles on contractible smooth schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\mathbb A^1\)-homotopy groups, excision, and solvable quotients / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4889534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stably rational non rational varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy limits, completions and localizations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Espaces homogènes sphériques. (Spherical homogeneous spaces) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5649690 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The arithmetic of rational varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4698646 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Variétés unirationelles non rationelles: Au-delà de l'exemple d'Artin et Mumford. (Non rational unirational varieties: Beyond the Artin-Mumford example) / rank
 
Normal rank
Property / cites work
 
Property / cites work: La $R$-équivalence sur les tores / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5442214 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4542308 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5602064 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal homotopy theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: On complex affine surfaces with \(\mathbb{C}^ +\)-action / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to Toric Varieties. (AM-131) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A compactification of configuration spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Brauer group of a semisimple algebraic group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3566605 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Localization Theories for Simplicial Presheaves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5587673 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semisimple group schemes over complete curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximation at places of bad reduction for rationally connected varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4790109 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Picard group of the stable \(\mathbb A^1\)-homotopy category / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simplicial presheaves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Criteria of motivic equivalence for quadratic forms and central simple algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Groups of homotopy spheres. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3922792 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4859907 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4212603 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic Cobordism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Curves Over Discrete Valuation Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Desingularization of two-dimensional schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classifying Spaces for Surgery and Corbordism of Manifolds. (AM-92) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3705555 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5485722 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4655122 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3159969 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The stable \(\mathbb{A}^1\)-connectivity theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5490939 / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\mathbb{A}^1\)-homotopy theory of schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\underline{\Hom}\)-stacks and restriction of scalars / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isomotives of dimension less than or equal to one / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projective modules over polynomial rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deformations of principal bundles on the projective line / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4779795 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spanier-Whitehead duality in algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: THETA CHARACTERISTICS AND STABLE HOMOTOPY TYPES OF CURVES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chow groups with coefficients / rank
 
Normal rank
Property / cites work
 
Property / cites work: Retract rational fields and cyclic Galois extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Fundamental Group of a Unirational Variety / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4650893 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the embedding dimension of an affine variety / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4513078 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2782260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduced power operations in motivic cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classification of (n-1)-connected 2n-manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4256667 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the \(\mathbb A^1\)-fundamental groups of smooth toric varieties / rank
 
Normal rank

Revision as of 05:56, 4 July 2024

scientific article
Language Label Description Also known as
English
Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms
scientific article

    Statements

    Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms (English)
    0 references
    0 references
    0 references
    7 July 2011
    0 references
    This important paper sets the stage for the classification of smooth proper varieties over a field up to \(\mathbb{A}^1\)-homotopy. The authors discuss the foundations of classification problems and determine various important \(\mathbb{A}^1\)-homotopy types. In particular, the authors provide deep discussions and calculations of the sheaf of connected components and the fundamental sheaf of groups. The classification problem in geometric topology for compact smooth manifolds without boundary up to \textit{homotopy equivalence} can be reformulated in algebraic geometry by replacing usual homotopy equivalences by an appropriate notion of \(\mathbb{A}^1\)-weak equivalences. The first task then consists in classifying algebraic varieties up to \(\mathbb{A}^1\)-weak equivalence. In the topological case, it suffices to consider connected manifolds. Unfortunately, already at this stage the algebraic theory is much more complicated than the topological one. The authors call a scheme \(X\) over a field \(k\) \(\mathbb{A}^1\)-connected if it has the same sheaf \(\pi_0^{\mathbb{A}^1}(X)\) of \(\mathbb{A}^1\)-connected components as \(k\). Though the sheaf \(\pi_0^{\mathbb{A}^1}(X)\) turns out to be a more complicated invariant than one would expect. For the canonical epimorphism \(X \to \pi_0^{\mathbb{A}^1}(X)\) is in general highly non-trivial. The authors take a lot of care to analyze \(\pi_0^{\mathbb{A}^1}(X)\). In particular, they show that a smooth proper scheme over a field is \(\mathbb{A}^1\)-connected if and only if it is \(\mathbb{A}^1\)-chain connected which is closer to the usual notion of path-connectedness. Back in the topological case, the more difficult task to classify smooth manifolds up to \textit{diffeomorphism} can be reduced in higher dimensions to computations in homotopy theory by the groundbreaking, now classical, theory of surgery and the notion of \(h\)-cobordism. The analogous classification of smooth schemes up to isomorphism seems again much more complicated. In order to attack this fundamental problem the authors introduce the notion of an \(\mathbb{A}^1\)-\(h\)-cobordism between smooth proper varieties and formulate an \(\mathbb{A}^1\)-surgery problem for motivic spaces. They provide a detailed study of \(\mathbb{A}^1\)-\(h\)-cobordisms between rational smooth proper surfaces. The techniques and ideas introduced in this paper provide a rich inventory and a lot of inspiration for future research in motivic homotopy theory and algebraic geometry. In particular, the notion of \(\mathbb{A}^1\)-\(h\)-cobordism and a possible motivic surgery theory are very interesting new aspects. The first section provides a very nicely written and detailed introduction to the subject and points out the most important problems. The two appendices provide the fundamental definitions in motivic homotopy theory and make the paper rather self-contained.
    0 references
    0 references
    \(\mathbb A^1\)-homotopy
    0 references
    motivic cohomology
    0 references
    K-theory
    0 references
    classification
    0 references
    \(h\)-cobordism
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references