2
$\begingroup$

I am working in geometry control field, fall last week on this exercice and I can't figure it out. I have a distribution $\mathscr{D}$ with $rank(\mathscr{D})=m+1$ in $\mathbb{R}^n$ with $n\leq 2m+1$. I know that there exists an involutive sub-distribution $\mathscr{L}\subset\mathscr{D}$ with rank $m$. I also know that the growth vector is $(m+1,n)$. (So I guess $\mathscr{D}+[\mathscr{D},\mathscr{D}]=T\mathbb{R}^n$, am I right?).

What I need is to find a local normal form $\varphi$ of $\mathscr{D}$ so that $\varphi_*\mathscr{D}=span\{f'_1,\dots,f'_n\}$ assuming $\mathscr{D}=span\{f_1,\dots,f_n\}$.

So far, I guess I can use the fact that $\mathscr{L}$ is involutive to write it $\mathscr{L}=span\{\frac{\partial}{\partial x^1},\dots,\frac{\partial}{\partial x^m}\}$ and then add a vector to build $\mathscr{D}$ but I don't know how. I guess Fröbenius can provide some help but can't find how. Someone has an idea ?

Thanks in advance.

$\endgroup$

1 Answer 1

2
$\begingroup$

In what follows I am assuming (but I'm pretty sure) that your integrable sub-distribution $\mathscr{L}$ is supposed to be the same distribution as $\mathscr{F}$ that you mention later in your question but please correct me if I've misunderstood. Additionally, I'll assume we're working locally, i.e. on sufficiently small open subsets of a fixed point $p$ in $\mathbb{R}^{2m+1}$ (in order to use Frobenius theorem). Oh, and I'll be using the Einstein summation convention, too.

You are right that the Frobenius theorem is key here. Indeed, let $z, y^1,\ldots, y^m$ be the first integrals of $\mathscr{L}$ (i.e. $X(z)=X(y^i)=0$ for all $1\leq i\leq m$ and for all $X\in\mathscr{L}$). These help define a set of coordinates on $\mathbb{R}^{2m+1}$ on $(z, y^1,\ldots,y^m,x^1,\ldots, x^m)$ so that $$ \mathscr{L}=\text{span}\{\partial_{x^1},\ldots,\partial_{x^m}\}, $$ as you had already noticed. Now, since the first derived system, call it $\mathscr{D}'$, (informally defined as $\mathscr{D}'=\mathscr{D}+\left[\mathscr{D},\mathscr{D}\right]$), then the growth vector of $(m+1,n)$ does indeed guarantee that $\mathscr{D}'=T\mathbb{R}^n$. Since $\mathscr{L}$ has rank $m$, this means that $$ \mathscr{D}=\mathscr{L}\oplus\text{span}\{Z\} $$ for some vector field $Z$ with no components from the directions in $\mathscr{L}$. In particular, since $\text{rank}\,\mathscr{D}'=2m+1$ and $\mathscr{L}$ is integrable, then the vector fields defined by $Y_i=[\partial_{x^i},Z]$ for all $1\leq i\leq m$ must not be in the distribution $\mathscr{D}$ (but they are of course in $\mathscr{D}'$). Writting $Z=A\partial_{z}+B^i\partial_{y^i}$ then one can make the argument that the first integrals of $\mathscr{L}$ may be written in such a way so that \begin{equation*} \begin{aligned} Y_1&=\frac{\partial A}{\partial x^1}\partial_z+\frac{\partial B^i}{\partial x^1}\partial_{y^i}=\partial_{y^1}\\ \,&\vdots\\ Y_m&=\frac{\partial A}{\partial x^m}\partial_z+\frac{\partial B^i}{\partial x^m}\partial_{y^i}=\partial_{y^m}. \end{aligned} \end{equation*} This is a system of linear 1st order PDE and we can quickly see a solution to be $A=A(y^1,\ldots,y^m)$ (i.e. no dependence on the $x^i$'s) and $B^i=x^i\tilde{B}^i(y^1,\ldots,y^m)$ for all $1\leq i\leq m$. Thus the distribution $\mathscr{D}$ can be written as \begin{equation*} \mathscr{D}=\text{span}\{A\partial_z+x^1\tilde{B}^1\partial_{y^1}+\cdots+x^m\tilde{B}^m\partial_{y^m},\partial_{x^1},\ldots,\partial_{x^m}\} \end{equation*}

Edit: If I recall correctly, this is essentially a special case of Robert Bryant's doctoral thesis, so you may also find that as an enlightening resource.

$\endgroup$
8
  • $\begingroup$ Thank you for this clear and detailed answer. Indeed, $\mathscr{F}$ and $\mathscr{L}$ are the same sub-distribution, I edited my post. Though, I have two more questions. The hypothesis is $n\leq 2m+1$, so I guess the coordinates should be $$(z,y^1,\dots,y^k)$$ for some $k < m$, right? Besides, now that we have expressed the distribution $\mathscr{D}$, I guess we can deduce more information about $\mathscr{D}$ such as the differential form associated $\omega$ with $\mathscr{D}^\perp=\{\omega\}$. Is there an easier way than solving the system $<\omega,f^i>=0$? $\endgroup$
    – Jean DELI
    Commented Apr 23, 2021 at 8:38
  • $\begingroup$ Ah, apologies, i misread the dimension inequality as an equality instead, oops! I will edit my answer accordingly sometime before Monday. $\endgroup$
    – TK-421
    Commented Apr 24, 2021 at 8:02
  • $\begingroup$ And as a side note: you could actually approach the problem from the standpoint of differential forms from the start. $\endgroup$
    – TK-421
    Commented Apr 24, 2021 at 8:04
  • $\begingroup$ Thank you! Did you have time to have a look? I am working on it but still can't find out how the system will transform with $n\leq 2m+1$ $\endgroup$
    – Jean DELI
    Commented Apr 27, 2021 at 9:59
  • $\begingroup$ Hi! Sorry, my 2nd dose of vaccine wore me out this weekend. The short answer is yes, the case you mention should work out how you expect. I believe there is a paper by Respondek and one other from the early 2000's that looks into this type of problem. I will try to find it to include in an edited answer when I get a chance. $\endgroup$
    – TK-421
    Commented Apr 27, 2021 at 20:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .