A Frobenius theorem in algebraic geometry
arXiv:2404.02600
Abstract
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 and without smoothness hypotheses on the ambient space.
17 pages