3 problems

Let $W_n$ be the Lie algebra of formal vector fields on ${\mathbb R}^n$, and consider coboundary triangular Lie bialgebra structures on $W_n$, equivalently coboundary Poisson–Lie s…

Let $\hat{G}\subset\widehat{\operatorname{Diff}}(\mathbb{R}^{n}_{0})$ be a subgroup of formal diffeomorphisms. Realisation conjecture. There exists a smooth realisation…

Zhang's conjecture. The diffeomorphism $\varphi$ is not embedded in a $C^{\infty}$ (respectively, analytic) flow.