Algebraic integrability of foliations with numerically trivial canonical bundle

Given a reflexive sheaf on a mildly singular projective variety, we prove a flatness criterion under certain stability conditions. This implies the algebraicity of leaves for sufficiently stable foliations with numerically trivial canonical bundle such that the second Chern class does not vanish. Combined with the recent works of Druel and Greb–Guenancia–Kebekus this establishes the Beauville–Bogomolov decomposition for minimal models with trivial canonical class.