Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory 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 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 sheaves simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
  1. Urs,

    no need to apologize, I was joking :)

    (yet looking forward to seeing you back here)

    • CommentRowNumber102.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2010

    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

    • X=BGX = \mathbf{B}G our target space object;

    • α:BGB 3U(1)\alpha : \mathbf{B}G \to \mathbf{B}^3 U(1) our background field

    • Σ inΣΣ out\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

    α *(Σ):[Σ,BG][Σ,B 3U(1)]\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 HH.)

    Let’s further postcompose this with passing to cohomology

    :[Σ,B 3U(1)]π 0[Σ,B 3U(1)] \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)U(1), by integration without integration. Then we get a total morphism

    [Σ,BG]α *[Σ,B 3U(1)]U(1)[\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)U(1), that happens to be just a groupoid over U(1)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 [Σ,BG][\Sigma,\mathbf{B}G] of their value in U(1)U(1) under α *\int \alpha_* times one over the automorphism of the iso-class.

    card([Σ,BG]α *[Σ,B 3U(1)]U(1))= [ϕ]π 0[Σ,BG]1Aut(ϕ)α *(ϕ).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 Σ in\Sigma_{in} and Σ out\Sigma_{out}

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

    now, the case with nontrivial Σ in\Sigma_{in} and Σ out\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

    :[Σ inΣΣ out,*B 3U(1)*]π 0[Σ inΣΣ out,*B 3U(1)*] \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)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 Σ in\Sigma_{in} and Σ out\Sigma_{out}. these should be described in terms of sections of the \mathbb{C}-bundles associated with flat U(1)U(1)-bundles on [Σ in,BG][\Sigma_{in},\mathbf{B}G] and [Σ out,BG][\Sigma_{out},\mathbf{B}G] sketched in #95

  3. 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 G (2)G_{(2)} for GG and BU(1) n\mathbf{B}U(1)^n for BU(1) 3\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)G_{(2)}, let G (2)\mathcal{B}G_{(2)} be its homotopy type. fix a background field α:G (2) nU(1)\alpha : \mathcal{B}G_{(2)} \to \mathcal{B}^n U(1), and let Σ\Sigma be a (closed, compact, oriented) nn-manifold. The action functional on the space of fields is the induced morphism

    α *(Σ):[Σ,G (2)][Σ, nU(1)]\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

    :[Σ, nU(1)]π 0[Σ, nU(1)]=U(1) \int : [\Sigma, \mathcal{B}^n U(1)] \to \pi_0 [\Sigma, \mathcal{B}^n U(1)] =U(1).

    and gets a total morphism

    [Σ,G (2)]α *U(1)[\Sigma,\mathcal{B}G_{(2)}] \stackrel{\int \alpha_*}{\to} U(1).

    This is an \infty-groupoid over U(1)U(1), that happens to be just a 2-groupoid over U(1)U(1). indeed, since G (2)\mathcal{B}G_{(2)} is a 2-type, so is [Σ,G (2)][\Sigma,\mathcal{B}G_{(2)}]; this can be easily seen, e.g., as follows: [S n,[Σ,G (2)][Σ,[S n,G (2)]][S^n,[\Sigma,\mathcal{B}G_{(2)}]\simeq [\Sigma,[S^n,\mathcal{B}G_{(2)}]]. the \infty-groupoid cardinality of [Σ,G (2)][\Sigma,\mathcal{B}G_{(2)}] over U(1)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.

    • CommentRowNumber105.
    • CommentAuthorUrs
    • CommentTimeApr 19th 2010
    • (edited Apr 19th 2010)

    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 Σ in\Sigma_{in} and Σ out\Sigma_{out}. these should be described in terms of sections of the \mathbb{C}-bundles associated with flat U(1)U(1)-bundles on [Σ in,BG][\Sigma_{in},B G] and [Σ out,BG][\Sigma_{out}, B G] sketched in #95

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

    • CommentRowNumber106.
    • CommentAuthorUrs
    • CommentTimeApr 19th 2010

    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.

  4. Urs,

    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 G\mathcal{B}G and 3U(1)\mathcal{B}^3U(1) as pointed spaces and transgress the background field α:G 3U(1)\alpha:\mathcal{B}G\to\mathcal{B}^3U(1) to loop spaces. what you get is (up to homotopy) Ωα:G 2U(1)\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 G\mathcal{B}G we have a canonical GG-bundle: the universal GG-bundle EGE G, which up to homotopy is the paths bundle of G\mathcal{B}G. in other words, up to homotopy EGE G is the bundle whose fiber at xx is the based loop space Ω x(G)\Omega_x(\mathcal{B}G). similarly, over 3U(1)\mathcal{B}^3U(1) we have a canonical 2U(1)\mathcal{B}^2U(1)-bundle E 2U(1)E\mathcal{B}^2U(1). transgression of α\alpha maps a based loop at xx to a based loop at α(x)\alpha(x), so is a canonical bundle morphism EGα *E 2U(1)E G\to \alpha^*E\mathcal{B}^2U(1).

    • CommentRowNumber108.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 19th 2010
    • (edited Apr 19th 2010)

    let me add another tiny tessera to the kantization mosaic we’re trying to compose here: let GG be any group and let BG\mathbf{B}G be its delooping. then π 0(BG)=*\pi_0(\mathbf{B}G)=*. a linear representation VV of GG is a functor BGVect\mathbf{B}G\to Vect and we can push this forward along the projection to isomorphism classes by taking the right Kan extension of

    BG Vect π 0(BG) \array{ \mathbf{B}G&\to& Vect \\ \downarrow && \\ \pi_0(\mathbf{B}G)&& }

    this is precisely GG-invariant elements of VV.

    • CommentRowNumber109.
    • CommentAuthorzskoda
    • CommentTimeApr 19th 2010
    • (edited Apr 19th 2010)

    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.

  5. 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?

    • CommentRowNumber111.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 20th 2010
    • (edited Apr 20th 2010)

    generalizing slightly #108 above, given a flat vector bundle EXE\to X, one can define the vector space of Π 1(X)\Pi_1(X)-equivariant sections as the set of sections v:xv xv: x\mapsto v_x such that γ xyv x=v y\gamma_{xy}\cdot v_x=v_y for any path γ xy\gamma_{xy} from xx to yy. then the pushforward (right Kan extension)

    Π 1(X) E Vect π 0(X) \array{ \Pi_1(X)&\stackrel{E}{\to}& Vect \\ \downarrow && \\ \pi_0(X)&& }

    is a collction of vector spaces indexed by elements in the set π 0(X)\pi_0(X). pushing still forward π 0(X)Vect\pi_0(X)\to Vect along π 0(X)*\pi_0(X)\to *, one gets a single vector space: the vector space of equivariant sections of EE.

    • CommentRowNumber112.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 20th 2010
    • (edited Apr 20th 2010)

    assume now we have two topological spaces XX and YY and two flat vector bundles EXE\to X and FYF\to Y. denote by Γ eq(E)\Gamma^{eq}(E) and Γ eq(F)\Gamma^{eq}(F) the equivariant sections of these bundles, and let φ:XY\varphi:X\to Y be a morphism which lifts to a natural transformation FΠ 1(φ)E:Π 1(X)VectF \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 Γ eq(F)Γ eq(F):*Vect\Gamma^{eq}(F)\Rightarrow \Gamma^{eq}(F):*\to Vect, i.e. a linear map Γ eq(F)Γ eq(F)\Gamma^{eq}(F)\to \Gamma^{eq}(F)

    • CommentRowNumber113.
    • CommentAuthorUrs
    • CommentTimeApr 20th 2010

    the vector space of equivariant sections of EE.

    Where Π 1(X)\Pi_1(X)-equivariant means: flat! Yes.

    • CommentRowNumber114.
    • CommentAuthorzskoda
    • CommentTimeApr 21st 2010

    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.

  6. 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 Σ\Sigma by the DW model..

    at the moment the idea I’m pursuing is something like the following: the background field is a map α:G 3U(1)\alpha:\mathcal{B}G\to \mathcal{B}^3U(1). if Σ\Sigma is a 3-manifold, transgressing gives a map [Σ,G][Σ, 3U(1)][\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 π 0\pi_0.

    when Σ\Sigma is 2-dimensional, instead, [Σ, 3U(1)][\Sigma,\mathcal{B}^3U(1)] is 1-connected, but (I guess) not 2-connected. Let E ΣE_\Sigma be universal cover of [Σ, 3U(1)][\Sigma,\mathcal{B}^3U(1)] and let us pull this back to [Σ,G][\Sigma,\mathcal{B}G]. we obtain a cover of the (non connected) space [Σ,G][\Sigma,\mathcal{B}G]. now I’d like to associate a flat vector bundle to this cover. to do this, recall that E ΣE_\Sigma is a principal π 1([Σ, 3U(1)])\pi_1([\Sigma,\mathcal{B}^3U(1)])-bundle over [Σ, 3U(1)][\Sigma,\mathcal{B}^3U(1)], so the only thing I need is a representation of π 1([Σ, 3U(1)])\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)U(1): the idea is that a path in [Σ, 3U(1)][\Sigma,\mathcal{B}^3U(1)] is an element in [Σ×[0,1], 3U(1)][\Sigma\times[0,1],\mathcal{B}^3U(1)], and Σ×[0,1]\Sigma\times[0,1] is now a 3-manifold (with boundary..), and for a (closed connected) 3-manifold MM one has π 0([M, 3U(1)])=U(1)\pi_0([M,\mathcal{B}^3U(1)])=U(1).

    should this relation between π 1([Σ, 3U(1)])\pi_1([\Sigma,\mathcal{B}^3U(1)]) and U(1)U(1) come true, then we would have the defining representation of U(1)U(1) and would end up with a flat line bundle on [Σ,G][\Sigma,\mathcal{B}G]. the space of its flat section would then be the vector space associated to Σ\Sigma.

  7. quite unbelievable, but what I was conjecturing about π 1([Σ, 3U(1)],x 0)\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.

    • CommentRowNumber117.
    • CommentAuthorzskoda
    • CommentTimeApr 22nd 2010

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

    • CommentRowNumber118.
    • CommentAuthorUrs
    • CommentTimeApr 22nd 2010

    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?

    • CommentRowNumber119.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)

    yes, that Federer :)

    here are the statements from the reference:

    Theorem 1: let AA be a discrete abelian group, and XX a connected CW-complex. then π i(Top(X, nA),f)H ni(X,A)\pi_i(\mathbf{Top}(X,\mathcal{B}^n A),f)\cong H^{n-i}(X,A), for i,n1i,n\geq 1.

    Theorem 2: let GG be any discrete group, and let XX be a finite dimensional connected CW-complex. For a fixed map f:XGf:X\to \mathcal{B}G, let C fC_f be the centralizer in G=π 1(G)G=\pi_1(\mathcal{B}G) of f *(π 1(X,x 0))f_*(\pi_1(X,x_0)). Then the connected component of ff in Top(X,G)\mathbf{Top}(X,\mathcal{B}G) is a 1-type, with π 1(Top(X,G),f)C f\pi_1(\mathbf{Top}(X,\mathcal{B}G),f)\cong C_f.

    • CommentRowNumber120.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010

    Thanks, Domenico.

    That theorem 1 I consider a general triviality. Theorem 2 is useful. But how does this imply statements like π 0Top(M, 3U(1))U(1)\pi_0 Top(M,\mathcal{B}^3 U(1)) \simeq U(1) for general closed MM?

    • CommentRowNumber121.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)

    Yes, Theorem 1 is almost trivial: it is completely trivial in case Top(X, nA)\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 AA is abelian, nA\mathcal{B}^n A is an H-space, and so is Top(X, nA)\mathbf{Top}(X,\mathcal{B}^n A) with pointwise multiplication. hence π 1(Top(X, nA))\pi_1(\mathbf{Top}(X,\mathcal{B}^n A)) acts trivially on π i(Top(X, nA))\pi_i(\mathbf{Top}(X,\mathcal{B}^n A)), and so this latter group is identifies with π 0(Top(S i,Top(X, nA)))=π 0(Top(X×S i, nA))=H i(X×S i,A)\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 ni(X,A)H^{n-i}(X,A) and the other from H n(X,A)H^n(X,A). since we are assuming Top(X, nA)\mathbf{Top}(X,\mathcal{B}^n A) is connected, H n(X,A)=0H^n(X,A)=0.

    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/π 0\pi_0 case as acquired, and so I directly moved to 2-manifolds, where π 1\pi_1 is involved. as far as concerns π 0\pi_0: what we want is π 0Top(M, 3U(1))=U(1)\pi_0\mathbf{Top}(M,\mathcal{B}^3U(1))=U(1) for a compact closed oriented MM. and this is just universal coefficients plus the fact that U(1)U(1) is an injective \mathbb{Z}-module: π 0Top(M, 3U(1))=H 3(M,U(1))=Hom(H 3(M,),U(1))=U(1)\pi_0\mathbf{Top}(M,\mathcal{B}^3U(1))=H^3(M,U(1))=Hom(H_3(M,\mathbb{Z}),U(1))=U(1).

    • CommentRowNumber122.
    • CommentAuthorTim_Porter
    • CommentTimeApr 23rd 2010

    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.

    • CommentRowNumber123.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)

    Domenico,

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

     \Omega \mathbf{H}(X,A) \simeq \mathbf{H}(X,\Omega A)\,,

    because forming loop space objects is taking homs and limits, and both are respected by \mathbf{H}(X,-).

    So it follows generally that

     \pi_1 \mathbf{H}(X,A) = \pi_0 \Omega \mathbf{H}(X,A) = \pi_0 \mathbf{H}(X, \Omega A) = H(X, \Omega A) .

    Concerning the second theorem

    this is just universal coefficients plus the fact that U(1) is an injective \mathbb{Z}-module:

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

    • CommentRowNumber124.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)

    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: π 0ΩH(X,A)\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

    0Ext 1(H i1(X,),A)H i(X,A)Hom(H i(X,),A)0. 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 AA is injective as a \mathbb{Z}-module, then Ext i(,A)=0Ext^i(-,A)=0 for i>0i\gt0.

  8. let 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 H(Σ,B 3U(1))\mathbf{H}(\Sigma,\mathbf{B}^3U(1)) there is a canonical principal U(1)U(1)-bundle. since we are considering U(1)U(1) as a discrete goup, this is automatically flat, and so the defining representation of U(1)U(1) induces a flat \mathbb{C}-bundle over H(Σ,B 3U(1))\mathbf{H}(\Sigma,\mathbf{B}^3U(1)). pulling this bak via the background field, one has a flat line bundle over H(Σ,BG)\mathbf{H}(\Sigma,\mathbf{B}G). taking flat sections, i.e. pushing forward Π 1(H(Σ,BG))Vect\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 Φ M: Σ in Σ out\Phi_M:\mathcal{H}_{\Sigma_{in}}\to \mathcal{H}_{\Sigma_{out}} associated with a cospan Σ inMΣ out\Sigma_{in}\to M\leftarrow \Sigma_{out}, and describing the additive category the (extended) DW-model associates wit S 1S^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)

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

    any suggestion? :)

    • CommentRowNumber127.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010
    • (edited Apr 23rd 2010)

    Domenico,

    it looks like you are onto something here.

    I’d like to have a sort of “defining representation” of U(1)\mathcal{B}U(1) to end up with a 2-flat linear 2-bundle over Top(S 1,G)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).

    Every strict 2-group coming from a crossed module HGH \to G has a canonical 2-reprepresentation induced from any ordinary representation ρ\rho of HH:

    the representation B(HG)2Vect\mathbf{B}(H \to G) \to 2 Vect sends

    • the single object to A:=ρ(h) hHA := \langle \rho(h)\rangle_{h \in H} – the algebra generated from the linear operators in the image of ρ\rho;

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

    • a 2-morphism hHh \in H to the bimodule homomorphism obtained from multiplying with ρ(h)\rho(h) from the right.

    For the simple case of (HG)=BU(1)=(U(1)1) (H \to G) = \mathbf{B}U(1) = (U(1) \to 1) and the standard representation of U(1)U(1) on \mathbb{C}, this induces a canonical 2-representation of BU(1)\mathbf{B}U(1):

    • the representation 2-vector space is the one induced by the algebra \mathbb{C}, hence is Mod=Vect \mathbb{C} Mod = Vect_{\mathbb{C}};

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

    • the 2-morphism cU(1)c \in U(1) goes to the \mathbb{C}-bimodule homomorphism given by multiplying with cc, i.e. the natural transformation of the identityfunctor on VectVect given in components by multiplication by cc.

  10. 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 3U(1)\mathcal{B}^3U(1); this shold be a 3-flat 2U(1)\mathcal{B}^2U(1)-bundle, and as such should induce a standard 3-flat 3-vector bundle on 3U(1)\mathcal{B}^3U(1) which we can pull back to G\mathcal{B}G via the background field. taking 3-flat sections could then produce the seeked Z DW(*)Z_{DW}(*).

    • CommentRowNumber129.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2010

    Right, I think we mentioned this before somewhere.

    A 3-vector-space is given by an weak algebra object in BimodBimod, i.e. 3Vect=Bimod(Bimod )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)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 3U(1)\mathcal{B}^3 U(1) to \mathbb{C} regarded as the identity bimodule object in Bimod Bimod_{\mathbb{C}} on \mathbb{C};

    • sends the single 2-morphism of 3U(1)\mathcal{B}^3 U(1) to \mathbb{C} regarded as the bimodule homomorphsim object in Bimod Bimod_{\mathbb{C}} on \mathbb{C};

    • sends the 3-morphism cU(1)c \in U(1) of 3U(1)\mathcal{B}^3 U(1) to the evident (once one thinks about it) multiplication operation. :-)

  11. 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 α:G 3U(1)\alpha:\mathcal{B}G\to\mathcal{B}^3U(1) and we end up with a canonical morphism

    :Π 3(G)3Vect \nabla: \Pi_3(\mathcal{B}G)\to 3Vect

    and we want to obtain an extended 3-dimensional TQFT out of this, pushing forward along Π 3(G)Bord 3(G)Bord 3(*)\Pi_3(\mathcal{B}G)\to Bord_3(\mathcal{B}G)\to Bord_3(*).

    • CommentRowNumber131.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010

    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.

  12. 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 :)

    • CommentRowNumber133.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2010

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

    • CommentRowNumber134.
    • CommentAuthorzskoda
    • CommentTimeApr 25th 2010

    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 ?

  13. 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

    • CommentRowNumber136.
    • CommentAuthorzskoda
    • CommentTimeApr 26th 2010

    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).

  14. 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 p V:*Vp_V:*\rightarrow V a pointed oo-category (nice, i.e., with all the properties needed in what follows) and XX another nice oo-category. finally, let E:XVE:X\to V be a functor (the geometric picture to have in mind is that XX is a space and EE an (higher) vector bundle on that space). then sections of EE are defined in 1004.2472v1 as Γ(E)=Hom(p Vπ X,E)\Gamma(E)=Hom(p_V\cdot\pi_X,E), where π X:X*\pi_X:X\to * is the terminal morphism. assume now EE has a right Kan extension K E:*VK_E:*\to V along X*X\to *. then the universal property of Kan extension would say that Γ(E)=Hom(p V,K E)=Hom V(p V(*),K E(*))\Gamma(E)=Hom(p_V,K_E)=Hom_V(p_V(*),K_E(*)). this suggests that if VV has internal hom’s, then a canonical choice for p Vp_V would be an object corepresenting the identity of VV, so that Γ(E)=K E(*)\Gamma(E)=K_E(*) in this case.

    this gives for instance the choice p V(*)=kp_V(*)=k in case VV is the category of kk-vector spaces, as in 1004.2472v1 9.1.

    • CommentRowNumber138.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2010
    • (edited Apr 27th 2010)

    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 Vect\infty Vect is Pr LPr^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 Vect\infty Vect is that underlying much of the geometric infinity-function theory, really.

    So one might want to universaly take V=Pr LV = Pr^L. That would have the possibly noteworthy consequence that any “oo-vector bundle” XVX \to V then necessarily embeds into an (,1)(\infty,1)-category bundle XV(,1)CatX \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 (,1)Cat(\infty,1)Cat or Grpd\infty Grpd (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 ;-)

    • CommentRowNumber139.
    • CommentAuthorzskoda
    • CommentTimeApr 27th 2010
    • (edited Apr 27th 2010)

    Do 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 ?

    • CommentRowNumber140.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 27th 2010

    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.

    • CommentRowNumber141.
    • CommentAuthorzskoda
    • CommentTimeApr 27th 2010

    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.

    • CommentRowNumber142.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2010

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

    • CommentRowNumber143.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 27th 2010
    • (edited Apr 27th 2010)

    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?

    • CommentRowNumber144.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2010

    yes, yes.

    • CommentRowNumber145.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 28th 2010
    • (edited Apr 28th 2010)

    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 nn complex vector bundle on a topological space XX, fix a point xx in XX and a linear isomorphism E x nE_x\equiv \mathbb{C}^n. then these data naturally give a reresentation π 1(X,x)GL(n;)\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 G=Top(S 1,G)\mathcal{L}\mathcal{B}G=\mathbf{Top}(S^1,\mathcal{B}G) described in posts #126 and #127 above. the fiber over a point xx in G\mathcal{L}\mathcal{B}G is a 2-vector space 𝒞 x\mathcal{C}_x isomorphic to Mod=Vect \mathbb{C}Mod=Vect_{\mathbb{C}}. since the bundle 𝒞\mathcal{C} is 2-flat, it carries a representation of Π 2(G)\Pi_2(\mathcal{L}\mathcal{B}G). more explicitly, for every point xx in G\mathcal{L}\mathcal{B}G we have a 2-vector space 𝒞 x\mathcal{C}_x, for any path g:xyg:x\to y an additive functor F g:𝒞 x𝒞 yF_g:\mathcal{C}_x\to \mathcal{C}_y, and for every 2-simplex with edges g,hg,h and hghg a natural transformation between F hF gF_h\cdot F_g and F hgF_{hg}.

    then, a section of 𝒞\mathcal{C} will consist in a morphism of representations of Π(G)\Pi(\mathcal{L}\mathcal{B}G) from the trivial Vect Vect_{\mathbb{C}}-bundle to 𝒞\mathcal{C}. that is, for any 2-simplex in 𝓁G\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,zx,y,z the three vertices of the 2-simplex, by g,hg,h and hghg 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 Vect_{\mathbb{C}};

    2) on the three vertices in the “bottom” base of the prism we have 𝒞 x\mathcal{C}_x, 𝒞 y\mathcal{C}_y and 𝒞 z\mathcal{C}_z;

    3) on the three “vertical” edges of the prism we have additive functors M x:Vect 𝒞 xM_x: Vect_{\mathbb{C}}\to \mathcal{C}_x and similarly for yy and zz (since Vect Vect_{\mathbb{C}} is additively generated by \mathbb{C}, one can think of M xM_x as the datum of an object in 𝒞 x\mathcal{C}_x, and similarly for yy and zz).

    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 gF_g, F hF_{h} and F hgF_{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 hF gF_h\cdot F_{g} and F hgF_{h g}

    8) on the square corresponding to the edge gg in the original 2-simplex we have a natural transformation σ g:M yF gM x\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=zx=y=z and fix an isomorphism between 𝒞 x\mathcal{C}_x and Vect Vect_{\mathbb{C}}, then these data correspond to:

    3’) a \mathbb{C}-vector space VV

    5’) \mathbb{C}-vector spaces W gW_g, W hW_h and W hgW_{h g}

    7’) an isomorphism ϕ g,h:W hgW hW g\phi_{g,h}:W_{h g}\to W_h\otimes W_g

    8’) isomorphisms σ g:VW gV\sigma_g:V\to W_g\otimes V, σ h:VW hV\sigma_h:V\to W_h\otimes V and σ hg:VW hgV\sigma_{h g}:V\to W_{h g}\otimes V such that the diagram

    V σ hg W hgV σ h ϕ h,gId W hV Idσ g W hW gV \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.

    • CommentRowNumber146.
    • CommentAuthorUrs
    • CommentTimeApr 28th 2010

    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 BimodBimod. Use the inclusion BiMod2VectBiMod \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 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!

  15. 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!

    • CommentRowNumber148.
    • CommentAuthorUrs
    • CommentTimeApr 28th 2010

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

  16. 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 :)

    • CommentRowNumber150.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)

    so, let us work out trivial bibranes today. for each positive integer nn, let n\mathbf{n} be the set n={1,2,,n}\mathbf{n}=\{1,2,\dots,n\}. for every such nn, we can look at k nk^n as to a (trivial) rank 1 kk-vector bundle over n\mathbf{n}. now consider the span of sets nn×mm\mathbf{n}\leftarrow \mathbf{n}\times\mathbf{m}\rightarrow \mathbf{m}, where the two arrows are the two projections π 1\pi_1 and π 2\pi_2. then on the set n×m\mathbf{n}\times\mathbf{m} we have two line bundles: π 1 *(k n)\pi_1^*(k^n) and π 2 *(k m)\pi_2^*(k^m). the set of (n,m)(\mathbf{n},\mathbf{m})-bibranes over kk is the set of morphisms of vector bundles Hom(π 1 *(k n),π 2 *(k m))Hom(\pi_1^*(k^n),\pi_2^*(k^m)). note that, since both π 1 *(k n)\pi_1^*(k^n) and π 2 *(k m)\pi_2^*(k^m) are trivial line bundles over n×m\mathbf{n}\times\mathbf{m}, any such a morphism is a map n×mk\mathbf{n}\times \mathbf{m}\to k, i.e., a set (x i j)(x_i^j) of elements of kk with two indices i,ji,j ranging between 11 and mm and 11 and nn 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 nk^n to n\mathbf{n} correspond to considering the functor k:𝕟Vect kk:\mathbb{n}\to Vect_k which maps each object i{1,2,,n}i\in\{1,2,\dots,n\} to kk (here we are considering n\mathbf{n} as a trivial category), and the set of (n,m)(\mathbf{n},\mathbf{m})-bibranes over kk is nothing but the set of natural transformations between kπ 1k\cdot \pi_1 and kπ 2:n×mVect kk\cdot \pi_2:\mathbf{n}\times\mathbf{m}\to Vect_k.

    assume now an (n,m)(\mathbf{n},\mathbf{m})-bibrane (x j i)(x^i_j) and an (m,k)(\mathbf{m},\mathbf{k})-bibrane are given. then we have the following diagram of functors with natural transformations

    n×m m×k x y n m k Vect k \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

    (n×m)× m(m×k) n×m m×k x y n m k Vect k \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 ϕ(x,y)\phi(x,y) between the composition of the left edges and the composition of the right edges; but it is not an (n,k)(\mathbf{n},\mathbf{k})-bibrane over kk, since the top vertex is not n×k\mathbf{n}\times \mathbf{k}. however, there’s a natural map (n×m)× m(m×k)n×k(\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 (n,k)(\mathbf{n},\mathbf{k})-bibrane z=yxz=y\cdot x over kk. the natural transformation zz will be a collection of elements z l iz^i_l of kk, and since zz is given by a push-forward, these will be given by integration along the fibres of (n×m)× m(m×k)n×k(\mathbf{n}\times \mathbf{m})\times_{\mathbf{m}}(\mathbf{m}\times \mathbf{k})\to\mathbf{n}\times \mathbf{k}. explicitly

    z j i=y l ix j l z^i_j=y^i_l x^l_j

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

    z j i= j=1 my l ix j l, 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..)

    • CommentRowNumber151.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2010

    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…

    • CommentRowNumber152.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)

    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 QQ-bibrane (i.e. a bibrane with QQ on top) and a QQ'-bibrane you naturally get a Q× t,sQQ\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 QQ; this way from two QQ-branes you get a Q× t,sQQ\times_{t,s}Q-brane and pushing this forward along Q× t,sQQQ\times_{t,s}Q\to Q you get a QQ-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 QQ’s, then the fusion of a QQ-bibrane with a QQ'-brane is a Q× t,sQQ\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 QQ, then the fusion of a QQ-bibrane with a QQ-brane is a QQ-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 QQ and a QQ-module MM, i.e., an object with a morphism Q× t,sMMQ\times_{t,s}M\to M with the axioms of module satisfied. in this setting we would have a natural action of QQ-bibranes on MM-branes, and this seems to be a convenient framework to work with. what do you think?

    • CommentRowNumber153.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)

    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” *B* * \to \mathbf{B} \mathbb{Z} \leftarrow * into the target space BG\mathbf{B}G to get [*B*,BG]=(BG)ΛGBG)[* \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.

    • CommentRowNumber154.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)

    yes. let us work out the charged particle example.

    here the geometric datum is a manifold XX endowed with avector bundle EE with a connection \nabla. our monad is the space 𝒫 1(X)\mathcal{P}_1(X) of paths from [0,1][0,1] to XX, or, more precisely, the span Xev 0𝒫 1(X)ev 1XX\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 *XIdX*\leftarrow X\stackrel{Id}{\to}X. the action of the monad on the module is (x,γ)γ(1)(x,\gamma)\mapsto \gamma(1), where xx is a point in XX and γ\gamma is a path in XX with γ(0)=x\gamma(0)=x.

    now look at branes and bibranes. considering the vector bundle EE as a functor E:XVect E:X\to Vect_\mathbb{C} (the source category is XX, we are not considering the connection here) branes

    X Id * X E Vect \array{ &&X&& \\ &\swarrow&&\searrow^{Id}& \\ *&&\Rightarrow&&X \\ &\searrow&&\swarrow_E& \\ &&Vect_{\mathbb{C}}&& }

    are sections of EXE\to X. holonomy of the connection \nabla along path in XX is a morphis of bundles over 𝒫 1(X)\mathcal{P}_1(X), namely, it is a morphism of bundles between ev 0 *Eev_0^*E and ev 1 *Eev_1^*E. so it is a bibrane

    𝒫 1(X) ev 0 ev 1 X X E E Vect \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

    X× Id,ev 0𝒫 1(X) ev 1 * X E Vect \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× Id,ev 0𝒫 1(X)ev_1:X\times_{Id,ev_0}\mathcal{P}_1(X) we finally obtain an XX-brane, i.e., a section of EE. this way bibrane action maps a section of EE to another section of EE. 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× Id,ev 0𝒫 1(X)Xev_1:X\times_{Id,ev_0}\mathcal{P}_1(X)\to X, so the value of σ˜\tilde{\sigma} at a point yy in XX is given by

    σ˜(y)= Xdx γ:xydγHol (γ)σ(x). \tilde{\sigma}(y)=\int_X d x \int_{\gamma:x\to y}d\gamma Hol_\nabla(\gamma)\sigma(x).

    :)

  17. so, in general it seems all we need is a pushforward. more precisely, if we adopt the “MM is a QQ-module” formalism, what we need is a pushforward between M× t,sQM\times_{t,s}Q-branes and MM-branes induced by the module structure morphism M× t,sQMM\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.

    • CommentRowNumber156.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2010
    • (edited Apr 29th 2010)

    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) \infty-groupoids. An \infty-groupoid XX corresponds to the number [x]π 0(X) n=1 π n(X,x) (1) n\sum_{[x] \in \pi_0(X)} \prod_{n = 1}^\infty \pi_n(X,x)^{(-1)^n}, if that exists.

    So replace Vect Vect_{\mathbb{C}} with Pr(,1)CatPr(\infty,1)Cat (the symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories). In there Grpd\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” XPr(,1)CatX \to Pr(\infty,1)Cat that assigns Grpd\infty Grpd to every point.

    The linear maps GrpdGrpd\infty Grpd \to \infty Grpd are colimit preserving functors. Since every object in Grpd\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=*1 = *, hence is entirely determined by an \infty-groupoid cc itself.

    ()×c:GrpdGrpd. (-) \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 cc on the unit 1 as

    ()c:. (-) \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

    K X f X Pr(,1)Cat \array{ && K \\ & \swarrow && \searrow \\ X &&\stackrel{f}{\Rightarrow}&& X \\ & \searrow && \swarrow \\ && Pr(\infty,1)Cat }

    and

    K X g X Pr(,1)Cat \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(,1)CatPr(\infty,1)Cat we use VectVect.

    So if we take for simplicity E:XPr(,1)CatE : X \to Pr(\infty,1)Cat to be the trivial line bundle, i.e. the functor constant on the object Grpd\infty Grpd then the components of ff and gg will be ovber each point xXx \in X a linear map

    ()×f x:E xE x (-) \times f_x : E_x \to E_x

    and

    ()×g x:E xE x. (-) \times g_x : E_x \to E_x \,.

    But these now have transformations between them

    η:fg \eta : f \Rightarrow g

    Think about the naturality condition for these transformations: over f:abf : a \to b a morphism in Grpd\infty Grpd the component is

    a a×f x η x(a) a×g x f b b×f x η x(b) b×g x. \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 xg xh_x : f_x \to g_x and setting η x(a):=Id a×h x\eta_x(a) := Id_a \times h_x.

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

    X * X Pr(,1)Cat \array{ && X \\ & \swarrow && \searrow \\ {*} &&\stackrel{}{\Rightarrow}&& X \\ & \searrow && \swarrow \\ && Pr(\infty,1)Cat }

    to that of bibranes of the form

    P 1(X) * X Pr(,1)Cat \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)Xs : 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 xg_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.

    • CommentRowNumber157.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 30th 2010
    • (edited Apr 30th 2010)

    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 t:X×Id,s𝒫 1(X)Xt:X\times{_Id,s}\mathcal{P}_1(X)\to X rather than along s:𝒫 1(X)Xs:\mathcal{P}_1(X)\to X.

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

    • CommentRowNumber158.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2010

    But X× Id,s𝒫 1(X)X \times_{Id, s} \mathcal{P}_1(X) is just 𝒫 1(X)\mathcal{P}_1(X).

    • CommentRowNumber159.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2010

    On the other hand, elsewhere we said that the right internal analog of VectVect, 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 ×(CartSp,Grpd) opC := Func_{\times}(CartSp,\infty Grpd)^{op}, and then let Mod:C opPr(,1)Cat(,1)CatMod : C^{op} \to Pr(\infty,1)Cat \hookrightarrow (\infty,1)Cat be the stack classifying its tangent (,1)(\infty,1)-category fibration.

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

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

    • CommentRowNumber160.
    • CommentAuthorEric
    • CommentTimeApr 30th 2010

    But X× Id,s𝒫 1(X)X \times_{Id, s} \mathcal{P}_1(X) is just 𝒫 1(X)\mathcal{P}_1(X).

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

    • CommentRowNumber161.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 30th 2010
    • (edited Apr 30th 2010)

    But X× Id,s𝒫 1(X)X \times_{Id, s} \mathcal{P}_1(X) is just 𝒫 1(X)\mathcal{P}_1(X).

    sure, I was enjoying so much the M× t,sQMM\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 ρ:M×t,sQM\rho:M\times{t,s}Q\to M induces a map ρ *\rho^* between MM-branes and M× t,sQM\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 ρ !:M× t,sQ-branesM-branes\rho_!:M\times_{t,s}Q\text{-branes}\to M\text{-branes}. this would be the pushforward. yes, it could work like this.

  18. 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 π:YX\pi:Y\to X and two vector bundles EE amd FF over XX. finally, let f:π *Eπ *Ff:\pi^*E\to\pi^*F be a morphism of bundles over YY. for any xXx\in X, let Y xY_x be the fibre of π\pi over xx. these are our data. then, for every yY xy\in Y_x, the morphis ff gives a morphism f y:E xF yf_y:E_x\to F_y, i.e. an element of the vector space Hom(E x,F x)Hom(E_x,F_x). therefore, if Y xY_x comes equipped with a measure, we can integrate ff on the fibre Y xY_x and get a morphism (π !f) x:E xF x(\pi_!f)_x:E_x\to F_x. the collection of these gives a morphism of bundles over XX, π !f:EF\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..)

    • CommentRowNumber163.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2010

    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.

    • CommentRowNumber164.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 1st 2010
    • (edited May 1st 2010)

    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.

  19. 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.. :) )

    • CommentRowNumber166.
    • CommentAuthorUrs
    • CommentTimeMay 2nd 2010
    • (edited May 2nd 2010)

    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.

    • CommentRowNumber167.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 3rd 2010
    • (edited May 3rd 2010)

    I’m now working on the following toy example: a 1-dimensional TQFT out of a finite rank flat vector bundle EE on X=GX=\mathcal{B}G with GG a finite group. In order to forget orientability issues, assume further an equivariant inner product on EE is defined: given two vectors v xv_x and w xw_x in the fibre E xE_x and a path γ:xy\gamma:x\to y, one has hol(γ)v x|hol(γ)w x y=v x|w x x\langle hol(\gamma)v_x|hol(\gamma)w_x\rangle_y=\langle v_x|w_x\rangle_x. A pairing E xE yE_x\otimes E_y\to \mathbb{C} is then defined for any path γ:xy\gamma:x\to y as v x|v y γ=hol(γ)v x|v y y\langle v_x|v_y\rangle_\gamma=\langle hol(\gamma)v_x|v_y\rangle_y.

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

    v|w= γ:[0,1]G)v(γ(0))|w(γ(1)) γdγ. \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 φ:VV\varphi:V\to V associated with the 1-manifold [0,1][0,1] is

    (φ(v))(y)= Gdx γ:xyhol(γ)v(x)dγ. (\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 1S^1 is

    d= Gtr(hol(γ))dγ. d=\int_{\mathcal{L}\mathcal{B}G} tr(hol(\gamma)) d\gamma.

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

    • CommentRowNumber168.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 3rd 2010
    • (edited May 3rd 2010)

    1) is VV finite dimensional? sure: fix a point xx in XX, and let E xE_x be the fibre of EE at xx. the holonomy action of G=π 1(X,x)G=\pi_1(X,x) gives a representation ρ\rho of GG on E xE_x. evaluation at xx, ev x:VE xev_x:V\to E_x induces an isomorphims between VV and E x GE_x^G, the subspace of GG-invariant elements of E xE_x. since E xE_x is finite dimensional, so is VV.

    2) is φ\varphi the identity operator? this is trivial: since vv is a flat section, hol(γ)v(x)=v(y)hol(\gamma)v(x)=v(y) for any γ:xy\gamma:x\to y. so the forula for φ(v)\varphi(v) reduces to

    (φ(v))(y)=v(y) Gdx γ:xydγ (\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 G γ:xydγ=1\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 {γ:xy}\{\gamma:x\to y\} (with fixed xx and yy) is the sum over π 0({γ:xy})\pi_0(\{\gamma:x\to y\}) with the point [γ][\gamma] weighted by i=1 |π i(Maps([0,1],G),γ)| (1) i\prod_{i=1}^\infty|\pi_i(Maps([0,1],\mathcal{B}G),\gamma)|^{(-1)^i}. Since the space G\mathcal{B}G is a 1-type, this weight is 1, and integration over {γ:xy}\{\gamma:x\to y\} produces a factor |π 0({γ:xy})|=|π 1(G,x)|=|G||\pi_0(\{\gamma:x\to y\})|=|\pi_1(\mathcal{B}G,x)|=|G|. similarly, integration over G\mathcal{B}G is the sum over a single point (the space G\mathcal{B}G is connected) weighted by the weight 1/|π 1(G,x)|=1/|G|1/|\pi_1(\mathcal{B}G,x)|=1/|G|. In the end Gdx γ:xydγ=1\int_{\mathcal{B}G}dx \int_{\gamma:x\to y} d\gamma=1, as we wanted.

    3) is dd the dimension of VV? of course: since G\mathcal{B}G is connected, π oG=π 0{γ:S 1G}=[S 1,G]\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 π 1(G,x)\pi_1(\mathcal{B}G,x) by the adjoint action on itself. in other words, the groupoid G\mathcal{L}\mathcal{B}G (the free loop speace on G\mathcal{B}G) we are integrating on is equivalent to the action groupoid G// AdGG//_{Ad}G. so we have a point for every element of GG, and each point is weighted by the weight 1/|G|1/|G|. the trace of the holonomy of γ\gamma can be computed fixing an arbitrary basepoint, so we can chose xx as basepoint; what we are then computing are the traces of the operators ρ g:E xE x\rho_{g}:E_x\to E_x, where gg is an element of GG and ρ\rho is the holonomy representation of GG on E xE_x. we therefore find

    d=1|G| gGtr(ρ g). d=\frac{1}{|G|}\sum_{g\in G}tr(\rho_g).

    now open your favourite book on representations of finite groups…

    • CommentRowNumber169.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2010

    I’m now working on the following toy example: a 1-dimensional TQFT out of a finite rank flat vector bundle EE on X=GX = \mathcal{B}G with GG 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 G\mathcal{B}G is classified by GU(1)\mathcal{B}G \to \mathcal{B} U(1) which is – an group character.

    is VV finite dimensional? sure:

    Yes, I guess you can shortcut your argument a little by explicitly fixing the model *//G*//G for G\mathcal{B}G from the beginning. The vector bundle associated to our clssifying map GU(1)ρVect\mathcal{B}G \to \mathcal{B}U(1) \stackrel{\rho}{\to} Vect is just the action groupoid E//GE//G of the vector space EE on which ρ\rho represents by this induced action of GG, and the projection map E//GG=*//GE//G \to \mathcal{B}G = *//G just forgets all the vectors and just remembers the GG-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?

  20. Yes, I guess you can shortcut your argument a little by explicitly fixing the model *//G*//G for G\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 G\mathcal{B}G is classified by GU(1)\mathcal{B}G \to \mathcal{B}U(1)

    I would say this for line bundles rathere than vector bundles, which should be classified by GU(N)\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 xx to a fixed point yy. one splits the integration into a two-steps integration: one over xx and one over paths from xx to yy with both endpoints fixed.

    • CommentRowNumber171.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2010

    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 G\mathcal{B}G?

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

  21. Okay, but what is a path here? A continuous map from the interval to the topological space G\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.

    • CommentRowNumber173.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2010

    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. ;-)

    • CommentRowNumber174.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 4th 2010
    • (edited May 4th 2010)

    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

    Gtr(hol(γ))dγ \int_{\mathcal{L}\mathcal{B}G} tr(hol(\gamma)) d\gamma

    also directly using the Leistner measure on G\mathcal{L}\mathcal{B}G, without realizing it as G// AdGG//_{Ad}G. namely, π 0G\pi_0\mathcal{L}\mathcal{B}G is the set of conjugacy classes of GG and, as noticed in #119, if f:S 1Gf:S^1\to \mathcal{B}G is a representative of the conjugacy class of gg, then the connected component of ff in G\mathcal{L}\mathcal{B}G is a 1-type, with fundamental group π 1(G,f)=C g\pi_1(\mathcal{L}\mathcal{B}G,f)=C_g, the centralizer of gg in GG. therefore

    Gtr(hol(γ))dγ= [g]1|C g|tr(ρ g). \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.. :-) )

    • CommentRowNumber175.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2010

    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.

  22. 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 U(1)\mathcal{B}U(1) and in 2U(1)\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 :-)

    • CommentRowNumber177.
    • CommentAuthorEric
    • CommentTimeMay 4th 2010

    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 :)

  23. 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 :Fam n(C)C\int:Fam_n(C)\to C does to kk-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?

    • CommentRowNumber179.
    • CommentAuthorEric
    • CommentTimeMay 4th 2010

    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!).

    • CommentRowNumber180.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2010

    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 U(1)\mathcal{B}U(1) and in 2U(1)\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 G\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 Grpd\infty Grpd to something like Sh (,1)(CartSp)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.

    • CommentRowNumber181.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2010

    “what exactly the functor :Fam n(C)C\int:Fam_n(C)\to C does to kk-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.

  24. 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 :-)

    • CommentRowNumber183.
    • CommentAuthorBruce
    • CommentTimeMay 5th 2010

    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.

    • CommentRowNumber184.
    • CommentAuthorBruce
    • CommentTimeMay 5th 2010

    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..?

    • CommentRowNumber185.
    • CommentAuthorUrs
    • CommentTimeMay 5th 2010

    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.

  25. 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 :-) )

    • CommentRowNumber187.
    • CommentAuthorBruce
    • CommentTimeMay 6th 2010

    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.

  26. 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 S 1S^1, and even better in terms of representations of 3Cob 23Cob_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 GG is a finite group, the target G\mathcal{B}G is on the categoical side the delooped groupoid BG\mathbf{B}G, and on the complex analytic side the stack *//G*//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 ¯ g,n,d(*//G)\overline{\mathcal{M}}_{g,n,d}(*//G) (in particular, I would expect projectively flat vector bundles on ¯ g,n\overline{\mathcal{M}}_{g,n} to arise as pushforwards of flat line bundles on ¯ g,n,d(*//G)\overline{\mathcal{M}}_{g,n,d}(*//G) along the natural projection ¯ g,n,d(*//G)¯ g,n\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)

    • CommentRowNumber189.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 10th 2010
    • (edited May 10th 2010)

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

    • CommentRowNumber190.
    • CommentAuthorBruce
    • CommentTimeMay 10th 2010

    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?

  27. 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!

    • CommentRowNumber192.
    • CommentAuthorUrs
    • CommentTimeMay 10th 2010
    • (edited May 10th 2010)

    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 π k[Π(X nk),B nU(1)]U(1)\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;

    2. it seems to me something is missing in your discussion after that, since you describe a kk-vector bundle on the space of phases [Π(X nk),B nU(1)][\Pi(X_{n-k}), \mathbf{B}^n U(1)] while you should describe one on the space of fields [Π(X nk),BG][\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

    [Π(X nk),ρ]:[Π(X nk),BG][Π(X nk),B nU(1)]. [\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 [Π(X nk),B nU(1)]B kU(1)[\Pi(X_{n-k}), \mathbf{B}^n U(1)] \simeq \mathbf{B}^k U(1). This means that the transgression of the background field

    α:BGB nU(1) \alpha : \mathbf{B}G \to \mathbf{B}^n U(1)

    to the space of field configurations [Π(X nk),BG][\Pi(X_{n-k}), \mathbf{B}G] over X nkX_{n-k} is a cocycle

    [Π(X nk),α]:[Π(X nk),BG]B kU(1). [\Pi(X_{n-k}), \alpha] : [\Pi(X_{n-k}), \mathbf{B}G] \to \mathbf{B}^k U(1) \,.

    This classifies a B k1U(1)\mathbf{B}^{k-1} U(1)-principal infinity-bundle PP over the space of field configurations, given by the pullback

    P EB k1U(1) [Π(X nk),BG] [Π(X nk),ρ] B kU(1). \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 ρ:B kU(1)kVect \rho : \mathbf{B}^k U(1) \to k Vect_{\mathbb{C}} we have associated to this canonically a kk-vector bundle EE, which is the pullback

    E kVect * [Π(X nk),BG] ρ[Π(X nk),ρ] kVect. \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 nkX_{n-k} is closed then the kk-vector spaces associated by the TFT to X nkX_{n-k} is the space of sections of this bundle EE.

  28. 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 :)

    • CommentRowNumber194.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)

    by the way, I feel

    By the universal coefficient theorem we find that [Π(X nk),B nU(1)]B kU(1)[\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 [Π(X nk),B nU(1)] kB kU(1)[\Pi(X_{n-k}), \mathbf{B}^n U(1)]_k \simeq \mathbf{B}^k U(1), where the subscript kk on the left hand side denotes the kk-truncation.

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

    • CommentRowNumber195.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)

    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 [Π(X nk),B nU(1)]B kU(1)[\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 [Π(X nk),B nU(1)][\Pi(X_{n-k}), \mathbf{B}^n U(1)]!

    • CommentRowNumber196.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)

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

    π i[Π(X nk,B nU(1)]H ni(X nk,U(1)). \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

    0Ext 1(H ni1(X nk,),U(1))H ni(X nk,U(1))Hom(H ni(X nk,),U(1))0. 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)U(1) is an injective \mathbb{Z}-module, Ext 1(,U(1))=0Ext^1(-,U(1))=0 and so we have an isomorphism

    H ni(X nk,U(1))Hom(H ni(X nk,),U(1)) H^{n-i}(X_{n-k},U(1))\simeq Hom(H_{n-i}(X_{n-k},\mathbb{Z}),U(1))

    For i<ki\lt k, the right hand side is zero, and so π i[Π(X nk,B nU(1)]=0\pi_i[\Pi(X_{n-k},\mathbf{B}^n U(1)]=0 for i<ki\lt k. For i=ki=k, instead, H ni(X nk,)H_{n-i}(X_{n-k},\mathbb{Z})\simeq \mathbb{Z}, since X nkX_{n-k} is a closed (nk)(n-k)-manifold and so π k[Π(X nk,B nU(1)]U(1)\pi_k[\Pi(X_{n-k},\mathbf{B}^n U(1)]\simeq U(1). After this point homotopy groups of [Π(X nk,B nU(1)][\Pi(X_{n-k},\mathbf{B}^n U(1)] does not seem to vanish, since X nkX_{n-k} has nontrivial homology in degrees [0,nk1][0,n-k-1].

    • CommentRowNumber197.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2010

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

    • CommentRowNumber198.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)

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

    Very nice, this argument that τ k[Π(X nk),B nU(1)]B kU(1)\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.

    • CommentRowNumber199.
    • CommentAuthorTim_Porter
    • CommentTimeMay 11th 2010

    @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.

    • CommentRowNumber200.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)

    @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.