Abstract
Thirteen years ago, Lurie has sketched a way to obtain equivariant elliptic cohomology and equivariant topological modular forms without the need to restrict to rational or complex coefficients. Recently, David Gepner and I have found one way to flesh out the details and and provide computations in the U(1)-equivariant case. On this work I will report.
