# Types of String Theory

Edited by TheGuyLoveNY, Jen Moreau, Jamie (ScienceAid Editor), Sim and 1 other

## String theory

**String Theory** is a theory of quantum gravity of one-dimensional objects, that encompasses all the theories which explain how the universe functions. The idea behind the string theory is that matter does not consist of point particles but rather it is replaced by * strings*. These strings can be either

*or*

**open***depending on the type of the particle that is being replaced. The string length(*

**closed****l**

_{s}) is 10

^{-33}cm. Also, in string theory, one replaces Feynman diagrams by surfaces, and wordlines become worldsheets

S = ∫d ^{2} σα_{string}

### Overview

- String theory is a theory of quantum gravity. Later on, We will find out that string theory is actually a finite theory of quantum gravity. Since open string theories always contain closed strings.

__Types of String Theories __

- 1The Strings correspond to Bosons. It requires 26 dimensions for its spacetime.:
**Bosonic string theory**Advertisement - 2There are 5 other consistent string theories that include:
**fermions**- Type I
- Type II A
- Type II B
- Heterotic SO(32)
- Heterotic E8 � - E8 .

All of these theories use supersymmetry. Thus, for every boson, there exists its superpartner fermion and vice versa.

__Types of Strings __

- 1String theory naturally exists in D > 4. It can be readily supersymmetric. So that one might hope that string theory could be the UV completion of the standard model..
often contain non-abelian gauge fields and chiral fermions, Both of these are important ingredients for a standard model**Open strings** - 2The general argument says, that the only consistent couplings of such particles are those of gravitations.All.
theories contain a massless spin-2 particle**closed string**Advertisement

Let us recall Quantum field theory. For example, a toy model of scalars

that interactions λ_{k} with:

- positive mass dimensions are super renormalizable.
- zero mass dimensions are renormalizable.
- negative mass dimensions are non- renormalizable.

General relativity badly behaves in the ultraviolet. We can understand this intuitively. Consider a high-energy collision between two point particles in GR + QFT

This high energy collision can produce a microscopic black hole. That black hole can be nonlinear. Let us consider:

## A Classical Theory of Relativistic Strings

Let us define the target space "M" to be a spacetime with metric g_{μw} and coordinate X^{μ}.
The string worldsheet Σ is a two-dimensional spacetime with coordinates:

ξ_{1}= T and ξ_{2}= σ,

Where we treat T as time direction. Now let us assume, Minkowski signature for both spaces though will soon rotate into Euclidean coordinates on the worldsheet.

The natural measure for the size of the worldsheet is the usual volume,

**An Analogy to the Relativistic point particle:**

For a point particle we would like to consider the word line with single parameter ξ = T the pullback of the metric is simply,

So that the volume of the worldline is embedded into the target space,

We are thus inspired to use Vol(ξ_{2}) as an action for the relativistic string. This is called Nambu-goto action.

S_{NG} = -T vol (ξ_{2}), **Equation- 6**

Equation of motion for the to-be quantized field's X :

δ/δ_{l} (MX^{μ}/√X^{μ}X_{μ}) =0

= MX^{μ}/√X^{μ}X_{μ}= Const,Equation- 7.

As quantum field theories, we could write down

S_{wrong}= ∫ δ_{l}(X^{μ}X_{μ}+ m^{2}),Equation- 8

Equation 5, obeys, T → λT ,Equation- 9,

But equation 8 does not obey this action, to fix up this action we introduce a compensator field e:

S`^{l}= ∫ δ T (e^{-1}X^{μ}X_{μ}+em^{2}) ,Equation-10

One can think of this compensator as a lagrange multiplier, or more usefully as a metric on the wordline. If we assume that under reparameterization we have,

T → λT,Equation- 11e → λ^{-1}e ,Equation- 12

The equation of motion for the compensator will now be:

-1/e^{2}X^{μ}X_{μ}+m^{2}= 0 e = 1/m √X^{μ}X_{μ},Equation-13

Similarly, The EOM for the X^{μ} field is:

δ/δt(e^{-1}X^{μ}) = 0,Equation- 14

**The Polyakov Action:**

We would now like to find the analogous quantization friendly action for the string. This is called the Polyakov action.

S_{p}=-T/2 ∫ δ^{2}ξ√-γ γ^{αβ}δ_{α}X^{μ}δ_{β}Xδ^{ν}ζ_{ν},Equation- 15

According to sigma model,

S_{σ}= ∫ δ^{4}η√g g^{μ ν}δ_{μ}φ^{m}δ_{ν}φ^{N}G_{mn},Equation- 16

Where G_{mn}, is a metric on the field space. To go back and forth from the polyakov action for string theory and our F model analogy we note,

X^{μ}↔ φ^{M},Equation- 17η_{μ ν}↔ G_{mn},Equation- 18γ_{αβ}↔ g_{μ μ},Equation- 19

GR in (1 +1)D, The Einstein Hilbert Action gives,

S_{EH} = 1/2k^{2}∫ &delta^{2}2 ξ √ -γ R

R_{αβ} - 1/2 g_{αβ} R = T_{αβ}, **Equation- 20**

Which vanishes in Vacuum. However, let us note that the Riemann Tensor obeys,

R_{αβγδ} = -R_{βγδ} = -R_{αβγδ} = R_{αβγδ} , **Equation- 21**

So that since α,β,γ,δ, ∈ {0,1}, we can write,

R_{αβγδ}= fεαβγδ,Equation- 22

Contracting the Indices to get the ricci tensor, we find:

R = fεαβγε_{γ}δ g^{αγ}g^{βδ}= R_{αβγδ f gαγ ( εδα εγδ) = f εγδ εγδ = 2F, Equation- 23 }

We have used ε^{δ}_{α} ε_{γδ} = g_{αγ}

plugging this back into the Riemann tensor, we obtain:

R_{αβγδ}= R/2 ε_{δ}_{α}ε_{γδ},Equation- 24

Which can again plug back into Ricci tensor to find (Vacuum):

R_{αγ}= R_{αβγδ}g^{βδ}= 1/2 Rg_{αβ},Equation- 25

We want to take the variation of the action with respect to the worksheet metric γ_{αβ}.
In particular, we would like to write out the tricky term δ√-r/δ γ_{αβ} , recalling that r = δeδ γ_{ζσ}
We can involve a well known result for a general metric g_{ab},

δg = gg^{ab}δ g_{ab},Equation- 26

Which can prove by using det m = expTrLog m.

By swapping the height of the indices, we can see that we pick up a negative sign since,

δ (g^{ab} g_{ab}) = 0 δg = -g g_{ab} g^{ab}, **Equation- 27**

We thus have,

δ√-g = 1/2 √-g g^{ab}δ g_{ab}= 1/2 √-g δ g_{ab}g^{ab},Equation- 28

The variation of our action with respect to γ^{ρσ} is then,

δS = -1/2 ∫ δ^{2}ξ {-1/2 √-γ γ_{γρ}δ γ^{γρ}h_{αβ}+ √-γ h_{σρ}δ γ^{σρ}},Equation- 29

δS/ δγ^{σρ}= -1/2 ∫ δ^{2}ξ √-γ { h_{σρ}-1/2 γ_{σρ}&gamma^{αβ}h_{αβ}},Equation- 30

With equation of motion,

h_{σρ} = 1/2 γ^{σρ} γ^{αβ} h_{αβ}, **Equation- 31**

When that EOM are satisfied, one can take a determinant to prove.

γ^{αβ}h_{αβ}= 2 √-h/ √-γ,Equation- 32

S_{P/EOM}= -1 ∫ δ^{2}ξ √-h = S_{NG},Equation- 33

**How to do String Theory:**

Pick a background spacetime M endowed with a metric, which in some local co-ordinates looks like,

δS^{2}= g_{μν}(η) δx^{μ}δx^{ν}

There are some other fields to specify, too, but let's ignore them for now. Consider the set of map's

X^{μ}: Worldsheet → Target spacetime. Σ ↔ M (σ,T) ↔ X^{μ}(σ,T)

Where, σ,T, are local coordinates on the world sheets.

Now try to compute the following path integrals,

I = ∫ [Dx (σ,T)] exp(iS_{w3}[X...])

This is meant to be a proxy for a physical quantity like a scattering amplitude for two strings to go to two strings. The data about the external states are hidden in measures, Hence the subscript 'ws' stands for worldsheet.

The Feynman-Kac formula says that a transition amplitude takes the form:

_{x(T1)}∫^{x(T2)}e^{Swρ[x(T)]}

= (η_{2}, T_{2}/x_{1}, T_{1})

Where,

X^{μ}: WorldLine → Target spacetime

(T) → x^{μ}(T)

Can be written as a sum over trajectories that interpolate between specified initial and final states.
For example; for a massless charged scalar particle, propagating in a background spacetime with metric g_{μν} and background (Abelian) gauge field A_{μ}, The worldline action takes the form,

S_{wρ}[η] = ∫ δ_{1} g_{μν (η) xμ xν + ∫ δ1 xμ Aμ
}

Where, x = δ_{1}x.
Note that minimal coupling to the gauge field can be written as,

∫ δ_{1}x^{μ}A_{μ}= ∫_{wρ A }

Taylor expands around some points in the target space, which let us call O, for example:

A_{μ}(η) = A_{μ}(0) + x^{ρ}δ_{ρ}A_{μ}(0) + .....

And the coupling to the gauge field becomes,

∫ δT ( x^{μ}A_{μ}(0) + x^{μ}x^{ρ}δ_{ρ}A_{μ}(0) + ...)

**The Crucial point:**

Near any point in the worldsheet, it is just free propagation. This implies a certain uniqueness( Good thing Number four): Once the free theory is specified, the interactions are determined but only for some choices( M,*), and can be even defined as I. To see why, let us consider the simplest example where, M = IR^{D-1},1,
with g_{μν} = η_{μν} = diag(-1,1,1,1...1) then the worldsheet is

S_{ws}[X] = 1/4πα^{l}∫ δ^{2}σ δ_{μ}X^{μ}δ^{α}X^{ν}ζ_{μν}

Here α =1,2 is a worldsheet index and μ = 0,...D-1 indexes the spacetime coordinates.

Crudely rendered perturbative interactions of closed strings. Time goes upward. Slicing this picture by horizontal planes shows that these are diagrams which contribute to the path integral for 2 to 2 scattering, Tilting the horizontal plane corresponds to boosting your frame of reference and moving the point ,where you think the splitting and joining happened, alluded to twice so far:

Ms^{2}= 1/4πα^{l}

People will disagree about the factor of 2 is π, Here, (2) is acting for free Bosons, we can compute:

Ms^{2}= 1/4πα^{l}

The equation of motion, O :

O = δS_{ws}/δX

Here, the equation of motion, "O" gives the massless 2d wave equation:

Θ = ((-δ_{T})^{2}+ (δ_{ρ})^{2})X^{μ}= δ_{+}δ_{-}X^{μ}

Where, σ^{±} = T, ± σ ,

This is solved by superposition of right movers and left movers.

X^{μ}(σ, T ) = X^{μ}(σ^{+}) + (X_{R})^{μ}(σ^{-})

To study closed strings, we can treat the spatial direction of the worldsheet as a circle,

σ = σ + 2π,

In which case we can expand in modes,

X^{μ}(σ, T) = Σ_{η ∈Z }α^{μ}e^{inσ±}+ Σ_{η ∈Z }α^{`μ}e^{inσ- }

For open strings, the boundary conditions will relate the right moving and left moving modes: **α ^{l}** ∝ α , we can quantize this canonically and find;

[(α_{n})^{μ}, (α_{m})^{ν}] = n δ_{n+m}+ mη^{μν}, [(`α_{n})^{μ}, (`α_{m})^{ν}] = n δ_{n+m}+ η^{μν}, [(α, `α] = 0

This says that we can think of ( α_{n} < 0) as creation of operators, (α_{n} >0)as annihilation operators. Let |0 > be annihilated by all the (α_{n} > 0),
Thus,

`αρ^{2}+ Σ_{n>0}(α_{-n})^{μ}α_{n}μ^{-a}

Where, "a" is a normal ordering constant, which turns out to be 1. Here comes the problem: Consider the state,

BAD> = (α_{-n}) ^{μ=0} | 0 >,

For n>0, because of commutator [(α_{n})^{0} , (α_{n})^{0}] = - n

We face, the choice ||| BAD > ||^{2} < 0, or E_{BAD} < 0
Well, Neither is okay, especially since E_{BAD} becomes arbitrarily negative as n gets larger. Now, We can build physical states that results look like.

Where [..] is meant to indicate antisymmetric indices, whereas, {..} is meant to indicate symmetric indices. The scalar is called Dilation. For open string, we would have, among other states, string state : -1|0>, Field Mass^{2} (α_{-1})^{μ} | 0 > Vector A_{α} m^{2} = 0.
The world sheet gauge symmetry leads directly to the spacetime gauge symmetries under which,
For example:

A → A + δA^{(0)}B = B_{μν}δx^{α}A δx^{γ}→ B + δA^{(1)}

There is a general theorem that massless symmetric tensor like g _{μν}, which interacts must couple to stress energy, and hence is a gravitation using the machinery built from the above picture. This mode can be seen to participate in nontrivial scattering amplitudes, which indeed reduces, those computed from GR, to lower energies. So, string theory, however unwieldy, this description can be, is a Quantum theory of gravity.

## Referencing this Article

If you need to reference this article in your work, you can copy-paste the following depending on your required format:

__APA (American Psychological Association)__

Types of String Theory. (2018). In *ScienceAid*. Retrieved Feb 23, 2018, from https://scienceaid.net/String_Theory

** MLA (Modern Language Association)**
"Types of String Theory."

*ScienceAid*, scienceaid.net/String_Theory Accessed 23 Feb 2018.

** Chicago / Turabian**
ScienceAid.net. "Types of String Theory." Accessed Feb 23, 2018. https://scienceaid.net/String_Theory.

If you have problems with any of the steps in this article, please ask a question for more help, or post in the comments section below.

## Comments

## Article Info

Categories : Physics

Recent edits by: Sim, Jamie (ScienceAid Editor), Jen Moreau