### Giving new momentum to the quantization of the spectral noncommutative standard model...

...removing the independent "masslessness of the photon" axiom ?

Noncommutative geometry (NCG) provides a particularly elegant way to derive and describe the structure and the Lagrangian of the Standard Model in curved spacetime and its coupling to gravitation [1]. The main ingredients of this approach is an algebra A=C(M)⊗AF (where M is a Riemann spin manifold M and AF=C⊕H⊕M3(C)) [1] a Hilbert space H=L2(M,S)⊗HF (where HF is 96-dimensional), and a Dirac operator D. The elements a of the algebra are represented by bounded operators π(a) over H. In this approach, the gauge bosons are described by gauge potentials (i.e. non- commutative one-forms) in Ω1DA, where DA is the differential graded algebra (DGA) constructed from A, whose differential is calculated by using the commutator with D.
From the physical point of view, a striking success of the noncommutative geometric approach is that the algebra, the Hilbert space and the Dirac operator of the Standard Model can be derived from a few simple axioms, including the condition of order zero, the condition of order one and the condition of massless photon [2,3,4]. Then, the Lagrangian of the Standard Model coupled to (Riemannian) gravity is obtained by counting the eigenvalues of the Dirac operator D [1].
Still, this approach is not completely physical because it is formulated in the Riemannian (instead of Lorentzian) signature and is not quantized. Therefore, the original NCG approach was variously modiﬁed, by using Lie algebras [5], twisted spectral triples [6] or Lie algebroids and derivation-based NCG [7], to deal with models that do not enter into the standard NCG framework (e.g. quantum groups or Grand Symmetry)[8] ...
Boyle and Farnsworth [9] recently used Eilenberg’s algebra extension method to build an algebra E where the universal differential graded algebra (DGA) Ω built on A (see section III) is extended by the Hilbert space H. This is physically more satisfactory because the gauge ﬁeld, the ﬁeld intensity, the curvature and the Lagrangian densities are noncommutative differential forms, which belong to Ω up to an ideal described below. They observed that the associativity of the algebra E imposes a new condition (of order two) which is satisﬁed by the ﬁnite part AF of the Standard Model and removes a somewhat arbitrary axiom in Chamseddine and Connes’ derivation [4]. This axiom requires the Dirac operator DF of the ﬁnite algebra to commute with a speciﬁc family of elements of AF. It is called the condition of massless photon because it ensures that the photon has no mass.
However, the approach proposed by Boyle and Farnsworth has two serious drawbacks: i) it is not valid for a spin manifold (i.e. the canonical spectral triple (C(M),L2(M,S),DM) does not satisfy the condition of order two); (ii) it uses the DGA algebra Ω in which gauge ﬁelds with vanishing representation (i.e. A ∈ Ω such that π(A)=0) can have non-zero ﬁeld intensity (i.e. π(dA)≠0). This makes the Yang-Mills action ill deﬁned [1]. A consistent substitute for Ω is the space ΩD of noncommutative differential forms which is a DGA built as the quotient of Ω by a differential ideal J usually called the junk. To solve both problems, we deﬁne an extension E of the physically meaningful algebra D of noncommutative differential forms by a representation space MD that we build explicitly. Since the algebra D is a DGA, we require the extension E to be also a DGA and we obtain that MD must be a differential graded bimodule over D (see below). The most conspicuous consequence of this construction is a modiﬁcation of the condition of order two proposed by Boyle and Farnsworth, which provides exactly the same constraints on the ﬁnite part of the spectral triple of the Standard Model, but which is now consistent with the spectral triple of a spin manifold. As a consequence, the full spectral triple of the Standard Model (and not only its ﬁnite part) now satisﬁes the condition of order two and enables us to remove the condition of massless photon.
...
To take into account the differential graded structure of D, we built a differential graded bimodule that takes the junk into account. The grading transforms the Boyle and Farnsworth condition on the commutator [π(δa),π(δb)◦] = 0 into a condition on the anticommutator {π(δa),π(δb)◦} ∈ K, which is now satisﬁed for the full Standard Model and not only for its ﬁnite part.

This indicates that, in a reinterpretation of the noncommutative geometric approach to ﬁeld theory, the differential graded structure of the boson ﬁelds must be accounted for. This is a good news for any future quantization and renormalization of NCG because the differential graded structure is also an essential ingredient of the Becchi-Rouet-Stora-Tyutinand Batalin-Vilkovisky approaches.

Our differential graded bimodule retains the advantages of the Boyle and Farnsworth approach: (i) it uniﬁes the conditions of order zero and one and the condition of massless photon into a single bimodule condition; (ii) it can be adapted to non-associative or Lie algebras.
We hope to use our construction for the quantization of a noncommutative geometric description of the Standard Model coupled with gravity.
(Submitted on 15 Apr 2015)

Voilà une belle illustration de ce que la physique théorique/mathématique (ne) vit (que) des hypothèses /axiomes dont elle se libère un peu comme l'art ne vit que des contraintes qu'il s'impose pour paraphraser Albert Camus (commentant André Gide).

Mise à jour : l'article de Brouder, Bizi et Besnard a reçu récemment un ajout très intéressant dans une seconde version datée du 5 juin que j'évoquerai bientôt.

1. Nadir Bizi a présenté son travail avec Brouder et Besnard au Perimeter Institute.
La vidéo : http://pirsa.org/displayFlash.php?id=15050129

Aussi intéressant:

Barrett : Quantum non-commutative geometry
http://pirsa.org/displayFlash.php?id=15050128

Boyle & Farnsworth : The standard model from non-commutative geometry: what? why? what's new?
http://pirsa.org/displayFlash.php?id=15050126
(le lien video semble cassé. Le lien direct ici : http://streamer2.perimeterinstitute.ca/f4v-med/150500126.f4v)

2. Merci beaucoup Nicolas de partager ces vidéos (qui ne sont pas encore bien indexées par les moteurs de recherche ;-)
Je rajoute la dernière (dès que je l'ai visionnée) en addendum à mon billet intitulé "Avertissement (au lecteur et encouragement) à l'étudiant" daté du 25 juin 2014.
Merci aussi pour le soin apporté à la vérification de la fonctionnalité des hyperliens (attention aux autres lecteurs, la derniere vidéo pointe vers un téléchargement de 338 M(i)o...)