##
**Vertex algebras and the formal loop space.**
*(English)*
Zbl 1106.17038

The mathematical approach of string theory can be cast in terms of analysis on the space of free loops, i.e. smooth maps \(S^1\rightarrow X\) where \(X\) is a given spacetime manifold. One has the folklore principle that constructions involving the space of free loops lead to vertex algebras. One class of such constructions is \(\Omega_X^{ch}\), the chiral de Rham complex of an algebraic variety. Heuristically, this complex should be interpreted in terms of \(LX\), the space of free loops and its subvariety \(L^0X\) consisting of loops extending holomorphically into the unit disk. That is \(\Omega_X^{ch}\) can be thought of as the semi-infinite de Rham complex with coefficients in the space of distributions on \(LX\) supported on \(L^0X\). Mathematically the definition of \(\Omega_X^{ch}\) is of a more computational nature and proceeds by constructing the action of the group of diffeomorphisms on the irreducible module over the Heisenberg algebra.

The article has two main goals: First, to give a precise mathematical theorem underlying the above folklore principle about vertex algebras. An algebro-geometric version of the free loop space \(\mathcal {L} (X)\) for any scheme \(X\) of finite type over a field is introduced. This is an ind-scheme containing \(\mathcal L^0 (X),\) the scheme of formal germs of curves on \(X\). The authors prove that both \(\mathcal L (X)\) and \(\mathcal L^0 (X)\) themselves possess a nonlinear version of the vertex algebra structure (which makes it clear that any natural linear construction applied to them should give a vertex algebra in the usual sense). The authors proves that natural global versions of \(\mathcal L\text (X)\) and \(\mathcal L^0\text (X)\) have natural structures of factorization monoids.

To give a good definition of the algebraic analog of the full loop space \(LX\) there is a problem: The functor which to any commutative ring \(R\) associates the set of \(R((t))\)-points of \(X\) is representable by \(\tilde{\mathcal L}(X)\) when \(X\) is affine, but this functor do not glue well together in the general case: When \(X\) is e.g. projective, there is no difference between \(R[[t]]\)-points and \(R((t))\)-points. To overcome this subtlety, the authors consider formal loops which are ”infinitesimal in the Laurent direction”. Then they glue well together.

The second goal of the authors, is to give a direct geometric construction of \(\Omega_X^{ch}\) for smooth \(X\) in terms of their model for the loop space. This construction explains the fact that \(\Omega_X^{ch}\) is a sheaf of vertex algebras.

As with the study of formal arcs and motivic integration, this considerations can be viewed as algebro-geometric analogs of the basic constructions of \(p\)-adic analysis.

The construction of the formal loop space in chapter 1 is written in a way that makes it possible to understand. The generalities on ind-schemes, the scheme of germs of arcs and the nil-Laurent series is explained such that they form the foundation for proving the first result: The proof of the existence of the formal loop space. It is also possible to understand the formal loop space as an ind-pro-object. In chapter 2, the localization of the global loop space in a smooth curve \(C\) is proved to have a “functorial” structure of factorization monoid, gluing well together on the affine covering of a e.g. projective scheme \(X\). This result is highly nontrivial, and hard to prove. Some easy examples illustrates the result in a nice way.

To introduce the announced vertex algebras, the theory of \(\mathcal D\)-modules on ind-pro-schemes are given. The properties of these sheaves are proved to behave well, leading to the de Rham complexes on ind-pro-schemes.

The final chapter concentrate on identification on the chiral de Rham complex \(\mathcal CDR_{ X}\). It is proved that “localized” to a (point on a) smooth curve \(C\) this complex has the structure of a factorization algebra. This leads to the theorem aying that the de Rham complex \(\mathcal CDR(\omega_X)\) is a sheaf of vertex algebras on \(X\) and that for any right \(\mathcal D_{ X}\)-module \(\mathcal M\) the de Rham complex \(\mathcal CDR(M)\) is a sheaf of \(\mathcal CDR(\omega_X)\)-modules.

The article has two main goals: First, to give a precise mathematical theorem underlying the above folklore principle about vertex algebras. An algebro-geometric version of the free loop space \(\mathcal {L} (X)\) for any scheme \(X\) of finite type over a field is introduced. This is an ind-scheme containing \(\mathcal L^0 (X),\) the scheme of formal germs of curves on \(X\). The authors prove that both \(\mathcal L (X)\) and \(\mathcal L^0 (X)\) themselves possess a nonlinear version of the vertex algebra structure (which makes it clear that any natural linear construction applied to them should give a vertex algebra in the usual sense). The authors proves that natural global versions of \(\mathcal L\text (X)\) and \(\mathcal L^0\text (X)\) have natural structures of factorization monoids.

To give a good definition of the algebraic analog of the full loop space \(LX\) there is a problem: The functor which to any commutative ring \(R\) associates the set of \(R((t))\)-points of \(X\) is representable by \(\tilde{\mathcal L}(X)\) when \(X\) is affine, but this functor do not glue well together in the general case: When \(X\) is e.g. projective, there is no difference between \(R[[t]]\)-points and \(R((t))\)-points. To overcome this subtlety, the authors consider formal loops which are ”infinitesimal in the Laurent direction”. Then they glue well together.

The second goal of the authors, is to give a direct geometric construction of \(\Omega_X^{ch}\) for smooth \(X\) in terms of their model for the loop space. This construction explains the fact that \(\Omega_X^{ch}\) is a sheaf of vertex algebras.

As with the study of formal arcs and motivic integration, this considerations can be viewed as algebro-geometric analogs of the basic constructions of \(p\)-adic analysis.

The construction of the formal loop space in chapter 1 is written in a way that makes it possible to understand. The generalities on ind-schemes, the scheme of germs of arcs and the nil-Laurent series is explained such that they form the foundation for proving the first result: The proof of the existence of the formal loop space. It is also possible to understand the formal loop space as an ind-pro-object. In chapter 2, the localization of the global loop space in a smooth curve \(C\) is proved to have a “functorial” structure of factorization monoid, gluing well together on the affine covering of a e.g. projective scheme \(X\). This result is highly nontrivial, and hard to prove. Some easy examples illustrates the result in a nice way.

To introduce the announced vertex algebras, the theory of \(\mathcal D\)-modules on ind-pro-schemes are given. The properties of these sheaves are proved to behave well, leading to the de Rham complexes on ind-pro-schemes.

The final chapter concentrate on identification on the chiral de Rham complex \(\mathcal CDR_{ X}\). It is proved that “localized” to a (point on a) smooth curve \(C\) this complex has the structure of a factorization algebra. This leads to the theorem aying that the de Rham complex \(\mathcal CDR(\omega_X)\) is a sheaf of vertex algebras on \(X\) and that for any right \(\mathcal D_{ X}\)-module \(\mathcal M\) the de Rham complex \(\mathcal CDR(M)\) is a sheaf of \(\mathcal CDR(\omega_X)\)-modules.

Reviewer: Arvid Siqveland (Kongsberg)

### MSC:

17B69 | Vertex operators; vertex operator algebras and related structures |

14F40 | de Rham cohomology and algebraic geometry |

PDF
BibTeX
XML
Cite

\textit{M. Kapranov} and \textit{E. Vasserot}, Publ. Math., Inst. Hautes Étud. Sci. 100, 209--269 (2004; Zbl 1106.17038)

### References:

[1] | M. Artin, B. Mazur, Etale Homotopy, Lect. Notes Math.100, Springer, 1970. |

[2] | B. Bakalov, Beilinson-Drinfeld’s definition of a chiral algebra, available from http://www.math.berkeley.edu/∼bakalov/. |

[3] | A. Beilinson, I. Bernstein, A proof of the Jantzen conjectures, in: S. Gelfand, S. Gindikin (eds.), I. M. Gelfand Seminar1, 1-50, Adv. Soviet Math. 16, Amer. Math. Soc., Providence, RI, 1993. · Zbl 0790.22007 |

[4] | A. Beilinson, V. Drinfeld, Chiral algebras, available from http://zaphod.uchicago.edu/∼benzvi/. · Zbl 1138.17300 |

[5] | A. Beilinson, V. Drinfeld, Quantization of Hitchin’s integrable system and Hecke eigensheaves, available from http://zaphod.uchicago.edu/∼benzvi/. · Zbl 0864.14007 |

[6] | S. Bosch, W. Lütkebohmert, M. Raynaud, Néron models, Springer, 1990. |

[7] | C. Contou-Carrère, Jacobienne locale, groupe de bivecteurs de Witt universel et symbole modéré, C.R. Acad. Sci. Paris, Sér. I, Math., 318 (1994), 743-746. · Zbl 0840.14031 |

[8] | J. Denef, F. Loeser, Germs of arcs on singular algebraic varieties and motivic integration, Invent. Math., 135 (1999), 201-232. · Zbl 0928.14004 |

[9] | A. Grothendieck, J. Dieudonné, Eléments de géométrie algébrique, Grund. Math. Wiss.166, Boston, Basel, Berlin: Springer, 1971. · Zbl 0203.23301 |

[10] | A. Grothendieck, Éléments de géométrie algébrique IV (rédigés avec la collaboration de Jean Dieudonné), Publ. Math., Inst. Hautes Étud. Sci., 24 (1965), 5-231, 28 (1966), 5-255, 32 (1967), 5-361. |

[11] | E. Frenkel, Vertex algebras and algebraic curves, Séminaire Bourbaki, 875 (2000), Astérisque276 (2002), 299-339. |

[12] | I. B. Frenkel, J. Lepowsky, A. Meurman, Vertex Operator Algebras and the Monster, Pure Appl. Math.134, Boston: Academic Press, 1988. · Zbl 0674.17001 |

[13] | D. Gaitsgory, Notes on 2d conformal field theory and string theory, in: P. Deligne et al. (eds), Quantum fields and strings: a course for mathematicians, vol. 2, pp. 1017-1089, Providence, RI: Am. Math. Soc., 1999. · Zbl 1170.81429 |

[14] | I. M. Gelfand, D. A. Kazhdan, D. B. Fuks, The actions of infinite-dimensional Lie algebras, Funct. Anal. Appl., 6 (1972), 9-13. · Zbl 0267.18023 |

[15] | A. Grothendieck, J.-L. Verdier, Théorie des topos et cohomologie étale des schémas, SGA IV, Exp. I, Lect. Notes Math.269, Springer, 1970. |

[16] | Y.-Z. Huang, J. Lepowsky, On the \(\mathcal{D}\)-module and the formal variable approachs to vertex algebras, Topics in geometry, pp. 175-202, Birkhäuser, 1996. · Zbl 0871.17023 |

[17] | V. Kac, Vertex algebras for beginners, Univ. Lect. Ser.10, Providence, RI: Am. Math. Soc., 1997. |

[18] | M. Kapranov, Double affine Hecke algebras and 2-dimensional local fields, J. Am. Math. Soc., 14 (2001), 239-262. · Zbl 0958.20005 |

[19] | K. Kato, Existence theorem for higher local fields, Invitation to higher local fields (Münster, 1999), pp. 165-195 (electronic), Geom. Topol. Monogr. 3, Geom. Topol. Publ., Coventry, 2000. · Zbl 1008.11061 |

[20] | M. Kashiwara, T. Tanisaki, Kazhdan-Lusztig Conjecture for Symmetrizable Kac-Moody Lie Algebra. II Intersection Cohomologies of Schubert varieties, Operator algebras, unitary representations, enveloping algebras, and invariant theory (Paris, 1989), pp. 159-195, Progr. Math., 92, Birkhäuser, 1990. · Zbl 0743.17024 |

[21] | D. A. Leites, Introduction to the theory of supermanifolds. Uspekhi Mat. Nauk., 35 (1980), 3-57. · Zbl 0439.58007 |

[22] | A. Malikov, V. Schechtman, A. Vaintrob, Chiral De Rham complex, Comm. Math. Phys., 204 (1999), 439-473. · Zbl 0952.14013 |

[23] | A. N. Parshin, Higher-dimensional local fields and L-functions, Invitation to higher local fields (Münster, 1999), pp. 199-213 (electronic), Geom. Topol. Monogr. 3, Geom. Topol. Publ., Coventry, 2000. · Zbl 1008.11060 |

[24] | R. W. Thomason, T. Trobaugh, Higher algebraic K-theory of schemes and of derived categories, in: P. Cartier et al. (eds.), Grothendieck Festschrift, vol. III, Progr. Math., 88, pp. 247-435, Birkhäuser, 1990. · Zbl 0731.14001 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.