Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
  
  
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber101.
   • CommentAuthordomenico_fiorenza
   • CommentTimeApr 16th 2010
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexUrs, no need to apologize, I was joking :) (yet looking forward to seeing you back here)

   Urs,

   no need to apologize, I was joking :)

   (yet looking forward to seeing you back here)

2. • CommentRowNumber102.
   • CommentAuthorUrs
   • CommentTimeApr 16th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexOkay, I am on the train back home. Time to get something done! :-) Here is a thought that migh serve to interpolate a bit between some things that have been said: We want for * $X = \mathbf{B}G$ our target space object; * $\alpha : \mathbf{B}G \to \mathbf{B}^3 U(1)$ our background field * $\Sigma_{in} \to \Sigma \leftarrow \Sigma_{out}$ our parameter space cobordism the quantum propagator along such $\Sigma$ in the most abstract-nonsense way. The action functional on the space of fields is the induced morphism $\alpha_*(\Sigma) : [\Sigma, \mathbf{B}G] \to [\Sigma, \mathbf{B}^3 U(1)]$, where angular brackets shall denote the $\infty$-groupoid valued hom. (In lack of a boldface $H$.) Let's further postcompose this with passing to cohomology $ \int : [\Sigma, \mathbf{B}^3 U(1)] \to \pi_0 [\Sigma, \mathbf{B}^3 U(1)] $. I assume now for definiteness for the moment that $\Sigma$ is closed and that the cohomology on the right is $U(1)$, by integration without integration. Then we get a total morphism $[\Sigma,\mathbf{B}G] \stackrel{\alpha_*}{\to} [\Sigma, \mathbf{B}^3 U(1)] \stackrel{\int}{\to} U(1)$. This is an $\infty$-groupoid over $U(1)$, that happens to be just a groupoid over $U(1)$. So we are entitled to the $\infty$-groupoid cardinality of it. This is precisely the DW-invariant of $\Sigma$: the sum over iso-classes of $[\Sigma,\mathbf{B}G]$ of their value in $U(1)$ under $\int \alpha_*$ times one over the automorphism of the iso-class. $$card([\Sigma,\mathbf{B}G] \stackrel{\alpha_*}{\to} [\Sigma, \mathbf{B}^3 U(1)] \stackrel{\int}{\to} U(1)) = \sum_{[\phi] \in \pi_0 [\Sigma, \mathbf{B}G]} \frac{1}{Aut(\phi)} \int \alpha_*(\phi) \,. $$ Do you see what I mean? Now consider the case with nontrivial $\Sigma_{in}$ and $\Sigma_{out}$...

   Okay, I am on the train back home. Time to get something done! :-)

   Here is a thought that migh serve to interpolate a bit between some things that have been said:

   We want for

   • our target space object;

   • our background field

   • our parameter space cobordism

   the quantum propagator along such in the most abstract-nonsense way.

   The action functional on the space of fields is the induced morphism

   ,

   where angular brackets shall denote the -groupoid valued hom. (In lack of a boldface .)

   Let’s further postcompose this with passing to cohomology

   .

   I assume now for definiteness for the moment that is closed and that the cohomology on the right is , by integration without integration. Then we get a total morphism

   .

   This is an -groupoid over , that happens to be just a groupoid over . So we are entitled to the -groupoid cardinality of it. This is precisely the DW-invariant of :

   the sum over iso-classes of of their value in under times one over the automorphism of the iso-class.

   Do you see what I mean?

   Now consider the case with nontrivial and …

3. • CommentRowNumber103.
   • CommentAuthordomenico_fiorenza
   • CommentTimeApr 16th 2010
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexperfect. and what is most important, totally irrelevant to which model for $H$ one chooses (nice topological spaces, oo-groupoids,...) now, the case with nontrivial $\Sigma_{in}$ and $\Sigma_{out}$. according to the relative cohomology prescription we have been discussing/suggesting above, the only change should be in passing to cohomology. this time we should have $$ \int:[\Sigma_{in}\to\Sigma\leftarrow \Sigma_{out},*\to B^3U(1)\leftarrow *]\to \pi_0[\Sigma_{in}\to\Sigma\leftarrow \Sigma_{out},*\to B^3U(1)\leftarrow *] $$ assuming that $\Sigma$ is connected the cohomology on the right is again $U(1)$, and taking oo-groupoid cardinality ne recovers DW receipt for the matrix elements of the 1-morphism associated with $\Sigma$. next step, a clean nonsense description of the vector spaces associated with $\Sigma_{in}$ and $\Sigma_{out}$. these should be described in terms of sections of the $\mathbb{C}$-bundles associated with flat $U(1)$-bundles on $[\Sigma_{in},\mathbf{B}G]$ and $[\Sigma_{out},\mathbf{B}G]$ sketched in #95

   perfect. and what is most important, totally irrelevant to which model for one chooses (nice topological spaces, oo-groupoids,…)

   now, the case with nontrivial and . according to the relative cohomology prescription we have been discussing/suggesting above, the only change should be in passing to cohomology. this time we should have

   assuming that is connected the cohomology on the right is again , and taking oo-groupoid cardinality ne recovers DW receipt for the matrix elements of the 1-morphism associated with .

   next step, a clean nonsense description of the vector spaces associated with and . these should be described in terms of sections of the -bundles associated with flat -bundles on and sketched in #95

4. • CommentRowNumber104.
   • CommentAuthordomenico_fiorenza
   • CommentTimeApr 18th 2010
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexa few lines on the top-dimensional part of the Yetter model. the abstract nonsense works so well that it's just copying and pasting from Urs #102 above, with the changes $G_{(2)}$ for $G$ and $\mathbf{B}U(1)^n$ for $\mathbf{B}U(1)^3$. as usual, I'll be topological (one swithces to the groupoidal version by writing \mathbf in place of \mathcal and $\Pi\Sigma$ in place of $\Sigma$). so, for a given finite strict 2-group $G_{(2)}$, let $\mathcal{B}G_{(2)}$ be its homotopy type. fix a background field $\alpha : \mathcal{B}G_{(2)} \to \mathcal{B}^n U(1)$, and let $\Sigma$ be a (closed, compact, oriented) $n$-manifold. The action functional on the space of fields is the induced morphism $\alpha_*(\Sigma) : [\Sigma, \mathcal{B}G_{(2)}] \to [\Sigma, \mathcal{B}^n U(1)]$, where angular brackets denotes the $\infty$-groupoid valued hom. one further postcomposes this with passing to cohomology $ \int : [\Sigma, \mathcal{B}^n U(1)] \to \pi_0 [\Sigma, \mathcal{B}^n U(1)] =U(1)$. and gets a total morphism $[\Sigma,\mathcal{B}G_{(2)}] \stackrel{\int \alpha_*}{\to} U(1)$. This is an $\infty$-groupoid over $U(1)$, that happens to be just a 2-groupoid over $U(1)$. indeed, since $\mathcal{B}G_{(2)}$ is a 2-type, so is $[\Sigma,\mathcal{B}G_{(2)}]$; this can be easily seen, e.g., as follows: $[S^n,[\Sigma,\mathcal{B}G_{(2)}]\simeq [\Sigma,[S^n,\mathcal{B}G_{(2)}]]$. the $\infty$-groupoid cardinality of $[\Sigma,\mathcal{B}G_{(2)}]$ over $U(1)$ is the Yetter invariant of $\Sigma$. one can explicitly compute it using a combinatorial (i.e. groupoidal) model, e.g., taking a trinagulation of $\Sigma$. since this will be just a way of computing an intrinsic object, the result will be manifestly independent of the triangulation chosen.

   a few lines on the top-dimensional part of the Yetter model. the abstract nonsense works so well that it’s just copying and pasting from Urs #102 above, with the changes for and for . as usual, I’ll be topological (one swithces to the groupoidal version by writing \mathbf in place of \mathcal and in place of ). so, for a given finite strict 2-group , let be its homotopy type. fix a background field , and let be a (closed, compact, oriented) -manifold. The action functional on the space of fields is the induced morphism

   ,

   where angular brackets denotes the -groupoid valued hom. one further postcomposes this with passing to cohomology

   .

   and gets a total morphism

   .

   This is an -groupoid over , that happens to be just a 2-groupoid over . indeed, since is a 2-type, so is ; this can be easily seen, e.g., as follows: . the -groupoid cardinality of over is the Yetter invariant of .

   one can explicitly compute it using a combinatorial (i.e. groupoidal) model, e.g., taking a trinagulation of . since this will be just a way of computing an intrinsic object, the result will be manifestly independent of the triangulation chosen.

5. • CommentRowNumber105.
   • CommentAuthorUrs
   • CommentTimeApr 19th 2010
   • (edited Apr 19th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexDomenico, sorry for not getting back to you earlier, I was forced offline after my last message here and then was distracted all weekend by family matters. > one recovers DW receipt for the matrix elements of the 1-morphism associated with Σ. Yes, I had meant to type this, but it is kind of clear. > next step, a clean nonsense description of the vector spaces associated with $\Sigma_{in}$ and $\Sigma_{out}$. these should be described in terms of sections of the $\mathbb{C}$-bundles associated with flat $U(1)$-bundles on $[\Sigma_{in},B G]$ and $[\Sigma_{out}, B G]$ sketched in #95 Yeah, something like this. There ought to be a very systematic way to go about this...

   Domenico,

   sorry for not getting back to you earlier, I was forced offline after my last message here and then was distracted all weekend by family matters.

   one recovers DW receipt for the matrix elements of the 1-morphism associated with Σ.

   Yes, I had meant to type this, but it is kind of clear.

   next step, a clean nonsense description of the vector spaces associated with and . these should be described in terms of sections of the -bundles associated with flat -bundles on and sketched in #95

   Yeah, something like this. There ought to be a very systematic way to go about this…

6. • CommentRowNumber106.
   • CommentAuthorUrs
   • CommentTimeApr 19th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexDomenico, much as I am fascinated by the discussion we are having here, you should know that I will have to refocus my attention for a bit for a few days. Right now I am on my way to Regensburg, where I meet Ulrich Bunke this week. We will talk about infinitesimal and finite path oo-groupoids and differential cohomology, and so I need to concentrate on that for the time being. I dearly hope, though, that we can come back to discussion of the quantization step, a little later on. I would still ike to advertize the idea that there ought to be a systematic way to include all the things that have been said here into one uniform picture in which the total space of the background field bundle plays a central role, but I need more time to spell this out in more detail than I have right now.

   Domenico,

   much as I am fascinated by the discussion we are having here, you should know that I will have to refocus my attention for a bit for a few days. Right now I am on my way to Regensburg, where I meet Ulrich Bunke this week. We will talk about infinitesimal and finite path oo-groupoids and differential cohomology, and so I need to concentrate on that for the time being.

   I dearly hope, though, that we can come back to discussion of the quantization step, a little later on. I would still ike to advertize the idea that there ought to be a systematic way to include all the things that have been said here into one uniform picture in which the total space of the background field bundle plays a central role, but I need more time to spell this out in more detail than I have right now.

7. • CommentRowNumber107.
   • CommentAuthordomenico_fiorenza
   • CommentTimeApr 19th 2010
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexUrs, no need to apologize, really. I'm now thinking of the use of loop space functor $\Omega$ in these constructions. this is clearly inspired by your preprint with Zoran, where you make the following really interesting remark: consider $\mathcal{B}G$ and $\mathcal{B}^3U(1)$ as <i>pointed</i> spaces and transgress the background field $\alpha:\mathcal{B}G\to\mathcal{B}^3U(1)$ to loop spaces. what you get is (up to homotopy) $\Omega\alpha:G\to \mathcal{B}^2U(1)$. clearly, in the naive form I've just presented it, this is an highly noncanonical construction, since there is no preferred choice for basepoints. but then we can easily make it canonical by choosing all basepoints at once: over $\mathcal{B}G$ we have a canonical $G$-bundle: the universal $G$-bundle $E G$, which up to homotopy is the <i>paths</i> bundle of $\mathcal{B}G$. in other words, up to homotopy $E G$ is the bundle whose fiber at $x$ is the based loop space $\Omega_x(\mathcal{B}G)$. similarly, over $\mathcal{B}^3U(1)$ we have a canonical $\mathcal{B}^2U(1)$-bundle $E\mathcal{B}^2U(1)$. transgression of $\alpha$ maps a based loop at $x$ to a based loop at $\alpha(x)$, so is a <i>canonical</i> bundle morphism $E G\to \alpha^*E\mathcal{B}^2U(1)$.

   Urs,

   no need to apologize, really.

   I’m now thinking of the use of loop space functor in these constructions. this is clearly inspired by your preprint with Zoran, where you make the following really interesting remark: consider and as pointed spaces and transgress the background field to loop spaces. what you get is (up to homotopy) . clearly, in the naive form I’ve just presented it, this is an highly noncanonical construction, since there is no preferred choice for basepoints. but then we can easily make it canonical by choosing all basepoints at once: over we have a canonical -bundle: the universal -bundle , which up to homotopy is the paths bundle of . in other words, up to homotopy is the bundle whose fiber at is the based loop space . similarly, over we have a canonical -bundle . transgression of maps a based loop at to a based loop at , so is a canonical bundle morphism .

8. • CommentRowNumber108.
   • CommentAuthordomenico_fiorenza
   • CommentTimeApr 19th 2010
   • (edited Apr 19th 2010)
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexlet me add another tiny tessera to the kantization mosaic we're trying to compose here: let $G$ be any group and let $\mathbf{B}G$ be its delooping. then $\pi_0(\mathbf{B}G)=*$. a linear representation $V$ of $G$ is a functor $\mathbf{B}G\to Vect$ and we can push this forward along the projection to isomorphism classes by taking the right Kan extension of $$ \array{ \mathbf{B}G&\to& Vect \\ \downarrow && \\ \pi_0(\mathbf{B}G)&& } $$ this is precisely $G$-invariant elements of $V$.

   let me add another tiny tessera to the kantization mosaic we’re trying to compose here: let be any group and let be its delooping. then . a linear representation of is a functor and we can push this forward along the projection to isomorphism classes by taking the right Kan extension of

   this is precisely -invariant elements of .

9. • CommentRowNumber109.
   • CommentAuthorzskoda
   • CommentTimeApr 19th 2010
   • (edited Apr 19th 2010)
   • PermaLink
   Author: zskoda
   Format: MarkdownUrs, if you are going to Regensburg, remember that Ulrich Bunke has several papers on eta invariants, zeta functions and so on, so he is the right person to talk to connect the picture discussed in this entry with the more fundamental origin of the anomalies at the level of renormalization. BTW today on the arXiv there is a related paper by Lisa Jeffreys. Domenico, as fr as your consideration of zeta function regularization as non-fundamental, I should refer you to the picture of the paper of Tamarkin on renormalization which is unfortunately just the first of an ubruptly left series of works (the partial results he got on nonlinear sigmamodels will never appear, and he left the problematics); in Tamarkin's picture the zeta function regularization is one choice of a homotopical resolution. All resolutions are equivalent of course, and there is a group of automorphisms among the resolutions, in fact a torsor. If we restrict to a subclass than this is more or less the generalization of Connes-Kreimer Hopf algebra which should be a function algebra on one of such affine groups, corresponding to the torsot with a choice of base point.

   Urs, if you are going to Regensburg, remember that Ulrich Bunke has several papers on eta invariants, zeta functions and so on, so he is the right person to talk to connect the picture discussed in this entry with the more fundamental origin of the anomalies at the level of renormalization. BTW today on the arXiv there is a related paper by Lisa Jeffreys.

   Domenico, as fr as your consideration of zeta function regularization as non-fundamental, I should refer you to the picture of the paper of Tamarkin on renormalization which is unfortunately just the first of an ubruptly left series of works (the partial results he got on nonlinear sigmamodels will never appear, and he left the problematics); in Tamarkin's picture the zeta function regularization is one choice of a homotopical resolution. All resolutions are equivalent of course, and there is a group of automorphisms among the resolutions, in fact a torsor. If we restrict to a subclass than this is more or less the generalization of Connes-Kreimer Hopf algebra which should be a function algebra on one of such affine groups, corresponding to the torsot with a choice of base point.

10. • CommentRowNumber110.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 20th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexZoran, that's exactly what I meant: zeta function regularization should be a way of computing something more intrinsically defined. thanks a lot for the reference. you're referring to "A formalism for the renormalization procedure, math/0312219", right?

    Zoran, that’s exactly what I meant: zeta function regularization should be a way of computing something more intrinsically defined. thanks a lot for the reference. you’re referring to “A formalism for the renormalization procedure, math/0312219”, right?

11. • CommentRowNumber111.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 20th 2010
    • (edited Apr 20th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexgeneralizing slightly #108 above, given a flat vector bundle $E\to X$, one can define the vector space of $\Pi_1(X)$-equivariant sections as the set of sections $v: x\mapsto v_x$ such that $\gamma_{xy}\cdot v_x=v_y$ for <i>any</i> path $\gamma_{xy}$ from $x$ to $y$. then the pushforward (right Kan extension) $$ \array{ \Pi_1(X)&\stackrel{E}{\to}& Vect \\ \downarrow && \\ \pi_0(X)&& } $$ is a collction of vector spaces indexed by elements in the set $\pi_0(X)$. pushing still forward $\pi_0(X)\to Vect$ along $\pi_0(X)\to *$, one gets a single vector space: the vector space of equivariant sections of $E$.

    generalizing slightly #108 above, given a flat vector bundle , one can define the vector space of -equivariant sections as the set of sections such that for any path from to . then the pushforward (right Kan extension)

    is a collction of vector spaces indexed by elements in the set . pushing still forward along , one gets a single vector space: the vector space of equivariant sections of .

12. • CommentRowNumber112.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 20th 2010
    • (edited Apr 20th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexassume now we have two topological spaces $X$ and $Y$ and two flat vector bundles $E\to X$ and $F\to Y$. denote by $\Gamma^{eq}(E)$ and $\Gamma^{eq}(F)$ the equivariant sections of these bundles, and let $\varphi:X\to Y$ be a morphism which lifts to a natural transformation $F \cdot\Pi_1(\varphi)\Rightarrow E: \Pi_1(X)\to Vect$. then, by the universal property of right Kan extension we have an induced natural transformation $\Gamma^{eq}(F)\Rightarrow \Gamma^{eq}(F):*\to Vect$, i.e. a linear map $\Gamma^{eq}(F)\to \Gamma^{eq}(F)$

    assume now we have two topological spaces and and two flat vector bundles and . denote by and the equivariant sections of these bundles, and let be a morphism which lifts to a natural transformation . then, by the universal property of right Kan extension we have an induced natural transformation , i.e. a linear map

13. • CommentRowNumber113.
    • CommentAuthorUrs
    • CommentTimeApr 20th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItex> the vector space of equivariant sections of $E$. Where $\Pi_1(X)$-equivariant means: flat! Yes.

    the vector space of equivariant sections of .

    Where -equivariant means: flat! Yes.

14. • CommentRowNumber114.
    • CommentAuthorzskoda
    • CommentTimeApr 21st 2010
    • PermaLink
    Author: zskoda
    Format: MarkdownYes, it is that preprint of Tamarkin (pretty hard to read, it assumes familiarity with the preliminaries in Beilinson-Drinfeld). I somewhere have handwritten writeups of few lectures of Tamarkin beyond that material. Namely this first lecture is just for deformation of the free theory in 4 dim. The main prupose was preinrt #2 which was abandoned where nonlinear Poisson sigma model of Kontsevich-Cattaneo-Felder was to be discussed as well as some cute things like showing that topological sigma models A and B (from mirror symmetry business) are derived Hamiltonian reduction (concept due Tamarkin, unpublished) of the former: the data fro the reduction were geometric. Everything boils down to the singular behaviour of D-modules, what is to be expected. The singular behaviour of solutions of differential equation is all what matters in field theory in a way of thinking. Tamarkin somehow got disappointed with his original aspirations in this business and left the project. Now Costello is doing renormalization with another kind of homotopical resolutions formalism, with less D-modules and Tamarkin told me he likes it. However, Costello is doing a limited case, which does fit with approaches mainstream theoretical physics, but it is only about the perturbation of quadratic potentials and does not really do deformation theory of field theories around an arbitrary vacuum; one can not consider any theory a deformation of free theory (the classical QM tricks like interaction picture are of no use to cure this problem, the generality of the geometry of, say, vacuum propagators to be deformed is really a limiting factor). This is a bit surprising having in mind that he had works in CFT which is a different case from that point of view.

    Yes, it is that preprint of Tamarkin (pretty hard to read, it assumes familiarity with the preliminaries in Beilinson-Drinfeld). I somewhere have handwritten writeups of few lectures of Tamarkin beyond that material. Namely this first lecture is just for deformation of the free theory in 4 dim. The main prupose was preinrt #2 which was abandoned where nonlinear Poisson sigma model of Kontsevich-Cattaneo-Felder was to be discussed as well as some cute things like showing that topological sigma models A and B (from mirror symmetry business) are derived Hamiltonian reduction (concept due Tamarkin, unpublished) of the former: the data fro the reduction were geometric. Everything boils down to the singular behaviour of D-modules, what is to be expected. The singular behaviour of solutions of differential equation is all what matters in field theory in a way of thinking. Tamarkin somehow got disappointed with his original aspirations in this business and left the project. Now Costello is doing renormalization with another kind of homotopical resolutions formalism, with less D-modules and Tamarkin told me he likes it. However, Costello is doing a limited case, which does fit with approaches mainstream theoretical physics, but it is only about the perturbation of quadratic potentials and does not really do deformation theory of field theories around an arbitrary vacuum; one can not consider any theory a deformation of free theory (the classical QM tricks like interaction picture are of no use to cure this problem, the generality of the geometry of, say, vacuum propagators to be deformed is really a limiting factor). This is a bit surprising having in mind that he had works in CFT which is a different case from that point of view.

15. • CommentRowNumber115.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 22nd 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexthanks Zoran, I'll try to look at Tamarkin paper as soon as these TQFT toy models will have stopped obsessing me.. :) I'm currently still trying to understand which vector space is associated to a 2-manifold $\Sigma$ by the DW model.. at the moment the idea I'm pursuing is something like the following: the background field is a map $\alpha:\mathcal{B}G\to \mathcal{B}^3U(1)$. if $\Sigma$ is a 3-manifold, transgressing gives a map $[\Sigma,\mathcal{B}G]\to [\Sigma,\mathcal{B}^3U(1)]$ and the target space is non-connected (in general). so its first interesting topological invariant is $\pi_0$. when $\Sigma$ is 2-dimensional, instead, $[\Sigma,\mathcal{B}^3U(1)]$ is 1-connected, but (I guess) not 2-connected. Let $E_\Sigma$ be universal cover of $[\Sigma,\mathcal{B}^3U(1)]$ and let us pull this back to $[\Sigma,\mathcal{B}G]$. we obtain a cover of the (non connected) space $[\Sigma,\mathcal{B}G]$. now I'd like to associate a flat vector bundle to this cover. to do this, recall that $E_\Sigma$ is a principal $\pi_1([\Sigma,\mathcal{B}^3U(1)])$-bundle over $[\Sigma,\mathcal{B}^3U(1)]$, so the only thing I need is a representation of $\pi_1([\Sigma,\mathcal{B}^3U(1)])$. I'm unfortunately been unable so far to compute this fundamental group, which however I guess should be closely related to $U(1)$: the idea is that a path in $[\Sigma,\mathcal{B}^3U(1)]$ is an element in $[\Sigma\times[0,1],\mathcal{B}^3U(1)]$, and $\Sigma\times[0,1]$ is now a 3-manifold (with boundary..), and for a (closed connected) 3-manifold $M$ one has $\pi_0([M,\mathcal{B}^3U(1)])=U(1)$. should this relation between $\pi_1([\Sigma,\mathcal{B}^3U(1)])$ and $U(1)$ come true, then we would have the defining representation of $U(1)$ and would end up with a flat line bundle on $[\Sigma,\mathcal{B}G]$. the space of its flat section would then be the vector space associated to $\Sigma$.

    thanks Zoran, I’ll try to look at Tamarkin paper as soon as these TQFT toy models will have stopped obsessing me.. :)

    I’m currently still trying to understand which vector space is associated to a 2-manifold by the DW model..

    at the moment the idea I’m pursuing is something like the following: the background field is a map . if is a 3-manifold, transgressing gives a map and the target space is non-connected (in general). so its first interesting topological invariant is .

    when is 2-dimensional, instead, is 1-connected, but (I guess) not 2-connected. Let be universal cover of and let us pull this back to . we obtain a cover of the (non connected) space . now I’d like to associate a flat vector bundle to this cover. to do this, recall that is a principal -bundle over , so the only thing I need is a representation of .

    I’m unfortunately been unable so far to compute this fundamental group, which however I guess should be closely related to : the idea is that a path in is an element in , and is now a 3-manifold (with boundary..), and for a (closed connected) 3-manifold one has .

    should this relation between and come true, then we would have the defining representation of and would end up with a flat line bundle on . the space of its flat section would then be the vector space associated to .

16. • CommentRowNumber116.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 22nd 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexquite unbelievable, but what I was conjecturing about $\pi_1([\Sigma,\mathcal{B}^3U(1)],x_0)$ for a closed connected surface $\Sigma$ was correct! :) here is a reference: Spaces of maps into Eilenberg MacLane spaces, Vagn Lundsgaard Hansen, Can. J. Math., XXXIII n.4 (1981), 782-785 (one finds it on google books, but I've been unable to link to that). I think it's worth adding Thom-Federer and Gottlieb theorems (Theorems 1 and 2 in the reference) and to [[Eilenberg-Mac Lane space]]. I'll do this tomorrow; too tired for doing it now.

    quite unbelievable, but what I was conjecturing about for a closed connected surface was correct! :)

    here is a reference: Spaces of maps into Eilenberg MacLane spaces, Vagn Lundsgaard Hansen, Can. J. Math., XXXIII n.4 (1981), 782-785 (one finds it on google books, but I’ve been unable to link to that). I think it’s worth adding Thom-Federer and Gottlieb theorems (Theorems 1 and 2 in the reference) and to Eilenberg-Mac Lane space. I’ll do this tomorrow; too tired for doing it now.

17. • CommentRowNumber117.
    • CommentAuthorzskoda
    • CommentTimeApr 22nd 2010
    • PermaLink
    Author: zskoda
    Format: MarkdownFederer of the geometric measure theory ? I do not know what is Thom-Federer theorem...but have hi opinion of Federer.

    Federer of the geometric measure theory ? I do not know what is Thom-Federer theorem...but have hi opinion of Federer.

18. • CommentRowNumber118.
    • CommentAuthorUrs
    • CommentTimeApr 22nd 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks, Domenico! That's very useful. I am on a bad internet connection, so I gave trouble checking google boks at the moment. What's the statement of the general theorem here?

    Thanks, Domenico! That’s very useful. I am on a bad internet connection, so I gave trouble checking google boks at the moment. What’s the statement of the general theorem here?

19. • CommentRowNumber119.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexyes, that Federer :) here are the statements from the reference: Theorem 1: let $A$ be a discrete abelian group, and $X$ a connected CW-complex. then $\pi_i(\mathbf{Top}(X,\mathcal{B}^n A),f)\cong H^{n-i}(X,A)$, for $i,n\geq 1$. Theorem 2: let $G$ be any discrete group, and let $X$ be a finite dimensional connected CW-complex. For a fixed map $f:X\to \mathcal{B}G$, let $C_f$ be the centralizer in $G=\pi_1(\mathcal{B}G)$ of $f_*(\pi_1(X,x_0))$. Then the connected component of $f$ in $\mathbf{Top}(X,\mathcal{B}G)$ is a 1-type, with $\pi_1(\mathbf{Top}(X,\mathcal{B}G),f)\cong C_f$.

    yes, that Federer :)

    here are the statements from the reference:

    Theorem 1: let be a discrete abelian group, and a connected CW-complex. then , for .

    Theorem 2: let be any discrete group, and let be a finite dimensional connected CW-complex. For a fixed map , let be the centralizer in of . Then the connected component of in is a 1-type, with .

20. • CommentRowNumber120.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks, Domenico. That theorem 1 I consider a general triviality. Theorem 2 is useful. But how does this imply statements like $\pi_0 Top(M,\mathcal{B}^3 U(1)) \simeq U(1)$ for general closed $M$?

    Thanks, Domenico.

    That theorem 1 I consider a general triviality. Theorem 2 is useful. But how does this imply statements like for general closed ?

21. • CommentRowNumber121.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexYes, Theorem 1 is almost trivial: it is completely trivial in case $\mathbf{Top}(X,\mathcal{B}^n A)$ is connected, and with little effort one works on a connected component in the nonconnected case. let me sketch the proof of the trivial case for our readers: since $A$ is abelian, $\mathcal{B}^n A$ is an H-space, and so is $\mathbf{Top}(X,\mathcal{B}^n A)$ with pointwise multiplication. hence $\pi_1(\mathbf{Top}(X,\mathcal{B}^n A))$ acts trivially on $\pi_i(\mathbf{Top}(X,\mathcal{B}^n A))$, and so this latter group is identifies with $\pi_0(\mathbf{Top}(S^i,\mathbf{Top}(X,\mathcal{B}^n A)))=\pi_0(\mathbf{Top}(X\times S^i,\mathcal{B}^n A))=H^i(X\times S^i,A)$. this cohomology group will have two contributions, one from $H^{n-i}(X,A)$ and the other from $H^n(X,A)$. since we are assuming $\mathbf{Top}(X,\mathcal{B}^n A)$ is connected, $H^n(X,A)=0$. <blockquote><p>But how does this imply statements like $\pi_0Top(M,B^3U(1))=U(1)$ for general closed M? </p></blockquote> this I was not referring to, since I was considering the 3-manifolds/$\pi_0$ case as acquired, and so I directly moved to 2-manifolds, where $\pi_1$ is involved. as far as concerns $\pi_0$: what we want is $\pi_0\mathbf{Top}(M,\mathcal{B}^3U(1))=U(1)$ for a compact closed oriented $M$. and this is just universal coefficients plus the fact that $U(1)$ is an injective $\mathbb{Z}$-module: $\pi_0\mathbf{Top}(M,\mathcal{B}^3U(1))=H^3(M,U(1))=Hom(H_3(M,\mathbb{Z}),U(1))=U(1)$.

    Yes, Theorem 1 is almost trivial: it is completely trivial in case is connected, and with little effort one works on a connected component in the nonconnected case.

    let me sketch the proof of the trivial case for our readers: since is abelian, is an H-space, and so is with pointwise multiplication. hence acts trivially on , and so this latter group is identifies with . this cohomology group will have two contributions, one from and the other from . since we are assuming is connected, .

    But how does this imply statements like $\pi_0Top(M,B^3U(1))=U(1)$ for general closed M?

    this I was not referring to, since I was considering the 3-manifolds/ case as acquired, and so I directly moved to 2-manifolds, where is involved. as far as concerns : what we want is for a compact closed oriented . and this is just universal coefficients plus the fact that is an injective -module: .

22. • CommentRowNumber122.
    • CommentAuthorTim_Porter
    • CommentTimeApr 23rd 2010
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownThis reminds me of some of the results in my paper with Joao ( J. Faria Martins and T.P., On Yetter's Invariant and an Extension of the Dijkgraaf-Witten Invariant to Categorical Groups, Theory and Applications of Categories,18, 2007, No. 4, pp 118-150; (available also at ArXiv: math.QA/0608484) and perhaps it is worth glancing at the calculations we did there.

    This reminds me of some of the results in my paper with Joao ( J. Faria Martins and T.P., On Yetter's Invariant and an Extension of the Dijkgraaf-Witten Invariant to Categorical Groups, Theory and Applications of Categories,18, 2007, No. 4, pp 118-150; (available also at ArXiv: math.QA/0608484) and perhaps it is worth glancing at the calculations we did there.

23. • CommentRowNumber123.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownDomenico, I was thinking about theorem 1 that this works in full generality, for any two objects <latex>A</latex> and <latex>X</latex> in an oo-topos we have <latex> \Omega \mathbf{H}(X,A) \simeq \mathbf{H}(X,\Omega A)\,,</latex> because forming loop space objects is taking homs and limits, and both are respected by <latex>\mathbf{H}(X,-)</latex>. So it follows generally that <latex> \pi_1 \mathbf{H}(X,A) = \pi_0 \Omega \mathbf{H}(X,A) = \pi_0 \mathbf{H}(X, \Omega A) = H(X, \Omega A) </latex>. Concerning the second theorem > this is just universal coefficients plus the fact that <latex>U(1)</latex> is an injective <latex>\mathbb{Z}</latex>-module: Ah, thanks, I have an education gap here. Need to remind myself of the universal coefficient theorem...

    Domenico,

    I was thinking about theorem 1 that this works in full generality, for any two objects and in an oo-topos we have

    

    because forming loop space objects is taking homs and limits, and both are respected by .

    So it follows generally that

    .

    Concerning the second theorem

    this is just universal coefficients plus the fact that is an injective -module:

    Ah, thanks, I have an education gap here. Need to remind myself of the universal coefficient theorem...

24. • CommentRowNumber124.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexTim, thanks for the reference! Urs, your proof of Theorem 1 in a oo-topos is extremely nice! and we finally have boldface in markdown-itex: $\pi_0\Omega\mathbf{H}(X,A)$ :) As far as concerns the universal coefficients theorem, it states one has a short exact sequence of abelian groups $$ 0\to Ext^1(H_{i-1}(X,\mathbb{Z}),A)\to H^i(X,A)\to Hom(H_i(X,\mathbb{Z}),A)\to 0. $$ If the abelian group $A$ is injective as a $\mathbb{Z}$-module, then $Ext^i(-,A)=0$ for $i\gt0$.

    Tim,

    thanks for the reference!

    Urs,

    your proof of Theorem 1 in a oo-topos is extremely nice! and we finally have boldface in markdown-itex: :)

    As far as concerns the universal coefficients theorem, it states one has a short exact sequence of abelian groups

    If the abelian group is injective as a -module, then for .

25. • CommentRowNumber125.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexlet me sum up what we have so far for the vector space $\mathcal{H}_\Sigma$ the DW-model should associate with a closed connected 2-manifold $\Sigma$: over the space $\mathbf{H}(\Sigma,\mathbf{B}^3U(1))$ there is a canonical principal $U(1)$-bundle. since we are considering $U(1)$ as a discrete goup, this is automatically flat, and so the defining representation of $U(1)$ induces a flat $\mathbb{C}$-bundle over $\mathbf{H}(\Sigma,\mathbf{B}^3U(1))$. pulling this bak via the background field, one has a flat line bundle over $\mathbf{H}(\Sigma,\mathbf{B}G)$. taking flat sections, i.e. pushing forward $\Pi_1(\mathbf{H}(\Sigma,\mathbf{B}G))\to Vect$ to a point, we obtain the vector space $\mathcal{H}_\Sigma$. next steps are describing the linear operator $\Phi_M:\mathcal{H}_{\Sigma_{in}}\to \mathcal{H}_{\Sigma_{out}}$ associated with a cospan $\Sigma_{in}\to M\leftarrow \Sigma_{out}$, and describing the additive category the (extended) DW-model associates wit $S^1$. a clear indication of what the latter should be is in the preprint by Urs and Zoran, so I'll concentrate on this now. (and I have to add Theorems 1 & 2 of post 119 to [[Eilenberg-MacLane space]], will do during the weekend)

    let me sum up what we have so far for the vector space the DW-model should associate with a closed connected 2-manifold : over the space there is a canonical principal -bundle. since we are considering as a discrete goup, this is automatically flat, and so the defining representation of induces a flat -bundle over . pulling this bak via the background field, one has a flat line bundle over . taking flat sections, i.e. pushing forward to a point, we obtain the vector space .

    next steps are describing the linear operator associated with a cospan , and describing the additive category the (extended) DW-model associates wit . a clear indication of what the latter should be is in the preprint by Urs and Zoran, so I’ll concentrate on this now.

    (and I have to add Theorems 1 & 2 of post 119 to Eilenberg-MacLane space, will do during the weekend)

26. • CommentRowNumber126.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexmmm.. the pattern just used for 2-manifolds seems to continue to 1-manifolds.. the space $\mathbf{Top}(S^1,\mathcal{B}^3U(1))$ is connected and simply connected, so can look at its 2-connected cover, which is a $\mathcal{B}\pi_2(\mathbf{Top}(S^1,\mathcal{B}^3U(1)))$-bundle over $\mathbf{Top}(S^1,\mathcal{B}^3U(1))$. but we have just said that $\pi_2(\mathbf{Top}(S^1,\mathcal{B}^3U(1)))=U(1)$, so we have a <i>canonical</i> (2-flat? that is what should be) $\mathcal{B}U(1)$-bundle over $\mathbf{Top}(S^1,\mathcal{B}^3U(1))$ and by the background field we can pull this back to a 2-flat (?) $\mathcal{B}U(1)$-bundle over $\mathbf{Top}(S^1,\mathcal{B}G)$. now, I'd like to have a sort of "defining representation" of $\mathcal{B}U(1)$ to end up with a 2-flat linear 2-bundle over $\mathbf{Top}(S^1,\mathcal{B}G)$, whose 2-flat sections could be the desired linear category. any suggestion? :)

    mmm.. the pattern just used for 2-manifolds seems to continue to 1-manifolds.. the space is connected and simply connected, so can look at its 2-connected cover, which is a -bundle over . but we have just said that , so we have a canonical (2-flat? that is what should be) -bundle over and by the background field we can pull this back to a 2-flat (?) -bundle over . now, I’d like to have a sort of “defining representation” of to end up with a 2-flat linear 2-bundle over , whose 2-flat sections could be the desired linear category.

    any suggestion? :)

27. • CommentRowNumber127.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItexDomenico, it looks like you are onto something here. > I'd like to have a sort of "defining representation" of $\mathcal{B}U(1)$ to end up with a 2-flat linear 2-bundle over $Top(S^1, \mathcal{B}G)$, whose 2-flat sections could be the desired linear category. > any suggestion? :) Yes: a 2-vector space is a category of modules over some algebra (or algebroid, more generally). <latex> 2 Vect_k = Bimod_k \,. </latex> Every strict [[2-group]] coming from a [[crossed module]] $H \to G$ has a canonical 2-reprepresentation induced from any ordinary representation $\rho$ of $H$: the representation $\mathbf{B}(H \to G) \to 2 Vect$ sends * the single object to $A := \langle \rho(h)\rangle_{h \in H}$ -- the algebra generated from the linear operators in the image of $\rho$; * a 1-morphism $g \in G$ to the $A$-bimodule which is $A$ itself as a vector space, with the obvious acton from the left and the $ g$-twisted action from the right, where we use thatfrom the crossed module $G$ has a homomorphism to $Aut(H)$ which in turn acts on $A $ by algebra automorphisms (by its action on the generators). * a 2-morphism $h \in H$ to the bimodule homomorphism obtained from multiplying with $\rho(h)$ from the right. For the simple case of $ (H \to G) = \mathbf{B}U(1) = (U(1) \to 1)$ and the standard representation of $U(1)$ on $\mathbb{C}$, this induces a canonical 2-representation of $\mathbf{B}U(1)$: * the representation 2-vector space is the one induced by the algebra $\mathbb{C}$, hence is $\mathbb{C} Mod = Vect_{\mathbb{C}}$; * the single 1-morphism goes to the identity bimodule, = the identity functr $Vect \to Vect$; * the 2-morphism $c \in U(1)$ goes to the $\mathbb{C}$-bimodule homomorphism given by multiplying with $c$, i.e. the natural transformation of the identityfunctor on $Vect$ given in components by multiplication by $c$.

    Domenico,

    it looks like you are onto something here.

    I’d like to have a sort of “defining representation” of to end up with a 2-flat linear 2-bundle over , whose 2-flat sections could be the desired linear category.

    any suggestion? :)

    Yes:

    a 2-vector space is a category of modules over some algebra (or algebroid, more generally).

    Every strict 2-group coming from a crossed module has a canonical 2-reprepresentation induced from any ordinary representation of :

    the representation sends

    • the single object to – the algebra generated from the linear operators in the image of ;

    • a 1-morphism to the -bimodule which is itself as a vector space, with the obvious acton from the left and the -twisted action from the right, where we use thatfrom the crossed module has a homomorphism to which in turn acts on by algebra automorphisms (by its action on the generators).

    • a 2-morphism to the bimodule homomorphism obtained from multiplying with from the right.

    For the simple case of and the standard representation of on , this induces a canonical 2-representation of :

    • the representation 2-vector space is the one induced by the algebra , hence is ;

    • the single 1-morphism goes to the identity bimodule, = the identity functr ;

    • the 2-morphism goes to the -bimodule homomorphism given by multiplying with , i.e. the natural transformation of the identityfunctor on given in components by multiplication by .

28. • CommentRowNumber128.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexmmm.. this calls for the final step: down to the point. in this case we should just be looking to the 3-connected cover of $\mathcal{B}^3U(1)$; this shold be a 3-flat $\mathcal{B}^2U(1)$-bundle, and as such should induce a standard 3-flat 3-vector bundle on $\mathcal{B}^3U(1)$ which we can pull back to $\mathcal{B}G$ via the background field. taking 3-flat sections could then produce the seeked $Z_{DW}(*)$.

    mmm.. this calls for the final step: down to the point. in this case we should just be looking to the 3-connected cover of ; this shold be a 3-flat -bundle, and as such should induce a standard 3-flat 3-vector bundle on which we can pull back to via the background field. taking 3-flat sections could then produce the seeked .

29. • CommentRowNumber129.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexRight, I think we mentioned this before somewhere. A 3-vector-space is given by an weak algebra object in $Bimod$, i.e. $3Vect = Bimod(Bimod_{\mathbb{C}})$. And so on. See the end of [[Topological Quantum Field Theories from Compact Lie Groups]] for an indication of te full story. Again in the very simple case of $U(1)$ there is a canonical 3-representation which * sends the point to $\mathbb{C}$ regarded as a trivial algebra object structure on the algebra $\mathbb{C}$ * sends the single morphism of $\mathcal{B}^3 U(1)$ to $\mathbb{C}$ regarded as the identity bimodule object in $Bimod_{\mathbb{C}}$ on $\mathbb{C}$; * sends the single 2-morphism of $\mathcal{B}^3 U(1)$ to $\mathbb{C}$ regarded as the bimodule homomorphsim object in $Bimod_{\mathbb{C}}$ on $\mathbb{C}$; * sends the 3-morphism $c \in U(1)$ of $\mathcal{B}^3 U(1)$ to the evident (once one thinks about it) multiplication operation. :-)

    Right, I think we mentioned this before somewhere.

    A 3-vector-space is given by an weak algebra object in , i.e. . And so on. See the end of Topological Quantum Field Theories from Compact Lie Groups for an indication of te full story.

    Again in the very simple case of there is a canonical 3-representation which

    • sends the point to regarded as a trivial algebra object structure on the algebra

    • sends the single morphism of to regarded as the identity bimodule object in on ;

    • sends the single 2-morphism of to regarded as the bimodule homomorphsim object in on ;

    • sends the 3-morphism of to the evident (once one thinks about it) multiplication operation. :-)

30. • CommentRowNumber130.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 24th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexYes! I now see we are precisely in the situation described in the box at the end of [[Topological Quantum Field Theories from Compact Lie Groups]]. somehow I had to redo the whole way by myself to understant it, but I'm here now :) so we start with a background field $\alpha:\mathcal{B}G\to\mathcal{B}^3U(1)$ and we end up with a canonical morphism $$ \nabla: \Pi_3(\mathcal{B}G)\to 3Vect $$ and we want to obtain an extended 3-dimensional TQFT out of this, pushing forward along $\Pi_3(\mathcal{B}G)\to Bord_3(\mathcal{B}G)\to Bord_3(*)$.

    Yes! I now see we are precisely in the situation described in the box at the end of Topological Quantum Field Theories from Compact Lie Groups. somehow I had to redo the whole way by myself to understant it, but I’m here now :)

    so we start with a background field and we end up with a canonical morphism

    and we want to obtain an extended 3-dimensional TQFT out of this, pushing forward along .

31. • CommentRowNumber131.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexYes! Only that we still need a better idea of what "pushing" means here exactly. Maybe we can join forces on this: I mean to write an nLab entry on the standard theory of push-forward in Eilenberg-Steenrod generalized cohomology. You know, the procedure where you form normal bundles and Thom spaces, choose a spectrum-orientation etc. We should have a close look at this and extract the functorial abstract nonsense that hopefully underlies it.

    Yes! Only that we still need a better idea of what “pushing” means here exactly.

    Maybe we can join forces on this: I mean to write an nLab entry on the standard theory of push-forward in Eilenberg-Steenrod generalized cohomology. You know, the procedure where you form normal bundles and Thom spaces, choose a spectrum-orientation etc. We should have a close look at this and extract the functorial abstract nonsense that hopefully underlies it.

32. • CommentRowNumber132.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 24th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexI'm in the game :) I was going to say we should start a new discussion on push-forwards in cohomology, since I suspect this could to be of interest to a wider audience than generalized TQFTs, but I see you've already done :)

    I’m in the game :)

    I was going to say we should start a new discussion on push-forwards in cohomology, since I suspect this could to be of interest to a wider audience than generalized TQFTs, but I see you’ve already done :)

33. • CommentRowNumber133.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexYes. In case sombody hasn't noticed it yet: I started [[fiber integration]].

    Yes. In case sombody hasn’t noticed it yet: I started fiber integration.

34. • CommentRowNumber134.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2010
    • PermaLink
    Author: zskoda
    Format: Markdown129 Is this picture on 3-Vect in TFT fundamentally different of the picture in CFT context where Douglas et al. form a 3-category of conformal nets to feed into the Stolz-Teichner picture. I mean something as fundamental as elliptic cohomology should in first approximation come from something as simple as working the way we do here; on the other hand, the 3cat of conformal nets took few years to construct, not to mention now to use. Finally why Segal in the first place suggested that the loop space picture (and thus by the transgression the relation to the appropriate K theory of 2-bundles) is not sophisticated enough but one needs full fledged conformal field theory kind of picture ?

    129 Is this picture on 3-Vect in TFT fundamentally different of the picture in CFT context where Douglas et al. form a 3-category of conformal nets to feed into the Stolz-Teichner picture. I mean something as fundamental as elliptic cohomology should in first approximation come from something as simple as working the way we do here; on the other hand, the 3cat of conformal nets took few years to construct, not to mention now to use. Finally why Segal in the first place suggested that the loop space picture (and thus by the transgression the relation to the appropriate K theory of 2-bundles) is not sophisticated enough but one needs full fledged conformal field theory kind of picture ?

35. • CommentRowNumber135.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 26th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexZoran, indeed the emergin picture for DW seems to be extremely neat and simple, maybe too simple.. as a convincing test I'm trying to see how the Drinfeld double modular tensor category from DW you describe in your paper with Urs is expressed in the topological formulation I've sketched above for DW, assuming we have good notions of pushforwards in cohomology wherever needed

    Zoran,

    indeed the emergin picture for DW seems to be extremely neat and simple, maybe too simple..

    as a convincing test I’m trying to see how the Drinfeld double modular tensor category from DW you describe in your paper with Urs is expressed in the topological formulation I’ve sketched above for DW, assuming we have good notions of pushforwards in cohomology wherever needed

36. • CommentRowNumber136.
    • CommentAuthorzskoda
    • CommentTimeApr 26th 2010
    • PermaLink
    Author: zskoda
    Format: MarkdownItexThere is a nice approach of Paul Bressler from 2002 on Pasquier-Rocher-Dijkgraaf-Witten model where he actually emphasised the role of loop space of loop space. Namely the SL(2,Z)-action which is responsible for modularity of CFT is coming from this second iteration, the fact that one has TWO transgression is responsible for 2 in SL(2,Z); one can imagine models with SL(n,Z) in the game and higher transgressions in the game. Then the formulas become really complicated. Bressler says that all these things were known much befroe his work so he never wanted to publish his manuscript (I have excerpts from ms and I was in some of his talks...). There is much about relation to cyclic picture and inertia orbifolds. This enabled me to conjecture in 2002, and prove independently in 2004, what is now called Hinich's theorem (Drinfeld double of orbifold, arxiv) later used in BenZvi-Nadler; and also to suspect the role of monads in the business of Connes-Moscovici Hopf algebra cyclic homology with coefficients (my preprint on cyclic objects from comonads was the first attempt to see the role of Yang-Baxter in cyclic homology via comonads, and then Bohm-Stefan found independently more complete result which had my case as a special case and also the Connes-Moscovici as another special case).

    There is a nice approach of Paul Bressler from 2002 on Pasquier-Rocher-Dijkgraaf-Witten model where he actually emphasised the role of loop space of loop space. Namely the SL(2,Z)-action which is responsible for modularity of CFT is coming from this second iteration, the fact that one has TWO transgression is responsible for 2 in SL(2,Z); one can imagine models with SL(n,Z) in the game and higher transgressions in the game. Then the formulas become really complicated. Bressler says that all these things were known much befroe his work so he never wanted to publish his manuscript (I have excerpts from ms and I was in some of his talks…). There is much about relation to cyclic picture and inertia orbifolds. This enabled me to conjecture in 2002, and prove independently in 2004, what is now called Hinich’s theorem (Drinfeld double of orbifold, arxiv) later used in BenZvi-Nadler; and also to suspect the role of monads in the business of Connes-Moscovici Hopf algebra cyclic homology with coefficients (my preprint on cyclic objects from comonads was the first attempt to see the role of Yang-Baxter in cyclic homology via comonads, and then Bohm-Stefan found independently more complete result which had my case as a special case and also the Connes-Moscovici as another special case).

37. • CommentRowNumber137.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 27th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexI'm now dealing with the notion of section as is in Urs and Zoran's 1004.2472v1. this is closely related with a right Kan extension, as follows. let $p_V:*\rightarrow V$ a pointed oo-category (nice, i.e., with all the properties needed in what follows) and $X$ another nice oo-category. finally, let $E:X\to V$ be a functor (the geometric picture to have in mind is that $X$ is a space and $E$ an (higher) vector bundle on that space). then sections of $E$ are defined in 1004.2472v1 as $\Gamma(E)=Hom(p_V\cdot\pi_X,E)$, where $\pi_X:X\to *$ is the terminal morphism. assume now $E$ has a right Kan extension $K_E:*\to V$ along $X\to *$. then the universal property of Kan extension would say that $\Gamma(E)=Hom(p_V,K_E)=Hom_V(p_V(*),K_E(*))$. this suggests that if $V$ has internal hom's, then a canonical choice for $p_V$ would be an object corepresenting the identity of $V$, so that $\Gamma(E)=K_E(*)$ in this case. this gives for instance the choice $p_V(*)=k$ in case $V$ is the category of $k$-vector spaces, as in 1004.2472v1 9.1.

    I’m now dealing with the notion of section as is in Urs and Zoran’s 1004.2472v1. this is closely related with a right Kan extension, as follows.

    let a pointed oo-category (nice, i.e., with all the properties needed in what follows) and another nice oo-category. finally, let be a functor (the geometric picture to have in mind is that is a space and an (higher) vector bundle on that space). then sections of are defined in 1004.2472v1 as , where is the terminal morphism. assume now has a right Kan extension along . then the universal property of Kan extension would say that . this suggests that if has internal hom’s, then a canonical choice for would be an object corepresenting the identity of , so that in this case.

    this gives for instance the choice in case is the category of -vector spaces, as in 1004.2472v1 9.1.

38. • CommentRowNumber138.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2010
    • (edited Apr 27th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItexDomenico, thnaks, yes. Quick remark before I have to dash off: I have been thinking about the following, which should be relevant: one cool model for $\infty Vect$ is $Pr^L$ the [[symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories]]: the objects are all localizations of presheaf categories, the morphisms are colimit preserving oo-functors. You think of a site as a basis, the oo-presheaves on it or a reflecttive subcategory thereof as the vector space spanned by that basis, of colimits as sums and colimit preserving oo-functors as sum-preserving i.e. linear maps. This view on $\infty Vect$ is that underlying much of the [[geometric infinity-function theory]], really. So one might want to universaly take $V = Pr^L$. That would have the possibly noteworthy consequence that any "oo-vector bundle" $X \to V$ then necessarily embeds into an $(\infty,1)$-category bundle $X \to V \hookrightarrow (\infty,1)Cat$. For that lots of abstract machinery exists. For instance we know that the [[(infinity,1)-Grothendieck construction]] constructs for us the corresponding "lax pullback of the point", i.e. the "total space" of that beast. But most importantly maybe, there are special simple formulas for limits and colimits of oo-functors with values in $(\infty,1)Cat$ or $\infty Grpd$ (some remarks and references are <a href="http://ncatlab.org/nlab/show/limit+in+a+quasi-category#limits_and_colimits_with_values_in__15">here</a>): they are expressed as being equal to that total space or, respectively, to be the oo-category of sections of that total space. I keep thinking that this ought to allow us to make some grand statements. But I am not quite sure that have fully obtained these ;-)

    Domenico,

    thnaks, yes.

    Quick remark before I have to dash off:

    I have been thinking about the following, which should be relevant: one cool model for is the symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories: the objects are all localizations of presheaf categories, the morphisms are colimit preserving oo-functors. You think of a site as a basis, the oo-presheaves on it or a reflecttive subcategory thereof as the vector space spanned by that basis, of colimits as sums and colimit preserving oo-functors as sum-preserving i.e. linear maps. This view on is that underlying much of the geometric infinity-function theory, really.

    So one might want to universaly take . That would have the possibly noteworthy consequence that any “oo-vector bundle” then necessarily embeds into an -category bundle . For that lots of abstract machinery exists. For instance we know that the (infinity,1)-Grothendieck construction constructs for us the corresponding “lax pullback of the point”, i.e. the “total space” of that beast.

    But most importantly maybe, there are special simple formulas for limits and colimits of oo-functors with values in or (some remarks and references are here): they are expressed as being equal to that total space or, respectively, to be the oo-category of sections of that total space.

    I keep thinking that this ought to allow us to make some grand statements. But I am not quite sure that have fully obtained these ;-)

39. • CommentRowNumber139.
    • CommentAuthorzskoda
    • CommentTimeApr 27th 2010
    • (edited Apr 27th 2010)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexDo we have some page treating **(internal) action $\infty$-groupoids** ? I mean actions of Kan complexes in terms of the associated "action Kan complex", and its internal counterpart in some cartesian category instead of Sets ?

    Do we have some page treating (internal) action -groupoids ? I mean actions of Kan complexes in terms of the associated “action Kan complex”, and its internal counterpart in some cartesian category instead of Sets ?

40. • CommentRowNumber140.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 27th 2010
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexHI Zoran, do you mean the work of Glenn (and Duskin)? If so, I don't think we do. There's a mention of them on the page [[principal 2-bundle]], but the links there are not to the oo-category versions.

    HI Zoran,

    do you mean the work of Glenn (and Duskin)? If so, I don’t think we do. There’s a mention of them on the page principal 2-bundle, but the links there are not to the oo-category versions.

41. • CommentRowNumber141.
    • CommentAuthorzskoda
    • CommentTimeApr 27th 2010
    • PermaLink
    Author: zskoda
    Format: MarkdownItexWhat I meant is that the picture with abstract infinity-categorical pullbacks like in entry [[action groupoid]] should be compared with the hands on Kan complex definition like in Glenn-Duskin. If we are say in a Barr-exact category is it clear that the Glenn-Duskin construction gives the same what the infinite pullbacks like in 1-categorical version explained [[action groupoid]] gives the same. I would like to have that clear to see if I can generalize my 2006 theorem on equivariant 2-descent along internal 2-torsors in the base 2-category of fibered 2-category in the sense of Herminda, but which is a 2-stack, to infinity case in a clean way. First of all, I do not see clearly the equivariant fiber of a categorical fibration over an object acted upon by internal Kan complex in a base quasicategory.

    What I meant is that the picture with abstract infinity-categorical pullbacks like in entry action groupoid should be compared with the hands on Kan complex definition like in Glenn-Duskin. If we are say in a Barr-exact category is it clear that the Glenn-Duskin construction gives the same what the infinite pullbacks like in 1-categorical version explained action groupoid gives the same. I would like to have that clear to see if I can generalize my 2006 theorem on equivariant 2-descent along internal 2-torsors in the base 2-category of fibered 2-category in the sense of Herminda, but which is a 2-stack, to infinity case in a clean way. First of all, I do not see clearly the equivariant fiber of a categorical fibration over an object acted upon by internal Kan complex in a base quasicategory.

42. • CommentRowNumber142.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexthe theory of action oo-groupoids beautifully parallels the 1-categorical theory: I added a remark on this at <a href="http://ncatlab.org/nlab/show/action+groupoid#ActionooGrpd">action oo-groupoid</a>

    the theory of action oo-groupoids beautifully parallels the 1-categorical theory: I added a remark on this at action oo-groupoid

43. • CommentRowNumber143.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 27th 2010
    • (edited Apr 27th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexin the meanwhile I've completed working out the details of representations of twisted Drinfeld doubles out of the topologicla description in #126. I'll post it tomorrow since now I'm completely worn out and there's the IRC seminar starting in half an hour. a technical question to be sure (I guess the answers to both questions are yes): morphisms between 2-vector spaces are functors between categories of modules. are they required to be additive? are they required to be the tensor product with a bimodule?

    in the meanwhile I’ve completed working out the details of representations of twisted Drinfeld doubles out of the topologicla description in #126. I’ll post it tomorrow since now I’m completely worn out and there’s the IRC seminar starting in half an hour.

    a technical question to be sure (I guess the answers to both questions are yes): morphisms between 2-vector spaces are functors between categories of modules. are they required to be additive? are they required to be the tensor product with a bimodule?

44. • CommentRowNumber144.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexyes, yes.

    yes, yes.

45. • CommentRowNumber145.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 28th 2010
    • (edited Apr 28th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexso, let me sketch a derivation of representations of twisted Drinfeld doubles for our non combinatorially oriented reader (e.g., me :) ). the basic example to have in mind here is the following: given a flat rank $n$ complex vector bundle on a topological space $X$, fix a point $x$ in $X$ and a linear isomorphism $E_x\equiv \mathbb{C}^n$. then these data naturally give a reresentation $\pi_1(X,x)\to GL(n;\mathbb{C})$. what we're going to describe is a one-step-higher version of this. so, let $\mathcal{C}$ be the flat 2-vector bundle on $\mathcal{L}\mathcal{B}G=\mathbf{Top}(S^1,\mathcal{B}G)$ described in posts #126 and #127 above. the fiber over a point $x$ in $\mathcal{L}\mathcal{B}G$ is a 2-vector space $\mathcal{C}_x$ isomorphic to $\mathbb{C}Mod=Vect_{\mathbb{C}}$. since the bundle $\mathcal{C}$ is 2-flat, it carries a representation of $\Pi_2(\mathcal{L}\mathcal{B}G)$. more explicitly, for every point $x$ in $\mathcal{L}\mathcal{B}G$ we have a 2-vector space $\mathcal{C}_x$, for any path $g:x\to y$ an additive functor $F_g:\mathcal{C}_x\to \mathcal{C}_y$, and for every 2-simplex with edges $g,h$ and $hg$ a natural transformation between $F_h\cdot F_g$ and $F_{hg}$. then, a section of $\mathcal{C}$ will consist in a morphism of representations of $\Pi(\mathcal{L}\mathcal{B}G)$ from the trivial $Vect_{\mathbb{C}}$-bundle to $\mathcal{C}$. that is, for any 2-simplex in $\mathcal{l}\mathcal{B}G$, we have a prism compatibility equation (this is the analogue in 2 dimensions of the square compatibility equation defining natural transformations of functors between 1-categories, where any 1-simplex in the source category gives rise to a square in the target category). to be more explicit, let us denote by $x,y,z$ the three vertices of the 2-simplex, by $g,h$ and $hg$ the three paths, and by $\Delta$ the 2-simplex. then: 1) on the three vertices in the "top" base of the prism we have three copies of $Vect_{\mathbb{C}}$; 2) on the three vertices in the "bottom" base of the prism we have $\mathcal{C}_x$, $\mathcal{C}_y$ and $\mathcal{C}_z$; 3) on the three "vertical" edges of the prism we have additive functors $M_x: Vect_{\mathbb{C}}\to \mathcal{C}_x$ and similarly for $y$ and $z$ (since $Vect_{\mathbb{C}}$ is additively generated by $\mathbb{C}$, one can think of $M_x$ as the datum of an object in $\mathcal{C}_x$, and similarly for $y$ and $z$). 4) on three edges of the top base we have the identity functor 5) on the three edges of the bottom base we have functors $F_g$, $F_{h}$ and $F_{h g}$ 6) on the top 2-simplex we have the identity natural transformation 7) on the bottom 2-simplex we have the natural transformation between $F_h\cdot F_{g}$ and $F_{h g}$ 8) on the square corresponding to the edge $g$ in the original 2-simplex we have a natural transformation $\sigma_g\colon M_y\to F_g\circ M_x$; similarly for the other two square faces of the prism. everything in sight has to commute, and this gives the compatibility equations. If we now take $x=y=z$ and fix an isomorphism between $\mathcal{C}_x$ and $Vect_{\mathbb{C}}$, then these data correspond to: 3') a $\mathbb{C}$-vector space $V$ 5') $\mathbb{C}$-vector spaces $W_g$, $W_h$ and $W_{h g}$ 7') an isomorphism $\phi_{g,h}:W_{h g}\to W_h\otimes W_g$ 8') isomorphisms $\sigma_g:V\to W_g\otimes V$, $\sigma_h:V\to W_h\otimes V$ and $\sigma_{h g}:V\to W_{h g}\otimes V$ such that the diagram $$ \array{ V{\to}&\stackrel{\sigma_{h g}}{\to}& W_{h g}\otimes V \\ \sigma_h\downarrow && \downarrow\phi_{h,g}\otimes Id \\ W_h\otimes V&\stackrel{Id\otimes\sigma_g}{\to}& W_h\otimes W_g\otimes V } $$ commutes.

    so, let me sketch a derivation of representations of twisted Drinfeld doubles for our non combinatorially oriented reader (e.g., me :) ). the basic example to have in mind here is the following: given a flat rank complex vector bundle on a topological space , fix a point in and a linear isomorphism . then these data naturally give a reresentation .

    what we’re going to describe is a one-step-higher version of this. so, let be the flat 2-vector bundle on described in posts #126 and #127 above. the fiber over a point in is a 2-vector space isomorphic to . since the bundle is 2-flat, it carries a representation of . more explicitly, for every point in we have a 2-vector space , for any path an additive functor , and for every 2-simplex with edges and a natural transformation between and .

    then, a section of will consist in a morphism of representations of from the trivial -bundle to . that is, for any 2-simplex in , we have a prism compatibility equation (this is the analogue in 2 dimensions of the square compatibility equation defining natural transformations of functors between 1-categories, where any 1-simplex in the source category gives rise to a square in the target category).

    to be more explicit, let us denote by the three vertices of the 2-simplex, by and the three paths, and by the 2-simplex. then:

    1) on the three vertices in the “top” base of the prism we have three copies of ;

    2) on the three vertices in the “bottom” base of the prism we have , and ;

    3) on the three “vertical” edges of the prism we have additive functors and similarly for and (since is additively generated by , one can think of as the datum of an object in , and similarly for and ).

    4) on three edges of the top base we have the identity functor

    5) on the three edges of the bottom base we have functors , and

    6) on the top 2-simplex we have the identity natural transformation

    7) on the bottom 2-simplex we have the natural transformation between and

    8) on the square corresponding to the edge in the original 2-simplex we have a natural transformation ; similarly for the other two square faces of the prism.

    everything in sight has to commute, and this gives the compatibility equations.

    If we now take and fix an isomorphism between and , then these data correspond to:

    3’) a -vector space

    5’) -vector spaces , and

    7’) an isomorphism

    8’) isomorphisms , and such that the diagram

    commutes.

46. • CommentRowNumber146.
    • CommentAuthorUrs
    • CommentTimeApr 28th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexYes, exactly, that's what's going on. This prism is drawn in my article with Zoran, in the section on "twisted vector bundles". Precisely. There it is labeled in $Bimod$. Use the inclusion $BiMod \hookrightarrow 2Vect$ to get your labeling here. Incidentally, and I have to smile a bit while typing this, precisely this reasoning appeared in November 2006 in the blog entry <a href="http://golem.ph.utexas.edu/category/2006/11/flat_sections_and_twisted_grou.html">Flat Sections and Twisted Groupoid Reps</a>. The reason I have to smile is that, once again, I never got much reaction on that (as you can see there). So it's really very enjoyable for me to talk with you about that!

    Yes, exactly, that’s what’s going on. This prism is drawn in my article with Zoran, in the section on “twisted vector bundles”. Precisely.

    There it is labeled in . Use the inclusion to get your labeling here.

    Incidentally, and I have to smile a bit while typing this, precisely this reasoning appeared in November 2006 in the blog entry Flat Sections and Twisted Groupoid Reps.

    The reason I have to smile is that, once again, I never got much reaction on that (as you can see there). So it’s really very enjoyable for me to talk with you about that!

47. • CommentRowNumber147.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 28th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexof course the prism is in your paper with Zoran: I've it open on the window next to this :) as I said at some point, the only thing I'm doing here is rewriting parts of your paper with Zoran for the non combinatorially-oriented reader (i.e., for myself :) ). well, to be more honest to myself, the way I'm working these days is starting with basic elements (e.g., a flat 2-vector bundle here) and trying to work out with them the most natural possile constructions, keeping as a reference point some diagram I can see in your paper. so I can figure myself as a tourist in an unknown city, with a map I do not fully understand the language. at times I say things like "mmm.. I should meet this strange prism here in the neighborhoods.." :) and now, to the blog! I'm sure I'll find other pieces of the map there!

    of course the prism is in your paper with Zoran: I’ve it open on the window next to this :) as I said at some point, the only thing I’m doing here is rewriting parts of your paper with Zoran for the non combinatorially-oriented reader (i.e., for myself :) ). well, to be more honest to myself, the way I’m working these days is starting with basic elements (e.g., a flat 2-vector bundle here) and trying to work out with them the most natural possile constructions, keeping as a reference point some diagram I can see in your paper. so I can figure myself as a tourist in an unknown city, with a map I do not fully understand the language. at times I say things like “mmm.. I should meet this strange prism here in the neighborhoods..” :)

    and now, to the blog! I’m sure I’ll find other pieces of the map there!

48. • CommentRowNumber148.
    • CommentAuthorUrs
    • CommentTimeApr 28th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexOkay, great. Thanks Domenico. I am hoping at some point we copy-and-paste some of the comments here into [[Dijkgraaf-Witten theory]].

    Okay, great. Thanks Domenico. I am hoping at some point we copy-and-paste some of the comments here into Dijkgraaf-Witten theory.

49. • CommentRowNumber149.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 28th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexsure. but before moving to the nLab, I'd like to work out something here on the nForum on morphism in DW theory. I mean, now we have a quite simple and uniform understanding of the "spaces" associated with closed manifolds in terms of sections of flat bundles. this is half of the Freed-Hopkins-Lurie-Teleman picture, so we should now be able to work out the other half: morphisms associated with manifolds with boundary. for instance, spheres with three holes should induce the fusion product of representations of twisted Drinfeld doubles. so I've now to study the fusion of bibranes from your paper :)

    sure. but before moving to the nLab, I’d like to work out something here on the nForum on morphism in DW theory. I mean, now we have a quite simple and uniform understanding of the “spaces” associated with closed manifolds in terms of sections of flat bundles. this is half of the Freed-Hopkins-Lurie-Teleman picture, so we should now be able to work out the other half: morphisms associated with manifolds with boundary. for instance, spheres with three holes should induce the fusion product of representations of twisted Drinfeld doubles. so I’ve now to study the fusion of bibranes from your paper :)

50. • CommentRowNumber150.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexso, let us work out trivial bibranes today. for each positive integer $n$, let $\mathbf{n}$ be the set $\mathbf{n}=\{1,2,\dots,n\}$. for every such $n$, we can look at $k^n$ as to a (trivial) rank 1 $k$-vector bundle over $\mathbf{n}$. now consider the span of sets $\mathbf{n}\leftarrow \mathbf{n}\times\mathbf{m}\rightarrow \mathbf{m}$, where the two arrows are the two projections $\pi_1$ and $\pi_2$. then on the set $\mathbf{n}\times\mathbf{m}$ we have two line bundles: $\pi_1^*(k^n)$ and $\pi_2^*(k^m)$. the set of $(\mathbf{n},\mathbf{m})$-bibranes over $k$ is the set of morphisms of vector bundles $Hom(\pi_1^*(k^n),\pi_2^*(k^m))$. note that, since both $\pi_1^*(k^n)$ and $\pi_2^*(k^m)$ are trivial line bundles over $\mathbf{n}\times\mathbf{m}$, any such a morphism is a map $\mathbf{n}\times \mathbf{m}\to k$, i.e., a set $(x_i^j)$ of elements of $k$ with two indices $i,j$ ranging between $1$ and $m$ and $1$ and $n$ respectively. ok, now you already see the conclusion, so I could stop here, but let me write it just for the sake of writing... associating $k^n$ to $\mathbf{n}$ correspond to considering the functor $k:\mathbb{n}\to Vect_k$ which maps each object $i\in\{1,2,\dots,n\}$ to $k$ (here we are considering $\mathbf{n}$ as a trivial category), and the set of $(\mathbf{n},\mathbf{m})$-bibranes over $k$ is nothing but the set of natural transformations between $k\cdot \pi_1$ and $k\cdot \pi_2:\mathbf{n}\times\mathbf{m}\to Vect_k$. assume now an $(\mathbf{n},\mathbf{m})$-bibrane $(x^i_j)$ and an $(\mathbf{m},\mathbf{k})$-bibrane are given. then we have the following diagram of functors with natural transformations $$ \array{ &&\mathbf{n}\times\mathbf{m}&&&&\mathbf{m}\times\mathbf{k}&& \\ &\swarrow&x&\searrow&&\swarrow&y&\searrow& \\ \mathbf{n}&&\Rightarrow&&\mathbf{m}&&\Rightarrow&&\mathbf{k} \\ &\searrow&&&\downarrow&&&\swarrow& \\ &&\searrow&&\downarrow&&\swarrow&& \\ &&&\searrow&\downarrow&\swarrow&&& \\ &&&&Vect_k&&&& } $$ which we can complete to $$ \array{ &&&&(\mathbf{n}\times\mathbf{m})\times_{\mathbf{m}}(\mathbf{m}\times\mathbf{k})&&&& \\ &&&\swarrow&&\searrow&&& \\ &&\mathbf{n}\times\mathbf{m}&&&&\mathbf{m}\times\mathbf{k}&& \\ &\swarrow&x&\searrow&&\swarrow&y&\searrow& \\ \mathbf{n}&&\Rightarrow&&\mathbf{m}&&\Rightarrow&&\mathbf{k} \\ &\searrow&&&\downarrow&&&\swarrow& \\ &&\searrow&&\downarrow&&\swarrow&& \\ &&&\searrow&\downarrow&\swarrow&&& \\ &&&&Vect_k&&&& } $$ the outside square herecomes equipped with a natural transformation $\phi(x,y)$ between the composition of the left edges and the composition of the right edges; but it is not an $(\mathbf{n},\mathbf{k})$-bibrane over $k$, since the top vertex is not $\mathbf{n}\times \mathbf{k}$. however, there's a natural map $(\mathbf{n}\times \mathbf{m})\times_{\mathbf{m}}(\mathbf{m}\times \mathbf{k})\to\mathbf{n}\times \mathbf{k}$, and we can push the whole diagram along this map to get an $(\mathbf{n},\mathbf{k})$-bibrane $z=y\cdot x$ over $k$. the natural transformation $z$ will be a collection of elements $z^i_l$ of $k$, and since $z$ is given by a push-forward, these will be given by integration along the fibres of $(\mathbf{n}\times \mathbf{m})\times_{\mathbf{m}}(\mathbf{m}\times \mathbf{k})\to\mathbf{n}\times \mathbf{k}$. explicitly $$ z^i_j=y^i_l x^l_j $$ that is (let's be completely explicit! :) ) $$ z^i_j=\sum_{j=1}^m y^i_l x^l_j, $$ so we've found what we all knew: matrix multiplication makes no sense except in the light of higher category theory :P (to be continued with action of bibranes on branes, but have to go now: zbl bounty hunters are on my tracks..)

    so, let us work out trivial bibranes today. for each positive integer , let be the set . for every such , we can look at as to a (trivial) rank 1 -vector bundle over . now consider the span of sets , where the two arrows are the two projections and . then on the set we have two line bundles: and . the set of -bibranes over is the set of morphisms of vector bundles . note that, since both and are trivial line bundles over , any such a morphism is a map , i.e., a set of elements of with two indices ranging between and and and respectively. ok, now you already see the conclusion, so I could stop here, but let me write it just for the sake of writing…

    associating to correspond to considering the functor which maps each object to (here we are considering as a trivial category), and the set of -bibranes over is nothing but the set of natural transformations between and .

    assume now an -bibrane and an -bibrane are given. then we have the following diagram of functors with natural transformations

    which we can complete to

    the outside square herecomes equipped with a natural transformation between the composition of the left edges and the composition of the right edges; but it is not an -bibrane over , since the top vertex is not . however, there’s a natural map , and we can push the whole diagram along this map to get an -bibrane over . the natural transformation will be a collection of elements of , and since is given by a push-forward, these will be given by integration along the fibres of . explicitly

    that is (let’s be completely explicit! :) )

    so we’ve found what we all knew: matrix multiplication makes no sense except in the light of higher category theory :P

    (to be continued with action of bibranes on branes, but have to go now: zbl bounty hunters are on my tracks..)

51. • CommentRowNumber151.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexHi Domenico, nice, thanks. You know, you really should fill all this into some nLab entry, where suitable. Please do. Something along these lines is for instance at [[category algebra]]. I wish I had time for this now, but i am absorbed with reflective oo-subcategories for the time being...

    Hi Domenico,

    nice, thanks. You know, you really should fill all this into some nLab entry, where suitable. Please do.

    Something along these lines is for instance at category algebra.

    I wish I had time for this now, but i am absorbed with reflective oo-subcategories for the time being…

52. • CommentRowNumber152.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexUrs, don't worry: everything in this thread will be cleaned up and transferred in the nLab, just give me the time to arrive to some conclusion here and there :) I was now thinking on bibranes and their action on barnes as it is defined in your paper with Zoran. you begin with bibranes with "arbitrary top vertex", and in this context you have a natural fucion product: from a $Q$-bibrane (i.e. a bibrane with $Q$ on top) and a $Q'$-bibrane you naturally get a $Q\times_{t,s}Q'$-bibrane. this works very nicely and is very generat, but as the matrix product example shows, this is not what one usually wants. so you choose a monad $Q$; this way from two $Q$-branes you get a $Q\times_{t,s}Q$-brane and pushing this forward along $Q\times_{t,s}Q\to Q$ you get a $Q$-brane again. and this too is extremely nice. finally you say that branes are bibranes of a particular type, and so there's a natural action of bibranes on branes. and I agree, but I think it should be said better: 1) if we use arbitrary $Q$'s, then the fusion of a $Q$-bibrane with a $Q'$-brane is a $Q\times_{t,s}Q'$-brane, and we may be happy with this, but it is often not what we had in mind (again, the matrix action on vectors example) 2) if we use a monad $Q$, then the fusion of a $Q$-bibrane with a $Q$-brane is a $Q$-brane, but this is way too restrictive (e.g. the charged quantum particle example does not nicely fit within this pattern (it can be made to fit, but I feel this is forced)) what I would propse is something lying in between 1) and 2): a monoid $Q$ and a $Q$-module $M$, i.e., an object with a morphism $Q\times_{t,s}M\to M$ with the axioms of module satisfied. in this setting we would have a natural action of $Q$-bibranes on $M$-branes, and this seems to be a convenient framework to work with. what do you think?

    Urs,

    don’t worry: everything in this thread will be cleaned up and transferred in the nLab, just give me the time to arrive to some conclusion here and there :)

    I was now thinking on bibranes and their action on barnes as it is defined in your paper with Zoran. you begin with bibranes with “arbitrary top vertex”, and in this context you have a natural fucion product: from a -bibrane (i.e. a bibrane with on top) and a -bibrane you naturally get a -bibrane. this works very nicely and is very generat, but as the matrix product example shows, this is not what one usually wants. so you choose a monad ; this way from two -branes you get a -brane and pushing this forward along you get a -brane again. and this too is extremely nice. finally you say that branes are bibranes of a particular type, and so there’s a natural action of bibranes on branes. and I agree, but I think it should be said better:

    1) if we use arbitrary ’s, then the fusion of a -bibrane with a -brane is a -brane, and we may be happy with this, but it is often not what we had in mind (again, the matrix action on vectors example)

    2) if we use a monad , then the fusion of a -bibrane with a -brane is a -brane, but this is way too restrictive (e.g. the charged quantum particle example does not nicely fit within this pattern (it can be made to fit, but I feel this is forced))

    what I would propse is something lying in between 1) and 2): a monoid and a -module , i.e., an object with a morphism with the axioms of module satisfied. in this setting we would have a natural action of -bibranes on -branes, and this seems to be a convenient framework to work with. what do you think?

53. • CommentRowNumber153.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItexYes, right we can do this. Effectively there is the bicategory of spans, and one can consider monoids in it and modules over these monoids. Here the spans are enhanced to "bibranes" and again we can look for monoids and for modules over thes monoids, yes. (This bibrane category is what Lurie calls the "Fam"-category in his TFT-classification article.) The modules can be related to boundary conditons. For instance the bibrane that gives the fusion product for the DW model is really to be understood as arising from homming the "string cospan" $ * \to \mathbf{B} \mathbb{Z} \leftarrow *$ into the target space $\mathbf{B}G$ to get $[* \to \mathbf{B}\mathbb{Z} \leftarrow * , \mathbf{B}G] = (\mathbf{B}G) \leftarrow \Lambda G \to \mathbf{B}G)$, and the monoid structure and hence then the fusion product is obtained from the "string concatenation product". For what you are suggesting one would have a situation where this string would sit with one end on something, and we would get an action instead of just a product. Yes. I would have to think more about this, in this direction, though.

    Yes, right we can do this. Effectively there is the bicategory of spans, and one can consider monoids in it and modules over these monoids. Here the spans are enhanced to “bibranes” and again we can look for monoids and for modules over thes monoids, yes. (This bibrane category is what Lurie calls the “Fam”-category in his TFT-classification article.)

    The modules can be related to boundary conditons. For instance the bibrane that gives the fusion product for the DW model is really to be understood as arising from homming the “string cospan” into the target space to get , and the monoid structure and hence then the fusion product is obtained from the “string concatenation product”. For what you are suggesting one would have a situation where this string would sit with one end on something, and we would get an action instead of just a product. Yes. I would have to think more about this, in this direction, though.

54. • CommentRowNumber154.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexyes. let us work out the charged particle example. here the geometric datum is a manifold $X$ endowed with avector bundle $E$ with a connection $\nabla$. our monad is the space $\mathcal{P}_1(X)$ of paths from $[0,1]$ to $X$, or, more precisely, the span $X\stackrel{ev_0}{\leftarrow}\mathcal{P}_1(X)\stackrel{ev_1}{\rightarrow}X$. the monad structure is given by composition of paths (this is associative up to thin homotopy). our module is the span $*\leftarrow X\stackrel{Id}{\to}X$. the action of the monad on the module is $(x,\gamma)\mapsto \gamma(1)$, where $x$ is a point in $X$ and $\gamma$ is a path in $X$ with $\gamma(0)=x$. now look at branes and bibranes. considering the vector bundle $E$ as a functor $E:X\to Vect_\mathbb{C}$ (the source category is $X$, we are not considering the connection here) branes $$ \array{ &&X&& \\ &\swarrow&&\searrow^{Id}& \\ *&&\Rightarrow&&X \\ &\searrow&&\swarrow_E& \\ &&Vect_{\mathbb{C}}&& } $$ are sections of $E\to X$. holonomy of the connection $\nabla$ along path in $X$ is a morphis of bundles over $\mathcal{P}_1(X)$, namely, it is a morphism of bundles between $ev_0^*E$ and $ev_1^*E$. so it is a bibrane $$ \array{ &&\mathcal{P}_1(X)&& \\ &{}^{ev_0}\swarrow&&\searrow^{ev_1}& \\ X&&\Rightarrow&&X \\ &{}_E\searrow&&\swarrow_E& \\ &&Vect_{\mathbb{C}}&& } $$ fusion then produces a brane $$ \array{ &&X\times_{Id,ev_0}\mathcal{P}_1(X)&& \\ &\swarrow&&\searrow^{ev_1}& \\ *&&\Rightarrow&&X \\ &\searrow&&\swarrow_E& \\ &&Vect_{\mathbb{C}}&& } $$ and pushing this forward along $ev_1:X\times_{Id,ev_0}\mathcal{P}_1(X)$ we finally obtain an $X$-brane, i.e., a section of $E$. this way bibrane action maps a section of $E$ to another section of $E$. if we want to see more explicitly which is the section $\tilde{\sigma}$ obrained from a section $\sigma$, we have to work out the push-forward. this is given by fiber-integration along $ev_1:X\times_{Id,ev_0}\mathcal{P}_1(X)\to X$, so the value of $\tilde{\sigma}$ at a point $y$ in $X$ is given by $$ \tilde{\sigma}(y)=\int_X d x \int_{\gamma:x\to y}d\gamma Hol_\nabla(\gamma)\sigma(x). $$ :)

    yes. let us work out the charged particle example.

    here the geometric datum is a manifold endowed with avector bundle with a connection . our monad is the space of paths from to , or, more precisely, the span . the monad structure is given by composition of paths (this is associative up to thin homotopy). our module is the span . the action of the monad on the module is , where is a point in and is a path in with .

    now look at branes and bibranes. considering the vector bundle as a functor (the source category is , we are not considering the connection here) branes

    are sections of . holonomy of the connection along path in is a morphis of bundles over , namely, it is a morphism of bundles between and . so it is a bibrane

    fusion then produces a brane

    and pushing this forward along we finally obtain an -brane, i.e., a section of . this way bibrane action maps a section of to another section of . if we want to see more explicitly which is the section obrained from a section , we have to work out the push-forward. this is given by fiber-integration along , so the value of at a point in is given by

    :)

55. • CommentRowNumber155.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 29th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexso, in general it seems all we need is a pushforward. more precisely, if we adopt the "$M$ is a $Q$-module" formalism, what we need is a pushforward between $M\times_{t,s}Q$-branes and $M$-branes induced by the module structure morphism $M\times_{t,s}Q\to M$. in full generality it's not clear to me whether we have such a pushforward, and under which hypothesis. yet, in finite models (e.g. the DW model) we should be able to work it out.

    so, in general it seems all we need is a pushforward. more precisely, if we adopt the “ is a -module” formalism, what we need is a pushforward between -branes and -branes induced by the module structure morphism . in full generality it’s not clear to me whether we have such a pushforward, and under which hypothesis. yet, in finite models (e.g. the DW model) we should be able to work it out.

56. • CommentRowNumber156.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItexRight, that push-forward of bibranes still needs being formulated abstractly, so that it happens "by itself" and doesn't need us to do it by hand- I think for that one needs to categorify a bit and replace numbers by (tame) $\infty$-groupoids. An $\infty$-groupoid $X$ corresponds to the number $\sum_{[x] \in \pi_0(X)} \prod_{n = 1}^\infty \pi_n(X,x)^{(-1)^n}$, if that exists. So replace $Vect_{\mathbb{C}}$ with $Pr(\infty,1)Cat$ (the [[symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories]]). In there $\infty Grpd$ itself plays the role of the ground field regarded as a vector space over itself. Consider in the following hence a "line bundle" $X \to Pr(\infty,1)Cat$ that assigns $\infty Grpd$ to every point. The linear maps $\infty Grpd \to \infty Grpd$ are colimit preserving functors. Since every object in $\infty Grpd$ is an $\infty$-colimit of copies of the point, such a linear functor is determined by what it does to the unit $1 = *$, hence is entirely determined by an $\infty$-groupoid $c$ itself. $$ (-) \times c : \infty Grpd \to \infty Grpd \,. $$ This is entirely analogous to how a linear map $\mathbb{C} \to \mathbb{C}$ is fixed by its value $c$ on the unit 1 as $$ (-) \cdot c : \mathbb{C} \to \mathbb{C} \,. $$ This categorification of numbers to $\infty$-groupoids is necessary in order to get the follwong to work: given two bibranes $$ \array{ && K \\ & \swarrow && \searrow \\ X &&\stackrel{f}{\Rightarrow}&& X \\ & \searrow && \swarrow \\ && Pr(\infty,1)Cat } $$ and $$ \array{ && K \\ & \swarrow && \searrow \\ X &&\stackrel{g}{\Rightarrow}&& X \\ & \searrow && \swarrow \\ && Pr(\infty,1)Cat } $$ we want a category of morphism betwen them, so that we can do Kan extension of bi-branes to describe push-forward, something we can't do if instead of $Pr(\infty,1)Cat$ we use $Vect$. So if we take for simplicity $E : X \to Pr(\infty,1)Cat$ to be the trivial line bundle, i.e. the functor constant on the object $\infty Grpd$ then the components of $f$ and $g$ will be ovber each point $x \in X$ a linear map $$ (-) \times f_x : E_x \to E_x $$ and $$ (-) \times g_x : E_x \to E_x \,. $$ But these now have transformations between them $$ \eta : f \Rightarrow g $$ Think about the naturality condition for these transformations: over $f : a \to b$ a morphism in $\infty Grpd$ the component is $$ \array{ a &&&& a \times f_x &\stackrel{\eta_x(a)}{\to}& a \times g_x \\ \downarrow^{f} &&&& \downarrow && \downarrow \\ b &&&& b \times f_x &\stackrel{\eta_x(b)}{\to}& b \times g_x } \,. $$ I have to think about if it is really the general case, but at least once class of solutions of this comes from taking a fixed $\infty$-functor $h_x : f_x \to g_x$ and setting $\eta_x(a) := Id_a \times h_x$. With that in hand now consider the functor from the category of bibranes of the form $$ \array{ && X \\ & \swarrow && \searrow \\ {*} &&\stackrel{}{\Rightarrow}&& X \\ & \searrow && \swarrow \\ && Pr(\infty,1)Cat } $$ to that of bibranes of the form $$ \array{ && P_1(X) \\ & \swarrow && \searrow \\ {*} &&\stackrel{}{\Rightarrow}&& X \\ & \searrow && \swarrow \\ && Pr(\infty,1)Cat } $$ given by precomposition at the tip with $s : P_1(X) \to X$. Then form the right adjoint of that functor. That should be the push-forward in question (after decategorification of the respective component $\infty$-groupoids). By the fact that we have morphisms between our numbers, that Kan extension should just form the coproduct of $\infty$-groupoids $g_x$ etc, hence just sum up the corresponding $\infty$-groupoid cardinalities. As it should. I am getting a bit too tired to do this justice now.

    Right, that push-forward of bibranes still needs being formulated abstractly, so that it happens “by itself” and doesn’t need us to do it by hand-

    I think for that one needs to categorify a bit and replace numbers by (tame) -groupoids. An -groupoid corresponds to the number , if that exists.

    So replace with (the symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories). In there itself plays the role of the ground field regarded as a vector space over itself. Consider in the following hence a “line bundle” that assigns to every point.

    The linear maps are colimit preserving functors. Since every object in is an -colimit of copies of the point, such a linear functor is determined by what it does to the unit , hence is entirely determined by an -groupoid itself.

    This is entirely analogous to how a linear map is fixed by its value on the unit 1 as

    This categorification of numbers to -groupoids is necessary in order to get the follwong to work: given two bibranes

    and

    we want a category of morphism betwen them, so that we can do Kan extension of bi-branes to describe push-forward, something we can’t do if instead of we use .

    So if we take for simplicity to be the trivial line bundle, i.e. the functor constant on the object then the components of and will be ovber each point a linear map

    and

    But these now have transformations between them

    Think about the naturality condition for these transformations: over a morphism in the component is

    I have to think about if it is really the general case, but at least once class of solutions of this comes from taking a fixed -functor and setting .

    With that in hand now consider the functor from the category of bibranes of the form

    to that of bibranes of the form

    given by precomposition at the tip with .

    Then form the right adjoint of that functor. That should be the push-forward in question (after decategorification of the respective component -groupoids). By the fact that we have morphisms between our numbers, that Kan extension should just form the coproduct of -groupoids etc, hence just sum up the corresponding -groupoid cardinalities. As it should.

    I am getting a bit too tired to do this justice now.

57. • CommentRowNumber157.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 30th 2010
    • (edited Apr 30th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex<blockquote><p>precomposition at the tip with $s:P_1(X) \to X$$.</p></blockquote> I'm ot sure about this: the charged paticle example in #154 above seems to suggest that the push-forward should be along $t:X\times{_Id,s}\mathcal{P}_1(X)\to X$ rather than along $s:\mathcal{P}_1(X)\to X$. I agree we have to categorify to get a nice pushforward.

    precomposition at the tip with $s:P_1(X) \to X$$.

    I’m ot sure about this: the charged paticle example in #154 above seems to suggest that the push-forward should be along rather than along .

    I agree we have to categorify to get a nice pushforward.

58. • CommentRowNumber158.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexBut $X \times_{Id, s} \mathcal{P}_1(X)$ is just $\mathcal{P}_1(X)$.

    But is just .

59. • CommentRowNumber159.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexOn the other hand, elsewhere we said that the right _internal_ analog of $Vect$, i.e. when we pass to the parameterized sitution (smooth, notably) and want the stack of vector bundles, should be: take an oo-site such as the duals of simplicial smooth algebras , $C := Func_{\times}(CartSp,\infty Grpd)^{op}$, and then let $Mod : C^{op} \to Pr(\infty,1)Cat \hookrightarrow (\infty,1)Cat$ be the stack classifying its tangent $(\infty,1)$-category fibration. It would be interesting to play the bi-brane game in this context, with $Vect$ replaced by $Mod$ this way. But I am afraid that the special mechanism that I used above with $Pr(\infty,1)Cat$ as a model for $Vect$ won't work, since this $Mod$, while certainly a higher categorical version of $Vect$, does not come with "categorified numbers". It's all still a bit confusing. :-)

    On the other hand, elsewhere we said that the right internal analog of , i.e. when we pass to the parameterized sitution (smooth, notably) and want the stack of vector bundles, should be: take an oo-site such as the duals of simplicial smooth algebras , , and then let be the stack classifying its tangent -category fibration.

    It would be interesting to play the bi-brane game in this context, with replaced by this way. But I am afraid that the special mechanism that I used above with as a model for won’t work, since this , while certainly a higher categorical version of , does not come with “categorified numbers”.

    It’s all still a bit confusing. :-)

60. • CommentRowNumber160.
    • CommentAuthorEric
    • CommentTimeApr 30th 2010
    • PermaLink
    Author: Eric
    Format: MarkdownItex>But $X \times_{Id, s} \mathcal{P}_1(X)$ is just $\mathcal{P}_1(X)$. On an otherwise extremely stressful day, this put a smile on my face for some reason :)

    But is just .

    On an otherwise extremely stressful day, this put a smile on my face for some reason :)

61. • CommentRowNumber161.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 30th 2010
    • (edited Apr 30th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex>But $X \times_{Id, s} \mathcal{P}_1(X)$ is just $\mathcal{P}_1(X)$. sure, I was enjoying so much the $M\times_{t,s}Q\to M$ general picture that I missed what it becomes in this particular case :( coming back to the general problem, I agree with the approach in #156: at the level of objects the morphism $\rho:M\times{t,s}Q\to M$ induces a map $\rho^*$ between $M$-branes and $M\times_{t,s}Q$-branes. so we would like to have a category of bibranes so that $\rho^*$ is a functor. and we would like to have an adjoint $\rho_!:M\times_{t,s}Q\text{-branes}\to M\text{-branes}$. this would be the pushforward. yes, it could work like this.

    But is just .

    sure, I was enjoying so much the general picture that I missed what it becomes in this particular case :(

    coming back to the general problem, I agree with the approach in #156: at the level of objects the morphism induces a map between -branes and -branes. so we would like to have a category of bibranes so that is a functor. and we would like to have an adjoint . this would be the pushforward. yes, it could work like this.

62. • CommentRowNumber162.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 30th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexI've worked aout a very simple geometric example whcih could help us seeing which is the rght thing to ask. consider a morphism of manifolds $\pi:Y\to X$ and two vector bundles $E$ amd $F$ over $X$. finally, let $f:\pi^*E\to\pi^*F$ be a morphism of bundles over $Y$. for any $x\in X$, let $Y_x$ be the fibre of $\pi$ over $x$. these are our data. then, for every $y\in Y_x$, the morphis $f$ gives a morphism $f_y:E_x\to F_y$, i.e. an element of the vector space $Hom(E_x,F_x)$. therefore, if $Y_x$ comes equipped with a measure, we can integrate $f$ on the fibre $Y_x$ and get a morphism $(\pi_!f)_x:E_x\to F_x$. the collection of these gives a morphism of bundles over $X$, $\pi_!f:E\to F$. this is very naive, but maybe clarifies an aspect: an integration measure on fibres is needed, and this is independent of all other data. in the oo-groupoid version of this groupoid cardinality seems to provide the correct integration measure (we've already said this, but repeating at times can be useful, one has thought other things in the meanwhile..)

    I’ve worked aout a very simple geometric example whcih could help us seeing which is the rght thing to ask.

    consider a morphism of manifolds and two vector bundles amd over . finally, let be a morphism of bundles over . for any , let be the fibre of over . these are our data. then, for every , the morphis gives a morphism , i.e. an element of the vector space . therefore, if comes equipped with a measure, we can integrate on the fibre and get a morphism . the collection of these gives a morphism of bundles over , .

    this is very naive, but maybe clarifies an aspect: an integration measure on fibres is needed, and this is independent of all other data. in the oo-groupoid version of this groupoid cardinality seems to provide the correct integration measure (we’ve already said this, but repeating at times can be useful, one has thought other things in the meanwhile..)

63. • CommentRowNumber163.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItex> an integration measure on fibres is needed, and this is independent of all other data. in the oo-groupoid version of this groupoid cardinality seems to provide the correct integration measure (we've already said this, but repeating at times can be useful, one has thought other things in the meanwhile..) Yes, right, explicitly or not, there is a measure in the game. Of course in the path integral that we want to see, that is the most delicate ingredient. For the finite cases it is just the counting measure corrected by "gauge invariance", a kind of discrete BRST measure, and that turns out to be nothing but the groupoid cardinality measure. Yes. At some point I had been hoping that the groupoid or more generally the category measure would serve for all purposes, in some limit. In that we think for instance of a manifold as a continuum limit of some graph, which we think of as some category, which we have a canonical measure for. But I am not sure if that can be made to work in a fully satisfactory way. In this context I was wondering if it is noteworthy that a [[Lorentzian manifold]] is really just a smooth posetal category with a volume measure on it. That may be relevant here. Or maybe not. It's really a subtle issue Which is why I am more than glad that I can talk about this with you. This gets to Sorkin's old idea: he said effectively that if a Lorentzian manifold is just a poset with a measure on it, then clearly this indicates that fundamentally it should really just be a "coarse grained" poset, namely where we take just the counting measure on its objects but have the "density" of objects vary, such as to give a varying effective measure. If something like that is assumed, then we can get away with using just bare categories (groupoids, higher groupoids) as we did, with their intrinsic cardinality. This would seem conceptually very satisfactory, if it works out all right. But one will still have to see how it really does work out.

    an integration measure on fibres is needed, and this is independent of all other data. in the oo-groupoid version of this groupoid cardinality seems to provide the correct integration measure (we’ve already said this, but repeating at times can be useful, one has thought other things in the meanwhile..)

    Yes, right, explicitly or not, there is a measure in the game. Of course in the path integral that we want to see, that is the most delicate ingredient. For the finite cases it is just the counting measure corrected by “gauge invariance”, a kind of discrete BRST measure, and that turns out to be nothing but the groupoid cardinality measure. Yes.

    At some point I had been hoping that the groupoid or more generally the category measure would serve for all purposes, in some limit. In that we think for instance of a manifold as a continuum limit of some graph, which we think of as some category, which we have a canonical measure for. But I am not sure if that can be made to work in a fully satisfactory way.

    In this context I was wondering if it is noteworthy that a Lorentzian manifold is really just a smooth posetal category with a volume measure on it. That may be relevant here. Or maybe not. It’s really a subtle issue Which is why I am more than glad that I can talk about this with you.

    This gets to Sorkin’s old idea: he said effectively that if a Lorentzian manifold is just a poset with a measure on it, then clearly this indicates that fundamentally it should really just be a “coarse grained” poset, namely where we take just the counting measure on its objects but have the “density” of objects vary, such as to give a varying effective measure.

    If something like that is assumed, then we can get away with using just bare categories (groupoids, higher groupoids) as we did, with their intrinsic cardinality. This would seem conceptually very satisfactory, if it works out all right. But one will still have to see how it really does work out.

64. • CommentRowNumber164.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 1st 2010
    • (edited May 1st 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex>Yes, right, explicitly or not, there is a measure in the game. Of course in the path integral that we want to see, that is the most delicate ingredient. For the finite cases it is just the counting measure corrected by "gauge invariance", a kind of discrete BRST measure, and that turns out to be nothing but the groupoid cardinality measure. Yes. Indeed, the oo-groupoid measure precisely does (and in a single step!) what BRST-type measures are supposed to do: one looks at isomorphism classes of objects (and this is as taking a gauge-fixing slice of representing field configurations in the BRST gauge-fixing); each object is weighted by its automorphism group (ghosts in the BRST parlance); and then further weighted by automorphisms of automorpisms (ghosts of ghosts), and so on. in the discrete case, the counting measure is taken at each step. in the general case we should expect something involving measures on all homotopy groups.

    Yes, right, explicitly or not, there is a measure in the game. Of course in the path integral that we want to see, that is the most delicate ingredient. For the finite cases it is just the counting measure corrected by “gauge invariance”, a kind of discrete BRST measure, and that turns out to be nothing but the groupoid cardinality measure. Yes.

    Indeed, the oo-groupoid measure precisely does (and in a single step!) what BRST-type measures are supposed to do: one looks at isomorphism classes of objects (and this is as taking a gauge-fixing slice of representing field configurations in the BRST gauge-fixing); each object is weighted by its automorphism group (ghosts in the BRST parlance); and then further weighted by automorphisms of automorpisms (ghosts of ghosts), and so on.

    in the discrete case, the counting measure is taken at each step. in the general case we should expect something involving measures on all homotopy groups.

65. • CommentRowNumber165.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 1st 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexlooking back through this entry, I feel we have a consistent amount of material on the DW model so far. so I think it's time stopping posting here for a while and starting cleaning up and copying and pasting into the lab. I'll do during the whole next week. (Urs must be not believing in what he's reading.. :) )

    looking back through this entry, I feel we have a consistent amount of material on the DW model so far. so I think it’s time stopping posting here for a while and starting cleaning up and copying and pasting into the lab. I’ll do during the whole next week. (Urs must be not believing in what he’s reading.. :) )

66. • CommentRowNumber166.
    • CommentAuthorUrs
    • CommentTimeMay 2nd 2010
    • (edited May 2nd 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItex> Indeed, the oo-groupoid measure precisely does (and in a single step!) what BRST-type measures are supposed to do: Yes, indeed. Moreover, one can notice that the BRST complex is nothing but the Chevalley-Eilenberg algebra of the Lie n-algebroid corresponding to the action n-groupoid of the gauge n-group acting on the space of fields.

    Indeed, the oo-groupoid measure precisely does (and in a single step!) what BRST-type measures are supposed to do:

    Yes, indeed. Moreover, one can notice that the BRST complex is nothing but the Chevalley-Eilenberg algebra of the Lie n-algebroid corresponding to the action n-groupoid of the gauge n-group acting on the space of fields.

67. • CommentRowNumber167.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 3rd 2010
    • (edited May 3rd 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexI'm now working on the following toy example: a 1-dimensional TQFT out of a finite rank flat vector bundle $E$ on $X=\mathcal{B}G$ with $G$ a finite group. In order to forget orientability issues, assume further an equivariant inner product on $E$ is defined: given two vectors $v_x$ and $w_x$ in the fibre $E_x$ and a path $\gamma:x\to y$, one has $\langle hol(\gamma)v_x|hol(\gamma)w_x\rangle_y=\langle v_x|w_x\rangle_x$. A pairing $E_x\otimes E_y\to \mathbb{C}$ is then defined for any path $\gamma:x\to y$ as $\langle v_x|v_y\rangle_\gamma=\langle hol(\gamma)v_x|v_y\rangle_y$. The vector space $V$ associated to a point by the TQFT arising from these data is the space $V$ of flat sections of $E$. The inner product on $V$ is $$ \langle v|w\rangle=\int_{\gamma:[0,1]\to\mathcal{B}G)}\langle v(\gamma(0))|w(\gamma(1))\rangle_\gamma d\gamma. $$ The operator $\varphi:V\to V$ associated with the 1-manifold $[0,1]$ is $$ (\varphi(v))(y)=\int_{\mathcal{B}G}dx\int_{\gamma:x\to y}hol(\gamma)v(x) d\gamma. $$ The complex number associated to the 1-manifold $S^1$ is $$ d=\int_{\mathcal{L}\mathcal{B}G} tr(hol(\gamma)) d\gamma. $$ there are several checks to be made: is $V$ finite dimensional? is $\varphi$ the identity operator? is $d$ the dimension of $V$? I'll do them in the next post.

    I’m now working on the following toy example: a 1-dimensional TQFT out of a finite rank flat vector bundle on with a finite group. In order to forget orientability issues, assume further an equivariant inner product on is defined: given two vectors and in the fibre and a path , one has . A pairing is then defined for any path as .

    The vector space associated to a point by the TQFT arising from these data is the space of flat sections of . The inner product on is

    The operator associated with the 1-manifold is

    The complex number associated to the 1-manifold is

    there are several checks to be made: is finite dimensional? is the identity operator? is the dimension of ? I’ll do them in the next post.

68. • CommentRowNumber168.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 3rd 2010
    • (edited May 3rd 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex1) is $V$ finite dimensional? sure: fix a point $x$ in $X$, and let $E_x$ be the fibre of $E$ at $x$. the holonomy action of $G=\pi_1(X,x)$ gives a representation $\rho$ of $G$ on $E_x$. evaluation at $x$, $ev_x:V\to E_x$ induces an isomorphims between $V$ and $E_x^G$, the subspace of $G$-invariant elements of $E_x$. since $E_x$ is finite dimensional, so is $V$. 2) is $\varphi$ the identity operator? this is trivial: since $v$ is a flat section, $hol(\gamma)v(x)=v(y)$ for any $\gamma:x\to y$. so the forula for $\varphi(v)$ reduces to $$ (\varphi(v))(y)=v(y) \int_{\mathcal{B}G}dx \int_{\gamma:x\to y} d\gamma $$ and the only thing we need to check is that $\int_{\mathcal{B}G}\int_{\gamma:x\to y} d\gamma=1$. which is the measure we have on this space of paths? the Leinster measure prescription tells us that integartion on the groupoid $\{\gamma:x\to y\}$ (with fixed $x$ and $y$) is the sum over $\pi_0(\{\gamma:x\to y\})$ with the point $[\gamma]$ weighted by $\prod_{i=1}^\infty|\pi_i(Maps([0,1],\mathcal{B}G),\gamma)|^{(-1)^i}$. Since the space $\mathcal{B}G$ is a 1-type, this weight is 1, and integration over $\{\gamma:x\to y\}$ produces a factor $|\pi_0(\{\gamma:x\to y\})|=|\pi_1(\mathcal{B}G,x)|=|G|$. similarly, integration over $\mathcal{B}G$ is the sum over a single point (the space $\mathcal{B}G$ is connected) weighted by the weight $1/|\pi_1(\mathcal{B}G,x)|=1/|G|$. In the end $\int_{\mathcal{B}G}dx \int_{\gamma:x\to y} d\gamma=1$, as we wanted. 3) is $d$ the dimension of $V$? of course: since $\mathcal{B}G$ is connected, $\pi_o\mathcal{L}\mathcal{B}G=\pi_0\{\gamma:S^1\to \mathcal{B}G\}=[S^1,\mathcal{B}G]$ is identified with the quotient of $\pi_1(\mathcal{B}G,x)$ by the adjoint action on itself. in other words, the groupoid $\mathcal{L}\mathcal{B}G$ (the free loop speace on $\mathcal{B}G$) we are integrating on is equivalent to the action groupoid $G//_{Ad}G$. so we have a point for every element of $G$, and each point is weighted by the weight $1/|G|$. the trace of the holonomy of $\gamma$ can be computed fixing an arbitrary basepoint, so we can chose $x$ as basepoint; what we are then computing are the traces of the operators $\rho_{g}:E_x\to E_x$, where $g$ is an element of $G$ and $\rho$ is the holonomy representation of $G$ on $E_x$. we therefore find $$ d=\frac{1}{|G|}\sum_{g\in G}tr(\rho_g). $$ now open your favourite book on representations of finite groups...

    1) is finite dimensional? sure: fix a point in , and let be the fibre of at . the holonomy action of gives a representation of on . evaluation at , induces an isomorphims between and , the subspace of -invariant elements of . since is finite dimensional, so is .

    2) is the identity operator? this is trivial: since is a flat section, for any . so the forula for reduces to

    and the only thing we need to check is that . which is the measure we have on this space of paths? the Leinster measure prescription tells us that integartion on the groupoid (with fixed and ) is the sum over with the point weighted by . Since the space is a 1-type, this weight is 1, and integration over produces a factor . similarly, integration over is the sum over a single point (the space is connected) weighted by the weight . In the end , as we wanted.

    3) is the dimension of ? of course: since is connected, is identified with the quotient of by the adjoint action on itself. in other words, the groupoid (the free loop speace on ) we are integrating on is equivalent to the action groupoid . so we have a point for every element of , and each point is weighted by the weight . the trace of the holonomy of can be computed fixing an arbitrary basepoint, so we can chose as basepoint; what we are then computing are the traces of the operators , where is an element of and is the holonomy representation of on . we therefore find

    now open your favourite book on representations of finite groups…

69. • CommentRowNumber169.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItex> I'm now working on the following toy example: a 1-dimensional TQFT out of a finite rank flat vector bundle $E$ on $X = \mathcal{B}G$ with $G$ a finite group. All right, very good. For comparison, notice that this is discussed briefly also on <a href="http://arxiv.org/PS_cache/arxiv/pdf/0905/0905.0731v2.pdf#page=4">p. 4 of FHLT</a>. A complex vector bundle on $\mathcal{B}G$ is classified by $\mathcal{B}G \to \mathcal{B} U(1)$ which is -- an group character. > is $V$ finite dimensional? sure: Yes, I guess you can shortcut your argument a little by explicitly fixing the model $*//G$ for $\mathcal{B}G$ from the beginning. The vector bundle associated to our clssifying map $\mathcal{B}G \to \mathcal{B}U(1) \stackrel{\rho}{\to} Vect$ is just the action groupoid $E//G$ of the vector space $E$ on which $\rho$ represents by this induced action of $G$, and the projection map $E//G \to \mathcal{B}G = *//G$ just forgets all the vectors and just remembers the $G$-action. I would have thought that what I just said is what you are thinking about anyway, but now I am not so sure. What are those paths that you consider under point 2), precisely?

    I’m now working on the following toy example: a 1-dimensional TQFT out of a finite rank flat vector bundle on with a finite group.

    All right, very good. For comparison, notice that this is discussed briefly also on p. 4 of FHLT.

    A complex vector bundle on is classified by which is – an group character.

    is finite dimensional? sure:

    Yes, I guess you can shortcut your argument a little by explicitly fixing the model for from the beginning. The vector bundle associated to our clssifying map is just the action groupoid of the vector space on which represents by this induced action of , and the projection map just forgets all the vectors and just remembers the -action.

    I would have thought that what I just said is what you are thinking about anyway, but now I am not so sure. What are those paths that you consider under point 2), precisely?

70. • CommentRowNumber170.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 3rd 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex> Yes, I guess you can shortcut your argument a little by explicitly fixing the model $*//G$ for $\mathcal{B}G$ from the beginning I agree. but I wrote that topologically in an attemp to bridge the "categorical divide" a potential reader could have. > A complex vector bundle on $\mathcal{B}G$ is classified by $\mathcal{B}G \to \mathcal{B}U(1)$ I would say this for line bundles rathere than vector bundles, which should be classified by $\mathcal{B}G \to \mathcal{B}U(N)$. but I agree line bundles are the relevant example in the DW direction. > What are those paths that you consider under point 2), precisely? I had in mind paths for a variable point $x$ to a fixed point $y$. one splits the integration into a two-steps integration: one over $x$ and one over paths from $x$ to $y$ with both endpoints fixed.

    Yes, I guess you can shortcut your argument a little by explicitly fixing the model for from the beginning

    I agree. but I wrote that topologically in an attemp to bridge the “categorical divide” a potential reader could have.

    A complex vector bundle on is classified by

    I would say this for line bundles rathere than vector bundles, which should be classified by . but I agree line bundles are the relevant example in the DW direction.

    What are those paths that you consider under point 2), precisely?

    I had in mind paths for a variable point to a fixed point . one splits the integration into a two-steps integration: one over and one over paths from to with both endpoints fixed.

71. • CommentRowNumber171.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItex> I would say this for line bundles rathere than vector bundles, Right, sure. > I had in mind paths for a variable point x to a fixed point y. Okay, but what is a path here? A continuous map from the interval to the topological space $\mathcal{B}G$? I think we should look at this in the finite groupoid model, there it is simpler.

    I would say this for line bundles rathere than vector bundles,

    Right, sure.

    I had in mind paths for a variable point x to a fixed point y.

    Okay, but what is a path here? A continuous map from the interval to the topological space ?

    I think we should look at this in the finite groupoid model, there it is simpler.

72. • CommentRowNumber172.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 3rd 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex> Okay, but what is a path here? A continuous map from the interval to the topological space $\mathcal{B}G$? yes. the idea is that since the connection is flat, all paths in the same homotopy class give the same contribution, so there is an "infinite factor" that "gauge fixing" takes automatically care of, reducing to the finite groupoid model.

    Okay, but what is a path here? A continuous map from the interval to the topological space ?

    yes. the idea is that since the connection is flat, all paths in the same homotopy class give the same contribution, so there is an “infinite factor” that “gauge fixing” takes automatically care of, reducing to the finite groupoid model.

73. • CommentRowNumber173.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexI see, okay. I was just thinking that it might be more helpful to stick to the finite models, using more of the abstract nonsense, but possibly you are right that it helps readers to lift essentially trivial entities here to huge ill-defined sums quotiented by huge ill-defined gauge fixing terms. That may make it look more familiar. ;-)

    I see, okay. I was just thinking that it might be more helpful to stick to the finite models, using more of the abstract nonsense, but possibly you are right that it helps readers to lift essentially trivial entities here to huge ill-defined sums quotiented by huge ill-defined gauge fixing terms. That may make it look more familiar. ;-)

74. • CommentRowNumber174.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 4th 2010
    • (edited May 4th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex> That may make it look more familiar. ;-) yes, that's precisely my intent. I think we can use DW model to bring the reader back and forth between a familiar ill defined sigma model picture and a maybe less familiar but completely rigorous finite groupoid picture. it could be a nice palying field for an invitation to higher categories in everyday maths. I'd like to write a note on this, but later: first, as promised, I'll move cleaned up contents from this discussion into the Lab. just a little (but nice :-) ) addition to the proof of point 3) in #168. we can compute the integral $$ \int_{\mathcal{L}\mathcal{B}G} tr(hol(\gamma)) d\gamma $$ also directly using the Leistner measure on $\mathcal{L}\mathcal{B}G$, without realizing it as $G//_{Ad}G$. namely, $\pi_0\mathcal{L}\mathcal{B}G$ is the set of conjugacy classes of $G$ and, as noticed in #119, if $f:S^1\to \mathcal{B}G$ is a representative of the conjugacy class of $g$, then the connected component of $f$ in $\mathcal{L}\mathcal{B}G$ is a 1-type, with fundamental group $\pi_1(\mathcal{L}\mathcal{B}G,f)=C_g$, the centralizer of $g$ in $G$. therefore $$ \int_{\mathcal{L}\mathcal{B}G} tr(hol(\gamma)) d\gamma=\sum_{[g]}\frac{1}{|C_g|}tr(\rho_g). $$ now reopen your favorite book on representation theory (or work it out yourself, which is faster.. :-) )

    That may make it look more familiar. ;-)

    yes, that’s precisely my intent. I think we can use DW model to bring the reader back and forth between a familiar ill defined sigma model picture and a maybe less familiar but completely rigorous finite groupoid picture. it could be a nice palying field for an invitation to higher categories in everyday maths. I’d like to write a note on this, but later: first, as promised, I’ll move cleaned up contents from this discussion into the Lab.

    just a little (but nice :-) ) addition to the proof of point 3) in #168. we can compute the integral

    also directly using the Leistner measure on , without realizing it as . namely, is the set of conjugacy classes of and, as noticed in #119, if is a representative of the conjugacy class of , then the connected component of in is a 1-type, with fundamental group , the centralizer of in . therefore

    now reopen your favorite book on representation theory (or work it out yourself, which is faster.. :-) )

75. • CommentRowNumber175.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexHi Domenico, yes, right, I agree. By the way, these computations as you spell out here can be found discussed in some detail in <a href="http://arxiv.org/abs/math/0503266">Simon Willerton's article</a>.

    Hi Domenico,

    yes, right, I agree.

    By the way, these computations as you spell out here can be found discussed in some detail in Simon Willerton’s article.

76. • CommentRowNumber176.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex> By the way, these computations as you spell out here can be found discussed in some detail in Simon Willerton's article. I see, and I should have seen before, everything I've been writing lately is already there. and also the background field with values in $\mathcal{B}U(1)$ and in $\mathcal{B}^2 U(1)$, I was going to write as simpler cases of the DW model are already there. a bit depresssed, now :-( ok, I'll think to something else. and I'll still mantain my promise of writing a clean DW model entry on the nLab :-)

    By the way, these computations as you spell out here can be found discussed in some detail in Simon Willerton’s article.

    I see, and I should have seen before, everything I’ve been writing lately is already there. and also the background field with values in and in , I was going to write as simpler cases of the DW model are already there. a bit depresssed, now :-(

    ok, I’ll think to something else. and I’ll still mantain my promise of writing a clean DW model entry on the nLab :-)

77. • CommentRowNumber177.
    • CommentAuthorEric
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: Eric
    Format: MarkdownItex>a bit depresssed, now :-( When I rediscover something, I'm usual happy. It means I was on the right track :) The more recent the rediscovery, the better. I used to rediscover results that were 100+ years old and as I progressed, I'd rediscover new and newer things. Simon's article is just 5 years old. I have no doubt there will be new insights coming out of this discussion :)

    a bit depresssed, now :-(

    When I rediscover something, I’m usual happy. It means I was on the right track :)

    The more recent the rediscovery, the better. I used to rediscover results that were 100+ years old and as I progressed, I’d rediscover new and newer things. Simon’s article is just 5 years old. I have no doubt there will be new insights coming out of this discussion :)

78. • CommentRowNumber178.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexThanks, Eric :-) actually I don't feel that bad, but in the last few days I had really been thinking writing a short note on the DW model could have been a nice idea. now I see it's not worth doing. yet, on second thought, I have a vague impression in Simon Willerton's paper only 0-1-2-3 manifolds without boundary are discussed. from a very abstract perspective this is more than enough: via the cobordims hypothesis, only the linear 2-category associated with the point counts, and all the rest follows from this. after all, according to the nLab entry on [[Topological Quantum Field Theories from Compact Lie Groups]], "what exactly the functor $\int:Fam_n(C)\to C$ does to $k$-morphisms is apparently left as an exercise for the inclined reader.". so maybe working out that exercise for the DW model is worth doing. or maybe not?

    Thanks, Eric :-)

    actually I don’t feel that bad, but in the last few days I had really been thinking writing a short note on the DW model could have been a nice idea. now I see it’s not worth doing.

    yet, on second thought, I have a vague impression in Simon Willerton’s paper only 0-1-2-3 manifolds without boundary are discussed. from a very abstract perspective this is more than enough: via the cobordims hypothesis, only the linear 2-category associated with the point counts, and all the rest follows from this. after all, according to the nLab entry on Topological Quantum Field Theories from Compact Lie Groups, “what exactly the functor does to -morphisms is apparently left as an exercise for the inclined reader.”. so maybe working out that exercise for the DW model is worth doing. or maybe not?

79. • CommentRowNumber179.
    • CommentAuthorEric
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: Eric
    Format: MarkdownItex>now I see it's not worth doing. Au contraire :) I would LOVE to see a write up from you on this subject. You have a rare talent to write stuff that I can understand (sometimes!).

    now I see it’s not worth doing.

    Au contraire :)

    I would LOVE to see a write up from you on this subject. You have a rare talent to write stuff that I can understand (sometimes!).

80. • CommentRowNumber180.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItex> I see, and I should have seen before, everything I've been writing lately is already there. and also the background field with values in $\mathcal{B}U(1)$ and in $\mathcal{B}^2 U(1)$, I was going to write as simpler cases of the DW model are already there. a bit depresssed, now :-( Domenico, sorry for that. I would have mentioned this before, had I been actively aware that it needs mentioning. My bad. But I do think there is something to add here, from the perspective that we have been entertaining here, namely amplifying the point that really everything in sight has nice natural expressions in terms of some general oo-groupoid machinery. This was for instance part of the motivation of that section on the Drinfeld double in my writeup with Zoran, to show that this transgressed cocycle on $\mathcal{L} \mathcal{B}G$ has a nice general-nonsense expression as an internal hom. So while lots of the formulas are already known, I do still think a few gems are still to be picked here by putting all this in its completely right general perspective. Namely having this and then internalizing everything from the oo-topos $\infty Grpd$ to something like $Sh_{(\infty,1)}(CartSp)$ should tell us a lot about Chern-Simons theory etc. So i think there is no need to be depressed for you, given the discussion we had here. On the contrary.

    I see, and I should have seen before, everything I’ve been writing lately is already there. and also the background field with values in and in , I was going to write as simpler cases of the DW model are already there. a bit depresssed, now :-(

    Domenico,

    sorry for that. I would have mentioned this before, had I been actively aware that it needs mentioning. My bad.

    But I do think there is something to add here, from the perspective that we have been entertaining here, namely amplifying the point that really everything in sight has nice natural expressions in terms of some general oo-groupoid machinery. This was for instance part of the motivation of that section on the Drinfeld double in my writeup with Zoran, to show that this transgressed cocycle on has a nice general-nonsense expression as an internal hom.

    So while lots of the formulas are already known, I do still think a few gems are still to be picked here by putting all this in its completely right general perspective. Namely having this and then internalizing everything from the oo-topos to something like should tell us a lot about Chern-Simons theory etc.

    So i think there is no need to be depressed for you, given the discussion we had here. On the contrary.

81. • CommentRowNumber181.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItex> "what exactly the functor $\int:Fam_n(C)\to C$ does to $k$-morphisms is apparently left as an exercise for the inclined reader." so maybe working out that exercise for the DW model is worth doing. or maybe not? Definitely, yes. I should say that Johan Alm had thought about this hard back then when we looked into this, and some things became clear, but a general puzzlement on one point was unfortunately left.

    “what exactly the functor does to -morphisms is apparently left as an exercise for the inclined reader.” so maybe working out that exercise for the DW model is worth doing. or maybe not?

    Definitely, yes. I should say that Johan Alm had thought about this hard back then when we looked into this, and some things became clear, but a general puzzlement on one point was unfortunately left.

82. • CommentRowNumber182.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 4th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexUrs, no reason to be sorry. On the contrary, should I have had my attention pointed to Simon Willerton's paper from the beginning, I would have never gone so deep in my understanding of DW. so it's much better things have gone this way. really. I've had an "and now? what's left to do? nothing!" moment, but it's gone, now :-)

    Urs,

    no reason to be sorry. On the contrary, should I have had my attention pointed to Simon Willerton’s paper from the beginning, I would have never gone so deep in my understanding of DW. so it’s much better things have gone this way. really. I’ve had an “and now? what’s left to do? nothing!” moment, but it’s gone, now :-)

83. • CommentRowNumber183.
    • CommentAuthorBruce
    • CommentTimeMay 5th 2010
    • PermaLink
    Author: Bruce
    Format: MarkdownItexAs far as I understand it, there still hasn't appeared a simple geometric description of the full 1-2-3 finite group TQFT (let alone the 0-1-2-3) theory. As you say, one can write down the numbers, vector spaces, linear categories, and linear 2-categories associated to closed 3-manifolds, 2-manifolds, 1-manifolds and points respectively, and that's nice, but often people sort of stop there because our language for dealing with the functors and the 2-morphisms etc. associated to cobordisms between cobordisms and so on seems to be unwieldy. With the 1-2-3 version of the 3d finite group TQFT, one way to proceed is to write down the category associated to the circle. Then if someone asks you "calculate the linear map assigned to this cobordism between cobordisms", you do a Turaev kind of construction on that category. So you let R = (+) X_i (x) X_i^*, and play games with that thing. It works, but it's not a "first principles" solution; one would really like to be able to describe everything geometrically from first principles. Freed kind of did that in the 90's, working out explicitly the braiding, twist, etc., but my impression was that it was still not a "first-principles" thing; there wasn't an explicit geometric formula for working out "the natural transformation corresponding to this cobordism from this cobordism to that one", although people can write such formulas down after making a few choices, basepoints, etc. So in conclusion: I think there's still lots of room here for elegant geometric explanations along the lines you have been working out, Domenico! Where one tries to be as canonical as possible. Also, along these lines: In the 90's people talked about "C-extended" TQFT's, where C is some linear category. Remember, from Turaev's book? This formalism was carried on in Bakalov and Kirillov. My understanding is that nowadays we would refer to a "C-extended TQFTs" simply as a 1-2-3 TQFT (C is the category assigned to the circle). But even this equivalence hasn't been made entirely precise, as far as I'm aware.

    As far as I understand it, there still hasn’t appeared a simple geometric description of the full 1-2-3 finite group TQFT (let alone the 0-1-2-3) theory. As you say, one can write down the numbers, vector spaces, linear categories, and linear 2-categories associated to closed 3-manifolds, 2-manifolds, 1-manifolds and points respectively, and that’s nice, but often people sort of stop there because our language for dealing with the functors and the 2-morphisms etc. associated to cobordisms between cobordisms and so on seems to be unwieldy.

    With the 1-2-3 version of the 3d finite group TQFT, one way to proceed is to write down the category associated to the circle. Then if someone asks you “calculate the linear map assigned to this cobordism between cobordisms”, you do a Turaev kind of construction on that category. So you let R = (+) X_i (x) X_i^*, and play games with that thing. It works, but it’s not a “first principles” solution; one would really like to be able to describe everything geometrically from first principles. Freed kind of did that in the 90’s, working out explicitly the braiding, twist, etc., but my impression was that it was still not a “first-principles” thing; there wasn’t an explicit geometric formula for working out “the natural transformation corresponding to this cobordism from this cobordism to that one”, although people can write such formulas down after making a few choices, basepoints, etc.

    So in conclusion: I think there’s still lots of room here for elegant geometric explanations along the lines you have been working out, Domenico! Where one tries to be as canonical as possible.

    Also, along these lines: In the 90’s people talked about “C-extended” TQFT’s, where C is some linear category. Remember, from Turaev’s book? This formalism was carried on in Bakalov and Kirillov. My understanding is that nowadays we would refer to a “C-extended TQFTs” simply as a 1-2-3 TQFT (C is the category assigned to the circle). But even this equivalence hasn’t been made entirely precise, as far as I’m aware.

84. • CommentRowNumber184.
    • CommentAuthorBruce
    • CommentTimeMay 5th 2010
    • PermaLink
    Author: Bruce
    Format: MarkdownItexJust after my post I realized I was talking nonsense as usual. Jeffrey Morton's thesis, of course, does a complete and canonical geometric description of the full untwisted finite group 1-2-3 model; nice summary of the construction on the arXiv at arXiv:1003.5603. Ok, but I guess it's the twisted case where Kantization really comes into its own..?

    Just after my post I realized I was talking nonsense as usual. Jeffrey Morton’s thesis, of course, does a complete and canonical geometric description of the full untwisted finite group 1-2-3 model; nice summary of the construction on the arXiv at arXiv:1003.5603. Ok, but I guess it’s the twisted case where Kantization really comes into its own..?

85. • CommentRowNumber185.
    • CommentAuthorUrs
    • CommentTimeMay 5th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItex> one would really like to be able to describe everything geometrically from first principles. I am relieved to hear you say this! Hopefully you find a free minute here and there to help Domenico and me and others here think about that.

    one would really like to be able to describe everything geometrically from first principles.

    I am relieved to hear you say this! Hopefully you find a free minute here and there to help Domenico and me and others here think about that.

86. • CommentRowNumber186.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 5th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex> My understanding is that nowadays we would refer to a "C-extended TQFTs" simply as a 1-2-3 TQFT I completely agree with this. And, if I correctly understand Bruce point of view, the main puzzle here is something of this kind: assume we are given the tensor category associated with the circle; then we can compute a 3-manifold invariant by playing some suitable Turav game. On the other hand the same data we have should be the shadow of a sigma model (with some background field), and in this sigma model we would have an "obviously defined" 3-manifolds invariant, given by the path integral. So the result of the Turaev game should be thought as the result of the ill-defined path integral. But then there's a check to be made (as in the very toy example at #167): at least in finite models we are also able to compute directly the path integral in a rigorous way. So we now have two 3-manifolds invariants which should be the same, and we have to check this, or (better) find a first principle telling us they are the same (a mathematical first principle, I mean.. I guess from a physics perspective they must obviously be the same :-) )

    My understanding is that nowadays we would refer to a “C-extended TQFTs” simply as a 1-2-3 TQFT

    I completely agree with this. And, if I correctly understand Bruce point of view, the main puzzle here is something of this kind: assume we are given the tensor category associated with the circle; then we can compute a 3-manifold invariant by playing some suitable Turav game. On the other hand the same data we have should be the shadow of a sigma model (with some background field), and in this sigma model we would have an “obviously defined” 3-manifolds invariant, given by the path integral. So the result of the Turaev game should be thought as the result of the ill-defined path integral. But then there’s a check to be made (as in the very toy example at #167): at least in finite models we are also able to compute directly the path integral in a rigorous way. So we now have two 3-manifolds invariants which should be the same, and we have to check this, or (better) find a first principle telling us they are the same (a mathematical first principle, I mean.. I guess from a physics perspective they must obviously be the same :-) )

87. • CommentRowNumber187.
    • CommentAuthorBruce
    • CommentTimeMay 6th 2010
    • PermaLink
    Author: Bruce
    Format: MarkdownItexOk, I completely agree with that summary of affairs. I don't have anything interesting to say right now! So carry on with your computations, don't let me sidetrack them.

    Ok, I completely agree with that summary of affairs. I don’t have anything interesting to say right now! So carry on with your computations, don’t let me sidetrack them.

88. • CommentRowNumber188.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 7th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexThanks, Bruce. I'm glad you agree. I've been terribly busy during the last couple of days (not even able to work on the DW entry in the Lab, sorry for this), but now I'll try to sketch a few lines of a sort of small research project along the lines above: The state of the art of the functorial point of view on 3D TQFT during the '90s can be summarized in this sentence from the introduction of Bakalov-Kirillov's book: "under some (not too restrictive) assumptions, the notions of modular tensor category, 3D TQFT and 2D modular functor (topological and complex-analytic) are essentially equivalent". Today, we would express the first part of this quite vague "essentially equivalent" by saying that a 1-2-3 TQFT is completely determined by the modular tensor category it assigns to $S^1$, and even better in terms of representations of $3Cob_2$ (3-dimensional cobordism up to codimension 2). Moreover, in finite sigma models it seems we are able to give a categorical path integral construction. Now, let us consider the complex-analytic 2D modular functor "essentially equivalent to the given 1-2-3 TQFT". We know that the algebraic/categorical data of modular tensor category can be seen as the datum of projectively flat vector bundles on moduli spaces of complex curves. This is precisely the kind of datum we end up after path integration in string theory. So it seems that a few tricks and phenomena of string path integrals (zeta functions regularization, anomaly) are not arbitrary at all, since the result they produce is exactly of the kind one one would have computing the "categorical path integral". And this clearly suggets that the two results should be the same. Apparently, there are only few situations where we have both points (the categorical and the complex moduli one) of view on the path integral at the same time. this is mainly due to the difficulty of having a sigma model target which is at the same time a simple categorial object and a complex analytic object. But here comes the beauty of the DW model: if $G$ is a finite group, the target $\mathcal{B}G$ is on the categoical side the delooped groupoid $\mathbf{B}G$, and on the complex analytic side the stack $*//G$. so one should expect a Rosetta stone between the 0-1-2-3 TQFT arising from the DW model and the geometry of moduli spaces of stable maps $\overline{\mathcal{M}}_{g,n,d}(*//G)$ (in particular, I would expect projectively flat vector bundles on $\overline{\mathcal{M}}_{g,n}$ to arise as pushforwards of flat line bundles on $\overline{\mathcal{M}}_{g,n,d}(*//G)$ along the natural projection $\overline{\mathcal{M}}_{g,n,d}(*//G)\to \overline{\mathcal{M}}_{g,n}$, but this is just a very vague idea). this would provide a neat explanation for elliptic phenomena on the categorical side of the DW model (twisted elliptic characters, see Simon Willerton's paper)

    Thanks, Bruce. I’m glad you agree. I’ve been terribly busy during the last couple of days (not even able to work on the DW entry in the Lab, sorry for this), but now I’ll try to sketch a few lines of a sort of small research project along the lines above:

    The state of the art of the functorial point of view on 3D TQFT during the ’90s can be summarized in this sentence from the introduction of Bakalov-Kirillov’s book: “under some (not too restrictive) assumptions, the notions of modular tensor category, 3D TQFT and 2D modular functor (topological and complex-analytic) are essentially equivalent”.

    Today, we would express the first part of this quite vague “essentially equivalent” by saying that a 1-2-3 TQFT is completely determined by the modular tensor category it assigns to , and even better in terms of representations of (3-dimensional cobordism up to codimension 2). Moreover, in finite sigma models it seems we are able to give a categorical path integral construction.

    Now, let us consider the complex-analytic 2D modular functor “essentially equivalent to the given 1-2-3 TQFT”. We know that the algebraic/categorical data of modular tensor category can be seen as the datum of projectively flat vector bundles on moduli spaces of complex curves. This is precisely the kind of datum we end up after path integration in string theory. So it seems that a few tricks and phenomena of string path integrals (zeta functions regularization, anomaly) are not arbitrary at all, since the result they produce is exactly of the kind one one would have computing the “categorical path integral”. And this clearly suggets that the two results should be the same.

    Apparently, there are only few situations where we have both points (the categorical and the complex moduli one) of view on the path integral at the same time. this is mainly due to the difficulty of having a sigma model target which is at the same time a simple categorial object and a complex analytic object. But here comes the beauty of the DW model: if is a finite group, the target is on the categoical side the delooped groupoid , and on the complex analytic side the stack . so one should expect a Rosetta stone between the 0-1-2-3 TQFT arising from the DW model and the geometry of moduli spaces of stable maps (in particular, I would expect projectively flat vector bundles on to arise as pushforwards of flat line bundles on along the natural projection , but this is just a very vague idea).

    this would provide a neat explanation for elliptic phenomena on the categorical side of the DW model (twisted elliptic characters, see Simon Willerton’s paper)

89. • CommentRowNumber189.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 10th 2010
    • (edited May 10th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexAdded a "As an extended TQFT" section to [[Dijkgraaf-Witten theory]].

    Added a “As an extended TQFT” section to Dijkgraaf-Witten theory.

90. • CommentRowNumber190.
    • CommentAuthorBruce
    • CommentTimeMay 10th 2010
    • PermaLink
    Author: Bruce
    Format: MarkdownItexThis sounds good. I am still quite a long way from understanding the complex analytic side of things; I only have a hand-waving understanding of "moduli stack", "KZ connection" and so on, far from enough to actually do real computations with. I have spent my time in the other parts of the BK correspondence. So I am unable to contribute to the Rosetta stone at this stage. Mightn't major parts of the Rosetta Stone already be contained in Ben-Zvi and Nadler's geometric infinity function theory?

    This sounds good. I am still quite a long way from understanding the complex analytic side of things; I only have a hand-waving understanding of “moduli stack”, “KZ connection” and so on, far from enough to actually do real computations with. I have spent my time in the other parts of the BK correspondence. So I am unable to contribute to the Rosetta stone at this stage. Mightn’t major parts of the Rosetta Stone already be contained in Ben-Zvi and Nadler’s geometric infinity function theory?

91. • CommentRowNumber191.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 10th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex> Mightn't major parts of the Rosetta Stone already be contained in Ben-Zvi and Nadler's geometric infinity function theory? might be.. I should look back at that having this in mind!

    Mightn’t major parts of the Rosetta Stone already be contained in Ben-Zvi and Nadler’s geometric infinity function theory?

    might be.. I should look back at that having this in mind!

92. • CommentRowNumber192.
    • CommentAuthorUrs
    • CommentTimeMay 10th 2010
    • (edited May 10th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItex> Added a "As an extended TQFT" section to [[Dijkgraaf-Witten theory]]. Thanks for starting doing this, Domenico! I have two requests: 1. for the equation $\pi_k [\Pi(X_{n-k}), \mathbf{B}^n U(1)] \simeq U(1)$ it would be good to add a remark on how this follows from the universal coefficient theorem; 1. it seems to me something is missing in your discussion after that, since you describe a $k$-vector bundle on the space of phases $[\Pi(X_{n-k}), \mathbf{B}^n U(1)]$ while you should describe one on the space of fields $[\Pi(X_{n-k}), \mathbf{B}G]$. It seems to me that you really want to pull back the vector bundle that you describe along the map $$ [\Pi(X_{n-k}), \rho ] : [\Pi(X_{n-k}), \mathbf{B}G] \to [\Pi(X_{n-k}), \mathbf{B}^n U(1)] \,. $$ I would suggest to write it like this: By the universal coefficient theorem we find that $[\Pi(X_{n-k}), \mathbf{B}^n U(1)] \simeq \mathbf{B}^k U(1)$. This means that the [[transgression]] of the background field $$ \alpha : \mathbf{B}G \to \mathbf{B}^n U(1) $$ to the space of field configurations $[\Pi(X_{n-k}), \mathbf{B}G]$ over $X_{n-k}$ is a [[cocycle]] $$ [\Pi(X_{n-k}), \alpha] : [\Pi(X_{n-k}), \mathbf{B}G] \to \mathbf{B}^k U(1) \,. $$ This classifies a $\mathbf{B}^{k-1} U(1)$-[[principal infinity-bundle]] $P$ over the space of field configurations, given by the [[pullback]] $$ \array{ P &\to & \mathbf{E} \mathbf{B}^{k-1} U(1) \\ \downarrow && \downarrow \\ [\Pi(X_{n-k}), \mathbf{B}G] &\stackrel{[\Pi(X_{n-k}), \rho]}{\to}& \mathbf{B}^k U(1) } \,. $$ By the canonical representation $\rho : \mathbf{B}^k U(1) \to k Vect_{\mathbb{C}}$ we have associated to this canonically a $k$-vector bundle $E$, which is the pullback $$ \array{ E &\to & k Vect_* \\ \downarrow && \downarrow \\ [\Pi(X_{n-k}), \mathbf{B}G] &\stackrel{\rho \circ [\Pi(X_{n-k}), \rho]}{\to}& k Vect } \,. $$ If $X_{n-k}$ is closed then the $k$-vector spaces associated by the TFT to $X_{n-k}$ is the space of sections of this bundle $E$.

    Added a “As an extended TQFT” section to Dijkgraaf-Witten theory.

    Thanks for starting doing this, Domenico!

    I have two requests:

    1. for the equation it would be good to add a remark on how this follows from the universal coefficient theorem;

    2. it seems to me something is missing in your discussion after that, since you describe a -vector bundle on the space of phases while you should describe one on the space of fields .

    It seems to me that you really want to pull back the vector bundle that you describe along the map

    I would suggest to write it like this:

    By the universal coefficient theorem we find that . This means that the transgression of the background field

    to the space of field configurations over is a cocycle

    This classifies a -principal infinity-bundle over the space of field configurations, given by the pullback

    By the canonical representation we have associated to this canonically a -vector bundle , which is the pullback

    If is closed then the -vector spaces associated by the TFT to is the space of sections of this bundle .

93. • CommentRowNumber193.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 11th 2010
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItex>it seems to me something is missing in your discussion after that... yes, absolutely! somehow I got distracted in the copy-and-past process and I forgot pulling back.. now I'll remedy :)

    it seems to me something is missing in your discussion after that…

    yes, absolutely! somehow I got distracted in the copy-and-past process and I forgot pulling back.. now I’ll remedy :)

94. • CommentRowNumber194.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexby the way, I feel >By the universal coefficient theorem we find that $[\Pi(X_{n-k}), \mathbf{B}^n U(1)] \simeq \mathbf{B}^k U(1)$ should rather be By the universal coefficient theorem we find that $[\Pi(X_{n-k}), \mathbf{B}^n U(1)]_k \simeq \mathbf{B}^k U(1)$, where the subscript $k$ on the left hand side denotes the $k$-truncation. But I have to think more carefully to this (actually, postcomposing with the truncation morphism from a space to its $k$-truncation, the above argument holds without changes).

    by the way, I feel

    By the universal coefficient theorem we find that

    should rather be

    By the universal coefficient theorem we find that , where the subscript on the left hand side denotes the -truncation.

    But I have to think more carefully to this (actually, postcomposing with the truncation morphism from a space to its -truncation, the above argument holds without changes).

95. • CommentRowNumber195.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks, Domenico. I edited the entry a bit further, but nothing nontrivial. You write: > by the way, I feel >> By the universal coefficient theorem we find that $[\Pi(X_{n-k}), \mathbf{B}^n U(1)] \simeq \mathbf{B}^k U(1)$ > should rather be [...] You know, that may well be, that's why I would like to ask you to spell out the details of your argument involving the universal coefficient theorem. I am being dense and uneducated here and would really like to understand this completely. Currently I do not. So please: spell out in full detail, for me, your argument for how to determine the homotopy type of $[\Pi(X_{n-k}), \mathbf{B}^n U(1)]$!

    Thanks, Domenico. I edited the entry a bit further, but nothing nontrivial.

    You write:

    by the way, I feel

    By the universal coefficient theorem we find that

    should rather be […]

    You know, that may well be, that’s why I would like to ask you to spell out the details of your argument involving the universal coefficient theorem. I am being dense and uneducated here and would really like to understand this completely. Currently I do not. So please: spell out in full detail, for me, your argument for how to determine the homotopy type of !

96. • CommentRowNumber196.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexI could be wrong, but it should be as follows: we have seen at some point that \[ \pi_i[\Pi(X_{n-k},\mathbf{B}^n U(1)]\simeq H^{n-i}(X_{n-k}, U(1)). \] moreover, we now (universal coefficient theorem in its classical version, but we should think to nPOV on it..) there's an exact sequence \[ 0\to Ext^1(H_{n-i-1}(X_{n-k},\mathbb{Z}),U(1))\to H^{n-i}(X_{n-k},U(1))\to Hom(H_{n-i}(X_{n-k},\mathbb{Z}),U(1))\to 0. \] Since $U(1)$ is an injective $\mathbb{Z}$-module, $Ext^1(-,U(1))=0$ and so we have an isomorphism \[ H^{n-i}(X_{n-k},U(1))\simeq Hom(H_{n-i}(X_{n-k},\mathbb{Z}),U(1)) \] For $i\lt k$, the right hand side is zero, and so $\pi_i[\Pi(X_{n-k},\mathbf{B}^n U(1)]=0$ for $i\lt k$. For $i=k$, instead, $H_{n-i}(X_{n-k},\mathbb{Z})\simeq \mathbb{Z}$, since $X_{n-k}$ is a closed $(n-k)$-manifold and so $\pi_k[\Pi(X_{n-k},\mathbf{B}^n U(1)]\simeq U(1)$. After this point homotopy groups of $[\Pi(X_{n-k},\mathbf{B}^n U(1)]$ does not seem to vanish, since $X_{n-k}$ has nontrivial homology in degrees $[0,n-k-1]$.

    I could be wrong, but it should be as follows: we have seen at some point that

    moreover, we now (universal coefficient theorem in its classical version, but we should think to nPOV on it..) there’s an exact sequence

    Since is an injective -module, and so we have an isomorphism

    For , the right hand side is zero, and so for . For , instead, , since is a closed -manifold and so . After this point homotopy groups of does not seem to vanish, since has nontrivial homology in degrees .

97. • CommentRowNumber197.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexAh, thanks, that helps. Yes. I'll put that argument into the entry...

    Ah, thanks, that helps. Yes. I’ll put that argument into the entry…

98. • CommentRowNumber198.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItexOkay, I put in the details <a href="http://ncatlab.org/nlab/show/Dijkgraaf-Witten+theory#the_vector_spaces_of_states_in_codimension__5">here</a> in the form of a formal proposition. Very nice, this argument that $\tau_{\leq k}[\Pi(X_{n-k}), \mathbf{B}^n U(1)] \simeq \mathbf{B}^k U(1)$ is something I had thought should be true in my discussion of "integration without integration" but didn't really show. Very good indeed to have this. This fills a gap in my understanding of the universe. Very nice.

    Okay, I put in the details here in the form of a formal proposition.

    Very nice, this argument that is something I had thought should be true in my discussion of “integration without integration” but didn’t really show. Very good indeed to have this. This fills a gap in my understanding of the universe. Very nice.

99. • CommentRowNumber199.
    • CommentAuthorTim_Porter
    • CommentTimeMay 11th 2010
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItex@Urs There seem to be some typos in what you put in and I am not sure what exactly you intended so cannot correct them.

    @Urs There seem to be some typos in what you put in and I am not sure what exactly you intended so cannot correct them.

100. • CommentRowNumber200.
     • CommentAuthorUrs
     • CommentTimeMay 11th 2010
     • (edited May 11th 2010)
     • PermaLink
     Author: Urs
     Format: MarkdownItex> @Urs There seem to be some typos in what you put in and I am not sure what exactly you intended so cannot correct them. If you let me know what you think is a typo, i can try to reply.

     @Urs There seem to be some typos in what you put in and I am not sure what exactly you intended so cannot correct them.

     If you let me know what you think is a typo, i can try to reply.