We use the geometry of the space of fields for gauged supersymmetric mechanics to construct the twisted differential equivariant K-theory of a manifold with an action by a finite group.
In this paper we introduce an equivariant extension of the Chern-Simons form, associated to a path of connections on a bundle over a manifold M, to the free loop space LM, and show it determines an equivalence relation on the set of connections on a
bundle. We use this to define a ring, loop differential K-theory of M, in much the same way that differential K-theory can be defined using the Chern-Simons form [SS]. We show loop differential K-theory yields a refinement of differential K-theory, and in particular incorporates holonomy information into its classes. Additionally, loop differential K-theory is shown to be strictly coarser than the Grothendieck group of bundles with connection up to gauge equivalence. Finally, we calculate loop differential K-theory of the circle.
We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space machine that
manufactures orthogonal $G$-spectra from symmetric monoidal $G$-categories. The new machine produces highly structured associative ring and module $G$-spectra from appropriate multiplicative input. It relies on new operadic multicategories that are of considerable independent interest and are defined in a general, not necessarily equivariant or topological, context. Most of our work is focused on constructing and comparing them. We construct a multifunctor from the multicategory of symmetric monoidal $G$-categories to the multicategory of orthogonal $G$-spectra. With this machinery in place, we prove that the equivariant BPQ theorem can be lifted to a multiplicative equivalence. That is the heart of what is needed for the presheaf reconstruction of the category of $G$-spectra in arXiv:1110.3571.
The Hamiltonian and Lagrangian formalisms offer two perspectives on quantum field theory. This paper sets up a framework to compare these approaches for the supersymmetric sigma model. The goal is to use techniques from physics to construct topologic
al invariants. In brief, the Hamiltonian formalism studies positive energy representations of super annuli. This leads to a model for elliptic cohomology at the Tate curve over $mathbb{Z}$. The Lagrangian approach studies sections of line bundles over a moduli stack of super tori. This leads to a model for ordinary cohomology valued in weak modular forms over $mathbb{C}$. Compatibility between the two formalisms is a field theory version of the topological $q$-expansion principle. Combining these ingredients constructs a cohomology theory admitting an orientation for string manifolds that is closely related to Wittens Dirac operator on loop space.
For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G
on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A to the subgroup of G which fixes the isomorphism class of the irreducible representation.
We show that Mandells inverse $K$-theory functor is a categorically-enriched multifunctor. In particular, it preserves algebraic structures parametrized by operads. As applications, we describe how ring categories, bipermutative categories, braided r
ing categories, and $E_n$-monoidal categories arise as the images of inverse $K$-theory.