Flavio,

Thanks for the detailed response! You might have seen on my bio that I work in algebraic geometry, and the connection to characteristic classes is very intriguing. To be honest, I had never heard of shape dynamics until I read Julian Barbour's essay a week or two ago, but I will be sure to learn more about it now that I've been introduced.

I have read Sorkin, and indeed reference him in my essay. I don't feel that I can entirely agree with the axioms of the causal sets approach, but I'm fairly new to that as well. My approach is indeed similar, however.

By the way, there was another essay here about desingularization by Abhijnan Rej that has a lot of interesting geometry in it. He proposes using cycles/motives etc. Take care,

Ben Dribus

Dear Ben,

Thanks for your interest in shape dynamics. It would be very valuable to get the input of someone with a strong background in geometry. Indeed, we are hoping that the interesting structures of shape space may contain a wealth of interesting physics. This has been Julian's intuition for a while.

I will take a look at your essay. Unfortunately, I am at the end of a rather gruelling trip and haven't had time to seriously look at other essays. I will try to do so later this week.

Take care,

Sean.

No, of course I'm not afraid. But I don't have time for childish taunts. This forum is meant for constructive scientific discussions. I have addressed your questions in the Sept 12 post at 21.42 and see no need to say anything further.

  • [deleted]

Don't worry. Soon Brendan Foster will delete both my provocations and your absurd replies. Like Julian Barbour, you will be one of the winners.

Pentcho Valev

  • [deleted]

Pogge's propaganda for relativity is not precise and not convincing to me. Every layman knows that the accuracy of a clock cannot be given as time deviation unless one knows what timespan this value refers to. Perhaps Pogge meant 1 ns per day but he did not write that. He did not even bother to tell further details like Sagnac effect and the open secret that the corrections were made empirically. He didn't give references to the opinion of true experts.

How to judge censorship? How to judge the necessity of a task force making sure that Einstein's relativity is not seriously questioned in Wikipedia?

Shouldn't we welcome the insight that we need not focussing on Einstein if already Michelson's expectation was wrong? I consider Roger Schlafly's remarks on Einstein possibly well founded but I would like to avoid hurting the feelings of believers.

Eckard

Dear Sean,

I appreciate the response. As a matter of fact, you'll find that my own physics ideas are somewhat removed from my algebraic geometry work, but that doesn't mean I wouldn't be delighted to find out about physics applications for the math stuff I have been doing.

I think you might also be interested in the essays by Torsten Asselmeyer-Maluga and Jerzy Kroll about exotic smoothness structures, even though the approach, like mine, is quite different.

By the way, I briefly mentioned a number of prominent approaches in the first part of my essay; I certainly would not have left your approach out if I had been properly aware of it at the time. Take care,

Ben

Dear Sean/Flavio,

Do mind telling me an email address or sending me an email at bdribus@math.lsu.edu? I notice you don't have addresses listed on the paper. Thanks,

Ben Dribus

  • [deleted]

Sean and Flavio,

I found your essay to be interesting. It takes me a while to digest the more interesting and solid works here, so it has taken me a bit of time to get to your paper. You make a number of very interesting points. I can only this morning discuss a few of these. I will try to follow up later today or tomorrow.

The relationship between shape dynamics (SD) and the extended configuration space (ECS) is one of conformal symmetry. SD has no explicit reference to scale, and scale independence is one aspect of conformal symmetry. The relationship between the two, or a decomposition SD --- > ECS is one where conformal symmetry is broken. General relativity has the group structure SO(3,1) ~ SL(2,C), and the extension of general relativity to conformal spacetime is to SO(4,2).

In my essay I work with the Britto, Cachazo, Feng, Witten (BCFW) recursion relationship. This is a Feynman diagram procedure in twostor space. Twistor space is the symmetry group SU(2,2) ~ SO(4,2), and so is a quantum or prequantum description of conformal relativity. The recursion relationship is a scaling principle which is conformal. In fact it leads to Yangian symmetries, which are a form of enveloping Lie algebras for gauge theory. Yangians consist of a gauge (or gauge-like) theory plus a dual theory related by a conformal symmetry, or Mobius symmetry and T-duality.

The BCFW recursion formula is a twistor theory, which has been used in the HopHat algorithm for computing gluon amplitudes at the LHC. Gravitation is in one sense the square of QCD gauge theory. After reading Giovanni Amelino-Camelia , which has regrettably and I think wrongly fallen down the community ranking, I suggested a connection between the boosts employed in κ-Minkowski and twistor theory. This might be a connection between string theory and the more loopy or triangulated theories like LQG. The Wheeler DeWitt equation has not time variables. Physically this means there is no Gaussian surface one may arrange in spacetime to localize energy. So HΨ[g] = i∂Ψ[g]/∂t = 0. The time variables is a coordinate time, used in QFT equations, which is not a proper variable in general relativity. Hence this equation is a constraint equation, classically NH = 0 and N^iH_i = 0. String theory on the other hand requires some external background field from which gravitons as closed strings are represented. This has been a problem the LQG folks like to point out --- never mind LQG has failed to produce even a first order renormalizable calculation. I speculate that somehow the two views of quantum gravity might connect, where LQG provides the background or constraint for string theory, and the field calculations of strings makes LQG more tractable.

Gravity as a dynamic force is conservative. The force in the Newtonian limit is given by F = -∇Φ(r), which is conservative. This means the force evaluated around a closed loop, such as an orbit, is zero. Thermodynamics gives nonzero evaluations for such forces. This is related to the matter in differential geometry that a p-form ω is closed if dω = 0, but a subset of them are exact when ω = dσ, or d^2 = 0. There is some cohomology behind this. The force is determined by the coboundary operator on a 0-form and we have by Stokes law

∫F•dr = ∫∫∇xF•da. da evaluated in the region enclosed by the closed loop.

Yet we know that ∇x∇Φ(r) = 0 (curl-grad = 0 or d^2 = 0) and so the force is conservative.

Verlinde's entropic gravity does not involve the dynamics of a particle in a gravity field. It involves the dynamics of an event horizon or holographic screen. The main idea is that the force on the screen over some unit distance is equal to the work

∫F•dr =W,

and this work is equal to the increase entropy of an event horizon. This by the Bekenstein theorem is S = k A/4L_p^2, for L_p = sqrt{Għ/c^3} --- the Planck length. So the entropy is a measure of how many Planck units of area there on the horizon. So the Verlinde hypothesis is

∫F•dr =TS,

or a force that displaces the horizon some increment gives

F•δr = TδS.

As a result some input of mass-energy into a black hole increases entropy, and this force is what evolves the event horizon, or equivalently the holographic screen.

Event horizons and screens have units of area, and in naturalized units with c = ħ = 1 the gravitation constant G is an area. So this measures the amount of information entangled with the black hole, or the entanglement entropy. As a result the theory you have built up with moments of inertia most likely applies on a holographic surface.

More later & cheers,

LC

    • [deleted]

    Sean and Flavio,

    Beautifully written essay. I just have a comment and a question.

    Comment: You claim that the problem of time stems from the different way that time and space enter into the formalism of general relativity, and that the evolution equations cannot be solved starting from nonspacelike initial data. The latter is not known to be the case. Certainly for the wave equation, one can begin with data on a nonspacelike hypersurface and evolve in the spacelike direction. (The Holmgren-John theorem guarantees uniqueness, and the work of Craig and myself shows that a solution exists if one begins with data satisfying a nonlocal constraint.) As for the problem of time, I would think that it has something more specific to do with general relativity, since it doesn't arise in the quantization of other relativistic fields.

    Question: I see where coarse-graining is important for the fascinating result you get for the Shape formalism, but where does renormalization come in?

    Steve

      Hi Steve,

      Thanks for your input and kind words. Next time I'm at PI, we should discuss your paper on the wave equation.

      In regards to your comment, you are right that the problem of time is much more intricate than what we had time to discuss in this short essay and, indeed, there are many things we didn't mention or had to simplify. I remember discussing the wave equation with you at some point but I have never read your paper (I will try to do so now!). I can certainly believe the result for the wave equation, although the Einstein equations are bit different.

      The point we were trying to make in this regard was perhaps not completely clear from the text. What one calls the Hamiltonian constraint is ambiguous because of the ambiguity in how you do your decomposition. If you do a radial decomposition of spacetime, the corresponding "radial" Hamiltonian constraint generates hyperbolic evolution equations rather then the elliptic equations of the usual ADM Hamiltonian constraint. Hyperbolic equations are USUALLY only well defined as boundary value problems, however I'm interested in your results about the wave equation. For the Einstein equations, it is certainly much more natural to solve the radial evolution as a boundary value problem and the time evolution as an initial value problem. Perhaps there is something fundamental about this?

      Also, the problem of time does arise in other Machian toy models of the Universe. For example, the quantization of Jacobi's theory has a problem of time similar to what you would get in a mini-superspace quantization of GR. Julian Barbour might say that the problem of time is ubiquitous for temporally relational systems (and I think I would agree).

      In regards to your question, the model we looked at was a very oversimplified model that we used to try to suggest that some info about gravity could be buried in a coarse graining of shape space. The setup is similar to Verlinde's entropic gravity idea, inspired by ads/cft, where radial evolution is emergent from RG flow in a holographic theory. In our case, the dual theory is meant to be on shape space. Loosely, renormalization is related to how the system changes as we change the coarse graining. Ultimately, we want to think of RG flow as time evolution though. Clearly, we need to make this much more precise. Flavio and Matteo Lostaglio have made some progress on this and I think their paper, which will come out soon, should fill in some of the gaps. Anyway, we're working on making this more precise and would love to have more discussions about this! So any input/questions are welcome.

      Cheers,

      Sean.

      ****************** UPDATE ******************

      Our ref [9] has now appeared on the arxiv. The reference is:

      http://arxiv.org/abs/1209.4858

      Sean and Flavio.

      Thanks Lawrence for the detailed reply.

      You point out many things that may have connections with Shape Dynamics. I am not an expert on twistors but I have heard the suggestion that they could be linked to Shape Dynamics before. One possibility way to make this more concrete is to explore the symmetry groups of the local homogeneous spaces used to model geometry in SD vs GR. In GR, the relevant group is the Poincare group ISO(3,1) but in SD we have spatial conformal symmetry so the relevant group is the conformal group in 3d, which is Conf(3) = SO(4,1). Our recent preprint (http://arxiv.org/abs/1209.4858) shows that SD, in 2+1 dim, can be understood as a gauge theory of Conf(2). It might be that one can use the relation with the conformal group to make a connection with twistors. It's an option I'd like to explore a bit more.

      Also, I definitely agree that the toy model we present could be relevant to Verlinde's paper. Actually, the calculation was motivated by his paper. We wanted to ask ourselves: is shape space holographic? and could this property be used to derive gravity? It seems like that may be the case but it is still pretty early in the game and our toy model needs to be made much more precise!

      Cheers,

      Sean.

      • [deleted]

      For Shape Dynamics theory to fit my proposal about one analogy between geometry and physics

      See http://www.fqxi.org/community/forum/topic/946

      Sean & Flavio,

      I think many will agree with me, that there are more prize winning essays in this contest than there are prizes ... yours is among the top. So good luck! -- and I hope you get a chance to vist my essay ("The Pefect First Question") that soundly agrees with your statement, "The truth is that quantum mechanics requires some additional structure, which can be thought of as the observer, in order for it to make sense. In other words, quantum mechanics can never be a theory of the whole Universe."

      Tom

        • [deleted]

        Verlinde's Entropic gravity and AdS/CFT Beyond the Standard

        Model discussion is just a superstrings extrapolations.In fact,they confound the theory of informations witrh a real quantization.

        In fact the works are not bad, but they are weak and not sufficient. The strings theories were just a faschion. Several convergence are relevant but it is time to be rational. The entropy is proportional with my rotating 3D spheres. Me I have explaine the gravity, him no !!! them , no !!!

        • [deleted]

        The conformal group in 3+1 spacetime would then be SO(4,2) ~ SU(2,2). The connection to twisters of course is through this conformal symmetry. One can of course see this according to Desargues' theorem; Two triangles are axially perspective if and only if they are in perspective centrally. The projective rays in spacetime have a similar correspondence ω_a = ω(0)_a + ε_{aa'}π^{a'}, π^a = π(0)^a, which in the null construction is a projective Lorentz spacetime.

        Your paper on 2+1 Chern-Simons SD has much the same structure as some work I just completed and will be sending to publication soon. The AdS_3 spacetime (2 space +1 time) has the CFT_2 on its boundary S^1xR. This CFT is SL(2,R)^2/Z_2, which with

        1 --- > Z_2 --- > SL(2,C) --- > SL(2,R)^2 --- > 1

        constructs spacetime symmetries in 4-dim. The S^1xR is the string world sheet or tube, and the CFT constructs the gravitons states. The holography here is with the boundary of the AdS_3. However, there is an additional symmetries on the string corresponding to four dimensions

        There was some interesting discussion last week about commuting and anticommuting operators with SD and with causal set theory. I think this might have some interesting implications. It might provide some category theory of functors between spacetime and supersymmetry.

        Cheers LC

        • [deleted]

        "Moreover, the toy model may shed light on the nature of the Plank length. In this model, the Plank length is the emergent length arising ....

        This dimensionful quantity, however, is not observable in this model. What is physical, instead, it the dimensionless ratio r=R. This illustrates how a dimensionful quantity can emerge from a scale independent framework. Size doesn't matter but a ratio of sizes does. The proof could be gravity."

        Dear Sean

        Be careful with Planck length and read Wilczek doubts about it

        Wilczek:"we must extract roots",

        "can be taken outside the square roots",

        "In the strong system of units no square roots

        at all appear in [M], [L], [T ]."

        Read Wilczek http://arxiv.org/abs/0708.4361

        Flavio

        You said on Sept 12 "I'm reading your essay with interest...". I hope you have, or do, as I think it may be very important in context, and am looking forward to your comments.

        Best wishes

        Peter

        Hi Tom,

        Thanks for your kind words. You're right that there are many good essays in this competition and, unfortunately, too few prizes. I had a look at your essay. It seemed like there were some interesting points but I'm not knowledgeable enough with Joy and other's work to really make detailed comments. I certainly agree with the importance of the measurement problem though.

        Good luck in the competition!

        Sean.

        Thanks for your comments Lawrence.

        I think you're right that there could be some connections with causal set theory, but there is a subtly related to your first comment. Perhaps a point that is not clear is that, in SD, we have *spatial* conformal invariance so that the relevant group is the conformal group in 3 spatial dimensions, i.e., SO(4,1). I think the connection to causal sets could be through the causal structure of de Sitter space in 3+1 dimensions, whose isometry group is also SO(4,1).

        A connection with supersymmetry in SD is hinted by the BRST algebra of the theory. This is explored in a paper by Gomes and Koslowski that you might find interesting: http://arxiv.org/abs/1206.4823. I could put you touch with those authors if you're interested.

        Cheers,

        Sean.