Thursday, June 7, 2007

Landscape


9 comments:

  1. Root space = 0


    R.W. Gebert, H. Nicolai, P.C. West


    Little is known about the infinite-dimensional
    Lie algebras and groups that have been suggested as candidates for a unified symmetry of (super)string theory;
    similarly, it is far from assured that we are already in possession of the proper physical concepts necessary to
    deal with Planck scale physics and quantum gravity. Nonetheless, the developments of the past decade have
    taught us that progress in one of these areas may well depend on advances in the other. The main purpose of
    the present article is to show how methods developed in the early days of string theory may provide a better
    understanding of the mathematical structures encountered in the theory of indefinite Kac Moody algebras. More
    specifically, we will work out the connection between hyperbolic Kac Moody algebras and multistring vertices,
    and in particular make precise the sense in which the structure constants of such algebras can be identified with
    the scattering amplitudes for the physical states corresponding to the root space elements of the Lie algebra
    (although this seems to be almost a folklore result in connection with “monstrous” Lie algebras based on the
    lattice II25,1, the point has never been made for hyperbolic Kac Moody algebras to the best of our knowledge).
    In fact, we shall argue (and offer concrete evidence) that the multistring vertices of a suitably compactified
    bosonic string “know everything” there is to know about certain hyperbolic Kac Moody algebras such as E10.


    N-string vertices played an important role in the early history of string theory following the discovery of the
    N-tachyon scattering amplitude. While scattering amplitudes were originally computed by evaluating
    products of suitable vertex operators (such as : exp(iv·X): for the tachyon) between two vacuum states in a
    one-string Fock space, it was soon realized that they could alternatively be obtained by
    attaching the physical states involved in the scattering to the legs of a multistring vertex acting on a multistring
    Fock space. The beginning of this development was the discovery of a special three-vertex with the requisite
    properties; a slightly more symmetric, but physically equivalent three-vertex was found shortly after. The problem of constructing an N-vertex for arbitrary N>3 was solved by sewing N−2 three-vertices. Not only did these N-vertices describe N-string scattering, but they provided transparent proofs
    of various properties of the scattering amplitudes, such as duality. The formalism did, however, have some
    drawbacks: the N string vertices obtained by sewing were rather complicated and their properties were not at
    all apparent. For instance, the action of the Virasoro generators on the N-vertex was not properly understood;
    furthermore, the investigation of loop effects in this framework led to incorrect results as negative norm states
    were found to propagate within the loops.


    A new approach to multistring vertices was initiated in 1986.
    It was shown there that N-vertices could be directly and very explicitly determined without recourse to sewing
    from a simple set of defining equations called overlap equations. These come in two varieties, namely as unintegrated
    and integrated overlaps; although the latter contain somewhat less information than the unintegrated
    overlaps they are frequently more useful for practical calculations as we will also see in this paper. An especially
    appealing feature of this formalism is the elegant geometrical interpretation of the overlap equations in terms
    of coordinate patches associated with every string emitted from the worldsheet; the N-vertex is, in fact, completely
    characterized by the transition functions between these patches. One finds in this way an infinite class
    of vertices corresponding to different transition functions, which are physically equivalent but differ off-shell.
    As an added bonus, general properties of the multistring vertices could now be fully elucidated. The integrated
    overlap equations, which can be obtained from the overlap equations by contour integration, were independently
    studied and extensively applied in the context of the so-called Grassmannian approach to string theory.


    Despite the well known and close links between string theory and Kac Moody algebras, it appears that multistring technology has not really
    been exploited for its full worth in the Lie algebra context, as much of the pertinent literature deals solely with
    one-string Fock spaces and one-string vertex operators. We will here demonstrate that multistring vertices may
    serve as valuable tools for the analysis of the multiple commutators arising in the theory of hyperbolic Kac
    Moody algebras, and that they offer new and promising insights into their structure, which has so far defied
    all attempts at a complete understanding. Multistring vertices can in principle provide exhaustive information
    about the root spaces of such algebras and may thus bring us closer to the ultimate goal of finding a manageable
    representation of the Lie algebra elements that would be analogous to the current algebra representation for
    affine algebras, a task which is even harder than the calculation of root multiplicities. To appreciate the
    difficulties readers should recall that there is so far not a single example of a hyperbolic Kac Moody algebra
    for which even the root multiplicities are completely known. The crucial result invoked there
    is that any hyperbolic Kac Moody algebra g(A) can be embedded in a larger Lie algebra of physical states g_, where _ is the root lattice associated with the Cartan matrix A. Consequently, the elements of g(A) can be
    completely characterized as the orthogonal complement in g_ of those states that cannot be reached by multiple
    commutators of the basic Chevalley Serre generators. Although the idea of defining the Kac Moody algebra
    by what is not in it rather than by what is in it seems completely counterintuitive, it turns out, somewhat
    surprisingly, that these “missing” states (mostly referred to as “decoupled states” in this paper) are easier to
    identify than the Lie algebra elements themselves if astute use is made of multistring vertices: one must only
    check that they decouple from the relevant N-vertex! We emphasize that the decoupling we are concerned with
    here is of a novel type, and not like the decoupling of null states in d=26 string theory, in that the decoupled
    states have positive norm (this casts some doubt on the existence of a BRST-type cohomology, which would
    explain decoupling). Our principal example will be the maximally extended hyperbolic Kac Moody
    algebra E10, even though many of our results are valid more generally.


    Our results also suggest a new interpretation of hyperbolic Kac Moody algebras in physics: they describe
    a theory of interacting strings at tree level, where the usual one-string Fock space is replaced by the basic
    representation of the underlying affine Kac Moody subalgebra. The basic representation in turn is nothing but
    the set of purely transversal states built on the tachyonic groundstate r−1i and its orbit under the action of the
    affine Weyl group; here r−1 is the over-extended root, and the tachyonic momenta that can be generated by the
    affine Weyl group are of the form v = r−1 + (12b2)_ + b, where _ is the affine null root, and b has support on
    the finite subdiagram of the full Dynkin diagram obtained by deleting the extended and overextended nodes.
    It was proposed to
    interpret E10 as a symmetry acting on a multistring Fock space. As pointed out there, the group corresponding
    to E10 would admit E9 × U(1) as a subgroup, where the U(1) factor is generated by the central charge c (it
    is hard to imagine what the group would look like if one does not even know the Lie algebra). Accordingly, the central charge c, whose integer eigenvalues
    are called the “levels” of the relevant representations of the affine subalgebra, should be viewed as an operator
    counting the number of strings. If we accept this interpretation, the following picture emerges. The allowed one-string Fock spaces of a bosonic string, the “internal” part of which propagates on a Lie
    group manifold, constitute integrable highest-weight representations of the associated affine algebra. But since
    the basic representation is the simplest of these we can think of the hyperbolic algebra as a multistring Fock
    space for interacting strings moving on the group manifold corresponding to the underlying finite Lie algebra.
    The Chevalley involution θ would then play the role of a charge conjugation operator, exchanging strings and “antistrings” (i.e.
    representations and contragredient representations). Note that we employ two different string compactifications.
    We start with a (subcritical) string which is completely compactified on a Minkowski torus and into whose
    physical state space the hyperbolic Kac Moody algebra is embedded as a subalgebra; this model is merely
    needed in order to have an explicit realization of the algebra and has no immediate physical interpretation.
    Rather, the graded structure of the hyperbolic algebra is tied to the interacting string picture where now the
    strings live on a Lie group manifold.


    For evident reasons the hyperbolic algebra E10 has also been advanced as a candidate symmetry of the
    superstring in ten dimensions. Despite the considerable efforts invested into the search for a proper formulation
    of string field theory, however, it has not been possible so far to exhibit a multistring Hamiltonian (or, rather,
    a Wheeler-DeWitt type constraint operator) for the superstring in ten dimensions which would admit such
    a symmetry and commute with it. Besides, one would naively expect the relevant symmetry algebra to be a
    superalgebra, not a bosonic Lie algebra. For a superalgebra, one must take into account additional roots of length
    one on the root lattice for the fermionic generators, but enlarging the even selfdual E10 root lattice II9,1
    in this way would put a stain on its beauty in our opinion. To construct a superalgebra one could conceivably
    compactify the string on the unique odd selfdual Lorentzian lattice I9,1 ≡ Z9,1. But since I9,1 does not contain II9,1 as a sublattice, E10 could certainly not emerge as a bosonic
    subalgebra in such a construction. A related question is whether there exists a superalgebra which
    can be embedded into the space of bosonic and fermionic physical states of the fully compactified superstring
    in the same way as E10 is embedded into the space of physical states of a bosonic string. Curiously, such
    an algebra would have no real roots at all due to the absence of tachyonic states in the superstring. Hence,
    neither superalgebra would deserve to be called “super-E10” because neither would contain E10 as a bosonic
    subalgebra! Therefore, a more attractive possibility from our point of view is that there is actually no need
    for a superalgebra because E10 may already be secretly “aware of” supersymmetry even though it is a bosonic
    symmetry by all appearances. That this is not an entirely far-fetched idea was explicitly shown in the context
    of two-dimensional Poincar´e supergravities, whose local supersymmetry transformations can be “bosonized”
    into certain Kac Moody gauge transformations in the associated linear systems. It would, however,
    mean that the theory appropriate for E10 is not the superstring, but some other theory (perhaps involving
    supergravity in eleven dimensions).


    The implications of our results for string field theory and the possible relation to quantum Liouville theory
    remain fascinating topics for future research. Namely, the decoupling of certain positive norm physical states
    holds not only on the lattice, but also in the continuum. This raises the question of whether systematically discarding
    these states can lead to a consistent quantum theory in the “forbidden zone” 1we suspect that radiative (string loop) corrections will also have a role to play in the context of hyperbolic Kac
    Moody algebras, although at our present level of understanding it is not at all clear where they might enter.
    In particular, it would be necessary to find out whether these corrections are compatible with our decoupling
    mechanism; in this case, the vertices with loops will almost certainly contain information about the E10 states
    at arbitrary level, as the latter would propagate inside loops. The multistring description also suggests a subtle
    link between the worldsheet topology (i.e. its genus and punctures) and the
    level which grades the hyperbolic algebra, indicating that hyperbolic symmetries might naturally involve all
    orders of string perturbation theory.

    ReplyDelete