Advertisement

Letters in Mathematical Physics

, Volume 108, Issue 3, pp 757–778 | Cite as

Chern–Simons, Wess–Zumino and other cocycles from Kashiwara–Vergne and associators

  • Anton Alekseev
  • Florian NaefEmail author
  • Xiaomeng Xu
  • Chenchang Zhu
Article

Abstract

Descent equations play an important role in the theory of characteristic classes and find applications in theoretical physics, e.g., in the Chern–Simons field theory and in the theory of anomalies. The second Chern class (the first Pontrjagin class) is defined as \(p= \langle F, F\rangle \) where F is the curvature 2-form and \(\langle \cdot , \cdot \rangle \) is an invariant scalar product on the corresponding Lie algebra \(\mathfrak g\). The descent for p gives rise to an element \(\omega =\omega _3+\omega _2+\omega _1+\omega _0\) of mixed degree. The 3-form part \(\omega _3\) is the Chern–Simons form. The 2-form part \(\omega _2\) is known as the Wess–Zumino action in physics. The 1-form component \(\omega _1\) is related to the canonical central extension of the loop group LG. In this paper, we give a new interpretation of the low degree components \(\omega _1\) and \(\omega _0\). Our main tool is the universal differential calculus on free Lie algebras due to Kontsevich. We establish a correspondence between solutions of the first Kashiwara–Vergne equation in Lie theory and universal solutions of the descent equation for the second Chern class p. In more detail, we define a 1-cocycle C which maps automorphisms of the free Lie algebra to one forms. A solution of the Kashiwara–Vergne equation F is mapped to \(\omega _1=C(F)\). Furthermore, the component \(\omega _0\) is related to the associator \(\Phi \) corresponding to F. It is surprising that while F and \(\Phi \) satisfy the highly nonlinear twist and pentagon equations, the elements \(\omega _1\) and \(\omega _0\) solve the linear descent equation.

Keywords

Chern–Simons form Kashiwara–Vergne theory Associators Kontsevich’s non-commutative differential calculus 

Mathematics Subject Classification

17B01 55R40 

Notes

Acknowledgements

The authors would like to thank Jürg Fröhlich, Krzysztof Gawedzki, Samson Shatashvili, and Pavol Ševera for helpful discussions and suggestions. A.A. and F.N. were supported by the grant MODFLAT of the European Research Council and the NCCR SwissMAP of the Swiss National Science Foundation (SNSF). A.A. was supported by the Grants Nos. 165666 and 159581 of the SNSF. X.X. was supported by the Early Postdoc. Mobility Grant of SNSF. C.Z. was supported by the Deutsche Forschungsgemeinschaft (DFG) through the Institutional Strategy of the University of Göttingen and DFG Individual Grant (ZH 274/1-1) “Homotopy Lie Theory”.

References

  1. 1.
    Alekseev, A., Torossian, C.: The Kashiwara–Vergne conjecture and Drinfeld’s associators. Ann. Math. 175(2), 415–463 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bar-Natan, D.: Non-associative tangles. In: Geometric Topology, Proceedings of the Georgia International Topology Conference, pp. 139–183 (1997)Google Scholar
  3. 3.
    Bott, R.: On the Chern–Weil homomorphism and the continuous cohomology of Lie-groups. Adv. Math. 11, 289–303 (1973)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bott, R., Shulman, H., Stasheff, J.: On the de Rham theory of certain classifying spaces. Adv. Math. 20, 43–56 (1976)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Drinfeld, V.: On quasitriangular quasi-Hopf algebras and on a group that is closely connected with \(\text{ Gal }(\overline{\mathbb{Q}}/{\mathbb{Q}})\). Algebra i Analiz 2(4), 149–181 (1990)MathSciNetGoogle Scholar
  6. 6.
    Faddeev, L., Shatashvili, S.: Algebraic and Hamiltonian methods in the theory of non-Abelian anomalies. Theor. Math. Phys. 60(2), 770–778 (1984)CrossRefGoogle Scholar
  7. 7.
    Faddeev, L.: Operator anomaly for the Gauss law. Phys. Lett. B 145(1), 81–84 (1984)ADSMathSciNetCrossRefGoogle Scholar
  8. 8.
    Guillemin, V., Sternberg, S.: Supersymmetry and equivariant de Rham theory. In: Mathematicatical Past and Present. Springer, Berlin (1999)Google Scholar
  9. 9.
    Jackiw, R.: 3-Cocycles in mathematics and physics. Phys. Rev. Lett. 54, 159–162 (1985)ADSMathSciNetCrossRefGoogle Scholar
  10. 10.
    Kontsevich, M.: Formal (non)-commutative symplectic geometry. In: Corwin, L., Gelfand, I., Lepowsky, J. (eds.) The Gelfand Mathematical Seminars 1990–1992, pp. 173–187. Birkhauser, Boston (1993)Google Scholar
  11. 11.
    Naef, F.: Poisson brackets in Kontsevich’s “Lie World”. Preprint arXiv:1608.08886
  12. 12.
    Ševera, P., Willwacher, T.: The cubical complex of a permutation group representation-or however you want to call it. arXiv:1103.3283 (2011)
  13. 13.
    Sheng, Y., Xu, X., Zhu, C.: String principal bundles and transitive Courant algebroids. arXiv:1701.00959 (2017)
  14. 14.
    Shulman, H.: The double complex of \(\Gamma _{k}\). In: Differential Geometry: Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, Vol. XXVII, pp. 313–314. AMS, Providence, RI (1975)Google Scholar
  15. 15.
    Stolz, S., Teichner, P.: What is an elliptic object?. In: Topology, Geometry and Quantum Field Theory, London Mathematical Society Lecture Note Series 308, pp. 247–343. Cambridge University Press, Cambridge (2004)Google Scholar
  16. 16.
    Vergne, M.: A homotopy for a complex of free lie algebras. Turk. J. Math. 36(1), 59–65 (2012)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Weibel, C.: An Introduction to Homological Algebra. Vol. 38. Published 1994 by Cambridge University Press, Cambridge studies in advanced mathematics (1994)Google Scholar
  18. 18.
    Zumino, B.: Chiral anomalies and differential geometry. In: Current Algebra and Anomalies, pp. 361–391 (1984)Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2017

Authors and Affiliations

  • Anton Alekseev
    • 1
  • Florian Naef
    • 1
    Email author
  • Xiaomeng Xu
    • 2
  • Chenchang Zhu
    • 3
  1. 1.Section of MathematicsUniversity of GenevaGeneva 4Switzerland
  2. 2.Department of MathematicsMassachusetts Institute of TechnologyCambridgeUSA
  3. 3.Mathematics InstituteGeorg-August-University GöttingenGöttingenGermany

Personalised recommendations