Filtered formal groups, Cartier duality, and derived algebraic geometry

arXiv:2101.10262 · math.AG, math.AT, math.KT · Submitted 2021-01-25 · Read on arXiv