Abstract:This survey provides an introduction to the Stolz-Teichner program on elliptic cohomology and quantum field theory.
What problem does this paper attempt to address?
### Problems the Paper Attempts to Solve
This paper aims to explore the deep connections between Elliptic Cohomology and Quantum Field Theory, and proposes a conjecture regarding Elliptic Cohomology. Specifically:
1. **Relationship between Elliptic Cohomology and Quantum Field Theory**:
- The author reviews how Witten, in the late 20th century, used theoretical physics methods to construct the Elliptic Genus, suggesting a deeper connection between Elliptic Cohomology and Quantum Field Theory.
- Segal proposed a precise definition of 2-dimensional Quantum Field Theory, viewing it as a projective representation of the boundary category.
- Hopkins and his collaborators developed the theory of Elliptic Cohomology, ultimately constructing Topological Modular Forms (TMF).
2. **Main Conjecture**:
- The paper proposes Conjecture 1.1, which states that for each integer \( n \) and smooth manifold \( X \), there exists a geometric structure such that 2-dimensional supersymmetric field theory can serve as a sheaf of TMF.
- This conjecture also proposes a TMF index theorem: when \( n \geq 0 \), the composite of arrows defines an analytic index, which is equivalent to the topological index constructed by Ando-Hopkins-Rezk through triangle (1).
3. **Significance of the Conjecture**:
- The importance of Elliptic Cohomology in mathematics stems from its intersections with other disciplines. For example, Topological K-theory plays a significant role in geometry, analysis, and algebra.
- Solving Conjecture 1.1 will help understand the topological structure of Quantum Field Theory spaces, particularly 2-dimensional Quantum Field Theory with minimal supersymmetry.
- Physical reasoning assuming the validity of this conjecture has already led to a series of surprising predictions closely related to mathematics.
4. **Scope of Applications**:
- In differential geometry, Stolz conjectures that the Elliptic Genus obstructs the existence of positive curvature metrics.
- In algebra, lattice vertex operator algebras can encode sporadic groups.
- In representation theory, Grojnowski described the elliptic generalization of standard examples based on equivariant cohomology and equivariant K-theory.
In summary, this paper attempts to advance both mathematics and theoretical physics by establishing the connection between Elliptic Cohomology and Quantum Field Theory. Specifically, by verifying Conjecture 1.1, it can provide important mathematical tools for studying Quantum Field Theory spaces and deeply understand the structure of 2-dimensional field theory and string theory.