zbMATH — the first resource for mathematics

Vector bundles and regulous maps. (English) Zbl 1288.14042
The authors investigate the relationships between pre-algebraic and algebraic \(\mathbb F\)-vector bundles on a real algebraic set \(X\), where \(\mathbb F\) stands for \(\mathbb R\), \(\mathbb C\) or \(\mathbb H\) (the quaternions). It should be mentioned that pre-algebraic vector bundles and algebraic vector bundles have been called algebraic vector bundles and strongly algebraic vector bundles, respectively, in the literature predating the publication of [J. Bochnak et al., Real algebraic geometry. Transl. from the French. Rev. and updated ed. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 36. Berlin: Springer. (1998; Zbl 0912.14023)]. In fact, pre-algebraic vector bundles have been viewed as pathological objects and almost completely neglected, with a single exception: [M. Coste and M. M. Diop, Boll. Unione Mat. Ital., VII. Ser., A 6, No. 2, 249–254 (1992; Zbl 0802.14022)], which contains a proof that any pre-algebraic vector bundle on a nonsingular variety is a Nash vector bundle.
The article under review, which is very interesting and admirably written, contains several results. Firstly it is proved that given a pre-algebraic \(\mathbb F\)-vector bundle \(\xi\) on an affine real algebraic set \(X\) there exists a nonsingular real algebraic set \(X'\) and a sequence \(\pi:X'\to X\) of finitely many blowing ups such that the pullback bundle \(\pi^*\xi\) on \(X'\) is algebraic. The proof involves, of course, Hironaka’s desingularization theorem, and a clever use of the so called regulous (a mixed of regular plus continuous) functions.
Employing this fundamental result the authors prove that the Stiefel-Whitney classes of any pre-algebraic \(\mathbb R\)-vector bundle are algebraic. Moreover, they derive that the Chern classes of any pre-algebraic \(\mathbb C\)-vector bundle and the Pontryagin classes of any pre-algebraic \(\mathbb R\)-vector bundle are blow-\(\mathbb C\)-algebraic. Given a compact non singular affine real algebraic set \(X\), a cohomological class \(u\) in \(H^{2k}(X;\mathbb Z)\) is said to be blow-\(\mathbb C\)-algebraic if there exists a finite sequence of blowing ups \(\pi:X'\to X\) such that the cohomological class \(\pi^*(u)\) is \(\mathbb C\)-algebraic.
The article contains also many enlightening and well chosen examples.

14P05 Real algebraic sets
14P25 Topology of real algebraic varieties
14P99 Real algebraic and real-analytic geometry
Full Text: DOI
[1] Akbulut, S; King, H, Submanifolds and homology of nonsingular real algebraic varieties, Amer. J. Math., 107, 45-83, (1985) · Zbl 0575.57009
[2] Benedetti, R., Tognoli, A.: On real algebraic vector bundles, Bull. Sci. Math. (2) 104 89-112 (1980) · Zbl 0421.58001
[3] Benedetti, R., Tognoli, A.: Remarks and counterexamples in the theory of real algebraic vector bundles and cycles, Géométrie algébrique réelle et formes quadratiques. Lecture Notes in Mathematics 959, pp. 198-211. Springer, Heidelberg (1982) · Zbl 1154.14042
[4] Bochnak, J., Buchner, M., Kucharz, W.: Vector bundles over real algebraic varieties\({\cal{K}}\)-Theory 3 pp. 271-298 (1989). Erratum: \({\cal{K}}\) -Theory 4 pp. 103 (1990) · Zbl 0761.14020
[5] Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic geometry, Ergeb. der Math. und ihrer Grenzgeb. Folge 3, vol. 36, Springer, Heidelberg (1998) · Zbl 0912.14023
[6] Bochnak, J; Kucharz, W, Realization of homotopy classes by algebraic mappings, J. Reine Angew. Math., 377, 159-169, (1987) · Zbl 0619.14014
[7] Bochnak, J., Kucharz, W.: \({\cal{K}}\)-Theory of real algebraic surfaces and threefolds. Math. Proc. Cambridge Philos. Soc. 106, 471-480 (1989) · Zbl 0707.14006
[8] Bochnak, J., Kucharz, W.: On homology classes represented by real algebraic varieties, Singularities Symposium (Kraków, : Banach Center Publ. 44. Warsaw 1998, 21-35 (1996) · Zbl 0915.14033
[9] Bochnak, J; Kucharz, W, Real algebraic morphisms represent few homotopy classes, Math. Ann., 337, 909-921, (2007) · Zbl 1154.14042
[10] Borel et, A., Haefliger, A.: La classe d’homologie fondamentale d’un espace analytique, Bull. Soc. Math. France 89 pp. 461-513 (1961) · Zbl 0102.38502
[11] Coste, M., Diop, M. M.: Real algebraic 1-cocycles are nash coboundaries, Boll. Un. Mat. Ital. A (7) 6(2), 249-254 (1992) · Zbl 0802.14022
[12] Fichou, G., Huisman, J., Mangolte, F., Monnier, J.-Ph.: Fonctions régulues, arXiv:1112.3800v2 [math.AG] (2012) · Zbl 1390.14172
[13] Fulton, W.: Intersection theory, Ergeb. der Math. und ihrer Grenzgeb. Folge 3, vol. 2, Springer, Heidelberg (1984) · Zbl 0122.38603
[14] Hironaka, H, Resolution of singularities of an algebraic variety over a field of characteristic zero, Ann. Math., 79, 109-326, (1964) · Zbl 0122.38603
[15] Hirsch, M.W.: Differential topology, graduate texts in mathematics 33, Springer, Heidelberg (1994)
[16] Huisman, J.: A real algebraic vector bundle is strongly algebraic whenever its total space is affine, Contemp. Math., 182, Amer. Math. Soc., Providence, RI. pp. 117-119 (1995) · Zbl 0868.14009
[17] Huisman, J.: Correction to “A real algebraic vector bundle is strongly algebraic whenever its total space is affine”, Contemp. Math., 253, Amer. Math. Soc., Providence, RI. p. 179 (2000) · Zbl 0868.14009
[18] Kollár, J.: Lectures on resolution of singularities, Ann. of Math. Studies 166, Princeton University Press, Princeton, NJ (2007) · Zbl 1113.14013
[19] Kollár, J.: Continuous rational functions on real and \(p\)-adic varieties, arXiv:1101.3737v1[math.AG] (2011) · Zbl 0619.14014
[20] Kucharz, W, Rational maps in real algebraic geometry, Adv. Geom., 9, 517-539, (2009) · Zbl 1173.14341
[21] Milnor, J.W., Stasheff, J.D.: Characteristic classes, Ann of Math. Studies 76, Princeton University Press, Princeton, NJ (1974) · Zbl 0298.57008
[22] Tognoli, A.: Approximation theorems in real analytic and algebraic geometry, Lectures in real geometry (Madrid, 1996), de Gruyter Exp. Math., 23, pp. 113-166. Berlin, (1996) · Zbl 0953.32011
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.