Formal gluing along non-linear flags

Benjamin Hennion, Mauro Porta, Gabriele Vezzosi

In this paper we prove formal glueing along an arbitrary closed substack $Z$ of an arbitrary Artin stack $X$ (locally of finite type over a field $k$), for the stacks of (almost) p…