# k-form: sum of wedge products of 1-forms?

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?

-
Just a comment: being coverable by finitely many charts is a much weaker condition on a manifold than compactness. This, or conditions closely related to it, is often called being "of finite type". In my experience even the noncompact manifolds one studies are typically of finite type. (Nevertheless your question is a perfectly reasonable one, and I don't know the answer off the top of my head.) –  Pete L. Clark Mar 1 '11 at 21:34
I vaguely recall something like countable partitions of unity, and most authors pose some countability conditions on manifolds. Do these fit together? –  darij grinberg Mar 1 '11 at 21:37
OK, more precisely: A second-countable manifold has a countable base $\mathcal T$. Every chart, being an open set, is the union of some subfamily of $\mathcal T$. Taking the union of all of these subfamilies (over all charts) and throwing away equal sets, we obtain a subfamily $\mathcal S$ of $\mathcal T$ such that every set in $\mathcal S$ is included in a chart and the sets in $\mathcal S$ cover all of the manifold. This family $\mathcal S$, being a subfamily of the countable $\mathcal T$, is countable. Now, use a countable partition of unity. Am I right? –  darij grinberg Mar 1 '11 at 21:41
The answer is yes for silly reasons -- given any form $\omega$, multiply it by a partition of unity where your bump functions have compact support. You can do what you ask in every compact set, so you can do it on your manifold. Your "sum" will be locally finite, so it's defined. But perhaps you want a sum that's globally finite? –  Ryan Budney Mar 1 '11 at 21:56
I think you can tweak the argument above to be a globally finite sum by choosing your partition of unity carefully, and then re-arranging the terms in the sum carefully to make the global sum finite. –  Ryan Budney Mar 1 '11 at 21:57

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.

-

The same argument as in comapct case works if you use in addition Ostrand's theorem on colored dimension

-

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.
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$.
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 some 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...