А.И. Ефимов. Гладкие компактификации в производной некоммутативной алгебраической геометрии