# zbMATH — the first resource for mathematics

Smooth varieties up to $$\mathbb A^1$$-homotopy and algebraic $$h$$-cobordisms. (English) Zbl 1255.14018
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 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 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.

##### MSC:
 14F42 Motivic cohomology; motivic homotopy theory 14J10 Families, moduli, classification: algebraic theory 14L30 Group actions on varieties or schemes (quotients) 14F35 Homotopy theory and fundamental groups in algebraic geometry
Full Text:
##### References:
 [1] Abramovich, D.; Karu, K.; Matsuki, K.; Włodarczyk, J., Torification and factorization of birational maps, J. amer. math. soc., 15, 3, 531-572, (2002), (electronic) · Zbl 1032.14003 [2] Asok, A., Birational invariants and $$\mathbb{A}^1$$-connectedness, preprint available at · Zbl 1328.14036 [3] Asok, A.; Doran, B., Vector bundles on contractible smooth schemes, Duke math. J., 143, 3, 513-530, (2008) · Zbl 1167.14025 [4] Asok, A.; Doran, B., $$\mathbb{A}^1$$-homotopy groups, excision and solvable quotients, Adv. math., 221, 4, 1144-1190, (2009) · Zbl 1190.14018 [5] Beauville, A., Complex algebraic surfaces, London math. soc. stud. texts, vol. 34, (1996), Cambridge University Press Cambridge, Translated from the 1978 French original by R. Barlow, with assistance from N.I. Shepherd-Barron and M. Reid · Zbl 0849.14014 [6] Beauville, A.; Colliot-Thélène, J.-L.; Sansuc, J.-J.; Swinnerton-Dyer, P., Variétés stablement rationnelles non rationnelles, Ann. of math. (2), 121, 2, 283-318, (1985) · Zbl 0589.14042 [7] Bousfield, A.K.; Kan, D.M., Homotopy limits, completions and localizations, Lecture notes in math., vol. 304, (1972), Springer-Verlag Berlin · Zbl 0259.55004 [8] Brion, M.; Luna, D.; Vust, Th., Espaces homogènes sphériques, Invent. math., 84, 3, 617-632, (1986) · Zbl 0604.14047 [9] Browder, W., Surgery on simply-connected manifolds, Ergeb. math. grenzgeb., vol. 65, (1972), Springer-Verlag New York · Zbl 0239.57016 [10] Colliot-Thélène, J.-L., Lʼarithmétique des variétés rationnelles, Ann. fac. sci. Toulouse math. (6), 1, 3, 295-336, (1992) · Zbl 0787.14012 [11] Colliot-Thélène, J.-L., Birational invariants, purity and the Gersten conjecture, (), 1-64 · Zbl 0834.14009 [12] Colliot-Thélène, J.-L.; Ojanguren, M., Variétés unirationnelles non rationnelles: au-delà de lʼexemple dʼartin et Mumford, Invent. math., 97, 1, 141-158, (1989) · Zbl 0686.14050 [13] Colliot-Thélène, J.-L.; Sansuc, J.-J., La R-équivalence sur LES tores, Ann. sci. école norm. sup. (4), 10, 2, 175-229, (1977) · Zbl 0356.14007 [14] Colliot-Thélène, J.-L.; Sansuc, J.-J., The rationality problem for fields of invariants under linear algebraic groups (with special regards to the Brauer group), (), 113-186 · Zbl 1147.13002 [15] Conrad, B., A modern proof of chevalleyʼs theorem on algebraic groups, J. Ramanujan math. soc., 17, 1, 1-18, (2002) · Zbl 1007.14005 [16] Demazure, M.; Gabriel, P., Groupes algébriques. tome I: Géométrie algébrique, généralités, groupes commutatifs, (1970), Masson & Cie, Éditeur Paris, Avec un appendice Corps de classes local par Michiel Hazewinkel · Zbl 0203.23401 [17] Dugger, D., Universal homotopy theories, Adv. math., 164, 1, 144-176, (2001) · Zbl 1009.55011 [18] Fieseler, K.-H., On complex affine surfaces with $$\mathbf{C}^+$$-action, Comment. math. helv., 69, 1, 5-27, (1994) · Zbl 0806.14033 [19] Fulton, W., Introduction to toric varieties, Ann. of math. stud., vol. 131, (1993), Princeton University Press Princeton, NJ, The William H. Roever lectures in geometry [20] Fulton, W.; MacPherson, R., A compactification of configuration spaces, Ann. of math. (2), 139, 1, 183-225, (1994) · Zbl 0820.14037 [21] Gille, S., On the Brauer group of a semisimple algebraic group, Adv. math., 220, 3, 913-925, (2009) · Zbl 1173.11023 [22] Gille, P., Le problème de Kneser-Tits, Séminaire bourbaki, vol. 2007/2008, Astérisque, 326, 39-81, (2009), Exp. No. 983, vii (2010) · Zbl 1198.20038 [23] Goerss, P.G.; Jardine, J.F., Simplicial homotopy theory, Progr. math., vol. 174, (1999), Birkhäuser Verlag Basel · Zbl 0914.55004 [24] Grothendieck, A., Le groupe de Brauer. I-III, (), 46-188 [25] Harder, G., Halbeinfache gruppenschemata über vollständigen kurven, Invent. math., 6, 107-149, (1968) · Zbl 0186.25902 [26] Hassett, B.; Tschinkel, Y., Approximation at places of bad reduction for rationally connected varieties, Pure appl. math. Q., 4, 3, part 2, 743-766, (2008) · Zbl 1160.14040 [27] Hirschhorn, P.S., Model categories and their localizations, Math. surveys monogr., vol. 99, (2003), Amer. Math. Soc. Providence, RI · Zbl 1017.55001 [28] Hovey, M., Model categories, Math. surveys monogr., vol. 63, (1999), Amer. Math. Soc. Providence, RI · Zbl 0909.55001 [29] Hu, P., On the Picard group of the stable $$\mathbb{A}^1$$-homotopy category, Topology, 44, 3, 609-640, (2005) · Zbl 1078.14025 [30] Jardine, J.F., Simplicial presheaves, J. pure appl. algebra, 47, 1, 35-87, (1987) · Zbl 0624.18007 [31] Karpenko, N.A., Criteria of motivic equivalence for quadratic forms and central simple algebras, Math. ann., 317, 3, 585-611, (2000) · Zbl 0965.11015 [32] Kervaire, M.A.; Milnor, J.W., Groups of homotopy spheres. I, Ann. of math. (2), 77, 504-537, (1963) · Zbl 0115.40505 [33] Knutson, D., Algebraic spaces, Lecture notes in math., vol. 203, (1971), Springer-Verlag Berlin · Zbl 0221.14001 [34] Kollár, J., Real algebraic surfaces · Zbl 0469.14012 [35] Kollár, J., Rational curves on algebraic varieties, () · Zbl 0877.14012 [36] Kollár, J.; Mori, S., Birational geometry of algebraic varieties, Cambridge tracts in math., vol. 134, (1998), Cambridge University Press Cambridge, With the collaboration of C.H. Clemens and A. Corti, translated from the 1998 Japanese original [37] Levine, M.; Morel, F., Algebraic cobordism, Springer monogr. math., (2007), Springer Berlin · Zbl 1188.14015 [38] Lichtenbaum, S., Curves over discrete valuation rings, Amer. J. math., 90, 380-405, (1968) · Zbl 0194.22101 [39] Lipman, J., Desingularization of two-dimensional schemes, Ann. of math. (2), 107, 1, 151-207, (1978) · Zbl 0349.14004 [40] MacLane, S., Categories for the working Mathematician, Grad. texts in math., vol. 5, (1998), Springer-Verlag New York [41] Madsen, I.; Milgram, R.J., The classifying spaces for surgery and cobordism of manifolds, Ann. of math. stud., vol. 92, (1979), Princeton University Press Princeton, NJ · Zbl 0446.57002 [42] Manin, Yu.I., Cubic forms. algebra, geometry, arithmetic, North-holland math. library, vol. 4, (1986), North-Holland Publishing Co. Amsterdam, Translated from Russian by M. Hazewinkel · Zbl 0582.14010 [43] Mazza, C.; Voevodsky, V.; Weibel, C., Lecture notes on motivic cohomology, Clay math. monogr., vol. 2, (2006), Amer. Math. Soc. Providence, RI · Zbl 1115.14010 [44] Morel, F., An introduction to $$\mathbb{A}^1$$-homotopy theory, (), 357-441, (electronic) · Zbl 1081.14029 [45] Morel, F., On the motivic $$\pi_0$$ of the sphere spectrum, (), 219-260 · Zbl 1130.14019 [46] Morel, F., The stable $$\mathbb{A}^1$$-connectivity theorems, K-theory, 35, 1-2, 1-68, (2005) · Zbl 1117.14023 [47] Morel, F., $$\mathbb{A}^1$$-algebraic topology, (), 1035-1059 · Zbl 1097.14014 [48] Morel, F., $$\mathbb{A}^1$$-algebraic topology over a field, (2011), preprint, available at [49] Morel, F.; Voevodsky, V., $$\mathbb{A}^1$$-homotopy theory of schemes, Publ. math. inst. hautes études sci., 90, 45-143, (2001) · Zbl 0983.14007 [50] Olsson, M.C., $$\underline{\operatorname{Hom}}$$-stacks and restriction of scalars, Duke math. J., 134, 1, 139-164, (2006) · Zbl 1114.14002 [51] Orgogozo, F., Isomotifs de dimension inférieure ou égale à un, Manuscripta math., 115, 3, 339-360, (2004) · Zbl 1092.14027 [52] Quillen, D., Projective modules over polynomial rings, Invent. math., 36, 167-171, (1976) · Zbl 0337.13011 [53] Ramanathan, A., Deformations of principal bundles on the projective line, Invent. math., 71, 1, 165-191, (1983) · Zbl 0492.14007 [54] Ranicki, A., Algebraic and geometric surgery, Oxford math. monogr., (2002), The Clarendon Press Oxford University Press/Oxford Sci. Publ. Oxford · Zbl 1003.57001 [55] Riou, J., Dualité de spanier-Whitehead en géométrie algébrique, C. R. math. acad. sci. Paris, 340, 6, 431-436, (2005) · Zbl 1068.14021 [56] Rognes, J., Lectures on the stable parameterized h-cobordism theorem. informal notes, available at [57] Röndigs, O., Theta characteristics and stable homotopy types of curves, Q. J. math., 61, 3, 351-362, (2010) · Zbl 1196.14028 [58] Rost, M., Chow groups with coefficients, Doc. math., 1, 16, (1996) · Zbl 0864.14002 [59] Saltman, D.J., Retract rational fields and cyclic Galois extensions, Israel J. math., 47, 2-3, 165-215, (1984) · Zbl 0546.14013 [60] Serre, J.-P., On the fundamental group of a unirational variety, J. London math. soc., 34, 481-484, (1959) · Zbl 0097.36301 [61] Severitt, M., Motivic homotopy types of projective curves, (2006), preprint available at [62] Shepherd-Barron, N.I., Stably rational irrational varieties, (), 693-700 · Zbl 1067.14051 [63] Srinivas, V., On the embedding dimension of an affine variety, Math. ann., 289, 1, 125-132, (1991) · Zbl 0725.14003 [64] Théorie des topos et cohomologie étale des schémas. tome 3, () [65] Voevodsky, V., Cohomological theory of presheaves with transfers, (), 87-137 · Zbl 1019.14010 [66] Voevodsky, V., Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic, Int. math. res. not., 7, 351-355, (2002) · Zbl 1057.14026 [67] Voevodsky, V., Reduced power operations in motivic cohomology, Publ. math. inst. hautes études sci., 98, 1-57, (2003) · Zbl 1057.14027 [68] Wall, C.T.C., Classification of $$(n - 1)$$-connected 2n-manifolds, Ann. of math. (2), 75, 163-189, (1962) · Zbl 0218.57022 [69] Wall, C.T.C., Surgery on compact manifolds, Math. surveys monogr., vol. 69, (1999), Amer. Math. Soc. Providence, RI, Edited and with a foreword by A.A. Ranicki · Zbl 0935.57003 [70] Wendt, M., On the $$\mathbb{A}^1$$-fundamental groups of smooth toric varieties, Adv. math., 223, 15, 352-378, (2010) · Zbl 1276.14035
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.