Guest Editor's Note: Clifford Algebras and Their Applications

Guest Editor’s Note Clifford Algebras and Their Applications Zbigniew Oziewicz∗ Received July 20, 2000 The history and immediate future of the International Conferences on Clifford Algebras and Their Applications. Seven topical sessions in Ixtapa. Dirac operator: cross relations. Polemic guide: signature change, quasigroups, pseudotwistors. Clifford cogebra, coconnection and Dirac operator for Clifford cogebra. 1. HISTORY AND IMMEDIATE FUTURE This journal issue has grown out of the Fifth International Conference on Clifford Algebras and Their Applications held in Ixtapa, México, in summer 1999. The history and immediate future of these conferences is as follows: 1985 The First Conference was organized by J. S. Roy Chisholm at the University of Kent in Canterbury, United Kingdom. 1989 The Second Conference was organized by Artibano Micali at the Université des Sciences et Techniques du Languedoc, Montpellier, France. 1993 The Third Conference was organized by Richard Delanghe at the Universiteit Gent, Deinze, Belgium. 1996 The Fourth Conference was organized by Klaus Habetha at Rheinisch Westfaelische Technische Hochschule, Aachen, Germany. 1999 The Fifth Conference was organized by Zbigniew Oziewicz in Ixtapa, México. 2002 The Sixth Conference is organized by Rafal Ablamowicz (jointly with John Ryan) at the Tennessee Technological University, Cookeville, Tennessee; see http://math.tntech.edu/rafal/mexico/mexico.html. ∗ Universidad Nacional Autónoma de México, Facultad de Estudios Superiores, C.P. 54700 Cuautitlán Izcalli, Apartado Postal # 25, Estado de México, oziewicz@servidor.unam.mx. Supported by el Consejo Nacional de Ciencia y Tecnologı́a (CONACyT) de México, Grant # 27670 E and by UNAM, DGAPA, Programa de Apoyo a Proyecto de Investigación e Innovación Tecnológica, Proyecto IN-109599. A member of Sistema Nacional de Investigadores de México, Expediente # 15337. International Journal of Theoretical Physics 40 1–13, 2001. c 2001 Plenum Publishing Corporation. Printed in USA. 2 ZBIGNIEW OZIEWICZ A poster announcing the Fifth Conference on Clifford Algebras in 1999 appeared in 1997 with an International Advisory Board the same as the Editorial Board of the journal Advances in Applied Clifford Algebras, edited by Jaime Keller in México since 1991. However in March 1999, 3 months before the Conference date, the organization fell into a crisis, with no chairman, no expected funds, and no local organizing committee in México. The conference was almost canceled. That it was not is due to the efforts of a scientific committee in México consisting of Marcelo A. Aguilar, Raymundo Bautista, Zbigniew Oziewicz, José Antonio de la Peña Mena, Marcos Rosenbaum, Enrique Ramirez de Arellano, Adolfo Sanchez Valenzuela, Eduardo Bayro-Corrochano, Garret Sobczyk. The Ixtapa Conference was supported by: 1. The Departamento de Matematicas del Centro de Investigación y de Estudios Avanzados del Instituto Politecnico Nacional, México City. In April 1999, a 1-year student strike began at the Universidad Nacional Autonoma de México; without of generous help of Enrique Ramirez de Arellano who offered an office and secretarial help in his Departamento de Matematicas, the organization of the Conference would not have been possible. 2. The Instituto de Mátematicas de Universidad Nacional Autonoma de México, México City, and personally by Marcelo A. Aguilar and José Antonio de la Peña Mena. 3. The Centro de Investigación en Matemáticas, Guanajuato, particularly Eduardo Bayro Corrochano and Adolfo Sanchez Valenzuela. The participants would like to thank most cordially A. Irma Vigil de Aragón and students-volunteers Rosalia Flores Ballesteros, Elizabeth Rivas Martinez, Claudia Rosas and Ricardo Padilla Torres, for their generous assistance. The Ixtapa Conference attracted 120 participants from 23 countries: 27 from México, 25 from the United States, 10 each from the United Kingdom and Poland, 9 from Germany, 5 from Spain, 4 each from Japon and Russia, 3 each from Canada, Italy, Portugal and Sweeden, 2 each from Belgium, Brazil and China, and single representives from Austria, Cuba, Egypt, Finland, Israel, The Netherlands, Slovenia and Switzerland. During the 6 days there were 119 lectures mostly in two parallel sessions. 2. THE SEVEN TOPICAL SESSIONS IN IXTAPA Dedicated to Gian-Carlo Rota. Gian-Carlo Rota and Joel A. Stein in 1994 raised the problem of accomodating Clifford algebra with the Hopf gebra or bigebra structure (this is the Bourbaki terminology (Bourbaki, 1989), instead of bial gebra, etc) and concluded that no such structure is possible (Rota & Stein, 1994, p. 13058). I considered Chevalley deformation of Woronowicz’s braided generalization of an exterior algebra (and cogebra) (Woronowicz, 1989), leading to braided Clifford algebra. After Micho Durdevich arrived to México in 1993, we began stimulating discussions on this subject, which resulted in several separated and joint publications: on Clifford algebra for a Hecke braid (Oziewicz 1995), on Clifford algebra for arbitrary braid (Durdevich and Oziewicz, 1994, 1996), and on Clifford quantum (i.e. Hopf) algebra (Durdevich, 1994, 2001, this volume). However at this time I started to believe that the notion which must GUEST EDITOR’S NOTE 3 be studied first is Clifford cogebra alone, and that the question of how to define the Clifford bigebra in terms of a joint pair algebra and cogebra can be studied subsequently (Oziewicz, 1997, 1998) in the spirit of a Lie bigebra (cf. Michaelis, 1980). In meantime, Durdevich defined Clifford Hopf gebra without Clifford cogebra (1994, 2000). Starting in 1995, I had many inspiring electronic discussions with Gian-Carlo Rota concerning how to accomodate the Hopf gebra or bigebra structure within a Clifford algebra. In 1997, we meet at the AMS Meeting in Oaxaca, México, where we also arranged for him to give the main invited plenary lecture at the Fifth Conference on Clifford Algebra in Ixtapa, México. Gian-Carlo Rota died at the end of April 1999, just before the Conference. I arranged a special session for the first day of the Conference dedicated to the memory of Prof. Rota with five lectures by scientists who new him personally, David Ritz Finkelstein, Bernd Schmeikal, Zbigniew Oziewicz, and Luis Verde-Star. Leopoldo Román Cuevas was forced to withdraw at the last moment for health problems. ACACSE’99. Eduardo Bayro-Corrochano and Garret Sobczyk organized a 2-day Workshop on Applied Clifford Algebra in Computer Science (Cybernetics, Robotics, Computer Vision, Neural Computing, Image Processing) and Engineering. This led to a published volume edited by Bayro-Corrochano and Sobczyk (2000) that consists of 25 contributions. Clifford Analysis. This Session on Local and Global Problems in Clifford Analysis took place over the 2 days of the Ixtapa Conference and was organized by Enrique Ramirez de Arellano, John Ryan and Wolfgang Sprößig Spinor Structures and Dirac Operators. This session was organized by Micho Durdevich. Nonassociative Structures. Lev Sabinin organized the session on Moufang quasigroups and loops, which can be understand also as a triple of binary operations related by identities, generalizing a group operation to nonassociative structure. Gravity and Elementary Particles. This session was organized by Leopold Halpern and Kurt Just. Mathematical Physics. This session was organized by David Ritz Finkelstein. The authors had several options for the submission of their papers: either to the volumes edited by Rafal Ablamowicz and Bertfried Fauser (2000), John Ryan and Wolfgang Sprößig (2000), and Eduardo Bayro Corrochano and Garret Sobczyk (2000), or to the present issue of the International Journal of Theoretical Physics. Some authors used this possibility to increase their number of publications, because scholars are evaluated based on quantity rather than quality. Thus, some papers were artificially divided up for double or triple submissions. Editors and referees heroically cooperated in order to avoid overlapings and duplications. Therefore 4 ZBIGNIEW OZIEWICZ sometimes it is necessary to read all the papers written by the same author(s) and scattered among different publications, and we sincerely suggest the reader do this. David Hestenes and many his followers are convinced that ‘the much larger community of scientists and engineers is interested in the powerful tools of geometric algebra’, as opposite to Clifford algebra. However, besides these irrelevant different names, there is also a deeper diversity of the philosophies that can not be discussed so easily (Hestenes, 1992). I want to thank the authors for their contributions to the present volume and to the reviewers for their generous help. Most of these publications were reviewed by up to three independent referees. After referee reports, most of the contributions were expanded and several times revised. We have tried to organize the present issue thematically, by grouping related contributions. This has not been completely successful as several authors span several areas. 3. DIRAC OPERATOR: CROSS RELATIONS In the present volume most of the papers deal with the Dirac operators: from the minimal coupling, γ ◦ ∇ ∼ γ µ (∂µ − iAµ ), to the maximal coupling (Kähler, 1960, 1961, 1962), γ ◦(∇+c⊗−) with c in the Clifford algebra of the differential multiforms Cℓ(V, −) ∼ V ∧ , see the last Section for more details, c = Scalar + Vector + Bivector + Trivector + . . . ∈ Cℓ(−, −). If B = 12 Bµν dxµ ∧ dxν ∈ V ∧2 then γ ◦ B = 21 γ µν Bµν is said to be the Pauli term. There seems to be a general trend to generalize the Dirac equation to maximal coupling. In particular this is strongly advocated in this volume by Rolf Dahm through a phenomenology of the strong interactions, the model of the proton, etc, and also by José Gabriel Vargas and Douglas Graham Torr. Vargas and Torr’s paper in this volume must be read together with the paper, Clifford-valued Clifforms: geometric language for Dirac equation, in Ablamowicz & Fauser (2000). A Dirac operator with the maximal coupling, in particular with the Pauli coupling, is referred to as ‘the generalized Dirac operator’ by Jürgen Tolksdorf. Tolksdorf ’s paper also must be read together with another paper of his, Geometry of generalized Dirac operators and the Standard Model of particle physics, in Ryan & Sprößig (2000). One should expect that all other papers dealing here with the minimal coupling γ ◦ ∇ will be extended soon to maximal coupling, ∇ → ∇ + c ⊗ −, or to γ µ ∂µ − iγ µ Aµ + 21 γ µν Bµν +. . . . In particular, it would be very interesting to see the analysis made by Eduardo Piña extended to maximal coupling, including in particular the Pauli term. The same expectation holds for analysis of the Hestenes equation made here by Bertfried Fauser. Another paper related to Fauser’s analysis is De Leo et al. (1999). One can also expect that the spectral problems considered by Micho Durdevich and by Robert Owczarek for the minimal coupling can be extended to the maximal coupling (this seems to be not so easy). Trautman et al., in Dietrich et al. (1998), study the spectral problem for the modified Dirac operator. This modification involve an orientation (a chirality) γ5 5 GUEST EDITOR’S NOTE and it seems that it can be included as a particular case in the maximal coupling problem. Kurt Just et al. in the context of the quantized Dirac field, prove that a nonquantized maximal coupling Bose field is a functional of the Dirac field. It would be interesting to try to reiterate the same analysis in the framework of noncommutative algebra without Minkowski space, but with an additional structure of the Clifford C-algebra of a hermitian form. Kurt Just and James Thevenot, in the context of the quantized fields, raise the problem of the Pauli terms, and their paper, Pauli term must be absent in the Dirac equation, is published in Ablamowicz & Fauser (2000). Marcos Rosenbaum gives a fairly comprehensive overview of Alain Connes’ noncommutative theory. Even more interesting subject, the Hopf algebra of Feynman diagrams, is reviewed in another paper by Marcos Rosenbaum jointly with J. David Vergara, Dirac operator, Hopf algebra of renormalization and structure of space-time, in Ablamowicz & Fauser (2000). Eckehard W. Mielke, Leopold Halpern and Norma Susana Mankoč Borštnik study the Dirac equation in the context of elementary particles and gravity. It would be interesting also to consider the Clifford algebra and the Dirac operator on the lifted algebra in the spirit of Yano & Ishihara (1973) and Kainz and Michor (1987). In particular, if T denotes the tangent lift, then the Clifford algebra Cℓ(V, η) can be lifted to Cℓ(T V, T η). One can expect the Dirac operator for a lifted metric T η to be relevant to gravity. 4. POLEMIC GUIDE: SIGNATURE CHANGE, QUASIGROUP, PSEUDOTWISTOR David Miralles, Josep Manel Parra and Jayme Vaz, Jr. deal with the change of the signature. Franco Israel Piazzese is concerned with a similar problem and his paper, Pythagorean metric in relativity, is published in Ablamowicz and Fauser (2000). What does ‘the change of signature’ mean? Piazzese’s map (cf. Miralles et al.) depends on (1,3)-splitting. Let p ≡ (E, p) ∈ V be a momentum in Minkowski R-space with a scalar product p2 = E 2 − p2 . The Piazzese map is ! r p2 p2 . , p p = (E, p) 7−→ E E2 Then Minkowski norm of p is the same as Pythagorean norm of the image, p2 = E 2 − p2 =  p2 E 2 + p2 p2 . E2 However it seems that Piazzese’s ‘quasi-classical dynamics’, as presented in Ixtapa, has nothing to do with the above ‘change of signature’ map and is just a consequence of the identity for the Lorentz’s relativistic factor γ, γ −2 ≡ 1 − u2 c2 =⇒ c2 = u2 + c2 · γ −2 . 6 ZBIGNIEW OZIEWICZ Miralles et al. explore that the sum of two diagonal metrics with different signatures, say the Minkowski gM and Euclidean gE metrics, is a degenerate metric 1 2 (gM + gE ) and such degenerate metric can be constructed from a splitting by selecting some unit vector(s). Nonassociative algebraic structures are considered in several papers: by Artibano Micali, Jerzy Kociński, Lev Sabinin, Larissa V. Sbitneva and by Alexander I. Nesterov. Contribution by Micali will be published in one of the next issues for editorial reasons, see also his contribution to the volume edited by Dietrich et al. (1998). Micali deals with an associative Clifford k-algebra Cℓ(V, η ∈ V ∗ ⊗V ∗ ), for not necessarily associative nor necessarily unital k-algebra (V, m) with a non trivial weight ω ∈ alg(V, k). A scalar product η depends on this given weight ω in rather complicated way. Lev Sabinin has long time been reformulating a Riemannian differential geometry in terms of the smooth quasigroups and loops (= unital quasigroups), introduced by Ruth Moufang around 1935, instead of the Lie groups. A quasigroup is a nonassociative generalization of a group, and can be understand, for example, as a triple of binary operations related by identities. This structure can be treated in the framework of Birkhoff’s equational universal algebra and it would be desirable to study different axiomatics in the same way as in the group theory by trying to determine the minimal set of relations etc., as in the program presented by Tarski (1968). It also would be interesting to study the extension theory of quasigroups, i.e. short exact sequences of quasigroups, in the spirit of the Eilenberg (1948) program, in a similar way to extension of groups. One can expect that extensions of quasigroups should lead to the general theory of representations of quasigroups and in particular to general theory of odules (extending the family of modules, bimodules, etc.). Sbitnieva demonstrates how naturally the R-odule arises in special relativity. Sabinin introduces for the smooth loops (≃ Lie loops) the vector fields, Lie bracket (Lie algebra?), and (affine) connection, but without mentioning the Leibniz condition. I was expecting to see the (analogy of) the Leibniz condition for a derivation. In the differential geometry of the Lie groups, a vector field is by definition a derivation, so one can ask how this definition can, or cannot, be adopted to the smooth loop case? Andreas Bette, and Julian Lawrynowicz and Osamu Suzuki, deal with the twistors invented by Roger Penrose and also studied independently, among many other, by Jan Rzewuski in Wroclaw since 1970s (Kocik and Rzewuski, 1996). Bette’s review paper on twistor approach to the Dirac equation is published in Ablamowicz and Fauser (2000) and this introductory paper should be read first. Another approach to the Dirac operator in the framework of the twistor bundle was presented by Gusiew and Keller (1997). Lawrynowicz and Suzuki decided to submit two papers on the same subject, first in Ablamowicz and Fauser (2000) with a continuation is published in the present issue. They generalize the Penrose program for some (not any) other signatures, introducing pseudotwistors and bitwistors. However, the reader of both papers may find difficult to understand this terminology (among other) because all motivations was omitted and the relation with Penrose’s twistors is not explained. Fortunately the papers contain the extensive list of references. The name spinor have been introduced by Élie Cartan in 1913. However, the GUEST EDITOR’S NOTE 7 Pauli σ matrices and the Dirac γ matrices with all defining Clifford algebra relations (without of these names) where already published by I. Schur in 1911. We add to this issue the first English translation of this historical paper by I. Schur. In Chapter VI (paragraph 21) of this paper Schur deals with a finite Clifford group and with a spinor representation of the Clifford algebra in terms of tensor product of essentialy Pauli matrices [Schur (1911), formulas (50) and ff.]. 5. CLIFFORD COGEBRA AND CLIFFORD CONVOLUTION My lecture in a session dedicated to the memory of Gian-Carlo Rota, was devoted to, among other things, Clifford cogebra. This was the only lecture devoted to this concept, besides a related paper on general cogebra by Borowiec and Vázques Coutiño (this volume). I hope that the next Conference in 2002 has a session on Clifford Cogebra and Applications. Here I would like give a brief review of its motivation (Oziewicz, 1997, 1998; Cruz and Oziewicz, 2000; Fauser and Oziewicz, 2000). I believe that a Clifford cogebra must play also an important role in all applications similar to a Clifford algebra. In what follows, k is an associative and unital N-algebra k ⊗N k → k (a semiring), or a Z-algebra k ⊗Z k → k (a ring), not necessarily commutative and ⊗ means ⊗k . Further, we will need also coscalars, i.e. N-cogebra k → k ⊗N k (a co-ring). A binary k-algebra is a k-bimodule V, an extension of k, with a multiplication mV as a k-bimodule map mV : V ⊗ V → V. This looks like a Feynman tree graph with one vertex m describing an anihilation. A binary k-cogebra is like a creation process with a comultiplication △V as a k-bimodule map △V : V → V ⊗ V. It is hard to believe that an algebra structure may be sufficient to explain all problems in fundamental science, in applications, in engineering, in elementary particle physics, in logic, etc. The algebra and cogebra jointly give rise to convolution algebra and thus the name convolution. It was Heinz Hopf who discovered in 1941 that a convolution, m and △, intertwine in algebraic topology, and thus the name Hopf gebra for an associative unital and antipodal convolution. The algebra and cogebra are like brother and sister, and it is unfortunate that present-day elementary textbooks on linear algebra do not mention this sister. The reader not familar with semirings and bimodules can exchange a semiring for a field R and a k-bimodule for a vector R-space with almost no loss. The only difference is that in a case of a noncommutative k there are two different types of ‘covectors’, left and right covectors, because the right dual k-bimodule V ∗ does not need to be the same as the left dual k-bimodule ∗V. In what follows, (V ⊗ V )∗ ≃ V ∗ ⊗ V ∗ , etc. If (V, △V ) is a model of a k-cogebra △, then a dual k-bimodule V ∗ with △∗V is a k-algebra (and also a left dual k-bimodule ∗V with ∗△V is an another k-algebra). In finite dimensions and in case of the graded dual in general, we have also thre converse statement. In what follows, V be a finite dimensional k-bimodule and a tensor η ∈ V ∗ ⊗ V ∗ be a k-valued ‘arbitrary bilinear form’ on V, where k needs not to be commutative. We do not need to assume that η T = η, where η T denotes transpose of η. Durdevich’s noncommutative algebra Σ in this issue is a particular N-algebra or Z-algebra or R-algebra or C-algebra and can be understand as our k in what follows. 8 ZBIGNIEW OZIEWICZ Rota and Stein (1994) introduced a deformation of a convolution (and of a Hopf gebra), called Cliffordization, a graphical ‘sausage’, which can be applied to any convolution neither antipodal nor even unital. I showed in my lecture that Clifford cogebra alone can be obtained from an exterior Hopf gebra by anologous coClifordization, dual to Rota and Stein’s Clifordization, ✝ ✆& ✞ ☎ (η, ξ) ✲ cliffordization ✞☎✞☎ ✤✜ ∧ ✝∧r ✆ & ✞ξ r ☎ η ✣ ✢✝ ✆ ✝ ✆ Here an exterior cogebra △ : V ∧ → V ∧ ⊗ V ∧ follows from the dual exterior algebra ∧ : V ∗∧ ⊗ V ∗∧ → V ∗∧ , △ ≡ ∧∗ , and can be calculated explicitely as follows, for v, w ∈ V : △1 = 1 ⊗ 1, △v = 1 ⊗ v + v ⊗ 1, △(v ∧ w) = 1 ⊗ (v ∧ w) − v ⊗ w + w ⊗ v + (v ∧ w) ⊗ 1, etc. A tensor η ∈ V ∗ ⊗ V ∗ is a scalar product on V (coscalar on V ∗ ), and ξ ∈ V ⊗ V is a coscalar product on V. These tensors lift to algebra maps η ∧ ∈ alg(V ∧ , V ∗∧ ) & ξ ∧ ∈ alg(V ∗∧ , V ∧ ). Let id|V ∗∧n ∈ V ∗∧n ⊗ V ∧n and id = idV ∗∧ or appropriately id = idV ∧ Then for a basis {ei ∈ V } and a dual basis {εi ∈ V ∗ }, εi ej = δji , we have the braid dependent expansions ξ ∧ = ξ ∧ ◦ id = 1 ⊗ 1 + ξ + 12 [(ξεi ) ∧ (ξεj )] ⊗ (ej ∧ ei ) + η ∧ = η ∧ ◦ id = 1 ⊗ 1 + η + 21 [(ηej ) ∧ (ηei )] ⊗ (εi ∧ εj ) + 1 3! . . . ≃ exp ξ, 1 3! . . . ≃ exp η. An exponential of a tensor ξ, i.e. a lifted tensor ξ ∧ ≃ eξ , in fact is braid dependent (Oziewicz, 1997). A vertex ξ ∧ in a graphical sausage must be understand as a process v ⊗ w 7→ v ⊗ ξ ∧ ⊗ w. The Graßmann R-cogebra (V ∧ , △) possess one group-like element only, namely 1 ∈ R, and therefore is a pointed irreducible cogebra. A Clifford cogebra possess a discrete number of group-like elements and this number is correlated with the signature. In the same spirit one can treat Weyl ization or Heisenbergization of the symmetric exterior Weyl Hopf gebra. The quantization as the Moyal deformation of a symmetric multiplication (1949), in terms of the Poisson bivector field involves differential structure and most probably cannot be presented in as compact form as the above Rota & Stein’s Cliffordization. If Cℓ(V, η) = (V ∧ , ∧η ) with ∧η=0 ≡ ∧, is a Clifford k-algebra (or R-algebra) as the η-Cliffordization of an exterior Hopf k-gebra (or equivalently as the Chevalley deformation of an exterior k-algebra), then Cℓ(V ∗ , η) = (V ∗∧ , ∧η ∗ ) is a Clifford kcogebra (R-cogebra). One can define also a universal Clifford k-cogebra. In case a tensor η is invertible, we are dealing with a pair of mutually dual Clifford algebras 9 GUEST EDITOR’S NOTE of multivectors Cℓ(V, η) & of multicovectors Cℓ(V ∗ , η −1 ) as was explained elsewhere (Oziewicz, 1997, 1998). By duality, this gives that the k-bimodules (or the R-spaces) V ∧ & V ∗∧ carry both structures: Clifford algebra & Clifford cogebra, and thus the name Clifford convolution. Theorem 5.1 (Oziewicz 1997). The following unital and associative Clifford convolutions are antipode-less, (V ∧ , ∧η , ∧η −1 ∗ ) & (V ∗∧ , ∧η −1 , ∧η∗ ). The above Theorem has been sharpened by Fauser and Oziewicz (2000): the Clifford convolution Cℓ(η, ξ) is antipode-less iff det(id − ξ ◦ η) = 0. No attempt has been made yet to find axioms for the Clifford convolution Cℓ(η, η −1 ). We believe that the set of such axioms may include the following ❥ ≃ ❥ ❥ ≃ Indeed one can check that if η T = η then ∧η ◦ △η −1 = 2dim V · idCℓ . 5.1. Coconnection and Dirac operator for Clifford cogebra A coconnection is a Leibniz coderivation from k-bicomodule. Let now k be Ncogebra, V be k-bicomodule (an extension of k, i.e. a short exact sequence 0 → V → V ⊕ k → k → 0) and let δ ∈ coder(V, k) be a nontrivial Leibniz coderivation (Schlessinger & Stasheff, 1985; Borowiec & Vázquez Coutiño, 2000). In this case we say that a k-bicomodule V is a k-bicomodule of the codifferential forms. An extension of an N-cogebra k which is also an extension of a Clifford k-cogebra Cℓ(V, η −1 ) is said to be a k-bicomodule of cospinors with a Clifford coaction γ ∗ : S → S ⊗ V. Then a k-comodule coderivation of cospinors S (left V -covariant), denoted by ∇∗ ∈ coder(S ⊗N V, S), defined by the following Leibniz condition, like Diagram 7.2 in (Oziewicz, 1998), is said to be a (spinor) δ-coconection, S V ✞☎ ✍✌ ≃ ✎☞ ✝ ✆ + ✉δ For those who do not like yet operad of graphs, the above Leibniz condition can be translated as: s ◦ ∇∗ = (∇∗ ⊗N id) ◦ (id ⊗N v) + id ⊗N δ. A covariant coderivation ∇∗ composed with Clifford coaction γ ∗ (for Clifford comodules) gives Dirac operator ∇∗ ◦γ ∗ for Cliffor cogebra. For all such concepts we need first of all a notion of a Clifford k-cogebra. The proper, algebraic understanding 10 ZBIGNIEW OZIEWICZ of the spinor connection needs both Clifford module & Clifford comodule (Oziewicz, 1998). To talk about cotorsion and on cocurvature for a coderivation ∇∗ we first need a De Rham cocomplex (noncommutative, because k needs to be neither commutative nor cocommutative), δ δ δ . . . −−−−→ V ∧2 −−−−→ V −−−−→ k. A covariant coderivation ∇∗ has a unique lift to co-minimal coupling. Finally I wish to see in the near future the Clifford coanalysis, as an extension of (co?)holomorphic coderivations for cocomplex (co?)-field with Cauchy-Riemann operator for Clifford cogebra. Why not Clifford bianalysis with joint derivations & coderivations? ACKNOWLEDGMENTS This work was supported by el Consejo Nacional de Ciencia y Tecnologı́a (CONACyT) de México, Grant # 27670 E and by UNAM, DGAPA, Programa de Apoyo a Proyecto de Investigación e Innovación Tecnológica, Proyecto IN-109599. Zbigniew Oziewicz is a member of Sistema Nacional de Investigadores de México, Expediente # 15337. REFERENCES Ablamowicz, Rafal, and Bertfried Fauser, Editors, (2000). Clifford Algebras and Their Applications in Mathematical Physics, Volume 1: Algebra and Physics, Birkhäuser, Boston. Bayro-Corrochano, Eduardo, and Garret Sobczyk, Editors, (2000). Advances in Geometric Algebra with Applications in Science and Engineering: Automatic Theorem Proving, Computer Vision, Quantum and Neural Computing, and Robotics, Birkhäuser, Boston. Borowiec, Andrzej, and Guillermo Arnulfo Vázquez Coutiño (2000). Some topics in coalgebra calculus, Czechoslovak Journal of Physics, 50(1), 23–28. Bourbaki, Nicolas (1989). Elements of Mathematics, Algebra I, Chapter III, Springer Verlag, Berlin. Cartan, Élie Joseph (1913). Projective groups which do not leave any flat manifold invariant, Bull. Soc. Math. France, 41, 53–96. Chisholm, J. S. Roy, and A. K. Common, Editors, (1986). Clifford Algebras and Their Applications in Mathematical Physics, R. Reidel, Dordrecht. Cruz Guzman, José de Jesús de, and Zbigniew Oziewicz (2000). Biconvolution, antipode and Hopf gebra, submitted. De Leo, Stefano, Zbigniew Oziewicz, Waldyr A. Rodrigues, Jr., and Jayme Vaz, Jr. (1999). The Dirac-Hestenes lagrangian, International Journal of Theoretical Physics, 38(9), 2349–2370; hep-th/9906243. Dietrich, Volker, Klaus Habetha, and Gerhard Jank, Editors, (1998). Clifford Algebras and Their Applicatins in Mathematical Physics, Kluwer, Dordrecht. D urdevich, Micho (1994). Braided Clifford algebras as braided quantum groups, Advances in Applied Clifford Algebras 4(2), 145–156. GUEST EDITOR’S NOTE 11 Durdevich, Micho, and Zbigniew Oziewicz (1994). Clifford algebra and spinors in braided geometry, Advances in Applied Clifford Algebras 4(S1), 461–467. D urdevich, Micho, and Zbigniew Oziewicz (1996). Spinors in braided geometry, in: Julian Lawrynowicz, Editor, Generalizations of Complex Analysis and Their Applications in Physics, Banach Center Publications Volume 37, Warszawa, pp. 315–325. Durdevich, Micho (2001). Braided Clifford algebras as quantum deformations, International Journal of Theoretical Physics, 40(1), 13–22, this volume. Eilenberg, Samuel (1948). Extensions of general algebras, Ann. Soc. Polon. Math., (Rocznik Polskiego Towarzystwa Matematycznego) 21(1), 125–134. Fauser, Bertfried, and Zbigniew Oziewicz (2000). Clifford Hopf gebra for twodimensional space, in: Waldemar Korczyński and Adam Obtulowicz, Editors, Miscellanea Algebraica, Akademia Świetokrzyska, Kielce; math.QA/0011263. Gusiew-Czudżak, Magdalena, and Jaime Keller (1997). Twistor bundle: Casimir operators of the Poincaré Lie algebra and the Dirac operator, Advances in Applied Clifford Algebras, 7(S), 419–438. Gusiew-Czudżak, Magdalena, and Zbigniew Oziewicz (2000). Photon without the Poincaré group, in: Valeri V. Dvoeglazov, Editor, Photon: Old Problems in Light of New Ideas, Nova, Huntington, New York, pp. 497–516. Hestenes, David (1992). Mathematical viruses, in: Micali Artibano, Roger Boudet, and Jacques Helmstetter, Editors, Clifford Algebras and Their Applicatins in Mathematical Physics, Kluwer, Dordrecht. Kähler, Erich (1960). Innerer und äusserer Differentialkalkül, Abh. Dt. Akad. Wiss. Berlin Kl. für Math. Phys. und Techn., 1960(4), 1–32. 12 ZBIGNIEW OZIEWICZ Kähler, Erich (1961). Die Dirac gleichung, Abh. Dt. Akad. Wiss. Berlin Kl. für Math. Phys. und Techn., 1961(1) 1–38. Kähler, Erich (1962). Der innere Differentialkalkül, Rendiconti di Matematica e delle sue Applicazioni, 21 425–523. Kainz, G., and Peter W. Michor (1987). Natural transformations in differential geometry, Czechoslovak Mathematical Journal, 37(112) 584–607. Kocik, Jerzy and Jan Rzewuski (1996). Journal of Mathematical Physics, 37(2), 1004–1028. Micali, Artibano, Roger Boudet, and Jacques Helmstetter, Editors, (1992). Clifford Algebras and Their Applicatins in Mathematical Physics, Kluwer, Dordrecht. Michaelis, Walter (1980). Lie coalgebras, Advances in Mathematics, 38, 1–54. Moyal, J. E. (1949). Proceedings of Cambridge Philosophical Society, 45, 99–124. Oziewicz, Zbigniew (1995). Clifford algebra for Hecke braid, in: Rafal Ablamowicz and Pertti Lounesto, Editors, Clifford Algebras and Spinor Structures, Kluwer, Dordrecht, pp. 397–411. Oziewicz, Zbigniew (1997). Clifford Hopf gebra and bi-universal Hopf gebra, Czechoslovak Journal of Physics, 47(12), 1267–1274. Oziewicz, Zbigniew (1997). Clifford algebra of multivectors, Advances in Applied Clifford Algebras, 7(S), 467–486. Oziewicz Zbigniew (1998). The Dirac operator as graph and Clifford Hopf gebra, in: John Ryan and Daniele Struppa, Editors, Dirac operators in analysis, Pitman Research Notes in Mathematics Series # 394, Longman, Harlow, England, pp. 210–224. Rota, Gian-Carlo and Joel A. Stein (1994). Plethystic Hopf algebras, Proceedings of the National Academy of Sciences of the USA, 91, 13057–13061. Ryan, John, and Wolfgang Sprößig, Editors, (2000). Clifford Algebras and Their Applications in Mathematical Physics, Volume 2: Clifford Analysis, Birkhäuser, Boston. Schlessinger, Michael, and James Stasheff (1985). The Lie algebra structure of tangent cohomology and deformation theory, Journal of Pure and Applied Algebra, 38, 313–322. Tarski, Alfred (1968). Equational logic and equational theories of algebras, in: H. A. Schmidt, K. Schütte, and H. J. Thiele, Editors, Contributions to Mathematical Logic: Logic Colloqium, North-Holland, Asterdam 1968, pp. 275–288. Woronowicz, Stanislaw Lech (1989). Differential calculus on compact matrix pseudogroups, Communications in Mathematical Physics, 122, 125–170. Yano, Kentaro, and Shigeru Ishihara (1973). Tangent and Cotangent Bundles, Marcel Dekker, New York.