# zbMATH — the first resource for mathematics

The index of a vector field tangent to a hypersurface and the signature of the relative Jacobian determinant. (English) Zbl 0891.32013
Let $$\delta= \sum^n_{i=0} h_i{\partial \over \partial x_i}$$ be a real analytic vector field on $$\mathbb{R}^{n+1}$$ with an algebraically isolated singularity at 0 and $$B= A_{\mathbb{R}^{n +1}, 0}/(h_0, \dots, h_n)$$, $$A_{\mathbb{R}^{n+1}, 0}$$, the ring of germs of real analytic functions on $$\mathbb{R}^{n+1}$$ at 0.
The product in the algebra $$B$$ and a linear map $$\ell: B\to \mathbb{R}$$ with $$\ell(\text{det} ({\partial h_i \over \partial x_j})) >0$$ defines a non-degenerate bilinear form $$\langle,\rangle: B\times B\to \mathbb{R}$$. The index of $$\delta$$ is the signature of this bilinear form.
Let $$V\subseteq \mathbb{R}^{n+1}$$ be a hypersurface with an isolated singularity at 0 defined by $$f=0$$ such that $$\delta$$ is tangent to $$V$$, i.e. $$\delta(f) \in(f)$$.
Let $$h= {\delta(f) \over f}$$ and define $$J_f(\delta) ={\text{det} ({\partial h_i \over \partial x_j}) \over h} \in B/ \text{Ann} (h)$$ the relative Jacobian determinant of $$\delta$$. Choose a linear map $$\ell:B/ \text{Ann} (h)\to \mathbb{R}$$ such that $$\ell(J_f (\delta)) >0$$.
The product in $$B/\text{Ann} (h)$$ together with $$\ell$$ defines a binlinear form on $$B/ \text{Ann} (h)$$, let $$\text{Sgn}_{f,0} (\delta)$$ be the signature of this bilinear form.
It is proved that the function $$\text{Sgn}_{f,0}$$ satisfies the law of conservation of number: $\text{Sgn}_{f,0} (\delta)= \text{Sgn}_{f,0} (\delta_t) +\sum_{x\in V \setminus \{0\}\atop \delta_t(x) =0}\text{Index}_{V,x} (\delta_t|V)$ for $$x$$ close to 0 and $$\delta_t$$ tangent to $$V$$ and close to $$\delta$$.

##### MSC:
 32S05 Local complex singularities 32S25 Complex surface and hypersurface singularities 58C25 Differentiable maps on manifolds 58K99 Theory of singularities and catastrophe theory 37G99 Local and nonlocal bifurcation theory for dynamical systems 13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
Full Text:
##### References:
 [1] V. ARNOLD, S. GUSEIN-ZADE & V. VARCHENKO, Singularities of differentiable maps, I, Birkhauser, 1985. · Zbl 1297.32001 [2] Ch. BONATTI & GÓMEZ-MONT, The index of a holomorphic vector field on a singular variety I, Astérisque, 222 (1994), 9-35. · Zbl 0810.32017 [3] A. DOUADY, Flatness and privilige, L’Enseignement Mathématique, 14 (1968), 47-74. · Zbl 0183.35102 [4] D. EISENBUD & H. LEVINE, An algebraic formula for the degree of a C∞ map germ, Ann. Math., 106 (1977), 19-38. · Zbl 0398.57020 [5] X. GÓMEZ-MONT, An algebraic formula for the index of a vector field on a hypersurface with an isolated singularity, preprint. · Zbl 0956.32029 [6] X. GÓMEZ-MONT, P. MARDEŠIj, The index of a vector field tangent to an odd dimensional hypersurface and the signature of the relative Hessian, preprint. [7] X. GÓMEZ-MONT, J. SEADE & A. VERJOVSKY, The index of a holomorphic flow with an isolated singularity, Math. Ann., 291 (1991), 737-751. · Zbl 0725.32012 [8] GRAUERT & H. REMMERT, Coherent analytic sheaves, Grundlehren 265, Springer Verlag, 1984. · Zbl 0537.32001 [9] Ph. GRIFFITHS, J. HARRIS, Principles of algebraic geometry, J. Wiley, 1978. · Zbl 0408.14001 [10] KHIMISHIASHVILI, On the local degree of a smooth map, Trudi Tbilisi Math. Inst., (1980), 105-124. · Zbl 0526.58010
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.