VirasoroProject

 VirasoroProject🔗

Compiled2026-09-20T01:12:51ZProject5ff4245Agent bump v4.34.0 (#9)Leanleanprover/lean4:v4.34.0VersoBlueprintv4.34.0@a48eea9ecb17Mathlibv4.34.0@5ed296525643

This is the blueprint of the VirasoroProject, a Lean 4 formalization of topics related to the Virasoro algebra, by Kalle Kytölä.

Contents

  1. 1. Introduction
  2. 2. Lie algebra cohomology in degree two
  3. 3. Central extensions of Lie algebras
  4. 4. Witt algebra and its 2-cohomology
  5. 5. Virasoro algebra
  6. 6. Heisenberg algebra
  7. 7. Verma modules
  8. 8. Sugawara construction
  9. Dependency Graph
  10. Blueprint Summary