Functorial quantum field theory
raw material: this are notes taken more or less verbatim in a seminar – needs polishing
recall the commercial for supergeometry with which we ended last time: the grading introduced by supergeometry makes it possible to have push-forward diagrams of the kind:
Example of 1-EFT
Example of associated to a spin manifold, there is the spinor bundle
a -graded vector bundle and on this there is the Dirac operator
where . So we can write
there is an involution . It maps to
we have the following moduli space of super intervals (super 1d-bordisms)
and these are mapped by the EFT as
(here we are implicitly working in the topos of sheaves on the category of supermanifolds and these equations have to be interpreted in that topos-logic, mapping generalized elements to generalized elements).
So we have for a EFT a reduced non-susy field theory
Definition , the partition function of is the function
that sends a length to the value of the EFT on the circle of that circumferene.
Example Consider from above the EFT
look at its reduced part
notice that by the above this assigns
where on the right we have the super trace.
This evaluates to
where the super dimension? of the eigenspace is
and this vanishes for since there
is an isomorphism.
So further in the computation we have
where the last step is the Atiyah-Singer index theorem.
So due to supersymmetry , the partition function has two very special properties:
it is constant – in that it does not depend on ,
it takes integer values .
recall from a vector bundle with connection we get a 1d EFT
given by the assignment
a morphism is an interval of length equipped with a map , this is sent to the parallel transport associated with the connection on a bundle
Now refine this example to super-dimension :
example of a -EFT over consider
given by the assignment
so we just forget the super-part and consider the same parallel transport as before.
now to K-theory:
Grothendieck group of real vector bundles over
there is a Bott element
now the push-forward in topological K-theory
for a closed spin structure manifold
then there exists an embedding . Let be the normal bundle to this embedding.
then we define
let be the disk bundle? and be the sphere bundle of . Then the Thom bundle? is
we get a map
involving the Thom isomorphism
then we set
now start with again a spin manifold
theorem (Stolz-Teichner): we have the horizontal isomorphism in the following diagram:
question if we don’t divide out concordance, do we get differential K-theory on the right?
answer presumeably, but not worked out yet
- Stefan Stolz (notes by Arlo Caine), Supersymmetric Euclidean field theories and generalized cohomology Lecture notes (2009) (pdf)