Tensor product and irregularity for holonomic D-modules

Abstract

Let M be a complex of D-modules with bounded holonomic cohomology on a complex manifold. In this note, we prove that if the derived tensor product of M with itself is regular, then M is regular.

To appear at C. R. Acad. Sci. Paris