André Henriques has notes on this work available on his website;
today: classification of invertible objects in a 3-category
theorem (André Henriques, Arthur Bartels, Chris Douglas): Conformal nets form the objects of a symmetric monoidal 3-category CN3 .
definition A conformal net is a factorization algebra on the category of 1-dimensional balls with values in von Neumann algebras.
1-dim ball is just an interval, of course
so a conformal net associates to each interval a vN algebra, and for each inclusion of intervals there is an inclusion of vN algebras
for two intervals equipped with an embedding into interval the net assigns
Freed: why do you call this conformal ?
André: (as far as I understand the reply he gives after my question) the usual covariance condition under Moebius group imposed on conformal nets is taken care of here by havin not intervals in the real line on the line but abstract intervals with maps between them being embeddings. The claim is that this automatically implies the right kind of covariance that is otherwise imposed by hand.
question: do you really mean full instead of chiral CFTs on the right?
symmetric monoidal structure is objectwise the tensor product
theorem aa conformal net is invertible in CN3 iff its -index equals 1.
It is fully dualizable iff
in the 2-category of vN algebras, a morphism
is a bimodule where is a Hilbert space
is given by the bimodule called
this comes from the following: if is a measure space and arises as then is .
the general is a non-commutative analog of this construction, for which are not of the form “measurable functions on a measure space”.
One word about composition, if
given by is the Connes-Fusion operation
associated to is
fact think of an interval as the upper semicircle. The two actions of on can be used to define an action of on for every .
Because if is in the upper semicircle, use the left action, if in the lowwer semicircle use the right action, if it is neither, do something else (not explained here)
so has an action of .
so now everything is invariant projectively with respect to diffeomorphism group
given two circles , let be north west quarter cicle, etc
consider as a bimodule over
now some ideas on the proof of the first theorem
if is dualizable, then is its dual
if is invertible, then is its inverse
a 1-morphism in CN3, to be called a defect is
consider the category of bi-colored 1-dimensional manifold is a 1-d manifolds (decomposition into intervals labeled by two things) with morphisms being color-preserving maps
sufficient to look at intervals
half blue, half orange
now a defect/1-morphism is a conformal net as above on bi-colored 1d manifolds
so suppose three nets and two defects
then define the composition defect net by
the diffeomorphism group of the orange interval does act on the space of all possible compositions here, which one shows to all be coherently isomorphic
now construct a defect
(whatever that means)
things we could talk aout:
composition of defects
examples of conformal nets
-graded version of all that
Mike Hopkins: could we talk about relation full CFT to chiral CFT?
examples can be obtained as follows
loop group nets ()
moonshine net: take the Leech lattice and do some orbifolding
minimal model = Virasoro
recall the Hillber space obtained from the full cnformal net as the algebra of the upper semi circle
but in practice one first constructs and then from that the net
is already the same as a functor on all abstract intervals, since that category is equivalent to intervals in the circle
so given an interval , construc the set of maps
if happens to be thought of as embedded in the circle, then this group could be identified with the subgroup of the loop group whose elements send the complement of to .
but the point is there is way to get a conformal net here without assuming embedding into
so the algebra we will assign to is just the group algebra
forgetting all topology, but this still depends on the central extension and it sits densely in the vN algebra obtained by taking the group, letting it act on the vacuum in the Hilbert space through a rep of
so is now defined to be the completion of that algebra in
this here gives a chiral theory
audience: one should think of intervals here as thickened points and of the vN algebras as what is assigned to the point in an extended CFT
here is how to get the algebra assigned to the circle:
puff up the circle to an annulus, cut this vertically in two pieces; call the two intervals where the cut goes and ,
let be the Hilbert space assigned to the boundary circles of the two pieces of the cut annulus. Then the algebra in question is the Connes fusion product of with itself over
audience: so the circle doesn’t really appear in this formula, it’s just a thing to help us think about this
now recall the definition of tensor product of nets
then consider extensions of nets of the following form
such is cooked up from every Frobenius algebra object in (in vN theorists jargon this is a “-system”)
in the 3-category VN3 this can be written as
to the circle assigns
detailed notes with further links and backgeound information are here:
The point of this is to define a notion of twisted differential nonabelian cohomology for every fibration sequence of smooth -groupoids and then establish from that the following list of examples.
list fibration sequence of smooth -groupoids
and indicate properties of the corresponding differential twisted nonabelian cohomology
Examples / Claim
twisting cocycle: lifting gerbe;
twisted cocycle: twisted bundles / gerbe modules
twisted Bianchi identity:
occurence: Freed-Witten anomaly cancellation on D-brane
twisting cocycle: Chern-Simons 2-gerbe;
twisted cocycle: twisted nonabelian String-gerbe with conection
twisted Bianchi identity:
occurence: Green-Schwarz anomaly cancellation
for aspects of the twisted case see also