Information Preservation in Quantum Gravity

Lawrence B. Crowell
Messages
190
Reaction score
2
This is the start of a presentation of some work I have done over the past year and hope to publish. This is how it is that quantum information is preserved in quantum gravity and cosmology. This will involve a number of posts along this thread. The next three posts involve quantum information with black holes
//
The conservation of information from black hole radiance has an unsettled history. The initial indications were that information is lost. Yet a formalism of a consistent quantum theory of gravity with information loss is difficult, for such a theory would have to be nonunitary. In a bet recently Hawking conceded to Preskill that information was preserved in black holes. Information would then not be destroyed, but rather scrambled in such as way as to make its retrieval intractably impossible. A tunnelling approach to quantum radiance by Parikh and Wilczek [1] suggests that the process in total has \Delta S~=~0, but as recently pointed out in [2] this is the case where the black hole and environment are in thermal equilibrium. However, the negative heat capacity of spacetime means that a black hole slightly removed from equilibrium is unstable and will diverge from equilibrium. This is seen with the evaporation of a black hole, where as its entropy \Delta S_{bh}~\rightarrow~0 its temperature becomes large. Thus the Parikh-Wilczek tunnelling theory appears to be a “ measure zero” case.
//
A tunnelling process involves an action which is not accessible classically. With the tunnelling of a particle through a square barrier, this involves an imaginary momentum or action. In the case of a tunnelling of a particle from a black hole M~\rightarrow~M~+~\delta m, this involves the imaginary part of the action
<br /> ImS~=~Im\int_{r_i}^{r_f}p_rdr.\eqno(1)<br />
The Hamilton equation {\dot r}~=~{{\partial H}\over{\partial p}} permits this to be written as
<br /> ImS~=~Im\int_{r_i}^{r_f}\int_{p_i}^{p_i}{{dr}\over {\dot r}}dH.\eqno(2)<br />
Along null geodesics the velocity {\dot r}~=~\pm 1~+~\sqrt{2M/r} the action for the classically forbidden path is
<br /> Im S~=~-2\pi\int_0^{\delta m}{{dr~dm}\over{1~+~\sqrt{{2M~-~\delta m}\over r}}}~=~-2\pi\big((M~-~\delta m)^2~-~M^2\big),\eqno(3)<br />
which defines -{1\over 2}(S_f~-~S_i). The imaginary part of the action gives the tunnelling probability or emission rate as \Gamma~=~exp(-2ImS)~=~exp(\Delta S). For a black hole in equilibrium with the environment the entropy remains on average zero, for with every quanta it emits it will on average absorb another from the environment. dM~=~dQ as the first law of black hole thermodynamics with dS~=~{{dQ}\over T} holds for a reversible process. However, the fluctuations will eventually cause the black hole to diverge from equilibrium, where no matter how small this is it will cause the black hole radiance to diverge, or for the black hole to acquire larger mass arbitrarily. Any change in the state of the black hole, whether by emission or absorption, perturbs the black hole from equilibrium.
//
There are a number of physical ways that black hole radiance are presented. A black hole emits a particle since the quanta which make up a black hole have some small but nonzero probability of existing in a region r~&gt;~2M. Another interpretation is that virtual electron-positron pairs near the event horizon may permit one in the pair to fall into the hole while the other escapes to infinity. This view is equivalent to saying that an electron or positron propagates backward through time from the black hole and is then scattered into the forward direction by the gravity field. A related interpretation has that the creation of a positive mass-energy particle is associated with the creation of a negative mass-energy particle absorbed by the black hole. As a result the black hole’ s mass is reduced and a particle escapes. In the case of fermions this is in line with Dirac’ s original idea of the anti-particle with a negative mass-energy. In all of these cases there is a superposition principle at work. Quanta within the black hole are correlated with quanta in the exterior region. How these quanta are correlated is the fundamental issue. The imaginary action is a measure of the nonlocal correlation a particle in the black hole has with the outside world. In the case of equilibrium with TdS~=~dM the black hole exchanges entropy with the environment so that the total information of the black hole and environment remains the same. Yet in general the radiance of a black hole will heat up the environment so that dS~&gt;~{{dM}\over T}, and the same is the case of the black hole absorbs mass-energy.
//
A black hole will absorb and emit observables, where if information is preserved these observables will have a corollation. The corollation will reflect a quantum process which is unitary, or that the emitted observables are nonlocally entangled with the black hole states in such as way as to preserve information. If information is preserved by a black hole, then in principle a black hole is an efficient teleporter of quantum information. Here the black hole is shown to ultimately preserve quantum information even for the case that dS~&gt;~{{dM}\over T}.
//
The standard “ Alice and Bob” problem is considered. Alice has the set of observables A, which she communicates to Bob in a string x_1x_2\dots x_n. Bob similarly has the string y_1y_2\dots y_n. The von Neumann information each possesses is then S(X)~=~-Tr(\rho_X~log_2\rho_X), for X either A or B. The entropy of each is then a compartmentalization on \rho_{AB} for the total quantum information both possesses and \rho_{A}~=~Tr_B(\rho_{AB}) and \rho_B~=~Tr_A(\rho_{AB}). Here the trace is over the part of the Hilbert space for Alice or Bob to project out the density operator for Bob or Alice. The density operator \rho_{AB} then defines the joint entropy
<br /> S(AB)~=~-Tr(\rho_{AB}~log_2\rho_{AB}).\eqno(4)<br />
If Alice transmits her string x_1x_2\dots x_n to Bob this defines the conditional information or entropy S(A|B) as the information communicated by Alice given that Bob has y_1\dots y_n defined as
<br /> S(A|B)~=~S(AB)~-~S(B).\eqno(5)<br />
If Alice sends this string into a black hole, this is the entropy measured by Bob as measured by the quantum information the black hole emits. The conditional entropy may be defined by a conditional von Neumann entropy definition
<br /> S(A|B)~=~-Tr(\rho_B\rho(A|B)~log_2\rho(A|B)~=~-Tr(\rho_{AB}log_2\rho_{A|B}),\eqno(6)<br />
where \rho_{A|B}~=~lim_{n\rightarrow\infty}\big({\rho_{AB}}^{1/n}({\bf 1}_A\otimes\rho_B)^{-1/n}\big)^n. Here {\bf 1}_A is a unit matrix over the Hilbert space for Alice’ s quantum information. This means that the entries of \rho_{A|B} can be over unity, which also means that the information content of conditional entropy can be negative as well [3]. Thus quantum information can be negative, in contrast to classical information. The conditional entropy determines how much quantum communication is required to gain complete quantum information of the system in the state \rho_{AB}.
//
When the conditional entropy is negative Alice can only communicate information about the complete state by classical communication. The sharing of -S(A|B) means that Alice and Bob share an entangled state, which may be used to teleport a state at no entropy cost. The negative quantum information is then the degree of “ ignorance” Bob has of the quantum system which cancels out any future information Bob receives. The “ hole” that Alice fills in Bob’ s state ignorance amounts to a merging of her state with Bob’ s.
 
Physics news on Phys.org
Information Preservation in Quantum Gravity II

This is the full presentation on information preservation in quantum gravity.
 

Attachments

The Hamiltonian for gravity

Hello Lawrence:

Let me ask a basic question. I thought there was a problem writing out the Hamiltonian for general relativity. If it was straightforward, there would be no need for all the struggles with quantum gravity in the first place.

For all other areas of physics where things are working well, the Hamiltonian can be found by direct calculation if the Lagrange density is known:
H=\pi^{\mu}\frac{\partial A_{\mu}}{\partial t}-\mathcal{L}
Hilbert figured out the Lagrangian back in 1915. The problem as I understand it, is that for any point in spacetime, one could choose a coordinate system so that energy was zero there but not everywhere, known as the Riemann normal coordinates. This is the energy localization problem for general relativity. This is accepted as an interesting insight into gravity, not a deadly technical flaw of general relativity.

Personally, I do not think the underlying math of gravity should somehow be different from the rest of physics. It is a BIG RED FLAG if calculating the Hamiltonian is somehow different on a technical level for gravity than every other working theory in physics.

doug
 
sweetser said:
Hello Lawrence:

Let me ask a basic question. I thought there was a problem writing out the Hamiltonian for general relativity. If it was straightforward, there would be no need for all the struggles with quantum gravity in the first place.

For all other areas of physics where things are working well, the Hamiltonian can be found by direct calculation if the Lagrange density is known:
H=\pi^{\mu}\frac{\partial A_{\mu}}{\partial t}-\mathcal{L}
Hilbert figured out the Lagrangian back in 1915. The problem as I understand it, is that for any point in spacetime, one could choose a coordinate system so that energy was zero there but not everywhere, known as the Riemann normal coordinates. This is the energy localization problem for general relativity. This is accepted as an interesting insight into gravity, not a deadly technical flaw of general relativity.

Personally, I do not think the underlying math of gravity should somehow be different from the rest of physics. It is a BIG RED FLAG if calculating the Hamiltonian is somehow different on a technical level for gravity than every other working theory in physics.

doug
Hello Doug
What do you think about Arnowitt, Deser and Misner (ADM) 3+1 Form for solving the problem
http://www.tat.physik.uni-tuebingen.de/~koellein/bericht-WEB/node19.html
 
Last edited by a moderator:
The ADM-split of the Einstein field equations into 3 dimension of space, and one for time, is not relevant to the issue I raised. ADM is used by people who do numerical relativity, stuff like the path followed by a nuetron star spiralling into a black hole. I think it shines no light on finding the Hamiltonian.

The gauge symmetry in my GEM proposal is different from that found in GR and GEM, so you would have to go that thread and see if you understand my viewpoint (it is not appropriate to go into details in Lawerence's thread. I hope he is OK, as I have not seen him around these pages for a while).

doug
 
sweetser said:
The ADM-split of the Einstein field equations into 3 dimension of space, and one for time, is not relevant to the issue I raised. ADM is used by people who do numerical relativity, stuff like the path followed by a nuetron star spiralling into a black hole. I think it shines no light on finding the Hamiltonian.

doug
Thanks for the precision...I admit I am a little rusty after some months out of the discussion.
I need to refresh some notions about your theory.
 
responses

I have not been here for a while. I thought I would return to see what has been up.

The lagrangian for GR is the Hilbert-Palatini action which is of the form

L = sqrt{g} k^{-1}R,

where k = 8piG/c^4. If one is involved with issues of inflation this constant is replaced by k^{-1} ---> k^{-1} + phi^2/6, where phi also obeys a Higgian field equation.

In the space plus time approach the action is

S = sqrt{g}pi_{ab}dg^{ab} - NH - N_iH^i

where H = 1/2pi^{ab}pi_{ab} - R^{(3)} and H_i = nabla_jpi^{ij}, which are the Hamiltonian and momentum constraints and N and N_i are the Lagrange multipliers for the theory. This leads to the dynamical equation H = 0. This is extended to the Wheeler-Dewitt equation by canonical quantization.

This issues with quantum gravity are rather subtle issues of what it means for HPsi = 0, where this is a wave functional over some closed or compact set of spatial surfaces. The issue is how is that one can make this define a set of diffeomorphisms over spatial surfaces.

Lawrence B. Crowell
 
GR versus EM

Hello Lawrence:

In EM, the Hamiltonian is simple: it is the T^{00} part of the stress tensor:
H=\frac{1}{8 \pi}(E^2+B^2)
Square the two fields involved, at it up, and one is done. When gravity is described by general relativity, it is much harder to understand. This means one of two possible things: it is worth the effort to work at appreciating the subtleties, or GR is wrong. One of the strengths of GR is the simplicity of the Hilbert action, but it does not continue through the Hamiltonian. EM is giving us a clear message: the Hamiltonian should be simple so the theory can be qunatized. With GR it is not, the issues are subtle. This is why I look to EM for guidance, and have the courage to clearly abandon GR.

doug
 
Lawrence B. Crowell said:
A tunnelling process involves an action which is not accessible classically. With the tunnelling of a particle through a square barrier, this involves an imaginary momentum or action. In the case of a tunnelling of a particle from a black hole M~\rightarrow~M~+~\delta m, this involves the imaginary part of the action
<br /> ImS~=~Im\int_{r_i}^{r_f}p_rdr.\eqno(1)<br />
The Hamilton equation {\dot r}~=~{{\partial H}\over{\partial p}} permits this to be written as
<br /> ImS~=~Im\int_{r_i}^{r_f}\int_{p_i}^{p_i}{{dr}\over {\dot r}}dH.\eqno(2)<br />
Along null geodesics the velocity {\dot r}~=~\pm 1~+~\sqrt{2M/r} the action for the classically forbidden path is
<br /> Im S~=~-2\pi\int_0^{\delta m}{{dr~dm}\over{1~+~\sqrt{{2M~-~\delta m}\over r}}}~=~-2\pi\big((M~-~\delta m)^2~-~M^2\big),\eqno(3)<br />
which defines -{1\over 2}(S_f~-~S_i). The imaginary part of the action gives the tunnelling probability or emission rate as \Gamma~=~exp(-2ImS)~=~exp(\Delta S). For a black hole in equilibrium with the environment the entropy remains on average zero, for with every quanta it emits it will on average absorb another from the environment. dM~=~dQ as the first law of black hole thermodynamics with dS~=~{{dQ}\over T} holds for a reversible process. However, the fluctuations will eventually cause the black hole to diverge from equilibrium, where no matter how small this is it will cause the black hole radiance to diverge, or for the black hole to acquire larger mass arbitrarily. Any change in the state of the black hole, whether by emission or absorption, perturbs the black hole from equilibrium.

Why would a square barrier be valid in this case? Since when is the gravitational potential can be accurately represented by a square barrier?

If you try to do this via the WKB approximation, then you will have to deal with the tunneling matrix element, which is the most accurate way of getting the tunneling probablity. I do not see where you have considered any of this.

Zz.
 
  • #10
One can model black hole tunnelling in this fashion. However, this is more of an approximate or heuristic sort of model. My purpose is to illustrate something about information in black hole radiation. So in order to do this I use the action in this way.

Let there be an initial quantum state

|psi> = 1/sqt(2)(|1>_u|2>_v + |2>_u|1>_v)

where the EPR type states 1 and 2 are in a superposition according to whether they are on the Kruskal coordinates u or v. The v coordinates are not analytic across the horizon where the u coordinates are. This means that a particle pair from the polarized vacuum are in an entanglement, but as we know the u coordinates enter the black hole. Hence states on u end up being absorbed into the black hole interior within a "time" ~ pi M/2. If the black hole state is given by |M> we then have that

|psi> ---> 1/sqt(2)(|2>_v|M_1> + |1>_v|M_2>)

where |M>_1 = |1>_u|M> and similarly for the "2" state. However, the v coordinates are not analytic across the horizon so in general the outside observer does not have access to |M_n>. This is similar to the whole issue of wave function collapse. This loss of information defines the conditional entropy S(A|B) in the Alice-Bob teleporation problem.

Yet we know that S(A|B) = S(AB) - S(B), so in principle given an appropriate accounting Alice may actually teleport his states through the black hole to Bob. A negative S(A|B) corresponds to an entanglement between the Alice and Bob states. This is the gist of my short paper.

This means that black holes may absorb quantum states along the v coordinate and the entanglement appears to be effectively lost with an outgoing state along the u coordinate. However, all this means is that the entanglment measure has shifted to the states of the black hole, and the information arriving along the u coordinate appears random because information has been encrypted. The black hole quantum gravity states must encrypt quantum information in a way which preserves them from the wild quantum fluctuations near the singularity.

The nature of this encyption is the core of what I am working on. The structure of quantum gravity in order to preserve quantum information must involve symmetries which preserve quantum information, and at the same time be the field symmetry of gravity. This necessitates that quantum gravity be a Goppa and/or Golay code system. The first has the advantage of being over algebraic varieties which define event horizons as projective varieties. The geometric content is given by Golay codes which have E_8 and higher lattice descriptions. The E_8 error correction system effectively exists in the heterotic string.

So all of this is a prelude to further work. I hope this helps for now.

Cheers,

Lawrence B. Crowell
 
  • #11
All you did was convince me that it isn't "tunneling".

Zz.
 
  • #12
I think that abandoning GR and trying to do everything as electromagnetism is not going to go well with a lot of people. The two theories have a similar structure up to the post-Newtonian (PN) term. Beyond that to PPN and beyond GR demonstrates departures from EM theory.

Electromagnetism is the "easy" field theory because the photon carries no charge. This is why it is abelian U(1), with a nice linear structure. The problem is that other field theories are not so simple. In the case of gravitation such an abelian structure can't work in general. Think of Newtonian gravity, where the potential energy is V = -GMm/r. for M and m small enough the mass equivalence of this m_grav = Vc^2 is very small. However, for very large masses the m_grav becomes large enough, though negative, to contribute to the gravity field. In other words the gravity field gravitates. This has been called the "lightness of gravity," for the field for large masses tends to actually reduce the field. From analogues with electromagnetism it would be as if the photon has a charge and can radiate photons. In QCD and the weak interactions this sort of gauge field exists.

Due to this and the fact that the gravity field has to be Lorentz covariant the structure of classical gravitation is what Einstein laid down in general relativity.

Lawrence B. Crowell
 
  • #13
It's tunnelling. For the elementary case with a potential V > E we have that

E = p^2/2m + V

and so

p = sqrt(2m)*sqrt(E - V)

which is imaginary valued. So for a wave function given by

psi ~ exp(ipx/hbar),

where px is the action, this action is imaginary valued. A tunnelling state or instanton is given by an imaginary action. In my paper the problem involves an imaginary action.

Lawrence B. Crowell
 
  • #14
Lawrence B. Crowell said:
It's tunnelling. For the elementary case with a potential V > E we have that

E = p^2/2m + V

and so

p = sqrt(2m)*sqrt(E - V)

which is imaginary valued. So for a wave function given by

psi ~ exp(ipx/hbar),

where px is the action, this action is imaginary valued. A tunnelling state or instanton is given by an imaginary action. In my paper the problem involves an imaginary action.

Lawrence B. Crowell

Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

For example, there's nothing here that calculates the probability of transmission. If you have an initial state, and a final state that you want to tunnel to, where is the transition probability? You seem to have neglected the tunneling matrix element that couples the two states together (look in Merzbacher if you don't believe me).

This, again, is still neglecting the validity of a "square potential" in the first place as a reasonable substitute for an actual potential. Why isn't any realistic gravitational potential used here? Just so you can simplify the mathematics?

Zz.
 
  • #15
GR could be wrong

Hello Lawrence:

I think that abandoning GR and trying to do everything as electromagnetism is not going to go well with a lot of people.
Agreed. A rank 1 field theory is not in the literature. Take something like a scalar-tensor theory. There are lots of papers on the topic. Many good books on GR have a section of a chapter on the topic. Clifford Will's living review article talks about scalar-tensor theories, and does not bring up the possibility of the simplest rank 1 field theory (I asked him directly). Seeing a blind spot takes work that I do not believe a lot of people are willing to take. People earn their income by looking at GR. Tenure is suppose to give people the freedom to explore alternative ideas that is not exercised enough.

Beyond that to PPN and beyond GR demonstrates departures from EM theory.
If you are referring to my efforts, the agreement is to first-order PPN accuracy. At this time we have zero data to confirm or reject GR at second-order PPN accuracy, where my approach predicts 12% more bending around the Sun. This is a very rare and good thing: a solid test for two theories of gravity consistent at the current level of measurement.

Electromagnetism is the "easy" field theory because the photon carries no charge. This is why it is abelian U(1), with a nice linear structure.
Agreed. What can electromagnetism do to 2 unlabeled particles? Well, they could be attracted to each other with a classical 1/R^2 force, or they could repel from one another due to a 1/R^2 force, or they might do nothing. This is simple, only three possibilities exist.

What can gravity do to 2 unlabeled particles? Well, they can only be attracted to each other with a classical 1/R^2 force. Our explanation of gravity must be simpler than EM.

There certainly are more complicated gauge field theories out there, such as those for the weak and the strong forces that you cite. Gravity should be simpler. It is also true the GR is not a simpler field theory than EM. There is no direct experimental data to show that gravity fields gravitate. The nonlinearity is far too subtle - I suspect way beyond second-order PPN accuracy, but I do not know the actual numbers. It is my belief that gravity fields do not gravitate. If in Nature, gravity fields do not gravitate, then GR must be abandoned, it is a logical consequence, nothing more. I am saying that all sorts of forms of energy contribute to the 4-momentum charge as a source of gravity - kinetic energy, binding energy, etc. - but that the energy of the gravity field itself does not add to the charge. Gravity, at least classically simpler than EM, is thus like EM in this way, and not like the weak or the strong force which involve more force particles and charges.

Due to this and the fact that the gravity field has to be Lorentz covariant the structure of classical gravitation is what Einstein laid down in general relativity.
I believe this is referencing work by Weinberg and others where if one wants to make Newton's classical gravitational force and make it consistent with special relativity, then you end up at Einstein's field equations. That path does exist and is valid. A different approach is, well, different. There is no way a scalar field theory can explain light bending around the Sun since one term in the metric get bigger than one, the other less than one. It may be an error to try and make something broken more consistent. Better to start with something that can be valid no matter what.

I could make more banal arguments, citing cases where theories we thought were true turned out to be in error, but I like the specific technical nature of this critique.

I hope to get the Hamiltonian calculation done next week for my work. The calculation is direct, but I want to get all the LaTeX in place.

doug
 
Last edited:
  • #16
ZapperZ said:
Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

For example, there's nothing here that calculates the probability of transmission. If you have an initial state, and a final state that you want to tunnel to, where is the transition probability? You seem to have neglected the tunneling matrix element that couples the two states together (look in Merzbacher if you don't believe me).

This, again, is still neglecting the validity of a "square potential" in the first place as a reasonable substitute for an actual potential. Why isn't any realistic gravitational potential used here? Just so you can simplify the mathematics?

Zz.
You wrote:

Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

In the case of an imaginary action one has an instanton, this is pretty standard. In this case time is imaginary t ---> it or in the more familiar parlance k^2 < 0.

As for a calculation of a transmission rate look below equation 3.

As for intial and final states, these are in the entropies. In particular the conditional entropy gives the entanglement of states between Bob and Alice which determines how much quantum information may be teleported.
between them.

As for the gravitational potential, the action is given by a pdr which in turn is expressed according to the Hamiltonian for the system. There is no need for an ad hoc square potential substitution.

Lawrence B. Crowell
 
  • #17
Lawrence B. Crowell said:
You wrote:

Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

In the case of an imaginary action one has an instanton, this is pretty standard. In this case time is imaginary t ---> it or in the more familiar parlance k^2 < 0.

As for a calculation of a transmission rate look below equation 3.

Could you cite me where such a thing has been used as a valid description for a "tunneling" phenomena?

Zz.
 
  • #18
Hello Sweetser

As for gravity attracting, this is due to the group structure of the theory. Electromagnetism is a U(1) theory, which is just the circle on the complex plane. The two roots of the theory are +1 and -1 on the circle which are the two charges.

Gravity is SO(3,1) ~ SL(2, C)xZ, where SL(2, C) is SU(2)x*SU(2). SU(2) is the standard rotation group with the sigma_z matrix containing the eigenvalues +-1. The *SU(2) is the same but where sigma_z ---> i*sigma_z, and so the group is not an elliptic group of rotations, but rather hyperbolic transformations corresponding to the Lorentz boosts. The roots of the *SU(2) are i, -i, which correspond to positive and negative mass. The difference with SU(2) is that there is no continuous rotation between i and -i. In other words in a universe containing positive mass-energy that "sticks," and there are no processes which can generate negative mass-energy. There is a bit I can go on with the Hawking-Penrose energy conditions, but I will leave that for later.

On this basis gravity is purely attractive and anything with mass-energy will be associated with an attractive field.

I am aware of your theory of gravity. You want to include symmetric terms. However, this proposal runs afoul with some basic issues of differential geometry or even the theory of vector spaces. I other words it runs afoul with basic "div-grad-curl" mathematics. We have been over this before, so I don't feel like bringing this up in detail again. The curvatures in general relativity have antismmetric structure for the same basic reason that B = -curl A. The differences are really formalistic, but at the core it involves the structure of spaces in differential geometry.

It is my sense that as a classical theory GR is the theory. This is similar to classical EM, which is the working picture for EM.

Lawrence B. Crowell
 
  • #19
ZapperZ said:
Could you cite me where such a thing has been used as a valid description for a "tunneling" phenomena?

Zz.
Look in "Instantons on Four Manifolds" by Freed & Uhlenbech. Hawking uses this trick in half the papers he publishes. This is pretty standard fair these days.

Lawrence B. Crowell
 
  • #20
Hello Lawrence:

Where does this bit of group theory come from?
Lawrence B. Crowell said:
Hello Sweetser
Gravity is SO(3,1) ~ SL(2, C)xZ, where SL(2, C) is SU(2)x*SU(2).
Discussions of the group theory structure of GR did not make it into MTW as far as I can tell. I did find a quote from Prof. John Baez that the symmetry of GR was the group of Diffeomorphisms on a manifold, Diff(M), the group of all continuous transformations of the manifold. I had a sense that Diff(M) is far larger than SO(3,1), however you choose to represent it. Here is a thread discussing the issue that sounds intellegent to me:

http://groups.google.com/group/sci....lativity+group+theory&rnum=8#87e436bb685a91a9

and here is a relevant quote:
Marc Nardmann said:
Having talked a lot about what the symmetry structure of general
relativity is *not*, I'd like to conclude my participation in this
thread with a description of what this symmetry structure *is* in my
opinion.

The set X of models of the theory of general relativity consists of all
pairs (M,g), where M is a 4-dimensional manifold and g is a Lorentzian
metric on M. The symmetry structure of the theory cannot adequately be
described by a group. It has to be described by a groupoid.

This groupoid is the groupoid G of all diffeomorphisms between
4-manifolds. G acts from the right on the set X of models, by pullback:
If f:M-->N is an element of G and x=(N,h) is an element of X, then
their "product" x.f is the pair (M,g), where g is the pullback of the
metric h by the diffeomorphism f.

Maybe one should include in the discussion of the symmetry structure of
general relativity also the fact that there is a "submodel" relation on
the set X of all models: (M0,g0) is a submodel of (M1,g1) if and only if
M0 is an open subset of M1 and the metric g0 is the restriction of g1 to
M0. One could therefore argue that each smooth imbedding of one
4-manifold into another should count as a "partial symmetry" of general
relativity (we can pull back metrics via imbeddings).

I think that's more or less all one can say about the symmetry
structure of general relativity.

I think I see how the Diff(M) symmetry can work in my theory. I don't see how comments from John Baez I have read but not cited, and this quote, work with your claim (which I bet has a bunch of clarifying conditions that were omitted).

doug
 
  • #21
Lawrence B. Crowell said:
Look in "Instantons on Four Manifolds" by Freed & Uhlenbech. Hawking uses this trick in half the papers he publishes. This is pretty standard fair these days.

Lawrence B. Crowell

Can you please give me the exact citations, please?

Zz.
 
  • #22
This says something different, but related. The group here is SO(3, 1) or SL(2, C). What this outlines below is how that group acts as the local action for diffeomorphisms between (M,g).

Why SO(3, 1)? This is because the symmetry must involve four dimensions, which is SO(4) for orthogonal rotations. The signature change changes this to SO(3, 1). The relationship S(3, 1) ~ SL(2,C)xZ_2 is a four space quaternionic version of the double cover relationship between SO(3) and SU(2).

Lawrence B. Crowell
 
  • #23
The Freed & Uhlenbeck book is Springer Verlang 1984. As for Hawking papers, well frankly I think one can do a bit of research

Lawrence B. Crowell
 
  • #24
Lawrence B. Crowell said:
The Freed & Uhlenbeck book is Springer Verlang 1984. As for Hawking papers, well frankly I think one can do a bit of research

Lawrence B. Crowell

Yes, but I'd rather have specific citations. You'll understand that I do not have the time to hunt for all Hawking's papers. I'm just surprised you don't have a few handy on the tip of your fingers, considering that you are using it in your formulation here. Don't you have any intention of citing a reference when you actually "publish" this?

Zz.
 
  • #25
Hawking and Hartle used the Euclideanized path integral to compute the quantum transition for cosmology in their seminal paper

S. Hawking & J. Hartle, Wave Function of the Universe, Phys. Rev. D28 (1983)

the term imaginary time was first used by Hawking (as I recall) in

S. Hawking, Quantum Coherence and Closed Timelike Curves, Phys. Rev. D52 (1995)

I presume you are able to further such research. Imaginary time, instantons and spacetime tunnelling has become pretty much standard fair in the past decade or more.

Lawrence B. Crowell
 
  • #26
Lawrence B. Crowell said:
Hawking and Hartle used the Euclideanized path integral to compute the quantum transition for cosmology in their seminal paper

S. Hawking & J. Hartle, Wave Function of the Universe, Phys. Rev. D28 (1983)

the term imaginary time was first used by Hawking (as I recall) in

S. Hawking, Quantum Coherence and Closed Timelike Curves, Phys. Rev. D52 (1995)

Thanks. I'll check up on those.

I presume you are able to further such research. Imaginary time, instantons and spacetime tunnelling has become pretty much standard fair in the past decade or more.

Well, I'm an experimentalist. My definition of what is "pretty much standard fair" is obviously quite different than yours, since I require something to be experimentally verified before it becomes a "standard fair".

Zz.
 
  • #27
LAWRENCE B. CROWELL said:

"The conservation of information from black hole radiance has an unsettled history. The initial indications were that information is lost"

If a large number of pions decay into photon pairs which travel in
opposite directions, and one member of each pair travels to a fixed
point in space,a black hole would form at the fixed point in space.Since the photon polarizations are coupled, I could get information about the
microstates in the black hole by measuring the polarization angles of
the photons that are outside the black hole.
And by placing a number of polarizing filters in a line, for each
photon traveling outside the black hole, with one photomultiplier per
photon to detect each photon, I could gain information on the
microstates in the black hole at different periods in time.So I would
know more about a black hole than just its total spin,mass and
charge.
It seems to me that the photon polarizations would remain coupled even across the event horizon of a black hole because if they do not remain coupled then we would be saying that quantum mechanics breaks down for a black hole and therefore that Stephen Hawking original calculation of the temperature of a black hole is
faulty.This does not seem likely! I think the only way to resolve the loss of information problem is to assume that as radiation is emitted from a black hole it is coupled to something still in the hole:so
if a gamma ray is emitted with a certain polarization then there is
a corresponding gamma ray with a coupled polarization that still exists in the black hole.
 
Last edited:
  • #28
An EPR pair that enters into a black hole will become entangled with the quantum states of the black hole. This means that the entanglement in the original EPR pair will become lost. The only way it can be preserved is if Alice and Bob correlate their EPR pair with some auxilliary state.

Ultimately the information is, or should be, preserved. However, this information is far less accessible once the EPR pair is absorbed into the black hole. The Bogoliubov transformations for

A_k = a_k cosh(x) + b^*_{-k}sinh(x)

B_k = b_k cosh(x) + a^*_{-k}sinh(x)

for * = dagger and x the rapidity will obey

[A_k, A^*_k] = [a_k, a^*_k]cosh^2(x) + [b^*_{-k}, b_{-k}] sinh(x)

= cosh^2(x) - sinh^2(x) = 1,

and so the fine grained quantum scale of action is not changed. So ultimately the quantum information is preserved. It just might be highly unavailable. In other words Bob might have to wait around 10^60 years to retrieve the information Alice sent in the EPR pair.

Lawrence B. Crowell
 
Last edited:
  • #29
This is an elementary presentation on the relationship between quantum mechanics and gravitation. We start with the examination of the overlap between a state |\psi(t)\rangle and |\psi(t)~+~\delta\psi(t)\rangle. This leads to the expansion

<br /> \langle\psi|\psi~+~\delta\psi\rangle~=~\langle\psi|\psi\rangle~+~\langle\psi|\frac{\partial\psi}{\partial t}\rangle \delta t~+~\langle\psi|\frac{\partial^2\psi}{\partial t^2}\rangle\delta t^2<br />

With the use of the Schrodinger equation i|\partial\psi/\partial t\rangle~=~H|\psi\rangle a modulus square of this expansion is then

<br /> |\langle\psi|\psi~+~\delta\psi\rangle|^2~=~|\langle\psi|\psi\rangle|^2~-~(\langle H^2\rangle~-~\langle H\rangle^2)\delta t^2.<br />

Physically the term \sqrt{\langle H^2\rangle~-~\langle H\rangle^2}~=~\Delta E, which is what defines the Heisenberg uncertainty principle. This also defines a phase

<br /> \phi~=~\int dt\sqrt{\langle H^2\rangle~-~\langle H\rangle^2}~=~\int dt\Delta E<br />

which is the geometric or Berry phase. For certain systems the above overlap of states can be a measure of the entanglement of states. This is also the Fubini-Study metric for the projective space CP^n~\subset~C^{n+1}. The complex space is projective space C^{n+1} is the 2n~+~2 dimensional state space for a finite dimensional quantum system, where for n~=~0 this defines the Bloch sphere for a spin system. The complex vector space defines a unitary group U(n~+~1), and is an indication of the unitarity of quantum mechanics.

What is of interest is that an elementary example of quantum fields in curved spacetime can be defined. Let the energy eigenvalues of the state space be E_i~=~\hbar\omega which are functions of a one dimensional parameter r, which is a function of time r~=~r(t). Without worry we will let the spectrum become a continuum, and frequencies a continuous function of this parameter. Let this dependency be a Doppler shift, so the frequency spectrum is \omega&#039;~=~(1~-~nv/c)\omega, where n is an index of refraction, v~=~dr/dt a velocity and c the speed of light. The index of refraction along the one dimensional space is then assumed to vary according to n~=~n_0~+~\delta n. The Doppler equation defines a retarded time 1~-~nv/c~=~\omega/\omega&#039;~=~\nu\tau for \tau~=~t~-~r/v. The effective frequency \nu&#039; is then

<br /> \nu&#039;~=~\frac{v}{c}\frac{\partial n}{\partial\tau}~=~\frac{v^2}{c}\frac{\partial\delta n}{\partial r}<br />

The frequency \nu&#039; is then related to a non-Doppler shifted frequency \nu by \nu&#039;~=~(1~-~nv/c)\nu for

<br /> \nu~=~-v\frac{1}{\delta n}\frac{\partial\delta n}{\partial r}~=~-v\frac{\partial ln(\delta n)}{\partial r}<br />

We may then write the Berry phase above from the Fubini-Study metric according to a \Delta E~=~(\omega&#039; d\tau~-~\omega dt)/\hbar which according to the frequencies\nu,~\nu&#039; defines the Berry phase

<br /> \phi~=~\int_{r_i}^{r_f} dr(1~+~\frac{v}{c}\nu)~=~|r_f~-~r_i|~-~\frac{v}{c}ln(n),<br />

With the appropriate identification of vn/c~\rightarrow~GM/rc^2 the above result reproduces the phase term for a black hole. Further, for the phase to become imaginary the condition is when

<br /> 1~=~\frac{\partial ln(n)}{\partial r}<br />

and for the imaginary time identification t~=~\hbar/kT we find the condition for the onset of an imaginary phase angle as

<br /> kT~=~\frac{\hbar\nu}{2\pi}<br />

which with the identification between the velocity in a medium with index of refraction recovers the temperature for Hawking radiation

<br /> T~=~\frac{\hbar }{2\pi GM kc^2}<br />

This simple approach to a derivation of Hawking radiation is based on the notion of a simple bundle fibration over the complex space of quantum states. Here the bundle is just the real line R, which parameterizes the index of refraction along the real line. It is then clear that this program can be extended to more realistic groups which include gravitation.
 
  • #30
I have decided to resurrect my little site here I started a year or two ago. I worked up an interesting idea on quantum fields in curved spacetime. This is very simple, only relying upon some basic ideas of geometry in QM and a fibration.

https://www.physicsforums.com/showthread.php?t=115826&page=2

I worked this up in my head as I wrote this, so there might be a boo-boo or two here, but I think the basic idea looks reasonable.

Lawrence B. Crowell
 
  • #31
This is a second part to the post on the Fubini-Study metric and the Hawking effect. The Fubini-Study metric defines the set of projective rays in the complex space C^{n+1}, or CP^n~\subset~C^{n+1}. The Fubini-Study metric is then for n = 1 the Bloch sphere and further defines quantum entanglements and Berry phases.

A Hermitian function or differential form in C^{n+1} defines a unitary subgroup U(n+1)~\subset~ GL(n+1,C). The Fubini-Study metric is invariant under scaling under group actions of such a U(n+1). Hence the space, a Kahler manifold, is homogeneous. Hence any two Fubini-Study metrics are isometric under a projective automorphism of CP^n.

The definition of a projective space is the set of elements z_i~=~Z_i/Z_0, where the magnitude of Z_0 is artitrary, or more formally

<br /> CP^n~=~\big{\{z_i,~i=1\dots n}:~z_i~=~Z_i/(Z_0~\ne~0)\big}<br />

A point or in CP^n is a line or ray in C^{n+1}. An arbitrary vector in the projective space may then be represented in the "bra-ket" notation of quantum mechanics as

<br /> |\psi\rangle~=~\sum_{i=1}^\infty z_i|e_i\rangle~=~[z_1:~z_2:~\dots~z_n]<br />

where the square braket notation is commonly used for projective spaces. The basis vectors |e_i\rangle are the basis vectors for the Hilbert space {\cal H}~=~C^{n+1}. There there are two such vectors |\psi\rangle,~|\phi\rangle, then the quanatum mechanical overlap defines the distance between the two points in CP^n, which in the Hilbert space is a plane. The modulus square of the quantum overlap appropriately normalized

<br /> \frac{\langle\phi|\psi\rangle\langle\psi|\phi\rangle}{\langle\psi|\psi\rangle\langle\phi|\phi\rangle}~=~cos(\theta(\psi,~\phi))<br />

defines the distance between the two as \theta(\psi,~\phi). For n = 1 this is the angle on the Bloch sphere, and defines a general quantum angle.

The overlap between a vector |\psi\rangleand its infinitesimal displacement |\psi~+~\delta\psi\rangledefines the Fubini-Study metric on C^n with the proper normalization

<br /> ds^2~=~\frac{\langle\delta\psi|\delta\psi\rangle}{\langle\psi|\psi\rangle}~=~\frac{\langle\delta\psi|\psi\rangle\langle\psi|\delta\psi\rangle}{|\langle\psi|\psi\rangle|^2}<br />

With the coordinate notation for projective spaces the Fubini Sudy metric is

<br /> ds^2~=~\frac{1}{2}\frac{[z_i,~dz_j][{\bar z}^i,~d{\bar z}^j]}{(z_k{\bar z}^k)}<br />

where [z_i,~w_j] is a commutator. We might think of the basis elements of the Hilbert space as a Fock basis and the components z_i as due to the application of raising and lowering operators or a field amplitude of the form A_i~=~a^\dagger_ie^{i\theta}~+~ia_ie^{-i\theta}. The projective space is a form of algebraic variety, and these commutators are defined as Grassmannian varieties. The form of this metric indicates that the space is a Kahler manifold where the Ricci curvature is given by a potential \Phi

<br /> R_{ij}~=~\frac{\partial^2\Phi}{\partial z_i\partial{\bar z}_j}<br />

which is proportional to the metric.

For any two dimensional subspace of CP^1~\subset~CP^n, the space is the block sphere of two real dimensional where the Fubini-Study metric reduces to

<br /> ds^2~=~\frac{dzd{\bar z}}{(1~+~z^2)(1~+~{\bar z}^2)}~=~d\theta^2~+~sin^2\theta d\phi^2<br />

with the state |\psi\rangle~=~cos(\theta)|0\rangle~+~e^{i\phi}\sin(\theta)|1\rangle, which is the single qubit state. This may then be generalized to higher dimensional kahler manifolds for hexacode and higher quantum codes and algebras.

Lawrence B. Crowell
 
  • #32
The last equation I quoted in this lastest thread should read

<br /> T~=~\frac{\hbar c^3}{8\pi GM k}.<br />

That is what you get when you do math on an editor instead of on paper.

L. Crowell
 
  • #33
A slice through spacetime will contain some set of black holes and likely have some cosmological event horizon. Each of these event horizons will then satisfy a quadratic polynomial for the coordinates specified in that region. Since the event horizon is an invariant it does not matter what coordinates are used, so long as the spacetime has some consistent set specified by some coordinate condition or the spacetime analogue of a gauge. Hence there now exists a subspace of the universe {\cal P}, a set of all projective rays that join at {\cal I}^\pm. Event horizons are those which satisfy a certain polynomial condition P(x_i)~=~0 which identifies them as event horizons. This is then a projective variety defined by a set of homogenous polynomials \cal S, such that some points of \cal P satisfy

<br /> Z({\cal S})~=~\{x~\in~{\cal P}|P(x)~=~0,~\forall~P~\in~{\cal S}\}<br />

This subset of the projective space is a projective algebraic set,where the irreducible set defines a projective algebraic variety. This set has the Zariski topology by declaring all algebraic sets to be closed.

A Zariski topology is a nonHausdoff topology for algebraic varieties, which describes their algebraic content and with weak geometric content. Zariski topology does occur in general relativity. Gravitation has the group structure SO(3,~1)~=~Z_2\times SL(2,~C). The group SL(2,~C) may in turn be written as

<br /> SL(2,~C)~=~SU(1,~1)\times SU(2).<br />

The algebra for this is then su(2) given by the standard Pauli matrices \sigma_{\pm},~\sigma_3 and su(1,~1) has the elements \sigma_{\pm},~\tau_3~=~i\sigma_3. The latter change gives the pseudoEuclidean nature to spacetime.

Now consider a connection one-form

<br /> A~=~A^+\sigma_+~+~A^3\sigma_3,<br />

and a gauge transformation determined by the group action of g~\in~{\cal G}, g~=~e^{i\lambda\sigma_3}. The gauge transformed connection is then

<br /> A^\prime~=~g^{-1}Ag~+~g^{-1}dg~=~e^{-2\lambda}A^+\sigma_+~+~A^3\sigma_3<br />

where d\lambda~=~A^3. Thus \lambda is a parameterization of the gauge orbit for this connection A^&#039;~=~A(\lambda). This leads to the observation

<br /> \lim_{\lambda\rightarrow\infty}A(\lambda)~\rightarrow~A^3\sigma_3,<br />

where A^+\sigma_+~+~A^3\sigma_3 and A^3\sigma_3 have distinct holonomy groups and thus represent distinct points in the moduli space \cal M. However by the last rquation we must have

<br /> F_\mu(A^+\sigma_+~+~A^3\sigma_3)~=~F_\mu(A^3\sigma_3),<br />

and similarly for any gauge invariant function. Hence there exist two distinct point in the moduli space that define the same set of gauge invariant functions. Hence there does not exist a measure over these two points that separates them, and \cal M is then nonHausdorff and has Zariski topology.

This moduli space, a space of gauge equivalent connections, indicates the underlying topology for curvatures. In a b-completeness sense the group action could be g~=~e^{i\lambda\sigma_3~+~\alpha}, for \alpha a constant. The gauge connections for \lambda~\rightarrow~\infty converge to e^{-2\alpha}A^+\sigma_+~+~A^3\sigma_3, which for a given \alpha can describe a set or congruence of null geodesics. A Cauchy-like sequence of \lambda_n can describe a set of geodesic which converge to the null set. In this manner the underlying topological structure of gravitation has this nonHausdorff topology.

This structure then indicates that quantum gravity if more fundamentally described by algebraic varieties, with minimal geometric content. An abstract algebraic variety is a generalization of a scheme, which geometrically is a correspondence with some class of rings. In this case the polynomials define some ring. A scheme is a space with a local ring structure such that every point has a neighborhood, a locally ringed space, isomorphic to a ring spectrum. An algebraic variety is a scheme whose structure sheaf is a sheaf of K-algebras with the property that the rings R that occur above domains which are all finitely generated K-algebras, i.e., quotients of polynomial algebras by prime ideals.

The system works over any field F, and the topology permits one to piece together varieties on open sets and their definition permits them to be on a projective space. This leads to the topic of sheaf cohomology in algebraic geometry. Another mathematical issue of particular interest here is that a special case of an algebraic variety is an algebraic curve. This leads to the Goppa code. For X non-singular, or there exist points x_1,~x_2,~\dots,~x_n fixed among the points of X defined over F, and that G is a divisor on X, also defined over F. There is a finite-dimensional subspace L(G) of the function field of X, consisting of the rational functions f on X with zeroes and poles subject to G. This means that G, which is a formal sum of points of X over the algebraic closure of F, bounds the divisor made up of the zeroes and poles of f, counted with appropriate multiplicity.

An example of an algebraic variety is an algebraic curve of unity dimension. Simple examples are ellipses, conic sections and the more enigmatic elliptical curves. A curve has at most a finite number of singular points, where if that is zero the curve is nonsingular. This requires that the curve exists in a projective space and be over an algebraically closed field. The theory of nonsingular curves over complex numbers is equivalent to the theory of Riemannian surfaces, where the genus of the curve is that of the two-manifold. This genus is then a result of the Riemann-Roch theorem.

This defines structures which are codes, which preserve the number of quantum bits. To preserve this information it must process this information according to an error correction code, similar to those used in computer data transmission.

What has been developed here is commesurate with a Goppa code, which is a linear code constructed from algebraic curves over a finite field F. Let the curve C be nonsingular with a set of fixed points p_i, i~=~1.~\dots~,n. There then exists a divisor F on the curve C over the field F. Given rational functions f over the curve with poles and zeros on G, this defines a space L(G) of finite dimension defined as the function field of C. Thus the divisor G is a formal sum of point on C that bounds a divisor made from the poles and zeros of f, and is algebraically closed in F. Thus L(G) has some basis of functions f_1,~\dots,~f_k over the field, where the Goppa codes is found by the evaluation of the fixed points p_i, eg. f_i(p_1),~f_i(p_2),~\dots,~f_i(p_n), for i~=~1,~\dots,~k. This defines a vector space f^n spanned over F. This is then given by the map

<br /> \mu:L(G)~\rightarrow~F^n,<br />

by f~\mapsto~f(p_1),~\dots,~f(p_n). For a divisor defined as D~=~\sum_{i=0}^np_i the Goppa codes is then represented as c(D,~G)~=~L(G)/ker(\mu).

For a function f~\in~ker(\mu), for f(p_i)~=~0 the function as a divisor is less than D and so ker(\mu)~=~L(G~-~D). For f~\in~L(G~-~D) since p_i~&lt;~G then div(f)~&gt;~D it is clear that f(p_i)~=~0. A distance between code words is the Hamming weight of \mu(f) called d. Thus f(p_i)~=~0 for n~-~d_i p_is. The points are designated p_{i_1},~\dots,~p_{i_{n-d}}. Thus

<br /> f~\in~L(G~-~p_{i_1}~-~\dots~-~p_{i_{n-d}}),<br />

and that div(f)~&lt;~ G~-~p_{i_1}~-~\dots~-~p_{i_{n-d}}. By taking the degree of these on both sides the degree of G then satisfies d~\ge~n~-~deg(G) The dimensions of the Goppa code is then k~=~L(G)~-~L(G~-~D). This result is the Riemann-Roch theorem.

The Riemann-Roch theorem indicates how many moduli exist. A moduli space is a space of solutions that defines gauge equivalent gauge vectors. The moduli space is the set of all self-dual connections (instantons) with degrees of freedom removed by gauge conditions. This space is \omega_{SD}/{\cal G}~=~{\cal M}_{mod}. The number of metric moduli and conformal Killing vectors of the moduli space is obtained with the Riemann-Roch theorem. Given an operator {\cal O} that is covariantly constant on a geodesic,

<br /> \partial g_{ij}~=~ (2\delta\omega~-~ \nabla_k\delta \sigma))g_{ij}~-~ 2({\cal O}\delta \sigma)_{ij},<br />

where \omega is the conformal factor, \sigma is a spatial parameter. Here the metric is defined on the complexified coordinates z,~{\bar z}. {\cal O} may be derived by a variation of the metric g_{ij}

<br /> \delta g_{ij}~=~(2\delta\omega~-~\nabla_i\delta\sigma_j)g_{ij}~-~\nabla_j\delta\sigma_i<br />
<br /> =~(2\delta\omega~-~\nabla_k\delta\sigma_k)g_{ij}~-~({\cal O}\delta\sigma)_{ij},<br />

with ({\cal O}\delta\sigma)_{ij}~=~\nabla_i\delta\sigma_j~+~ \nabla_j\delta\sigma_i~-~\nabla_k\delta\sigma_k)g_{ij}. {\cal O} defines the conformal Killing equation ({\cal O}\delta \sigma)_{ij}u^j~=~0. Thus {\cal O} defines the number of conformal Killing vectors. The transpose of {\cal O}, {1\over 2}({\cal O}^tu)_i~=~-\nabla^ju_{ab} defines the metric moduli. The Riemann-Roch theorem states that the difference between the numbers of the metric moduli and the number of conformal Killing vectors is -3\chi, where \chi is the Euler characteristic for the manifold. This difference is then

<br /> {1\over 2}\big(dim~ ker({\cal O})~-~dim~ ker({\cal O}^t)\big)~=~-3\chi~=~6g(g~-~1)<br />
{\cal O} determines the number of instanton in the theory. The size of the Goppa code is then a topological invariant given by an Euler characteristic of Floer cohomology.

This metric applies to a spatial surface with \delta g_{ij}~=~(\partial g_{ij}/\partial t)\delta t, for t a parameter labelled as "time." The Ricci flow equation

<br /> {{dg_{ij}}\over{dt}}~=~-2(R_{ik}~+~\nabla_i\nabla_k\omega)g_{kj},<br />

is an eigenvalued equation for the Ricci flow for k~=~i. The time derivative of the functional F[g,~\omega] is the low energy effective action in string theory and \omega is a dilaton field, similar to that over a string world sheet. The metric may then be rewritten according to a conformal gauge g_{ij}^\prime~=~exp(2\omega)g_{ij} and the Ricci curvature changed by
{g^{\prime}}^{1/2}R^\prime~=~g^{1/2}(R~-~2\nabla^2\omega). By an appropriate diffeomorphism, or gauge choice, the governing equation for the metric can recover the Hamilton equation for
Ricci flow.
 
  • #34
The physics of the projective Hilbert space and its bearing upon spacetime physics is illuminated here by the role this plays with quantum phase transitions. The quantum critical point and the change of phase associated with it exhibits scale invariance, such as with high temperature superconductivity, and theoretically this physics is poorly understood. Current theory associates the quantum critical point with the "breakdown" of the quasi-electron and a divergence in its mass. In this critical state however the system maintains a self-similar or scale invariance.

A quantum critical state is one where fluctuations drive a phase transition at or near absolute zero temperature. To treat this sort of physics the statistical organizing principles of bosonic and fermionic states must be considered. Bosonic quantum states are by far the easiest to consider, and the correspondence between the quantum physics and the classical physics, and the emergence of different phases, are far closer and understood. A similar correspondence between fermionic quantum states and any classical physics does not exist, and the emergence of new states of matter are far less well understood. Yet in recent times the electronic states of certain transition-actinide metal crystaline systems have been measured to exist in a new scale-invariant phases, which occur at the "breakdown" of a Fermi or Landau electron liquid state and where the mass of the associated quasi-particle state diverges. This appears to be a new domain of quantum physics.

The Fubini-Study metric determines the uncertainty principle by the Berry phase as

<br /> \phi~=~\int dt\sqrt{\langle H^2\rangle~-~\langle H\rangle^2}~=~\int dt\Delta E<br />

This geometric phase has the content of \Delta Et/\hbar, and for this phase bounded by \sim~2\pi[/tex] the time is then a measure of the fluctuation strength. We may of course encounter a situation, as I demonstrated in the start of this presentation, a situation where this phase may become imaginary valued. This obtains when \langle H^2\rangle~-~\langle H\rangle^2~&amp;lt;~0. An imaginary phase may be seen as a case where the time becomes an imaginary time with t~=~\hbar/kT. For a high temperature system this imaginary time is very small, but as temperature T~\rightarrow~0 there is then more of this imaginary time available for the system to exist in an instanton or tunnelling states where this quantum behavior is detectable. We may then consider the imaginary time as analgous to the classical temperature, where for low real temperature the imaginary time assumes is analogous to a classical temperature that heats up material in the space plus imaginary time &quot;spacetime.&quot; Thus time in general is a complex valued vector {\vec t}~\in~C^1, where ordinary time lies on the real axis of the Argand plane and temperature on the imaginary axis. For a low enough of a standard temperature the imaginary time as an internal temperature will act to heat up the quantum states of the system and they will then exhibit a phase transition or &quot;melting,&quot; which results in a fluid behavior that is scale invariant.<br /> <br /> We then consider the case similar to the one dimensional space considered last week, indeed on 3/27/2008. Instead of a simple one dimensional space plus time model we consider the boost space of SU(1,~1) with the connection coefficient<br /> <br /> &lt;br /&gt; A~=~A^1\sigma_1~+~A^2\sigma_2~+~iA^3\sigma_3,&lt;br /&gt;<br /> <br /> The field strength tensor is F_{ab}~=~\partial_{[b}A_{a]}~+~[A_b,~A_a], where if we consider a flat connection the comonents of the curvature tensor are<br /> <br /> &lt;br /&gt; F_{21}~=~[A_1,~A_2],~F_{32}~=~[A_2,~A_3],~F_{13}~=~[A_3,~A_1]&lt;br /&gt;<br /> <br /> where the physical fields are found with the application of \epsilon^{abc} and so the time-like field is F^3~=~\epsilon F_{12}. In the case of a moving field in more than one dimension the velocity determines an action of the form<br /> <br /> &lt;br /&gt; S~=~\int_{r_1}^{r_2}p_rdr&lt;br /&gt;<br /> <br /> The Hamilton equation {\dot r}~=~\partial H/\partial p permits this to be written as<br /> <br /> &lt;br /&gt; S~=~\int_{r_1}^{r_2}\int_{p_1}^P_2}\frac{dr}{\dot r}dH&lt;br /&gt;<br /> <br /> which permits this action to be expressed according to S~=~\int tdH~\simeq~t\Delta E, for \Delta E the Fubini-Study metric distance. We then split the action into a real and imaginary part according to a complex velocity field u^a~=~(U^\mu,~iu^5), where the fifth entry corresponds to the imaginary portion of time. The field theory is then extended to five dimensions with indicial entries a~\rightarrow~(\mu,~5). For the sake of Lorentz invariance, where in general this would impose a preferred frame from which to observe the field, the complex velocity is restricted to the complex time in C^1. The field is extended similarly to a fifth dimension as well. The Hamiltonian for the above action then determines the action<br /> <br /> &lt;br /&gt; {\cal L}~=~-\frac{1}{4}F_{ab}F^{ab}~-~\frac{\mu^2}{2\hbar^2}u^au^bg^{cd}F_{ac}F_{bd},&lt;br /&gt;<br /> <br /> where \mu has units of energy (mass). What has been done is to generalize the non-compact group into a composition of the two according to<br /> <br /> &lt;br /&gt; u:A_3~|\rightarrow~(A_3^\prime,~iA_3^{\prime\prime}),~A_3^\prime~\in~SU(1,1),~A_3^{\prime\prime}~\in~SU(2)&lt;br /&gt;<br /> <br /> or so that the complex elements are generalizations of the boosts in SU(1,1)\oplus SU(2). This means that the time-like potentials and fields have a probability of being Lorentzian or Euclidean. <br /> <br /> The above Lagrangian gives the dynamical equations<br /> <br /> &lt;br /&gt; \partial_aF^{ab}~=~\frac{\mu^2}{\hbar^2}(u_cu^b\partial_aF^{ca}~-~u^cu^a\partial_aF^{cb})&lt;br /&gt;<br /> <br /> which when broken into its component parts is <br /> <br /> &lt;br /&gt; \partial_\mu F^{\mu 5}~=~0,~\partial_\mu F^{\mu\nu}~=~-(1~+~\beta^2)\partial_5 F^{5\nu},&lt;br /&gt;<br /> <br /> for \beta~=~\mu u/\hbar. The term \partial_5 F^{5\nu} is a source for the field and the term \beta is then a term which amplifies the source. In the case of gravitation, which this is a &quot;B-F&quot; gauge like theory of, this source is the mass. The connection terms can be written according to basis elements of the manifold A^\mu~=~\partial_\nu g^{\mu\nu}, which for a bimetric theory in a reduced metric form or the traceless transverse (tt) terms for weak gravity fields gives the gravity equation<br /> <br /> &lt;br /&gt; \square{\bar h}_{\mu\nu}~=~\beta^2\partial^2_5{\bar h}_{\mu\nu}&lt;br /&gt;<br /> <br /> where the righthand side is the source G\rho and the left hand side is the Laplacian of the potential. This equation is then reduced to the Poisson equation form of Newton&#039;s law of gravity.<br /> <br /> It is interesting to compute the dispersion relationship in the gauge A_5~=~0 the spatial connection with the Fourier expansion A^\mu~=~A_0^\mu e^{ik_\mu x^\nu~+~ik_5 x^5} determines the dispersion relationships with the above dynamical equations as<br /> <br /> &lt;br /&gt; k_5k_\mu A_0^\mu~=~0,~\big(k_\nu k^\nu~+~(1~+~\beta^2)k_5^2\big)A^\mu~-~k^\mu k_\nu A^\nu~=~0&lt;br /&gt;<br /> <br /> One of the motivating physical ideas here is with the quantum critical point for electrons in solids. The Dirac equation for the above complex time is <br /> <br /> &lt;br /&gt; {\cal L}_d~=~i{\bar\psi}\gamma^a\partial_a\psi~-~m{\bar\psi}\psi~-~i\frac{\mu^2}{\hbar}u^au^b{\bar\psi}\gamma_a\partial_b{\psi},&lt;br /&gt;<br /> <br /> which gives the dynamical wave equation<br /> <br /> &lt;br /&gt; i\gamma^a\partial_a\psi~-~m\psi~-~i\frac{\mu^2}{\hbar}u^au^b\gamma_a\partial_b\psi~=~0&lt;br /&gt;<br /> <br /> Again if the field is expanded in the Fourier mode \psi~\sim~e^{ik_\mu x^\nu~+~ik_5 x^5} this gives the dispersion relationship<br /> <br /> &lt;br /&gt; -k^ak_a~-~2\frac{\mu^2}{\hbar}(u^ak_a)^2~-~4\frac{\mu^2}{\hbar}u^au_a(u^bk_b)^2~=~m^2&lt;br /&gt;<br /> <br /> which when reduced to four dimensions is<br /> <br /> &lt;br /&gt; -k^\mu k_\mu~=~m^2~+~(1~+~\beta^2)k_5^2.&lt;br /&gt;<br /> <br /> The last term for a complex time can become large and will renormalize the mass of the fermion, where as \beta~\propto~1/T will become large as the temperature approaches zero. Thus the complex time has the effect of &quot;heating up&quot; the internal states of the system and the mass of the fermion, in the case of the quantum critical points for the breakdown of the Landau electron liquid making the quasi-fermions &quot;heavy.&quot; This then links aspects of a fermionic system and its quantum critical point with the instanton states of gravitation. This behavior should have a univerality to it, where it applies for all quantum fields from scalars, spinors, vectors, Rarita-Schwinger, and spin = 2 gravitons. It is also a property which determines a \beta renormalization term that is invariant with respect to scale.
 
  • #35
A wormhole in spacetime is theoretically understood to result in some strange physics, such as time machines. Wormholes for a number of reasons probably don't exist as classical spacetime structures, but their role in quantum gravity is probably equal to that of quantum black holes. The results of Ford and Roman as well as the apparent logical contradictions implied by closed timelike curves likely means they don't exist as classical structures. Other authors such as Thorne and Visser disagree with this. However, this is a look at wormholes as an aspect of quantum gravity and the issue of their classical existence is not directly addressed.

The Skyrme model of QCD defines a knot topology to gluon fluxes, which in the infrared domain or a confined vacuum are scale invariant. These flux tubes wrap around each other like snakes in a mating ball. If we were to take the quarks and pull them apart with "tweezers" the flux tubes would define a braid group. I could write this in a more complete mathematical form, but I will spare myself that effort for now. So what does this have to do with quantum gravity? Conformal gravity is in the Euclidean form SU(4) and we can embed the SU(3) of QCD in this group. Then conformal gravity with the coupling constant /alpha^2~\sim~G~\rightarrow unity at unification appears remarkably QCD-ish with an extra group rank or dimension. We then consider the analogue between a quark-gluon plasma and a multiply connected spin-net. Each of the spinor fields, or spin-flags, on the manifold are analogous to quarks. In a quark-gluon plasam each quark is connected to each other through a tangle of gluon tubes which are braided and in a nontrivial topology. In the conformal gravity analogue the system each spin is connected to each other by noncommutative terms. We may think of the manifold as being inherently noncommutative, such as obeying an SU(3) group, and that there is an auxilliary U(1) gauge group which "carries" the connection terms. These is a matter of additional roots, but we will ignore that matter for the moment.

The group is then of course made Lorentzian SU(4)~\sim~spin(6)~\rightarrow~spin(5,1). The analogue of the gluon flux tubes are then multiply connected topologies between spin-flags, which are for no better term worm holes. Then as the universe expands and the coupling constant of gravity becomes weak these are removed. The manifold becomes simply connected and the connection between the spin-flags is simple. The "dual field," and in this picture QCD has a duality with gravity, the coupling constant remains large at low energy (infrared confinement) and the field theory is also Euclidean. So the quark-gluon plasma or confinement "bag" is a vacuum region with a knot topology. The braided structure of gluons are then a dual structure which are a quantum foam.

This of course is not the end of the story, for these need to be embedded in an SO(8) \rightarrow_{Z_2}~spin(7,1) or spin(8) which are a Clifford valued algebra Cl(8). The two parts are extended into F_4 and G_2 and this gives the 248 elements of the 256 N = 8 SUSY, and is the heterotic group E_8. Another approach is to use the face that E_8 containes spin(16)~\sim~ SO(32), which is a representation for the closed string. For the spin group decomposition of these heterotic groups consistently contain the DeSitter group. The spin(16) group has 128 generators. The additional 112 roots (from the total 248 in E_8) define a D_8 group (in terms of root system not lattice), which is an acceptable gauge theoretic model SO(8), which also contains the deSitter SO(3,2) under suitable change of signature. Similarly E_6 and E_7 sit inside E_8. E_6 \times SU(3)/(Z/3Z) and E_7\times SU(2)/(Z/2Z) are maximal subgroups of E_8. The simple heterotic group E_6 may be decomposed into SU(6)\times SU(2), where SU(6) contains the conformal group for gravity SU(4) by

<br /> SU(4)\times SU(2)\times U(1)~\subset~SU(6),<br />

which is remarkably similar to the decomposition of SU(5) in the minimal GUT decomposition into the standard model.

With the group theory preliminaries out of the way we return to physical concepts. Consider a wormhole with openings in different regions of spacetime with different gravitational potentials. The vacua at the two openings are related by a Bogoliubov transformation between their respective raising and lowering field operators. Yet for the observer which traverses the openings the vacuum structure either abruptly changes. However since the observer in a local inertial frame carries their vacuum with then there is then a mismatch between the vacuum the observer carries in their local frame and the vacuum for a coincident local observer in that region. The multiply connected topology of this spacetime has an effective branch cut for the complex valued amplitudes of a quantum field which cycle through the wormhole. This suggests that the openings of a wormhole, or a quantum wormhole define a source for fields. Further, as the openings are multiply connected this is similar to a topologically distinct flux tube between sources. In a strong conformal gravity domain these flux tubes in SU(2) are similar to gluon flux tubes in SU(3) QCD, which connect points in the conformal spacetime to each other through "extra-dimensions. The multiply connected "tube" between the two openings then takes place in extra dimensions, such as the string/brane bulk, or for a LQG spin-net embedded in a larger space.

This then suggests that there are two principles at work here. The source, or vacua ambiguity, means that in a region of spacetime on a small enough scale will exhibit this as an uncertainty principle intrinsic to the geometry of the spacetime. This then suggests that the quantum geometry is noncommutative according to gauge potentials in a region of space or spacetime. Further, this noncommutivity is determined by a gauge potential which defines the multiply connected topology of the spacetime, similar to gluon flux tubes. In what follows these two theoretical observations are brought together to define a new approach to quantum gravity.

We set up the construction as follows. For the group SU(4)\times SU(2) we have the gauge connection A^\mu, which is an SU(2) connection, and the basis vectors e_a,~a~=~1,~2,~,3 for the space of SU(2) and \mu~=~1,~2,~\dots,~6 for SU(4). We may then impose a gauge condition on the system as

<br /> D_\mu e_a~=~(\partial_\mu~+~{\vec A}_\mu\times)e_a.<br />

The gauge vector the carries an added index a, and acts as an internal vector space on the SU(4). The vector potential contracted with the basis vectors A^\mu~=~e^a A^\mu_a is a chromo-electric potential for a color charged SU(2) theory. The SU(2) basis vectors defines a bundle section and the quantum vacuum state for the according to the pure gauge element {\bf e}\wedge d{\bf e} by

<br /> \Omega^k_\mu~=~{\epsilon_{ij}}^ke_i\partial_\mu e_j~=~B^k_\mu e_k<br />

The vacuum potential term B^k_\mu then determines the vacuum fields \underline\underline\Omega~=~d\inderline\Omega according to

<br /> \Omega_{\mu\nu}~=~\partial_{\nu}\Omega_{\mu}~=~\partial_{\mu}\Omega_{\nu}~+~g\Omega_\nu\wedge\Omega_\mu~=~\big(\partial_\nu B^k_\mu~-~\partial_\mu B^k_\nu~+~g{\epsilon_{ij}}^kB^i_\nu B^j_\mu\big)e_k<br />

With the definition of the gauge potential A^\mu~=~e^a A^\mu_a the gauge potential

<br /> {A^\prime}^k_\mu~=~A^k_\mu\cdot e_a~+~{\epsilon_{ij}}^ke_i\partial_\mu e_j~=~(A^k_\mu~+~B^k_\mu)e_k<br />

for a gauge condition with zero {A^\prime}^k_\mu we clearly have the SU(4) gauge potential defined as A_\mu~=~-B^k_\mu e_k.
 
  • #36
This is a continuation of the last post

With this definition of the gauge potential A_\muand the vacuum potential \Omega_\mu we examine gauge transformations by the infinitesimal change in the sectional basis \delta {\vec e}~=~{\vec\epsilon}\times{\vec e}, for \vec\epsilon an infinitesimal vector displacement of vectors in S^3 of SU(2). The vector symbol is for the vector part on S^3 For a general {A^\prime}^k_\mu determined from A^k_\mu~=~-B^k_\mu by a gauge covariant gauge displacement vector \chi^k_\mu give the transformation

<br /> e_i\delta A^i_\mu~=~e_i\partial_\mu\epsilon^i,~e_i\delta{A^\prime}^i_\mu~=~D_\mu e^i<br />

<br /> \delta B^i_\mu~=~-\delta B^i_\mu,~\delta\chi^i_\mu~=~-(\epsilon\times\chi_\mu)^i<br />

which illustrates that the covariant gauge vector \chi^i_\mu and the gauge potential are gauge independent. This covariant gauge vector is a chromodynamic-like field similar to a gluon, or the weak gauge bosons. These potentials determine the physical fields

<br /> F^i_{\mu\nu}~=~\partial_\nu A^i_\mu~-~\partial_\mu A^i_\nu,~e_iG^i_{\mu\nu}~=~-{\vec e}\cdot\partial_\nu{\vec e}~-~{\vec e}\cdot\partial_\mu{\vec e}~=~e_i(\partial_\nu B^i_\mu~-~\partial_\mu B^i_\nu)<br />

<br /> {F^\prime}^i_{\mu\nu}~=~F^i_{\mu\nu}~+~G^i_{\mu\nu}<br />

This then indicate that the vector portions of gauge connections A^i_\mu transform identically with the SU(2) portion of the connection B^i_\mu.

The basis vector \vec e defines a phase U~=~e^{\phi\sigma\cdot\vec e}, for \sigma a vectors of Pauli matrices. A momentum for a particle in the SU(4) space is p_\mu~=~U\partial_\mu U, which when defined in a basis with cos(\phi)~=~0 gives the Lagrangian

<br /> {\cal L}~=~\frac{1}{2}p_\mu p^\mu~+~\frac{1}{16}Tr\big([p_\mu,~p_\nu]\big)^2<br />
<br /> =~-\frac{1}{2}G^\prime_{\mu\nu}G^{\mu\nu}~-~B_\mu B^\mu,<br />

for G^\prime_{\mu\nu}~=~G_{\mu\nu}~+~B_\mu\wedge B_\nu. This Skymre Lagrangian then leads to the dynamical equation

<br /> {\vec e}\times\nabla^2 {\vec e}~-~(\partial_\mu G^{\mu\nu})\partial_\nu{\vec e}~=~~0<br />

This differential equation is \partial^\mu j^i_\mu~=~0 for the term

<br /> j^i_\mu~=~({\vec e}\times \partial_\mu {\vec e})^i~-~G_{\mu\nu}e^i,<br />

where the continuity equation defines a conservation of charge across flux tubes. With ({\vec e}\times\partial_\mu{\vec e})^i~=~\epsilon^{ijk}B^k_\mu e^j the current components are clearly of the form

<br /> j^1_\mu~=~B^1_\mu~+~{G_\mu}^\nu}(B^2_\nu e^3~-~B^3_\nu e^2),~j^2_\mu~=~B^2_\mu~+~{G_\mu}^\nu}(B^3_\nu e^1~-~B^1_\nu e^3),~j^3_\mu~=~B^3_\mu~+~{G_\mu}^\nu}(B^1_\nu e^2~-~B^2_\nu e^1)<br />

The third of these equations may be removed by the gauge condition D_\mu e^3~=~0, which reduces the problem to two dimensions. The two continuity equations found from \partial_\mu{\vec j}^\mu~=~0 are then

<br /> \partial^\mu B^1_\mu~+~B^{3\mu}B^2_\mu~+~\partial^\mu{G_\mu}^\nu B^2_\nu~=~0<br />
<br /> \partial^\mu B^2_\mu~-~B^{3\mu}B^1_\mu~-~\partial^\mu{G_\mu}^\nu B^1_\nu~=~0<br />

This equation may be replaced by the simple substitution \omega^{\pm}_\mu~=~(B^1_\mu~\pm~iB^2_\mu)/\sqrt{2}, which defines creation and annihilation operators for the SU(2) field. The differential equation may be written as

<br /> \omega^{\pm}\partial^\mu\omega^{\pm}_\mu~\mp~\omega^{\pm}B^{3\mu}\omega^\mp_\mu~=~\pm\omega^{\pm}\partial^\mu{G_\mu}^\nu \omega^{\mp}_\nu<br />

which when integrated over S^3 the right hand side defines a charge according to a Chern Simons index

<br /> kQ~=~\pm\int d^3x\omega^{\pm}\partial^\mu{G_\mu}^\nu \omega^{\mp}_\nu~=~\pm\int d^3x\epsilon_{ijk}\epsilon^{\mu\nu\sigma}\omega^i_\mu\omega^j_\nu\omega^k_\sigma<br />

which is also an index for the knot equation. This index is then a topological invariant for the knot topology of the "gluon-like" threads.

This gauge theory with gluon threads on the manifold for conformal gravity connects spin-gravity terms in a multiply connected manner, which might be interpreted as wormholes. The index derived defines a topological invariant for this multiple connectivity in conformal gravity embedded in SU(4)\times SU(2). This structure will next be used to derive a form of noncommutative quantum gravity embedded in the heterotic group E_6, which in turn is embedded in E_8.
 
  • #37
The gluon-like threads on the conformal space is define alternative assignments for how points are connected to each other. One connection between points in conformal gravity might be a path on the spin(4,2) manifold of conformal gravity, while another connection is along the gluon-like flux tube. This may be considered from the perspective of a thickened S^2~\subset~S^3, where the knot equation is defined. The S^2 is a bloch sphere defined by the gauge condition, where every point on this sphere is associated with a copy of spin(4,2). The Cartesian product of conformal gravity with the isposin group defines a fibration on the two sphere by spin(4,2), every bit as much as a spinor fibration on the manifold of conformal gravity. Thus for the spinor field connection A_\mu^i[/itex] the multiple connectivity between two points may be given by the covariant<br /> <br /> &lt;br /&gt; x^\mu~=~y^\mu~+~\Omega_i^{\mu\nu} A^i_\nu&lt;br /&gt;<br /> <br /> The spinor group defines a set of noncommutative coordinates y^\muon the space of conformal gravity due to the internal rotation on the Bloch sphere at each point on the conformal manifold<br /> <br /> &lt;br /&gt; [y^\mu,~y^\nu]~=~i\Omega_i^{\mu\nu}e^i&lt;br /&gt;<br /> <br /> where \Omega_i^{\mu\nu}e^i[/itex] is a symplectic matrix. The orientation of each Bloch sphere on the conformal manifold will deviate by the curvature on that manifold, as well as due to an internal gauge rotation. A general field over the set of noncommutative coordinates established by local interal rotations is then \phi~\in~{\cal A}_\omega. With an intertwiner or n-trad basis E^i_\mu the coodinates on a Bloch sphere may be defined as y^i~=~E^i_\mu y^\mu so that a covariant set of coordinates on the spinor space is&lt;br /&gt; &lt;br /&gt; &amp;lt;br /&amp;gt; x^i~=~y^i~+~\Omega^{ij}_\mu A^\mu_j.&amp;lt;br /&amp;gt;&lt;br /&gt; &lt;br /&gt; Either perspective is equally valid. This n-trad basis is then a frame where on spin(4,2) for a given local basis on the Bloch sphere, or may equivalently define a frame on the Bloch sphere for a covariantly constant basis on spin(4,2).&lt;br /&gt; &lt;br /&gt; The noncommutative scalar field induced by internal spinor rotation defines a two dimensional space determined by a local patch on each Bloch sphere at every point on the conformal manifold. This space is then a tesselated space R^2~=~{\bf U}_i^{\infty} N_i, where each N_i is a neighborhood on each S^2 around where two state vectors point in adjacent or neighboring Bloch spheres. This is a form of an atlas-chart construction which can be explicitely constructed. The transition function between the two charts, or Bloch wheres, defines on R^2 a space of connection terms, which is {\cal A}_\omega. For a general curved space, here the conformal space, the \sigma_i directions will vary and thus define at each point on the spin(4,2) a unique eigen-basis. This infinite set of of eigen-bases then is what the field is expanded upon in an orthogonal and complete set of states&lt;br /&gt; &lt;br /&gt; &amp;lt;br /&amp;gt; \phi(y)~=~\sum_{m,n}|m\rangle\langle n|.&amp;lt;br /&amp;gt;&lt;br /&gt; &lt;br /&gt; This defines {\cal A}_\omega as a C^* algebra who&amp;#039;s generators act on an element \phi(y)~\in~{\cal A}_\omega according to&lt;br /&gt; &lt;br /&gt; &amp;lt;br /&amp;gt; e^{ik\cdot y}\phi(y)e^{-ik\cdot y}~=~\phi(y~+~k\cdot\Omega)&amp;lt;br /&amp;gt;&lt;br /&gt; &lt;br /&gt; The coordinates y_\mu define the adjoint action of the spinor group on the spin(4,2) manifold according to&lt;br /&gt; &lt;br /&gt; &amp;lt;br /&amp;gt; ad_{x_\mu}[\phi]~=~[x_\mu,~\phi(y)]~=~i\Omega^{ij}\frac{\partial x_\mu}{\partial y^i}\frac{\partial\phi}{\partial y^j},&amp;lt;br /&amp;gt;&lt;br /&gt; &lt;br /&gt; where V^i_\mu \partial_i~=~\Omega^{ij}\frac{\partial x_\mu}{\partial y^i}\frac{\partial_j} is a gravitational vielbein for a spacetime metric. The intertwiner E^i_\mu between the two spaces defined by SU(4)~\sim~spin(4,2) and SU(2) defines the simplectic form \Omega_{\mu\nu}, which gives the inverse matrix \langle B_{\mu\nu}\rangle~=~(\Omega^{-1})_{\mu\nu}, which is the vacuum state for the gauge fields, as indicated above. The vielbein above also has its inverse analog U^\mu_i \partial_\mu~=~\Omega^{\mu\nu}\frac{\partial x_i}{\partial y^\mu}\frac{\partial_\nu} &lt;br /&gt; &lt;br /&gt; The space R^2 is defined by the difference between state vectors on Bloch spheres within a chart. The Bloch sphere is defined by Hilbert state vectors modulo the phase, which is the projective Hilbert space PH. Hence the spaces SU(4) and SU(2) represent a double fibration over the projective Hilbert state space. Each these spaces defines a fibration on the projective Hilbert space. The general relativity portion of the conformal group is then a fibration on the state space which is a more complete version of the above discussion on Hawking radiation from an elementary consideration of the Berry phase. The spinor group determines another fibration on the projective Hilbert space, which determine currents or flux tubes between different point on the conformal manifold. Alternatively it defines noncommutative coordinates on the conformal space, which are the gauge parameterization of the quantization of the conformal gravity theory. This double fibration with the sympletic matrix \Omega when it acts on a basis vector \partial_{x} on either the manifold of conformal gravity or the space of SU(2) defines the sympletic dual as p~=~\omega\cdot\partial_{x}. Thus the double fibration is analogous to the one-form \omega~=~\gamma(dx~-~vdt), which can be the Lorentz boosts, or a Lagrangian form used in Finsler geometry. Thus the spaces SU(4) and SU(2) define the two fibrations over the projective Hilbert space according to the vacuum state, equivalently the symplectic form, for the field which defines a noncommuting basis over the spacetime. The term ad_{x_\mu}[\phi] defines the symplectic variable conjugate to x^\mu, which describe a quantum fluctuation due to noncommutative variables.&lt;br /&gt; &lt;br /&gt; In what will follow the noncommutative spacetime is then a coarse grained perspective on the manifold, which is a quantum phase transition. For the full group E_6, or even further E_8 the noncommutative basis transitions into a full heterotic gauge group action that has no scale dependency. But then at the symmetry breaking E_6~\rightarrow~SU(4)\times SU(2)\times U(1) the universal scale invariance of the heterotic group is lost. In the full heterotic group E_8 there exist 16 scalar fields 4\times(2~+~{\bar 2}), which are dilaton/Higgsian type of fields, of which 9 are associated with the conformal SU(4) and the other six are associated with the breaking of the full heterotic E_8.
 
  • #38
Gravitation and gauge fields, such as in the standard model, exhibit a different invariance with respect to vacuum energy rescaling. The Lagrangian for general relativity is L~=~R~+~2\Lambda, for R the Ricci scalar. Thus under a rescaling of the cosmological constant the momentum energy tensor is changed by T_{ab}~\rightarrow~T_{ab}~-~(c^4/8\pi G)\Lambda g_{ab}. This then breaks the symmetry of the gauge field Lagrangian invariance under vacuum rescaling. The cosmological constant then introduces the global curvatures of a cosmology as an Einstein space directly into the gauge field, as well as the Dirac Lagrangians for the source fields or particles. The cosmological constant, with units of inverse length squared and the coupling constant (c^4/8\pi G)~=~(\hbar c/8\pi)L_p^2 give a unit of energy density

<br /> \rho~=~\frac{c^4}{8\pi G}\Lambda~=~(L_pL_c)^{-2},<br />

where L_cis a length associated with the cosmological constant L_c~=~\sqrt{1/\Lambda}~\sim~10^{27}cm, or about the distance to the cosmological event horizon. This then means the vacuum energy density would be approximately \rho~\sim~10^{12}cm^{-4}, or approximately 10^{-46}GeV^4.&lt;br /&gt; &lt;br /&gt; This vacuum energy connects two scales, one which is the smallest scale whereby physics may well breakdown on smaller scales, and the second a cosmological scale, approximately where the cosmological event horizon lies r~=~\sqrt{3/\Lambda}. On scales larger than this cosmological scale quantum amplitudes across the cosmological event horizon are related by Bogoliubov transformations and the vacuum states for fields separated by this distance are not equivalent. Further, on this cosmological scale the homogeneity of time breaks down. As the metric components for the deSitter cosmology explicitely depend on time, such as g_{rr}~=~exp(\sqrt{\Lambda/3}t), there is no way in which there can exist a Killing vector which acts to maintain energy, or the four components of the momentum four vector, holonomically constant. Consequently the constraints on physics according to the Coleman-Mandula theorem, where these symmetries permitted conserve energy, are locally restricted. They pertain within a scale (r~&amp;amp;gt;~L_p,~r~&amp;amp;lt;&amp;amp;lt;~L_c~=~10^{60})L_p, where vacua structure separated by distances approaching the cosmological distance L_c become unitarily inequivalent. &lt;br /&gt; &lt;br /&gt; These two scales L_p,~L_care comparable during the big bang. The early high energy universe, or on a scale where E_8 has been broken and spacetime was governed by SU(4)\times SU(2)\times U(1). The gauge induced wormholes, governed by SU(2), act strongly on the early universe by the shifting T_{ab}~=~T_{ab}~-~\Lambda g_{ab}, where the cosmological constant was large during this inflationary period. As one approaches t~\rightarrow~0 the two scales close L_c~\rightarrow~L_p. Under these conditions the classical spacetime structure fragments into a noncommutative froth as unitarily inequivalent vacua are compressed together into ever small spacetime volumes which become classically indefinable. The symplectic matrix \Omega_{\mu\nu} defines the vacuum energy density in any local region as &lt;br /&gt; &lt;br /&gt; &amp;lt;br /&amp;gt; \rho~\simeq~|\Omega_{\mu\nu}|^{-2}~=~|\langle G_{\mu\nu}\rangle|^2~\sim~\frac{1}{(L_pL_c)^2},&amp;lt;br /&amp;gt;&lt;br /&gt; &lt;br /&gt; where G_{\mu\nu} is the field strength tensor of the SU(2) gauge field. The expansion of the spacetime under the inflationary pressure of a large cosmological constant reduces the influence of the gauge field on the conformal spacetime on larger scales.&lt;br /&gt; &lt;br /&gt; The very early universe after the breaking of the heterotic symmetry is defined as a system of gravity-like excitons which have multiple connections in a spin net and further are defined on vacua which are not unitarily equivalent. The expansion of the universe and the establishment of a stable cosmological horizon length by the Higgsian vacuum extends regions of unitary equivalence over vast distances \sim~10^{10} light years. As the universe expands and ages it asymptotically approaches a deSitter spacetime configuration with a diminishing mass-energy content. Eventually Hawking-like radiation from the cosmological horizon will very slowly cause the cosmological horizon radius increase to infinity as the spacetime approaches a Minkowski spacetime as {itex]t~\rightarrow~\infty. This final state of the universe is the AdS conformal infinity, which is shared by the dS cosmology, since (SO(4,1),~SO(3,2))~\subset~SU(4). <br /> <br /> The evolution of the universe is then a process which maps a set of inequivalent vacua, a purely quantum system of excitons, into a completely classical spacetime configuration with \rho~=~0. The universe is then a map between these voids. The complete symmetry of the universe is then some form of quantum error correction code which preserves the total quantum information through the process. The quantum error correction code is then a Golay or Goppa code, such as that defined by the Leech lattice \Lambda_{24}, which includes three E_8 heterotic groups in a modular system.
 
  • #39
I have so far laid down an intermediate energy hypothesis for quantum gravity which stems from the breakdown of the heterotic group E_6 into a spinorial gauge-like field plus conformal gravity plus an abelian group. The spinorial gauge-like field is SU(2) and induces a noncommutative spacetime basis on conformal gravity that is a spin-net. The non-commutative aspects of the spin-net then describe a holonomy for any enclosed path. The structure of this holonomy is comparatively simple, as seen in Wheeler's trick of rotating a book tied to a ribbon with the other end fixed twice or by 4\pi radian rotation. In general the parallel translation of a vector along a path connecting the two points (x_0,~y_0,~z_0) to (x_1,~y_1,~z_1) rotates that vector around the axis \vec a

<br /> {\vec a}~=~\kappa {\vec x}_0\times{\vec x_1},<br /> [/itex]<br /> <br /> where \kappa is a curvatures scalar related to the Gauss&#039; fundamental forms. The parallel translation around a small parallelogram of area A means that for small angle deviation and {\vec x}_0\times{\vec x_1}~=~|x_0||x_1|sin(\theta)~\simeq~|x_0||x_1|\theta that this angle is given by<br /> <br /> &lt;br /&gt; \theta~\simeq~2A\kappa,&lt;br /&gt;<br /> <br /> which is the result for the Ricci curvature scalar on a small region of constant curvature. <br /> <br /> In a similar light a spinor may be parallel translated. A particle with a spin j\hbar, where the Dirac unit of action is set to unity, is transformed by a unitary operator U_j, which is a group element of the SU(2), which is a group of homomorphisms between spin states. For two points on the base manifold we may define a curve C, or in a sufficiently local small region an edgelink, which defines the amplitude for a spin state at the start and end point of this curve as<br /> <br /> &lt;br /&gt; A_{C}(m_1,~m_2)~=~\langle j_1, m_1|U_j|j_2,~m_2\rangle,&lt;br /&gt;<br /> <br /> for m the eigenvalue of the j_z spin operator. This amplitude defines the elements of the unitary U_j, \langle j_1, m_1|U_j|j_2,~m_2\rangle~=~\langle j_1, m_1|(z|j_2,~m_2\rangle), for z a complex number. This may then be used to define the amplitude for the rotation of a state |j_3,~m_3\rangle as the output from a node n<br /> <br /> &lt;br /&gt; A_n(m_1,~m_2,~m_2)~=~\langle j, m_1|(z|j,~m_2\rangle\otimes|j,~m_3\rangle).&lt;br /&gt;<br /> <br /> This may be interpreted as the input of two spins j_1,~j_2 from two edgelinks into a node and the output state j_3. The complex number is evaluated from the unitary operators for the spins j_1,~j_2,~j_3 as<br /> <br /> &lt;br /&gt; A_{n}(m_1,~m_2,~m_3)~=~(U_{j_3}\odot\langle j_3,~m_3|) z(U_{j_1}|j_1,~m_1\rangle\otimes U_{j_2}|j_2,~m_2\rangle) &lt;br /&gt;<br /> &lt;br /&gt; ~=~\langle j_3,~m_3| U_{j_3}^{-1}U_{j_3} z(|j_1,~m_1\rangle\otimes |j_2,~m_2\rangle) &lt;br /&gt;<br /> &lt;br /&gt; ~=~\langle j_3,~m_3| z(|j_1,~m_1&amp;gt;\otimes|j_2,~m_2\rangle) .&lt;br /&gt;<br /> <br /> Then from the individual unitary spin operators the complex number z is seen to define a map which reduces tensor products from the incoming states to the outgoing state, or equivalently z is a Clebsch-Gordon coefficient. <br /> <br /> In an interative manner these edgelinks may be combined to define a spin network, which also describes an underlying non-commutative structure to spacetime. Any edgelink between two points x,~y, c_{x,y} carries a representation of the SU(2) plus that of conformal gravity. These quantum numbers are j,~q for spin and charge, here the charge being mass. The non-commutative structure of the spacetime is due to a disordered nonlocality or multiple connectivity. We might think of the SU(2) as defining a wormhole that connects two points along another connected path. Any holonomy will is defined according to a loop with an ambiguity with respect to the ordering of points. Energetically this disordered nonlocality is a frustrated system, and can only remain within this ambiguity within the Heisenberg uncertainty in energy. Classically this ambiguity is forbidden.<br /> <br /> Up to this point the subject of supersymmetry has been avoided. Supersymmetry introduces an underlying structure to spacetime. This is a graded algebraic system that defines a supermanifold with coordinates y^\mu~=~x^\mu~+~i\theta^\alpha\sigma^\mu_{\alpha\dot\beta}{\bar\theta}^{\dot\beta}. To the classical structure of the manifold is a spinorial term due to Grassmannian generators \theta,~\bar\theta. N=2 supersymmetry permits an SU(2) symmetry to a manifold with the two supergenerators Q^1_\alpha,~Q^2_\alpha. In what follows some familiarity with supersymmetry is presumed.<br /> <br /> The N=1 Grassmannian generators are \theta^1,~{\bar\theta}^1,~\theta^2,~{\bar\theta}^2. A supermanifold coordinate is then given by<br /> <br /> &lt;br /&gt; y^\mu~=~x^\mu~+~i\theta_1^\alpha\sigma^\mu_{\alpha\dot\beta}{\bar\theta}_1^{\dot\beta}~+~i\theta_2^\alpha\sigma^\mu_{\alpha\dot\beta}{\bar\theta}_2^{\dot\beta}&lt;br /&gt;<br /> <br /> The commutator between two super-coordinates is calculated to be<br /> <br /> &lt;br /&gt; [y^\mu,~y^\nu]~=~\sigma^{\mu\nu}(\theta_1\theta_2 \sigma^\mu\cdot A_\mu~+~H.C.)&lt;br /&gt;<br /> <br /> where \{{\bar\theta}_1,~{\bar\theta}_2\}~=~\sigma^\mu\cdot A_\mu, which is a gauge potential. This is similar to the symplectic form of the non-commutative coordinates previously derived. An anti-commutator between two supergenerators Q_i^\alpha gives<br /> <br /> &lt;br /&gt; \{Q^i_\alpha,~{\bar Q}^j_{\bar\beta}\}~=~2\sigma^\mu_{\alpha{\bar\beta}}(\partial_\mu~+~A_\mu),&lt;br /&gt; [/itex]&lt;br /&gt; &lt;br /&gt; which is the gauge covariant SU(2) operator. &lt;br /&gt; &lt;br /&gt; This then links the internal gauge symmetry for the non-commutativity of spacetime is due to supersymmetry, or is a gauge action due to an N~\ge~2 supersymmetry. From here we have a link to supersymmetry types and their small groups. This will begin to connect us to the 24-cell and quantum error correction code systems.
 
  • #40
For a black hole which emits a particle the back reaction g~\rightarrow~~g&#039; is a classical convenience. It is almost a Copenhagen-esque treatment of the black hole as a classical system which collapses the decoherent state of the emitted quanta (photons etc). Yet for a small enough black hole the metrics for the two black hole configurations differ enough so that the Killing vectors K and K' can't be regarded as equivalent under any sort of "nice" map. To do so is to say that the two metrics have a coordinate to coordinate relationship which violates the covariance principle of relativity. Thus there is no diffeomorphism which can be established to tie one metric to the other --- they pertain to different spaces.

In what follows there is a fairly extensive discussion on mathematics and some conjectures. This is induced by a physical argument that the Wick rotation from a Euclidean to a Lorentzian metric induces a breaking of general covariance between the configuration metrics and decoherence. This gives rise to an energy fluctuation with an associated time uncertainty. This time uncertainty is what gives rise to a macrotime with a Lorentzian signature. Once this mathematics is presented, the existence of knot topology is argued for with a braid group structure PSL_2(Z). This leads to a connection between quantum states of gravity for metric configuration variables with the Lorentzian signature and a Fermi surface. The purpose of this here is to construct a one to one relationship between a Lorentzian spacetime structure and its Euclidean analogue. This will then permit a universal scaling of physics with imaginary time fluctuations \delta t~=~\hbar/kT.

So to first reiterate, let the manifolds (M,~g) and (M&#039;,~g&#039;) be related by a function f so that f:M~\rightarrow~M&#039;. For these two metric homeomorphic to each other we have that

f is bijective (injective & surjective),

f is continuous,

the inverse function f^{-1} is continuous (f is an open mapping).

If such a f:M~\rightarrow~M&#039; exists then M and M&#039; are homeomorphic. Homeomorphisms define an equivalence relation between topological spaces, eg a coffee cup and donut are equivalent. Classes of topological spaces are homeomorphism classes.
Is this homeomorphism a diffeomorphism? A diffeomorphism is a homeomorphism that is C^r, r~\ge~1 differentiable. But as we have seen if the map between the metrics g~\rightarrow~g&#039; is differentiable then \partial U/\partial x exists and this is (in coordinate terms)

<br /> {{\partial U^a_b}\over{\partial x^c}}~=~{{\partial^2y^a}\over{\partial x^b \partial x^c}} <br />

which is a non-covariant map between metrics. Thus the homeomorphism between the two spaces is not a diffeomorphism.

Consider a set of R^4s in the Euclideanized domain, in particular for disks D^4 on a Euclideanized DeSitter spacetime, exist as a set of all possible small R^4s homeomorphic to the disk. We might then consider them as classical configurations, eg non-holomorphic outcomes (state reductions) from the wave functional for spacetime \Psi, for quantum states. In the quantum tunnelling with t~\rightarrow~it there is then a continuation of this homeomorphic structure into the Lorentzian domain of possible spaces. These spaces are similarly not identified to each other by diffeomorphisms. As such the path integral over all possible spacetime configurations is coarse grained into decoherent sets, where these sets are over fields that are diffeomorphic, but decoherence exists between topological spaces that are not diffeomorphic.

With two metrics g and g&#039;, with different Killing vectors we might find an estimate of the change in gravitational self-energy between the two as

<br /> \delta E_G ~= |\Gamma~-~\Gamma&#039;|^2, <br />

where the \Gamma,~\Gamma&#039; are connection terms on the two metric spaces. This energy uncertainty obeys \delta E_g~\sim~\hbar/\delta T. For a weak gravity field these terms will simply be \Gamma~\sim~\nabla\Phi, where \Phi is the Newtonian gravitational potential. So we have as our approximation

<br /> \delta E_G ~= |\nabla(\Phi~-~\Phi&#039;)|^2, <br />

where we might set \Phi~-~\Phi&#039;~=~f, and consider this function in a more general setting. This energy functional on the unit ball B, or B~homeo~B&#039;, defines the map or function f:B~\rightarrow~R,

<br /> E(f)~=~\int_B|\nabla f|^2 db <br />

For the functional to be continuous, the vector space of all such functions need a well behaved topology. This is then well defined in a Euclidean metric, but no the Lorentzian case since the moduli is nonHausdorff. Also for 4-manifolds it can be the case that the ball B has a homeomorphic identification with another such ball (small exotic R^4's) that is not diffeomorphic.

This leads to some conjectures on the relationship between nonHausdorff moduli space, which pertain to the Lorentzian spacetime, and strange properties of four dimensional manifolds determined by the intersection form for such manifolds. Physically this should provide a map between a superposition of states, each over a unique metric configuration variable, and a semiclassical state weighted around a classical state with a nonHausdorff moduli space. The inability to separate different moduli in the Lorentzian case has a relationship with the homeomorphic maps between configuration metrics in the Euclidean case. The terms in the moduli space are \Lambda^1(M_l)/{\cal G} and the curvature terms F~=~D\Gamma in the Euclidean case are in \Lambda^2(M_e), and the intersection form {\underline\omega}^4~=~F\wedge F exists in \Lambda^4 and 4\pi k~=~\int{\underline\omega}^4 is a Chern class.

The set of 4-manifolds, which includes these strange "fake" spaces, have their homeomorphic structure determined by the embedding to two-disks or two-spheres in the space. In one dimension higher this structure leads to a knot topology. Whitney's theorem tells us we can embed a 2-dim space into a 5 dim space. We have a curious ambiguity about embedding 2-dim spaces in 4-dim spaces, for neither of Whitney's theorems apply. Yet we have all this duality/self-duality machinery, which suggests there is some embedding property. Suppose that we have a five dimensional space as R^4\times[0,~\epsilon], where \epsilon is some small number. So we have a thickened R^4. Now consider a disk D^2, where maybe there are "curvatures" from F_{ab} or the Weyl curvature C^{ab}_{cd}. This cap might have been removed from some 2-dim space (call it X^2) we embed in our R^4\times[0,~\epsilon]. If this cap is a cross-cap (points identified with an x~\rightarrow~-x for nonorientable structure), or with some double covering or ..., this then contains some topological information of X^2. We may then isolate all non-trivial topology of X^2 on a set of disks or caps. We know we can embed this D^2 in this 5-dim space by Whitney's theorem. Further, the dual curvatures *F_{ab} or *C^{ab}_{cd} for * = Hodge dual operator, will exist on a dual cap or disk *D^2 if we restrict to R^4 or assume curvature two-forms with direction in the 5-direction are approximately zero. Again Whitney tells us that we can embed this in our thickened R^4.

A theorem by Taubes tells us we can "collect" all the topological charge on a manifold given by the intersection form into a finite number of points and maintain the topology of the space. So as a result I am going to propose that all of the relevant curvature information is restricted to these disks with all of the curvature information. So we have a set of disks \{D^2_i,~ i~=~1,~\dots,~n\} and their dual disks \{*D^2_i,~ i~=~1,~\dots,~n\}, with curvature information and respective duals.

Now for curvatures given be a connection one-form A we may evaluate on a disk *D^2 the Wilson line

<br /> W(C)~=~exp(i \int_C A),<br />

for the curve C on our disk D^2. The expectation of this Wilson curve is the partition function or path integral

<br /> \langle W(C)\rangle~=~\int D[A] W(C)exp(-iS),<br />

where S is the action determined by the curvature two-form F~=~DA. Thus we have there is the skein relationship for over-crossings and under-crossings of lines with

<br /> \alpha\langle W(L^+)\langle~-~\alpha^{-1}\langle W(L^-)\rangle~=~z\langle W(L^0)\rangle<br />

\alpha~=~1~-~2\pi i/kN, z~=~-2\pi i/k N, and L^+ the over-crossing lines, L^- the undercrossing lines and L^0 the noncrossing lines

This suggests that the Whitehead torsion is related to knot polynomials or Braid groups. In other words the Whitney trick works in 5-dim, and it appears that the cobordism is related to the knot polynomial or braid group, or that the Whitehead group W(M)~=~B_n or W(B_n), here restricted to braid groups. For n~=~2 the braid group is the cyclic group, and W(Z) is trivial. For n~&gt;~2 where

<br /> s_i s_j~=~s_j s_i<br /> [/itex]<br /> &lt;br /&gt; s_i s_{i+1} s_i~=~s_{i+1}s_i s_{i+1}~Yang-Baxter~equation&lt;br /&gt; [/itex]&lt;br /&gt; &lt;br /&gt; the braid group is the trefoil knot group for n~=~3 and for n~&amp;amp;gt;~2 these groups are infinite nonabelian groups. It appears that in general W(B_n) is trivial. &lt;br /&gt; &lt;br /&gt; These crossings might be considered to be punctures through the disk D^2, and as such have homotopy content. The permutation of these punctures, given by the Braid group relationship, is a homotopy. This makes some contact with the idea that W(M)~=~W(B_n), here in the case where we are looking at just one disk on the X^2. This appears to be a way of looking at what happens with R^4~=~\lim_{e--&amp;amp;gt;0}R^4\times [0,~\epsilon].&lt;br /&gt; &lt;br /&gt; The modular braid group is PSL_2(Z), which is an orbifold configuration on a hyperbolic group SL_2(C)~=~SU(2)\times SU(1,~1), or SO(2,1). This is the group for anyons. The first homotopy group of SO(2,1) \pi_1(SO(2,1)~=~Z, or infinite cyclic. The braid group is a projective representation of the special orthogonal group SO(2,1), which are representations of anyons.&lt;br /&gt; &lt;br /&gt; For later I will discuss the structure of the Fermi surface. This will connect with my prior discussion of a universal scaling principle with spin fields off a Fermi surface which give a Landau electron-like liquid.
 
  • #41
This is a note on how a Bloch wave analysis of quantum states and fields may be used in quantum field theory and gravitation. This is an approach which uses some results of solid state physics. There have been some approaches of this nature in lattice gauge field theory and there have been some connections with ion traps and quantum gases.

The wave function in a crystalline solid will have a periodicity which matches the occurrence of ions in the lattice. The lattice defines a translation operator T({\vec r})~=~exp({\vec k}\cdot{\vec r} with a periodicity relationship T({\vec r}+{\vec a})~=~T({\vec r}), for |\vec a| the lattice distance. The wave function for a particle is then translated by this operator as

<br /> T({\vec r})\psi({\vec x})~=~\psi({\vec x}+{\vec r}).<br />

The wave function also will exhibit local phase shifts according to a gauge group \cal G. The wave function transforms according to {\cal G}:\psi(\vec x)~\rightarrow~\psi({\vec x})e^{i\theta}. The action of the gauge group and the translation operator is to change the wave function by

<br /> \psi({\vec x})~\rightarrow~UT(\vec r)U^\dagger\psi(\vec x)~=~\psi({\vec x}+{\vec r})e^{i\theta}.<br />

Consider the wave function \psi({\vec x})~=~\psi_0exp(-i{\vec k}\cdot{\vec x}). The action of the group operators U and the translation operator T(\vec r) is then to shift the position variable of the wave function in the position representation. The combined action of the group operator and the translation operator for small group actions U~\simeq~ 1~+~i\theta and small translations T({\vec r})~\simeq~1~+~i{\vec k}\cdot{\vec r} is

<br /> UT(\vec r)U^\dagger~\simeq~(1~+~i\theta)(1~+~i{\vec k}\cdot{\vec r})(1~-~i\theta)<br />

<br /> =~1~-~[\theta,~{\vec k}\cdot{\vec r}]~=~1~-~{\vec k}\cdot [\theta,~{\vec r}]~-~[\theta,~{\vec k}]\cdot{\vec r}~+~O(\theta^2).<br />

The action of this composite operator is to translate wave function from \vec x to \vec x&#039; so that x&#039;~=~x~-~[\theta,~{\vec r}], which maybe written according to

<br /> x&#039;~=~x~+~iU\nabla_kU^\dagger.<br />

In the conjugate momentum representation for T~=~T(\vec k) which translates the wave function on the reciprocal Brillioun lattice there is the conjugate result that

<br /> p&#039;~=~p~+~iU\nabla_rU^\dagger.<br />

The directional derivatives of the group elements define potential terms {\vec A}~=~U\nabla_r U^\dagger and the conjugate potential \vec C~=~U\nabla_kU^\dagger, where in the first case this gives the standard gauge covariant definition of the momentum operator. This results in the O(\hbar) commutation relationships

<br /> [x,~x&#039;]~=~i\nabla_{[k}C_{k&#039;]},~[p,~p&#039;]~=~i\nabla_{[r}A_{r&#039;]},~[x,~p]~=~i~+~i\nabla_{r}C_{p}~-~\nabla_{p}A_{r},<br />

which is a quantum system with noncommutative coordinates. These noncommutative variables are defined by gauge potentials which are evaluated around a loops in position and momentum space, which are a form of Berry phase. The potential terms A_r and C_k, which we can in general write as A_z defines a quantum magnetic-like field B_{z&#039;}~=~(\nabla_{[z}A_{z&#039;&#039;]})_{z&#039;}, which has a clear analogue with the Maxwellian result {\vec B}~=~\nabla\times{\vec A}. This quantal magnetic field is entirely due to the lattice structure of the space, which can be a lattice in solid state physics or a winding number for string on orbifolds. In the case of solid state physics this is related to quantum hall effects and magnetic flux quanta in periodic solids.

The Dirac equation is the square root of the Klein-Gordon equation and constitutes a quaterionic system. The Dirac algebra is a 32-part algebra produced with the combination of the four-vector units (i,~{\bf i},~{\bf j},~{\bf k}) with the unit quaternions (1,~{\bf e}_1,~{\bf e}_2,~{\bf e}_3). Physically the two sets denote spacetime and mass-charge parameters. These enter into the dynamics of a relativistic particle with the relativistic momentum-energy invariant interval

<br /> m^2~=~E^2~-~p^2.<br />

This may then be factorized according to the quaternion elements with the additional phase term e^{-i(et~-~{\bf p}\cdot{\bf x})}, so this interval assumes the form

<br /> (\pm {\bf e}_3E~\pm~i{\bf e}_1{\bf p}~+~i{\bf e}_2 m)(\pm {\bf e}_3E~\pm~i{\bf e}_1{\bf p}~+~i{\bf e}_2 m)e^{-i(et~-~{\bf p}\cdot{\bf x})}~=~0.<br />

By the standard quantization rule E~\rightarrow~i\partial/\partial t and {\bf p}~\rightarrow~-i\nabla the energy momentum interval is reproduced as

<br /> \Big(\pm i{\bf e}_3{\partial\over{\partial t}}~\pm~{\bf e}_1\nabla~+~i{\bf e}_2m\Big)(\pm {\bf e}_3E~\pm~i{\bf e}_1{\bf p}~+~i{\bf e}_2 m)e^{-i(et~-~{\bf p}\cdot{\bf x})}~=~0.<br />

The wave function is then a quaternionic state vector

<br /> \psi~=~(\pm {\bf e}_3E~\pm~i{\bf e}_1{\bf p}~+~i{\bf e}_2 m)e^{-i(Et~-~{\bf p}\cdot{\bf x})}~=~0,<br />

which obeys the invariant interval is the quantum wave equation

<br /> \Big(\pm i{\bf e}_3{\partial\over{\partial t}}~\pm~{\bf e}_1\nabla~+~i{\bf e}_2m\Big)\psi~=~0.<br />

where the basis vectors define the Dirac matrices. It is clear that for a massless system that for the right hand side with the phase term boosted that the Dirac equation is equivalent to

<br /> (\pm {\bf e}_3E~\pm~i{\bf e}_1{\bf p})(\pm {\bf e}_3E&#039;~\pm~i{\bf e}_1{\bf p}&#039;)e^{-i(Et~-~{\bf p}\cdot{\bf x})}~=~0,<br />

for {\bf p}&#039;~=~{\bf p}~+~{\bf A}_r. The Dirac equation then predicts that the momentum vector and energy evolves according to

<br /> {{\partial {\bf p}}\over{\partial t}}~+~\nabla_r E~+~[E,~{\bf p}&#039;]~=~0<br />

<br /> {{\partial E}\over{\partial t}}~-~\nabla_r {\bf p}~+~[{\bf p},~{\bf p}&#039;]~=~0<br />

The first of these differential equations is a modified Hamilton equation due to the addition of a quantum correction term, and the second term is a noncommutative or quantum corrected version of the invariant interval m^2~=~E^2~-~p^2. The commutator is determined by the action of the translation operator upon the group elements. In the case where the group contains the Lorentzian group the gauge potential will in general be A_r~=~A_r~+~\omega\wedge A_r, for \omega the gravitational connection term. The quantum correction due to the noncommutative coordinates will then be of the form

<br /> [{\bf p},~{\bf p}&#039;]_\mu~=~(\nabla_{[r}A_{r&#039;]})_\mu~+~R_{\mu\nu\alpha\beta}U^\nu p^\alpha p^\beta<br />

for both differential equations above when \mu~=~0, and \mu~\in~\{1,~2,~3\}.
 
  • #42
The S-matrix is a topological approach to quantum field theory. It is the jumping off point for the Veneziano amplitude and the basis for string theory. It is based on the notion of an order for the relationship between different quantum fields, which in a more standard QFT approach is a time ordered product. The physical S-matrix obeys unitarity , and in the case of an ordering the vertices are defined so they do not exchange position “freely.” Any change in the ordering of vertices are done according to some discrete symmetry, such as transitions between S-T-U amplitudes.

The ordered S-matrix is constructed so that each vertex, or particle, has a neighbor. In a linear chain for instance a general state is an S-matrix channel of the form

<br /> |\phi\rangle=~|p_1,~\dots,~p_i,~\dots,~p_j,~\dots,~p_n\rangle<br />

This state or S-matrix channel is related to but distinction from the channel

<br /> |\phi\rangle=~|p_1,~\dots,~p_j,~\dots,~p_i,~\dots,~p_n\rangle<br />

The best way to see this is that the particles or vertices p_i and p_j have exchanged their neighbors, and a certain "relationship” structure to the amplitude has been fundamentally changed. The S-matrix is written according to S~=~1~-~2\pi T, so that given two states or channels |p_1,~\dots,~p_n\rangle and |q_1,~\dots,~q_n\rangle will be related to each other by the S-matrix as

<br /> \langle p_1,~\dots,~p_n|S|q_1,~\dots,~q_n\rangle~=~\langle p_1,~\dots,~p_n|(1~-~2\pi T)|q_1,~\dots,~q_n\rangle<br />
<br /> ~=~\langle p_1,~\dots,~p_n|q_1,~\dots,~q_n\rangle~-~2\pi\langle p_1,~\dots,~p_n|T|q_1,~\dots,~q_n\rangle.<br />

For the \langle-| as the in channel and |-\rangle as the out channel then it is clear that p_n and q_1 are neighbors, plus as neighbors through the T-matrix. This then eliminates an open vertex in the chain. The vertices or particles p_1 and q_n are the open elements in the chain and define the “anchor” for the chain, and are thus defined as neighbors in this manner. Hence this process defines a complete linear chain, which is similar in its structure to a gauge-“Moose,” which is a cycle of gauge fields on a compactified space, such as a Calabi-Yau space.

Each of these elements p_i defines a particle or vertex completely according to some set of quantum numbers. Thus each p_i is defined by a vector space V, which is physically some Hilbert space. The linear chain here is then an ordering on a total Hilbert space {\cal H}~=~\otimes_i V_i. Since this construction is based upon the relationship between a p_i and p_{i+1} there is then some natural bilinear operation of the form

<br /> [-,~-]:V\times V~\rightarrow~V.<br />

This defines some product structure for the change in position of any of these elements. In order for this bilinear operation to describe physical states it must obey the Jacobi identity. This then requires that the vector space by k-equipped so that the bilinear operation is defined according to an isomorphism on the vector space {\cal H}~=~k\times V, where the modulus |k| is the number of elements in the chain. We then have that the isomorphism

<br /> Y:{\cal H}\times{\cal H}~\rightarrow~{\cal H}\times{\cal H}<br />
<br /> Y\big((x,~p)\otimes(y,~q)\big)~=~(x,~p)\otimes(y,~q)~+~(1,~0)\otimes(0,~[p,~q]).<br />

The application of Y\otimes id on {\cal H}\times{\cal H}\times{\cal H} then gives

<br /> Y\otimes id\big((x,~p)\otimes(y,~q)\otimes(z,~r)\big)~=~(x,~p)\otimes(y,~q)\otimes(z,~r)~+~<br />
<br /> (1,~0)\otimes(0,~[[p,~q],~r]~+~[[q,~r],~p]~+~[[r,~p],~q]).<br />

This isomorphism on the three spaces is the Yang-Baxter equation, which is satisfied if the permuted double commutator sum vanishes, which is the Jacobi equation. The elements p,~q,~r could be the momentum operators D~+~iA, and the Jacob identity the conservation law

<br /> [[D_a,~D_b],~D_c]~=~\epsilon_{abcd}D_eF^{de}~=~0.<br />

The Yang-Baxter equation is satisfied by the following commutative diagram:

The Yang-Baxter relationship is then defined in the S-matrix by the following observation. The optical theorem with S~=~1~-~2\pi T and the projection of the density matrix according to

<br /> \rho^\prime~=~S\rho S^\dagger~=~\rho~+~2\pi i[T,~\rho].<br />

The neighborhood rule tells us that the commutator is then between elements of the |-\rangle and the \langle-| with regards to the transition or T-matrix, and is thus an example of a neighbor exchange rule.

The Yang-Baxter equation describes braids, which are in this case links between nodes, vertices or particles in the chain. These links are the exchanged with each other just as a braid can connect links at different points in an array. We consider the four nodes with the braids indicated in figure 2. The composition of these braids then leads to the following rules. Every braid in the braid group B_4 is a composition of a number of these braids and their inverses. These three braids are generator of the group B_4. An braid is read from left to right; whenever a crossing of strands i and i + 1 occurs, s_i or s_i^{-1} is written down, if strand i moves under or over strand i + 1 respectively. Upon reaching the right hand end, the braid has been written as a product of the σ's and their inverses.
It is clear that

<br /> s_1s_3~=~s_3s_1<br />

in addition there are the relations which are not quite as obvious:

<br /> s_1s_2s_1~=~s_2s_1s_2,~s_2s_3s_2~=~s_3s_2s_3<br />

These last two are specific examples of the Yang-Baxter equation for braids, which is in general s_is_{i+1}s_i~=~s_{i+1}s_is_{i+1}.

{\bf Associahedra and Configuration Spaces of the S-matrix}

The Yang-Baxter equation describes braids, which are compositions of paths. In general the theory here needs to be extended to compositions of loops. The S-matrix acts upon a loop composed of \langle-| and |-\rangle to define the composition of two loops \langle-|-\rangle with 2\pi i\langle-|T|-\rangle. Homotopy is the mathematical theory for loop topology. For a topological space (X,~p) the loop space \Omega X is defined by the continuous map

<br /> \phi:[0,~1]~\rightarrow~X,<br />

with the compact open-set topology on the endpoints \phi(0)~=~\phi(1)~=~p. Here the vertex or particle p is considered to be the base point of the map. The composition or multiplication of points is given by the rule,

<br /> \pi_1:\Omega X\times \Omega X~\rightarrow~\Omega X,<br />

as the composition of two such maps parameterized by t~\in~[0,~1] by

<br /> \pi_1(\phi,~\psi)(t)~=~\phi\cdot\psi(t)~=~\left\{\matrix{\phi(2t),&amp; 0,~\le~t~\le~1/2\cr\psi(2t~-~1),&amp; 1 /2~\le~t~\le~1}\right\}<br />

The interval [0,~1] is the interval which maps two loops and then labelled as K^2. Similarly the composition of three loops may be defined a second homotopy group according to the map between two compositions of three maps

<br /> \pi_2(\phi\cdot\psi)\cdot\chi~\rightarrow~\phi\cdot(\psi\cdot\chi),<br />

given by the map

<br /> \pi_2:K^3\times(\Omega X)^3~\rightarrow~\Omega X,<br />

with K^2~=~[0,~1]^2

<br /> \pi_2(0,~-,~-,~-)~=~\pi_1(\pi_1(-,~-),~-),~\pi_2(1,~-,~-,~-)~=~\pi_1(-,~\pi_1(-,~-))<br />

This map or composition may be written for two parameters t,~u as

<br /> \pi_2(\phi,~\psi,~\chi)(t,~u)~=~<br />
<br /> \left\{\matrix{\phi((4~-~2u)t),&amp; 0,~\le~t~\le~1/(1~-~2u)\cr\psi(4t~-~(1~+~u)),&amp; 1 /(4~-~2u)~\le~t~\le~1/4~+~1/(4~-~2u)\cr \chi((1~+~u)(2t~-~(4~-~u)/(4~-~2u)),&amp; 1/ 4~+~1/(4~-~2u)~\le~t~1}\right\}<br />

Of course this can be extended further! In this case the parameter space is K^4 and \partial K^4, for K^4 a two dimensional space. This defines the 3-homotopy or compositions of two dimensional surfaces. Homotopy parameterized by \partial K^3 is constructed from compositions of \pi_1 and \pi_3, while \pi_2 parameterized by K^4 is constructed from four continuous maps. These are a set of maps

<br /> \pi_3:K^4\times(\Omega X)^4~\rightarrow\Omega X,~\otimes_i\prod_i\partial K^4~\rightarrow~\Omega X<br />

where the second map is composition of the lower homotopy groups on the boundary of the pentagon K^4, and the product is a sum over the indices on \pi_i which equal 3. This results in the homotopy groups associated with the pentagon K^4 and its boundary \partial K^4~\simeq~S^1 as seen in figure 3

This of course may be extended to arbitrary homotopy groups according to

<br /> \pi_{n-1}:K^n\times(\Omega X)^n~\rightarrow~\Omega X,<br />

which defines a polytope K^5. This defines the vertices according to compositions of \pi_1, lines according to compositions of \pi_2 with two \pi_1 groups, faces according to compositions of \pi_3 with a \pi_1, or a \pi_2 and a \pi_2, and the volumes as given by \pi_4. The homotopy elements are computed, or found, rather tediously. The vertices of the polytope are

<br /> \pi_1(\pi_1(\pi_1(\pi_1(-,-),-),-),-),~\pi_1(\pi_1(\pi_1(-,\pi_1(-,-)),-),-),<br />
<br /> \pi_1(\pi_1(-,\pi_1(\pi_1(-,-),-)),-),~\pi_1(-,\pi_1(\pi_1(\pi_1(-,-),-),-)),<br />
<br /> \pi_1(\pi_1(-,\pi_1(-,\pi_1(-,-))),-),~\pi_1(-,\pi_1(-,\pi_1(\pi_1(-,-),-))),<br />
<br /> \pi_1(-,\pi_1(\pi_1(-\pi_1(-,-)),-)),~\pi_1(-,\pi_1(-,\pi_1(-\pi_1(-,-)))),<br />
<br /> \pi_1(\pi_1(\pi_1(-,-),(\pi_1(-,-)),-),~\pi_1(\pi_1(-,-),(\pi_1(\pi_1(-,-),-)))<br />
<br /> \pi_1(\pi_1(-,-),\pi_1(-,\pi_1(-,-))),~\pi_1(\pi_1(-,-),(-,\pi_1(\pi_1(-,-)))<br />
<br /> \pi_1(-,\pi_1(-,\pi_1(\pi_1(-,-),-)),~\pi_1(-,\pi_1(\pi_1(-,-),\pi_1(-,-)))<br />

The edgelinks of the polytope are similarly

<br /> \pi_2(\pi_1(\pi_1(-,-),-),-,-),~\pi_2(\pi_1(-,\pi_1(-,-)),-,-),~\pi_2(-,\pi_1(\pi_1(-,-),-),-),<br />
<br /> \pi_2(-,\pi_1(-,\pi_1(-,-),-),~\pi_2(\pi_1(-,-),\pi_1(-,-),-),~\pi_2(-,\pi_1(-,-),\pi_1(-,-)),<br />
<br /> \pi_2(\pi_1(-,-),(-,\pi_1(-,-))),~\pi_2(-,\pi_1(-,\pi_1(-,-),-),~ \pi_2(-,-,\pi_1(\pi_1(-,-),-)),<br />
<br /> \pi_2(-,-,\pi_1(-,\pi_1(-,-))),~\pi_1(-,\pi_1(-,\pi_2(-,-,-)),~\pi_1(\pi_2(-,-,-),\pi_1(-,-)),<br />
<br /> \pi_1(\pi_1(-,-),\pi_2(-,-,-)),~\pi_1(\pi_2(-,-,-),\pi_1(-,-)),~~\pi_1(\pi_1(-,\pi_2(-,-,-)),-) <br />
<br /> \pi_1(\pi_2(\pi_1(-,-),-,-),-),~\pi_1(\pi_2(-,\pi_1(-,-),-),-),~\pi_1(\pi_2(-,-,\pi_1(-,-)),-)<br />
<br /> \pi_1(-,\pi_2(-,-,\pi_1(-,-))),~\pi_1(-,\pi_2(-,\pi_1(-,-),-))),~\pi_1(-,\pi_2(\pi_1(-,-),-,-))<br />

Finally the terms corresponding to the faces or plaquettes of the polytope are

<br /> \pi_3(\pi_1(-,-),-,-,-),~\pi_3(-,\pi_1(-,-),-,-),~\pi_3(-,-,\pi_1(-,-),-)<br />
<br /> \pi_3(-,-,-,\pi_1(-,-)),~\pi_1(\pi_3(-,-,-,-),-),~\pi_1(-,\pi_3(-,-,-,-))<br />
<br /> \pi_2(\pi_2(-,-,-),-,-),~\pi_2(-,\pi_2(-,-,-),-),~\pi_2(-,-,\pi_2(-,-,-))<br />

Finally the body of the polytope is given by \pi_4(-,-,-,-,-) There are 14 vertices, 21 edgelinks and 9 plaquettes, which gives the Euler characteristic \chi~=~V~-~E~+~P =~14~-~21~+~9 =~2, which is the topology of a sphere and a proper polytope. The plaquettes of the polytope indicate the structure of polytope, where there are 6 faces composed of \pi_3 and \pi_1 and 3 composed of two \pi_2’s. This polytope is illustrated below in figure 4

This is a regular polytope, which is Stasheff’s K^5 associahedron. Each K^n is a generalization of the pentagon. A full generalization of the theory of associahedra is given by Jean-Louis Loday at:

http://www.claymath.org/programs/outreach/academy/LectureNotes05/Loday.pdf

The number of nodes in the n-1-associahedron is equivalent to the number of binary trees with n nodes, which is the Catalan number C_n.

The associahedron is the basic tool in the study of homotopy associative Hopf spaces.

Loday provides the following method for associahedron construction. Let A_n be the set of planar binary trees with n+1 leaves. Define a_n as the number of leaves to the left of the i^{th} vertex and b_i as the number of leaves to the right of the i^{th} vertex. For t~\in~A_n, define

<br /> M(t)~=~(a_1b_1,~a_2b_2,~\dots,~a_nb_n)<br />

The n-1-associahedron is then defined as the convex hull of M(t).

The above construction of homotopy groups is an association system of elements. The homotopy groups are associative, but the operand they define determines associators and commutators. The pentagon determines a system of commutators and associators according to diagram 5

The associahedra then define operads as a sequence of topological spaces A_{[0]},~\dots,A_{[n]} with an elements e~\in~A_{[1]} and a multiplication map

<br /> \mu_s:A_{[k]}\times A_{[n_1]}\times A_{[n_{k-1}]}~\rightarrow~A_{[n]}<br />

for the order preserving map s:[n]~\rightarrow~[k] and fibration s^{-1}(k)~\simeq~[n_l]. These obey associativity and unitary conditions on sequences of order preserving maps. This is then a generalized construction of the S-matrix according to operad compositions illustrated in figure 5


This figure gives an ordered tree-leaf configuration of order elements. The S-matrix may then be arranged according to such more general orderings and sequences determined by Catalan numbers. These combinatorial relationships will then define generalized amplitude and vertex operators such as the quark gluon interaction in figure 6 determined by the root vectors of the field theoretic group.
 
Last edited by a moderator:
  • #43
{\bf Associativity, Octonions and Skyrme Quark-like Models}

The octonions are generally nonassociative, and the associator (ab)c~-~a(bc)~=~[a,~b,~c] leads to uncertainty in the definition of Jacobi identities. However here an identification is found of the associator with a new Chern-Simons Lagrangian that determines the dynamics due to the nonassociative structure of the octonions. This further indicates that octonionic field theory has a moduli space construction with connections to the geometry of knots. The mathematics of this moduli space are only introduced in the most elementary fashion, and this is then presented as a new frontier of mathematical research.

We consider the nonassociative bosonic fields \phi_\alpha,~\phi_\beta,~\phi_\gamma and their commutators. The commutator [\phi_\alpha\phi_\beta,~ \phi_\gamma] is

<br /> [\phi_\alpha\phi_\beta,~ \phi_\gamma]~=~(\phi_\alpha\phi_\beta)\phi_\gamma~-~\phi_\gamma(\phi_\alpha\phi_\beta)<br />
<br /> ~=~(\phi_\alpha\phi_\beta)\phi_\gamma~-~(\phi_\gamma\phi_\alpha)\phi_\beta~+~[\phi_\gamma,~ \phi_\alpha,~ \phi_\beta]<br />
<br /> ~=~(\phi_\alpha\phi_\beta)\phi_\gamma~-~(\phi_\alpha\phi_\gamma)\phi_\beta~-~[\phi_\gamma,~ \phi_\alpha]\phi_\beta~+~[\phi_\gamma,~ \phi_\alpha,~ \phi_\beta]<br />
<br /> ~=~\phi_\alpha(\phi_\beta\phi_\gamma)~-~(\phi_\alpha\phi_\gamma)\phi_\beta~+~[\phi_\alpha,~ \phi_\beta,~ \phi_\gamma]~-~[\phi_\gamma,~ \phi_\alpha]\phi_\beta~+~[\phi_\gamma,~ \phi_\alpha,~ \phi_\beta]<br />
<br /> ~=~\phi_\alpha(\phi_\gamma\phi_\beta)~-~(\phi_\alpha\phi_\gamma)\phi_\beta~+~\phi_\alpha[\phi_\beta,~ \phi_\gamma]~+~<br />
<br /> [\phi_\alpha,~ \phi_\beta,~ \phi_\gamma]~-~[\phi_\gamma,~ \phi_\alpha]\phi_\beta~+~[\phi_\gamma,~ \phi_\alpha,~ \phi_\beta]<br />

and so

<br /> ~=~\phi_\alpha[\phi_\beta,~\phi_\gamma]~+~[\phi_\alpha,~\phi_\gamma]\phi_\beta~-~[\phi_\alpha,~ \phi_\beta,~ \phi_\gamma]~+~ [\phi_\gamma,~\phi_\alpha,~ \phi_\beta]~+~ [\phi_\alpha,~ \phi_\gamma,~ \phi_\beta] <br />

The double commutator is

<br /> [\phi_\alpha,~[\phi_\beta,~\phi_\gamma]]~=~2\phi_\alpha[\phi_\beta,~\phi_\gamma]~+~[\phi_\alpha,~\phi_\beta]\phi_\gamma~-~[\phi_\alpha,~\phi_\gamma]\phi_\beta~-~<br />
<br /> [\phi_\alpha,~ \phi_{[\beta},~ \phi_{\gamma]}]~+~ [\phi_{[\gamma},~\phi_\alpha,~ \phi_{\beta]}~+~ [\phi_\alpha,~ \phi_{[\gamma},~ \phi_{\beta]}],<br />

and that the Jacobi identity is of the form

<br /> [\phi_\alpha,~[\phi_\beta,~\phi_\gamma]]~+~ [\phi_\beta,~[\phi_\gamma,~\phi_\alpha]]~+~ [\phi_\gamma,~[\phi_\alpha,~\phi_\beta]]~=~<br />
<br /> [\phi_\alpha,~\phi_{[\beta},~\phi_{\gamma]}]~+~[\phi_\beta,~\phi_{[\gamma},~\phi_{\alpha]}]~+~[\phi_\gamma,~\phi_{[\alpha},~\phi_{\beta]}],<br />

where the cyclicity of the associator has been used. Here the subscripts [ and ] indicate anticommutation of these indices, and the associator (~) are defined by the commutator.

If the fields \phi_{[\alpha}\phi_{\beta]}~=~F_{\alpha\beta}, where these field \phi_\alpha are thought of as the differential operator {\cal D}_\alpha and the F_{\alpha\beta} are components of the field strength tensor, then the above Jacobi identity is reduced to

<br /> Cyc[\phi_\alpha,~[\phi_\beta,~\phi_\gamma]]~=~\phi_\alpha F_{\beta\gamma}~+~\phi_{[\beta}F_{\gamma]}\alpha~+~\phi_{[\gamma}F_{\alpha\beta]}~-~<br />
<br /> (\phi_\alpha\phi_\beta)\phi_\gamma~-~(\phi_\beta\phi_\gamma)\phi_\alpha~-~(\phi_\gamma\phi_\alpha)\phi_\beta<br />

The nonassociativity of octonions means this involves a \lq\lq torsion\rq\rq. Using permutation symmetry of the associator an alternate Jacobi identity is

<br /> Cyc[[\phi_\alpha,~\phi_\beta],~\phi_\gamma]~=~ F_{\alpha\beta}\phi_\gamma~+~ F_{\beta\gamma}\phi_\alpha~+~ F_{\gamma\alpha}\phi_\beta ~-~ <br />
<br /> \phi_{[\alpha}(\phi_\beta]\phi_\gamma)~-~\phi_{[\beta}(\phi_{\gamma]}\phi_\alpha)~-~\phi_{[\gamma}(\phi_{\alpha]}\phi_\beta).<br />

The Jacobi identity is then imposed as a topological requirement that d^2~=~0, where the fields \phi_\alpha are coboundary operators. With the antisymmetry of the associator we have the difference between these two permuting commutators by the Jacobi identity requires that

<br /> Cyc[\phi_\alpha,~[\phi_\beta,~\phi_\gamma]]~+~ Cyc[\gamma,~[\phi_\alpha,~\phi_\beta]]~+~ Cyc[[\phi_\gamma,~\phi_\alpha],~\phi_\beta]~=~0,<br />

which means that the associator may be identified as

<br /> [\phi_{[\alpha},~\phi_{\beta]},~\phi_\gamma]~=~{1\over 2}[\phi_\alpha,~ F_{\beta\gamma}]<br />

This indicates that the associator [\phi_\alpha,~\phi_\beta,~\phi_\gamma] is then a determinant of a part of the Chern-Simons Lagrangian

<br /> {\cal L}_{cs}~=~{\cal L}^0_{cs}~+~ {\bf\Lambda}_{[\phi_\alpha,~\phi_\beta,~\phi_\gamma]}~=~\int (A\wedge dA~-~{2\over 3}A\wedge A\wedge A)~+~\int{[\phi_\alpha,~\phi_\beta,~\phi_\gamma]}<br />

Here {\cal L}^0_{cs} pertains to dynamics of with the seven associated subspaces, and {\bf\Lambda}_{[\phi_\alpha,~\phi_\beta,~\phi_\gamma]} involves dynamics from nonassociative action of coboundary operators. This is an interesting find that has connections to knot theory. Here the Chern-Simons Lagrangian from the associator determines the dynamics involved with products of connection terms that are nonassociative.

{\bf Knot Theory, Hopf fibration and Octonions}

Consider \cal M to be out 7 dimensional manifold. We then assign a vector space to this by Z({\cal M}). Consider the vectors X and Y where XY is the Fano plane product. There are then a number of possible properties of this vector space

<br /> Z({\cal M}^*) ~=~ Z({\cal M})^* ~duality<br />
<br /> Z(XY) ~=~ Z(X)\otimes Z(Y)<br />

and in the latter case if X and Y are generalized to disjoint subsets of S^7 then

<br /> Z(S_1\vee S_2)~ =~ Z(S_1)\otimes Z(S_2),<br />

where "\vee" is a product analogous to the wedge product between differential forms. So let V_1, V_2, V_3 be disjoint subsets of S^7, and let the boundaries of these be

<br /> \partial V_1~=~S_1~+~S_2<br />
<br /> \partial V_2~=~S_2~+~S_3<br />
<br /> \partial V_3~=~S_3~+~S_4<br />

Then Z(V_1) is a homomorphism Z(S_1)~\rightarrow~Z(S_2) and Z(V_2) is a homomorphism Z(S_2)~\rightarrow~Z(S_3) etc. We then have that

<br /> Z(V_1 \cup V_2) ~=~ Z(V_1)Z(V_2) \in Hom(Z(S_1), ~Z(S_2)).<br />

This leads to an interesting result

<br /> Z((V_1 \cup V_2) \cup V_3) ~=~ (Z(V_1)Z(V_2))Z(V_3) ~\in~ Hom(Hom(Z(S_1), ~Z(S_2)), ~Z(S_3)))<br />
and
<br /> Z(V_1 \cup (V_2 \cup V_3)) ~=~ Z(V_1)(Z(V_2)Z(V_3))~\in~ Hom(Z(S_1), ~Hom(Z(S_2), ~Z(S_3))),<br />

and nonassociativity means that

<br /> Z((V_1 \cup V_2) \cup V_3) ~\ne~ Z(V_1 \cup (V_2 \cup V_3))<br />
and
<br /> Hom(Hom(Z(S_1), ~Z(S_2)), ~Z(S_3)))~\ne~Hom(Z(S_1), ~Hom(Z(S_2),~ Z(S_3)))<br />

This leads to some interesting generalizations of the constructions used in topology. This generalizes the traditional atlas-chart construction with transition functions. This construction is a bit more complex than usual, for one has to consider the overlap of 3 charts to get associative and nonassociative parts. There will then be transition functions for elements. We have the duality

<br /> \langle e_i,~ \omega_j\rangle ~=~ \delta_{ij}<br />

and differential forms are covariant d~\rightarrow~d ~+~ iA. The space of connections and the moment map \{A\}~\rightarrow~ F for gauge fields is the moduli space A/{\cal G}, \cal G = Lie group.

These correspond to the set of gauge connections that are equivalent by a gauge choice. The two-form for the curvature F ~=~ dA is then the set of fields. We have dF ~=~ 0, and so F is closed and this defines a conservation law. Let a be a 1-form on A/{\cal G}, so that B ~=~ da and dB ~=~ 0. One could have a~ =~ 0 for a simply connected region. However, for multiply connected A/{\cal G} and may be a closed/exact form. This is the Chern-Simons form. For an abelian theory this leads to a ~=~ A\wedge dA,

<br /> L(A) ~= \int A \wedge dA,<br />
and for the nonabelian theory
<br /> L(A) ~=~ \int(A \wedge dA ~+~ {2\over 3}A \wedge A \wedge A) = \int A \wedge DA<br />

The integrand is the Chern-Simons form and the integral is the Hopf invariant. This integral then enters into the path integral

<br /> Z[A] ~=~ \int {\cal D}[A] exp(iL(A)).<br />

{\bf Discussion}

We have illustrated a connection between the S-matrix, associahedra and knot theory. The underlying nonassociativity of quantum states, and their corresponding associative homotopy groups, illustrates that a more general method for ordering states is possible with an underlying nonassociativity. The result is a field theory which is similar to a Skyrme model. This also can produce a generalized system for computing vertex operators. The Chern-Simon’s Lagrangian results in actions for coherent states, which under a product of all vacuum configurations gives a beta function for a four-point vertex function. In a similar manner the four point vertex function corresponds to ordered arrangements of four nodes. All possible combinations of these elements is a binomial distribution. However, the tree leaf ordering on these combinations according to a system of preferential attachments. This will define an Euler Beta function, which is the Veneziano amplitude result.


\bye
 
Back
Top