This is the personal web of Domenico Fiorenza within the nLab.
Here is where I’ll discuss on-going projects and collect notes from talks. Currenly, my principal interest is in elliptic cohomology from an extended conformal field theory perspective. As a training I’m now working on 0-dimensional TQFT/singular cohomology and 1-dimensional TQFT/K-theory, and on the relations between them. I’ll write things here first, and then (as they are acceptably clean) on the Lab.
Below are more specific topics I’m thinking to at the moment. For each topic you’ll find a very short introduction and links to the page where it is developed. mother of the bride dresses
Let be a Lie group, and a -connection on a principal -bundle. The curvature precisely measures how fails to be flat. Therefore one can think to remedy the non-flatness of by adding to it the datum of , i.e., by considering a 2-connection locally given by . With this new connection the obstruction to flatness has been moved one step away. Repeating this procedure produces a flat -connection in the sense of Schreiber. Details at flat ∞-connections.
Mostly scrath for the moment, at Dijkgraaf-Witten model
An attempt to describe the abstract nonsense of path-integrals, extremizing the functorial point of view. Still very confused. Hopefully in March I’ll be able to work more seriously on this together with Urs. Details at functorial path integrals.
With Giuseppe Malavolta, we are trying to write down a rather effective dictionary between the Physics parlance and the current mathematical description of the same concepts and constructions. There is no nPOV in it (well, maybe some shadow of it here and there…), but we thougt the nLab was the right place where to develop this work in progress after having bumped in this blog entry. Details at the standard model.
Let be the category of finite dimensional vector spaces over some fixed field . We can look at as to an -category with trivial higher morphisms. It is a pointed infinity-category with finite limits, so it admits a stabiliziation , and we can consider the Waldhausen construcion on the stable infinity-category . This should be the K-theory spectrum.
Taking dimension is not a functor but it becomes a functor if one restricts morphisms in to be isomorphisms. Moreover, is compatible with (direct) sums and (tensor) products. This suggests that there should be a stable version of dimension which is an infinity-functor (this latter spectrum is the Eilenberg-Mac Lane spectrum). At the cohomology level, stable dimension should induce the Chern character from K-theory to singular cohomology (the fact that the leading term of is seems to support this point of view). I’ll try to expand this point of view at Chern character.