Quadratic forms for a 1-form on an isolated complete intersection singularity (Q818780): Difference between revisions

Let \(f=(f_1, \ldots, f_k):(\mathbb C^n, 0)\to (\mathbb C^k, 0)\) be a germ of a complex analytic map defining an isolated complete intersection singularity \((V,0)=f^{-1}(0)\) and let \(w=\sum A_i dx_i\) be the germ of a holomorphic \(1\)-form on \((\mathbb C^n, 0)\) whose restriction to \(V\) has no singular points in a punctured neighbourhood of \(0\). Let \(I_{V, w}\) be the ideal generated by \(f_1, \ldots, f_k\) and the \((k+1)\)--minors of the matrix \[ \left( \begin{matrix} \frac{\partial f_1}{\partial x_1} & \cdots & \frac{\partial f_1}{\partial x_n}\\ \vdots & & \\ \frac{\partial f_k}{\partial x_1} & \cdots & \frac{\partial f_k}{\partial x_n}\\ A_1 &\cdots & A_n \end{matrix} \right) \] and let \(\mathcal A_{V, w}=\mathcal O_{\mathbb C^n, 0}/I_{V,w}\). Suppose \(f\) and \(w\) are real, i.e., \(f(\mathbb R^n)\subseteq \mathbb R^k\) and \(w\) has real values on the tangent space \(T_x\mathbb R^n\). Let \(\text{ind}_{V,0,w}\) be the index of \(w\) on the real part \((V_\mathbb R,0)\) of \((V,0)\). The authors construct a family \(Q_\varepsilon\) of quadratic forms such that \(Q_\varepsilon\) is nondegenerate for \(\varepsilon \notin \Sigma\), the bifurcation diagram of the map. For real \(\varepsilon\) the form \(Q_\varepsilon\) is real and its index is \(\text{ind}_{V,0,w}+(\chi(V_\varepsilon)-1)\) where \(V_\varepsilon=f^{-1}(\varepsilon)\cap\mathbb R^n\cap B_\delta\) for \(0<\varepsilon<\!<\delta\). It is proved that this construction gives a nontrivial quadratic form on the algebra \(\mathcal A_{V, w}\).