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

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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 19th 2011
    • (edited Apr 19th 2011)

    I have been working on the entry twisted bundle.

    Apart from more literature, etc. I have started typing something like a first-principles discussion: first a general abstract definition from twisted cohomology in any cohesive -topos, then unwinding this in special cases to obtain the traditional cocycle formulas found in the literature.

    Needs more polishing here and there, but I have to pause now.

  1. I was thinking of the following: if we think of as the 0-category of 0-Vector spaces, then a function X can be thought of as a 0-vector bundle. Then, if a cocycle c:XBU(1) is given, we can use it to define c-twisted functions from X to . these are a very calssical object: they are the sections of the line bundle on X associated with the cocycle c and the standard representation of U(1) on mahtbbC, which we can think of as the standard morphism BU(1)Vect.

    Then we can go one step higher: we look at a 1-vector bundle on X as to a morphism XVect, we take a cocycle c:XB2U(1), and use it to define c-twisted morphisms from X to Vect. these are c-twisted bundles which, by analogy with the previous case, should be interpreted as sections of the 2-vector bundle on X associated with the cocycle c and something which should be the the standard morphism B2U(1)2Vect.

    In particular we should have that the sections of the 2-line bundle XB2U(1)2Vect are a 2-vector space, just as the sections of a 1-line bundle are a vector space. this is relevant for Dijkgraaf-Witten theory, where one has a natural morphism BGB2U(1) induced by the 3-cocycle BGB3U(1) defining the theory.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2011

    Yes, absolutely. For

    α:XBnU(1)nVect

    a line n-bundle and

    1:XBnU(1)nVect

    the trivial such, an α-twisted (n1)-vector bundle is a transformation

    V:1α.

    For n=1 V is precisely a section of an ordinary line bundle. For n=2 V is precisely a twisted bundle with twist the given gerbe/circle 2-bundle.

    By the general recursive definition of n-vector space, we have that the objects of nVect are algebra objects in (n1)Vect and the morphisms are bimodule objects in (n1)Vect. Therefore the components of the transformation V over xX are 1-α(x)-bimodules, in (n1)Vect. So from the left they look just like 1-modules hence just like ordinary objects in (n1)Vect. In this way the section of an n-vector bundle is itself a twisted (n1)-vector bundle.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2011
    • (edited Jun 2nd 2011)

    By the way, let me just remind us that in this kind of game it is good to keep the full generalization by Ando-Gepner-Blumberg in mind. It’s really very beautiful and , in fact, very simple.

    I was just reminded of that in the context of the discussion of Thom spectra elsewhere: in their definition 4.1 they identify the “spectrum of twisted A-bundles” with the Thom spectrum of the twisting A-line bundle.

    I need to better understand this. This should be deep and important.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2011

    A great place to look at is the companion article

    • CommentRowNumber6.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJun 2nd 2011
    • (edited Jun 2nd 2011)

    Hi Urs,

    thanks for feedback. when you have time could you expand on the definition of the natural morphism BnU(1)nVect, for n=2,3?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2011
    • (edited Jun 2nd 2011)

    By iteration the top morphisms of nVect are morphisms between ordinary vector spaces (which are bimodule objects between algebra objects in algebra objects in etc. )

    SInce BnU(1) is n-connected, any functor BnU(1)nVect necessarily hits in degree n endomorphisms of the 1-dimensional vector space . Take these to be the evident ones, the standard representation of U(1) on . This will then also constiture 1-1-bimodule homorphisms.

    So for n=2 it looks like this:

    ρ:B2U(1)2Vect

    is given by

    (Id*c*Id)(()c)
  2. clear, thanks. I think I prefer the equivalent simplicial version (just a matter of taste):

    (*c**)(c)

    (where the canonical isomorphism is implicitly used). so now I just need to work out the morphism B3U(1)B2U(1) to make my mind completely clear on the 2-vector space the Dijkgraaf-Witten model associates with S1.

    • CommentRowNumber9.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJun 3rd 2011
    • (edited Jun 3rd 2011)

    mmm… actually, rather than looking at the loop space, the first object to be considered should be the 3-vector space of sections of the line 3-bundle BGB3U(1)3Vect: this should coincide with the category Vectτ[G] considered in section 4.2 of Topological Quantum Field Theories from Compact Lie Groups

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJun 3rd 2011
    • (edited Jun 3rd 2011)

    Yes, where the 3-vector space of sections is the 3-colimit over that 3-functor.

    By the way, it is maybe remarkable what happens to this statement as we replace 3-vector spaces by what I guess may be called (3,1)-vector spaces or more generally (,1)-vector spaces, so if instead of using

    3Vect((kMod)Mod)Mod

    for k a ring, we’d use KMod for K an -ring. (That’s of course a drastic change, but let’s just consider it for a minute, just to see what happens.)

    Because then we are in the situation of def. 2.22 here, and so that colimit is then the Thom spectrum of the background gauge field.

    So there is some interesting connection here. I need to better understand this.

    I keep thinking that an interesting sort-of-toy case that would be useful to look at is -dimensional extended QFT. Since Bord is in fact a symmetric monoidal -groupoid, in fact the universal Thom spectrum MO, or rather the space ΩMO underlying it, it should be true that in this case it is okay to work entirely in spectra, hence to use (,1)-vector spaces as above instead of (,n)-vector spaces. I guess.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 4th 2011
    • (edited Jun 4th 2011)

    For emphasis, let me expand on this a little.

    By Twists of K-theory and TMF we know that we have canonical representation on “(,1)-lines”

    B2U(1)BGL1KU

    and

    B3U(1)BGL1tmf

    This is in terms of discrete -groupoids. But at least for the first one we know how to refine this to smooth -groupoids, I think. Not for the second, though.

    In any case, it makes sense to regard

    ΠXB2U(1)BGL1KUKUMod

    as an associated/linearized version of a background field for a 2-dimensional σ-model, and

    ΠXB3U(1)BGL1tmftmfMod

    as the associated/linearized version of a background field for a 3-dimensional σ-model. In some sense.

  3. the 3-vector space of sections is the 3-colimit over that 3-functor.

    shouldn’t global sections be a limit rather than a colimit? I know in Topological Quantum Field Theories from Compact Lie Groups there is an ubiquitous presence of colimits, but they also write (above remark 3.10): “To guarantee that this formula describes a well-defined functor from Famn(𝒞)𝒞, we need to make certain assumptions on 𝒞: namely, that it is additive in a strong sense which guarantees that the colimit limxXχ(x) exists and coincides with the limit limxXχ(x)

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJun 4th 2011

    Yes, exactly. So the colimit computes “dual sections” (for a vector bundle: not morphisms from the trivial line bundle to the vector bundle, but the other way round) and under suitable finiteness assumptions that’s isomorphic to genuine sections.

  4. for eventual future reference and pasting into nLab let me sketch here the description of a global section of a line 2-bundle α:BGB2U(1)2Vect. Since BGG//AdG, a natural transformation from the trivial line 2-bundle to the given line 2-bundle is the datum, for every xG of a --bimodule (aka complex vector space) Wx, together with morphisms φg,x:WxWgxg1 for any g in G, such that

    φh,gxφg,x=αx(g,h)φhg,x

    which (with slightly different notations) is the 2-vector space described in proposition 4.9 of Topological Quantum Field Theories from Compact Lie Groups

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2011

    Yes, and we can say more: the 2-cocycle α(,) is the transgression of the 3-cocycle BGB3U(1) to loops, which is literally given by the internal hom out of the circle. That’s this prop. 9.1 in my article with Zoran here.

    So this means that the 2-vector bundle on BG that you are looking at above is exactly the one obtained by the 3-bundle on BG by our abstract transgression formula at infinity-Chern-Simons theory (schreiber).

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2011
    • (edited Jun 5th 2011)

    Hey Domenico,

    I am still absorbed with looking into string topology, and its realization as an HQFT – that’s why I have to be postponing other tasks, such as working on our article and joining in your activity here more forcefully.

    But, similarly to my indication above, I think there is an interesting relation to the discussion here:

    As you know, what is called “string topology” is some kind of sigma-model for target space a smooth oriented compact manifold X. In order to make this precise, one needs to say what the background field is. Now, this must be such that its space of sections is the homology of X.

    But let’s say this in a more complicated/general way to work out the structure implied here: as I was wondering about the other day but as luckily Cohen and Godin already noticed in 2004 in their A polarized view of string topology (right at the beginning) we can think of string topology as having “spaces of states” given by any generalized (co)homology theory, if only it is oriented over the given manifold.

    So ket K be some ring spectrum with this orientability property over X. Using the work on twisted generalized cohomology mentioned above, we then have this statement:

    string topology on X has as background field the trivial K-line bundle

    constK:XKLineKMod

    hence its space of states over the point, the space of sections of constK, is the space of K-chains on X: K (co)-homology. (Give or take some shift in degree, possibly).

    Or maybe (co)homology instead of (co)chains. Present technology only constructs string topology as a QFT in (co)homology. Lurie at the end of his TFT article roughly indicates that there should be a chain version. He mentions that this should be twisted by a 2-gerbe = circle 3-bundle, but gives no indication which that should be. But so maybe for the chain-level story the background field is rather some nontrivial

    XB3U(1)KLineKMod

    and then states are the sections of that, hence the corresponding “twisted K-bundles” (hence the connection to the discussion here).

    Sorry, a bit telegraphic. Need to go offline now.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2011
    • (edited Jun 6th 2011)

    I have another minute now. I can say the above again much shorter and more systematically:

    By theorem 4.5 of Ando-Blumberg-Gepner (here) we have the following:

    for XSLine the trivial S-line bundle (S the sphere spectrum), A any ring spectrum and

    α:XSLineALineAMod

    the corresponding trivial “A--vector bundle” we have that the A-(,1)-vector space of sections of α is

    limα(Σ+dimXX)SA.

    This is indeed the A-homology spectrum of X, whose homology groups are the A-homology groups of X

    H(X,A)=π(ΣXSA)

    (see also p. 14).

    So we have:

    • for a trivial background field (,1)-vector bundle over an -ring A;

    • the (,1)-vector space of states of the corresponding σ-model is the space of the corresponding (trivially-twisted) twisted -bundles, which is the A-homology spectrum of X, hence the space of states of the A-string topology HQFT.

    (There may be shifts in degree by dimX in this story that I am not properly accounting for here.)

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2011

    I have now written this out in a little bit more detail in a new entry (infinity,1)-vector bundle.

  5. Yes, and we can say more: the 2-cocycle α(,) is the transgression of the 3-cocycle BGB3U(1) to loops, which is literally given by the internal hom out of the circle. That’s this prop. 9.1 in my article with Zoran here.

    Yes, that’s exactly what I had in mind, thanks! Now there’s only a little step I’m missing: bot in your paper with Zoran and in my mind, the computations leading to the 2-cocycle αconsist in an eveluation of the 3-cocycle BGB3U(1) on a prism. This is a 3-manifold with boundary and the computation is carried out by a triangulation of the prism. Then the fact we are integrating a cocylce ensures the final result will be independent of the triangulation. This easily generalizes to arbitrary dimensions: if Σ is a k-dimensional oriented manifold with corners, then a j-simplex in Maps(Σ,BnU(1)) is a morphism Σ×ΔjBnU(1), and so if j=nk, a triangulation of this morphism gives an element of U(1), which is independent of the triangulation and is to be thought of as an integral over Σ×Δj. This defines the morphism Maps(Σ,BnU(1))BnkU(1). But clearly this is a rough description: in order to get a correct suitable constains should be added. For instance I suspect one should consider maps from manifolds with boundary relative to the boundary, in order to go in a well defined and nontrivial way onto homotopy classes.

    So my main problem here is: in a concrete situation I know which computation to do, but I still miss the correct abstract framework in which doing them (I need to understand transgression better)

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2011

    Wait, the prism does not have a boundary, top and bottom are identified. (“closed prism”). Because we are transgressing to the loop space.

    • CommentRowNumber21.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJun 6th 2011
    • (edited Jun 6th 2011)

    doesn’t it have three “vertical” faces?

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2011

    Yes, ah, these you mean. Wait, let me think again about what you said.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2011

    Domenico,

    sorry, I am maybe not concentrating sufficiently, since I am a bit absorbed in another process. Please bear with me.

    I believe what I tried to say is that for the case of the transgression to loop space the Σ in your previous comment has no boundary. It’s the circle.

    I thought you were getting at the point where we are transgression to the mapping space over a Σ which does have a boundary. That case, I’d agree, requires extra care, and while we have talked about it a bit every now and then (“relative cohomology”) we should write that out in more detail.

    But how is that related to the discussion of the transgression of α:BGB3U(1) to BG?

  6. I believe what I tried to say is that for the case of the transgression to loop space the Σ in your previous comment has no boundary. It’s the circle.

    yes, that’s what I was interested in. my problem was, roughtly: “I have a 2-simplex in BG and I want to associate with it an element of U(1). how do I do this? well, a 2-simplex in BG is nothing but a “closed prism” in BG, and I know how to assign an element in U(1) to a 3-simplex in BG, so let me just split my closed prism in 3-simplices and add on (i.e., multiply) the results”. which is what is actually done, but this involves at an intermediate step considering a 3-manifold with boundary mapped to BG. from this I thought that the natural thing to do was to consider boundaries and corners from the very beginning.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2011

    Ah, so maybe I misunderstood you. I thought you said that some discussion of constraints is missing in the discussion of the transgression to BG.

    But you rather mean that more generally it is natural to consider transgression to mapping spaces for Σ having a boundary. This of course I agree with. Just let me know if you think there is some gap in the specific argument for the transgression of α to BG

  7. Just let me know if you think there is some gap in the specific argument for the transgression of α to BG

    This is fine. But I need understand it better. Our current argument is: we start with BGB3U(1); then we take loop spaces BGB3U(1); finally there is the step B3U(1)B2U(1). This last step I understand by the truncation argument we have at Dijkgraaf-Witten theory, but concretely it seems to be something very simple: just split a prism and split it into 3-simplices, so I’d like to really convince myself that these two points of view are really the same thing.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2011

    Hi,

    okay, let’s write it out in more detail. The way I understand it, the computation with the prism shows what the morphism of simplicial sets

    Δ1/Δ1×ΔnBGB3U(1)

    is like for n=2. On the non-degenerate 3-cells of Δ1/Δ1×Δ2 this assigns values in U(1). One needs to argue that these values don’t change under the truncation

    [Δ1/Δ1,B3U(1)]B2U(1).

    Since the truncation is at one level higher, it identifies morphisms between the 2-cells that we are after. Clearly the map {Δ1/Δ1×Δ2B3U(1)}{Δ2B2U(1)} is surjective, so it remains to show that it is injective.

    Let’s see. In fact I think we have generally that

    [S1,BnU(1)][U(1)const1U(1)1]

    and so the truncation just chops of the top U(1) contribution without changing anything beneath.

    I think this is easy to see in a pedestrian way for low n. I should think of a formal way to say it for all n.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeNov 28th 2011

    following discussion with Chris Rogers, I have added to twisted bundle a References-section As 2-sections of 2-bundles.

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeJul 30th 2021
    • (edited Jul 30th 2021)

    I have expanded publication data but also commentary on the three original references (along the lines indicated in the parallel thread here).

    diff, v28, current