Conditions de régularité et éclatements

Henry, Jean-Pierre  ; Merle, Michel 

Annales de l'Institut Fourier, Tome 37 (1987) no. 3, pp. 159-190

Résumé (VO)

On décrit trois types de conditions permettant de stratifier un morphisme analytique complexe $f$ :

1) différentielles, à la Thom-Whitney,

2) géométriques, demandant l’équidimensionnalité de certains diviseurs exceptionnels obtenus à partir de l’espace conormal relatif ou de la modification de Nash relative de $f$,

3) numériques, exigeant la constance d’invariants de $f$ le long des states.

On donne une méthode générale permettant d’exprimer et de démontrer des équivalences entre des conditions de chaque type.

En particulier, on est capable de formuler des conditions différentielles équivalentes à l’équimultiplicité de toutes les variétés polaires relatives d’un morphisme, ou à celle des dirimants relatifs du morphisme $f$.

On dispose alors d’une méthode permettant de construire des stratifications “canoniques” du morphisme $f$, c’est-à-dire les moins fines parmi celles vérifiant un certain type de condition : en particulier, les objets utilisés sont des invariants analytiques du morphisme.

Abstract

One describes three types of equivalent conditions to stratify complex analytic spaces and morphisms:

1) Numerical conditions, i.e. equimultiplicity of polar varieties, either all polar varieties or only dirimants, depending on the geometrical space used in the second condition.

2) Equidimensionality of some exceptional divisors, especially divisors related to the Nash blowing-ups, and to the conormal space.

3) Differential conditions, or regularity conditions in Thom-Whitney style.

Because the Nash blowing-up contains more information than the conormal space, in the related situation the differential conditions are stronger than usual $\mathbf{a}$ and $\mathbf{b}$ conditions.

In the study of conditions related to the relative conormal space, a new condition ${\mathbf{b}}_f$ is defined, which, when the base space is a point, is the usual Whitney condition $\mathbf{B}$; this condition is shown to be inherited by the relative dirimants for transversal projections.

Equivalence between differential conditions and intersections of cycles in the grassmannian or projective cohomology are shown.

These results give tools to construct canonical stratifications of a complex analytic morphism, the objects used are analytic invariants of the morphism.

Détail

DOI : 10.5802/aif.1103