Characteristic classes from moduli of alternating forms - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T02:15:15Z http://mathoverflow.net/feeds/question/53898 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53898/characteristic-classes-from-moduli-of-alternating-forms Characteristic classes from moduli of alternating forms David Feldman 2011-01-31T16:05:14Z 2011-01-31T18:45:08Z <p>Suppose, just for example, that you have a smooth manifold \$M\$ of dimension greater than \$8\$,and a cohomology class \$q\$ in \$H^3(M,{\Bbb R})\$. Suppose further that one can represent \$q\$ with a differential form \$w\$ on \$M\$ (at least modulo exact forms, and in certain contexts even with a canonical form) that doesn't vanish at any point. So at each point on \$M\$, \$w\$ gives a non-trivial alternating trilinear form on tangent space. Now \$GL(8,R)\$ acts on the space of alternating trilinear forms and one has an infinite orbit space, a moduli space \$S\$ for alternating trilinear forms. So \$w\$ determines a map \$v\$ from \$M\$ to \$S\$. </p> <p>1) Does \$q\$ determines this map up to homotopy? </p> <p>If so, next one might </p> <p>2) Does \$S\$ has interesting cohomology? Could describing the cohomology of moduli spaces like \$S\$ turn out simpler than describing the spaces themselves?</p> <p>If so, finally, one might as</p> <p>3) What relation exists between \$q\$ and the \$v^* H(S)\$, viewed as characteristic classes classes of some sort.</p> <p>I mean this example to suggest in an obvious way a general question. I chose \$3\$ as in \$H^3(M,{ \Bbb R})\$ because alternating \$2\$-forms up to equivalence form a finite set; I chose dimension \$8\$, because up to dimension \$6\$, anyway, alternating \$3\$-forms up to equivalence may also form a finite set, but by dimension \$9\$, a simple dimension count will guarantee that one gets an infinite moduli space. My rudimentary search of the literature indicates that the invariant theory of alternating forms of many variables has not progressed far. I'm referring here to: Cohen, Arjeh M., Helminck, Aloysius G. Trilinear alternating forms on a vector space of dimension \$7\$. Comm. Algebra 16 (1988), no. 1, 1–25. </p>