Following earlier work, we view two-dimensional nonlinear sigma model as single particle quantum mechanics in the free loop space of the target space. In a natural semiclassical limit of this model, the wavefunction localizes on the submanifold of vanishing loops. One would expect that the semiclassical expansion should be related to the tubular expansion of the theory around the submanifold and effective dynamics on the submanifold is obtainable using Born-Oppenheimer approximation. We develop a framework to carry out such an analysis at the leading order. In particular, we show that the linearized tachyon effective equation is correctly reproduced up to divergent terms all proportional to the Ricci scalar. The steps are as follows: first we define a finite dimensional analogue of the loop space quantum mechanics (LSQM) where we discuss its tubular expansion and how that is related to a semiclassical expansion of the Hamiltonian. Then we study an explicit construction of the relevant tubular neighborhood in loop space using exponential maps. Such a tubular geometry is obtained from a Riemannian structure on the tangent bundle of target space which views the zero-section as a submanifold admitting a tubular neighborhood. Using this result and exploiting an analogy with the toy model, we arrive at the final result for LSQM.
1. Introduction and Summary
Strings in curved background is a well-studied problem [1, 2]. Usually the semiclassical expansion is formulated using the background field method of quantum field theory (QFT) in Lagrangian framework [3–6]. An attractive feature of this formulation is the use of Riemann normal coordinate (RNC) [7] expansion. This enables one to keep the Riemannian structure of the target manifold ℳ manifest.
Although it is not usually used for QFT computations, Hamiltonian framework, on the other hand, is conceptually appealing. It is natural to view the two-dimensional non-linear sigma model (NLSM) under consideration as a single particle relativistic quantum mechanics in the infinite dimensional free loop space ℒℳ corresponding to ℳ [8–13]. In [14, 15] we discussed a framework of describing this quantum mechanics, hereafter called loop space quantum mechanics (LSQM), for the bosonic sigma model in terms of general coordinates in ℒℳ keeping the infinite dimensional Riemannian structure manifest. This may be viewed as a formal ħ-deformation of the classical theory as divergences are present in the form of infinite dimensional traces. The problem of regularizing these divergences was emphasized earlier in [8, 9, 16]. As a first step towards this direction, in this paper we discuss a semiclassical limit of LSQM and motivate the use of Fermi normal coordinate (FNC) [17, 18] expansion describing the tubular neighborhood of ℳ when it is viewed as the submanifold of vanishing loops embedded in ℒℳ (the view of studying ℳ through its embedding in ℒℳ was considered earlier by Witten in [9]).
We now roughly describe the general idea. One expects that in ħ=α′→0 limit the worldsheet theory should reduce to a theory of particles in ℳ. One also notices that LSQM has a potential which minimizes to zero on the submanifold of zero loops. Therefore, a natural semiclassical limit is given by the situation where the wavefunction localizes on this submanifold. The general idea is to use Born-Oppenheimer type approximation to adiabatically decouple the longitudinal (slow) and transverse (fast) degrees of freedom (This is similar in spirit to the discussion of degenerate Morse theory in [8]. As explained below, we will study this problem in more detail following certain other literature.) and finally to compute the effective theory on ℳ↪ℒℳ order by order in ħ.
A complete understanding of the above procedure requires several technical questions to be answered. Some of them are as follows.
How to perform tubular expansion of tensors around a submanifold embedded in a higher dimensional ambient space?
Given a suitable quantum mechanical problem in the ambient space, how to set up the relevant semiclassical expansion of the Hamiltonian which relates to the above tubular expansion? How to get an effective theory on the submanifold?
Given the understanding of the above questions in a finite dimensional case, how to apply them to our present context of loop space?
We will discuss all the above three topics successively and our final goal will be to derive the linearized effective equation for the tachyon fluctuation at leading order in α′-expansion. We will show that our analysis correctly reproduces the known result up to divergent terms all proportional to the Ricci scalar of ℳ. Below we briefly discuss these topics to indicate how this result will be arrived at. This will also clarify relation to other works in the literature.
The first question is discussed in Section 2 (and in Appendix A). Here we explain our basic set up for a finite dimensional submanifold embedding, introduce FNC, and review the results of [19]. In [19], by generalizing the techniques of [20], we find all order FNC-expansion of vielbein components in the neighborhood of a submanifold (say M) embedded in a pseudo-Riemannian ambient space (say L) (M and L are our finite dimensional analogues of ℳ and ℒℳ, resp.). The expansion coefficients are given by certain tensors of L, all evaluated at M↪L. For vielbein these tensors are given by combinations of various powers of the curvature, their covariant derivatives and spin connection. For the rest of our analysis the FNC-expansion of the metric tensor up to quadratic order, as given in (3), will be crucially used.
To address the second question we consider a finite dimensional analogue of LSQM in Section 3. The analysis in this section is along the line of what is usually known as constrained quantum system in the literature. A partial list of references is [21–28]. Here one considers a nonrelativistic classical system in an ambient space with a potential that tries to confine the motion into a submanifold. The idea is to realize this constraint at the quantum mechanical level through localization of wavefunction. This is done by rescaling the model with certain tunable parameter (e.g., representing the strength of the restoring force) in such a way that makes the transverse directions fast in the Born-Oppenheimer sense when the parameter is small. In our case the tunable parameter is the scale ħ and therefore the procedure gives a semiclassical expansion of the theory. In Section 3 we give precise definition of the potential of our model and the procedure leading to semiclassical expansion of the Hamiltonian. This shows how the contribution at a given order in ħ is related to tubular expansion of various geometric quantities at different orders. Finally, we define and compute an analogue of linearized tachyon effective equation at leading order in ħ-expansion within this toy model.
The usefulness of this study lies in the fact that it is free of divergences. Moreover, as hinted in the next paragraph, there exists an analogy which can be exploited to translate the end results of the toy model to the case of LSQM. Once this is done it exhibits the pattern of divergences that are expected in the actual LSQM computations. This is how we arrive at the final result for the tachyon effective equation as mentioned earlier.
We now turn to the question of how to translate the results of finite dimensional model to the case of LSQM which is the content of the third question. Given that the theory is being expanded around a submanifold, such results are in general expressed in terms of various tubular expansion coefficients which are tensors of the ambient space evaluated on the submanifold. Since the Riemannian structure of ℒℳ is induced from that of ℳ, one would expect that all the relevant tubular expansion coefficients should be related to certain intrinsic geometric data of ℳ. Finding such relations for the metric-expansion coefficients up to quadratic order will be the precise quantitative question addressed in Section 4. There are several technical steps to be followed in order to arrive at the final result which we explain in a self-contained manner in Section 4 (In more technical terms, the final goal of Section 4 is to develop a precise understanding of the metric-expansion given in (3) in the context of loop space. This is done by suitably constructing (1) the tubular neighborhood of ℳ↪ℒℳ (content of Section 4.1) and (2) the FNC in ℒℳ (content of Section 4.2). A construction of the relevant tubular neighborhood appeared before in [29]. Although the general ideas are similar, our detailed construction is different and chosen to suit our purpose of constructing FNC. In particular, [29] uses a method of embedding ℳ in a higher dimensional Euclidean space, whereas we use exponential maps. This enables us to relate the tubular geometry in ℒℳ to a Riemannian structure in Tℳ.). Once these relations are known, one can use the precise analogy between the toy model and LSQM to translate results of Section 3. This will be discussed in Section 5. We conclude in Section 6 with some future directions. A brief note on loop space and LSQM that will be relevant for our discussion has been given in Appendix C. Appendices B and D contain some technical details.
2. Tubular Expansion of Metric up to Quadratic Order
Here we describe the basic set up for submanifold embedding that will be used throughout the paper. We consider a D-dimensional subspace M embedded in a higher dimensional (pseudo) Riemannian space L of dimension d. We adopt the following notations. Greek indices (α,β,…) run over D dimensions, capital Latin indices (A,B,…) run over (d-D) dimensions, and small Latin indices (a,b,…) over all d dimensions. The coordinates of L will be denoted by za=(xα,yA) where xα is a general coordinate system in M. Indices kept inside parenthesis will refer to noncoordinate basis, η(ab) being the diagonal matrix with the indictors as diagonal elements.
In [17] Florides and Synge (FS) proved existence of certain submanifold based coordinate system, called FNC in modern literature [18], which satisfies special coordinate conditions. In the special case where M is a point, FNC reduces to RNC. The FS coordinate conditions can be described as follows. Equation for the submanifold is given by
(1)yA=0.
The metric components of L, denoted by gab(z), satisfy the following equations:
(2)gaB(z)yB=g-aB(x)yB,g-αB(x)=0,g-AB(x)=ηAB,
where g-ab(x)=gab(x,y=0). As a general rule, we use the lower case symbols to denote the geometric quantities of L and the same symbols with bars to denote the same quantities restricted to the submanifold. With this convention in mind we will refrain from explicitly writing down the arguments of such quantities most of the time.
The results for the expansion of the metric components away from the submanifold that will be relevant for us later are given by
(3)gαβ=Gαβ+s-αβCyC+(ω-αγCω-βγD+ω-αBCω-βBD+r-αCDβ)yCyD+O(y3),gαB=ω-αBCyC+23r-αCDByCyD+O(y3),gAB=ηAB+13r-ACDByCyD+O(y3),
where ωa(b)(c) are components of the connection one-form of L (noncoordinate indices are converted to coordinate indices with the use of vielbein as usual), racdb is the covariant Riemann curvature tensor (we follow the same convention for the curvature as in [30]), and
(4)s-αβC=ω-αβC+ω-βαC,
is the second fundamental form of the submanifold embedding [31].
We obtain (3) from a closed form expression for the expansion of vielbein which is derived in [19]. Although the details of this result will not be directly used in this work, there will be some relevance in the discussion of Section 4. We therefore summarize the main results of [19] in Appendix A.
3. Finite Dimensional Analogue of Loop Space Quantum Mechanics
In this section we will consider a finite dimensional analogue of LSQM in the framework discussed in [14, 15]. In Section 3.1 we will define the model and its semiclassical expansion. The analogue of linearized effective equation for tachyon fluctuation at leading order will be derived in Section 3.2. Our discussion below will be done without any reference to LSQM. We will come back to the analogy later in Section 5.
3.1. Definition of Model and Semiclassical Expansion of Hamiltonian
All our notations used in Section 2 will be valid in this section. We consider a nonrelativistic quantum mechanical system whose configuration space is given by L. Hence it is assumed (only in this section) to have Euclidean signature. The Hamiltonian of the system is given by the standard expression
(5)〈χ′|Hpre|ψ′〉=∫dwχ′*(z)ℋpreψ′(z),ℋpre=-ħ22𝒟2+V,
where dw=dzg is the invariant measure, 𝒟2 is the Laplacian of L, and V is a potential. We will consider V to be confining to the submanifold M↪L (a more precise definition will follow). We must define what we mean by performing a semiclassical expansion such that in the semiclassical limit the wavefunction collapses on the submanifold. This is a procedure given by the following steps (Various other, but similar, procedures have been discussed in the literature indicated earlier. Our procedure is adopted to suit LSQM.)
(1) Submanifold Based Description. Given Hpre as in (5), we first move to a submanifold based description where the natural measure is given by dydxG instead of dwg (Recalling our notations introduced in Section 2, dxG is the invariant measure on the submanifold with respect to the induced metric.). As discussed in Appendix B, this is done by performing certain rescaling of the wavefunction so that the same matrix element in (5) is given in terms of the transformed Hamiltonian, which we call Hsub, and transformed wavefunctions (unprimed) as
(6)〈χ|Hsub|ψ〉=∫dydxGχ*(z)ℋsubψ(z),
where the expression for ℋsub can be found in (B.2).
(2) Tubular Expansion. Next we tubular expand ℋsub to write
(7)〈χ|Hsub|ψ〉=∑n=0∞∫dydxGχ*(z)ℋnsubψ(z),
where we adopt the following notation: Xn is the contribution at O(yn) in the tubular expansion of X. Explicit result for ℋnsub is given in (B.4), (B.5), and (B.6).
(3) Definition of V. The potential V is confining to the submanifold M whose embedding satisfies the following property:
(8)ω-αβC=0.
As a result the second fundamental form in (4) vanishes and therefore M is totally geodesic [31]. Furthermore, the transverse profile of V is given by the following expression in FNC (We will display the summation over indices explicitly, as we have done in (9), whenever Einstein summation convention will not be valid.):
(9)V(x,y)=12∑A,BϵAϵBgAByAyB,
where ϵA is positive definite (Notice that due to the presence of the ϵ-factors in the potential, general covariance of the ambient manifold is broken down to that of the submanifold even at the classical level. Without such factors V will be a scalar under the full diffeomorphism of L, but will not have a nontrivial tubular expansion due to the coordinate condition in (2). As will be explained in Section 5, general covariance gets broken in LSQM only due to the semiclassical limit.).
(4) Definition of Semiclassical Expansion. Define a rescaled Hamiltonian,
(10)H=1ħHsub.
Semiclassical expansion of H is given by rescaling the transverse coordinates as
(11)yA⟶ħϵAyA
in the tubular expansion of H. This gives
(12)〈χ|H|ψ〉=∑n=0∞ħn/2∫dydxGχ*(z)ϵℋ(n)ψ(z),
where we have used the following notation:
(13)ϵX=X|yA→yA/ϵA.
The expression for ϵℋ(n) can be found in (B.7). For the rest of our analysis we will restrict the expansion in (12) up to O(ħ). Explicit computation using the metric-expansion in (3) yields the following results:
(14)ϵℋ(0)=12∑A,BϵAϵB(-ηAB∂A∂B+ηAByAyB)=∑A,BϵAϵBηABa†AaB+12∑AϵA,ϵℋ(1)=0,ϵℋ(2)=-12(∇α+iω-αABϵΛAB)(∇α+iω-αCDϵΛCD)-14r-∥-112r-⊥+16r-ABCDϵΛABϵΛCD+16∑A,BϵAϵBϵCϵDr-ACDByAyCyDyB,
where in the first equation we have defined annihilation and creation operators,
(15)aA=12(ηAB∂B+yA),a†A=12(-ηAB∂B+yA),
respectively, such that [aA,a†B]=ηAB. In the last equation ∇α denotes the covariant derivative with respect to the induced metric Gαβ(x) on M. The other new notations introduced in these equations are as follows:
(16)r-∥=r-αBαB,r-⊥=r-ABAB,ϵΛAB=-i2(ϵBϵAηACyC∂B-ϵAϵBηBCyC∂A).
As noted in the literature, ΛAB is the angular momentum operator in the transverse space and ω-αAB is analogous to a nonabelian (SO(d-D)) Berry connection [32]. As a mathematical exercise, our results in (14) are equivalent to a case discussed in [25] except for the last term in the last equation which comes from the tubular expansion of our potential.
The reasons why the above procedure correctly captures our general idea of Born-Oppenheimer type approximation and localization of wavefunction are as follows. The ħ dependent rescaling in (11) makes the transverse coordinates yfast in the Born-Oppenheimer sense. As a result, the leading order harmonic oscillator Hamiltonian, that is, ϵℋ(0), is independent of the slow coordinates (x). Therefore, the transverse and longitudinal dynamics decouple. Moreover, ϵℋ(0) is ħ-independent. The wavefunctions fall to zero at large values of the rescaled coordinates. At leading order this corresponds to arbitrary finite values of the original transverse coordinates indicating that the wavefunctions are localized.
3.2. Analogue of Linearized Tachyon Effective Equation at Leading Order
Here we consider the transverse degrees of freedom to be frozen in the harmonic oscillator ground state and derive the effective Hamiltonian, as will be defined in (22) below, for the longitudinal degree of freedom at the leading order. This will give us the linearized tachyon effective equation (see (24)) at this order. We will explain this analogy later in Section 5.
The wavefunction under consideration is
(17)ψ0(x,y)=T(x)χ0(y),
such that,
(18)aAχ0(y)=0,∫dyχ02(y)=1.
The expectation value of H up to first order in ħ is given by
(19)〈ψ0|H|ψ0〉=∫dxGT*(x)〈(ϵℋ(0)+ħϵℋ(2))〉0⊥T(x),
where we have used
(20)〈𝒪〉0⊥=∫dyχ0(y)𝒪χ0(y).
Using the results
(21)〈ϵℋ(0)〉0⊥=12∑AϵA,〈ϵΛAB〉0⊥=0,〈ϵΛABϵΛCD〉0⊥=(ϵA-ϵB)216ϵAϵB(ηACηBD-ηADηBC),〈yAyCyDyB〉0⊥=14(ηCDηAB+ηCBηAD+ηACηDB),
one finds for the effective Hamiltonian ℋeff for T(x),
(22)〈ψ0|H|ψ0〉=ħ∫dxG(x)T*(x)ℋeffT(x),ℋeff=-12∇2+m22+Veffr-(x)+Veffω-(x),
where
(23)m2=1ħ∑AϵA,Veffr-(x)=-14r-∥-112r-⊥+∑A,B[(ϵA-ϵB)248ϵAϵB-(ϵA-ϵB)24ϵB]r-ABAB,Veffω-(x)=∑B,D(ϵB-ϵD)216ϵBϵDω-αBDω-αBD.
As the reason will be explained in Section 5, we identify the following equation as the analogue of linearized tachyon effective equation:
(24)ℋeffT(x)=0.
4. Tubular Neighborhood of Target Manifold in Loop Space
The leading order analysis of the finite dimensional model as done in Section 3 will be interpreted in the context of LSQM in Section 5. As motivated in Section 1, the submanifold of interest in this case is the space of all constant loops which is isomorphic to ℳ itself (see Appendix C). The main ingredient that has gone into the analysis of Section 3 is the tubular expansion of the ambient space metric up to quadratic order as given in (3) with the additional condition (8). The goal of this section will be to understand the analogue of this expansion in ℒℳ. More precisely, we will show that (3) and (8) will still be valid, with the notations correctly interpreted, for the embedding ℳ↪ℒℳ with suitably constructed FNC and with additional equations, given in (48), that relate the relevant expansion coefficients to intrinsic geometric data of ℳ.
The steps that we will follow are as follows. First we present an explicit construction of the tubular neighborhood in Section 4.1. A proof of existence was given through an explicit construction earlier by Stacey in [29]. Although the basic ideas are similar, the details of our construction are different and have been chosen to suit our purpose (in Section 4.2) better. The result of Section 4.1 will show how the relevant Riemannian structure in ℒℳ is related to a certain Riemannian structure on the tangent bundle Tℳ of ℳ. The latter views the zero-section Tℳ0 (which is isomorphic to ℳ) as a submanifold embedded in Tℳ such that the normal bundle N(Tℳ0) is isomorphic to Tℳ itself. In Section 4.2 we first compute the tubular expansion of the metric in Tℳ up to quadratic order using a procedure that is implicit in the construction of Section 4.1. The expansion coefficients are all related to intrinsic geometric data of ℳ (For any given Riemannian structure on Tℳ, one would expect that the geometric data of Tℳ should be expressible in terms of those of ℳ. See, e.g., [33].). Such relations have been found up to an undetermined real parameter which is not fixed at the present level of approximation by the analogue of (A.2) which determined the tubular expansion of vielbein in the finite dimensional context. Finally, we derive the metric expansion in ℒℳ (up to quadratic order) using the aforementioned relation between ℒℳ and Tℳ. Therefore, the ambiguity of the real parameter mentioned above is carried over to ℒℳ. However, as explained in Section 5, this ambiguity does not affect our conclusion about the tachyon effective equation.
4.1. Explicit Construction of the Tubular Neighborhood
Below we will first heuristically describe our construction and then specify it in more mathematical terms, in particular make connection with [29]. We will refer to geodesics and open neighborhoods in both ℒℳ and ℳ in various places along the way. It should be clear from the context which space we are referring to.
The basic picture [17], true for any tubular neighborhood, that we will have in mind is given in Figure 1. Given any point Q in the neighborhood, there exists a unique geodesic passing through Q that arrives at a unique point P on the submanifold orthogonally.
Tubular neighborhood of ℳ in ℒℳ.
This condition is not satisfied if two geodesics emerging orthogonally from the submanifold meet at a point outside. Following the standard way, we will restrict ourselves to a region sufficiently close to the submanifold such that this does not happen. Recall that every point in the neighborhood in ℒℳ corresponds to a nonzero loop in ℳ such that the nearer the point resides to the submanifold of vanishing loops, the smaller the loop it represents. It turns out that the above restriction corresponds to considering sufficiently small loops in ℳ such that any given loop can be entirely encompassed within a single convex normal neighborhood [34] in ℳ. This implies that a small loop should fit entirely into Bp—the ball of largest RNC-radius with center at p∈M, for some p in the neighborhood.
Let us now consider the set of points lying on the geodesic QP in ℒℳ. This corresponds to a class of loops which progressively shrink to zero size as we approach P (see cartoon in Figure 2). Therefore, from the perspective of the interior of ℳ this defines P to be some kind of an average value for all the loops in this class. Notice that such a definition of averaging is independent of the choice of coordinate system, simply because it only refers to geodesics.
Average position of loops.
Given a loop-embedding Z in ℳ, its average position, as defined above, can be found in the following way. In case ℳ is flat, it is simply given by ∫S1Z. This is basically because Minkowski space is also a vector space where one can define a radial vector. In a curved space one should make use of geodesics which look like radial vectors in RNC, the latter being related to general coordinates through the exponential map. Therefore, when ℳ is curved, we first describe the loop in RNC centered at a suitable point, with coordinate say x_. The choice of this base point is not fixed, as the loop will in general fit into Bx_ for a range of values of x_. However, there is a unique value x within the allowed range for which the following condition is satisfied:
(25)∫S1Y^=0,
where Y^ is the loop in RNC centered at x. Given the initial loop in ℳ, we identify x as the average position. This way every small loop is uniquely assigned an average position in ℳ. Moreover, every point in a suitable neighborhood of ℳ is uniquely assigned to a class of small loops through the above procedure which is viewed from the directions normal to ℳ in ℒℳ.
To facilitate the discussion in next subsection we now describe the above construction in more technical terms. We begin by introducing the following notation: US is open in S where S stands for ℳ, ℳ×ℳ, Tℳ, and ℒℳ. We will see how these various open neighborhoods are interrelated. Given an open normal neighborhood Uℳ⊂ℳ, let C(Uℳ) be the collection of all small loops such that the average positions of all such loops are contained in Uℳ. We also assume that all the loops in C(Uℳ) are contained in a single open normal neighborhood U~ℳ⊃Uℳ. Each element l∈C(Uℳ) can be associated with an element (x,Z(σ))∈Uℳ×ℳ where Z(σ) is the embedding of the loop l given in general coordinates (see Appendix C), x is the average position of the loop, and Uℳ×ℳ is a suitable open neighborhood containing all the loops in C(Uℳ). The preimage of the loop under the exponential map found in Txℳ is given by Y^(σ) which satisfies (25). Repeating this procedure for all the loops in C(Uℳ) one arrives at the following set [29]:
(26)Uℒℳ={Y^:S1⟶UTℳ,πY^isconstant,∫S1Y^=0},
where π:UTℳ→Uℳ is the projection map. Constancy of πY^ implies that the whole loop resides in the same fibre, unlike its configuration in ℳ×ℳ.
Since exponential map is a diffeomorphism, the above argument shows that the desired tubular neighborhood is diffeomorphic to the set in (26). The relevant diffeomorphism is a bundle map which is the collection of all the inverse exponential maps at all x∈Uℳ,
(27)exp-1:Uℳ×ℳ⟶UTℳ.
If Δ is the diagonal submanifold of ℳ×ℳ, then exp-1 maps Uℳ×ℳ∩Δ to UTℳ∩Tℳ0, both being isomorphic to Uℳ. This kind of a construction is called a local addition (see [35] for a precise definition) of which the exponential map is a standard example. In [29] construction of the local addition has been facilitated by embedding ℳ in a higher dimensional Euclidean space. However, exponential map is more suitable for our purpose, as we will see in the next subsection where the aforementioned diffeomorphism will be explicitly constructed.
4.2. Construction of FNC
Here we would like to understand the loop space analogue of the metric expansion given in (3). As mentioned before, generically the tubular expansion coefficients are certain geometric quantities of the ambient manifold evaluated on the submanifold. Although these are not related to the intrinsic geometric properties of the submanifold in general, for loop space, that is, the case. Therefore, expressing the tubular expansion coefficients of ℒℳ in terms of the geometric data of ℳ is the precise quantitative question that needs to be answered. The discussion in the previous subsection implicitly defines a procedure to answer this question which we pursue here.
There are two steps to be followed. Given a Riemannian structure on ℳ, the space ℳ×ℳ acquires a natural direct product structure. The bundle map (diffeomorphism) in (27) enables one to view Tℳ as a Riemannian manifold where Tℳ0 sits as a submanifold whose normal bundle N(Tℳ0) is isomorphic to Tℳ. The first step is to construct the relevant submanifold based coordinate system, which we call FNCUTℳ, on UTℳ by a suitable coordinate transformation from the direct product coordinate system on Uℳ×ℳ. This will be discussed in Section 4.2.1. Then the final step is to construct FNC in ℒℳ by looping FNCUTℳ, a procedure that has been explained in Section 4.2.2.
4.2.1. Riemannian Structure on Tℳ
In Section 2 we considered a submanifold (M,G) embedded in an ambient space (L,g) such that G is the induced metric obtained from g. Here we consider a special case where (Tℳ0≅ℳ,G) is embedded in (Tℳ,g^). The speciality of this case is that the tubular expansion coefficients are related to quantities obtained from the basic data (ℳ,G) (Because of the involvement of spin connection, we will see that the basic data is actually given by the vielbein of ℳ.). Below we will construct FNCUTℳ up to quadratic order by starting with (ℳ×ℳ,g-) and performing suitable coordinate transformations. There will be a certain degree of indeterminacy in our final result which, as will be explained toward the end of this subsection, is not resolved at the present level of approximation by the analogue of (A.2).
We begin by discussing (ℳ×ℳ,g-). The coordinates of a point in Uℳ×ℳ are given by
(28)z-a=(x1α1,x2α2),α1,α2=1,…,D(=dimℳ).
The components of the vielbein are given by
(29)e-[α1]b(z-)=(E(α1)β1(x1)0),e-[α2]b(z-)=(0E(α2)β2(x2)).
Indices in square brackets refer to the noncoordinate basis in ℳ×ℳ. E(α)β are the vielbein components of ℳ (with indices in round brackets referring to the noncoordinate basis) with metric components given by Gαβ(30)Gαβ=E(γ)αE(γ)β.
In general the two copies of ℳ can have different metrics which are diffeomorphic to each other. We have chosen x1 and x2 suitably so that these two metrics are the same as given in (30). We will denote the desired coordinate system FNCUTℳ by z^=(xα,y^α^) with α,α^=1,…,D (Notice that the indices α1, α2, α, and α^ all run over D=dimℳ dimensions. From the perspective of ℳ they do not make any difference. However, from the perspective of ℳ×ℳ they do.), which will be obtained below by following a series of coordinate transformations from z-.
The first step is to argue, as has been done in Appendix D, that there exists a coordinate system
(31)z′a=(x′α,y′α^),
where x′ is a general coordinate system on ΔUℳ×ℳ=Uℳ×ℳ∩Δ such that the transformed components of the vielbein (with an additional overall constant scaling of the metric, see Appendix D) are given by the following expansion up to quadratic order in y′(32)e′[α]β(z′)=E(α)β(x′)+qRˇ(α)γ^δ^β(x′)y′γ^y′δ^,e′[α]β^(z′)=0,e′[α^]β(z′)=0,e′[α^]β^(z′)=E(α^)β^(x′)+16Rˇ(α^)γ^δ^β^(x′)y′γ^y′δ^,
where the orthonormal frames with superscripts [α] and [α^] are parallel and transverse to the submanifold, respectively, and are obtained from the ones in (29) through a rotation of the local Lorentz frame as given in (D.5). The symbol Rˇ(α)γδβ(x′) denotes the Riemann curvature tensor component R(α)γδβ (we use upper case symbols without a aˇ to denote tensors of ℳ in general coordinates) of ℳ evaluated at x′ in RNCx′ where RNCx′ refers to the RNC-system centered at x′ such that the vielbein components are given by E(α)β(x′) at the centre. q is an undetermined real number. We will argue toward the end of this subsection that the analogue of (A.2) is satisfied up to quadratic order for arbitrary values of q.
Then the final step is to perform the following coordinate transformation: z′a→z^a=(xα,y^α^) such that
(33)xα=x′α,y^α^=E(α^)β^(x)y′β^.
The transformed vielbein components are given by
(34)e^[α]β(z^)=E(α)β(x)+qRˇ(α)γ^δ^β(x)y^γ^y^δ^,e^[α]β^(z^)=0,e^[α^]β(z^)=E(α^)δ^(x)∂βE(γ^)δ^(x)y^γ^,e^[α^]β^(z^)=δα^β^+16Rˇ(α^)(γ^δ^β^)(x)y^γ^y^δ^,
which give the following results for the metric components,
(35)g^αβ=Gαβ+s^-αβγ^y^γ^+(ω^-αηγ^ω^-βηδ^+ω^-αη^γ^ω^-βη^δ^+r^-αγ^δ^β)y^γ^y^δ^+O(y^3),g^αβ^=ω^-αβ^γ^y^γ^+23r^-αγ^δ^β^y^γ^y^δ^+O(y^3),g^α^β^=ηα^β^+13r^-α^γ^δ^β^y^γ^y^δ^+O(y^3),
with
(36)ω^-αβγ^=0,(⟹s^-αβγ^=0),ω^-αβ^γ^=E(β^)δ^(x)∂αE(γ^)δ^(x),r^-αγ^δ^β=2qRˇα(γ^δ^)β(x),r^-αγ^δ^β^=0,r^-α^γ^δ^β^=Rˇ(α^γ^δ^β^)(x).
A few remarks about (34), (35), and (36) are in order. All the hatted variables appearing in these equations are tensors of ℳ×ℳ in z^=(x,y^) coordinate system. Equivalently, they can also be viewed as tensors of Tℳ. In particular, (34) and (35) are viewed to describe the tubular expansion of vielbein and metric components, respectively, up to quadratic order in FNC. Notice that (35) are written in the general form of tubular expansion as in (3) following the same rules for notation adopted there. Therefore a bar indicates that a tensor of Tℳ is being evaluated on UTℳ∩Tℳ0. Equations (36) exhibit how such quantities are related to intrinsic geometric quantities of ℳ. Finally, the results in (35) satisfy the analogue of the coordinate conditions in (2) because of the antisymmetry properties of the spin connection and curvature tensor identified in (36) (Notice that the spin connection identified in the second equation of (36) is indeed antisymmetric in the last two indices as required.).
The tubular expansion in (34) is supposed to satisfy the analogue of the differential equation (A.2) in Tℳ. This is given, in our notation adopted here, by
(37)d^(d^+ϵb)e^[a]b(z^)=ρ^[a][c](z^;y^)e^[c]b(z^),
where d^=y^α^(∂/∂y^α^), a=α,α^, ϵb being 1 for b=β^ and -1, otherwise and
(38)ρ^[a][b](z^;y^′)=r^[a]γ^δ^[b](z^)y^′γ^y^′δ^.
It is straightforward to to check that (37) is satisfied by (34) up to quadratic order for arbitrary values of q provided that the curvature components of Tℳ are identified according to the last three equations in (36).
4.2.2. Looping FNCTℳ
The desired FNC in ℒℳ is obtained by looping the coordinate system z^a^=(xα,y^α^) constructed in the previous subsection. To explain the method we first recall the following facts.
The normal bundle N(Tℳ0≅ℳ) is isomorphic to Tℳ. y^α^ are the coordinates on the fibres Nx(Tℳ0).
The desired tubular neighborhood in ℒℳ is given by the space of nonzero loops in (26). Here every loop resides entirely in a single fibre Tx(ℳ) such that the average of the loop is the corresponding base point x.
Therefore, the general coordinate xα on the submanifold ℳ↪ℒℳ is the same as that on Tℳ0↪Tℳ. And the normal coordinate in the neighborhood of ℳ↪ℒℳ is given by the Fourier transforms (see Appendix C) of the loop in Tx(ℳ) as described above. In terms of equations, the FNC in ℒℳ is given by
(39)za=(xα,yA),
where
(40)yA=∮Y^α^(σ)e-iaσ,a≠0,
such that Y^α^(σ) satisfies (25).
Tensors in ℒℳ are obtained from those in Tℳ following a similar procedure [14, 15] which we discuss in detail now. Let {e^a^}={e^α=∂/∂xα,e^α^=∂/∂y^α^} and {dz^a^}={dxα,dy^α^} be the coordinate basis (in special coordinate system constructed in previous subsection) for the tangent and cotangent spaces Tz^(Tℳ) and Tz^*(Tℳ), respectively, at z^ in UTℳ. A rank (m,n) tensor is given by
(41)t^=t^a^1⋯a^mb^1⋯b^n(x,y^)e^a^1⋯e^a^mdz^b^1⋯dz^b^n.
The tubular expansion of the components takes the following form:
(42)t^a^1⋯a^mb^1⋯b^n(x,y^)=∑p≥0t^-pa^1⋯a^mb^1⋯b^nδ^1⋯δ^p(x)y^δ^1⋯y^δ^p,
where t^-pa^1⋯a^mb^1⋯b^nδ^1⋯δ^p(x) are expressed in terms of geometric quantities of ℳ evaluated at x. The coordinate of a point in Uℒℳ is given by (39). The coordinate basis for the tangent and cotangent spaces Tz(ℒℳ) and Tz*(ℒℳ) are given by {ea}={eα=∂/∂xα,eA} and {dza}={dxα,dyA}, respectively, where
(43)eA=∮eiaσδδY^α^(σ),dyA=∮e-iaσδY^α^(σ),δY^α^(σ) being a functional differential. The tensor corresponding to that in (41) is given by (Definition (44), (45) is equivalent to the following alternative expression, t=∮ta^1⋯a^mb^1⋯b^n(x,Y(σ))(δ/δz^a^1(σ))⋯(δ/δz^a^m(σ))dz^b^1(σ)⋯dz^b^n(σ), where z^a^(σ)=(xα,Y^α^(σ)).)
(44)t=ta1⋯amb1⋯bn(x,y)ea1⋯eamdzb1⋯dzbn,
where
(45)ta1⋯amb1⋯bn(x,y)=∮t^a^1⋯a^mb^1⋯b^n(x,Y^(σ))e-i(a1+⋯+am)σ+i(b1+⋯+bn)σ.
Similar expression holds for the tubular expansion
(46)ta1⋯amb1⋯bn(x,y)=∑p≥0t-pa1⋯amb1⋯bnD1⋯Dp(x)yD1⋯yDp,
where
(47)t-pa1⋯amb1⋯bnD1⋯Dp(x)=∮t^-pa^1⋯a^mb^1⋯b^nδ^1⋯δ^p(x)×e-i(a1+⋯+am)σ+i(b1+⋯+bn+d1+⋯+dp)σ=t^-pa^1⋯a^mb^1⋯b^nδ^1⋯δ^p(x)×δ-a1-⋯-am,+b1+⋯+bn+d1+⋯+dp,0.
Notice that the notations adopted in this subsection for the FNC and tensors of ℒℳ are the same as those for the FNC and tensors of L considered in Section 2. This makes the expressions for the tubular expansion of various tensors of ℒℳ look exactly the same as the corresponding general expressions in the finite dimensional case with the only additional input that the expansion coefficients are related to certain geometric data of ℳ. Such relations are inherited from their counterparts in Tℳ through the above framework which relates tensors of ℒℳ to those of Tℳ. In particular, one finds that the expansions of the loop-space-metric-components are given by the same equations as in (3) with the following identifications:
(48)ηAB=η(α^β^)δa+b,0,ω-αβD=0,(⟹s-αβD=0),ω-αBD=E(β^)γ^(x)∂αE(δ^)γ^(x)δb+d,0,r-αDEβ=2qRˇα(δ^η^)β(x)δd+e,0,r-αBDE=0,r-ABDE=Rˇ(α^β^δ^η^)(x)δa+b+d+e,0.
In particular, the above shows that ℳ↪ℒℳ is a totally geodesic submanifold. See also comments below (C.6). With this we end our discussion of the explicit construction of the tubular neighborhood of ℳ↪ℒℳ and the relevant FNC.
5. Analogy with Finite Dimensional Model
In Section 3 we discussed a finite-dimensional analogue of LSQM. The primary goal of this analysis was to work out the relevant details (that one would eventually like to understand for LSQM) in a finite-dimensional set up which is free of divergences. Here we will spell out how precisely to interpret the analysis of Section 3 in the context of string theory. Our final goal will be to understand the features of the expected tachyon effective equation, the analogue of which is described by (22), (23), and (24).
The ambient space L of the toy model is the configuration space and therefore is considered to be of Euclidean signature in Section 3. ℳ, on the other hand, is the extended configuration space (which includes time) of NLSM. In the context of LSQM, the analysis of Section 3 should be viewed as a worldline type theory. This has the following consequences.
The theory is supplemented with the standard ghost sector of bosonic string theory. When ℳ is taken to be pseudo-Riemannian, the potential V (to be discussed further below) of the model will be maximized, instead of being minimized, on the submanifold along the time-like directions. This gives rise to the standard problem of negative norm states which is cured by the presence of ghost sector. With this understanding we will simply ignore this problem now onwards and assume ℳ to have Euclidean signature.
Hamiltonian is a constraint. The effective form of this constraint on the submanifold obtained by integrating out the transverse (internal) degrees of freedom is supposed to give the linearized equation of motion for the string field components on ℳ. This explains why (24) has been interpreted to be analogue of the linearized tachyon effective equation.
In the context of finite dimension in Section 2 we followed certain notation and convention for coordinate indices, FNC, tensors, and their tubular expansion (see first few paragraphs of Section 2). We followed the same rules in the context of ℒℳ in Section 4.2.2. The prescription for translating any finite dimensional expression involving tubular expansion is simply to interpret the transverse indices (i.e., capital Latin indices) according to rules of loop space as described below (C.2) and evaluate the barred quantities involved in terms of the intrinsic data of ℳ following (48).
We now explain the potential of the toy model. Equation (8) is simply the second equation in (48). This implies that the submanifold is totally geodesic (In the context of ℒℳ, as pointed out below (C.6), this is also related to the fact that the submanifold is the fixed-point set of the reparametrization Killing vector v(z) in (C.3). Such a feature, however, is not shared by the toy model.). The relevance of (9) may be understood as follows. The potential Vℒℳ of LSQM, given in (C.7), can be written in terms of FNC as follows:
(49)Vℒℳ=12∑a,b(-)abgAByAyB=12∑a,b(-abηAByAyB-13abr-ACDByAyByCyD+⋯),
where in the second line we have used the metric-expansion up to quadratic order from (3). We perform the similar expansion in (9) and then compare with the loop space potential in (49) up to quartic order. At the quadratic order one finds, using the first equation in (48),
(50)ϵA=|a|.
With this identification, however, the terms at the quartic order fail to be equal as the relevant term in Vℒℳ is sensitive to the sign of the integer-prefactor ab. This changes the coefficient of the last term of Veffr-(x) in (23) (Note that rescaling of LSQM is defined by the same equations (10), (11) with the identification (50).). We will see that this does not affect our final conclusion about the tachyon effective equation.
Finally, unlike the toy model, the loop space potential Vℒℳ is invariant under the full GCT (see Appendix C) of ℒℳ. This happens because of the special property of loop space that it admits a vector field, that is, linear in coordinate. Therefore, the general covariance of LSQM is broken down to that of the submanifold only in the semiclassical vacuum, in particular, because of the rescaling (11).
The leading order rescaled Hamiltonian given by the first equation in (14) is analogous to the nonzero mode contribution to the Hamiltonian in flat space. The resemblance can be made more explicit through the following redefinition:
(51)aA⟶αA,a†A-⟶αA-,aA-⟶α~A,a†A⟶α~A-,a>0,
where α and α~ are the usual flat-space-oscillators [36]. The index A-→(α,-a) (see discussion below (C.2)) corresponds to a negative mode while A to a positive mode. The leading order Hamiltonian takes the following familiar form in this new notation:
(52)ϵℋ(0)=∑a,b>0abηA-B(αA-αB+α~A-α~B)+∑a>0a.
The last term is the zero-point energy which is divergent. Noticing that at the leading order the transverse dynamics exactly matches with that of the nonzero modes in flat space, this term can be treated in the usual manner. The point to be emphasized here is that in flat space such a term (after collecting the ghost contribution) finally gets related to the tachyon mass. The same is true here as we see from the first equation in (23). Notice also that this mass has the right scaling with respect to ħ=α′. In fact, demanding that the leading order transverse Hamiltonian in (14) be precisely the same as the nonzero modes contribution to the Hamiltonian in flat space fixes the rescaling of the model as described by (10) and (11). Such a condition is required to get the right flat space limit (where the tubular expansion becomes trivial) of our analysis.
Notice that while reinterpreting the oscillators of the toy model in terms of string modes through (51), the creation and annihilation operators do not mix up. This implies that the results for the vacuum expectation values in (21) are also valid in the context of LSQM. This enables us to view (22), (23), and (24) as describing the linearized tachyon effective equation at leading order in LSQM. One expects that such an equation should be given by
(53)(-12∇2+m22)T(x)=0,
up to leading order equation of motion (i.e., Ricci flatness) for the background
(54)Rαβ(x)=0.
This equation has not been derived in this work as the toy model does not have an analogue of conformal invariance. However, one can imagine deriving this condition at the leading order of tubular expansion of the DeWitt-Virasoro algebra computed in [14, 15]. We postpone this analysis for a future work and assume this is true for the time being.
We will now argue that
(55)Veffr-(x)∝R(x),Veffω-(x)=0,
where the proportionality constant in the first equation is divergent and this is the only divergence in the effective equation of motion at leading order. This is established simply by using the relevant equations in (48). Notice that the undetermined factor q does not influence our final conclusion which is insensitive to the proportionality constant (it is divergent anyway). To establish the second equation one notices from the third equation in (48) that ω-αBD is nonzero only when b+d=0, in which case ϵB=ϵD (according to the identification in (50)), and therefore Veffω-(x) in (23) vanishes.
With this we end our discussion of how the computations in the finite-dimensional model discussed in Section 3 should be interpreted in the context of LSQM.
6. Conclusion
This work investigates how to make sense of a semiclassical limit of LSQM as discussed in [14, 15]. In this limit the wavefunction gets localized on the submanifold ℳ of vanishing loops in ℒℳ where ℳ is the target space of the corresponding NLSM. The study involves first defining the procedure in a finite dimensional toy model (content of Sections 2 and 3) and then figuring out how the actual loop space model can be understood through an analogy with the toy model (content of Sections 4 and 5). The study shows that the linearized effective equation for the tachyon fluctuation at leading order in α′-expansion is reproduced correctly with all the divergent terms being proportional to the Ricci scalar of ℳ.
The present approach makes the usual picture of particle quantum mechanics quite explicit and therefore it is conceptually appealing. Given this, it is perhaps a good idea to work out the details of how the standard questions, such as Ricci-flatness as leading order condition for conformal invariance, low-energy effective equations of motion, and, most importantly, higher order α′ corrections, should be understood in the current approach. We hope that the analysis of the present work will be helpful for further study along this direction and its supersymmetrization.
We will conclude with a few remarks regarding the mathematical framework of Sections 4.1 and 4.2 where a certain Riemannian structure on Tℳ was discussed. A speciality of this Riemannian structure is that it views Tℳ0↪Tℳ as a submanifold admitting a tubular neighborhood. Recall that an all-order understanding of tubular expansion of vielbein in a generic case is available through [19] (reviewed in Appendix A). This implies that finding the desired Riemannian structure on Tℳ is equivalent to finding all the tubular expansion coefficients in terms of intrinsic geometric data of ℳ. In this work this has been done in a limited sense which proved sufficient for the present level of analysis of LSQM. It is possible that a more complete understanding of this question will be required for computing α′ corrections. We hope to come back to these questions in future.
Finally, we note that the mathematical framework discussed in Section 4.1 should also be relevant for a multi-particle classical system in curved space. The center of mass (CM) of the system belongs to the first copy of ℳ in ℳ×ℳ while the positions relative to CM lie in the second copy. After performing the bundle map in (27) the CM resides in Tℳ0 while the relative coordinates all lie on the same fibre whose base point is identified with the position of CM. In the limit when the potential is strong enough to hold all particles in the form of a rigid body, the dynamics confines on the submanifold Tℳ0↪Tℳ. When we are away from this limit, the internal fluctuations are described in the tubular neighborhood of this embedding.
AppendicesA. All Order Tubular Expansion of Vielbein
In order to derive closed form expressions for the tubular expansion coefficients for vielbein, one starts with the following set of conditions which are equivalent to (2):
(A.1)e(a)ByB=e-(a)ByB,yAωA(b)(c)=0,
where e(a)b is the vielbein of L. Then by making use of the Cartan’s structure equations (as was done in [20]) one derives the following second-order differential equation [19]:
(A.2)d(d+ϵb)e(a)b(x,y)=ρ(a)(c)(x,y;y)e(c)b(x,y),
where for any function f(x,y) we have defined
(A.3)df(x,y)=yA∂Af(x,y).
Furthermore,
(A.4)ρ(a)(b)(x,y;y~)≡r(a)CD(b)(x,y)y~Cy~D,ϵb={1whenb=B,-1otherwise.
The solution to (A.2) can be given in the form of the following tubular expansion [19]:
(A.5)e(a)B=∑n=0∞∑s1,…,sn=0∞ℱ⊥(n)(s1,s2,…,sn)×[(y·𝒟)s1ρ(x,0;y)⋯(y·𝒟)snρ(x,0;y)](a)(b)e0(b)B,e(a)β=∑n=0∞∑s1,…,sn=0∞ℱ∥(n)(s1,s2,…,sn)×[(y·𝒟)s1ρ(x,0;y)⋯(y·𝒟)snρ(x,0;y)](a)(b)e0(b)β,
where
(A.6)ℱ⊥(n)(s1,s2,…,sn)=Cs1s1+s2+⋯+sn+2n-1Cs2s2+s3+⋯+sn+2n-3⋯Csnsn+1(s1+s2+⋯+sn+2n+1)!,ℱ∥(n)(s1,s2,…,sn)=Cs1s1+s2+⋯+sn+2n-2Cs2s2+s3+⋯+sn+2n-4⋯1(s1+s2+⋯+sn+2n)!.Crn are the binomial coefficients and
(A.7)[(y·𝒟)sρ(x,0;y)](a)(b)=𝒟A1⋯𝒟Asr(a)CD(b)(x,0)yA1⋯yAsyCyD,
where 𝒟a is the covariant derivative in L with respect to the metric gab. Notice that all such derivatives are evaluated at the submanifold. Finally (recall, according to our rule for notation, ω-α(b)C=ωα(b)C(x,y=0)),
(A.8)e0(a)B=δ(a)B,e0(a)β={E(α)β+ω-β(α)CyC,fora=α,ω-β(A)CyC,otherwise,E(α)β(x) being the vielbein of the induced metric on M,
(A.9)g-αβ=Gαβ(x)=E(γ)α(x)E(γ)β(x).
Using the results in (A.5) we find the metric expansion given in (3).
B. Tubular Expansion of Hamiltonian
Here we will present the detailed computations required to carry out various steps of performing semiclassical expansion as defined in Section 3.1. The rescaling of wavefunction that takes us to the submanifold based description is given by
(B.1)ψ(z)=(gG)1/4ψ′(z).
This leads to the following expression for ℋsub as defined in (6)
(B.2)ℋsub=-ħ22(𝒟2+𝒯+𝒰)+V,
where
(B.3)𝒯=-12gabla∂b,𝒰=116gablalb+14(-gabqab+γclc),la=∂aln(gG),qab=∂a∂bln(gG).
The contribution at O(yn) in the tubular expansion of ℋsub is given by
(B.4)ℋnsub=-ħ2(Kn∥+Kn+Kn⊥)+Vn,
where
(B.5)Kn∥=12(𝔻n∥-dn∥+tn∥+𝒰n),Kn=12(2𝔻n-dn+tn),Kn⊥=12𝔻n⊥,
and (given a geometric quantity X, the notation Xn has been explained in (7)),
(B.6)𝔻n∥=gnαβ∂α∂β,𝔻n=gnαB∂α∂B,𝔻n⊥=gnAB∂A∂B,dn∥=γnα∂α,dn=γnA∂A,tn∥=-12∑m=0n(gn-mαβlmα+gn-mAβlmA)∂β,tn=-12∑m=0n(gn-mαBlmα+gn-mABlmA)∂B.
Finally, the contribution at O(ħn/2) in the semiclassical expansion of ℋ works out to be (given X, the notation ϵX has been defined in (13))
(B.7)ϵℋ(n)=-ϵKn-2∥-ϵKn-1-ϵKn⊥+ϵVn+2.
This shows how the contribution at a given order in ħ is related to terms in tubular expansion of various geometric quantities at different orders.
C. A Note on Loop Space and LSQM
The loop space ℒℳ associated with a Riemannian manifold ℳ is the space of all smooth maps from a parametrized loop to ℳ(C.1)ℒℳ=C∞(S1,ℳ).
Here we will briefly note down some general features of ℒℳ and LSQM that are relevant for our discussion in this paper. The above definition implies that given any element l∈ℒℳ, there exists a smooth function p(l):S1→ℳ. We wish to define a general coordinate system in ℒℳ in an open neighborhood of small loops as defined in Section 4.1. To this end we recall the definition of all the open sets as given below (25). Therefore, given any l∈C(Uℳ), the entire image p(l) resides inside U~ℳ. Let x:U~ℳ→ℝD be a local coordinate system in U~ℳ⊂ℳ. Then Z(l)=x∘p(l):S1→ℝD, and therefore is an element of ℒℝD which is the model space of ℒℳ. We consider Z:C(Uℳ)→ℒℝD, such that Z∘l=Z(l)∈ℒℝD, to be the coordinate functions in the relevant neighborhood in ℒℳ.
Following [14, 15], we will work with a Fourier space representation of these coordinate functions. In this representation the general coordinates of a point l as considered above in ℒℳ are given by
(C.2)za=∮Zα(σ)e-iaσ,a∈ℤ,
where σ parametrizes the loop, ∮≡∫(dσ/2π), and the loop embedding Zα(σ) (α being a target space index) is obtained by following the above definition. We adopt the following convention for an infinite-dimensional coordinate index. It is given by a lower case Latin alphabet, which in turn is associated with a pair containing the corresponding Greek alphabet (i.e., a target space index) and an integer, denoted by the same small Latin alphabet in text format. For example, a→(α,a), b→(β,b). We will also adopt a similar association between such a pair and the corresponding upper case Latin alphabet when the integer is nonzero, that is, A→(α,a), B→(β,b), and so forth, only when a,b≠0. We use this type of notation in all our discussion involving an explicit coordinate system in ℒℳ.
Reparametrization of the loop corresponds to an isometry of the loop space which exists irrespective of the isometries of ℳ. The generator of this isometry is given by
(C.3)va(z)=∮∂σZα(σ)e-iaσ
which satisfies the Killing vector equation in ℒℳ [10, 11]
(C.4)𝒟avb+𝒟bva=0,
where 𝒟a is the covariant derivative on ℒℳ. The metric and affine connection on ℒℳ are given by
(C.5)gab(z)=∮Gαβ(Z(σ))ei(a+b)σ,γbda(z)=∮Γβδα(Z(σ))ei(-a+b+d)σ,
respectively, where Gαβ and Γβδα are the metric and affine connection on ℳ, respectively. Notice from (C.3) that the submanifold of vanishing loops, which is given by
(C.6)zA=∮Zα(σ)e-iaσ=0,∀a≠0,
is where the Killing vector field vanishes. This situation is similar to the consideration of Kobayashi’s theorem in [37] (in finite dimensions), which claims that the space of fixed points of an isometry is a totally geodesic submanifold of even codimension. We will see in Section 4 that the submanifold of interest is indeed totally geodesic. Although, this has infinite number of transverse directions, from the discussion of the infinite dimensional coordinate index done below (C.2), it is clear that for every transverse index A→(α,a), there is a pair A-→(α,-a).
We now briefly recall the structure of LSQM following [14, 15]. The classical NLSM Lagrangian on a flat worldsheet takes the following form in terms of the general coordinates in ℒℳ:
(C.7)L=K-Vℒℳ,K=12gab(z)z˙az˙b,Vℒℳ=12gab(z)va(z)vb(z),
where a dot indicates derivative with respect to the worldsheet time. Notice that the potential is proportional to the norm-square of the Killing vector field discussed above. LSQM [14, 15] is a formal ħ-deformation of this classical system obtained by following DeWitt’s argument in [38]. Therefore, it has the same mathematical structure as that of the toy model discussed in Section 3 with the configuration space replaced by the infinite dimensional loop space (Though a crucial difference is that LSQM should be viewed as a worldline-type description of a relativistic system. See Section 5 for more details on this.). In particular, the matrix element of the Hamiltonian between two scalar states is given by the same equation as in (5), with various quantities now interpreted in the context of ℒℳ instead of L. For example, 𝒟2 denotes the Laplacian in ℒℳ.
D. Existence of (x′,y′)-System
In the discussion of Section 4.2.1 we assumed that starting from the direct product coordinate system z-=(x1,x2) (see (28), (29)) on ℳ×ℳ one can arrive at another, namely, z′=(x′,y′), such that the transformed vielbein components are given, up to a constant conformal transformation, by (32) up to quadratic order in y′. Here we will explicitly construct z′ in a region whose overlap with the diagonal submanifold is sufficiently small.
We begin by discussing geodesics of ℳ×ℳ. These are direct products of geodesics in the two copies of ℳ. The ones which pass through z-0=(x0,x0)∈ΔUℳ×ℳ(=Uℳ×ℳ∩Δ) can be labelled by a unit vector ((1/2)η,(1/2)ζ)∈Tx0(ℳ)×Tx0(ℳ), where ηα1 (ζα2) is the unit tangent to the geodesic in the first copy (second copy) at x1=x0 (x2=x0). The vectors ((1/2)η,(1/2)η), and ((1/2)η,-(1/2)η) are parallel and transverse to ΔUℳ×ℳ at (x0,x0), respectively. A geodesic whose unit tangent vector at (x0,x0) is of the form ((1/2)η,(1/2)η) remains on the diagonal submanifold for ever. This implies that Δ is a totally geodesic submanifold of ℳ×ℳ. We would like to construct z′ such that y′ is a geodesic coordinate along the transverse direction given by a unit vector of the form ((1/2)η,-(1/2)η).
We first consider the following coordinate transformation:
(D.1)z-a⟶z~a=(y1α1,y2α2),
such that
(D.2)x1α1=expx0α1(y1),x2α2=expx0α2(y2),
where the exponential map expx0:Tx0ℳ→ℳ is given by
(D.3)expx0α(ξ)=x0α+ξα-12Γβ1β2α(x0)ξβ1ξβ2+⋯,Γβ1β2α being the Christoffel symbols of ℳ. We readily recognize that y1 and y2 are individually RNCx0 in the two copies of ℳ and the system z~ is an RNC(x0,x0) in ℳ×ℳ. The transformed vielbein components are expanded up to quadratic order as [20]
(D.4)e~[α1]β1(z~)=E(α1)β1(x0)+16Rˇ(α1)γ1δ1β1(x0)y1γ1y1δ1,e~[α1]β2(z~)=0,e~[α2]β1(z~)=0,e~[α2]β2(z~)=E(α2)β2(x0)+16Rˇ(α2)γ2δ2β2(x0)y2γ2y2δ2.
Next we define the orthonormal frames which are parallel and transverse to the diagonal by giving the following rotation in the local Lorentz frame:
(D.5)e~[α]b=12(e~[α1=α]b+e~[α2=α]b),e~[α^]b=12(e~[α1=α^]b-e~[α2=α^]b),
where α,α^=1,…,D. The parallel and transverse coordinates, uα and y′′α^, respectively, are defined by yet another coordinate transformation,
(D.6)uα=12(y1α1=α+y2α2=α),y′′α^=12(y1α1=α^-y2α2=α^).
Therefore, uα is an RNC(x0,x0) of ℳ×ℳ which remains parallel to the submanifold Δ. We combine uα with x0 to construct a general coordinate x′′α on Δ,
(D.7)x′′α=expx0α(u).
Therefore, we seem to have arrived at a coordinate system z′′a=(x′′α,y′′α^) where x′′α is a general coordinate system on Δ and y′′α^ is orthogonal to it. However, it has been constructed using exponential map with a fixed base point. Therefore, it is guaranteed to be the right one, that is, the one relevant to FNC, only near the base point (x0,x0). Now onwards we restrict to a region around this point whose overlap with Δ is sufficiently small. More precisely, we consider u to be at higher order in smallness with respect to y′′, implying that we neglect terms of order uy′′ and u2 with respect to those of order y′′2. With this approximation the transformed vielbein components in z′′-system are given by
(D.8)12e′′[α]β(z′′)=E(α)β(x′′)+16Rˇ(α)γ^δ^β(x′′)y′′γ^y′′δ^,12e′′[α]β^(z′′)=0,12e′′[α^]β(z′′)=0,12e′′[α^]β^(z′′)=E(α)β^(x′′)+16Rˇ(α)γ^δ^β^(x′′)y′′γ^y′′δ^.
The 1/2 factors arise because of the standard constant rescaling of the measure when we go to a diagonal. Now onwards, we will absorb this by applying a constant conformal transformation of the metric.
There is a further coordinate transformation which keeps the form of the expansions in (D.8) invariant within the same region of validity, yet making it more general. This is given by z′′→z′=(x′α,y′α^) such that
(D.9)x′′α=x′α+(q-16)Rˇαγ^δ^β(x′)y′γ^y′δ^x′β,y′′α^=y′α^,
where q is a real constant. The transformed vielbein components are given by (32).
Acknowledgments
The author is thankful to A. P. Balachandran, Partha Sarathi Chakraborty, Sumit R. Das, Ghanashyam Date, Rukmini Dey, Debashis Ghoshal, Rajesh Gopakumar, Dileep P. Jatkar, Koushik Ray, B. Sathiapalan, Ashoke Sen, Alfred D. Shapere, and Andrew Stacey for useful discussion, questions, and comments. He is also grateful to Harish-Chandra Research Institute (Allahabad) for hospitality and the organizers of the meetings Quantum Theory and Symmetries 7 (Prague, August 2011) and Indian National Strings Meeting 2011 (New Delhi, December 2011) where preliminary versions of this work were presented. Study of Section 3 and related matters have been facilitated by the use of the mathematical program Cadabra [39–41]. The author is thankful to Kasper Peeters for helpful communication.
CallanC. G.ThorlaciusL.JevickiA.TanC.-I.Sigma models and string theory1989Hackensack, NJ, USAWorld ScientificTseytlinA. A.Sigma model approach to string theory19894612571318HonerkampJ.Chiral multi-loops19723611301402-s2.0-0001178494FriedanD.Nonlinear models in two ε dimensions1980451057FriedanD. H.Nonlinear models in two + ε dimensions19851632318419MR5843652-s2.0-0011504985Alvarez-GauméL.FreedmanD. Z.MukhiS.The background field method and the ultraviolet structure of the supersymmetric nonlinear σ-model198113418510910.1016/0003-4916(81)90006-3MR6266992-s2.0-0005899912EisenhartL.1965Princeton, NJ, USAPrinceton University PressWittenE.Supersymmetry and Morse theory1982174661692MR683171ZBL0499.53056WittenE.The Index of the Dirac Operator in Loop SpacePUPT-1050SchreiberU.On deformations of 2d SCFTs200420046, article 05810.1088/1126-6708/2004/06/058MR2083882SchreiberU.From loop space mechanics to nonabelian stringshttp://arxiv.org/abs/hep-th/0509163FrenkelE.LosevA.NekrasovN.Notes on instantons in topological field theory and beyond2007171215230MR23359272-s2.0-3454776428710.1016/j.nuclphysbps.2007.06.013FrenkelE.LosevA.NekrasovN.Instantons beyond topological theory IIhttp://arxiv.org/abs/0803.3302MukhopadhyayP.On a coordinate independent description of string worldsheet theoryhttp://arxiv.org/abs/0912.3987MukhopadhyayP.DeWitt-Virasoro construction in tensor representations201220123341563410.1155/2012/415634FreundP. G. C.NepomechieR. I.Unified geometry of antisymmetric tensor gauge fields and gravity198219934824942-s2.0-0000346238FloridesP. S.SyngeJ. L.Coordinate conditions in a Riemannian space for coordinates based on a subspace1971323110MR033659110.1098/rspa.1971.0085ZBL0212.26701GrayA.19902ndNew York, NY, USAAddison-WesleyProgress in MathematicsMR1044996MukhopadhyayP.All order covariant tubular expansionhttp://arxiv.org/abs/1203.1151MüllerU.SchubertC.van de VenA. E. M.A closed formula for the Riemann normal coordinate expansion199931111759176810.1023/A:1026718301634MR1724229ZBL1081.835112-s2.0-0033243173MarcusR. A.On the analytical mechanics of chemical reactions. Quantum mechanics of linear collisions19664544934499JensenH.KoppeH.Quantum mechanics with constraints197163586591da CostaR. C. T.Constraints in quantum mechanics19822528932900MaranerP.A complete perturbative expansion for quantum mechanics with constraints1995281029392951MR134388510.1088/0305-4470/28/10/021ZBL0829.58046MitchellK. A.Gauge fields and extrapotentials in constrained quantum systems20016342004211210.1103/PhysRevA.63.042112MR1842461ZBL1255.81189Dell'AntonioG. F.TenutaL.Semiclassical analysis of constrained quantum systems200437215605562410.1088/0305-4470/37/21/007MR2065633ZBL1069.81021WachsmuthJ.TeufelS.Effective hamiltonians for constrained quantum systemshttp://arxiv.org/abs/0907.0351WachsmuthJ.TeufelS.Constrained quantum systems as an adiabatic problem20108222-s2.0-7795628935810.1103/PhysRevA.82.022112022112StaceyA.The differential topology of loop spaceshttp://arxiv.org/abs/math/0510097, http://ncatlab.org/nlab/show/equivariant+tubular+neighbourhoodsNakaharaM.20032ndBoca Raton, Fla, USATaylor & FrancisGraduate Student Series in PhysicsKobayashiS.NomizuK.19691stNew York, NY, USAWileyBerryM. V.Quantal phase factors accompanying adiabatic changes198439218024557MR73892610.1098/rspa.1984.0023ZBL1113.81306SasakiS.On the differential geometry of tangent bundles of Riemannian manifolds195810338354MR0112152ZBL0086.15003WaldR. M.1984Chicago, Ill, USAUniversity of Chicago PressMR757180KrieglA.MichorP. W.199753Providence, RI, USAAmerican Mathematical SocietyMathematical Surveys and MonographsMR1471480PolchinskiJ.1998Cambridge, UKCambridge University PressKobayashiS.Fixed points of isometries1958136368MR0103508ZBL0084.18202DeWittB. S.Point transformations in quantum mechanics195285465366110.1103/PhysRev.85.653PeetersK.Symbolic field theory with Cadabra20074116PeetersK.Introducing Cadabra: a symbolic computer algebra system for field theory problemshttp://arxiv.org/abs/hep-th/0701238BrewinL.A brief introduction to Cadabra: a tool for tensor computations in general relativity20101813489498