A Kahler Manifolds and Supersymmetric NLSM: Understanding the Connection

[StenEdeback]

TL;DR Summary

Alternatives to Calabi Yau?

Are there alternatives to Calabi Yau spaces describing dimensions in superstring theory? If yes, what are they? If no, why?

 

[PeterDonis]

Moderator's note: Moved thread to the Beyond the Standard Model forum.

 

[Demystifier]

Yes, D-brane worlds.

 

[StenEdeback]

Thank you, Demystifier!
Sten E

 

[haushofer]

You mean by "describing dimensions" "compactifications to 4 spacetime dimensions?"

 

[StenEdeback]

Thank you haushofer!
Yes, that is a good way of putting it. I wonder if Calabi Yau are the only players in that game, or if there are other ways of handling all these extra dimensions.

 

[Demystifier]

As for compactification, there are also orbifolds.

 

[samalkhaiat]

As for compactification, there are also orbifolds.

Calabi-Yau is an orbifold.

 

[StenEdeback]

Thank you Demystifier and samalkhaiat! I will have a look at orbifolds.

 

[Demystifier]

Calabi-Yau is an orbifold.

Yes. But some orbifolds are not manifolds, and obviously I meant those orbifolds.

 

[samalkhaiat]

I wonder if Calabi Yau are the only players in that game,

Yes, they seem so. Broadly speaking, compactification requires Ricci-flat compact (complex) space. Ricci-flatness and compactness are what CY spaces have. Of course, finding the right one is another story.

 

[Demystifier]

compactification requires Ricci-flat

Why does compactification requires Ricci flatness? Does it depend on a requirement that some supersymmetry survives at low energies, or is there an argument that does not depend on supersymmetry?

 

[samalkhaiat]

Why does compactification requires Ricci flatness?

Consider M^{D} = M^{d} \times K^{D-d}. From Supergravity action you obtain the Einstein equation in M^{D}: R^{(D)}_{AB} = 0. This implies, R^{(d)}_{\mu\nu} = 0, \ \mbox{&} \ R^{(D-k)}_{mn} = 0.

Does it depend on a requirement that some supersymmetry survives at low energies,

I would agree with that, if I was a phenomenologist. Mathematically, world-sheet supersymmetry means that there are Killing spinors, \nabla \epsilon = 0, on the target space of the critical dimension M^{10}. Then, one can easily show that \nabla \epsilon = 0 \ \Rightarrow \ R^{(10)}_{AB} = 0. So, if you consider the solution M^{10} = M^{4} \times K^{6}, then \mbox{Ric}(K) = 0.

is there an argument that does not depend on supersymmetry?

You can't avoid supersymmetry in superstrings. Where do the fermions come from?

 

[MathematicalPhysicist]

Thank you Demystifier and samalkhaiat! I will have a look at orbifolds.

An interesting book on my endless book list is:
https://www.amazon.com/dp/0521870046/?tag=pfamazon01-20

Seems like a good starting place, but other than that I don't know since I haven't even started reading this book, I have other books on my reading right now.

Cheers!

 

[Demystifier]

You can't avoid supersymmetry in superstrings. Where do the fermions come from?

Well, at least for academic purposes one can study compactification in 26-dimensional bosonic string theory. By replacing supergravity action with bosonic field action, your argument can be used to argue that we would need Calabi-Yau even then, am I right?

 

[samalkhaiat]

Well, at least for academic purposes one can study compactification in 26-dimensional bosonic string theory. By replacing supergravity action with bosonic field action, your argument can be used to argue that we would need Calabi-Yau even then, am I right?

No. In order for the compact internal space K^{D-4} to be a CY space, it must admit a flat Kahler metric. In superstring, the Kahler metric comes for free and we can show that it is flat. This is not so in bosonic string theory. The pure Plyakov action of bosonic string is very boring. However, interesting things happen if you include the NLSM torsion potential (known as the Kalb-Ramond field H_{AB}(X) = H_{[AB]}(X)) in the action and assume that the metric G_{AB}(X) and the torsion potential H_{AB}(X) are independent of X^{0}.

 

[bayakiv]

Consider .

Summary:: Alternatives to Calabi Yau?

Are there alternatives to Calabi Yau spaces describing dimensions in superstring theory? If yes, what are they? If no, why?

There is an alternative, but it is almost unknown and unexplored. It is usually considered $M^{4}\times K^{D-4}$ where both components of the product vary. However, there is an alternative when the space is fixed and the vector field is varied. For example, if you take an 8-dimensional space with a neutral metric and vary the vector field in it, you can get interesting things. First, if we consider the Lie algebra of linear vector fields annihilating the gradient of a quadratic metric interval, then note that this is the algebra of tangent vector fields of a 7-dimensional hypersphere of a space with a neutral metric, which is isomorphic to the Lie algebra of the matrix Dirac algebra. Second, if we take a doublet of Minkowski spaces with an inverse metric, then we obtain an 8-dimensional space with a neutral metric, therefore, a consistent local deformation of a linear covector field in the Minkowski space and its dual space induces a pseudo-Riemannian manifold. Third, if we compactify a space with a neutral metric, then the symmetries of the compactified isotropic cone will (as expected) correspond to the group $SU(3)\times SU(2)\times U(1)$.

 

[jk22]

Is there an approach where the metric of GR is obtained from a manifold but only in the average sense over a hidden parameter $$\lambda$$, like $$g^{avg background}_{44}=\int sgn(\cos(\lambda))\rho(\lambda)d\lambda=0$$ and giving equations to obtain the desired GR metric $$g_{\mu\nu}=\int\langle\frac{\partial r^i}{\partial x^\mu}|g^{background}|\frac{\partial r^i}{\partial x^\nu}\rangle \rho(\lambda)d\lambda,\mu,\nu=0,...3$$

Where $$r^i:\mathbb{R}^4\rightarrow\mathbb{R},i=0,...4$$

The background metric is periodic, so are the vectors determining the vector r in 5D space, but with an incommensurable period ?

 

[jk22]

Addendum : in the case of 4D metrics, the manifold shall depend explictly on time, else the null component of the metric vanishes. Does this mean that the other components depend on t too, hence the metric could not be static, implying that it is impossible to find an embedding in a higher space giving the Schwarzschild metric for example ?0

 

[PeterDonis]

Is there an approach where the metric of GR is obtained from a manifold but only in the average sense over a hidden parameter

Where are you getting this from? Personal speculation is off limits here.

in the case of 4D metrics, the manifold shall depend explictly on time, else the null component of the metric vanishes

What does this mean? It doesn't make sense to me.

 

[Demystifier]

In superstring, the Kahler metric comes for free and we can show that it is flat.

What exactly does it mean that it comes "for free"?

 

[samalkhaiat]

What exactly does it mean that it comes "for free"?

Hmmm, unfortunately I don’t have the time to introduce the ABC of complex geometry in here.
To understand what I meant, try to do the following exercises:
1) Given chiral superfields \Phi^{i} and their conjugates \Phi^{+ i}, write down the most general (kinetic) Lagrangian for N = 1 chiral superfields in superspace. Work out the form of the Lagrangian in terms of the ordinary field components A^{i} = \Phi^{i}|_{\theta = 0}, \ \mbox{and} \ \chi^{i}_{\alpha} = D_{\alpha}\Phi^{i}|_{\theta = 0}.
2) Non-linear-sigma-model (NLSM): Show that a 4D NLSM has the N = 1 supersymmetric extension if and only if the NLSM target manifold \mathcal{\Sigma} is Kahler.