We construct and study an algebraic theory which closely approximates the theory of power operations for Morava E-theory, extending previous work of Charles Rezk in a way that takes completions into account. These algebraic structures are made explicit in the case of K-theory. Methodologically, we emphasize the utility of flat modules in this context, and prove a general version of Lazards flatness criterion for module spectra over associative ring spectra.
Let $A$ be a finite abelian $p$ group of rank at least $2$. We show that $E^0(BA)/I_{tr}$, the quotient of the Morava $E$-cohomology of $A$ by the ideal generated by the image of the transfers along all proper subgroups, contains $p$-torsion. The proof makes use of transchromatic character theory.
Here we carry out computations that help clarify the Lagrangian and Hamiltonian structure of compressible flow. The intent is to be pedagogical and rigorous, providing concrete examples of the theory outlined in Holm, Marsden, and Ratiu [1998] and Marsden, Ratiu, and Weinstein [1984].
The Stolz--Teichner program proposes a deep connection between geometric field theories and certain cohomology theories. In this paper, we extend this connection by developing a theory of geometric power operations for geometric field theories restricted to closed bordisms. These operations satisfy relations analogous to the ones exhibited by their homotopical counterparts. We also provide computational tools to identify the geometrically defined operations with the usual power operations on complexified equivariant $K$-theory. Further, we use the geometric approach to construct power operations for complexified equivariant elliptic cohomology.