# I M-theory and loop quantization of higher dimensional SUGRA

1. Jul 21, 2017

### kodama

A new duality between Topological M-theory and Loop Quantum Gravity
(Submitted on 17 Jul 2017)
Inspired by the long wave-length limit of topological M-theory, which re-constructs the theory of 3+1D gravity in the self-dual variables' formulation, we conjecture the existence of a duality between Hilbert spaces, the H-duality, to unify topological M-theory and loop quantum gravity (LQG). By H-duality non-trivial gravitational holonomies of the kinematical Hilbert space of LQG correspond to space-like M-branes. The spinfoam approach captures the non-perturbative dynamics of space-like M-branes, and can be claimed to be dual to the S-branes foam. The Hamiltonian constraint dealt with in LQG is reinterpreted as a quantum superposition of SM-brane nucleations and decays.
Subjects: High Energy Physics - Theory (hep-th)
Cite as: arXiv:1707.05347 [hep-th]

New Variables for Classical and Quantum Gravity in all Dimensions I. Hamiltonian Analysis
Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn
(Submitted on 18 May 2011 (v1), last revised 12 Feb 2013 (this version, v2))
Loop Quantum Gravity heavily relies on a connection formulation of General Relativity such that 1. the connection Poisson commutes with itself and 2. the corresponding gauge group is compact. This can be achieved starting from the Palatini or Holst action when imposing the time gauge. Unfortunately, this method is restricted to D+1 = 4 spacetime dimensions. However, interesting String theories and Supergravity theories require higher dimensions and it would therefore be desirable to have higher dimensional Supergravity loop quantisations at one's disposal in order to compare these approaches. In this series of papers, we take first steps towards this goal. The present first paper develops a classical canonical platform for a higher dimensional connection formulation of the purely gravitational sector. The new ingredient is a different extension of the ADM phase space than the one used in LQG, which does not require the time gauge and which generalises to any dimension D > 1. The result is a Yang-Mills theory phase space subject to Gauss, spatial diffeomorphism and Hamiltonian constraint as well as one additional constraint, called the simplicity constraint. The structure group can be chosen to be SO(1,D) or SO(D+1) and the latter choice is preferred for purposes of quantisation.
Comments: 28 pages. v2: Journal version. Minor clarifications
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Journal reference: Class. Quantum Grav. 30 (2013) 045001
DOI: 10.1088/0264-9381/30/4/045001
Cite as: arXiv:1105.3703 [gr-qc]

Towards Loop Quantum Supergravity (LQSG)
Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn
(Submitted on 6 Jun 2011 (v1), last revised 12 Jun 2012 (this version, v2))
Should nature be supersymmetric, then it will be described by Quantum Supergravity at least in some energy regimes. The currently most advanced description of Quantum Supergravity and beyond is Superstring Theory/M-Theory in 10/11 dimensions. String Theory is a top-to-bottom approach to Quantum Supergravity in that it postulates a new object, the string, from which classical Supergravity emerges as a low energy limit. On the other hand, one may try more traditional bottom-to-top routes and apply the techniques of Quantum Field Theory. Loop Quantum Gravity (LQG) is a manifestly background independent and non-perturbative approach to the quantisation of classical General Relativity, however, so far mostly without supersymmetry. The main obstacle to the extension of the techniques of LQG to the quantisation of higher dimensional Supergravity is that LQG rests on a specific connection formulation of General Relativity which exists only in D+1 = 4 dimensions. In this Letter we introduce a new connection formulation of General Relativity which exists in all space-time dimensions. We show that all LQG techniques developed in D+1 = 4 can be transferred to the new variables in all dimensions and describe how they can be generalised to the new types of fields that appear in Supergravity theories as compared to standard matter, specifically Rarita-Schwinger and p-form gauge fields.
Comments: 9 pages. v2: minor improvements in presentation, virtually identical to published version
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
MSC classes: 83C05, 83E50, 83E15
Journal reference: Phys. Lett. B 711: 205-211 (2012)
DOI: 10.1016/j.physletb.2012.04.003
Cite as: arXiv:1106.1103 [gr-qc]

A note on quantum supergravity and AdS/CFT
Norbert Bodendorfer
(Submitted on 7 Sep 2015)
We note that the non-perturbative quantisation of supergravity as recently investigated using loop quantum gravity techniques provides an opportunity to probe an interesting sector of the AdS/CFT correspondence, which is usually not considered in conventional treatments. In particular, assuming a certain amount of convergence between the quantum supergravity sector of string theory and quantum supergravity constructed via loop quantum gravity techniques, we argue that the large quantum number expansion in loop quantum supergravity corresponds to the 1/N2c expansion in the corresponding gauge theory. In order to argue that we are indeed dealing with an appropriate quantum supergravity sector of string theory, high energy (α′) corrections are being neglected, leading to a gauge theory at strong coupling, yet finite Nc. The arguments given in this paper are mainly of qualitative nature, with the aim of serving as a starting point for a more in depth interaction between the string theory and loop quantum gravity communities.
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Cite as: arXiv:1509.02036 [hep-th]

M-theory claims to unite 5 10D string theories, and 11D SUGRA

eleven-dimensional supergravity is the lower energy limit of M-theory.

there is no non-pertubative formulation of M-theory, it remains a conjecture.

since there is no non-pertubave forumlation of M-theory, and M-theory has
eleven-dimensional supergravity is the lower energy limit of M-theory,
why not define M-theory nonpertubative loop quantization of eleven-dimensional supergravity
Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn have applied loop quantization of higher dimensional SUGRA, including eleven-dimensional supergravity

loop quantization of higher dimensional SUGRA, including eleven-dimensional supergravity is nonpertubative, it describes physics at the Planck scale

is there a reason it cannot serve as a nonpertubative basis of M-theory?

also worth noting

if this research program is successful,

M-theory contains 11D supergravity as its low energy limit,

at the UV limit it is described by loop quantization of 11D supergravity

loop quantization of 11D supergravity has 11D supergravity as its semiclassical limit, and therefore via M-theory also contains 5 10D string theories

Last edited: Jul 21, 2017
2. Jul 21, 2017

### mitchell porter

By now it's pretty clear that "loop quantization" is some sort of technical mistake. This procedure has been applied to dozens of starting points and it has never yet been able to make contact with either classical general relativity or with nongravitational quantum field theory. String theory makes contact with both of those. So whatever the right way to define M-theory is, loop quantization is not the answer.

3. Jul 21, 2017

### kodama

Einstein Equation from Covariant Loop Quantum Gravity in Semiclassical Continuum Limit
Muxin Han
(Submitted on 25 May 2017 (v1), last revised 11 Jul 2017 (this version, v2))
In this paper we explain how 4-dimensional general relativity and in particular, the Einstein equation, emerge from the spinfoam amplitude in loop quantum gravity. We propose a new limit which couples both the semiclassical limit and continuum limit of spinfoam amplitudes. The continuum Einstein equation emerges in this limit. Solutions of Einstein equation can be approached by dominant configurations in spinfoam amplitudes. A running scale is naturally associated to the sequence of refined triangulations. The continuum limit corresponds to the infrared limit of the running scale. An important ingredient in the derivation is a regularization for the sum over spins, which is necessary for the semiclassical continuum limit. We also explain in this paper the role played by the so-called flatness in spinfoam formulation, and how to take advantage of it.
Comments: 12+3 pages, no figure, presentation improved
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th)
Cite as: arXiv:1705.09030 [gr-qc]
(or arXiv:1705.09030v2 [gr-qc] for this version)

4. Jul 22, 2017

### mitchell porter

The author seems to be using a given classical solution to general relativity to zoom into the part of the spin-foam path integral which follows that solution, rather than showing that the unrestricted spin-foam path integral intrinsically peaks around the classical solution. He considers (section VI) a series of triangulations which by design converges on a classical geometry, and then argues that for each such triangulation, the spin foams reproduce something from Regge calculus, a known approximation of general relativity.

But what about spin foams that deviate from classicality? We need some argument that they won't drown out the semiclassical part, and I don't see it. I could be missing it. Someone like @Haelfix or @atyy would probably be a better critic... They certainly know the subject much better than me.

5. Jul 22, 2017

### kodama

But here, the author does show "loop quantization" makes "contact with either classical general relativity" via Regge calculus.

6. Jul 22, 2017

### mitchell porter

A path integral is a sum over all possibilities. So that necessarily includes both classical histories and highly nonclassical ones. To show that the theory has a classical limit, you would need to show that the overall sum is dominated by the contribution from the classical histories, or something similar. I didn't see, in the paper, any attempt to put the analysis of classical histories into such a context.

7. Jul 22, 2017

### Urs Schreiber

This point deserves to be expanded on a bit:

To recall, the starting point of LQG is to encode the Riemannian metric in terms of the parallel transport of the affine connection that it induces. This parallel transport is an assignment to each smooth curve in the manifold between points $x$ and $y$ of a linear isomorphism $T_x X \to T_y Y$ between the tangent spaces over these points.

This assignment is itself smooth, as a function on the smooth space of smooth curves, suitably defined. Moreover, it satisfies the evident functoriality conditions, in that it respects composition of paths and identity paths.

It is a theorem that smooth (affine) connections on smooth manifolds are indeed equivalent to such smooth functorial assignments of parallel transport isomorphisms to smooth curves. This theorem goes back to Barrett, who considered it for the case that all paths are taken to be loops. For the general case it is discussed in arxiv.org/abs/0705.0452, following suggestion by John Baez.

So far so good. The idea of LQG is now to use this equivalence to equivalently regard the configuration space of gravity as a space of parallell transport/holonomy assignments to paths (in particular loops, whence the name "LQG").

But now in the next step in LQG, the smoothness condition on these parallel transport assignments is dropped. Instead, what is considered are general functions from paths to group elements, which are not required to be smooth or even to be continuous, hence plain set-theoretic functions. In the LQG literature these assignments are then called "generalized connections". It is the space of these "generalized connections" which is then being quantized.

The trouble is that there is no relation left between "generalized connections" and the actual (smooth) affine connections of Riemanniann geometry. The passage from smooth to "generalized connections" is an ad hoc step that is not justified by any established rule of quantization. It effectively changes the nature of the system that is being quantized.

Removing the smoothness and even the continuity condition on the assignment of parallel transport to paths loses all contact with how the points in the original spacetime manifold "cohere", as it were, smoothly or even continuously. The passage to "generalized connections" amounts to regarding spacetime as just a dust of disconnected points.

Much of the apparent discretization that is subsequently found in the LQG quantization is but an artifact of this dustification. Since it is unclear what (and implausible that) the generalized connections have to do with actual Riemannian geometry, it is of little surprise that a key problem that LQG faces is to recover smooth spacetime geometry in some limit in the resulting quantization. This is due to the dustification of spacetime that happened even before quantization is applied.

When we were discussing this problem a few years back, conciousness in the LQG community grew that the step to "generalized connections" is far from being part of a "conservative quantization" as it used to be advertized. As a result, some members of the community started to investigate the result of applying similar non-standard steps to the quantization of very simple physical systems, for which the correct quantization is well understood. For instance when applied to the free particle, one obtains the same non-separable Hilbert spaces that also appear in LQG, and which are not part of any (other) quantization scheme. Ashtekar tried to make sense of this in terms of a concept he called "shadow states" https://arxiv.org/abs/gr-qc/0207106 . But the examples considered only seemed to show how very different this shadowy world is from anything ever seen elsewhere.

Some authors argued that it is all right to radically change the rules of quantization when it comes to gravity, since after all gravity is special. That may be true. But what is troubling is that there is little to no motivation for the non-standard step from actual connections to "generalized connections" beyond the fact that it admits a naive quantization.

8. Jul 22, 2017

### julian

See page 258 of "String Gravity and Physics at the Planck Scale":

"While we can restrict ourselves to suitably smooth fields in the classical theory, in quantum field theory, we are forced to allow distributional field configurations. Indeed, even in the free field theories in Minkowski space, the Gaussian measure that provides the inner product is concentrated on genuine distributions. This is the reason why in quantum theory fields arise as operator-valued distributions."

These so-called "quantum configuration spaces" that include distributional fields are not something unique to LQG.

9. Jul 23, 2017

### Urs Schreiber

Hey Julian,

ah, no, that's some misunderstanding.

First, there is a big difference between a distribution (which is a well-behaved limit of smooth functions) and a plain discontinuous function (which is what is used in LQG).

To see this, consider the simple example of 1d field theory, i.e. a particle moving in some smooth manifold $X$. The ordinary field configurations are smooth functions $\mathbb{R}^1 \longrightarrow X$. Passing to "generalized field configurations" in the sense of LQG means to allow discontinuous functions. This means that we allow particles to jump around at will, they may sit in your lab for $t \in (-\infty,0)$ and at $t = 0$ they may be behind the moon, or behind the cosmic horizon, or anywhere.

Second, the operator valued distributions in field theory are quantum observables on the phase space, reflecting the fact that not all observables on phase space may be quantized, only those that are what is called "smeared with a test function", that's why they become genuine operators only after being fed a test function, and that's what makes them operator valued distributions.

For the simplest example take free scalar field theory. The phase space is the space $C^\infty_{sol}(X)$ of smooth functions on spacetime that solve the wave equation (often expressed equivalently in terms of their initial value data, i.e. field coordinates and momenta, on a Cauchy surface). The operator-valued distributions appear when computing the Poisson algebra of functions _on_ that phase space, because the Poisson bracket of two point-evaluation functions $\Phi(x) : C^\infty_{sol}(X) \to \mathbb{R}$ is the causal Green's function, which needs to be smeared with a test function in order to become a smooth function. But the phase space is $C^\infty_{sol}(X)$, or otherwise we would be talking about a different theory.

Third, notice that there is no disagreement among the LQG researchers anymore that what they do is not the established way of quantization. Check out the "shadow state" article by Ashtekar that I cited above. It's not arguing that the procedure is secretly the usual one. It is accepting that the "polymer state" quantization used in LQG is not the established procedure, it shows this vividly for simple examples such as the free particle, and instead it is trying to argue that "polymer" quantization can nevertheless make sense physically.

10. Jul 24, 2017

### kodama

Urs any thoughts on the theory that LQG is related to M-theory via H-duality

A new duality between Topological M-theory and Loop Quantum Gravity
(Submitted on 17 Jul 2017)
Inspired by the long wave-length limit of topological M-theory, which re-constructs the theory of 3+1D gravity in the self-dual variables' formulation, we conjecture the existence of a duality between Hilbert spaces, the H-duality, to unify topological M-theory and loop quantum gravity (LQG). By H-duality non-trivial gravitational holonomies of the kinematical Hilbert space of LQG correspond to space-like M-branes. The spinfoam approach captures the non-perturbative dynamics of space-like M-branes, and can be claimed to be dual to the S-branes foam. The Hamiltonian constraint dealt with in LQG is reinterpreted as a quantum superposition of SM-brane nucleations and decays.
Subjects: High Energy Physics - Theory (hep-th)
Cite as: arXiv:1707.05347 [hep-th]

11. Jul 24, 2017

### kodama

Induced loop quantum cosmology on a brane via holography
C. A. S. Silva
(Submitted on 20 Jul 2017)
Based on the holographic principle, it is demonstrated that loop quantum Friedmann equations can be induced on a brane, corresponding to a strongly coupled string regime in the bulk, and have braneworld cosmology equations as its low energy limit. Such result can establish a possible connection between loop quantum gravity and string theory.
Subjects: General Relativity and Quantum Cosmology (gr-qc)
Cite as: arXiv:1707.07586 [gr-qc]

12. Jul 27, 2017

### Urs Schreiber

Weird stuff. Are you just going by the title, or did you try to read this and see if it makes sense to you?

13. Jul 27, 2017

### MathematicalPhysicist

Yes, but is it weirder than your stuff? :-D

Your theory is crazy, the question is whether it's crazy enough to be true.

Nils Bohr.

14. Jul 28, 2017

### Urs Schreiber

I suppose you are referring to arXiv:1611.06536 and arXiv:1702.01774 which I was recently talking about at PF-Insights here and which I presented at StringMath17 here. These articles contain a sequence of mathematical propositions and proofs, the assumptions and the laws of inference are stated clearly. To any educated reader the statements ought to be unambiguous and all details to check them are provided, in the established style of rigorous mathematics. These results clearly suggest a conjecture about physics which is far-reaching (as on the second but last slide of the talk), but you are not asked to buy into this conjecture until it is proven.

My trouble with the articles mentioned by Kodama above is not that their conclusion is weird, rather I find the conclusion, as advertized in the title, does not quite parse. Instead, my trouble with these articles is that their reasoning seems incoherent to me. That's why I was asking if Kodama actually tried reading them, or if he just went by the flashy title.

The phrase "not even wrong", much abused these days, originally referred to a statement which does not parse, so that one cannot start checking whether it is right or wrong. In formal logic this is well understood: a proposition may be true or false, but to be a proposition in the first place, it needs to be what mathematicians call a "well-formed sentence". Gibberish is not even wrong.

But if I am missing something, let me know what you think might be a well-formed claim that these authors are meaning to make. Then I can try to reply to that, if desired.

15. Jul 28, 2017

### MathematicalPhysicist

I am sure you believe your theory is consistent and mathematically sound, but does it describe reality?

More than 3+1 dimensions which we "sense" is weird stuff no matter how you wrapped it around your head.

There are a lot of toy models in the literature of theoretical physics and mathematical physics, I don't see why take one work any more serious than the others if eventually all papers only suggest more conjectures and don't provide proof for the earlier work.

For example has anyone provided proof for the BFSS conjectures in the following paper:
https://arxiv.org/abs/hep-th/9610043

It seems people in this field shoot for more conjectures and less proof, perhaps the propositions are indeed so much hard to prove mathematically.

16. Jul 28, 2017

### Urs Schreiber

Let's try to concentrate and exercise some sober intellectual discipline. The topic of this thread is whether two mathematical models are related, to the extent that they are defined. Due the power of mathematics, such a question makes sense independently of what these models have to do with reality. In principle this could be worth a technical analysis. But that will be more tedious than throwing around buzzwords. I repeat that I am willing to try to react to any well-formed statement that somebody can extract from these articles. Otherwise I'll call it quits on this thread here.

17. Jul 28, 2017

### MathematicalPhysicist

The question is what I need to know before reading those articles?

What are the prerequisites for reading this stuff?

I can say that I am quite versed in QFT and Statistical Mechanics, and in maths I have basic courses in Algebraic Topology and Algebraic Geometry under my belt; I also read Griffiths and Harris' book (long and tough), also read Krengel's Ergodic Theorems (and know quite a lot of analysis stuff, though this stuff in the articles seems more related to algebra).

The question is what one needs to know before reading this stuff and actually rigorously criticize the models?

18. Jul 28, 2017

### Urs Schreiber

It's pretty elementary. You need to know what a super-Lie algebra is, and how real spin representations work, and what a differential graded-super-commutative algebra is. Expository lecture notes are here

19. Jul 28, 2017

### kodama

ok, so you and Urs don't care for "loop quantization" or "polymer quantization" as completely nonstandard
why not re-write 11 dimensional supergravity in an equivalent form, something like Ashketar's variables, or a theory that reproduces 11 dimensional supergravity but written as a gauge theory, then perform a standard canonical quantization as an approach to nonpertubative definition of M-theory

20. Jul 30, 2017

### mitchell porter

The problem with those methods of quantization is not just that they are "nonstandard", the problem is that they don't connect with reality in any way! These authors may start classically with known field theories, but when they construct the quantum theory, they do it differently; and the way they do it does not reproduce anything from known physics, not even qualitatively. String theory may usually predict a lot of things we aren't seeing, and a lot of quantities we would like to test remain impossible to calculate; but at least it exhibits qualitative continuity with established physics. All the new phenomena that came with the revival of quantum field theory in the era of the standard model, like anomalies, instantons, you name it, have their counterparts in string theory. On the gravity side, string theory has a classical limit, and it also reproduces theoretical phenomena of semiclassical gravity.

Loop quantum gravity, on the other hand, seems to provide a recipe where you start with a set of fields that includes general relativity, then you follow their special quantization procedure, and you end up with various equations that the resulting wavefunctions have to satisfy, and maybe you can prove one or two things. But these results are entirely abstract and algebraic, and do not give you back anything like quantum fields in space-time, despite the starting point. So this recipe can certainly produce research papers, but the resulting papers are radically disconnected from ordinary quantum field theory, from classical gravity - and from string theory.

Once I concluded that the divide is really that great, I became perplexed by the size and persistence of the loop quantum gravity literature. I can see one person, or a handful of people, stubbornly persevering in a research program that disdains lots of established physics, due to an idiosyncratic investment in particular ideas. But loop quantum gravity is dozens of people over decades. I was especially troubled by the lack of historical precedent for this.

But I'm happier now because I did find a historical analogy: algebraic quantum field theory. It's not an exact analogy, but it is another example of a research community developing over decades a mathematical formalism which is largely disconnected from what physicists were actually doing. Algebraic quantum field theory starts with a few ideas drawn from real physics, but describes either fields that don't interact, or a few special interacting field theories in lower dimensions. Meanwhile, real physicists were using effective field theory, the renormalization group, and the lattice. Similarly, loop quantum gravity started with some real things, but its subsequent development has diverged from everything in gauge theory and quantum gravity that actually works.

Returning to the idea that some sort of standard but nonperturbative canonical quantization of supergravity might help with the formulation of M-theory, well, it might help just because it would be in that same mainstream of quantization methods, and would therefore actually be relevant to M-theory. But I think that at best it would still only give you a new perspective on what's missing in supergravity. In the end you should find that you need new heavy states, the branes. The best guide might be AdS/CFT in the case of AdS4/CFT3 and AdS7/CFT6, where known CFTs are believed to be entirely equivalent to M-theory in the dual AdS spaces.