Mathematical Reports - Comptes rendus mathématiques
of the Academy of Science | de l'Académie des sciences
We introduce a notion of a smooth \(L^{\infty}\) form on singular (semialgebraic) spaces \(X\) in \(\mathbb{R}^n\). An \(L^\infty\) form is the data of a stratification \(\Sigma\) of \(X\) and a collection of smooth forms \(\omega\) on the nonsingular strata with matching tangential components on the adjacent strata and bounded size (in the metric induced from \(\mathbb{R}^n\)). We prove Stokes’ Theorem and Poincaré’s Lemma for \(L^\infty\) forms. As a result we obtain a De Rham type theorem establishing a natural isomorphism between the singular cohomology and the cohomology of smooth \(L^{\infty}\) forms.
On introduit la notion d’une forme \(L^\infty\) pour des espaces singuliers semialgébriques. Une forme lisse \(L^\infty\) est la donnée d’une stratification et d’une famille de forme lisses sur les strates coincidant le long des strates adjacentes. On prouve la formule de Stokes et le lemme de Poincaré pour les formes \(L^\infty\). On en déduit un théorème de type De Rham établissant un isomorphisme naturel entre la cohomologie des formes \(L^\infty\) et la cohomologie singulière.
We introduce a homology theory devoted to the study of families such as semialgebraic or subanalytic families and in general of any family definable in an o-minimal structure. This also enables us to derive local metric invariants for germs of definable sets. The idea is to study the cycles which are vanishing when we approach a special fiber. We compute these groups and prove that they are finitely generated.
On introduit une théorie d’homologie pour les familles semialgébriques, sous-analytiques et plus généralement pour toute famille définissable dans une structure o-minimale. Cela permet aussi de définir des invariants locaux pour les singulariés définissables. L’idée est de considérer les cycles s’evanouissant lorsque l’on approche une fibre donnée. On calcule ces groupes et prouve qu’ils sont de type fini.
