Functorial quantum field theory
raw material: this are notes taken more or less verbatim in a seminar – needs polishing
recall the big diagram from the end of the previous entry.
The goal now is to replace everywhere topological K-theory by tmf.
previously we had assumed that has spin structure. Now we assume String structure.
So we are looking for a diagram of the form
the vertical maps here are due to various theorems by various people – except for the “physical quantization” on the left, that is used in physics but hasn’t been formalized
the horizontal maps are the conjecture we are after in the Stolz-Teichner program: The top horizontal map will involve making the notion of EFT local by refining it to an extended FQFTs. This will not be considered here.
we will explain the following items
the ring of integral modular forms
one calls the weight . We have degree of is , hence .
is the Witten genus
where where is some explicit vector bundle over .
definition An (integral) modular form of weight is a holomorphic function on the upper half plane
(complex numbers with strictly positive imaginary part)
if acting by we have
note take then we get that
has at worst a pole at (for weak modular forms this condition is relaxed)
it follows that with is a meromorphic funtion on the open disk.
by this definition, modular forms are not really functions on the upper half plane, but functions on a moduli space of tori. See the following definition:
if the weight vanishes, we say that modular form is a modular function .
definition (2|1)-dim partition function
Let be an EFT
then the partition function is the map
is thee standard torus of modulus .
then the central theorem that we are after here is
therorem (Stolz-Teichner) (after a suggestion by Edward Witten)
There is a precise definition of -EFTs such that the partition function is an integral modular function
(so this is really four theorems: the function is holomorphic, integral, etc.)
moreover, every integral modular function arises in this way.