扩张形变函子

我们通过少量 Schlessinger 型条件引入了扩张形变函子的精确概念，该概念与派生形变理论（DDT）方案中的大多数近期思想以及几何例子相容。借助这一概念，我们发展了 Schlessinger 与阻碍理论的（扩张）类似物。逆映射定理对扩张形变函子的自然变换成立，并且所有具有有限维切空间的此类函子在同伦范畴中都是 prorepresentable 的。