Half-period ratio

From formulasearchengine
Revision as of 19:27, 8 February 2012 by en>Daqu (Mentioned that ω_1 and ω_2 are often used to denote the *periods* of an elliptic function (rather than the half-periods), and that in any case the *period ratio* is the same as the half-period ratio.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In mathematics, and in particular, in the mathematical background of string theory, the Goddard–Thorn theorem (also called the no-ghost theorem) is a theorem about certain vector spaces. It is named after Peter Goddard and Charles Thorn.

The name "no-ghost theorem" stems from the fact that in the original statement of the theorem, the vector space inner product is positive definite. Thus, there were no vectors of negative norm for r ≠ 0. The name "no-ghost theorem" is also a word play on the phrase no-go theorem.

Formalism

Suppose that V is a vector space with a nondegenerate bilinear form (·,·).

Further suppose that V is acted on by the Virasoro algebra in such a way that the adjointTemplate:Disambiguation needed of the operator Li is L-i, that the central element of the Virasoro algebra acts as multiplication by 24, that any vector of V is the sum of eigenvectors of L0 with non-negative integral eigenvalues, and that all eigenspaces of L0 are finite-dimensional.

Let Vi be the subspace of V on which L0 has eigenvalue i. Assume that V is acted on by a group G which preserves all of its structure.

Now let VII1,1 be the vertex algebra of the double cover I^I1,1 of the two-dimensional even unimodular Lorentzian lattice II1,1 (so that VII1,1 is II1,1-graded, has a bilinear form (·,·) and is acted on by the Virasoro algebra).

Furthermore, let P1 be the subspace of the vertex algebra VVII1,1 of vectors v with L0(v) = v, Li(v) = 0 for i > 0, and let Pr1 be the subspace of P1 of degree rII1,1. (All these spaces inherit an action of G from the action of G on V and the trivial action of G on VII1,1 and R2).

Then, the quotient of Pr1 by the nullspace of its bilinear form is naturally isomorphic (as a G-module with an invariant bilinear form) to V1(r,r)/2 if r ≠ 0, and to V12 if r = 0.

Applications

The theorem can be used to construct some generalized Kac–Moody algebras, in particular the monster Lie algebra.

References