Sketches from the life of hypercomplex numbers.
K.V. Andreev
Every science result represents an element of a puzzle from the general picture of the world. Every element has connectors with the help of which it connected to its neighbors. A sketch is called a description of how these connectors are connected to each other. But each painter represents the world as he sees it. Therefore, all pictures of the world are different. And all elements of a puzzle are connected to each other whimsically. This article is a description of the small piece of a full picture from the hypercomplex life as it is seen to the author. Therefore, in the article, the main ideas of the induction construction arXiv:1204.0194, arXiv:1110.4737, arXiv:1202.0941, arXiv:1208.4466 are considered in the form of sketches. By and large, the article establishes a link between Clifford algebras and alternativeelastic algebras at the level of connectors.

Real numbers.
The first axiom system for arithmetic of real numbers was published by Hilbert in 1900. Real numbers can be determined by the following axioms:

Field Axioms.

Closure of under addition: .

Associativity of addition: .

Commutativity of addition: .

Existence of additive identity element: .

Existence of additive inverse: .

Closure of under multiplication: .

Associativity of multiplication: .

Commutativity of multiplication: .

Existence of multiplicative identity element: .

Existence of multiplicative inverse: .

Distributivity of multiplication over addition: .

Nontriviality: .


Ordering Axioms.

Reflexivity: .

Antisymmetry:.

Transitivity:.

Totality:.

Relationship between order and addition: .

Relationship between order and multiplication: ,
.


Completeness Axiom.
If and are nonempty subsets of such that for every and for every we have , then there exists such that for all and all .
Note that in 1936, Alfred Tarski set out an axiomatization of the real numbers, consisting of only the 9 axioms [34, p. 275 (rus)].


Complex numbers.
Complex numbers were introduced by Italian mathematician Gerolamo Cardano in the 16th century (1545). A complex number is represented as , where i is called the imaginary unit and . and are real numbers. Unlike real numbers, complex numbers don’t form an ordered field. The complex number is called complex conjugate to .

CayleyDickson numbers.
Let an algebra be given then the algebra is determined as follows from [1] (in 1942). For all and the new imaginary unit , the hypercomplex numbers form and the parities

;

;

;

are executed.


Quaternions.
Quaternions were introduced by Hamilton in 1843 [17] with the three imaginary units (). However, the quaternions form an noncommutative associative division algebra. Each quaternion is formed by a pair of complex numbers according to the CayleyDickson procedure.

Octonions.
Octonions were introduced by John T. Graves (in 1843) and Arthur Cayley (in 1845) independently [14], [11] with seven imaginary units. However, the octonions form an noncommutative nonassociative alternative division algebra. Each octonion is formed by a pair of quaternions according to the CayleyDickson procedure. Instead of the associative low, the alternative lows exists: (left), (right). The automorphism group has the dimension equal to 14 and is a subgroup of the orthogonal group whose the dimension is equal to 28. One of the invariants is the algebra identity that reduces the dimension on 7. What is the second invariant that reduces the dimension on 7 else?

Sedenions.
Sedenions were introduced by John T. Graves with 15 imaginary units. However, the sedenions form an noncommutative nonassociative alternativeelastic nondivision algebra. Each sedenion is formed by a pair of octonions according to the CayleyDickson procedure. Instead of the alternative low, the weakly alternative low exists: . This identity is equivalent to both the flexible low and the powerassociative low a(aa)=(aa)a [1], [19], [6].

Alternativeelastic algebras.
An alternativeelastic algebra over field is formed by the following axioms [6]:

Closure of under addition: .

Associativity of addition: .

Commutativity of addition: .

Existence of additive identity element: .

Existence of additive inverse: .

Closure of under multiplication: .

Weakly alternativity of multiplication: .

Existence of multiplicative identity element: .

Existence of multiplicative inverse: .

Distributivity of multiplication over addition: .

Nontriviality: .
One can determine the metric on the algebra as . In particular, each CayleyDickson algebra, constructed from by CayleyDickson procedure applied a number of times, is a metric alternativeelastic algebra.


Complex and real representations. Real inclusion.
In the article [24] (in 1959), the Norden affinor was introduced as
, where is a complex structure. In 1989, this allowed to introduce the Neifeld operators [22] (). This provided a transition between the real and complex representations: and . In addition, one can locally define a real inclusion with the help of an inclusion operator : according to [22] and can determine the involution in the complex space as  complex conjugation) (). In particular, for the metric tensors, the connecting parities are executed [2, p. 12, eq. (3.11); p. 17, eq. (4.10)], [3, p. 11, eq. (3.11); p. 15, eq. (4.10)(eng), p. 135(12), eq. (3.11); p. 140(17), eq. (4.10)(rus)]. 
Clifford algebras.
Clifford algebra (was discovered in 1878 by Clifford William Kingdom) over the field is determined by generators () satisfied the Clifford equation , where is identity operator. Each generator is represented by a matrix whose the dimension is equal to , where . The space , on which the generators are defined, is called base space. One can pass to one of the complex representations such the generators (see next Section) that leads to the complex algebra , each generator of which is represented by a matrix whose the dimension is equal to . A generator of the Clifford algebra can be constructed with the help of an inclusion operator for the inclusion of the real space into the complex space . Note that the Clifford generators can be reduced by the formula . And the components can be formalized as . And the Clifford equation will take the form . Accordingly, the space () is called spinor space. The operators are the connecting ones and define spinor formalism. This means that a path of the algebraic load is transferred onto the connecting operators; this simplifies some tensor parities and leads to new spinor ones, which are not obvious in the tensor form. A good example is the spinor classification of the Weil tensor [25, v. 2, p. 256(eng)] unlike the tensor ones [26]. For our purposes, such an algebraic expression, which carries most of the algebraic load, will be the triple product [21, p. 272] written down in one form or another. Note that both the connecting operators and the structural constants of an algebra have three indexes for each. Can one associate these two objects together? And what will be the third object of this link? Will this be the second invariant for the octonion automorphism group that reduces the dimension on 7 else? The answer to these questions is here [5], [3, p. 48, eq. (9.3)(eng), p. 175(55), eq. (9.3)(rus)], [2, p. 55, eq. (9.3)], [6, eq. (43)(45)], [7, eq. (2)].
where is the controlling symmetric spintensor and is the second invariant for the octonion automorphism group. For the real inclusion , such an algebra with the structural constant will be a metric alternativeelastic algebra over the field . Well, but how to solve the Clifford equation for even n? And why controlling symmetric spintensor is an invariant under the octonion automorphism group? We need to look at the history again. But at the beginning, it is necessary to answer on the question: What is a complex representation of the real connecting operators?

Complex representation of the connecting operators.
The Neifeld operators induce spinor analogues on the spinor space. In this case, every Ith subspace has its own Neifeld operator (, ) [3, Algorithm 6.1, p. 77(eng), pp. 154155(3132)(rus)], [2, pp. 3132]. The Norden affinors induce the two pairs of operators on the spinor space (, , , )
Note that is both the identity operator on and the canonical Norden affinor on . Let be equal to 0 for and 1 for then one can define the pair of operators ( , , , )
for the spinor space. Finally, one can obtain the complex representations of the connecting operators (, ), but not all of them can be significant. Note that () is the complex pseudoorthogonal transformation, where is both the complex structure on and the identity operator on in the definition of the Norden affinor , where , . So it is necessary to answer on the question to justify the spinor decomposition of the Norden affinor: How to construct spinor analogs of complex orthogonal transformations? All significant complex representations are equivalent in all its properties, and therefore will be omitted if the number of a considered representation is not significant.

Complex orthogonal transformations. Involutions.
More than once, we will be faced with theorems named after Élie Cartan in connection with spinors. It is one of them. The theorem was generalized to quadratic forms over arbitrary fields by Dieudonné.
Theorem 1.
(CartanDieudonné)[12, p. 33(rus)] Let be a vector space of dimension . Every isometry which is not the identity is the composition of at most reflections with respect to hyperplanes, where and g is a nondegenerate quadratic form on .
In 1938, Cartan was published this result in [15, Chapter I, Section 10]. Thus, any complex orthogonal transformation can be represented as a product of elementary transformations of the form . The elementary transformations can be decomposed with the help of the triple product for the connecting operators as [21, pp. 272275]. Then on the spinor space, spinor analogs from the for special orthogonal transformations are induced [3, p. 28, eq. (6.42)(eng), p. 156(33), eq. (6.42)(rus)], [2, p. 33, eq. (6.42)].
In the case when the algebra identity preserved, . For the octonions, the automorphism group keeps the algebra identity, therefore the controlling spintensor must be invariant under spinor orthogonal transformations corresponding to automorphism group transformations that reduces the dimension on 7 else. In more detail, the blockdiagonal structure can be found in [28, p. 94109]. For the nonspecial orthogonal transformation the decomposition
is performed. This makes it possible to pass to infinitesimal transformations by the equation [3, p. 52, eq. (10.6)(eng), p. 184(61), eq. (10.6)(rus)], [2, p. 61, eq. (10.6)].
For n=8, it is easy to calculate the dimension of the automorphism group for alternativeelastic algebras using this equation [7]. For the involution, for the given signature, only one of the two decompositions
is executed [3, p. 29, eq. (6.47)(eng), p. 156(33), eq. (6.47)(rus)], [2, p. 33, eq. (6.47)].

KleinFockGordon equation.
In the first time (1926), the KleinFockGordon equation was considered by Schrodinger, but was submitted by Vladimir Fock in 1927. In 1928, British physicist Paul Dirac formulated the equation, the simplified record of which has the form (). In order to get the KleinFockGordon equation, the Dirac equation is necessary multiplied by that will lead to the Clifford equation for . This initiated the study of Clifford equation solutions for [25]. However, it is more convenient to consider the inclusion and to pass to the spinor formalism for the complex space and the real representation . Why? Because there is an universal geometric construction: the Cartan triality principle (in 1925) [15, p. 175(rus)], [28, p. 534]. In the future, one can always go back with the help of the appropriative real inclusion using the reverse motion. For example, for the inclusion , one can define the Infeldvan der Waerden symbols (, , ). By this equation, the involution is introduced in the definition of the symbols . Accordingly, the involution will generate the involution for the complex Dirac operators , and in this special basis, will be executed. Thus, we can define the Majorana spinor as which corresponds to the presentation [36, p. 98, Appendix E (eng)], [3, p. 89, Section 14.7.1(eng), p. 225(102), Section 14.5.6(rus)], [2, p. 102, Section 14.5.6].

Cartan triality principle.
Theorem 2.
(The triality principle for two Bcylinders)[3, p. 91, Section 14.7.2(eng), p. 227(104), Section 14.5.7(rus)], [2, p. 104, Section 14.5.7], [4, p. 70, Section 5.7(eng), p. 183(94), Section 5.7(rus)], [8]. In the projective space , there are two quadrics (two Bcylinders) with the following main properties:

The planar generator of a one quadric will define onetoone the point R on the other quadric.

The planar generator of a one quadric will uniquely define the point R on the other quadric. But the point R of the second quadric can be associated to the manifold of planar generators belonging to the same planar generator of the first quadric.

The rectilinear generator of a one quadric will define onetoone the rectilinear generator of the other quadric. And all the rectilinear generators belonging to the same planar generator of the first quadric define the beam centered at R belonging to the second quadric.

For even n 8 the dimension of the base space is greater than the one of the spinor space.

For n = 8 the dimension of the base space is equal to the one of the spinor space.

For even n 8 the dimension of the base space is less than the one of the spinor space.
Thus, for n 8, one can construct the division normalized algebra. For n 8, the 0divisors appear, because the inclusion of the base space in the spinor one is performed with the help of the inclusion operator , which is included in the definition of algebraic basis elements and ultimately determines the 0divisors of an algebra itself. The weakly normalization identity has the form . This identity is the normalization identity for n=8 only ( in this case). What is based the triality principle on?


Rosenfeld nullpairs.
Rosenfeld nullpairs lie in the heart of the triality principle. Let the pair be Rosenfeld nullpair [27], [29, p. 378]. In the space (where ), defines the point and defines the plane with incidence condition [29, p. 362]. Therefore, we can construct the space , which is dual space to . Then the space is Rosenfeld nullpair space. It should be noted that such the spaces were studied by Sintcov [31] and Kotelnikov [20] for the first time. Both a twistor is constructed form pair spinors and a bitwistor consists of two twistors, and an isotropic bitwistor is the nullpair with the incidence condition. The isotropic bitwistor is associated to the parity as well as an twistor is associated to pair spinors [25, v. 2, p. 47, eq. (6.1.13)], where is the same as in [25, v. 2, p. 306, eq. (9.3.7)] for the real inclusion in the special basis. A vector of the base space is determined by analogy with [25, v. 2, p. 306307] just as [3, p. 8384(eng), p. 218223(95100)(rus)]. The metric tensor acts on the base space, and its metric analog acts on the bitwistor space. Thus, the two quadrics are define:

the quadric, determined with the help of ;

the quadric, determined by the 6 parameters with the help of .
This quadrics are the Bcylinders from Theorem 2. This allows to obtain the representation of an isotropic twistor on the isotropic cone of the base space . This is completely analogous to the representation of a spinor on the isotropic cone of the spacetime with only the one difference: the dimensions of the flag and the flagpole are increased by 1 [3, p. 7277(eng), p. 205210(8287)(rus)]. In order to construct the representation, one can need to use the result of the paper [35] and to define the matrix differential. Besides, the Theorem 2 combines both the Cartan triality principle and the Klein correspondence [25, v. 2, p. 307313].


Spinor formalism. Partial solutions of the Clifford equation.
Solutions of the Clifford equation for n=4 are given in [25] and associated to the Pauli matrixes. As is known, they are 4: an one antisymmetric matrix and three symmetric matrixes. In Russia, for n=6, the first appearance of partial solutions of the Clifford equation seems to be attributed to [24] in 1959. They are related to Plucker coordinates for the Grassmannian . To foreign publications, the article [18],[13] can be attributed. Further development of these results were obtained by Ukrainian physicist Yu. P. Stepanpovskiĭ [32], [33]. Thus, for n=6, the partial solutions of the Clifford equation can be represented with the help of six antisymmetric matrixes. It should be noted that the specified formalism is closely connected with the BogolyubovValatin transformations [30]. It can be shown that for n=8, partial solutions of the Clifford equation can be represented with the help of 8 matrixes: seven antisymmetric matrixes and an one symmetric matrix [5], [3, p. 77, Section 14.4(eng), p. 211(88), Section 14.4 (rus)], [2, p. 88, Section 14.4]. Therefore, we must assume that for even n, partial solutions of the Clifford equation can be represented with the help of matrixes: antisymmetric matrixes and symmetric matrixes . Note, that the Penrose spinor formalism for n=4 is based on the Klein correspondence [25], while the spinor formalism for even n can be considered on the base of the Cartan triality principle [9], [2][4]. And because the Klein correspondence is a particular case of the Cartan triality principle then it makes sense to consider the spinor formalism for n=8 and then to go back to n=4 with the help of the reverse motion.

Bott periodicity. Classification of metric group alternativeelastic algebras.
In 1908, Cartan discovered the principle of periodicity for the Clifford algebras [16], [11], [21] . But this property is true for any signature of the metric. This means that the main properties must be preserved for algebras with the same value n mod 8. The presence of an symmetric metric spinor on the spinor space provides the existence of the group structure with respect to multiplication for n mod 8 = 0. This implies that since octonions are endowed with the group alternativeelastic structure then alternativeelastic algebras exist for any n mod 8=0. Moreover, octonions is initial induction step for the construction of such the algebras for n mod 8 = 0. To construct the next evendimensional connecting operators, one can use the inductive transition of the form
with different variations of this form as shown in Algorithm 9.1 [3, p. 50(eng), p. 181(58)(rus)], [2, p. 58], in Algorithm 1 [6]; ; ; ; ; . Note, that similar constructions are considered in [28, p. 518] for alternions. Besides, such the transition is given in [25, p. 65, eq. (6.2.18)]. Thus, the connecting operation can be constructed inductively for any n mod 8=0. For inclusion : , any metric alternativeelastic algebra can be expanded into the basis, the Ielement of which is the algebra of the form
where is the metric spinor on the spinor space, and guarantee the existence of the algebra identity. We will consider such the orthogonal basis elements , which are transformed into each other with the help of the orthogonal transformation only and . Indeed, any controlling symmetric spinor can be decomposed as
In particular, CayleyDickson algebras admit such the decomposition and are special orthogonal metric alternativeelastic algebras. This means, that such the algebra is generated by special orthogonal transformations from the single basis element. This element is generated from the controlling spinor with the significant coordinates [6, p. 8]. The construction of the sedenion algebra, based on this expansion, is realized in Appendix [6]. One can easy classify these algebras for n = 8. This classification is based on the one of eigenvalues of the controlling spintensor [7]. For the octonion algebra [7, ex. 1], has the single significant eigenvalue, and therefore the dimension is reduced on 7 else. A similar classification can be constructed for any n mod 8 = 0.

Complex and real representations of (pseudo)Riemannian spaces.
Under complex analytical Riemannian space , we will further understand an analytical complex manifold supplied with analytical quadratic metric, i.e., a metric defined by means of a symmetric nonsingular tensor (here ; ), which the coordinates are analytical functions of the point coordinates. To this tensor, there corresponds complex Riemannian torsionfree connection, the coefficients of which are defined by the Christoffel symbols, and hence these coefficients are analytical functions. The tangent bundle to this manifold has fibers that is fibers isomorphic to the ndimensional complex Euclidian space, the metric of which is defined by the value of the metric tensor at the given point. The real representation of has the tangent bundle with fibers isomorphic to . Let an atlas be set on . We will consider reparametrization of this atlas such that , which is locally solvable as . Set
Then the operators are coincide with the ones from Section 8 [3, p. 9, Section 3(eng), p. 133(10), Section 3(rus)], [2, p. 10, Section 3].

Complex and real connections over Riemannian spaces. Case I.
Therefore, if one can define the connection () in the tangent bundle for the real representation then the connection () is induced in the tangent bundle for the complex representation by the covariant constancy of the Neifeld operators. Then onto the spinor bundle with fibers isomorphic , the connection prolongs with the help of the covariant constancy of the connecting operators. If someone can want to move into the real inclusion then he must request the covariant constancy of the inclusion operator that will lead to the Riemannian connection () [3, p. 59, Corollary 11.1(eng), p. 190(67), Corollary 11.1(rus)], [2, p. 67, Corollary 11.1],[4, Section 3]. In the last case, on the spinor bundle, the induced involution must be the covariant constant. On the spinor space, such the connection is called connection compatible with involution. Hereinafter, all connections are torsionfree.

Revers motion: Lie operator analogues. Spinpair space. Case II.
The connection can be prolonged an another way onto the spinor bundle [3, p.59, Theorem 11.2(eng), p. 191(68), Theorem 11.2(rus)], [2, p. 68, Theorem 11.2]. On a tangent fiber of the real representation , one can define the operator and (, ) such that and . This is always possible for . Then the compatibility condition of the connections for the real representation will have the form . For the complex representation, the operators