No Arabic abstract
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 topological 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.
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.
Equivariant localization techniques give a rigorous interpretation of the Witten genus as an integral over the double loop space. This provides a geometric explanation for its modularity properties. It also reveals an interplay between the geometry of double loop spaces and complex analytic elliptic cohomology. In particular, we identify a candidate target for the elliptic Bismut-Chern character.
We construct a map from $d|1$-dimensional Euclidean field theories to complexified K-theory when $d=1$ and complex analytic elliptic cohomology when $d=2$. This provides further evidence for the Stolz--Teichner program, while also identifying candidate geometric models for Chern characters within their framework. The construction arises as a higher-dimensional and parameterized generalization of Fei Hans realization of the Chern character in K-theory as dimensional reduction for $1|1$-dimensional Euclidean field theories. In the elliptic case, the main new feature is a subtle interplay between the geometry of the super moduli space of $2|1$-dimensional tori and the derived geometry of complex analytic elliptic cohomology. As a corollary, we obtain an entirely geometric proof that partition functions of $mathcal{N}=(0,1)$ supersymmetric quantum field theories are weak modular forms, following a suggestion of Stolz and Teichner.
We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This constructs the complexified string orientation of elliptic cohomology, which determines a pushfoward for families of rational string manifolds. A second pushforward is constructed from quantizing a supersymmetric $sigma$-model. These two pushforwards agree, giving a precise physical interpretation for the elliptic index theorem with complex coefficients. This both refines and supplies further evidence for the long-conjectured relationship between elliptic cohomology and 2-dimensional quantum field theory. Analogous methods in supersymmetric mechanics recover path integral constructions of the Mathai--Quillen Thom form in complexified ${rm KO}$-theory and a cocycle representative of the $hat{A}$-class for a family of oriented manifolds.
Associated to each finite dimensional linear representation of a group $G$, there is a vector bundle over the classifying space $BG$. We introduce a framework for studying this construction in the context of infinite discrete groups, taking into account the topology of representation spaces. This involves studying the homotopy group completion of the topological monoid formed by all unitary (or general linear) representations of $G$, under the monoid operation given by block sum. In order to work effectively with this object, we prove a general result showing that for certain homotopy commutative topological monoids $M$, the homotopy groups of $Omega BM$ can be described explicitly in terms of unbased homotopy classes of maps from spheres into $M$. Several applications are developed. We relate our constructions to the Novikov conjecture; we show that the space of flat unitary connections over the 3-dimensional Heisenberg manifold has extremely large homotopy groups; and for groups that satisfy Kazhdans property (T) and admit a finite classifying space, we show that the reduced $K$-theory class associated to a spherical family of finite dimensional unitary representations is always torsion.