nLab Oberwolfach Workshop, June 2009 -- Tuesday, June 9

Here are notes by Urs Schreiber for Tuesday, June 9, from Oberwolfach.

Schick: differential cohomology

smooth cohomology

• idea:

• combine cohomology + differential forms

main diagram

$\begin{array}{ccc}\stackrel{^}{H}\left(M\right)& \stackrel{I}{\to }& {H}^{•}\left(M\right)\\ {↓}^{R}& & ↓\\ {\Omega }_{d=0}^{•}\left(M\right)& \stackrel{}{\to }& {H}_{\mathrm{dR}}^{•}\left(M\right)\simeq {H}^{•}\left(M,ℝ\right)\end{array}$\array{ \hat H(M) &\stackrel{I}{\to}& H^\bullet(M) \\ \downarrow^{R} && \downarrow \\ \Omega^\bullet_{d=0}(M) &\stackrel{}{\to}& H^\bullet_{dR}(M) \simeq H^\bullet(M,\mathbb{R}) }

so differential cohomology ${\stackrel{^}{H}}^{•}\left(M\right)$ combines the ordinary cohomology ${H}^{•}\left(M\right)$ with a differential form representative of its image in real cohomology.

• $I$ projects a differential cohomology to its underlying ordinary cohomology class;

• $R$ send the differential cohomology class to its curvature_ differential form data

we want an exact sequence

$\begin{array}{ccccccc}{H}^{•-1}\left(M\right)& \stackrel{\mathrm{ch}}{\to }& {\Omega }^{•-1}\left(M\right)/\mathrm{im}\left(d\right)& \stackrel{d}{\to }& \stackrel{^}{H}\left(M\right)& \stackrel{I}{\to }& {H}^{•}\left(M\right)\to 0\\ & & & {}_{d}↘& {↓}^{R}\\ & & & & {\Omega }_{d=0}^{•}\left(M\right)\end{array}$\array{ H^{\bullet-1}(M) &\stackrel{ch}{\to}& \Omega^{\bullet-1}(M)/{im(d)} &\stackrel{d}{\to}& \hat H(M) &\stackrel{I}{\to}& H^\bullet(M) \to 0 \\ &&& {}_{d}\searrow & \downarrow^R \\ &&&& \Omega^\bullet_{d=0}(M) }

definition

Given cohomology theory ${E}^{•}$, a smooth refinement ${\stackrel{^}{E}}^{•}$ is a functor $\stackrel{^}{E}:\mathrm{Diff}\to \mathrm{Grps}$ with transformations $I,R$ such that

$\begin{array}{ccc}\stackrel{^}{E}\left(M\right)& \stackrel{I}{\to }& {E}^{•}\left(M\right)\\ {↓}^{R}& & ↓\\ {\Omega }_{d=0}^{•}\left(M,V\right)& \stackrel{}{\to }& {E}_{\mathrm{dR}}^{•}\left(M\right)\simeq {E}^{•}\left(M,ℝ\right)\end{array}$\array{ \hat E(M) &\stackrel{I}{\to}& E^\bullet(M) \\ \downarrow^{R} && \downarrow \\ \Omega^\bullet_{d=0}(M, V) &\stackrel{}{\to}& E^\bullet_{dR}(M) \simeq E^\bullet(M,\mathbb{R}) }

where

$V={E}^{•}\left(\mathrm{pt}\right)\otimes ℝ$

is the graded non-torsion cohomology of $E$ on the point. So now all the gradings above denote total grading.

and such that there is a transformation

$a:{\Omega }^{•-1}\left(M\right)/\mathrm{im}\left(d\right)\to {\stackrel{^}{E}}^{*}\left(M\right)$a : \Omega^{\bullet -1}(M)/{im(d)} \to \hat E^*(M)

that gives the above kind of exact sequence

definition

if ${E}^{*}$ is multiplicative, we say ${\stackrel{^}{E}}^{*}$ is multiplicative with product $\vee$ if $\stackrel{^}{E}$ takes values in graded rings and the transformations are compatible with multiplicative structure, where

$a\left(\omega \right)\vee x=a\left(\omega \wedge R\left(x\right)\right)$a(\omega) \vee x = a(\omega \wedge R(x))

definition

$\stackrel{^}{E}$ has ${S}^{1}$-integration if there is a natural (in $M$) transformation

$\int :{\stackrel{^}{E}}^{*}\left(M×{S}^{1}\right)\to {\stackrel{^}{E}}^{•-1}\left(M\right)$\int : \hat E^*(M \times S^1) \to \hat E^{\bullet -1}(M)

compatible with $\int$ of forms and for $E$ it is given by the suspension isomorphism

and

$\int \circ {p}^{*}=0$\int \circ p^* = 0

for $p:M×{S}^{1}\to M$ and

$\int \circ \left(\mathrm{id}×\left(z↦\overline{z}\right){\right)}^{*}=-\int$\int \circ ( id \times (z \mapsto \bar z) )^* = - \int

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 $\stackrel{^}{E}$ a smooth cohomology theory. The homotopy formula:

given $h:M×\left[0,1\right]\stackrel{\mathrm{smooth}}{\to }N$ a smooth homotopy we have

${h}_{1}^{*}\left(X\right)-{h}_{0}^{*}\left(X\right)=a\left({\int }_{M×\left[0,1\right]/M}{h}^{*}\left(R\left(x\right)\right)\right)$h^*_1(X) - h^*_0(X) = a( \int_{M \times [0,1]/M} h^*(R(x)))

corollary $\mathrm{ker}\left(R\right)$ (i.e. flat cohomology) is a homotopy invariant functor

def \hat _H{flat} := ker(R)

proof of lemma

suffices to show

${\iota }_{1}^{*}\left(x\right)-{\iota }_{0}^{*}\left(x\right)=a\left({\int }_{M×\left[0,1\right]/M}R\left(x\right)\right)$\iota_1^*(x) - \iota_0^*(x) = a(\int_{M\times [0,1]/M} R(x))

for all $x\in \stackrel{^}{E}\left(M×\left[0,1\right]\right)$

observe if $x={p}^{*}y$ the left hand side vanishes, $\int R\left({p}^{*}y\right)=0$

for general $x$ $\exists y\in jhatE\left(M\right)$; $x-{p}^{*}\left(y\right)=a\left(\omega \right)$ $\omega \in \Omega \left(M×\left[0,1\right]\right)$

Stokes’ theorem gives ${i}_{1}^{*}\omega -{i}_{0}^{*}\omega ={\int }_{\left[0,1\right]}d\omega$ $=\int R\left(a\left(\omega \right)\right)=\int R\left(x-{p}^{*}\omega \right)=\int R\left(x\right)$

on the other hand

${i}_{1}^{*}\left(x\right)-{i}_{0}^{*}\left(x\right)={i}_{1}^{*}\left(a\left(\omega \right)\right)-{i}_{0}^{*}\left(a\left(\omega \right)\right)=a\left(\int R\left(x\right)\right)$i^*_1(x) - i^*_0(x) = i^*_1(a(\omega)) - i^*_0(a(\omega)) = a(\int R(x))

a calculation: ${\stackrel{^}{H}}_{\mathrm{flat}}^{1}\left(\mathrm{pt}\right)={\stackrel{^}{H}}^{1}\left(\mathrm{pt}\right)=ℝ/ℤ={\stackrel{^}{K}}^{1}\left(\mathrm{pt}\right)$

Theorem (Hopkins-Singer)

For each generalized cohomology theory ${E}^{*}$ a differential version ${\stackrel{^}{E}}^{*}$ as in the above definition does exist

Moreover ${\stackrel{^}{E}}_{\mathrm{flat}}^{*}=Eℝ/{ℤ}^{•-1}$

remark it’s not evident hot to obtain more structure like multiplication

theorem using geometric models, multiplicative smooth extensions with ${S}^{1}$-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 ${E}^{*}$ is rationally even, meaning that

${E}^{k}\left(\mathrm{pt}\right)\otimes ℚ=0\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\mathrm{for}\mathrm{odd}k$E^k(pt)\otimes \mathbb{Q} = 0 \;\; for odd k

plus one further technical assumption

then any two smooth extensions ${\stackrel{^}{E}}^{*}$, ${\stackrel{˜}{E}}^{*}$ are naturally isomorphic

such that if required to be compatible with integration the ismorphism is unique

if $\stackrel{^}{E},\stackrel{˜}{E}$ are multiplicative, then this isomorphism is, as well.

example if we don’t require compatibility with ${S}^{1}$-integration, then there are “exotic” abelian group structures on ${\stackrel{^}{K}}^{1}$

Bunke: smooth K-theory

(I gave up taking notes in that one, maybe somebody else has notes?)

Costello, part II

alternative to yesterday’s axioms:

replace $B\left(M\right)$ by $\mathrm{Embeddings}\left({\overline{D}}^{n},M\right)$

and replace ${B}_{n}\left(M\right)$ by

$\mathrm{Embed}\left({D}^{n},M\right)×\mathrm{Enb}\left({\overline{D}}^{n}\coprod \cdots \coprod {\overline{D}}^{n},{\overline{D}}^{n}\right)$Embed(D^n, M) \times Enb(\bar D^n \coprod \cdots \coprod \bar D^n, \bar D^n)
• 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 $F,F\prime$ are factorization algebras, then

$\left(F\otimes F\prime \right)\left(B\right)=F\left(B\right)\otimes F\prime \left(B\right)$(F\otimes F')(B) = F(B) \otimes F'(B)

def a classical factorization algebra is a commutative algebra in the category of factorization algebras

recall, an ${E}_{\infty }$ object in ${E}_{n}$-algebras is an ${E}_{\infty }$-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 $E\to M$

$S:\Gamma \left(M,E\right)\to ℝ$S : \Gamma(M,E) \to \mathbb{R}

is the classical action

$S$ is local: obtained by $\mathrm{int}$ of a Lagrangian

if $B\subset M$ is a ball, let

$\mathrm{EL}\left(B\right)=\left\{\varphi \in \Gamma \left(\mathrm{interior}\left(B\right),E\right)\mathrm{such}\mathrm{that}\varphi \mathrm{satisfies}\mathrm{Euler}-\mathrm{Lagrange}\mathrm{equations}\right\}$EL(B) = \left\{ \phi \in \Gamma(interior(B), E) such that \phi satisfies Euler-Lagrange equations \right\}

Freed: notice that you are doing here classical QFT in Euclidean signature Costello: yes

rough idea

the classical factorization algebra ${X}_{S}$ associated to $S$ assigns to $B$, the algebra

$O\left(\mathrm{EL}\left(B\right)\right)$O(EL(B))

of functions on the set of solutions to $\mathrm{EL}$.

we want maps

${X}_{S}\left({B}_{1}\right)\otimes \cdots \otimes {X}_{S}\left({B}_{n}\right)\to {X}_{S}\left({B}_{n+1}\right)$X_S(B_1) \otimes \cdots \otimes X_S(B_n) \to X_S(B_{n+1})

for ${B}_{i}$ in ${B}_{n+1}$

we have a map

$\mathrm{EL}\left({B}_{n+1}\right)\to \mathrm{EL}\left({B}_{1}\right)×\cdots ×\mathrm{EL}\left({B}_{n}\right)$EL(B_{n+1}) \to EL(B_1)\times \cdots \times EL(B_n)

this yields a map

$O\left(\mathrm{EL}\left({B}_{1}\right)\right)\otimes \cdots \otimes O\left(\mathrm{EL}\left({B}_{n+1}\right)\right)$O(EL(B_1)) \otimes \cdots \otimes O(EL(B_{n+1}))

as desried

simple example

fields are ${C}^{\infty }$ functions on $M$

$S\left(\varphi \right):={\int }_{M}\varphi \Delta \varphi$S(\phi) := \int_M \phi \Delta \phi

Euler-Lagrange equation is $\Delta \varphi =0$

$\mathrm{EL}\left(B\right)=\left\{\mathrm{Harmonic}\mathrm{functions}\mathrm{on}\mathrm{the}\mathrm{interior}\mathrm{of}B\right\}$EL(B) = \{Harmonic functions on the interior of B\}
$O\left(\mathrm{EL}\left(B\right)\right)=\prod _{n\ge 0}\mathrm{Hom}\left(\mathrm{EL}\left(B{\right)}^{\otimes n},ℝ{\right)}^{{S}_{n}}$O(EL(B)) = \prod_{n \geq 0} Hom(EL(B)^{\otimes n}, \mathbb{R})^{S_n}

where Hom means continuous linear maps, and where $\otimes$ 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 ${E}_{0}$-operad is defined by

• ${E}_{0}\left(n\right)=\varnothing$ for $n\ge 1$

• ${E}_{0}\left(0\right)=\mathrm{pt}$

so for instance an ${E}_{0}$-algebra in $\mathrm{Vect}$ is a vector space with an element

forgot to mention that factorization algebras need to have a unit, a section $F$ on $B\left(M\right)$ which is a unit for the product

So: an ${E}_{0}$-algebra in factorization algebras is just a factorization algebra

$\begin{array}{ccc}\mathrm{graded}\mathrm{commutative}\mathrm{algebra}\mathrm{with}\mathrm{Poisson}\mathrm{bracket}\mathrm{of}\mathrm{deg}+1& \stackrel{\mathrm{quantize}}{\to }& {E}_{0}-\mathrm{algebras}\left(\mathrm{in}\mathrm{co}\left[\left[\mathrm{chain}\mathrm{complex}\right]\right]\mathrm{es}\right)\\ \mathrm{Poisson}& \stackrel{\mathrm{quantize}}{\to }& {E}_{1}-\mathrm{algebras}\\ \mathrm{graded}\mathrm{comm}\mathrm{algebra}\mathrm{with}\mathrm{Poisson}\mathrm{bracket}\mathrm{of}\mathrm{deg}-1& \stackrel{\mathrm{quantize}}{\to }& {E}_{2}-\mathrm{algebras}\\ \mathrm{graded}\mathrm{comm}\mathrm{algebra}\mathrm{with}\mathrm{Poisson}\mathrm{bracket}\mathrm{of}\mathrm{deg}-2& \stackrel{\mathrm{quantize}}{\to }& {E}_{3}-\mathrm{algebras}\end{array}$\array{ graded commutative algebra with Poisson bracket of deg +1 &\stackrel{quantize}{\to}& E_0-algebras (in co[[chain complex]]es) \\ Poisson &\stackrel{quantize}{\to}& E_1-algebras \\ graded comm algebra with Poisson bracket of deg -1 &\stackrel{quantize}{\to}& E_2-algebras \\ graded comm algebra with Poisson bracket of deg -2 &\stackrel{quantize}{\to}& E_3-algebras }

Beilinson and Drinfeld define an operad over (i.e. in the category of cochain complex moudles over) the ring of formal power series over $\hslash$

$ℝ\left[\phantom{\rule{-0.1667 em}{0ex}}\left[\hslash \right]\phantom{\rule{-0.1667 em}{0ex}}\right]$\mathbb{R}[\![\hbar]\!]

as follows:

• generated by $\cdot$, a commutative product

• $\left\{-,-\right\}$ a Poisson bracket of deg +1

• with differential $d\left(-\right)=\hslash \left\{-,-\right\}$

$\mathrm{BD}/\hslash \mathrm{BD}=\mathrm{operad}\mathrm{of}\mathrm{commutative}\mathrm{algebras}\mathrm{with}\left\{-,-\right\}\mathrm{of}\mathrm{deg}+1$BD/\hbar BD = operad of commutative algebras with \{-,-\} of deg +1
${H}_{•}\left(\mathrm{BD}\left(n\right){\otimes }_{ℝ\left[\phantom{\rule{-0.1667 em}{0ex}}\left[\hslash \right]\phantom{\rule{-0.1667 em}{0ex}}\right]}ℝ\left(\hslash \right)\right)=0$H_\bullet(BD(n) \otimes_{\mathbb{R}[\![\hbar]\!]} \mathbb{R}(\hbar)) = 0

so

$\mathrm{BD}{\otimes }_{ℝ\left[\phantom{\rule{-0.1667 em}{0ex}}\left[\hslash \right]\phantom{\rule{-0.1667 em}{0ex}}\right]}ℝ\left[\phantom{\rule{-0.1667 em}{0ex}}\left[\hslash \right]\phantom{\rule{-0.1667 em}{0ex}}\right]\simeq {E}_{0}$BD \otimes_{\mathbb{R}[\![\hbar]\!]} \mathbb{R}[\![\hbar]\!] \simeq E_0

rant on BV-theory termionology

framed ${E}_{2}$, which is often called the BV-operad has nothing to do with the BV-theory

def the ${P}_{0}$ (or ${\mathrm{Poisson}}_{0}$) operad is the operad of commutative Poisson algebras with $\left\{-,-\right\}\mathrm{of}\mathrm{deg}1$

so ${P}_{0}=\mathrm{BD}/\hslash$

general fact

let $M$ be a manifold, and $f:M\to ℝ$ a function, then $O\left(\mathrm{derived}\mathrm{critical}\mathrm{locus}\mathrm{of}f\right)$ is a ${P}_{0}$-operad

derived critical locus has as functions the differential graded algebra

$\cdots \Gamma \left(M,{\Lambda }^{2}TM\right)\stackrel{\vee df}{\to }\Gamma \left(M,{\Lambda }^{T}M\right)\stackrel{\vee df}{\to }O\left(M\right)=\Gamma \left(M,{\Lambda }^{•}TM\right)$\cdots \Gamma(M,\Lambda^2 T M) \stackrel{\vee d f}{\to} \Gamma(M,\Lambda^ T M) \stackrel{\vee d f}{\to} O(M) = \Gamma(M, \Lambda^\bullet T M)

here ${\Lambda }^{k}TM$ is in degree $-k$ with differential $\vee df$

$\Gamma \left(M,{\Lambda }^{•}TM\right)$\Gamma(M, \Lambda^\bullet T M)

has Schouten bracket, which is of degree +1

This “wants to become” ${E}_{0}$

observation if $M$ has a measure, then $O\left({\mathrm{crit}}^{n}\left(f\right)\right)$ has a canonical quantization to an algebra over $\mathrm{BD}$.

then quantization is

$\Gamma \left(M,{\Lambda }^{•}TM\right),\vee df+\hslash \Delta$\Gamma(M, \Lambda^\bullet T M), \vee d f + \hbar \Delta

here $\Delta$ arises whenever $M$ has a measure

$\Delta X=\mathrm{Div}X$\Delta X = Div X
$X\in \Gamma \left(M,TM\right)$X \in \Gamma(M, T M)

Costello, part III

so recall that the derived critical locis if a function is a ${P}_{0}$-algebra, so it wants to quantize to ${E}_{0}$

if we have a classical field theory, the derived space of solutions to EL yields a ${P}_{0}$ algebra in factorizatoin algebra

so it wants to become a factorization algebra

Example $\varphi \in {C}^{\infty }\left(M\right)$, $S\left(\varphi \right)=\int \varphi \Delta \varphi$

derived space of solutions to EL is the complex

$\begin{array}{ccc}{C}^{\infty }\left(M\right)& \stackrel{\Delta }{\to }& {C}^{\infty }\left(M\right)\\ 0& & 1\end{array}$\array{ C^\infty(M) &\stackrel{\Delta}{\to}& C^\infty(M) \\ 0 && 1 }

if $B\subset M$ is a ball, then

$O\left({\mathrm{EL}}^{n}\left(B\right)\right)={\Pi }_{n\ge 0}\left(\mathrm{Hom}\left({C}^{\infty }\left(\mathrm{int}B\right)\stackrel{\Delta }{\to }{C}^{\infty }\left(\mathrm{int}B\right){\right)}^{\otimes n},ℝ{\right)}^{{S}_{n}}$O(EL^n(B)) = \Pi_{n \geq 0}( Hom( C^\infty(int B) \stackrel{\Delta}{\to} C^\infty(int B))^{\otimes n}, \mathbb{R} )^{S_n}

this is a commutative dga and defines a commutative factorizaton algebra

if we add an interaction term to the action functional

$S\left(\varphi \right)=\int \varphi \Delta \varphi +{\varphi }^{3}$S(\phi) = \int \phi \Delta \phi + \phi^3

then we get the same algebra of functions but the differential changes

in Yang-Mills theory with gauge Lie algebra $g$: first, we consider the derived quotient of ${\Omega }^{1}\left(M\right)\otimes g$ by ${\Omega }^{0}\left(M\right)\otimes g$, then, take derived critical locus of YM action

What we get, when linearized looks like

$\left(\begin{array}{ccccccc}{\Omega }^{0}\left(M\right)& \to & {\Omega }^{1}\left(M\right)& \stackrel{d\star d}{\to }& {\Omega }^{3}\left(M\right)& \stackrel{}{\to }& {\Omega }^{4}\left(M\right)\\ -1& & 0& & 1& & 2\end{array}\right)\otimes g$( \array{ \Omega^0(M) &\to& \Omega^1(M) &\stackrel{d \star d}{\to}& \Omega^3(M) &\stackrel{}{\to}& \Omega^4(M) \\ -1 && 0 && 1 && 2 }) \otimes g

the algebra of functions iss

${\Pi }_{n\ge 0}\mathrm{Hom}\left({E}^{\otimes n};ℝ{\right)}^{{S}_{n}}$\Pi_{n \geq 0} Hom(E^{\otimes n}; \mathbb{R})^{S_n}

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 ${P}_{0}$-algebra internal to factorization algebras on $M$

this amounts to quantizing the action $S$ 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

$S\left(\varphi \right)=\int \varphi \left(\Delta \varphi +{m}^{2}\varphi \right)+\mathrm{arbitrary}\mathrm{local}\mathrm{higher}\mathrm{terms}$S(\phi) = \int \phi (\Delta \phi + m^2 \phi) + arbitrary local higher terms

use the above theorem, around the 0-solution

Let ${X}_{S}$ be the classical factorization algebra associated to it (it is a ${P}_{0}$-algebra)

Let ${Q}^{\left(n\right)}\left({X}_{S}\right)$ be the set of quantizations

there is a sequence ${T}^{\left(n\right)}\to {T}^{\left(n-1\right)}\to \cdots \to {T}^{\left(1\right)}\to \mathrm{pt}$

where ${T}^{\left(n\right)}$ maps to ${Q}^{\left(n\right)}\left({X}_{S}\right)$, so that the obvious diagram commutes

where ${T}^{\left(n\right)}\to {T}^{\left(n-1\right)}$ is a torsor for the abelian group of local functions of the field $\varphi$

so ${T}^{\left(\infty \right)}={\mathrm{lim}}_{n}{T}^{n}$ then

${T}^{\left(\infty \right)}\simeq \left\{\sum _{k\ge 1}{\hslash }^{k}{S}^{\left(k\right)}\right\}$T^{(\infty)} \simeq \{\sum_{k \geq 1} \hbar^k S^{(k)}\}

${S}^{\left(k\right)}$ is a local function, but this is non-canonical

more sophisticated version

consider any reasonable classical theory, with its classical factorization algebra ${X}_{S}$

let ${Q}^{\left(n\right)}\left({X}_{S}\right)=\mathrm{simplicial}\mathrm{set}\mathrm{of}\mathrm{possible}\mathrm{quantizations}\mathrm{defined}\mathrm{mod}{\hslash }^{n+1}$

${\mathrm{Der}}_{\mathrm{loc}}\left({X}_{S}\right)$ is the cochain complex of derivations of ${X}_{S}$, preserving ${P}_{0}$-structure (is, in fact, local functions on an extended space)

theorem

there exists a sequence of simplicial sets

${T}^{\left(n\right)}\to {T}^{\left(n-1\right)}\to \cdots \to {T}^{\left(1\right)}\to \mathrm{pt}$T^{(n)} \to T^{(n-1)} \to \cdots \to T^{(1)} \to pt

with maps ${T}^{\left(n\right)}\to {Q}^{\left(n\right)}\left({X}_{S}\right)$

such that ${T}^{\left(n\right)}$ fits into a homotopy fiber diagram

$\begin{array}{ccc}{T}^{\left(n\right)}& \to & 0\\ ↓& & ↓\\ {T}^{n-1}& \stackrel{\mathrm{obstruction}}{\to }& {\mathrm{Der}}_{\mathrm{loc}}\left({X}_{S}\right)\left[2\right]\end{array}$\array{ T^{(n)} &\to& 0 \\ \downarrow && \downarrow \\ T^{n-1} &\stackrel{obstruction}{\to}& Der_{loc}(X_S)[2] }

so we get obstructions; for instance for ${\varphi }^{4}$-theory the obstruction is the famous $\beta$-function

theorem Let $g$ be a simple Lie algebra. Then there is a quantization of Yang-Mills theory on ${ℝ}^{4}$ 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 $\hslash ℝ\left[\phantom{\rule{-0.1667 em}{0ex}}\left[\hslash \right]\phantom{\rule{-0.1667 em}{0ex}}\right]$

correlation functions

Where do correlation functions appear?

If $F$ is a factorization algebra on ${M}_{S}$, corresponding to some QFT, then $F\left(B\right)=\left\{\mathrm{measurements}\mathrm{we}\mathrm{can}\mathrm{make}\mathrm{on}\mathrm{the}\mathrm{ball}B\right\}$

if ${B}_{1},{B}_{2}\subset B$ are disjoint, the maps

$F\left({B}_{1}\right)\otimes F\left({B}_{2}\right)\to F\left(B\right)$F(B_1)\otimes F(B_2) \to F(B)

is defined by doing both observations

correlation functions should be cochain maps

$⟨F\left({B}_{1}\right)\otimes \cdots \otimes F\left({B}_{n}\right)\to ℝ⟩$\langle F(B_1) \otimes \cdots \otimes F(B_n) \to \mathbb{R} \rangle

if ${B}_{1},\cdots ,{B}_{n}$ are disjoint, if ${O}_{i}\in F\left({B}_{i}\right)$

then

$⟨{O}_{1},\cdots ,{O}_{n}⟩$\langle O_1, \cdots, O_n\rangle

is a measurement of how to observe ${O}_{i}$ correlations

if ${B}_{1},{B}_{2}\subset \stackrel{˜}{B}$ the diagram

$\begin{array}{ccc}F\left(B1\right)\otimes \cdots \otimes F\left({B}_{n}\right)& \stackrel{⟨\cdots ⟩}{\to }& ℝ\\ ↓& & {↑}^{⟨\cdots ⟩}\\ F\left(\stackrel{˜}{B}\right)\otimes F\left({B}_{3}\right)\otimes \cdots \otimes F\left({B}_{n}\right)\end{array}$\array{ F(B1) \otimes \cdots \otimes F(B_n) &\stackrel{\langle \cdots \rangle}{\to}& \mathbb{R} \\ \downarrow && \uparrow^{\langle \cdots \rangle} \\ F(\tilde B) \otimes F(B_3) \otimes \cdots \otimes F(B_n) }

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)

${\mathrm{CH}}_{•}\left(M,F\right)=\mathrm{homotopy}\mathrm{universal}\mathrm{recipient}\mathrm{of}\mathrm{correlation}\mathrm{functions}$CH_\bullet(M,F) = homotopy universal recipient of correlation functions
$={\mathrm{colim}}_{{B}_{1},\cdots {B}_{n}\subset M\mathrm{disjoint}}F\left({B}_{1}\right)\otimes \cdots F\left({B}_{n}\right)$= colim_{B_1, \cdots B_n \subset M disjoint} F(B_1) \otimes \cdots F(B_n)

(Kevin Walker (blob homology), Jacob Lurie (topological chiral homology))

lemma for a massive scalar field,

${\mathrm{CH}}_{•}\left(M,F\right)\simeq ℝ\left[\phantom{\rule{-0.1667 em}{0ex}}\left[\hslash \right]\phantom{\rule{-0.1667 em}{0ex}}\right]$CH_\bullet(M,F) \simeq \mathbb{R}[\![\hbar]\!]

in general

${\mathrm{CH}}_{•}\left(M,F\right)$ looks like measures on the space of critical points of the classical action

if we perturb around isolated critical points, ${\mathrm{CH}}_{•}\left(M,F\right)=ℝ\left[\phantom{\rule{-0.1667 em}{0ex}}\left[\hslash \right]\phantom{\rule{-0.1667 em}{0ex}}\right]$

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 23:59:25 by Toby Bartels (71.104.230.172)