In [a previous question](https://mathoverflow.net/questions/25740/does-every-smooth-integrable-constant-rank-distribution-have-a-basis-in-which-the/25741), I asked an utterly trivial question, which Deane Yang correctly pointed out was utterly trivial. I will now ask a similar question, which is the one I meant to ask last time; I hope it's not similarly trivial.


I am working on $\mathbb R^n$, although in fact any manifold with volume form is good enough. And my question is local: I have an open neighborhood $U \ni 0$, and you are allowed to make it smaller if you want.


Recall that a **constant-rank distribution** $D$ on $U$ is a vector subbundle of the tangent bundle ${\rm T}U$. Let's fix the rank to be $k\leq n$, and suppose that everything is smooth: $\Gamma(D)$ is a $C^\infty$-submodule of $\Gamma({\rm T}U)$. The distribution is **involutive** if $\Gamma(D)$ is a Lie subalgebra of $\Gamma({\rm T}U)$ (over $\mathbb R$ — the Lie bracket on $\Gamma({\rm T}U)$ is not $C^\infty$-linear). The distribution $D$ is **smooth** if $\Gamma(D)$ is a free rank-$k$ module over $C^\infty$, i.e. if $\Gamma(D)$ has a **basis** $\{v\_1,\dots,v\_k\}$ so that $\Gamma(D) = \operatorname{Span}\_{C^\infty}\{v\_1,\dots,v\_k\}$.


So, suppose that on $U \subseteq \mathbb R^n$ I have a smooth involutive rank-$k$ distribution. Given a basis $v\_1,\dots,v\_k \in \Gamma(D)$ (and I will use coordinates $x^1,\dots,x^n$ on $\mathbb R^n$, so I will write $v\_a = \sum\_i v\_a^i(x) \frac{\partial}{\partial x^i}$), then I can define the **structure coefficients** $f\_{a,b}^c(x)$, $a,b,c = 1,\dots,k$, via $[v\_a,v\_b] = \sum\_c f\_{a,b}^c v\_c$, or, in coordinates:
$$ \sum\_i \left( v\_a^i(x)\,\frac{\partial v\_b^j}{\partial x^i} - v\_b^i(x)\,\frac{\partial v\_a^j}{\partial x^i}\right) = \sum\_c f\_{a,b}^c(x)\,v\_c^j(x) $$



> 
> *Question:* Does there exist a basis $\{v\_a\}$ for a given smooth involutive constant-rank distribution so that for each $a=1,\dots,k$ and each $x\in U$, we have $\displaystyle \sum\_b f^b\_{a,b}(x) = \sum\_i \frac{\partial v^i\_a(x)}{\partial x^i}$?
> 
> 
> 


For example, by Frobenius theorem (my utterly trivial question), I can find a basis so that the LHS vanishes for each $a$. Or, by [another of my trivial questions](https://mathoverflow.net/questions/22694/does-a-smooth-constant-rank-integrable-distribution-have-a-local-basis-of-d), I could make the basis entirely divergence-free. But I don't think I can simultaneously make the basis consist of divergence-free vector fields.



> 
> *Question:* If so, how many choices of such a basis do I have? Clearly ${\rm GL}(k,\mathbb R)$ acts on the set of choices; are there more?
> 
> 
> 



Does a smooth, constant-rank, integrable distribution have a basis in which the traces of the structure constants are the divergences of the corresponding basis elements?
The answer to the question in the title is yes. More precisely I claim one may always find a divergence free basis where also all structure constants vanish. The following is a hopefully valid proof by induction on the rank k of the distribution: if k=1 then by an answer to your previous question one may always find a divergence free vector field spanning the distribution. In the case k>1 start by choosing a nowhere zero vector field $v\_1$ which is in the distribution and divergence free. Also pick a n-1 dimensional submanifold $A\_0\subset M$ transversal to $v\_1$ (everything is local near a (fixed) point $p\in M$). On $A\_0$ we have a rank $k-1$ involutive distribution (obtained by restricting the big one) and a volume form obtained by restricting $i\_{v\_1}\omega$ (where $\omega$ denotes the original volume form on $M$). By induction there is a base $\tilde{v}\_2,\ldots,\tilde{v}\_k$ of this distribution on $A\_0$ which is in involution and divergence free for $i\_{v\_1}\omega$. With the flow of $v\_1$ we extend these vector fields to obtain a full basis $v\_1,\ldots,v\_k$ of the rank $k$ distribution on $M$. The obtained basis will be in involution by construction. It remains to check that the $v\_2,\ldots,v\_k$ are divergence free for $\omega$. This follows from the fact that $\omega=dt\wedge i\_{v\_1}\omega$ where $t\in C^\infty(M)$ denotes the function which has value $0$ on $A\_0$ and is otherwise determined by the flow of $v\_1$. (Apply the usual rules for calculus with vector fields and forms.)


But you should really make sure I made no mistake.


If the proof is right it should also allow you to conclude that all manifolds with an integrable distribution and volume form look locally the same. (i.e. like the standard coordinate model). Hence the symmetry group is quite big (infinite dimensional I think).


