Rosé and A-M: Geometrization of Quantum Mechanics

[marcus]

Hi Helge, your and torsten posts are helpful. I like the words "additional connection" and also that this extra connection is a source term---like the matter in classical Einst. eqn.----and in my own head I am calling it the "extra connection" or the "critical connection" because it lives on the critical set. I still don't adequately understand but that is all right, these things take time. Nevertheless the ideas are new and exciting. I will try to improve your table using the simple "CODE" symbol we have at this forum, where you put [kode] and [/kode] around what you want to be in the table----but spell it code.
Helge you say

The form has a support which consists of the critical points of the map f - we could call this form also critical form - if you prefer.

I like this way to call it, and I wish to try it out, to hear how it sounds----so I will tentatively EDIT your post, as an experiment in rewording.

... You can make a transition from one class of solutions to another by putting a source term in this equation - i.e. the source term - matter - causes transitions between the classes of solutions.
Now, what about the reference frames? You can also build equivalence classes of reference frames - the differential structures of space-time. As torsten has shown in his first paper, a transition between DS produces an additional connection and this [is analogous to?] a source term in Einstein's eq.
So we have the following situation:

basic objects:      solutions of E-eq.          diff. structures of space-time
invariance:       classes of physical solutions     classes of  DS
transition:         source term in E-eq.        critical connection 
physical meaning:   matter                      ?

We think that the physical meaning of the transitions of DS is the same as the transition between classes of solutions of E-eq.: Matter
This is no presumption of the paper this is a consequence.
We describe this additional connection by a form and call it critical. The form has a support which consists of the critical points of the map f.
The point is, this form \phi is only non-vanishing on the critical set and represents by this the difference of DS between N, M. If N, M are diffeomorphic, there is no critical set of map f and \phi vanishes everywhere. But if N, M have different DS then the critical set of f cannot be empty and \phi has a non-empty support. You can change \phi by a coordinate transformation but in no coordinate system can you make the support empty.
This fact is expressed by the curvature of \phi: if \phi is generated by a non-diffeomorphism f between N,M then the curvature is not zero and you can not make it zero by any coordinate transformation. I.e. \phi expresses the difference in DS of N, M - independent from the choice of coordinate systems.

 

[marcus]

Thank you for this clear explanation, Helge. I don't know what's got careful's underwear in a tangle; he seems to have more animus to the very idea of diffeomeorphism change -> curvature -> matter than just hostility to your paper. His refusal to address your fine achievements and insistence on criticising from the meta level (no examples..) suggests that.
I am sure you and Torsten don't object to having your presentation in the paper critiqued. That's what a referee would do after all, and it's generally considered a positive if painful aspect of publishing. But this almost foaming at the mouth reaction is over the top.

this is one sign of an interesting fresh idea
that it shocks some people and excites frantic resistance
this already makes this thread worthwhile---and I'm really glad that H. and T. showed up to explain their paper!

BTW selfAdjoint, do you think the alternative wording "critical connection" sounds better or is more transparent than "singular connection"? Helge at some point was using this term "critical" as an alternative and it seemed to me less confusing---but I would like to know your impression.

 

[Helge Rosé]

Thank you for this clear explanation, Helge. I don't know what's got careful's underwear in a tangle; he seems to have more animus to the very idea of diffeomeorphism change -> curvature -> matter than just hostility to your paper. His refusal to address your fine achievements and insistence on criticising from the meta level (no examples..) suggests that.
I am sure you and Torsten don't object to having your presentation in the paper critiqued. That's what a referee would do after all, and it's generally considered a positive if painful aspect of publishing. But this almost foaming at the mouth reaction is over the top.

Dear selfAdjoint,

thanks for your encouragement. Indeed, we are appreciate the critique - this damned topic is complicated enough and so every comment is welcome. Careful ask why it needs 15 year - I can only say, it needs time to understand this difficult math-stuff and extract the things which could be meaningful for physics.

Our credo is simple: Try to understand nature without introduction of the "Äther" - and Äther is: 4 space-time + 6 Äther dimensions, Higgs-fields - you can't measure but it is everywhere, background metrics ... Ok careful thinks the critical form is Äther - but this is not true.

If the critical form describes a transition of DS and transition of DS is a source term in Einsteins eq. then it is physics like GRT. And more important, it is physics without additional entities - only a 4-manifold is needed. But I feel you know this and there is no need to argue.

I like to say that the feeling and discussion here is very fruitful and a great deal of inspiration- and I like to thank very much all folks here for that.

 

[Helge Rosé]

Hi Helge, your and torsten posts are helpful. I like the words "additional connection" and also that this extra connection is a source term---like the matter in classical Einst. eqn.----and in my own head I am calling it the "extra connection" or the "critical connection" because it lives on the critical set. I still don't adequately understand but that is all right, these things take time. Nevertheless the ideas are new and exciting. I will try to improve your table using the simple "CODE" symbol we have at this forum, where you put [kode] and [/kode] around what you want to be in the table----but spell it code.
Helge you say

I like this way to call it, and I wish to try it out, to hear how it sounds----so I will tentatively EDIT your post, as an experiment in rewording.

basic objects:      solutions of E-eq.          diff. structures of space-time
invariance:       classes of physical solutions     classes of  DS
transition:         source term in E-eq.        critical connection 
physical meaning:   matter                      ?

Dear marcus,

thanks for your tentative improvements and inspiring activity. I am a follower of Popper and that's why words mean nothing for me. But I appreciate it very much if you introduce terms which leads to a less level of confusion. Maybe the "singular" attribute was a mistake - generates more trouble then information. I remember a sentence of Einstein where he notes that the "singularities of the field are the particles" and so we like this term - but in this meaning it describes matter and not unphysical blow ups. I think your recommendation of "critical connection" is very good.

I think the important point is that it introduced a new kind of equivalence principle:
One one hand you may think there is only one DS and all transitions between the physical classes of solutions (of E.eq.) are caused by matter - that's the way of Einstein. On the other hand you can also think there is no matter and the transition between the diffenerent physical solutions of E.eq are caused by changing the DS of space-time. The equivalence principle is: change of DS = matter.

But indepentent of this principle (maybe it is wrong, like Careful thinks), the changes of DS are building an algebra - a Temperley-Lieb algebra - and for a special case (tau=1/2) this is the Clifford algebra of fermions. The first reason to write the paper was because this amazing fact and not because the association between transitions of DS and matter suggested by Einsteins eq.

 

[Helge Rosé]

this is one sign of an interesting fresh idea
that it shocks some people and excites frantic resistance
this already makes this thread worthwhile---and I'm really glad that H. and T. showed up to explain their paper!

BTW selfAdjoint, do you think the alternative wording "critical connection" sounds better or is more transparent than "singular connection"? Helge at some point was using this term "critical" as an alternative and it seemed to me less confusing---but I would like to know your impression.

Thanks!
-------------------

 

[selfAdjoint]

BTW selfAdjoint, do you think the alternative wording "critical connection" sounds better or is more transparent than "singular connection"? Helge at some point was using this term "critical" as an alternative and it seemed to me less confusing---but I would like to know your impression.

There does seem to be a legitimate problem between their use of singular to mean lacking an inverse and the sense of singlular as in singularity ("going to infinity") which is common in physics. Critical is perhaps a better word. The important thing is tho get to a language that clearly expresses this new insight in physics research.

 

[selfAdjoint]

I think the important point is that it introduced a new kind of equivalence principle:
One one hand you may think there is only one DS and all transitions between the physical classes of solutions (of E.eq.) are caused by matter - that's the way of Einstein. On the other hand you can also think there is no matter and the transition between the diffenerent physical solutions of E.eq are caused by changing the DS of space-time. The equivalence principle is: change of DS = matter.

But indepentent of this principle (maybe it is wrong, like Careful thinks), the changes of DS are building an algebra - a Temperley-Lieb algebra - and for a special case (tau=1/2) this is the Clifford algebra of fermions. The first reason to write the paper was because this amazing fact and not because the association between transitions of DS and matter suggested by Einsteins eq.

I think this aspect is why I myself respond to positively to your research: The ability to derive an "Einsteininan" account of quantized matter, using his materials plus just the new mathematics of exotic differential structures that was unavailable to him. Beyond that, a road to quantization that comes from the "analytical" tradition, as a complement to the one from the lattice/triangulation tradition is welcome.

A question (perhaps stupid). As it actually worked out, Einstein's equations concerned not "matter" but the momentum energy tensor. Does your extra curvature term caused by the critical shift lend itself to this represenation? Or has there been any work in this direction that you know of?

 

[Mike2]

I think the important point is that it introduced a new kind of equivalence principle: One one hand you may think there is only one DS and all transitions between the physical classes of solutions (of E.eq.) are caused by matter - that's the way of Einstein. On the other hand you can also think there is no matter and the transition between the diffenerent physical solutions of E.eq are caused by changing the DS of space-time. The equivalence principle is: change of DS = matter.

But indepentent of this principle (maybe it is wrong, like Careful thinks), the changes of DS are building an algebra - a Temperley-Lieb algebra - and for a special case (tau=1/2) this is the Clifford algebra of fermions. The first reason to write the paper was because this amazing fact and not because the association between transitions of DS and matter suggested by Einsteins eq.

Perhaps Careful's objection is not that a change in DS is accomplished with additional matter terms in Einstein's eq. But his objection may be that there does not seem to be a reasonable mechanism explained in the paper for the change in the DS in the first place to give rise to matter - just that IF there were changes in the DS's, then it has a Hilber space algebra, etc. What then is the mechanism for these changes in the DS to begin with?

I don't understand it all yet, but perhaps there is a mechnism that does give rise to matter as singularities such that then this business with DS give the right algebra and matter terms. I consider that there may be an overriding entropy prinicple involved. Then by arXiv:math.DS/0505019 v1 2 May 2005, singularities appear in an expanding universe. Obviously, the universe must expand if it has a beginning. So it is accompanied by singularities/matter, which must have the right algebra and curvatures.

 

[selfAdjoint]

don't understand it all yet, but perhaps there is a mechnism that does give rise to matter as singularities such that then this business with DS give the right algebra and matter terms. I consider that there may be an overriding entropy prinicple involved. Then by arXiv:math.DS/0505019 v1 2 May 2005, singularities appear in an expanding universe. Obviously, the universe must expand if it has a beginning. So it is accompanied by singularities/matter, which must have the right algebra and curvatures.

As far as I could see, Mike, that paper concerns piecewise affine maps, not differential structures. Is there something I am missing?

 

[Helge Rosé]

A question (perhaps stupid). As it actually worked out, Einstein's equations concerned not "matter" but the momentum energy tensor. Does your extra curvature term caused by the critical shift lend itself to this represenation? Or has there been any work in this direction that you know of?

Yes, in E.eq matter is represented by the momentum energy tensor. (If I speak about matter in this context I mean the M-E-Tensor)
The additional term in the E.eq. is obtaint as follows (see torsten, gr-qc/9610009)
The change of DS is expressed by the change of connection \phi
\omega^\prime = \omega + \phi
This connection change causes a change in the Ricci-Tensor \Delta RIC and scalar curvature \Delta R (see gr-qc/9610009, eq. (22), (23))
i.e. you get a additional term in E.eq \Delta RIC + \Delta R.
This term represents the change of geometrie (curvature) caused by the DS change. You may bring this term on the right hand side of the vacuum E.eq and identify it as source term of the E.eq. , i.e as a expression for the M-E-tensor.
This identification is a hypothesis: "the M-E-Tensor is explainable by a geometry change caused by a DS transition" which has the consequence that you don't need second theory (like Einstein, e.g. Electrodynamics) to explain the origin of M-E-Tensor - the origin of M-E-Tensor is the geometry of space-time itself.

 

[Helge Rosé]

Perhaps Careful's objection is not that a change in DS is accomplished with additional matter terms in Einstein's eq. But his objection may be that there does not seem to be a reasonable mechanism explained in the paper for the change in the DS in the first place to give rise to matter - just that IF there were changes in the DS's, then it has a Hilber space algebra, etc. What then is the mechanism for these changes in the DS to begin with?
I don't understand it all yet, but perhaps there is a mechnism that does give rise to matter as singularities such that then this business with DS give the right algebra and matter terms. I consider that there may be an overriding entropy prinicple involved. Then by arXiv:math.DS/0505019 v1 2 May 2005, singularities appear in an expanding universe. Obviously, the universe must expand if it has a beginning. So it is accompanied by singularities/matter, which must have the right algebra and curvatures.

Dear Mike, I hope I understand the meaning of your question: What is the reason (the cause) for a DS change?

Physics can not explain the reason for that like it can not explain: why is matter or why is space-time. The point is:

GRT says: if there is matter then it causes a curvature of space-time, i.e. a grav. field.

We say: if there is DS change then it causes a curvature of space-time, i.e. a grav. field.

But if we agree in the principle:

the meaning of term "matter" is: a entity that causes a grav. field

then a DS change is such a grav. generating entity and we can say: a DS change is identical (not mere caused by) with matter. (the same situation as in: energy = mass, grav field = accelerated reference frame)

 

[Careful]

Dear Mike, I hope I understand the meaning of your question: What is the reason (the cause) for a DS change?

I think you understood me (and probably mike too) wrong. I asked about the possibility for a dynamics to be constructed which *generates* change of differentiable structure. This question was connected to your claim that you generate singular three surfaces which need the interpretation (by HAND) of a spacelike three surface associated to a matter distribution (say elementary particle). At that moment, I suggested : ``but what about the singular world 4 tube ? ´´, ``how to find a determinstic mechanism which allows for change of differentiable structure ?´´ since classically you would expect this already to be necessary (clutting of matter and so on). These objections have been left unanswered so far

Concerning the reference to the 96 torston paper (I note that I still did not receive a definition of a singular connection here), let me ask some silly questions. For example at page 3, a map h: M -> N is constructed where M is an exotic 7 sphere and N the ordinary S^7, which is singular at one point, say x_0. You endow M and N with smooth Riemannian metrics, choose smooth frames e (in M) and f (in N) and claim that you can select the Riemannian metrics in such a way that dh(e)(x) = a(x) .f(h(x)) where a(x) is a S0(7) transformation in the specific orthogonal bundle over N related to coordinates in M. This seems wrong to me since dh(e)(x_0) = 0 and hence a(x_0) = 0 (could you clarify this??) which would lead to a zero curvature contribution (if I were to believe formula 9). Perhaps, I missed something but anyway...

Concerning the ``complex´´ curvature the authors get on page 10 in their example. It seems to me that they forgot to take the complex conjugate expression (a tangent basis in D^2 consists of d/dz and d/dz* which leads to matrix ( pz^{p-1} 0 )
( 0 pz*^{p-1})

and a^{-1} da = ( (p-1)dz/z 0 )
( 0 (p-1)dz*/z*)
(notice that there is NO division through p - these factors cancel out.) Since the authors are only interested in the trace, this gives:

(p-1)dz/z + (p-1)dz*/z*

which (in polar coordinates) gives : 2(p-1) dr/r which gives rise to zero curvature (at least when I would naively take the line integral of this around a circle).

I hope I made it more clear now why I insist upon a rigorous definition and example of a distributional connection related to a change of differentiable structure! I think this hardly classifies as ``frantic resistance´´.

Cheers,

Careful

 

[selfAdjoint]

I think you understood me (and probably mike too) wrong. I asked about the possibility for a dynamics to be constructed which *generates* change of differentiable structure. This question was connected to your claim that you generate singular three surfaces which need the interpretation (by HAND) of a spacelike three surface associated to a matter distribution (say elementary particle). At that moment, I suggested : ``but what about the singular world 4 tube ? ´´, ``how to find a determinstic mechanism which allows for change of differentiable structure ?´´ since classically you would expect this already to be necessary (clutting of matter and so on). These objections have been left unanswered so far

There are obviously questions raised by this research, such as: according to theorems there are countably many differential structures, but we observe only a finite, and very specific, particle spectrum. What gives? This has been the bete noir of the string theorists. The mechanism for the origin of these curvatures can be pushed back to the big bang, or whatever, but we need a particle dynamics. All this will be a research program for the future.

Concerning the reference to the 96 torston paper (I note that I still did not receive a definition of a singular connection here), let me ask some silly questions. For example at page 3, a map h: M -> N is constructed where M is an exotic 7 sphere and N the ordinary S^7, which is singular at one point, say x_0. You endow M and N with smooth Riemannian metrics, choose smooth frames e (in M) and f (in N) and claim that you can select the Riemannian metrics in such a way that dh(e)(x) = a(x) .f(h(x)) where a(x) is a S0(7) transformation in the specific orthogonal bundle over N related to coordinates in M. This seems wrong to me since dh(e)(x_0) = 0 and hence a(x_0) = 0 (could you clarify this??) which would lead to a zero curvature contribution (if I were to believe formula 9). Perhaps, I missed something but anyway...
Concerning the ``complex´´ curvature the authors get on page 10 in their example. It seems to me that they forgot to take the complex conjugate expression (a tangent basis in D^2 consists of d/dz and d/dz* which leads to matrix ( pz^{p-1} 0 )
( 0 pz*^{p-1})
and a^{-1} da = ( (p-1)dz/z 0 )
( 0 (p-1)dz*/z*)
(notice that there is NO division through p - these factors cancel out.) Since the authors are only interested in the trace, this gives:
(p-1)dz/z + (p-1)dz*/z*
which (in polar coordinates) gives : 2(p-1) dr/r which gives rise to zero curvature (at least when I would naively take the line integral of this around a circle).

I am sure these questions can be addressed. As I said before, careful critique is not at all objectionable.

I hope I made it more clear now why I insist upon a rigorous definition and example of a distributional connection related to a change of differentiable structure! I think this hardly classifies as ``frantic resistance´´.

It wasn't the requests for clarification but the insults ("sloppily written") that grated. The paper is up to the usual standards of preprint writing. Yes it will benefit by reconstructing some parts based on your remarks, but some of your comments seemed to demand they conduct a decade-long research program before publishing. Some physicists may work that way (Veltzmann comes to mind), but it is certainly not the community norm.

 

[Helge Rosé]

I think you understood me (and probably mike too) wrong. I asked about the possibility for a dynamics to be constructed which *generates* change of differentiable structure. This question was connected to your claim that you generate singular three surfaces which need the interpretation (by HAND) of a spacelike three surface associated to a matter distribution (say elementary particle). At that moment, I suggested : ``but what about the singular world 4 tube ? ´´, ``how to find a determinstic mechanism which allows for change of differentiable structure ?´´ since classically you would expect this already to be necessary (clutting of matter and so on). These objections have been left unanswered so far

Dear Careful,

thanks, this was a very constructive comment and I understand your intension much better. You are absolutely right, a dynamics, i.e. a field eq. is needed - but the truth is: we don't have it, yet. As I mention before the paper only deals with the "kinematics".

We have ideas to the field eq. which will determine the dynamics of the DS but that's are only ideas, we have wait for a settle down. Sorry but you know, also in very good developed and intuitive LQG the solving of the Hamilton-constrain is the ultimative goal and hard work.

We have the feeling it is possible to derive a field eq. from a variation principle und get a quantum field eq. and also the Einstein eq. from one DS -action - but at the moment I have no words to explain it.

 

[Careful]

**There are obviously questions raised by this research, such as: according to theorems there are countably many differential structures, but we observe only a finite, and very specific, particle spectrum. **

Well, I wouldn't worry about that ! I expect this particle spectrum to grow and grow when we get to higher and higher energies and I certainly DO welcome any effort which looks for ONE mechanism behind all substance (I myself do entertain such thoughts also). However, the questions I adress now are of a TECHNICAL level and the authors should have a good idea how to give a plausible explanation to these.


** I am sure these questions can be addressed. As I said before, careful critique is not at all objectionable. **

I am not so sure about that, but I would welcome any good explanation which I did not get so far.

** It wasn't the requests for clarification but the insults ("sloppily written") that grated. The paper is up to the usual standards of preprint writing. Yes it will benefit by reconstructing some parts based on your remarks, but some of your comments seemed to demand they conduct a decade-long research program before publishing. Some physicists may work that way (Veltzmann comes to mind), but it is certainly not the community norm **


Sorry, but that is exactly the reason why so much crap is written and we should not encourage this at all. Moreover, torsten and Helge face the more difficult task that they have to introduce a new (for physicists) technique. For example: sometimes I have the feeling that they bring in too much technicalities without explaining (and this does not need to take more than a few lines) why such line of thought is preferred. In my view, they should really consider doing things more stepwise, rigorous and example oriented and even sometimes leave away some generalizations. This would at most double the size of the paper. A good example in this respect is the style taken by Milnor (extremely clear, concise and deep).

Moreover, there are still the difficulties I raised.

Cheers,

Careful

 

[Careful]

We have ideas to the field eq. which will determine the dynamics of the DS but that's are only ideas, we have wait for a settle down. Sorry but you know, also in very good developed and intuitive LQG the solving of the Hamilton-constrain is the ultimative goal and hard work.

We have the feeling it is possible to derive a field eq. from a variation principle und get a quantum field eq. and also the Einstein eq. from one DS -action - but at the moment I have no words to explain it.

Well, in my opinion the H-constraint problem is unsolvable; something which is well known to be true in the old geometrodynamics approach and I fail to see how introducing new variables can lead to any substantial progress (since the problem is really of a geometrical nature).

Let's assume for sake of the argument that a change of DS gives new physics (I am not convinced yet). I repeat that I fail to see how differential equations; which live on one differentiable structure can give rise to a *change* of the latter.

Cheers,

Careful

 

[selfAdjoint]

Well, in my opinion the H-constraint problem is unsolvable; something which is well known to be true in the old geometrodynamics approach and I fail to see how introducing new variables can lead to any substantial progress (since the problem is really of a geometrical nature).

Have you noticed Thiemann's Master Constraint Program? If you have, and care to comment on it, perhaps we could start a new thread.

 

[Careful]

Have you noticed Thiemann's Master Constraint Program? If you have, and care to comment on it, perhaps we could start a new thread.

Yes, I have noticed; although I did not read up with it (was it not replacing H by ``M = integral over H^2/volume ´´ and noticing that M commutes with itself and the spatial diffeo constraints and that there is an a.e equivalence between the observables *on* shell ?). It seems a cute trick (apart from the sacrifice that the constraint is fourth order in the connection) to obtain an a.e. equivalent set of constraints which *classically* forms an algebra which closes of shell. Notice however that the latter achievement for the *diffeomorphism* constraint algebra was already obtained (albeit in a more complicated way) in the old paper of Isham and Kuchar (1984). But, I admit that at first sight, the problems associated with the Kuchar proposal as well as the traditional H - constraint proposal are circumvented (and I was only commenting upon these).
If someone could tell me in a new thread if this program made any substantial progress already on a technical level, then I would be happy to learn about this.

However, it remains to be seen wether spacetime covariance is recovered in the classical limit. Moreover, I have many troubles with the way observables are treated: it seems you will only be able to speak about global spacelike averaged quantities (such as the average spatial curvature, volume, black hole area) unless you invoque a (arbitrary ?) couloring of ``points´´ in different spaces (there exist no ``points´´ in LQG as well as in causal dynamical triangulations - and there averaged observables are all you have access to). Unnecessary to say that this is entirely *unrealistic* (you give up locality on *any* scale) and it seems an almost impossible task to rigorously define what you mean with a semiclassical state which has a suitable notion of locality in it *without* making use of some or another background (some of these are very old problems even in standard quantum theory).

 

[selfAdjoint]

This is OT; I'll get some updated info on the Master Constraint Program and start a new thread. But I have to say about "no points" that I regard that as a feature not a bug. Given the problems that microscopic locality has caused, and the strange postures theoretical physicsts have got themselves into to circumvent its consequences, I think that regarding locality, like covariance, as emergent is an advantage. After all, neither you nor any experiment has ever demonstrated a point!

 

[Helge Rosé]

I repeat that I fail to see how differential equations; which live on one differentiable structure can give rise to a *change* of the latter.
Cheers,
Careful

As I said, we have no eq. at the moment - only conjectures - but I'm sure you would say to that: speculative, no examples, etc... So it is better we first complete the next paper which will deal with the dynamics of DS and then start the discussion. I hope we will manage your good advice and put more examples in it.

Some words to the term "dynamics":

The problem with a covariant 4d description, like Einsteins eq., is that there is no dymanics - i.e. no time-evolution of a state. Here we have only a field eq. - and a given matter-distribution gives a metric as solution. By this past and future are determined. Popper call this the Parmenidis block universe and in a discusion Einstein agreed - there is no time-evolution.

But quantum mechanics has a concept of time: the future is only determined up to probabilities, past is determined by the result of measurements, i.e. by certain values of observables.

I think it is important to involve this time-concept of QM without lost the covariance. If you ad hoc global split the 4-MF (like in LQG) you get a time but you forget the covariance.

What we need is a natural splitting and the DS seems to support it: the critical curvature (from the critical 1-from) is a covariant 4d entity and determines the DS. But you can also use the 3d-support and by this you have a natural 3+1 split - but not a global split, you have a local split given for every 3d-support along the time line. The dynamics is that evolution of the 3d-support in the "4d tube".

I believe there is also a covariant 4d field eq. for the DS-curvature (and the E.eq is special case) but this eq. determines (without a meaning of time) the 4d-global DS - it only determines the probability part of information of the whole future - like a wavefunction. But measurement happens local and in 3d and here we have the spliting, time and a dynamics of 3MF (the particles).

 

[Careful]

This is OT; I'll get some updated info on the Master Constraint Program and start a new thread. But I have to say about "no points" that I regard that as a feature not a bug. Given the problems that microscopic locality has caused, and the strange postures theoretical physicsts have got themselves into to circumvent its consequences, I think that regarding locality, like covariance, as emergent is an advantage. After all, neither you nor any experiment has ever dmonstrated a point!

That is not the issue: call it ``point´´, Planck scale ``volume´´ or whatever but we can make that discussion in the other thread.

Cheers,

Careful

 

[Careful]

** in Einstein equations, there is no dynamics, no evolution of state **

Classically, one is in realistic solutions able to find dynamically preferred time functions (of course I am aware that this is not the generic situation, but our universe is after all very special ! ) and associated slices of constant time. So, in those situations, there is a clear Hamiltonian evolution of the spatial metric (you choose a *physical* gauge and thereby fix the lapse and the shift vector).

There is no consensus what to do quantum mechanically. In causal dynamical triangulations for example, a kinematically generated candidate T exists (the rescaled counting time associated to the ``hypersurfaces´´) and the Hamiltonian is non vanishing (the wave function depends on T and so forth) which begs for the question wether covariance is recovered in ``the classical limit´´´. In LQG the H constraint is unsolvable and attention has now turned towards the M constraint in which a preferred notion of simultaneity is present (since the hypersurfaces are fixed).

**
I think it is important to involve this time-concept of QM without lost the covariance. If you ad hoc global split the 4-MF (like in LQG) you get a time but you forget the covariance.
**

?? Not at all: classically, covariance is in the Dirac algebra; quantum mechanically the H-constraint cannot be solved, but the M constraint is solvable. It remains to be seen whether covariance is recuperated in a suitable classical limit (since it is not eminently present in the M constraint quantized theory).

About the rest: I am still waiting for a definition of singular connection and an explicit comment on my questions/remarks concerning *your* examples. I do not see yet how additional curvature source terms are generated (and certainly *no* complex ones ) but that is probably my mistake I presume.

 

[Kea]

...by the way, notice that in LQG these results are obtained WITHOUT the introduction of matter...

Er...on a new thread, would you mind explaining how a theory without matter is more physical than the Torsten and Helge work? Your criticism of the Brans' papers seems pertinent. Have you looked at the papers of Krol?

Reiterating others' remarks: your constructive remarks are greatly appreciated.

 

[Careful]

Er...on a new thread, would you mind explaining how a theory without matter is more physical than the Torsten and Helge work? Your criticism of the Brans' papers seems pertinent. Have you looked at the papers of Krol?
Reiterating others' remarks: your constructive remarks are greatly appreciated.

Just gave it a quick look (especially for you ) and he refers to Torsten concering this issue (of showing that a change of diff structure generates curvature). So, we are turning in ``loops´´; but I am sure that Torsten is going to clarify my silly objections concerning his examples in the 1996 and 2005 paper.

 

[Mike2]

We say: if there is DS change then it causes a curvature of space-time, i.e. a grav. field.

If GR is derived from the changes in DS, then should there be a mechanism for negative curvature as well as positive? You've seem to have covered matter with a point particle, but what about photons?

I wonder... they might be invariant wrt to diffeomorpism of different frames of velocity, but what about acceleration? The Unruh effect predicts a temperature with acceleration (and therefore the particles that produce the temperature). So if changes in accelerated frames produce particles, then perhaps changes in accelerations can produce the changes in the DS's which cause matter. And since acceleration can be both positive and negative, this might produce both positive and negative curvature so that we can still consider all possible cosmologies. Then again, it might be possible that I don't know what I am talking about. Good luck.

 

[torsten]

Just gave it a quick look (especially for you ) and he refers to Torsten concering this issue (of showing that a change of diff structure generates curvature). So, we are turning in ``loops´´; but I am sure that Torsten is going to clarify my silly objections concerning his examples in the 1996 and 2005 paper.

Hallo Careful,
at first thanks for your time in waiting on the definition of a singular connection. I need the time to look into all the relevant papers. But here is the extract:
Let E,F be vector bundles of equal rank over the manifold M and a smooth bundle map \alpha:E\to F. Let D_E,D_F be connections on E and F, respectively. Furthermore we introduce a metric on the fibers so that we are able to define the adjoint \alpha^*. The map \alpha admits singularities along a subset \Sigma\subset M, i.e. the set where the map \alpha is not injective. Outside of the singular set we can define the inverse map \alpha^{-1} or a map \beta=(\alpha^* \alpha)^{-1}\alpha^*:F\to E which serve as the inverse. Instead of finding the singular connection directly one considers an approximation. By an approximate one we mean a function \chi which satisfies the following properties: \chi:[0,\infty]\to [0,1] which is C^\infty on [0,\infty] and satisfies \chi(0)=0,\chi(\infty)=1 and \chi'\ge 0. Now we consider the parameter family \beta_s=(\alpha^*/s^2)\rho(\alpha\alpha^*/s^2) where \rho(t)=\chi(t)/t. Now Harveay and Lawson proof that \beta_s converges for s\to 0 to \beta uniformly in M-\Sigma and pointwise in \Sigma. Obviously every diffeomorphism changes the function \chi but don't change the properties of that function. The singular connection is the connection D_0 coming from the limit of the connection D_s=\alpha D_E\beta_s+D_F(1-\alpha\beta_s). A good reference is the paper by Nair in dg-ga/9702017.
That is enough for today. I will try to give an example later.
Torsten

 

[selfAdjoint]

From the Nair paper, "singular on \Sigma" means "many-to-one" (i.e., not injective) on \Sigma.

 

[torsten]

From the Nair paper, "singular on \Sigma" means "many-to-one" (i.e., not injective) on \Sigma.

Ok right, try the original paper of Harvey and Lawson math.DG/9407216.

 

[Careful]

The singular connection is the connection D_0 coming from the limit of the connection D_s=\alpha D_E\beta_s+D_F(1-\alpha\beta_s). A good reference is the paper by Nair in dg-ga/9702017.
That is enough for today. I will try to give an example later.
Torsten

I understand what is written above (actually this theorem of Harvey and Lawson is pretty easy to see) but let me treat some stuff in detail. In the paper dg-ga/9702017, E and F are (let's restrict to real) vector bundles of the same rank over one differentiable manifold X, \alpha being a bundle map. It is assumed that the bundle map is singular upon a submanifold \Sigma and that there is a Riemannian metric on each bundle which allows for the definition of the conjugate \alpha^*. I shall first comment upon these issues and then apply it to your paper.

D is defined as D = \alpha D_E \beta + D_F (1 - \alpha \beta) where \beta = (\alpha^* \alpha)^(-1) \alpha^*. In case both Riemannian metrics are the same (in the obvious sense), \alpha \beta is the orthogonal projection operator on the image of \alpha and therefore does depend upon the choice of Riemannian metric (unless im(\alpha) = 0); actually the entire expression D does. So, it is not fair to say that this holds for fibre bundles E and F; since there is lot's of more structure involved.
Now, suppose for the moment that we can apply this in your case; on \Sigma, your \alpha = 0 as is the \beta involved, therefore D = D_F . On X - \Sigma, D= \alpha D_E \alpha^{-1}. As said, this is the *only* exceptional case where D does not depend upon the metrics involved. Now, a bundle covariant derivative depends upon three indices, a covariant one depending upon the base manifold X and a covariant and contravariant one depending upon the fiber; in mathematical terminology, a bundle connection is a special map of the smooth smooth sections from X to E, to the smooth sections of X to E \tensor T*X. \alpha can only transform the E part and leaves the T*X part invariant.

Now, in your case you have TM and TN which are different fibre bundles over *different* base differentiable manifolds (M is not equal to N!). So, you still have to pull back differential forms from N to M using f (which is trivial and this is where a difference with the above construction is made !). Hence, your D should be an object which maps smooth sections of f*(TN) over M to smooth sections of M to f*(TN) \tensor T*M:

(i) (D(V))(W)(x) = (df (D_{M}(V(x))) (df)^{-1}) W(f(x)) on M - \Sigma
(ii) (D(V))(W)(x) = (D_{N} (df(V)(x)) ) ( W(f(x)) ) = 0 (!) on \Sigma

for V \in TM and W a section of M to f*(TN). Now if D_{M} is a connection of zero curvature, then (ii) implies that D is also ! The calculation with V,W \in TM and Z in f*(TN):
(i) R(V,W)Z(x) = 0 for x \in M - \Sigma (obviously)
(ii) R(V,W)Z(x) = 0 since D_{N}(df(V)(x)) = D_{N}(0) is a null transformation (which is generically not the case in the paper dg-ga/9702017). It is true that (D(W))(Z) is not a smooth section of M to
f*(TN) but that does *not* affect the conclusion, the corresponding operation (however you wish to define it) should still be linear in df(V)(x) and hence zero.

So, it seems to me that I have proven that there is no curvature added.

However, there is a further point which I tried to make in the beginning: how are you going to compare two connections on different manifolds (non equivalent differentiable structures) in a way which is invariant with respect to diffeo's on *both* manifolds as well as invariant wrt to any other kind of structure involved? A similar question is: how to compare two metrics on different manifolds?? A simple question which is notoriously difficult to answer *without introducing a background frame* and therefore by no means as simple as you suggest (books by great people such as Gromov have been written about this) !

 

[selfAdjoint]

D is defined as D = \alpha D_E \beta + D_F (1 - \alpha \beta) where \beta = (\alpha^* \alpha)^(-1) \alpha^*. In case both Riemannian metrics are the same (in the obvious sense), \alpha \beta is the orthogonal projection operator on the image of \alpha and therefore does depend upon the choice of Riemannian metric (unless im(\alpha) = 0); actually the entire expression D does. So, it is not fair to say that this holds for fibre bundles E and F; since there is lot's of more structure involved.

? Surely the inner product in a Riemannian geometry is tensorial? So the definition of conjugacy is too? And therefore the statements remain true even though the elements in them change with diffeomorphism equivalent frames. And when you lift these covariant statements to the tangent spaces in the two frames you get cvorrsponding geometric statemnts: two vectors and a projection are correct in both cases though the vectors are different. Not so?