@LaurentMoret-Bailly Thank you! I’m interested in smooth equalizers. My comments attempted to give a construction and show where it may break down: I was first constructing the underlying topological space, then hopefully a complex analytic space equalizer, and only later I was hoping to show it’s smooth, but it feels now that a smooth equalizer should not exist in general