Key points are not available for this paper at this time.
Mostramos que uma pilha formal de Deligne--Mumford é formalmente localmente representada por um esquema formal. Este é um análogo do teorema de Frobenius para folheações suaves em qualquer característica e sem hipóteses de suavidade no espaço ambiente.
Federico Bongiorno (Qua,) estudou esta questão.