nLab Oberwolfach Workshop, June 2009 -- Abstracts

Redirected from "Oberwolfach 2009 - Abstracts".

Here are abstracts of talks given at

Thomas Schick: Smooth cohomology theories

The basic idea of differential cohomology (also called smooth cohomology ) is to combine generalized cohomology (e.g. ordinary integral cohomology, or K-theory, or tmf, or …) and differential forms. Hopkins and Singer showed that a smooth refinement exists for any generalized cohomology theory, but didn’t provide an (easy for mere mortals to understand) explicit construction. In this talk, Thomas Schick advertised geometric models for multiplicative smooth cohomology with S 1S^1-integration for KK-theory (joint with Ulrich Bunke) and MU-bordism (joint with Ulrich Bunke, Schröder? and Wethamp?). They have proved a uniqueness theorem, stating that under certain assumptions any two smooth refinements of a generalized cohomology theory are naturally isomorphic.

Ullrich Bunke: Smooth K-theory

In this talk, which led on from the previous one by Thomas Schick, Ulrich Bunke gave an explicit description of their smooth KK-theory model in terms of geometric cocycles. Basically a cocycle consists of a pair (,ρ)(\mathcal{E}, \rho) where \mathcal{E} is a ‘geometric family’, namely a smooth proper submersion EBE \rightarrow B with a fiberwise metric, a Clifford bundle WW and some connection of some sort. The object ρ\rho is an element of Ω(B,K)=C (B,Λ *T *BK *)\Omega(B, K) = C^\infty(B, \Lambda^*T^* B \otimes K^*). He also described smooth KK-orientatiosn and the push-forward map, with an application to the ee-invariant of Adams. There is also a Riemann-Roch theorem.

Christoph Schweigert and Ingo Runkel: CFT and algebra in braided tensor categories I and II

This talk explains how correlators for a rational two-dimensional conformal field theory can be constructed in the functorial TFT formalism. Based on a modular tensor category CC, decoration data have been introduced in terms of special symmetric Frobenius algebras in CC and the correlator, as an element of tft C(X^)tft_C (\hat{X}) with X^\hat{X} a double cover of the surface XX, has been expressed in terms ofthe invariant of a decorated 3-manifold M XM_X with M X=X^\partial M_X = \hat{X}. The correlators are invariant under the mapping class groups and obey the sewing constraint.

Morita equivalent special symemtric Frobenius algebras lead to an equivalent description of the correlators. A Morita invariant formulation is provided by the notion of a module category MM over the module tensor category CC. The world sheet is now decorated by categories, functors between module categories and natural transformations.

Kevin Costello: Factorization algebras in perturbative QFT

A factorization algebra on a manifold MM is an object which associates to every ball BMB \subseteq M a vector space (or cochain complex) F(B)F(B); and to every collection B 1B nB n+1B_1 \coprod \cdots \coprod B_n \subset B_{n+1} of disjoint balls in a larger ball, a map F(B 1)F(B n)F(B n+1)F(B_1) \otimes \cdots \otimes F(B_n) \rightarrow F(B_{n+1}). These structures are the C C^\infty analogues of chiral algebras, as introduced by Beilinson and Drinfeld; they are closely related to algebras for the little n-disk operad E nE_n.

In this series of lectures, Kevin Costello set up a framework to construct factorization algebras from perturbative quantum field theory. The set up is analagous to the deformation quantization picture of quantum mechanics. Just as the observables of quantum mechanics are encoded in an associative algebra, Costello argues that the observables of a QFT on MM are encoded in a factorization algebra on MM, similar to but slightly different from the waqy it works in (euclidean) AQFT. This factorization algebra arises by quantizing a commutative factorization algebra associated to classical field theory.

This series of lectures finished with the statement of a theorem allowing one to quantize the commutative factorization algebra associated to a classical field theory in a range of situations, including situations of physical interest. This is joint work with Owen Gwilliam.

Gabriel C. Drummond-Cole: \infty-Operads, BU BU_\infty and Hypercomm Hypercomm_\infty

The speaker applies the machinery of the model category of operads to extend and explain the Barannikov-Kontsevich passage from differential BV algebras satisfying the overbar\partial-\overbar{\partial} lemma to hypercommutative algebras (Frobenius manifolds). This is joint work with Bruno Valette. The following theorem was proved:

Theorem

Let VV be a differential BV-algebra over a field of characteristic zero. Let HH be its homology. Then: 1. If VV satisfies the noncommutative Hodge to de Rham degeneration condition, then there exists a hypercommutative \infty-structure on HH. 2. If VV satisfies Park’s semiclassical condition then this structure is unique up to Hypercomm Hypercomm_\infty quasi-isomorphism.

Alex Kahle: Superconnections and index theory

In this talk, Alex Kahle described results from his thesis work (his supervisor was Dan Freed) about superconnections and index theory. The idea is to prove a local index theorem using superconnections via direct geometric-analytical methods (i.e. not stochastic) for use with family index problems, determinant line bundles, etc. Just like ordinary connections on spinor buundles, a superconnection gives rise to a Dirac operator on a spinor bundle. The usual local index theorem (that the trace of the heat kernel converges as t0t \rightarrow 0 to a certain differential form) needs to be modified though, because forms of different degrees have different scaling behaviour (recall that a superconnection involves forms of different degrees). Alex worked out how to scale everything correctly so that one indeed gets a local index theorem for superconnections, leading to many potential applications.

Chris Schommer-Pries: Topological defects, DD-branes, and the classifications of TFTs in low dimensions

Chris explained his classification result mentioned at (infinity,n)-category of cobordisms from his thesis of extended (he suggested calling them local) 2d TQFT’s via the explicit generators and relations he obtained on 2Cob2Cob. He also showed how the higher-categorical viewpoint unites the following two ideas: the ‘open-closed’ theories and the ‘field theories with defects’ from Ingo Runkel and Christoph Schweigert’s talk. He showed how both these concepts are particular examples of a single notion, namely that of a collection of natural transformations between a restriction of FTQFT? nn-functors (called “unnatural” or “supernatural” transformations to indicate that it is a transformation not of the entire functor, but just of its restriction to the 2-category of 2-manifolds with only inverttible 2-morphisms).

This is precisely the kind of viewpoint that Urs Schreiber and Jens Fjelstad suggested at the n-category cafe under the slogal D-branes from tin-cans (a D-brane is a boundary condition ordefect, a “tin-can diagram” is the naturality diagram for a higher natural transformation).

By the way, there’s much more to come from Chris, he is working on the 3d theory and much besides!

Dan Freed: Geometry and topology of orientifolds

Freed described recent work with Jacques Distler and Greg Moore on a certain background structure in superstring theory called an orientifold], which is a [[bundle gerbe? on a 2\mathbb{Z}_2 orbifold with a peculiar “twisted” equivariance condition. There is apparantly a beautiful string theory formula to calculate the ‘RR charge?’, namely something like

RRcharge=±2 somethingi *(L(F)L(ν)) RR charge = \pm 2^{something} i_* \sqrt\left( \frac{L'(F)}{L'(\nu)} \right)

involving a certain normal bundle and the ‘Bott element in K-theory’, which looks similar to the Hirzebruch formula for the L-genus. This uses some kind of twisted differential cohomology version of KR theory. The whole thing can be viewed as a new sort of anomaly, having to do with an exotic orientation of some kind.

Scott Wilson: Some algebra relat4ed to mapping spaces and applications

Wilson defined a partial algebra as a lax monoidal functor from the category of finite sets to chain complexes, such that the map A(jk)A(j)A(k)A(j \coprod k) \rightarrow A(j) \otimes A(k) is a quasi-isomorphism. He showed how these pop up in homotopy theory all the time.

(Remark: this formula is the basis for Jacob Lurie‘s discussion of commutative algebra in an (infinity,1)-category in general and of symmetric monoidal (infinity,1)-category in particular).

For instance, if YY is any space and AA a partial algebra, the resulting total complex can be seen as a generalization of Hochschild cohomology. One really interesting example (for Bruce) was where YY is the interval, and AA is the partial algebra of forms on a Riemannian manifold MM. It turns out that a certain canonical equation which pops out is precisely the Navier-Stokes equation. Gulp!

Urs Schreiber: Background fields in twisted differential nonabelian cohomology

What can I (Bruce) say about Urs’s talk? Many mere mortals might think it impressive to pass from ordinary cohomology to twisted cohomology, or to differential cohomology, or to nonabelian cohomology. Urs does this all in one step! Yes, we’re talking about twisted differential nonabelian cohomology. As we all know and love, Urs has developed some \infty-machinery based on all sorts of work which enables him to ‘turn the crank’ and output all the cohomology theories which mathematicians and physicists currently are bumping into. A great application of his machinery is an understanding of the ‘Green-Schwarz anomaly cancellation’ mechanism in terms of twisted nonabelian String-gerbes with connection and the Chern-Simons 2-gerbe. Unfortunately Urs didn’t have time to quite get to that point, but he did at least mention other examples like how his machinery naturally produces the ‘twisted Bianchi identities’ in twisted flat differential cohomology, as well as nonabelian gerbes. Urs ended his talk by explaining how nonabelian cohomology on XX is related to twisted abelian cohomology on XX. This ties in with Konrad’s talk, where the abelian viewpoint is taken, but the nonabelian viewpoint is essential for some applications.

André Henriques: Invertible conformal nets

In this talk, Henriques described joint work with Chris Douglas and Arthur Bartels on the program of establishing an equivalence between full conformal field theories and ‘conformal nets’. Preliminary write-ups of this work is available on his webpage. A conformal net is something like a factorization algebra (in the sense of Costello’s talk) on 1-dimensional manifolds taking values in the bicategory of Von Neumann algebras with bimodules as 1-morphisms. The μ\muindex μ(A)\mu(A) of a conformal net AA is defined to be the statistical dimension of the vacuum sector H 0H_0, viewed as some kind of bimodule involving things which AA assigns to arcs on the unit circle. He stated the following result.

Theorem

A conformal net is invertible if and only if μ(A)=1\mu(A)=1, and it is fully dualizable (in the sense of Lurie) if and only if μ(A)<\mu(A) \lt \infty.

Konrad Waldorf: String connections and Chern-Simons 2-gerbes

Konrad described the Chern-Simons 2-gerbe CS PCS_P which is a geometric object living on any manifold MM which is equipped with a Spin-bundle PP. Its definition involves some kind of pullback of the basic bundle gerbe over the Spin group. He demonstrates that a string structure SS on PP is a trivialization of this 2-gerbe, in the sense of a morphism from the trivial 2-gerbe living over MM to CS PCS_P. Such a trivialization only exists precisely if the first fractional Pontryagin class of the bundle vanishes, 12p 1(P)=0\frac{1}{2} p_1(P) = 0, otherwise the Chern-Simons 2-gerbe is globally nontrivial and a string structure doesn’t exist. He defined a string connection on a string structure SS (a connection on PP is needed here) on PP as a connection on this trivialization SS which is compatible with various things.

Basically, the data of a string structure together with a string connection on PP is a class in the [CS P][CS_P]-twisted differential cohomology of MM in Urs’s sense, for vanishing twist (the twist is the nontriviality of the String structure). Konrad described various results about string connections, such as the fact that they form a contractible space, confirming a conjecture by Stolz and Teichner. See his recent arXiv article.

Kevin Walker: Blob homology.

Kevin Walker described a new way to think about extended TQFTs. Namely to an n-manifold MM and an n-category CC he defined a ‘blob complexB *(M,C)B_*(M, C). The construction produces a kind of ‘derived version’ of an extended TQFT. The idea is that the usual quantum invariants Z(M)Z(M) to manifolds of dimension n\leq n are produced out of this chain complex, with the Atiyah-Segal axioms following as corollaries of the setup. He listed a number of examples of the TQFT’s he has in mind in the beginning, such as the finite group model, one based on a -algebra, one based on a pivotal category, one based on a braided ribbon category, and even one based on contact structures.

Ralph Cohen: String topology, field theories and Fukaya categories

  • No notes!?

This talk was about relating the subject of string topology, which is now 10 years old, with other field theories, especially in the light of recent work by Costello, Hopkins and Lurie. String theory was described as a ‘homological conformal field theory’. The slogan was that string topology simplifies when one applies Poincaré duality. A relation was sketched between string topology and Gromov-Witten symplectic field theory. Ultimately it was conjectured that the symplectic field theory of T *MT^*M is equivalent to string topology of MM.

Corbett Redden: String structures, 3-forms, and tmf classes

Corbett began my defining a string structure on a manifold MM as a certain lift of a classifying map; string structures up to homotopy are canonically isomorphic with things called ‘string classes’ on MM - namely, elements in the third integral cohomology of the total space of the bundle which behave on the fibers as the generator of the third cohomology of the Spin group. The point about string structures is that they transgress to give a spin structure on the loop space of the manifold, which is what one wants to study things like the Witten genus. He showed a beautiful way to obtain string structures from a metric on MM, using Hodge representatives for the forms, and then passing to the ‘adiabatic limit’, to obtain a certain 3-form HH. A theorem of Mazzeo-Melrose, Dai and Forman then says that the kernel of the Hodge laplacian extends smoothly in the adiabatic limit, and comes from a filtration in the Serre spectral sequence (something like that). He gave a hypothesis that if a manifold M nM^n admits a spin and a string structure and a Riemannian metric gg such that the Ricci curvature of gg is positive and that H=0H=0, then a certain invariant σ(M,S)=0\sigma(M, S)=0 inside tmf n(pt)tmf^{-n}(pt). He showed that all these conditions are necessary!

Mike Hopkins: The Kervaire invariant

Hopkins gave a nice story of the history and origins of the Kervaire invariant in the classification of manifolds. He spoke about Pontryagin’s work about the cobordism groups of stably framed manifolds in the 1930’s, and the mistake he made in dimension n=2n=2! Basically he thought a certain function was linear, when in fact it was quadratic. This led to the Kervaire invariant being introduced. The problem about when the Kervaire invariant vanishes has been solved in dramatic fashion by Hopkins, Hill and Ravenel very recently… if a manifold has Kervaire invariant 11, then its dimension must be either 2, 6, 14, 30, 62 or 126, with the final of these remaining open! See the notes for the great story. Hopkins ended with a nice geometric description of the Kervaire invariant on spheres in dimension 2 and 6, relating it to complex structures and exceptional Lie groups. He wondered if these things feature in dimension 126? See also Andrew Ranicki’s http://www.maths.ed.ac.uk/~aar/exotic.htm on exotic spheres and Douglas Ravenel’s webpage.

Last revised on December 16, 2009 at 20:30:47. See the history of this page for a list of all contributions to it.