Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,788 comments
1,470 users with positive rep
820 active unimported users
More ...

  Exotic spheres in string/M-theory

+ 8 like - 0 dislike
11340 views

An exotic sphere of dimension $n$ is a smooth manifold of dimension $n$ which is homeomorphic to the standard $n$-dimensional sphere but not diffeomorphic to it. In what follows, I always assume that $n$ is greater than $5$. One can show that the set of differentiable structures on a topological sphere of dimension $n$ is a finite group, isomorphic to the group of connected components of the group of diffeomorphims of the standard $(n-1)$-dimensional sphere (one constructs something homeomorphic to the  $n$-sphere by gluing two $n$-balls by a diffeormorphism of the $(n-1)$-sphere boundary. One obtains an exotic sphere if this diffeomorphism is not continously connected to the identity).

The possibility of an interest of exotic spheres in physics was first suggested by Witten in the paper "Global gravitational anomalies" (http://projecteuclid.org/euclid.cmp/1103943444 ). The main subject of the paper are the global gravitational anomalies of the $10$ dimensional superstring theories. In this context, the appearance of exotic $11$-dimensional spheres is quite natural. We want to study the behavior of the theory under a diffeomorphism of the $10$-dimensional sphere not continously connected to the identity. To do that, we consider a $11$-dimensional manifold with a metric that interpolates between the $10$-dimensional metric and its image under the diffeomorphism i.e. we have essentially inserted an $11$-dimensional exotic sphere. To compute the anomaly, we have to compute the variation of the spectrum of the $10$-dimensional Dirac (and Rarita-Schwinger) operators under this interpolation, which is related to the index of some $12$-dimensional Dirac (and Rarita-Schwinger) operators. This relation between anomalies in dimension $d$ and indices in dimension $d+2$ is quite standard and is true for local/global gauge and gravitational anomalies. But in this construction, the dimensions $d+1$ and $d+2$ have no physical meaning, they are just a mathematical trick to compute a physical quantity, the anomaly, in dimension $d$. The fact that the computation of the global gravitational anomaly for $10$-dimensional superstring theories uses exotic $11$-spheres and $12$-dimensional Dirac operators has a priori nothing to do with the existence of well-defined quantum theories in $11$ and $12$ dimensions. 

So we can ask for a more physical meaning of exotic spheres. A proposal in this direction is made in the Witten's paper: exotic $n$-spheres should be thought as gravitational instantons in $n$-dimensional gravity and should give rise to solitons in $(n+1)$-dimensional gravity. For example, Witten asks: is it possible to find the $10$-dimensional solitons corresponding to the $7$ exotic $9$-spheres in the $10$-dimensional string theories ? One could ask the analogue for M-theory: is it possible to find the $11$-dimensional solitons corresponding to the $5$ exotic $10$-spheres in the $11$-dimensional M-theory ? Has any progress be made on these questions since Witten's paper?

In fact, I am more interested by instantons than by solitons. Is there any indication of the presence of the gravitational instantons corresponding to the $991$ exotic $11$-dimensional spheres in the $11$-dimensional M-theory? If I assume that they exist, I could ask: if I put a gravitational instanton between the Horava-Witten walls (take an Euclidean time) defining the strong coupling limit of the $E_8 \times E_8$ heterotic superstring theory (http://arxiv.org/abs/hep-th/9510209 ) and if I take the walls very close from each other, what becomes the gravitational instanton from the $E_8 \times E_8$ heterotic superstring point of view ?

This question is motivated by the fact that there is a hidden $E_8$ in the exotic $11$-spheres. More precisely, the group of differentiable structures on the $11$-sphere is cyclic of order $992$ (the standard one + $991$ exotic). The cyclic generator $M$ can be constructed as follows. Consider the $12$-dimensional singular manifold $X$ defined by the equation $x_0^3+x_1^5+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2=0$ in $\mathbb{C}^7$. Its has a singularity at the origin $O$.  Take a small $13$-dimensional sphere around $O$ in $\mathbb{C}^7$ and intersect it with $X$: this gives a smooth $11$-dimensional manifold which is our $M$. Now $X$ is related to $E_8$ because the intersection matrix of the vanishing cycles of the singularity of $X$ at $O$ is the Cartan matrix of $E_8$ (the analogue result for the complex surface singularity $ x_0^3+x_1^5+x_2^2$ is well-known and plays an important role in the Heterotic on $T^4$/ type II on $K3$ duality: this complex surface singularity can locally appear in a K3 surface and this corresponds to an enhancement to $E_8$ of the gauge group of the theory). I ask myself if there is a relation between this $12$-dimensional $E_8$ and the $10$-dimensional $E_8 \times E_8$ of the heterotic superstring theory.

asked Jul 16, 2014 in Open problems by 40227 (5,140 points) [ revision history ]
recategorized Aug 28, 2014 by dimension10

Let $r$ denote the radius of the 13-dim sphere and $M_r$ denote the 11-dim manifold that you get by intersecting the sphere with $X$. Is $M_r$ Einstein? What is known about $M_r$ in the limit $r\rightarrow 0$? Does it decompose into an interval times a 10-d manifold? Does Milnor have something to say on these issues?

@suresh1: It is known that $M_r$  admits Sasakian-Einstein metrics : http://arxiv.org/abs/math/0311293 ;

I don't know what can be said about the behaviour in the limit $r \rightarrow 0$.

One could ask the analogue for F-theory: is it possible to find the 12-dimensional solitons corresponding to the 991 exotic 11-spheres in the 12-dimensional F-theory?

There are not exotic 12-dimensional spheres in the 12-dimensional F-theory.

1 Answer

+ 6 like - 0 dislike

This is mentioned as open on p. 42 of 

answered Jul 17, 2014 by Urs Schreiber (6,095 points) [ revision history ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOverflo$\varnothing$
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...