{"id":1439,"date":"2008-12-29T21:16:02","date_gmt":"2008-12-30T02:16:02","guid":{"rendered":"http:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=1439"},"modified":"2009-04-15T09:46:26","modified_gmt":"2009-04-15T14:46:26","slug":"notes-on-brst-ix-clifford-algebras-and-lie-algebras","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=1439","title":{"rendered":"Notes on BRST IX: Clifford Algebras and Lie Algebras"},"content":{"rendered":"

Note: I’ve started putting together the material from these postings into a proper document, available here<\/a>, which will be getting updated as time goes on. I’ll be making changes and additions to the text there, not on the blog postings. For most purposes, that will be what people interested in this subject will want to take a look at.
\n<\/em><\/p>\n

When a Lie group with Lie algebra [tex]\\mathfrak g[\/tex] acts on a manifold [tex]M[\/tex], one gets two sorts of actions of [tex]\\mathfrak g[\/tex] on the differential forms [tex]\\Omega^*(M[\/tex]). For each [tex]X\\in \\mathfrak g [\/tex] one has operators:<\/p>\n

  • [tex]\\mathcal L}_X: \\Omega^k(M)\\rightarrow\\Omega^k(M),[\/tex] the Lie derivative along the vector field on [tex]M[\/tex] corresponding to [tex]X[\/tex]<\/li>\n

    and<\/p>\n

  • [tex]i_X:\\Omega^k(M)\\rightarrow\\Omega^{k-1}(M)[\/tex], contraction by the vector field on [tex]M[\/tex] corresponding to [tex]X[\/tex]<\/li>\n

    These operators satisfy the relation<\/p>\n

    [tex]di_X+i_Xd={\\mathcal L}_X[\/tex]<\/p>\n

    where [tex]d[\/tex] is the de Rham differential [tex]d:\\Omega^k(M)\\rightarrow \\Omega^{k+1}(M)[\/tex], and the operators [tex]d, i_X, \\mathcal L_X[\/tex] are (super)-derivations. In general, an algebra carrying an action by operators satisfying the same relations satisfied by [tex]d, i_X, \\mathcal L_X[\/tex] will be called a [tex]\\mathfrak g[\/tex]-differential algebra. It will turn out that the Clifford algebra [tex]Cliff(\\mathfrak g)[\/tex] of a semi-simple Lie algebra [tex]\\mathfrak g[\/tex] carries not just the Clifford algebra structure, but the additional structure of a [tex]\\mathfrak g[\/tex]-differential algebra, in this case with [tex]\\mathbf Z_2[\/tex], not [tex]\\mathbf Z[\/tex] grading.<\/p>\n

    Note that in this section the commutator symbol will be the supercommutator in the Clifford algebra (commutator or anti-commutator, depending on the [tex]\\mathbf Z_2[\/tex] grading). When the Lie bracket is needed, it will be denoted [tex][\\cdot,\\cdot]_{\\mathfrak g}[\/tex].<\/p>\n

    To get a [tex]\\mathfrak g[\/tex]-differential algebra on [tex]Cliff(\\mathfrak g)[\/tex] we need to construct super-derivations [tex]i_X^{Cl}[\/tex], [tex]{\\mathcal L}_X^{Cl}[\/tex], and [tex]d^{Cl}[\/tex] satisfying the appropriate relations. For the first of these we don’t need the fact that this is the Clifford algebra of a Lie algebra, and can just define<\/p>\n

    [tex]i_X^{Cl}(\\cdot)=[-\\frac{1}{2}X,\\cdot][\/tex]<\/p>\n

    For [tex]{\\mathcal L}_X^{Cl}[\/tex], we need to use the fact that since the adjoint representation preserves the inner product, it gives a homomorphism <\/p>\n

    [tex]\\widetilde{ad}:\\mathfrak g \\rightarrow \\mathfrak{spin}(\\mathfrak g)[\/tex]<\/p>\n

    where [tex]\\mathfrak{spin}(\\mathfrak g)[\/tex] is the Lie algebra of the group [tex]Spin(\\mathfrak g)[\/tex] (the spin group for the inner product space [tex]\\mathfrak g[\/tex]), which can be identified with quadratic elements of [tex]Cliff(\\mathfrak g)[\/tex], taking the commutator as Lie bracket. Explicitly, if [tex]X_a[\/tex] is a basis of [tex]\\mathfrak g[\/tex], [tex]X_a^* [\/tex] the dual basis, then<\/p>\n

    [tex]\\widetilde{ad}(X)=\\frac{1}{4}\\sum_a X_a^*[X,X_a]_{\\mathfrak g}[\/tex]<\/p>\n

    and we get operators acting on [tex]Cliff(\\mathfrak g)[\/tex]<\/p>\n

    [tex]{\\mathcal L}_X^{Cl}(\\cdot)=[\\widetilde{ad}(X),\\cdot][\/tex]<\/p>\n

    Remarkably, an appropriate [tex]d^{Cl}[\/tex] can be constructed using a cubic element of [tex]Cliff(\\mathfrak g)[\/tex]. Let <\/p>\n

    [tex]\\gamma= \\frac{1}{24}\\sum_{a,b}X^*_aX^*_b[X_a,X_b]_{\\mathfrak g}[\/tex]<\/p>\n

    then<\/p>\n

    [tex]d^{Cl}(\\cdot)=[\\gamma, \\cdot][\/tex]<\/p>\n

    [tex]d^{Cl}\\circ d^{Cl}=0[\/tex] since [tex]\\gamma^2[\/tex] is a scalar which can be computed to be [tex]-\\frac{1}{48}tr\\Omega_{\\mathfrak g}[\/tex], where [tex]\\Omega_{\\mathfrak g}[\/tex] is the Casimir operator in the adjoint representation.<\/p>\n

    The above constructions give [tex]Cliff(\\mathfrak g)[\/tex] the structure of a filtered [tex]\\mathfrak g[\/tex]-differential algebra, with associated graded algebra [tex]\\Lambda^*(\\mathfrak g)[\/tex]. This gives [tex]\\Lambda^*(\\mathfrak g)[\/tex] the structure of a [tex]\\mathfrak g[\/tex]-differential algebra, with operators [tex]i_X, \\mathcal L_X, d[\/tex]. The cohomology of this differential algebra is just the Lie algebra cohomology [tex]H^*(\\mathfrak g, \\mathbf C)[\/tex]. <\/p>\n

    [tex]Cliff(\\mathfrak g)[\/tex] can be thought of as an algebra of operators corresponding to the quantization of an anti-commuting phase space [tex]\\mathfrak g[\/tex]. Classical observables are anti-commuting functions, elements of [tex]\\Lambda^*(\\mathfrak g^*)[\/tex]. Corresponding to [tex]i_X, \\mathcal L_X, d[\/tex] one has both elements of [tex]\\Lambda^*(\\mathfrak g^*)[\/tex] and their quantizations, the operators in [tex]Cliff(\\mathfrak g)[\/tex] constructed above.<\/p>\n

    For more details about the above, see the following references<\/p>\n

  • A. Alekseev and E. Meinrenken, The non-commutative Weil algebra, Invent. Math 139, 135-172 (2000), or arXiv:math\/9903052<\/a><\/li>\n
  • E. Meinrenken, Clifford algebras and Lie groups, 2005 Toronto lecture notes<\/a><\/li>\n
  • G. Landweber, Multiplets of representations and Kostant’s Dirac operator for equal rank loop groups, Duke Mathematical Journal 110, 121-160 (2001), or arXiv:math\/0005057<\/a><\/li>\n
  • B. Kostant and S. Sternberg, Symplectic reduction , BRS cohomology and infinite-dimensional Clifford algebras, Ann. Physics 176, 49-113 (1987)<\/li>\n","protected":false},"excerpt":{"rendered":"

    Note: I’ve started putting together the material from these postings into a proper document, available here, which will be getting updated as time goes on. I’ll be making changes and additions to the text there, not on the blog postings. … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[12],"tags":[],"class_list":["post-1439","post","type-post","status-publish","format-standard","hentry","category-brst"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1439","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1439"}],"version-history":[{"count":31,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1439\/revisions"}],"predecessor-version":[{"id":1859,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1439\/revisions\/1859"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1439"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1439"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1439"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}