Comparing A^1-h-cobordism and A^1-weak equivalence

DOI10.2422/2036-2145.201503_007zbMATH Open1401.14058arXiv1410.3038OpenAlexW2962866035MaRDI QIDQ4977754FDOQ4977754

Authors: Aravind Asok, Stefan Kebekus, Matthias Wendt 

Publication date: 17 August 2017

Published in: ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE (Search for Journal in Brave)

Abstract: We study the problem of classifying projectivizations of rank-two vector bundles over ${mathbbP}^2$ up to various notions of equivalence that arise naturally in ${mathbbA}^1$-homotopy theory, namely ${mathbbA}^1$-weak equivalence and ${mathbbA}^1$-$h$-cobordism. First, we classify such varieties up to ${mathbbA}^1$-weak equivalence: over algebraically closed fields having characteristic unequal to two the classification can be given in terms of characteristic classes of the underlying vector bundle. When the base field is $mathbbC$, this classification result can be compared to a corresponding topological result and we find that the algebraic and topological homotopy classifications agree. Second, we study the problem of classifying such varieties up to ${mathbbA}^1$-$h$-cobordism using techniques of deformation theory. To this end, we establish a deformation rigidity result for ${mathbbP}^1$-bundles over ${mathbbP}^2$ which links ${mathbbA}^1$-$h$-cobordisms to deformations of the underlying vector bundles. Using results from the deformation theory of vector bundles we show that if $X$ is a ${mathbbP}^1$-bundle over ${mathbbP}^2$ and $Y$ is the projectivization of a direct sum of line bundles on ${mathbbP}^2$, then if $X$ is ${mathbbA}^1$-weakly equivalent to $Y$, $X$ is also ${mathbbA}^1$-$h$-cobordant to $Y$. Finally, we discuss some subtleties inherent in the definition of ${mathbbA}^1$-$h$-cobordism. We show, for instance, that direct ${mathbbA}^1$-$h$-cobordism fails to be an equivalence relation.

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

Recommendations

• Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms
• \( \mathbb{A}^1\)-homotopy equivalences and a theorem of Whitehead
• Splitting vector bundles and \(\mathbb A^{1}\)-fundamental groups of higher-dimensional varieties
• \(\mathbb{A}^1\)-algebraic topology
• Affine representability results in \(\mathbb{A}^1\)-homotopy theory. I: Vector bundles.

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Motivic cohomology; motivic homotopy theory (14F42) Topology of vector bundles and fiber bundles (57R22)

Cited In (2)

• $\mathbb{A}^1$-connectivity of moduli of vector bundles on a curve
• Splitting vector bundles and \(\mathbb A^{1}\)-fundamental groups of higher-dimensional varieties

This page was built for publication: Comparing \(\mathbb{A}^1\)-\(h\)-cobordism and \(\mathbb{A}^1\)-weak equivalence

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