Lawrence B. Crowell
- 190
- 2
Follow on with octonions
This might be a bit outside of the GEM theory, but I figured I would try to clarify a couple of things.
\\
Let b_q~\rightarrow~\phi_q b_q for q~=~\pm k and \phi_q a scalar field that obeys
<br /> [\phi_q,~\phi_{q^\prime}^\dagger]~=~f(q,~q^\prime),<br />
<br /> [\phi_q,~\phi_{q^\prime}]~=~g(q,~q^\prime)<br />
Then the commutator of \phi b_q is
<br /> [\phi_q b_q~,\phi_{q^\prime}b_{q^\prime}]~=~[\phi_q,~\phi_{q^\prime}]b_q b_{q^\prime}<br />
<br /> =~1/2/{b_q,~b_{q^\prime}/}g(q,~q^\prime)~=~e_i,<br />
for the appropriate i on the table. In this way one can treat fermions as nonassociative
//
The division algebra is one that want e_ie_j = e_k =/=0. If e_k is zero without either e_i or e_j being zero then there is said to be no algebra. At the level of octonions it is said that this is the final algebra.
//
The whole process of construction from reals, complexes, quaterions and octonions involves a pairing of each other. The simplest of course is the complex plane where z~=~(x,~y) and the defined multiplication
<br /> c*z~=~(a,~b)*(x,~y)~=~(ax~-~by)~+~i(bx~+~ay)<br />
<br /> (a,~b)*(x,~y)~=~(ax~-~by,~bx~+~ay)<br />
The same goes for the quaternions, they are a pairing of complex numbers. Octonions are then in turn a pairing of quaternions. At each level one loses ordering, commutivity and finally associativity. This also reflects the so called Cayley numbers and the multiplication rule with pairing defines what is called the Cayley-Dickson algebra.
\\
The octonions are pairs of quaternions. Consider the octonion O~=~(A,~B) and O^\prime~=~(X,~Y). The multiplication of these two is then
<br /> O\cdot O^\prime~=~(AB~+~e^{i\phi} Z^\dagger B,~BX^\dagger~+~AP). <br />
where the argument is usually taken as \phi~=~\pi/2. For a system of quaternions \sigma_i and \bf 1 this defines four additional elements e_i.
\\
Now for quaternionic valued operators as fields which satisfy the BRST quantization condition Q^2~=~0, where \psi~\in~ker(Q)/im(Q) gives the field as purely topological. In other words \psi~\ne~Q\chi. In this way it is possible to have the square of an element in the octonions being zero without it in a strict sense being unalgebraic. Of course in the octonions of operators e_je_j =/=0 for i =/=j.
\\
What is this good for? I might go on about this in greater detail in another post, but the Dirac operator \Gamma^a\partial_a has the same topological information as the field. Further, in general the Dirac matrices (the quaterions) may have a representation which depends upon the chart on the base manifold. Thus a more general Dirac operator is \partial_a\Gamma^a\_. In this way the quaternions are operators.
\\
In the case of sedenions one has e_ie_j~\ne~0 and algebra is lost. There are eight octonions within it that are "islands" of algebra, but "outside" of them appears to be algebraic "chaos." However, I think that by Bott periodicity there is structure there and I think it is involved with some sort of topology. The sedenions define S^7\times S^7\times G_2, which probably constrains this topology.
\\
Lawrence B. Crowell
This might be a bit outside of the GEM theory, but I figured I would try to clarify a couple of things.
\\
Let b_q~\rightarrow~\phi_q b_q for q~=~\pm k and \phi_q a scalar field that obeys
<br /> [\phi_q,~\phi_{q^\prime}^\dagger]~=~f(q,~q^\prime),<br />
<br /> [\phi_q,~\phi_{q^\prime}]~=~g(q,~q^\prime)<br />
Then the commutator of \phi b_q is
<br /> [\phi_q b_q~,\phi_{q^\prime}b_{q^\prime}]~=~[\phi_q,~\phi_{q^\prime}]b_q b_{q^\prime}<br />
<br /> =~1/2/{b_q,~b_{q^\prime}/}g(q,~q^\prime)~=~e_i,<br />
for the appropriate i on the table. In this way one can treat fermions as nonassociative
//
The division algebra is one that want e_ie_j = e_k =/=0. If e_k is zero without either e_i or e_j being zero then there is said to be no algebra. At the level of octonions it is said that this is the final algebra.
//
The whole process of construction from reals, complexes, quaterions and octonions involves a pairing of each other. The simplest of course is the complex plane where z~=~(x,~y) and the defined multiplication
<br /> c*z~=~(a,~b)*(x,~y)~=~(ax~-~by)~+~i(bx~+~ay)<br />
<br /> (a,~b)*(x,~y)~=~(ax~-~by,~bx~+~ay)<br />
The same goes for the quaternions, they are a pairing of complex numbers. Octonions are then in turn a pairing of quaternions. At each level one loses ordering, commutivity and finally associativity. This also reflects the so called Cayley numbers and the multiplication rule with pairing defines what is called the Cayley-Dickson algebra.
\\
The octonions are pairs of quaternions. Consider the octonion O~=~(A,~B) and O^\prime~=~(X,~Y). The multiplication of these two is then
<br /> O\cdot O^\prime~=~(AB~+~e^{i\phi} Z^\dagger B,~BX^\dagger~+~AP). <br />
where the argument is usually taken as \phi~=~\pi/2. For a system of quaternions \sigma_i and \bf 1 this defines four additional elements e_i.
\\
Now for quaternionic valued operators as fields which satisfy the BRST quantization condition Q^2~=~0, where \psi~\in~ker(Q)/im(Q) gives the field as purely topological. In other words \psi~\ne~Q\chi. In this way it is possible to have the square of an element in the octonions being zero without it in a strict sense being unalgebraic. Of course in the octonions of operators e_je_j =/=0 for i =/=j.
\\
What is this good for? I might go on about this in greater detail in another post, but the Dirac operator \Gamma^a\partial_a has the same topological information as the field. Further, in general the Dirac matrices (the quaterions) may have a representation which depends upon the chart on the base manifold. Thus a more general Dirac operator is \partial_a\Gamma^a\_. In this way the quaternions are operators.
\\
In the case of sedenions one has e_ie_j~\ne~0 and algebra is lost. There are eight octonions within it that are "islands" of algebra, but "outside" of them appears to be algebraic "chaos." However, I think that by Bott periodicity there is structure there and I think it is involved with some sort of topology. The sedenions define S^7\times S^7\times G_2, which probably constrains this topology.
\\
Lawrence B. Crowell
Last edited: