Vector fields on a complete intersection (Q1180099): Difference between revisions

Let \(V\to S\) be the minimal versal deformation of an \(n\)-dimensional complex analytic reduced germ \(X\) with isolated singularity, \(D\subset S\) be the discriminant. Then the zero-dimensional tangent cohomology spaces \(T^ 0(X)\) of \(X\) and \(T^ 0(V/S)\) of the relative space germ \(V/S\) are canonically isomorphic to \(\text{Der}(X)\) and \(\text{Der}(V/S)\), respectively. In fact, \(T^ 0(V/S)\) consists of so-called vertical vector fields on \(V\), i.e. of those that are tangent to fibers of the minimal versal deformation at each of its points. Moreover, there exists a natural morphism of \({\mathcal O}_ S\)-modules \(T^ 0(V/S)\to T^ 0(X)\) and the truncated zero-dimensional tangent cohomology \(T^ 0_ \bullet(X)=T^ 0(X)/T^ 0(V/S)\) of \(X\) is well defined. Assume that \(X\) is a complete intersection of dimension \(n\geq 2\). The author proves that there exists a natural isomorphism \(T^ 0_ \bullet (X)\cong H^ 1_{\{0\}}(\Omega_ X^{n-1})\). As a consequence the author computes the Poincaré series of \(T^ 0_ \bullet(X)\) in the weighted homogeneous case, using his own earlier results [Funct. Anal. Appl. 17, 48-49 (1983); translation from Funkts. Anal. Prilozh. 17, No. 1, 63-64 (1983; Zbl 0578.14017)]. Furthermore, an explicit expression for the Poincaré series of the \({\mathcal O}_ S\)- module of vector fields on \(S\) with logarithmic poles along \({\mathcal D}\) on \(S\) is obtained. It should also be mentioned another useful application in the hypersurface case: There exists a natural perfect pairing between the finite-dimensional \(\mathbb{C}\)-vector spaces \(T^ 0_ \bullet(X)\times T^ 1(X)\to\mathbb{C}\), where \(T^ 1(X)\) is the first tangent cohomology module of \(X\).