k-form: sum of wedge products of 1-forms? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T00:14:18Z http://mathoverflow.net/feeds/question/57038 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/57038/k-form-sum-of-wedge-products-of-1-forms k-form: sum of wedge products of 1-forms? jsb 2011-03-01T21:23:25Z 2011-03-02T09:07:15Z <p>Let M be a smooth manifold. Can every k-form $\omega$ on M be written as a sum of k-forms, that are wedge products of 1-forms, i.e. $\omega = \sum_{i=0}^n \alpha_1^{(i)} \wedge \ldots \wedge \alpha_k^{(i)}$, where $\alpha_l^{(i)} \in \Omega^1(M)$ ? If M is compact, one can cover M be finitely many charts and use a partition of unity to see that this holds...but how about the general case? </p> http://mathoverflow.net/questions/57038/k-form-sum-of-wedge-products-of-1-forms/57047#57047 Answer by Johannes Ebert for k-form: sum of wedge products of 1-forms? Johannes Ebert 2011-03-01T22:03:46Z 2011-03-02T09:07:15Z <p>The answer is yes and you need transversality in some form. Here we use Whitneys embedding theorem, but a weaker statement would suffice. Embed $M \subset \mathbb{R}^m$. Thus there is a monomorphism $TM \to M \times \mathbb{R}^m$ of vector bundles, dualizing to an epimorphism $M \times \mathbb{R}^m \to T^{\ast} M$. Let $a_1,\ldots ,a_m$ be the images of the basis vectors. You can write any $k$-form on $M$ as a linear combination with $C^{\infty} (M)$-coefficients of the forms $a_{i_1} \wedge \ldots a_{i_k}$. Done.</p> http://mathoverflow.net/questions/57038/k-form-sum-of-wedge-products-of-1-forms/57063#57063 Answer by Anton Petrunin for k-form: sum of wedge products of 1-forms? Anton Petrunin 2011-03-02T00:43:24Z 2011-03-02T00:43:24Z <p>The same argument as in comapct case works if you use in addition <a href="http://en.wikipedia.org/wiki/Lebesgue_covering_dimension#Properties" rel="nofollow">Ostrand's theorem on colored dimension</a></p> http://mathoverflow.net/questions/57038/k-form-sum-of-wedge-products-of-1-forms/57090#57090 Answer by Stefan Waldmann for k-form: sum of wedge products of 1-forms? Stefan Waldmann 2011-03-02T08:32:01Z 2011-03-02T08:32:01Z <p>Johannes' answer can be upgraded to the following statement:</p> <p>Let $M$ be a second countable and Hausdorff manifold (who cares about others?) and $\pi_i\colon E_i \longrightarrow M$ vector bundles for $i = 1, \ldots, N$. Then the canonical map $$\Gamma^\infty(E_1) \otimes_{C^\infty(M)} \cdots \otimes_{C^\infty(M)} \Gamma^\infty(E_N) \longrightarrow \Gamma^\infty(E_1 \otimes \cdots \otimes E_N)$$ is an isomorphism of $C^\infty(M)$-modules. The same holds if you do some symmetrization/antisymmetrization in tensor powers of a single vector bundle in addition.</p> <p>My favorite argument uses the smooth version of Serre-Swan's theorem: the sections $\Gamma^\infty(E)$ are a finitely generated and projective module over $C^\infty(M)$ and any finitely generated projective module is (up to iso) of that form. This can e.g. be proved along the same lines as Johannes' argument by embedding the tangent bundle of $E$ into some big $\mathbb{R}^n$ and observe that $E$ is naturally identifiable with the vertical subbundle of $TE$ viewed as bundle over $M$.</p> <p>Then the above statement is shown by noting that the map is clearly injective (and well-defined). The surjectivity is the harder part. But the tensor product on the left hand side is again finitely generated and projective, so it has to be the space of smooth sections of <em> some</em> vector bundle. Then the injectivity gives that this vector bundle can be included as a subbundle of $E_1 \otimes \cdots \otimes E_N$. Counting fibre dimensions shows that they coincide...</p> <p>The main point is that Serre Swan also holds in the non-compact case. An alternative proof of this can be found e.g. in Well's book in complex differential geometry.</p>