Is there much theory of superalgebras acting on manifolds by alternating polyvector fields? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T08:05:40Z http://mathoverflow.net/feeds/question/44217 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44217/is-there-much-theory-of-superalgebras-acting-on-manifolds-by-alternating-polyvect Is there much theory of superalgebras acting on manifolds by alternating polyvector fields? Allen Knutson 2010-10-30T03:48:38Z 2010-10-31T17:14:24Z <p>Usual story: vector fields on $M$, with their Lie bracket, form a Lie algebra. We can consider "actions" of some other Lie algebra ${\mathfrak g}$ on $M$ by looking at Lie homomorphisms ${\mathfrak g}\to Vec(M)$.</p> <p>Now soup up $Vec(M)$ to alternating multivector fields (i.e. sections of $\Lambda^\bullet TM$), and extend the Lie bracket to the <a href="http://en.wikipedia.org/wiki/Schouten-Nijenhuis_bracket#Definition_and_properties" rel="nofollow">Schouten bracket</a>, making it into a graded Lie superalgebra. (Careful: for the grading to work right, a section of $\Lambda^k TM$ must have degree $k-1$.)</p> <p><strong>My question:</strong> Has there been much theory developed of graded Lie superalgebras acting on (non-super) manifolds? </p> <p>For example, if ${\mathfrak g}$ is generated by a single generator $\pi$ of degree $1$, with $[\pi,\pi]=0$ (which one would ordinarily only expect in <em>even</em> degree), then ${\mathfrak g}$-manifolds are Poisson manifolds.</p> http://mathoverflow.net/questions/44217/is-there-much-theory-of-superalgebras-acting-on-manifolds-by-alternating-polyvect/44356#44356 Answer by JosÃ© Figueroa-O'Farrill for Is there much theory of superalgebras acting on manifolds by alternating polyvector fields? JosÃ© Figueroa-O'Farrill 2010-10-31T17:14:24Z 2010-10-31T17:14:24Z <p>I am aware of one context in which something similar to this has been studied. I apologise in advance for "tooting my own horn" since this is based on <a href="http://arxiv.org/abs/0809.5034" rel="nofollow">a paper</a> I co-authored in 2008 and some other work of mine.</p> <p>The context is that of the geometric construction of Lie superalgebras, which arises quite naturally in the study of <em>supersymmetric supergravity background</em>. No Physics is necessary to understand the ideas, though -- so do read on!</p> <p>The geometric data depends on the supergravity theory in question, but it will invariably include a lorentzian spin manifold $(M,g)$ and a connection $D$ on the spinor bundle. (There may be other fields and the spinor bundle might be twisted by a line bundle with its own connection, but such details are peripheral to the main story.) Spinor fields in the kernel of $D$ (subject, perhaps, to additional algebraic conditions) are called <em>(supergravity) Killing spinors</em> and they form a vector space we will denote $\mathfrak{k}_1$.</p> <p>The symmetric square of the spinor bundle can be decomposed in terms of exterior powers of the tangent bundle and hence one can "square" Killing spinors to obtain polyvector fields satisfying some differential conditions. For example, in so-called Freund-Rubin backgrounds, these polyvectors are dual to so-called <em>special Killing forms</em>.</p> <p>Let $\mathfrak{k}_0$ denote the image of the Killing spinors under the squaring map. Then in many cases, on the super-vector space $\mathfrak{k} = \mathfrak{k}_0 \oplus \mathfrak{k}_1$ there is a Lie superalgebra structure, called the <em>Killing superalgebra</em> of the background, where the $\mathfrak{k}_1 \otimes \mathfrak{k}_1 \to \mathfrak{k}_0$ component of the Lie bracket is precisely the squaring map of spinor fields. And in some cases, but not in general, the $\mathfrak{k}_0 \otimes \mathfrak{k}_0 \to \mathfrak{k}_0$ component of the bracket is induced from the Schouten bracket of polyvectors. The polyvectors which appear have odd degree, whence they are in the even subspace of the Lie superalgebra.</p> <p>A similar construction works also in riemannian geometry and is related to <a href="http://arxiv.org/abs/0706.2829" rel="nofollow">a geometric construction</a> of certain exceptional Lie superalgebras such as $F_4$ and $E_8$. Although in those constructions only vector fields were considered in $\mathfrak{k}_0$ and it would be interesting if there were an extension involving higher-rank polyvector fields.</p>