Here are notes by Urs Schreiber for Tuesday, June 9, from Oberwolfach.
smooth cohomology
idea:
main diagram
so differential cohomology combines the ordinary cohomology with a differential form representative of its image in real cohomology.
projects a differential cohomology to its underlying ordinary cohomology class;
send the differential cohomology class to its curvature_ differential form data
we want an exact sequence
definition
Given cohomology theory , a smooth refinement is a functor with transformations such that
where
is the graded non-torsion cohomology of on the point. So now all the gradings above denote total grading.
and such that there is a transformation
that gives the above kind of exact sequence
definition
if is multiplicative, we say is multiplicative with product if takes values in graded rings and the transformations are compatible with multiplicative structure, where
definition
has -integration if there is a natural (in ) transformation
compatible with of forms and for it is given by the suspension isomorphism
and
for and
remark ordinary cohomology theories are supposed to be homotopy invariant, but differential forms are not, so in general the differential cohomology is not
Lemma Given a smooth cohomology theory. The homotopy formula:
given a smooth homotopy we have
corollary (i.e. flat cohomology) is a homotopy invariant functor
def \hat _H{flat} := ker(R)
proof of lemma
suffices to show
for all
observe if the left hand side vanishes,
for general ;
Stokes’ theorem gives
on the other hand
a calculation:
Theorem (Hopkins-Singer)
For each generalized cohomology theory a differential version as in the above definition does exist
Moreover
remark it’s not evident hot to obtain more structure like multiplication
theorem using geometric models, multiplicative smooth extensions with -integration are constructed for
K-theory (Bunke-Schick)
MU-bordisms (unitary bordisms)
(Bunke-Schröder-Schick-Wiethaupts; and from there Landweber exact cohomology theories)
uniqueness theorem (Bunke-Schick) (Simons-Sullivan proved this for ordinary integral cohomology)
assume is rationally even, meaning that
plus one further technical assumption
then any two smooth extensions , are naturally isomorphic
such that if required to be compatible with integration the ismorphism is unique
if are multiplicative, then this isomorphism is, as well.
example if we don’t require compatibility with -integration, then there are “exotic” abelian group structures on
(I gave up taking notes in that one, maybe somebody else has notes?)
alternative to yesterday’s axioms:
replace by
and replace by
what is the classical analog of a factorization algebra?
and how do we get classical QFT?
basic idea
factorization algebras form a symmetric monoidal category
so we can look at algebra over an operad in the category of factorization algebras
if are factorization algebras, then
def a classical factorization algebra is a commutative algebra in the category of factorization algebras
recall, an object in -algebras is an -algebra
idea of how to associate a classical factorization algebra to a classical field theory is as follows
suppose we have classical field theory, e.g. space of fields is section of a vector bundle
is the classical action
is local: obtained by of a Lagrangian
if is a ball, let
Freed: notice that you are doing here classical QFT in Euclidean signature Costello: yes
rough idea
the classical factorization algebra associated to assigns to , the algebra
of functions on the set of solutions to .
we want maps
for in
we have a map
this yields a map
as desried
simple example
fields are functions on
Euler-Lagrange equation is
where Hom means continuous linear maps, and where is the completed tensor product
later, for more complex examples, what we really want to do is to take the derived space of EL solutions
question
Why does this classical factorization algebra want to become just a factorization algebra?
recall that fact-algebras form a symmetric monoidal category
the -operad is defined by
for
so for instance an -algebra in is a vector space with an element
forgot to mention that factorization algebras need to have a unit, a section on which is a unit for the product
So: an -algebra in factorization algebras is just a factorization algebra
Beilinson and Drinfeld define an operad over (i.e. in the category of cochain complex moudles over) the ring of formal power series over
as follows:
generated by , a commutative product
a Poisson bracket of deg +1
with differential
call this the BD operad
so
rant on BV-theory termionology
framed , which is often called the BV-operad has nothing to do with the BV-theory
instead: the BD-operad from above is the one related to BV-theory
def the (or ) operad is the operad of commutative Poisson algebras with
so
general fact
let be a manifold, and a function, then is a -operad
derived critical locus has as functions the differential graded algebra
here is in degree with differential
has Schouten bracket, which is of degree +1
This “wants to become”
observation if has a measure, then has a canonical quantization to an algebra over .
then quantization is
here arises whenever has a measure
so recall that the derived critical locis if a function is a -algebra, so it wants to quantize to
if we have a classical field theory, the derived space of solutions to EL yields a algebra in factorizatoin algebra
so it wants to become a factorization algebra
Example ,
derived space of solutions to EL is the complex
if is a ball, then
this is a commutative dga and defines a commutative factorizaton algebra
if we add an interaction term to the action functional
then we get the same algebra of functions but the differential changes
in Yang-Mills theory with gauge Lie algebra : first, we consider the derived quotient of by , then, take derived critical locus of YM action
What we get, when linearized looks like
the algebra of functions iss
with diffeential including YM action
theorem if we take the derived space of solutions to the EL equations, looking infinitesimally near a fixed solution, then we find a -algebra internal to factorization algebras on
this amounts to quantizing the action into a solution of the quantum master equation
this requires machinery of counter-terms, Wilsonian effective actions, to even define the quantum master equation
see Kevin Costello’s book linked to on hos website for details
theorem (joint with O. Gwilliam)
(“wave” version)
conssider the scalar field theory, with an action of the form
use the above theorem, around the 0-solution
Let be the classical factorization algebra associated to it (it is a -algebra)
Let be the set of quantizations
= X_S
there is a sequence
where maps to , so that the obvious diagram commutes
where is a torsor for the abelian group of local functions of the field
so then
is a local function, but this is non-canonical
more sophisticated version
consider any reasonable classical theory, with its classical factorization algebra
let
is the cochain complex of derivations of , preserving -structure (is, in fact, local functions on an extended space)
theorem
there exists a sequence of simplicial sets
with maps
such that fits into a homotopy fiber diagram
so we get obstructions; for instance for -theory the obstruction is the famous -function
theorem Let be a simple Lie algebra. Then there is a quantization of Yang-Mills theory on which is “renormalizable” (behaves well with respect to scaling)
the set of quantizations is 1-dimensional term by term
The set of such quantizations is
correlation functions
Where do correlation functions appear?
If is a factorization algebra on , corresponding to some QFT, then
if are disjoint, the maps
is defined by doing both observations
correlation functions should be cochain maps
if are disjoint, if
then
is a measurement of how to observe correlations
if the diagram
should commute (operator product expansion)
we can consider correlation functions with coefficients in any cochain complex, we require they must satisfy this equation
def (Beilinson-Drinfeld)
(Kevin Walker (blob homology), Jacob Lurie (topological chiral homology))
lemma for a massive scalar field,
in general
looks like measures on the space of critical points of the classical action
if we perturb around isolated critical points,
in this situation correlation functions exist and are unique
general program: correlation functions define a measure on the space of classical solutions
(Feynman graphs appear here as homotopies between operads, or something, see his book)
Created on June 14, 2009 at 23:56:41. See the history of this page for a list of all contributions to it.