Differential complex associated to closed differential forms of nonconstant rank (Q875216): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 01:27, 5 March 2024

scientific article
Language Label Description Also known as
English
Differential complex associated to closed differential forms of nonconstant rank
scientific article

    Statements

    Differential complex associated to closed differential forms of nonconstant rank (English)
    0 references
    11 April 2007
    0 references
    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.
    0 references
    0 references
    differential complex
    0 references
    differential form with singularity
    0 references
    Lie derivative
    0 references
    Martinet singularity
    0 references

    Identifiers