A Frobenius theorem in algebraic geometry

Federico Bongiorno

We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic…