The H_1 and H_2 I presume as elements of the J3(O) then I presume that X is then some nonassociating element The equation
dX = [H_1, X, H_2]
corresponds to the associator. The odd think is that the Jacobi identity for
6[x, y, z] = [x, [y, z]] + [y, [z, x]] + [z, [x, y]],
which in standard group theory is zero. This is probably one reason that most people reject the idea of nonassociative mathematics. I myself would be tempted to say that for the real eigenvalues of J3(O) diagonalized with F4 that the associator has zero contribution.
The extension to E6 = SL(3, O) involves the subgroups sl(2,O) and SU(2, O). We the include the real forms of D5 and B4 in addition to the eigenvectors of F4 that are the Hurwitz quaternions. This means cranking out the roots and weights of PSO(9,1) and SO(9). The SO(9) is contained in the F4, and so we now have to contend with SO(10) or SO(9,1). For the SO(9,1) we have Lorentz boosts now to contend with. The elements H_3в--¦X, the Jordan product then evaluates according to the work I did last month with
Tr(Aв--¦Q_О») = 2П‰([П‡, П‡'])
For Q = v_λ(v_λ)^†/\langle (v_λ)^†|v_λ\rangle
Which is a projector in J3(O). Now since the eigenvalues can be imaginary it poses I think no particular problem with the closure of the Jacobi identity.
That H3 is 26 dimensional does give a sort of triality situation. The 26 dimensions are "half" of the F4, where there are two dual root systems. The 24 roots in the 24 cell are (+/-ВЅ, +/-ВЅ, +/-ВЅ, +/-ВЅ) = 16 roots and (+/-1, 0, 0, 0) = 8 roots with units permuted. These Hurwitz quaternions are z = a + bi + cj + dk. There is a dual set of 24 roots (+/-1, +/-1, 0, 0). These fill out the 48 roots of the F4 with the additional 4 weights.
We have then the E6(-26) is a set of Hurwitz quaternions plus another "half" or fundamental representation of F4. The invariant S = ПЂ sqrt{I_1}is then cubic in the elements from the three fundamental representations. The quaternion roots when summed give three fundamental quantities associated with the action or invariant. It is then interesting to note that E7(-25) is then 133 - 25 which contain 108 dimensions, suggesting a span equivalent to two F4s.
Just to further the argument with respect to 5-branes, the generator of the partition function for the 5-brane (NS5-brane) is ПЂ sqrt(Q_1Q_5n_5) with n_5 = EL/2ПЂ for E the energy of the brane and L its scale. The charge Q_5 is the charge of the NS5-brane and Q_1 that of a D1 on the brane. The determinant system is of the same form. Given that the cubic system is for the d = 5 system the space in five dimensions is identified as the NS5-brane.
The invariant I_1(p, q) defines the metric with z = (p, q)
ds_4^2 = (1/I_1(z))(dt + ПЃ_idz^i) + I_1(z)dx_idx^i
where the entropy function I(z + δz) = I(z) + J(I)(z)δz + δz^†H(I)(z)δz. For J(I)(z) = Jacobian matrix and H(z) the Hessian matrix with second derivatives. Clearly H(I)(z) = J(∇I)(z). The near horizon moduli can then be
q_ОЈ + (∂I(z)/∂p)_ОЈ + X(∂^I(z)/∂q∂p)_ОЈ = 2iZ(О")M_ОЈ
p^ОЈ + (∂I(z)/∂q)^ОЈ + X(∂^I(z)/∂q∂p)^ОЈ = 2iZ(О")L^ОЈ
where the X is meant to indicate twistor geometry with
П‰'^A = П‰^A + X^{AA'}ПЂ_A'
In effect the inclusion of the second derivative "twistorizes" this. We then have the twistor connection ПЃ^i = Пѓ^i_{AA'}X^{AA'}. The holomorphic coordinate variable of interest is
t^ОЈ(p,q) = (M_ОЈ/M^0) =
(p^Σ + (∂I(z)/∂q)^Σ + X(∂^I(z)/∂q^2)^Σ)
(p_0 + (∂I(z)/∂q)_0 + X(∂^I(z)/∂q^2)_0).
For holomorphy we have ∂^I(z)/∂z^2 = 0 so that ∂^I(z)/∂q^2 = ∂^I(z)/∂p^2. The invariant then obeys
∂^I(z)/∂z∂z-bar = ∂^I(z)/∂q^2 + ∂^I(z)/∂p^2,
and the invarant is a Kahler potential.
The harmonic symplectic
H(z) = (H^a, H_a) = h + sum_s=1^nО"_s/|z - z_s|^p = h + О"/|z - z_s|^p
for the far field situation z >> z_s the invariant is I_1 ~= h + О"/z^p. The metric element is (∇xПЃ)_i = _i and ∇^2ПЃ_i = _i. The invariant is written as a product so that
(1/3!)c_{ijk}t^i t^j t^k = h + О"/z^p = e^{-2U(z)}.
The holomorphic coordinates corresponds to the NS5-brane a string on the brane and momentum associated with the energy scale of the brane.
In ten dimensions the line element determined by the 5 dimensions tangent to the branes, Greek indices, the directions tangent to the branes and transverse to the string (D1-brane) on the brane, Latin index n, and the spatial directions 1, 2, 3, 4 transverse to both the NS5-brane and the D1-brane, Lattice index j, and finally the index 5 in the direction the NS5-brane is moving,
ds^2 = A^{-1}[g_{ОјОЅ}dx^Ојdx^ОЅ + B(-dt^2 + dx_5^2)] + Adx^jdx^j + Cdx^ndx^n.
The event horizon in 10 dimensions is 8 dimensional. This has 5 dimensions tangent to the brane and 3 dimensions transverse to it. This then occurs in the metric term
A^{-1}r^2dО©^2.
The metric coefficient is ~ 1/r^p, for p = 5 - horizon dimension on the brane = 2. It is also dependent on the brane and string scales r_1 and r_5, from which we compute A^{-1}B. This is compared to the metric for I_1 above. These occur separately so that
A^{-1} ~ r_1^2r_5^2/r^2.
The area is then Area = r_1^2r_5^2. For the direction along the motion of the brane we have in Euclideanized metric the area is then
Area = r_1^2r_5^2n_5^2LV^4.
For L the scale of the brane and V^4 the volume in the 1, ..., 4 transverse directions. The distances are the square of the respective charges so that
Area = K sqrt{Q_1Q_5n_5}
This then connects S = ПЂ sqrt(det A^3) to the area of a black-brane or black hole.
LC