
#1
Apr1206, 03:55 PM

P: 218

Hi. Suppose that I want to look at the BDH action for a bosonic string:
[tex]S_{BDH} = \frac{T}{2}\int d^2\sigma \sqrt{\gamma}\gamma^{ij}\partial_iX^a\partial_jX^b[/tex] The string is in flat spacetime and [tex]\gamma_{ij}[/tex] is an independent worldsheet metric. I know that going to conformal gauge allows me to write the equation of motion for this string as [tex]\left(\frac{\partial}{\partial\tau}  \frac{\partial}{\partial\sigma}\right)X^a(\tau,\sigma)[/tex]. This is just the massless wave equation and needs to be supplemented with boundary conditions. However, the case for an open string with Neumann boundary conditions is straightforward. I can express the solution as a combination of left and rightmoving solutions, apply the boundary conditions, and obtain a mode expansion for the solution. What I'm having trouble with is the mode expansion for the closed string. I've had a browse through chapter 12 of Zweibach and, while he mentions the mode expansion for the closed string, he doesn't go through the derivation. Can anyone give me a couple of pointers as to how I can produce the mode expansion for the closed string? Thanks. 



#2
Apr1406, 04:37 AM

P: 83

I suppose you ment:
[tex]\left(\frac{\partial^2}{\partial\tau^2}  \frac{\partial^2}{\partial\sigma^2}\right)X^a(\tau,\sigma) = 0[/tex] The closed string case is actually easier than the open one. The only boundary condition you have is the periodicity at [tex]\sigma=0,2 \pi[/tex]. So the general solution to the wave equation is just a combination of a left moving periodic function (i.e. of [tex]\tau+\sigma[/tex]) and a right moving periodic function (i.e. of [tex]\tau\sigma[/tex]). So contrary to the open string case left and right moving modes are independent of eachother. 



#3
Apr2006, 01:56 PM

P: 218

Thanks for the reply. I managed to figure it out after a little bit of thought and you're right, it is easier than the open string case.
I do have another quick question if anyone's willing to have a go. I've been reading Green, Schwarz and Witten and their take on canonical quantization of the bosonic string. Ordinarily, I'd define the Poisson brackets of two functions [tex]F[/tex] and [tex]G[/tex] in a discrete classical theory as [tex]\{F,G\} = \sum_{k}\left(\frac{\partial F}{\partial q^k}\frac{\partial G}{\partial p_k}  \frac{\partial F}{\partial p_k}\frac{\partial G}{\partial q^k}\right)[/tex] Now, at the moment I'm looking at the canonical quantization of the closed bosonic string. I take the BDH action (or Polyakov action, if you prefer) and put it in conformal gauge. I can calculate the canonical momentum density to be [tex]\pi^\mu \equiv \frac{\partial \mathcal{L}}{\partial(\partial_\tau X_\mu)} = \frac{1}{2\pi\alpha'}\partial_\tau X^\mu[/tex] At this stage, Green et al define (it's equation 2.1.52 in the book) the equal time Poisson brackets of [tex]X^\mu[/tex] and [tex]\pi^\mu[/tex] as [tex]\{\partial_\tau X^\mu(\sigma),X^\nu(\sigma')\} = 2\pi\alpha'\eta^{\mu\nu}\delta(\sigma\sigma')[/tex] The problem I have with this is that it's actually the opposite of the definition of Poisson brackets that I gave at the start. In particular, this definition of the Poisson brackets would seem to correspond to [tex]\{F,G\} = \sum_{k}\left(\frac{\partial F}{\partial p_k}\frac{\partial G}{\partial q^k}  \frac{\partial F}{\partial q^k}\frac{\partial G}{\partial p_k} \right)[/tex] I can calculate all of the Poisson brackets for the closed and open strings, including those for the oscillator modes. The thing is that I'm kind of concerned about the minus sign error that I'm getting with my definition of Poisson brackets compared with that used by GSW. Is there a particular reason why they've chosen to define the Poisson brackets in this way, or am I making a terribly simple mistake somewhere? Again, thanks for your help. 



#4
Apr2106, 09:24 AM

P: 83

Mode expansion for a closed string?
I think this minus sign is just their convention. But indeed there seems to be a small mistake in the book when they start quantizing the bosonic string.
They first define [tex]\left[ \dot{X}^{\mu}(\sigma),X^{\nu}(\sigma')\right]_{P.B.} = T^{1} \delta (\sigma  \sigma') \eta^{\mu\nu} (2.1.52) [/tex] i.e. [tex]\left[ P^{\mu}(\sigma),X^{\nu}(\sigma')\right]_{P.B.} = \delta (\sigma  \sigma') \eta^{\mu\nu} [/tex] Then they say they replace the poisson brackets by commutators via the substitution [tex]\left[\ldots\right]_{P.B.} \rightarrow  i \left[\ldots\right] (2.2.4)[/tex] concluding that [tex]\left[ P^{\mu}(\sigma),X^{\nu}(\sigma')\right] = i\delta (\sigma  \sigma') \eta^{\mu\nu} (2.2.5)[/tex] but this minus sign does not seem to be consistent. 



#5
Apr2106, 10:27 AM

P: 218

Thanks for that, I thought that it didn't make sense alright. I've seen several mistakes like this in both GSW and Clifford Johnson's book. They're really frustrating.



#6
Apr2106, 12:30 PM

P: n/a

If we write
[tex]\left[\ldots\right]_{P.B.}=RHS[/tex], then [tex]\left[\ldots\right]_{P.B.} \rightarrow  i \left[\ldots\right][/tex] means [tex]RHS \rightarrow  iRHS[/tex] Unless you interpret things this way, it looks like there are lots of sign errors. 



#7
Apr2106, 02:43 PM

P: 218

The way I view it is as follows. We have a Poisson bracket equal to something:
[tex]\{\ldots\}_{\textrm{P.B.}} = \textrm{something}[/tex] Then following the prescription [tex]\{\ldots\}_{\textrm{P.B.}} \to i[\ldots][/tex] we must have [tex]i[\ldots]=\{\ldots\}_{\textrm{P.B.}}=\textrm{something}[/tex] Therefore, I read this as saying [tex][\ldots] = i(\textrm{something})[/tex] 


#8
Apr2106, 03:41 PM

P: n/a

Hi coalquay404,
I read it the same way you and I'm sure any sane person does. It's just that if you read it the alternative way I described, the signs are all consistent. So you have a choice: Read it the natural way and the signs are wrong; Read it the retarded way I described and the signs are right. Somebody should email witten and ask him. 



#9
Apr2106, 05:00 PM

P: 218




#10
Apr2206, 08:08 AM

P: n/a





#11
Apr2206, 09:21 AM

P: 218

Well, consider the following quote from the first paragraph in section 2.1:
Thus, let us consider the motion of a point particle of mass [tex]m[/tex] in a background gravitational field, i.e., in a curved Riemannian geometry described by a metric tensor [tex]g_{\mu\nu}(x)[/tex]. The metric is assumed to have [tex]D1[/tex] positive eigenvalues and one negative eigenvalue corresponding to the Minkowski signature of [tex]D[/tex]dimensional spacetime. The point about this is that they claim that the background field is described by a Riemannian manifold, i.e., something which is locally homeomorphic to [tex]\mathbb{R}^{D}[/tex]. This isn't correct. If it's a background spacetime it's got to be locally Minkowskian, not locally Euclidean. That's why it doesn't make sense to claim that the background is Riemannian and yet it has a metric with a negative eigenvalue. 


#12
Apr2206, 10:11 AM

P: n/a





#13
Apr2206, 10:26 AM

Emeritus
PF Gold
P: 8,147

A manifold which behaves like a Riemannian one but has a Minkowskian signature is now called [i]Lorentzian[/i}, a bad name IMHO becuse Lorentz had nothing to do with it. It should have been called Einsteinian, as he was the one who really invented this geometry. The name Riemannian is now reserved for manifolds with Euclidean signature. Anyway, that's the "error", just a difference of terminology. 



#14
Apr2206, 10:43 AM

Astronomy
Sci Advisor
PF Gold
P: 22,796

Wiki "pseudoRiemannian"
http://en.wikipedia.org/wiki/PseudoRiemannian "In differential geometry, a pseudoRiemannian manifold ... is a generalization of a Riemannian manifold. The key difference between the two is that on a pseudoRiemannian manifold the metric tensor need not be positivedefinite. Instead a weaker condition of nondegeneracy is imposed. Arguably, the most important type of pseudoRiemannian manifold is a Lorentzian manifold. Lorentzian manifolds occur in the general theory of relativity as models of curved 4dimensional spacetime. Just as Riemannian manifolds may be thought of a being locally modeled on Euclidean space, Lorentzian manifolds are locally modeled on Minkowski space." 



#15
Apr2206, 10:53 AM

Emeritus
PF Gold
P: 8,147

Yes, thank you Marcus. That gives us the full picture. My point was that many people from the older tradition continue to use the "abus de langage" of calling all of them Riemannian without regard for signature.



#16
Apr2206, 11:17 AM

P: n/a





#17
Apr2606, 11:56 PM

P: 218

Hi, sorry for the delay in replying. I appreciate now that it may have been a difference in terminology that caused me to think that it was actually a mistake. What's even more confusing, now that I look back on it, is that I talked to Michael Green over the weekend about this point and he admitted that it should have read "locally Lorentzian" where it says "Riemannian." He claims that John Schwarz wrote that chapter and, even more interestingly, that he has read hardly any of volume 1.
Anyhow, thanks for the help. 



#18
Apr2706, 09:35 PM

Mentor
P: 6,037

Another possible point of confusion: mathematicians and physicists tend to mean different things by the term "locally". For a mathematician, a space is locally #$!% if every element of the space is contained in a neighbourhood that is #$!%. A common example takes #$!% = compact.
Often, e.g., in this thread, physicists mean something quite different by "locally". Regards, George 


Register to reply 
Related Discussions  
Entangled closed oriented strings / closed string chains  Beyond the Standard Model  1  
Loop versus closed string?  Beyond the Standard Model  27  
expansion pressure of water in a closed system  General Engineering  8  
Openstring mode expansion  Advanced Physics Homework  0 