Algebra of formal vector fields on the line and Buchstaber’s conjecture

Article
First Online:
Received:

Abstract

We consider the Lie algebra L 1 of formal vector fields on the line which vanish at the origin together with their first derivatives. V. M. Buchstaber and A. V. Shokurov showed that the universal enveloping algebra U(L 1) is isomorphic to the Landweber-Novikov algebra S tensored with the reals. The cohomology H*(L 1) = H*(U(L 1)) was originally calculated by L. V. Goncharova. It follows from her computations that the multiplication in the cohomology H*(L 1) is trivial. Buchstaber conjectured that the cohomology H*(L 1) is generated with respect to nontrivial Massey products by one-dimensional cocycles. B. L. Feigin, D. B. Fuchs, and V. S. Retakh found a representation for additive generators of H*(L 1) in the desired form, but the Massey products indicated by them later proved to contain the zero element. In the present paper, we prove that H*(L 1) is recurrently generated with respect to nontrivial Massey products by two one-dimensional cocycles in H 1(L 1).

Key words

Massey product graded Lie algebra formal connection Maurer-Cartan equation representation cohomology 
This is a preview of subscription content, log in to check access.

References

  1. [1]
    I. V. Artelnykh, “Massey products and the Buchstaber spectral sequence,” Uspekhi Mat. Nauk, 55:3 (2000), 165–166; English transl.: Russian Math. Surveys, 55:3 (2000), 559–561.MathSciNetGoogle Scholar
  2. [2]
    I. K. Babenko and I. A. Taimanov, “Massey products in symplectic manifolds,” Mat. Sb., 191:8 (2000), 3–44; English transl.: Russian Acad. Sci. Sb. Math., 191:8 (2000), 1107–1146.MathSciNetGoogle Scholar
  3. [3]
    M. Bauer, Ph. Di Francesco, C. Itzykson, and J.-B. Zuber, “Covariant differential equations and singular vectors in Virasoro representations,” Nuclear Phys. B, 362:3 (1991), 515–562.CrossRefMathSciNetGoogle Scholar
  4. [4]
    Y. Benoist, “Une nilvariété non affine,” J. Differential Geom., 41:1 (1995), 21–52.MATHMathSciNetGoogle Scholar
  5. [5]
    L. Benoit and Y. Saint-Aubin, “Degenerate conformal field theories and explicit expressions for some null vectors,” Phys. Lett. B, 215:3 (1988), 517–522.CrossRefMathSciNetGoogle Scholar
  6. [6]
    V. M. Buchstaber, “Chern-Dold character in cobordisms. I,” Mat. Sb., 83(125):4(12) (1970), 575–595; English transl.: Russian Acad. Sci. Sb. Math., 12:4 (1970), 573–594.MathSciNetGoogle Scholar
  7. [7]
    V. M. Buchstaber and A. V. Shokurov, “The Landweber-Novikov algebra and formal vector fields on the line,” Funkts. Anal. Prilozhen., 12:3 (1978), 1–11; English transl.: Functional Anal. Appl., 12:3 (1978), 159–168.Google Scholar
  8. [8]
    I. M. Gelfand, “The cohomology of infinite dimensional Lie algebras: some questions of integral geometry,” in: Actes du Congres International des Mathématiciens (Nice, 1970), t. 1, Gauthier-Villars, Paris, 1971, 95–111.Google Scholar
  9. [9]
    L. V. Goncharova, “The cohomologies of Lie algebras of formal vector fields on the line,” Funkts. Anal. Prilozhen., 7:2 (1973), 6–14; 7:3 (1973), 33–44; English transl.: Functional Anal. Appl., 7:2 (1973), 91–97; 7:3 (1973), 194–203.Google Scholar
  10. [10]
    B. L. Feigin and D. B. Fuchs, “Invariant skew-symmetric differential operators on the line and Verma modules over the Virasoro algebra,” Funkts. Anal. Prilozhen., 16:2 (1982), 47–63; English transl.: Functional Anal. Appl., 16:2 (1982), 114–126.MathSciNetGoogle Scholar
  11. [11]
    B. L. Feigin and D. B. Fuchs, “Verma modules over Virasoro algebra,” in: Lecture Notes in Math., vol. 1060, Springer-Verlag, Berlin, 1984, 230–245.Google Scholar
  12. [12]
    B. L. Feigin and D. B. Fuchs, “Representations of the Virasoro algebra,” in: Representations of Lie Groups and Related Topics, Adv. Stud. Contemp. Math., vol. 7, Gordon & Breach, New York, 1990, 465–554.Google Scholar
  13. [13]
    B. L. Feigin, D. B. Fuchs, and V. S. Retakh, “Massey operations in the cohomology of the infinite dimensional Lie algebra L 1,” in: Lecture Notes in Math., vol. 1346, Springer-Verlag, Berlin, 1988, 13–31.Google Scholar
  14. [14]
    D. B. Fuchs, Cohomology of the Infinite Dimensional Lie Algebras, Consultants Bureau, New York, 1987.Google Scholar
  15. [15]
    D. B. Fuchs, “Singular vectors over the Virasoro algebra and extended Verma modules,” in: Adv. Soviet Math., vol. 17, Amer. Math. Soc., Providence, RI, 1993, 65–74.Google Scholar
  16. [16]
    V. G. Kac, “Contravariant form for infinite-dimensional Lie algebras,” in: Lecture Notes in Phys. B, vol. 94, 1979, 441–445.CrossRefGoogle Scholar
  17. [17]
    D. Kraines, “Massey higher products,” Trans. Amer. Math. Soc., 124 (1966), 431–449.MATHCrossRefMathSciNetGoogle Scholar
  18. [18]
    W. S. Massey, “Some higher order cohomology operations,” in: Symposium Internacional de Topología Algebraica, Universidad National Autónoma de México and UNESCO, Mexico City, 1958, 145–154.Google Scholar
  19. [19]
    A. Rocha-Carridi and N. R. Wallach, “Characters of irreducible representations of the Lie algebra of vector fields on the circle,” Invent. Math., 72:1 (1983), 57–75.CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media, Inc. 2009

Authors and Affiliations

  1. 1.Faculty of Mechanics and MathematicsMoscow State UniversityMoscowRussia

Personalised recommendations