nLab geometric model for elliptic cohomology

Redirected from "geometric models for tmf".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Functorial quantum field theory

Contents

Idea

There are well-known geometric models for some cohomology theories. For instance

and

A geometric model for elliptic cohomology is supposed to be an analogous construction for elliptic cohomology or for tmf.

It is an old idea that analogous to how differential K-theory is modeled by parallel transport in vector bundles and hence by functors Bord 1(X)VectBord_1(X) \to Vect, elliptic cohomology should somehow be modeled by functors Bord 2(X)VectBord_2(X) \to Vect, where Bord 2(X)Bord_2(X) is a 1-category of cobordisms equipped with maps to XX.

Stephan Stolz and Peter Teichner have initiated a program studying this in the article What is an elliptic object?.

The fundamental idea of this program is essentially to encode parallel transport along cobordisms with maps into a given space XX pretty much along the lines of functorial differential cohomology?. One expects that this encodes actually the differential refinements of the corresponding cohomology theories, such as differential K-theory. However, currently in the program one divides out concordance which effectively divides out the differential information and keeps just the underlying topological information.

The fundamental result of this program so far is that there is a useful notion of 2d FQFT over XX such that its partition function is indeed topological modular form-valued, so that it is a candidate for a model of tmf.

The following is going to be an exposition of this partial result:

See also the entry

References

A recent survey of the program is

The program was initiated in

After the original sketch in terms of extended FQFT subsequent work concentrated on ordinary 1-categorical constructions, the goal being to make very clear, and transparent and rigorous the constructions involved and the claim that

the partition function of a (2|1)-dimensional -Eudlidean FQFT is an integral modular form.

This latest development on this is in

warning I am being told that this is by now outdated and to be replaced by an improved version, which however is apparently not available yet

Last revised on November 23, 2010 at 19:09:30. See the history of this page for a list of all contributions to it.