- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Advances in High Energy Physics
Volume 2012 (2012), Article ID 415634, 33 pages
DeWitt-Virasoro Construction in Tensor Representations
The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai 600113, India
Received 5 June 2012; Accepted 17 August 2012
Academic Editor: Richard J. Szabo
Copyright © 2012 Partha Mukhopadhyay. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We generalize the DeWitt-Virasoro (DWV) construction of arXiv:0912.3987 [hep-th] to tensor representations of higher ranks. A rank- tensor state, which is by itself coordinate invariant, is expanded in terms of position eigenstates that transform as tensors of the same rank. The representation of the momentum operator in these basis states is then obtained by generalizing DeWitt's argument (1952). Such a representation is written in terms of certain bivector of parallel displacement and its covariant derivatives. With this machinery at hand we find tensor representations of the DWV generators defined in the previous work. The results differ from those in spin-zero representation by additional terms involving the spin connection. However, we show that the DWV algebra found earlier as a scalar expectation value remains the same, as required by consistency, as all the additional contributions conspire to cancel in various ways. In particular, vanishing of the anomaly term requires the same condition of Ricci-flatness for the background.
1. Introduction and Summary
With the motivation of understanding exact conformal invariance of string worldsheet theory in certain pp-wave background in Hamiltonian framework [1–3], a particular approach to study the latter was considered in [4, 5]. The simplest case of a bosonic string moving in an arbitrary metric-background was considered. The basic idea was to find a way to describe the string quantum mechanics in a coordinate independent way following the same line of argument that was used by DeWitt [6, 7] for particle (two-dimensional nonlinear sigma model has been studied in lagrangian framework in [8–18]. See [19–30] for earlier studies using hamiltonian framework. DeWitt’s argument was used earlier in string theory in ).
The construction of [4, 5], hereafter called the DeWitt-Virasoro (DWV) construction, goes as follows. We first rewrite the worldsheet theory in terms of the Fourier modes in such a way that it can be interpreted as a single particle moving in an infinite-dimensional curved background subject to certain potential. Since the chosen degrees of freedom are nonlocal on the worldsheet the classical conformal invariance is not directly visible. However, the description possesses some more structure which look unusual from the point of view of a particle dynamics but captures the underlying worldsheet. This enables us to write down the classical Virasoro generators in terms of the phase-space variables of the infinite-dimensional/particle description. Then implementing DeWitt’s argument [6, 7] naturally leads to a quantum background independent definition for such generators, hereafter called DeWitt-Virasoro generators. The machinery available through  enables one to calculate the matrix element of an arbitrary operator constructed out of the DWV generators between any two scalar states. The result written in position space is manifestly generally covariant. Using this tool we computed the DWV algebra in spin-zero representation. The result is given by the Witt algebra with certain additional anomalous terms that vanish for Ricci-flat backgrounds.
In this work, we will generalize the above construction to higher rank tensor representations in a certain sense. Before we delve into the details of this generalization we first try to motivate and explain what we intend to achieve. String theory contains infinite number of higher rank tensor states. Around flat background such states are constructed by applying suitable creation operators on the ground state (which can be solved exactly). State-operator mapping of this sort should hold for any CFT representing an exact classical background in string theory and the set of all possible excited states, with suitable restriction, should correspond to the fluctuation of the tensor fields around that particular background (background independence restricted to conformal backgrounds has been studied in the context of classical closed string field theory (CSFT)  in [33–36]. Construction of CSFT for a nonconformal background was discussed in ). However, as we will argue, state-operator mapping, at least in this form, is not applicable in our generally covariant description. What appears to be more relevant in this case are the Schrödinger wavefunctions of the tensor states in position representation. In an arbitrary background these wavefunctions should correspond to the fluctuations of the tensor fields in spacetime. One would like to properly formulate this connection in a precise way. For example, one would like to understand how such wavefunctions should be explicitly constructed in order to be able to define the string Hilbert space.
Before we attempt to answer these questions, in this work, we would like to understand certain computations that are entirely guided by the tensorial property of the wavefunctions and therefore can be carried out without knowing the explicit construction of those. More precisely, our goal is to understand how to compute coordinate invariant matrix elements involving arbitrary tensor wavefunctions. To this end, we describe a framework where the tensor wavefunctions are encoded into the states in a special way. This is done by introducing the position eigenstates which themselves are higher rank tensors. The resulting analysis can be viewed as a tensor generalization of the work in . In that work the momentum operator in position space was obtained by demanding that the canonical commutation relations and the hermiticity conditions hold true as expectation values between two position eigenstates of spin zero. The basic ingredient that goes into such an analysis is the orthonormality and completeness conditions for such basis states. A natural generalization of the orthonormality condition for higher rank basis states is given in terms of bivector of parallel displacement. A bivector is a bilocal object which carries a vector index associated with each of the two points in the argument. Given two such points in spacetime the parallel displacement bivector, contracted with another vector at one of the points, gives the same vector parallel transported to the other point along a given path. An example is the bivector of geodetic parallel transport as discussed in  where the path is the unique geodesic passing through the two points. Our analysis is sensitive to the expansion of the bivector only to first-order in separation and therefore is independent of the choice of path. It turns out that the desired representation of the momentum operator can be written in terms of such bivectors and their covariant derivatives. We use this to find the representation of the DWV generators as defined in our previous work. These expressions contain all the terms that are present in the scalar representation. Moreover, they receive additional contributions involving the spin connection. These are calculated by explicitly writing the parallel displacement bivector in terms of the vielbeins.
The DWV algebra was computed in [4, 5] in spin-zero representation. Given that the calculation was done between two arbitrary scalar states, one expects the result to be true as operator equations and therefore is independent of the representation considered (I thank Romesh K. Kaul for emphasizing this point). Since in this work we have found the tensor representation from first principle, it is a good idea to check explicitly if this is true. We do this following the same basic method as described in [4, 5]. As expected, the computation gets more complicated than the previous one because of the additional contributions. There arise three kinds of additional terms which depend on Riemann tensor, covariant derivative of spin connection, and higher power of spin connection. It turns out that these terms are organized in such a way that they cancel each other due to various identities in general relativity reproducing indeed the same result for the DWV algebra.
The rest of the paper is organized as follows. The tensor representation has been constructed in Section 2. We discuss in what sense the existing framework in [4–6] is inadequate for the present purpose in Section 2.1. The new framework is described in Section 2.2. Tensor representation of the momentum operator has been discussed in Section 2.3. We use the results of Section 2 to calculate the DWV generators and algebra in Section 3. Various details of our technical derivations have been given in several appendices.
2. Construction of Tensor Representations
2.1. Scope of the Existing Framework
As mentioned before, the analysis of [4, 5] was done using an infinite-dimensional language. We have summarized the relevant details of it in Appendix A. All our discussion in this work will be done using the same language. Below we will establish that the scope of the existing framework in [4–6] is as follows Therefore, a new framework needs to be developed in order to construct the desired tensor representations.
We first discuss the kind of questions that are relevant for our present purpose. We define a tensor state to be one whose wavefunction is a tensor in the infinite-dimensional sense. More precisely, the latter can be obtained either by multiplying a tensor field with a scalar wavefunction or by applying covariant derivatives on it. Given all possible tensor states, one would next like to understand how to compute the general coordinate invariant matrix elements of the DWV generators between such states. In position space such a matrix element should be given by an invariant integral where the integrand is constructed out of the tensor wavefunctions defined above.
Recall that in flat space the vacuum state can be explicitly solved and the tensor states are obtained by applying suitable creation operators on the vacuum state (Notice that the Schrödinger wavefunctions  of all such states are of the type that we are considering here. As mentioned in Section 1, the aim of this work is not to find a background independent generalization, if it exists, of this procedure. Rather here we want to understand certain computations that are entirely guided by the tensorial properties of the wavefunctions). This is expected from the point of view of ordinary quantum mechanics. However, as we will demonstrate with an example below, this procedure is not suitable for our generally covariant construction.
Using the existing framework of [4–6], one can calculate invariant matrix elements of the following form: where and are two arbitrary scalar states and is a scalar operator which can in general depend on momentum. For example, the scalar expectation value of the DWV algebra as computed in [4, 5] is of the above form. Let us now consider the following two vector wavefunctions: where and are the wavefunctions (see Appendix A for our notations) of the states in (2.2), respectively. Usually the corresponding states will be defined as follows: respectively. However, notice that the matrix element is not coordinate invariant unless is a scalar field independent of momentum. This is simply because under a general coordinate transformation (GCT) this matrix element transforms as (GCT has been introduced in our quantum theory in Appendix A below . In Appendix D we have discussed how GCT is realized as a unitary transformation in tensor representations) Since does not commute with if the latter depends on momentum, the above matrix element is not invariant in general. Proceeding in the similar way one can argue that the only nontrivial (i.e., involving momentum operator) invariant matrix elements that can be constructed are of the type (2.2). This establishes (2.1).
2.2. A New Framework
Given the above discussion, here we introduce a new framework where a tensor state is not created by applying operators on a scalar state, rather it is related to the corresponding wavefunction in a special way. The resulting construction will enable us to compute invariant matrix elements in tensor representations.
In this framework a rank- tensor state is by itself GCT invariant. It is expanded in position space basis in the following way: where is the corresponding rank- tensor wavefunction, which is constructed following the general definition given in the previous section. We have introduced the rank- position eigenstates satisfying the same eigenvalue equation as in . Under a GCT and transform as a contravariant and a covariant tensor of rank , respectively (see Appendix D). The orthonormality and completeness conditions of the basis states are given by where, Equations (2.7), (2.8) are the tensor generalizations of . Before discussing what is, we will first introduce a bitensor in the sense of  in our notations. A bitensor is a tensorial object with two sets of indices and associated with the points and , respectively such that it transforms as a tensor of rank and , respectively at the two points separately. Consider In this sense is a biscalar and is a bivector. The latter is called a bivector of parallel displacement which we have defined and explained the properties of in Appendix B.
Certain comments regarding (2.7) are in order. From the discussion of Appendix B it is clear that in the coincidence limit the bivector approaches the metric Therefore, it might appear unnecessary to use it in (2.7) due to the presence of the delta function. The reason for this is as follows. First of all, notice that the expression in (2.7) makes it manifest that the relevant matrix element is a bitensor. Secondly, the tensor representation of the momentum operator discussed in the next section will involve derivatives. As we will argue, such a quantity will be sensitive to the expansion of the bivector up to first-order in separation.
Since we are using a complex basis, the Hermitian conjugate of a basis state is given by and that of any operator is defined to be (For example, for , using on the left hand side of (2.14) one gets, . Then using the reality property in and, one gets the same result from the right hand side of (2.14)), This completes the description of the present framework using which all the calculations of this paper will be done.
2.3. Tensor Representation of Momentum Operator
Here we will discuss the rank- tensor representation of the momentum operator in position space. We will actually directly work with the shifted momentum operators as defined in . The derivation of the representation of has been given in Appendix C. The result is given by (in unit) where where is the covariant derivative. We first notice that the above expressions display the expected tensorial properties of the relevant matrix element. The two equations in (2.15) are related by the second identity in . Because of the presence of delta functions in (2.15) the complete functional dependence of and are not needed. The following expressions, which can be obtained (see Appendix C) by expanding these quantities to the desired order, will be used for all practical purposes. Consider the following Various tensors appearing in the above equations are given by where , , and are the infinite-dimensional analogues of the vielbein, the Minkowski metric, and the spin connection see and .
Notice that in the first terms of both the expressions in (2.17) the argument of and the variable with respect to which the derivative applies on the delta function are different. This is how we choose the argument to expand around. Because of this choice the derivative can pass through the factor freely. This form is useful for performing various manipulations that will be used extensively in our calculation of the DWV algebra.
3. DWV Construction
The right and left moving DWV generators , and respectively are defined in the same way as done in [4, 5], where where Notice that both , and are coordinate invariant and both have the right classical limit. The relative coefficient between these two terms in the second equation of (3.2) is fixed by the hermiticity property of the DWV generators, Given (2.17), one can compute the matrix elements of , , and between two arbitrary tensor states. The manipulations involved in such calculations have been demonstrated in deriving . The final results are given by (notice that according to (2.15) connects tensor states of the same rank only) where and is the shifted Laplace operator [4, 5]. Notice that only the first terms in the above expressions were found in [4, 5] for scalar representation. The spin connection terms, which originate from the -term in (2.15), are the additional contributions due to tensor generalization.
In [4, 5] the DWV algebra was calculated as expectation value between two spin-zero states. The result, written in operator form, is given by The anomaly terms are given by where is the Ricci tensor in the infinite-dimensional spacetime, which, according to the general map , is related to the same in physical spacetime, namely, in the following way:
The DWV algebra, as operator equations, should be valid independent of the representation considered. Therefore, the result in (3.8) is correct up to possible additional operator terms whose expectation value vanishes in the calculation of [4, 5]. However, since the calculation was done between two arbitrary states, it is expected that such terms are not present.
Notice that we have found the tensor representations in the previous section from first principle. This construction does not a priori know about the DWV algebra. Consistency would therefore require the results in (3.8), (3.9) to hold true as expectation value between two arbitrary tensor states of any rank. Following the basic method of [4, 5], we have checked this consistency condition to affirmative in Appendix E.
A. Summary of Previous Work
All the analysis in this paper has been done using the infinite-dimensional/particle language introduced in [4, 5]. Here, we will briefly review the basic results of that work. The matter part of the conformally gauge fixed worldsheet lagrangian takes the following form in this language: where the infinite-dimensional spacetime index is give by and being the physical spacetime index and the string-mode-number, respectively (throughout the paper, we make the following type of index identifications: , , ). The coordinate is implicitly dependent on the worldsheet time coordinate . A dot indicates derivative with respect to . The map between the infinite-dimensional and worldsheet languages is given by where is the metric in physical spacetime, and . Using the above map an arbitrary field in the infinite-dimensional spacetime can be mapped to a nonlocal worldsheet operator. A class of examples, which includes the classical Virasoro generators and their quantum version, is given by a multi-indexed object constructed out of the metric, its inverse, their derivatives, and (but not its derivatives) such that cannot be factored into pieces which are not contracted with each other. In this case one can construct a local worldsheet operator simply by performing the following replacements in the expression of : The two objects and are related to each other by the following general rule: where is the number of traces in (e.g., as defined in (A.22) has a single trace and therefore is divergent: where the expression for can be read out from (A.22) using the replacement (A.4). The Ricci tensor is another example of a single-trace field (see (3.10))), and the argument of the Dirac delta function appearing on the right hand side is the worldsheet space direction See [4, 5] for further discussion on the appearance of such -factors. In the infinite-dimensional language the problem at hand possesses certain shift properties which can be written as
A shift in the infinite-dimensional index is defined to be (notice that we choose to denote the physical spacetime index corresponding to by the one associated with the first index (i.e., ) appearing in the shift. We will follow this convention in all our expressions). It is obvious that (A.8) is a direct consequence of (A.5). Last equation in (A.3) implies where given the spacetime index as in (throughout the paper we make the following type of index identifications: , , ), we have defined . An important identity which was proved in [4, 5] and will be used crucially in deriving the results in Appendix E is given by
To quantize the theory we first define the conjugate momentum and then impose (in unit), where we have used a hat to denote a quantum operator. The hermiticity properties are given by where given (A.2) we have defined
In [6, 7] it was shown how to construct the position space representation of this quantum theory such that general covariance is manifest. An arbitrary scalar state is expanded in position basis in the following way (throughout this work we will suppress the dependence of the Schrödinger states to reduce clutter): where () is the invariant measure. The position eigenstate satisfies and the following orthonormality and completeness conditions, where being the Dirac delta function.
The general coordinate transformation (GCT) is understood in the quantum theory in the following way. The eigenvalue of the position operator is the coordinate of a point on the manifold , where the particle-dynamics is taking place. A GCT is given by a set of functions such that where are the Jacobian matrix for the transformation and its inverse, respectively. The original system (, , ) and the transformed one (, , ) give equivalent descriptions of the quantum theory such that and are associated to the same point in . Both the wavefunction and the position eigenstate in (A.14) are scalar under GCT,
The DWV generators are defined in (3.1), (3.2), (3.3) in terms of certain shifted momentum operators, where are the contracted Christoffel symbols, Position space representation of is found to be Using either the definitions in (A.21) or the above representation, one can establish the following transformations under GCT, which show that the DWV generators are scalar operators. Using this basic ingredient one calculates the DWV algebra in spin-zero representation. The result is as given in (3.8), (3.9).
B. Bivector of Parallel Displacement
Here we will define and discuss the properties of the parallel displacement bivector . As explained in Section 1, such a bivector contracted with another vector at one of the points, gives the same vector parallel transported to the other point along a given path. However, as remarked below (2.11), our analysis is sensitive to the expansion of only to first-order in . Such contributions are independent of the path chosen. To make the discussion valid for arbitrary separation and for definiteness we choose to discuss the bivector of geodetic parallel displacement  where the aforementioned path is a geodesic. We will first define this object (following ) for a particle in the physical spacetime using our notation and elaborate, to some extent, on the explicit representation in terms of the vielbeins. Then we will consider the string-case and describe how it is constructed in the infinite-dimensional language.
Let us consider two nearby points and in the physical spacetime such that a unique geodesic passes through them. The world-function , which is a biscalar, is given by  (the proportionality constant is usually taken as with the sign corresponding to space-like and time-like separations respectively. However, for our purpose such details are not needed) where is the biscalar of geodetic interval. The bivector of geodetic parallel displacement satisfies the following defining equations : where and denote the covariant derivatives with respect to and respectively. It turns out that and are directed along (or opposite to) the tangent vectors to the geodesic at and , respectively . From this one infers the following geometrical interpretation of : where is an arbitrary vector and denotes the vector parallel transported from to . Therefore, parallel displaces a vector along the geodesic. As argued in , is unique. Therefore, (B.3) can be taken as an alternative definition. The following properties follow from this geometrical interpretation:
For our calculations we will use the explicit representation of in terms of the vielbeins , where is the local Lorentz index. The representation is given by where the parallel transport of the vielbeins is defined by vanishing of the following covariant derivative: along the geodesic, such that the Lorentz index remains unaffected. In the last step above we have written the result in terms of the spin connection , using the fact that the total covariant derivative of the vielbein vanishes.
The simplest way to justify the representation (B.5), is to show that it leads to the same geometrical interpretation in (B.3). According to (B.6) the Lorentz component of a vector remains constant under parallel transport. Therefore, to parallel transport a vector it is sufficient to transport only the vielbein, Combining the last equation above and the first equation in (B.3) one identifies the first equation in (B.5). The second equation in (B.3) can also be obtained in a similar way. These two equations make the first property in (B.4) manifestly true. It is also easy to prove the other two properties in (B.4) by recalling the fact that a vielbein remains so under a parallel transport . So we must have Notice that the representations in (B.5) is unique up to a single Lorentz transformation which may be taken to be the one relating the objects, say, at in the two expressions. But according to the definition of covariant derivative in (B.6), a Lorentz transformation matrix is invariant under parallel transport and therefore the same transformation relates the objects at . However, when acts on a vector this ambiguity gets canceled by the same in defining the Lorentz component of that vector.
We now generalize the above discussion to a string. We consider two nearby string-embeddings and in physical spacetime, both parametrized by , such that the pair of points on the two strings at the same value of are connected by a unique geodesic. This leads to the definition of the geodetic parallel displacement bivector for the string. The infinite-dimensional analogue of the same is given by the general map (A.5), where the infinite-dimensional analogues of the vielbeins and Minkowski metric are given by respectively. This way all the relevant equations that we discussed in the context of physical spacetime have infinite-dimensional analogues. For example, the analogue of (B.6), which we use extensively in our computations, is given by where,
C. Tensor Representation of
Here we will derive the tensor representation of as given in (2.17). We follow the basic line of argument in . In particular, we demand that the following operator equations hold as matrix elements, Using the first commutator in (C.1) one gets the following condition: Using the identities, we write down the general solution in the form as given in (2.15) with as given in (2.7). The hermiticity condition in (C.2) is easily verified by using the expression of as given in (2.16). Consider the following: where in the second step we have used the reality property (2.13). In the third step we have used the second equation in (C.4), and
We will verify the second commutator in (C.1) between two arbitrary invariant tensor states using the expressions in (2.17) instead of the position eigenstates. This will make the expressions look more transparent. To this end we first show how one gets the results in (2.17) from (2.15). We first expand about , This is obtained by expanding the vielbein in the second equation of (B.9) up to first-order. Using this one finds where and are as given in (2.18) and (2.19), respectively. Interchanging and in (C.9) and using (C.6) and one establishes Finally, it is straightforward to show Substituting the results (C.9), (C.11), and (C.12) in (2.15) one finds the results (2.17).
Next we will consider the matrix element of the second commutator in (C.1) between two arbitrary tensor states and of rank . In order to do such calculations we need the following results: Such results are derived using the expressions in (2.17) and the following relations, We will now calculate by first inserting the completeness relation (2.8) between the two 's and then using the results (C.13). To get to the final expression we need to go through certain manipulations that are generally involved in the computations of the matrix elements carried out in this paper. We give the details of the present calculation in the following series of steps: The last two terms in the above expression are symmetric in and . Therefore, they do not contribute to the commutator which is given by where Below we will show that vanishes. Using being the Riemann tensor, one may write the first term in (C.17) as where To calculate the second term in (C.17) one first derives, following the standard argument , using which one may write, where we have defined, We note down the following antisymmetry properties for future use: The last term in (C.17) is calculated in the following way: where the diagonal and the cross terms are respectively. The cross-term, being symmetric under , does not contribute to (C.25). Therefore,
Using the results in (C.19), (C.22), and (C.28) in (C.17) one shows that vanishes implying The above calculations show why the -term in (2.15) or the spin connection term in (2.17) is essential. This is needed to cancel the Riemann tensor contributions which will otherwise survive in the calculation of the above commutator.
D. GCT as a Unitary Transformation
It should be possible to understand GCT, as introduced below (A.17), as a usual unitary transformation in quantum mechanics. This has been explained for spin-zero representation in . Here we will generalize the argument to incorporate the tensor representations.
The rank- tensor wavefunction and the position eigenstate in (2.6) transform under GCT in the following way: Using (A.18) and (D.1) one finds, as expected, Let us now consider the following unitary operator: where the -operators are defined in (A.21) and is a vector field such that The above definition implies that is both Hermitian and GCT invariant. The latter can be checked easily by using the transformation property in (A.24). At the infinitesimal level produces the following coordinate transformation: The question that one would like to ask is how the state is related to . Notice that both of these states have the same eigenvalue for , namely .
To answer the above question, we first write the infinitesimal version of (D.1) in the following way: where the state appearing on the left hand side has a covariant Taylor expansion in the following sense: where is an arbitrary rank- tensor state as in (2.6). Below we will show that the following relation is true, where the normalization is given by:
To prove (D.8), (D.9) we will first calculate independently by using (D.8) and (D.3) and then compare the results. Using (D.8) one gets where in the second step we have used the first equation in (D.9). On the other hand using (D.3) one finds where we have used the representation (2.17). Finally, comparing (D.10) and (D.11), we arrive at the second equation in (D.9).
E. Derivation of DWV Algebra
Here we will reproduce the results in (3.8), (3.9) in tensor representation. This will be done by showing that the results hold as matrix elements between two arbitrary tensor states and of rank (To simplify our notations we remove the subscript () from the states in this appendix.) We begin by quoting certain results that will be needed as we go along. To proceed with the computation of DWV algebra, we first introduce certain notations. We break each of the relevant commutators into several terms in the following way: where and