On a generalization of Cartan's lemma (Q1826139)

The purpose of this paper is to generalize the classical Cartan's lemma on Grassmann algebra to the case of polynomial valued forms. Let V be an n-dimensional vector space over a field K of characteristic 0 and \(V^*\) its dual space. Denoting by A the polynomial ring over K with m variables, let \(A=\sum_{s\geq 0}A^ s\) \((A^ 0=K)\) be its canonical homogeneous decomposition, and consider any element \(\xi \in \Lambda^ pV^*\otimes A^ q\) as an \(A^ q\)-valued p-form on V. If we use a basis of the vector space \(K^ r\), the set of \(A^ 1\)-valued 1-forms \(\alpha =\{\alpha_ 1,\alpha_ 2,...,\alpha_ r\}\) \((\alpha_ i\in V^*\otimes A^ 1)\) may be considered as an element of \(V^*\otimes A^ 1\otimes K^ r\). The the generalized Cartan's lemma can be stated in the following way: Assume \(n\geq m+r-1\) or \(n\geq p+r\). There exists an algebraic set \(\Sigma \subsetneqq V^*\otimes A^ 1\otimes K^ r\) which enjoys the property that if \[ \alpha =\{\alpha_ 1,...,\alpha_ r\}\in V^*\otimes A^ 1\otimes K^ r\setminus \Sigma \quad and\quad \beta =\{\beta_ 1,...,\beta_ r\}\in \Lambda^ pV^*\otimes A^ q \] are related by \(\alpha_ 1\wedge \beta_ 1+...+\alpha_ r\wedge \beta_ r=0,\) then \(\beta_ i\) is expressed in the form \(\beta_ i=\alpha_ 1\wedge \gamma_{1i}+...+\alpha_ r\wedge \gamma_{ri}\) for some \(\gamma_{ij}=\gamma_{ji}\in \Lambda^{p-1}V^*\otimes A^{q-1}\) \((i,j=1,...,r)\). This theorem is shown to serve for the description of a necessary and sufficient condition for the curvature of a Riemannian manifold M to admit a solution of the (generalized) Gauss equation in codimension r (\(\Doteq \dim M)\).