Filtered formal groups, Cartier duality, and derived algebraic geometry - Tasos Moulinos (2021)