User travis - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T09:23:18Z http://mathoverflow.net/feeds/user/26266 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106540/local-quasi-normal-form-for-3-plane-fields-on-6-manifolds Local (quasi-)normal form for 3-plane fields on 6-manifolds Travis 2012-09-06T19:50:45Z 2012-09-07T19:39:57Z <p>A 3-plane field $D$ on a 6-manifold $M$ is <strong>generic</strong> if $[D, D] = TM$. I'd like to do some explicit computations with a general local plane field of this type, and so I want to find a local (quasi-)normal form as possible for these plane fields, given, say, as an explicit triple of 1-forms on $M$, which is as simple as possible in the sense that it depends on as few functions as possible. One expects from an easy heuristic argument that an optimal normal form for such plane fields depends on three functions of six variables.</p> <p>A well-known example of this kind of normal form is given by a theorem of Goursat, which says that for any 2-plane field $E$ on a 5-manifold $N$ that is generic (which this time just means that $[E, [E, E]] = TN$) and a base point $u \in N$, there are local coordinates $(x, y, p, q, z)$ near $u$ and a function $F(x, y, p, q, z)$ such that the restriction of $E$ to the chart is the common kernel of the triple</p> <p><code>$\{ dy - p \, dx , dp - q \, dx, dz - F(x, y, p, q, z) \, dx \}$</code> $(\ast)$.</p> <p>(In fact, we can furthermore assume that $u = (0, 0, 0, 0, 0)$ in this chart.) Conversely, given a function $F$, the 2-plane field $(\ast)$ is generic iff $F_{qq}$ is nowhere zero.</p> <p>(This triple in this example is just the plane field on the jet space $J^{0, 2} (\mathbb{R}, \mathbb{R}^2) = \mathbb{R}^5_{xypqz}$, where $p$ and $q$ are placeholder variables for $y$ and $y'$, respectively, corresponding to the differential equation $z' = F(x, y, y', y'', z)$. I've been told, though, that there might well be no normal form for generic 3-plane fields on 6-manifolds that can be interpreted in this way, i.e., as the plane field determined by a system of differential equations with some unspecified functions on a suitable jet space.)</p> <p>There are various accessible proofs of Goursat's result in the literature (including in a paper of Bryant &amp; Hsu, and in a recent Ph.D. dissertation of Strazzullo), but the arguments in those references are not obviously adaptable to the 3-plane geometry in which I'm interested.</p> http://mathoverflow.net/questions/106540/local-quasi-normal-form-for-3-plane-fields-on-6-manifolds/106566#106566 Comment by Travis Travis 2012-09-07T23:20:35Z 2012-09-07T23:20:35Z Thanks, Robert, this is exactly the kind of result I wanted.