Showing posts with label String Theory. Show all posts

Heterotic Strings

Here is my 10 pages handwritten (rough) notes on Heterotic string theory. We will work on both $SO(32)$ and $E_8 \times E_8$. For any reference, one can use String Theory Vol 1 and Vol 2 by Green, Schwarz and Witten. 

Heterotic Strings

Posted in | Leave a comment Print it.

Misconception between Bosonic String and Susperstring in RNS Formalism

There are many common misconceptions (or carelessness) that amateur string readers have. One of those is that bosonic string theory on worldsheet is for bosons, and superstring theory on superspace is for fermions (well, only fermions). This is technically wrong. Superstring theory has both bosonic sector (with Neveu-Schwarz - NS- boundary condition) and fermionic sector (with Ramond boundary condition). However, the NS bosonic sector (which uses the same $X^\mu$ worldsheet of the free bosonic theory of D=26) of Superstring is different from the bosonic theory in D=26. One of the things that differentiate the two is the presence of an extra oscillator in the former.  NS bosonic sector does not have the critical dimension $26$ but $10$.

In superstring theory, we add an extra wave-function $\psi^\mu$ which is related to $X^\mu$ by world-sheet supersymmetry (space-time SUSY is used in GS formalism). The fermionic sector (of course of Superstring) is also ghosts-free at $D=10$. And the Virasoro algebra of the free bosonic theory is replaced by the Super-Virasoro algebra.

Posted in | 3 Comments Print it.

Old Superstring Formalism

I wrote a very brief discussing note on superstring formalism that was developed in the early years. In the note, I discuss it with required algebra. However, an adopted model for superstrings is good than this one. You can read it from here:


Old Superstring Formalism - Pdf

Posted in | 1 Comment Print it.

Non-criticality and Criticality

Though some papers promise to show the Lorentz invariance in non-critical string theory, I haven't found any strong evidence of it, yet. Except some papers claiming it to be consistent in some scenarios.  Evidently, the addition of longitudinal oscillators in lower dimensions is not harmful, however, we wait for a good scheme for non-critical string theory. (I also have no idea of eliminating anomalies and ghosts in superstring in non-critical dimensions.) We discuss the origin of $D=26$ (critical dimensions) in bosonic string theory.


Among some ways of proving the criticality, the most famous is by using $j_{\mu\nu}$ (Lorentz elements) - A method involving a very after-canonical quantization process of deriving critical dimensions can be found in Polchinski's volume. You can check if the action you have written for your strings (Polyakov action) is Poincare invariant. If they are Poincare invariant, then they are in critical dimensions. For bosonic string theory, it is $D=26$ and $D=10$ for superstring. One can find the critical dimensions for superstring by adding fermions using RNS. For M-theory, a close but not similar process can be carried out. If the theory is critical, then we should not fear the super-conformal ghosts that appear as central charges in algebras of string theory. In $D=26$, one can have the vacuum state as a tachyon, which is negative mass squared. In superstring theory, tachyons don't appear. Tachyons are unstable.

We can't talk much about non-critical theory, however, some models show good significance, for instance, $D \geq 4$, but too premature. Also, T-duality is only applicable for critical dimensions in super-string theory (I haven't encountered any support for non-critical dimensions for T-duality). Some good studies are holding for non-critical string theory with its application to AdS (not aware of recent development).


Edit: Paper by Polyakov also had a solution to the critical dimension from 1981 (the original subject of paper was on summation of random surfaces). And, there are also prospects of Liouville thoeries in non-critical dimensions.

Posted in | Leave a comment Print it.

Vertex Operators and Conformal Mapping

We can use the Feynman diagrams to replicate the process of scattering with strings. For particle interactions, we can do Feynman diagrams (for , see this - just topologies). For strings, we can do the same; we call them "string diagrams." A closed string forming two closed strings is depicted by changing the point-particle by strings and word line by worldsheet.




The crossing line indicates (this one line is for collective dimensions. However, there should be definitive for each one) that there is not one for all Lorentz frame, unlike in point particle theory, but two. It can be interpreted that the point-particle Feynman diagram is just a limiting case of the string diagrams. Furthermore, one string diagram (with vertex function) can be deformed to a few particle Feynman diagrams. That is one of the reasons why there are not many string diagrams. Lorentz frames are also the reason for the absence of ultraviolet divergence because of independent defined Lorentz sites at interaction.

Similarly, one can do the one-loop of string diagrams as we do in point particle. But, the convenience and Lorentz issue demand something better. We do that by conformally mapping the string diagrams. In this case, we map it to a topological disk (genus-0)




Among the advantages of conformal mapping, one being that there would not be the h (associated with  ) integrals in the matrix calculations. But what about the conservation of quantum numbers after topological mapping? For that, we introduce vertex operators. In the conformal image, cross-markers indicate the strings (the top one shows the far past string, and the bottom two indicates the far future newly born closed strings). The marked area is for the vertex operator. We can introduce it with the symbol , where m is for an m-type particle. This operation is effortless in a 1+1  system, which indeed we are following. The  is the operator for local absorption and emission of string states. We can introduce another operator , which is for the re-parametrization of the mapping. While W operators account for Lorentz transformation, we must also take accounts of translation. That is how we reach a well-known translation operator


The final operator for emission and absorption becomes


We need to fix the residual gauge invariance for the special linear group (when calculating the M-point functions). Conformal mapping for open strings (in this case, it should be on the boundary of the disk) is done in similar ways, however, they are different.

Posted in | Leave a comment Print it.

Veneziano Amplitude

In string theory, when we write the Feynman diagrams, we denote amplitude for open and closed string, as Veneziano and Virasoro-Shapiro amplitudes (a complex beta function) respectively (we will only discuss the former). Veneziano amplitude is an Euler beta function that obeys the crossing symmetry and looks*

where s and t are Mandelstem variables defined;
and $ \alpha(s) $ is Regge trajectory.

The amplitude is a result of the work on the duality between s and t channels. According to this duality, the sum of all the s channels and t channels should be equal. It was written for a model obeying the Regge trajectory which at the time was indicating not the string theory, but a QCD theory.  The Euler form of the amplitude can be written through expansions as**


because any beta function of the form
can be written as 

Note * has only one pole rather than two and ** is written in t poles. What we can do is writing ** in s poles, which then


And that is the duality. We can study various aspects of it by keeping t fixed or s fixed. This is done in the very first paper on this by Veneziano, here. Also, in integral representation, as like a beta function, this amplitude can be written as 
                  
                  
In large s and fixed t
                                               
it is valid for a complex large s plane unless one gets too close to the positive real line. This indicates that quantum corrections would be received by the imaginary part. In large s and fixed t, one can also write $A(s,t) \sim s^{\alpha(t)}$ (for linear Regge trajectory), and since in general Regge theory $A(s,t)\sim s^J$ where J is averaged (effective) angular momentum, we see  

$$\boxed{ J = \alpha(t)}$$


For a good understanding of this amplitude (or string theory), you can read Superstring Theory by Green, Schwarz, and Witten. Or Polchinksi's volumes.

Posted in | 2 Comments Print it.

Canonically Quantized Strings

A course into Quantum Field Theory (QFT) is passed through the passage of Quantization. In QFT, we quantize our classical fields using canonical quantization. However, one can also quantize the fields using the path integrals. A canonical quantization, also known as second quantization, is a series of steps. In order to quantize a field using canonical quantization, we first find its Lagrangian. A Lagrangian is yet another formalism to develop theories, and every Lagrangian gives an equation of motion using the Euler Lagrange equation;

$$S({q})=\int_{a}^{b} \mathrm{d} t L(t, {q}(t), \dot{{q}}(t)) $$

$$\frac{\partial \mathcal{L}}{\partial q_{i}}-\frac{\mathrm{d}}{\mathrm{d} t}\left(\frac{\partial \mathcal{L}}{\partial q_{i}^{\prime}}\right)=0$$

In our following coordinates, we tend to use light-cone coordinates for a target space (a space where our strings action are parameterized, typically where our $\eta_{\mu \nu}$ is 

$$X^{\pm} = \frac{1}{\sqrt{2}} (X^0 \pm X^{D-1})$$

$$\eta_{+-} = \eta_{-+} = -1,\ n_{ij}=\delta_{ij}$$

our inner product follows

$$X^2 = - 2X^+X^- + \dot{X}^i  \dot{X}^i $$

    For those who are familiar with the string theory notion, we use coordinates as a function of $\tau, \sigma$. An expansion of $X^+(\tau, \sigma)$ gives us 

$$X^{+}(\tau, \sigma)=x^{+}+\alpha^{\prime} p^{+} \tau+i \sqrt{\frac{\alpha^{\prime}}{2}} \sum_{n \in \mathbb{Z}, n \neq 0} \frac{1}{n} \alpha_{n}^{+} e^{-i n \xi^{-}}+i \sqrt{\frac{\alpha^{\prime}}{2}} \sum_{n \in \mathbb{Z}, n \neq 0} \frac{1}{n} \tilde{\alpha}_{n}^{+} e^{-i n \xi^{+}}$$

these equation contains residual infinite dimensional symmetry (conforming killing vectors) which comes because of the choosen light cones gauge. The equation has a lot of oscilaltor modes, which can be killed by the residual infinite dimensional symmetry, hence we set the oscillator modes to 0

$$X^{+}(\tau, \sigma)=x^{+}+\alpha^{\prime} p^{+} \tau$$

we impose Virasoro constaints 

$$\partial_{\pm} X^{-}=\frac{1}{\alpha^{\prime} p^{+}}\left(\partial_{\pm} X^{i}\right)^{2}$$

    We can see that $X^-$ comes from the transverse oscillator $X^i$, and the $X^i$ have independent degrees of freedom. And $X^i$ contains two independent oscillator modes in light cones gauge. And, clearly, it helps us to with two polarization of string, i.e. $X^+, X^-$.

    Now the action, after turning to light cones, reads

$$\begin{aligned} S_{lc} &=\frac{1}{4 \pi \alpha^{\prime}} \int_{\Sigma} d \tau d \sigma\left[\left(\partial_{\tau} X^{i}\right)^{2}-\left(\partial_{\sigma} X^{i}\right)^{2}+2\left(-\partial_{\tau} X^{+} \partial_{\tau} X^{-}+\partial_{\sigma} X^{+} \partial_{\sigma} X^{-}\right)\right] \\ &=\frac{1}{4 \pi \alpha^{\prime}} \int_{\Sigma} d \tau d \sigma\left[\left(\partial_{\tau} X^{i}\right)^{2}-\left(\partial_{\sigma} X^{i}\right)^{2}\right]-\int d \tau p^{+} \partial_{\tau} q^{-} \\ & \equiv \int d \tau L \end{aligned}$$

where

$$q^{-} \equiv \frac{1}{2 \pi} \int_{0}^{2 \pi} d \sigma X^{-} .$$

from the action, we can find out the canonical momenta

$$p_{-} \equiv \frac{\partial L}{\partial \dot{q}^{-}}=-p^{+}, \quad \Pi_{i} \equiv \frac{\partial L}{\partial \dot{X}^{i}}=\frac{\dot{X}_{i}}{2 \pi \alpha^{\prime}}$$

and the commutation relation, we can infer, is

$$\left[X^{\mu}(\tau, \sigma), \Pi^{\mu}\left(\tau, \sigma^{\prime}\right)\right]=i \eta^{\mu \nu} \delta\left(\sigma-\sigma^{\prime}\right)$$

    The next step in the usual canonical process is tuning the oscillator modes to operators using construction and destruction operators. We say, that $\alpha^i_{-n}$ are creation operators with $n>0$ and $\alpha^i_{n}$ is destruction operator that kills the vacuum with $n<0$. They read

$$\alpha_{n}^{-}=\frac{1}{2 \sqrt{2 \alpha^{\prime}} p^{+}} \sum_{m=-\infty}^{m=\infty} \alpha_{n-m}^{i} \alpha_{m}^{i}$$

After ordering operator 

$$\alpha_{n}^{-}=\frac{1}{2 \sqrt{2 \alpha^{\prime}} p^{+}}\left(\sum_{m=-\infty}^{m=\infty}: \alpha_{n-m}^{i} \alpha_{m}^{i}:-a \delta_{n, 0}\right)$$

where we define

$$ \alpha_{m}^{i} \alpha_{n}^{i}: \equiv\left\{\begin{array}{ll}\alpha_{m}^{i} \alpha_{n}^{i} & \text { for } m \leq n \\ \alpha_{n}^{i} \alpha_{m}^{i} & \text { for } n<m\end{array}\right.$$

    This was the usual canonical quantization, that we read in QFT, applied in string theory. There are other options to quantize strings, but this introductory process is ideal for first-time string learners.

Posted in | 4 Comments Print it.