Algebraically constructible chains
Annales de l'Institut Fourier, Volume 51 (2001) no. 4, p. 939-994
We construct for a real algebraic variety (or more generally for a scheme essentially of finite type over a field of characteristic 0) complexes of algebraically and k- algebraically constructible chains. We study their functoriality and compute their homologies for affine and projective spaces. Then we show that the lagrangian algebraically constructible cycles of the cotangent bundle are exactly the characteristic cycles of the algebraically constructible functions.
On construit pour une variété algébrique réelle (plus généralement, pour un schéma essentiellement de type fini sur un corps de caractéristique 0) des complexes de chaînes algébriquement constructibles et k-algébriquement constructibles, dont on étudie la fonctorialité et dont on calcule l’homologie pour les espaces affines et projectifs. Puis on montre que les cycles lagrangiens algébriquement constructibles du fibré cotangent sont exactement les cycles caractéristiques des fonctions algébriquement constructibles.
DOI : https://doi.org/10.5802/aif.1841
Classification:  14P25,  14F43
Keywords: algebraically constructible, homology, characteristic cycle
@article{AIF_2001__51_4_939_0,
     author = {Pennaneac'h, H\'el\`ene},
     title = {Algebraically constructible chains},
     journal = {Annales de l'Institut Fourier},
     publisher = {Association des Annales de l'institut Fourier},
     volume = {51},
     number = {4},
     year = {2001},
     pages = {939-994},
     doi = {10.5802/aif.1841},
     mrnumber = {1849211},
     zbl = {1036.14029},
     language = {en},
     url = {https://aif.centre-mersenne.org/item/AIF_2001__51_4_939_0}
}
Algebraically constructible chains. Annales de l'Institut Fourier, Volume 51 (2001) no. 4, pp. 939-994. doi : 10.5802/aif.1841. https://aif.centre-mersenne.org/item/AIF_2001__51_4_939_0/

[B] I. Bonnard Un critère pour reconnaître les fonctions algébriquement constructibles, J. reine angew. Math., Tome 526 (2000), pp. 61-88 | Article | MR 1778301 | Zbl 0959.14035

[BB] E. Becker; L. Bröcker On the description of the reduced Witt ring, J. Alg., Tome 52 (1978), pp. 328-346 | Article | MR 506029 | Zbl 0396.10012

[BCR] J. Bochnak; M. Coste; M.-F. Roy Géométrie algébrique réelle, Springer, Ergebnisse der Math., 3 Folge, Tome Vol. 12 (1987) | MR 949442 | Zbl 0633.14016

[DM] M.A. Dickmann; F. Miraglia On quadratic forms whose total signature is zero mod 2 n , Invent. Math., Tome 133 (1998) no. 2, pp. 243-278 | Article | MR 1632786 | Zbl 0908.11022

[G] C.G. Gibson; K. Wirthmüller; A.A. Du Plessis; E. Looijenga Topological stability of smooth mappings, Springer-Verlag, Berlin-New York, Lecture Notes in Mathematics, Tome Vol. 552 (1976) | MR 436203 | Zbl 0377.58006

[Ha] R. Hartshorne Algebraic Geometry, Springer Verlag, Graduate Texts in Math. (1977) | MR 463157 | Zbl 0367.14001

[KnS] M. Knebusch; C. Scheiderer Einführung in die reelle Algebra, Vieweg und Sohn, Braunschweig, Vieweg Studium: Aufbaukurs Mathematik, Tome 63 (1989) | MR 1029278 | Zbl 0732.12001

[KS] M. Kashiwara; P. Schapira Sheaves on manifolds, Springer-Verlag, Berlin (1990) | MR 1074006 | Zbl 0709.18001

[Ku] E. Kunz Kähler Differentials, Friedr. Vieweg and Sohn, Braunschweig, Advanced Lectures in Math. (1986) | MR 864975 | Zbl 0587.13014

[MP] C. Mccrory; A. Parusiński Algebraically constructible functions, Ann. Scient. École Norm. Sup. (4), Tome 30 (1997), pp. 527-552 | Numdam | MR 1456244 | Zbl 0913.14018

[R] M. Rost Chow groups with coefficients, Docu. Math., Tome 1 (1996), pp. 319-383 | MR 1418952 | Zbl 0864.14002

[S] M. Schmid Wittringhomologie (Thesis University of Regensburg (available on the web page of M. Rost), http://www.math.ohio-state.edu/~rost/papers.html)

[Sch] C. Scheiderer Purity theorems for real spectra and applications, Real analytic and algebraic geometry (Trento, 1992), of Gruyter, Berlin (1995), pp. 229-250 | Zbl 0840.14035

[SV] W. Schmid; K. Vilonen Characteristic cycles of constructible sheaves, Invent. Math., Tome 124 (1996), pp. 451-502 | Article | MR 1369425 | Zbl 0851.32011

[ZS] O. Zariski; P. Samuel Commutative Algebra, van Nostrand, Princeton-London-Toronto (1958) | MR 90581 | Zbl 0081.26501