The index of a vector field tangent to a hypersurface and the signature of the relative jacobian determinant

Gómez-Mont, Xavier  ; Mardešić, Pavao 

Annales de l'Institut Fourier, Tome 47 (1997) no. 5, pp. 1523-1539

Abstract (VO)

Given a real analytic vector field tangent to a hypersurface $V$ with an algebraically isolated singularity we introduce a relative Jacobian determinant in the finite dimensional algebra $\frac{\mathbf{B}}{{\mathrm{Ann}}_{\mathbf{B}}\left(h\right)}$ associated with the singularity of the vector field on $V$. We show that the relative Jacobian generates a 1-dimensional non-zero minimal ideal. With its help we introduce a non-degenerate bilinear pairing, and its signature measures the size of this point with sign. The signature satisfies a law of conservation of number and for even dimensional hypersurfaces it gives a method to compute the Poincaré-Hopf index of the vector field restricted to the hypersurface.

Résumé

Pour tout champ de vecteurs analytique réel tangent à une hypersurface $V$ et ayant une singularité algébriquement isolée on introduit le déterminant jacobien relatif dans l’algèbre finiment engendrée $\frac{\mathbf{B}}{{\mathrm{Ann}}_{\mathbf{B}}\left(h\right)}$ associée à la singularité du champ de vecteurs sur $V$. On montre que le déterminant jacobien relatif engendre un idéal unidimensionnel qui est l’idéal minimal non trivial. À l’aide du déterminant jacobien relatif on introduit un produit bilinéaire non dégénéré dont la signature mesure la taille (avec signe) de ce point. La signature satisfait une loi de conservation. Pour les hypersurfaces de dimension paire la signature donne l’indice de Poincaré-Hopf de la restriction du champ de vecteurs à l’hypersurface.

Détail

DOI : 10.5802/aif.1608