3 problems

Formal differentiation conjecture. The functor $\operatorname{FmlDiff}$ induces an equivalence between the underlying $\infty$-categories

Let $\mathcal F$ be a singular foliation admitting a geometric resolution, and let its isotropy Lie $\infty$-algebra at a point be the corresponding homotopy-theoretic isotropy obj…

Let $\mathsf{fGC}_2^{\mathrm{con}}$ be the connected part of the full graph complex in dimension $2$, and let $\mathcal T_{\mathrm{poly}}$ be the Schouten algebra of polyvector fie…