Differential complex associated to closed differential forms of nonconstant rank (Q875216)

Let \(\omega\) be a closed form on a smooth manifold \(M\). Then the differential complex associated to the Lie derivative \(D(V)= L_V\omega= \text{div\,}\omega\) has been constructed in several situations, when \(\omega\) is nonsingular [cf. \textit{I. Vaisman}, Cohomology and differential forms, New York (1973; Zbl 0267.58001)]. In this paper, the case \(\omega\) has singularities is treated, and differential complexes associated to \(\omega\) are constructed in the following two cases (Statement 3.2 and 4.2). 1. \(\omega\) is a closed 1-form vanishing at an embedded submanifold \(\Sigma\). 2. \(\omega\) is a symplectic form with Martinet singularities [\textit{J. Martinet}, Ann. Inst. Fourier 20, No. 1, 95--178 (1970; Zbl 0189.10001)]. Assume \(\Sigma\) is defined locally by \(u^a= 0\), \(1\leq a\leq k\), where \(u^a,u^\alpha, k+ 1\leq\alpha\leq n\) is a local coordiante system of \(M\), \(\omega\) is assumed to have local form \(A_{a,b} u^adu^b\), \(A_{a,b}\) is a constant symmetric matrix of rank \(k\). Let \({\mathcal X}={\mathcal X}_M\) be the sheaf of vector fields on \(M\), \({\mathcal X}_\Gamma\) is the sheaf of infinitesimal automorphisms of \(\omega\), and let \(\Omega^q_{\Sigma,0}\) be the sheaf over \(M\) consisting of \(q\)-forms \(\theta\) such that \(\iota^*\theta= 0\), \(\iota* \Sigma\to M\) is the embedding map, then it is shown \[ 0\to{\mathcal X}_\Gamma@> i>>{\mathcal X}@> D>> \Omega^1_{\Sigma,0}@> d>> \Omega^2_{\Sigma,0} @> d>>\cdots\Omega^n_{\Sigma, 0} \] is a fine resolution of the sheaf of \(\Gamma\) (Statement 3.2). If \(\omega\) is a 2-from with the local form \[ \omega= u^1 du^1\wedge du^2+ du^3\wedge du^4+\cdots+ du^{2n-1}\wedge du^{2n}, \] then applying the author's previous result [Sheaf of local Hamiltonians of symplectic manifolds with Martinet singularities, Russ. Math. 48, No. 11, 45--52 (2004)], it is shown \[ 0\to{\mathcal X}_\Gamma@> i>>{\mathcal X}_M@> D>>\Omega^2@> d>>\Omega^3@> d>>\cdots \] is a fine resolution for the sheaf \({\mathcal X}_\Gamma\) (Statement 4.2). As a Corollary, we have \(H^q(M;{\mathcal X}_\Gamma)\cong H^{q+1}_{DR}(M)\), \(q\geq 1\), where \(H_{DR}(M)\) is the de Rham cohomology of \(M\) (Corollary 1). The author remarks if \[ \omega= du^1\wedge du^2+ u^3 du^1\wedge du^4+ u^3 du^2\wedge du^3+ u^4 du^2\wedge du^4+ (u^1- (u^3)^2) du^2\wedge du^4, \] the same resolution is obtained, but the complex is not lcally exact. In \S2, before giving these results, a review on differential complexes associated to a morphism from a vector bundle to the bundle of exterior forms is given.