## April 11, 2008

### Sigma-Models and Nonabelian Differential Cohomology

#### Posted by Urs Schreiber

At the moment I am travelling a bit, until the HIM trimester program on Geometry and Physics begins next month.

I just spent a week in Aarhus, Denmark, where I was working with Jens Fjelstad on our description of rational conformal field theory as a parallel 2-transport with values in cylinders in the 3-category $\mathbf{B} Bimod(C)$, for $C$ a modular tensor category (discussed before here).

Next week I’ll visit Stephan Stolz at the University of Notre Dame, and then the week after Jim Stasheff at UPenn.

I am talking about aspects of what has happened so far, which I am trying to summarize in

U.S.
On $\Sigma$-models and nonabelian differential cohomology
(pdf).

Abstract. A “$\Sigma$-model” can be thought of as a quantum field theory (QFT) which is determined by pulling back $n$-bundles with connection (aka ($n-1$)-gerbes with connection, aka nonabelian differential cocycles) along all possible maps (the “fields”) from a “parameter space” to the given base space.

If formulated suitably, such $\Sigma$-models include gauge theories such as notably (higher) Chern-Simons theory. If the resulting QFT is considered as an “extended” QFT, it should itself be a nonabelian differential cocycle on parameter space whose parallel transport along pieces of parameter space encodes the QFT propagation and correlators.

We are after a conception of nonabelian differential cocycles and their quantization which captures this.

Our main motivation is the quantization of differential Chern-Simons cocycles to extended Chern-Simons QFT and its boundary conformal QFT, reproducing the cocycle structure implicit in [FFRS].

The CFT aspect of this, mentioned in the abstract, is the content of my work with Jens:

Rational CFT is parallel transport
(pdf)

Abstract. From the data of any semisimple modular tensor category $C$ the prescription [Reshetikhin-Turaev] constructs a 3-dimensional TFT by encoding 3-manifolds in terms of string diagrams in $C$. From the additional data of a certain Frobenius algebra object internal to $C$, the presciption [FFRS, FFRS] obtains (the combinatorial aspect of) the corresponding full boundary CFT by decorating triangulations of surfaces with objects and morphisms in $C$.

We show that these decoration prescriptions are “quantum differential cocycles” on the worldvolume for a 3-functorial extended QFT. The boundary CFT arises from a morphism between two chiral copies of the (locally trivialized) TFT 3-functor.

The crucial observation is that all 3-dimensional string diagrams in [FFRS] are Poincaré-dual to cylinders in $\mathbf{B}\mathrm{Bimod}(C)$ which arise as components of a pseudonatural transformation between two 3-functors that factor through $\mathbf{B}\mathbf{B} C \hookrightarrow \mathbf{B}\mathrm{Bimod}(C)$.

This exhibits the “holographic” relation between 3d TFT and 2d CFT as the hom-adjunction in $3\mathrm{Cat}$, which says that a transformation between two 3-functors is itself, in components, a 2-functor.

Posted at April 11, 2008 6:14 AM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1654

## 1 Comment & 5 Trackbacks

### Re: Sigma-Models and Nonabelian Differential Cohomology

I am currently giving a series of talks “on nonabelian differential cohomology” at Notre Dame, kindly invited by Stephan Stolz.

I have started turning my hand-written notes into a LaTeX-file:

Talk: On nonabelian differential cohomology (pdf, 26 pages)

Abstract. Nonabelian differential $n$-cocycles provide the data for an assignment of “quantities” to $n$-dimensional “spaces” which is

• locally controlled by a given “typical quantity”;
• globally compatible with all possible gluings of volumes.

For $n=1$ this encompasses the notion of parallel transport in fiber bundles with connection. In general we think of it as parallel $n$-transport.

For low $n$ and/or “sufficiently abelian quantities” this has been modeled by differential characters, $(n-1)$-gerbes, $(n-1)$-bundle gerbes and $n$-bundles with connection. We give a general definition for all $n$ in terms of descent data for transport $n$-functors along the lines of [BS,SWI,SWII,SWIII]. Concrete realizations, notably Chern-Simons $n$-cocycles, are obtained by integrating $L_\infty$-algebras and their higher Cartan-Ehresmann connections [SSS].

Tomorrow is the third talk, where I should say a bit more about the general definition of nonabelian differential cohomology and then pass to the realizations in terms of $L_\infty$-algebras. At that point the notes currently are still a bit incomplete.

Posted by: Urs Schreiber on April 17, 2008 5:41 AM | Permalink | Reply to this
Read the post Thoughts (mostly on super infinity-things)
Weblog: The n-Category Café
Excerpt: Thoughts while travelling and talking.
Tracked: April 22, 2008 3:50 AM
Read the post Dual Formulation of String Theory and Fivebrane Structures
Weblog: The n-Category Café
Excerpt: An article which discusses lifts through the 7-fold connected cover of the structure group of the tangent bundle in the context of electric-magnetic duality in string theory.
Tracked: April 28, 2008 3:37 AM
Read the post HIM Trimester on Geometry and Physics, Week 4
Weblog: The n-Category Café
Excerpt: Talk in Stanford on nonabelian differential cohomology.
Tracked: May 29, 2008 11:04 PM
Read the post An Exercise in Groupoidification: The Path Integral
Weblog: The n-Category Café
Excerpt: A remark on the path integral in view of groupoidification and Sigma-model quantization.
Tracked: June 13, 2008 6:24 PM
Read the post Connections on Nonabelian Gerbes and their Holonomy
Weblog: The n-Category Café
Excerpt: An article on transport 2-functors.
Tracked: August 15, 2008 7:56 PM

Post a New Comment