Vertex operator algebras, the Verlinde conjecture, and modular tensor categories

Let V be a simple vertex operator algebra satisfying the following conditions: (i) V(n)) = 0 for n < 0, V(0)=C1, and the contragredient module V' is isomorphic to V as a V-module; (ii) every N-gradable weak V-module is completely reducible; (iii) V is C(2)-cofinite. We announce a proof of the Verlinde conjecture for V, that is, of the statement that the matrices formed by the fusion rules among irreducible V-modules are diagonalized by the matrix given by the action of the modular transformation tau |--> -1/tau on the space of characters of irreducible V-modules. We discuss some consequences of the Verlinde conjecture, including the Verlinde formula for the fusion rules, a formula for the matrix given by the action of tau |--> -1/tau, and the symmetry of this matrix. We also announce a proof of the rigidity and nondegeneracy property of the braided tensor category structure on the category of V-modules when V satisfies in addition the condition that irreducible V-modules not equivalent to V have no nonzero elements of weight 0. In particular, the category of V-modules has a natural structure of modular tensor category.