In this paper we provide a new proof that the Grosse-Wulkenhaar noncommutative scalar Φ 4 4 theory is renormalizable to all orders in perturbation theory, and extend it to more general models with covariant derivatives. Our proof relies solely on a multiscale analysis in x space. We think this proof is simpler and could be more adapted to the future study of these theories (in particular at the non-perturbative or constructive level).

In this paper we give a much more efficient proof that the real Euclidean φ 4 -model on the four-dimensional Moyal plane is renormalizable to all orders. We prove rigorous bounds on the propagator which complete the previous renormalization proof based on renormalization group equations for non-local matrix models. On the other hand, our bounds permit a powerful multi-scale analysis of the resulting ribbon graphs. Here, the dual graphs play a particular rôle because the angular momentum conservation is conveniently represented in the dual picture. Choosing a spanning tree in the dual graph according to the scale attribution, we prove that the summation over the loop angular momenta can be performed at no cost so that the power-counting is reduced to the balance of the number of propagators versus the number of completely inner vertices in subgraphs of the dual graph.

Abstract. We prove that the non-commutative Gross-Neveu model on the two-dimensional Moyal plane is renormalizable to all orders. Despite a remaining UV/IR mixing, renormalizability can be achieved. However, in the massive case, this forces us to introduce an additional counterterm of the form ψ ıγ 0 γ 1 ψ. The massless case is renormalizable without such an addition.