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 comma 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 finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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
    • CommentTimeAug 18th 2010

    Behind the scenes Domenico Fiorenza is having a long discussion with me and Jim Stasheff on the matters that are being discussed at differential cohomology in an (oo,1)-topos – examples. It seems we want to work on this together. Accordingly, I have now moved at least parts of this to the main nLab in the new entry

    infinity-Chern-Weil theory.

    I added a remark right at the beginning that is supposed to indicate the nature of this material.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    From the entry it is not clear even a hint of what are the remaning (edit: targetted) open problems in this program.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    Good point, I’ll add a section on that right now.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    okay, I started writing a section Motivation.

    as usual, there is plenty of room for improvement, but I need a short break now…

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    the discussion at infinity-Chern-Weil theory builds on the discussion at circle n-bundle with connection. So I thought I might move that over to the nLab, too. And I did. There is a paragraph at the beginning indicating the nature of this material.

    (This is what I talked about in Copenhagen two weeks ago, by the way).

    • CommentRowNumber6.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    To begin with I’ll be extremely annoying.. by reading line by line the Motivation section, and asking for expalnations everytime I don’t understand something.. :)

    At the beginning of the more technical part, it is said that ordinary Chern-Weil theory provides a refinement of the fractional Pontryagin class

    H(X,BSpin)H 4(X,)H(X,\mathbf{B}Spin)\to H^4(X,\mathbb{Z})

    to a map to ordinary differential cohomology

    H(X,BSpin)H diff 4(X)H(X,\mathbf{B}Spin)\to H^4_{diff}(X)

    what is exactly meant by this? i.e., what is it meant by H diff 4(X)H^4_{diff}(X)? I followed the link to differential cohomology but got lost there, without being able to decide what H diff 4(X)H^4_{diff}(X) stands for :(

    A few lines later H(X,B 3U(1))\mathbf{H}(X,\mathbf{B}^3U(1)) and H diff(X,B 3U(1))\mathbf{H}_{diff}(X,\mathbf{B}^3U(1)) seem to be to two symbols for the same object.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeAug 18th 2010

    Let us be down to Earth. The usual Chern-Weil theory produces the characteristic classes for principal and associated G-bundles where G is a subgroup of GL(n). The classes are in even dimension. Chern-Simons and similar classes are secondary characteristic classes, and they come in odd dimension, and they are not produced by the classical Chern-Weil theory; on the other hand they are related to the differential characters of Cheeger and Simons. Now, my understanding is that going to infinity Chern-Weil theory is to have the usual characteristic classes like Chern classes, Todd class, Stiefel-Whitney class on the same footing with the secondary classes and go beyond. Most of classically educated geometers will start from the position I am having in this question. So where is seen that going to (infinity,1)-world one goes beyond the classification of (primary) characteristic classes and has more. I understand and remember all the examples string fivebrane and all that, but I would like to see them as some sort of conceptually simple extension of classical framework which avoids the theorem that the only characteristic classes are power series in known classical classes, and in particular only even cohomology is involved.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    what is meant by H diff 4(X)H^4_{diff}(X).

    The reply to this question is now at ordinary differential cohomology.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    The usual Chern-Weil theory produces the characteristic classes for principal and associated G-bundles

    Let’s be more precise: it produces refinements of characteristic classes.

    For cH n(BG,)c \in H^{n}(B G, \mathbb{Z}), and PP a GG-principal bundle on XX, the bare characteristic class is c(P)H n(X,)c(P) \in H^n(X,\mathbb{Z}).

    What the Chern-Weil homomorphism does is refine this integral class by providing a differential form that represents its image in real cohomology.

    And more is true: if the class cc on BGBG refined to a class in differential cohomology c^H diff n(BG)\hat c \in H^n_{diff}(B G) then the Chern-Weil homomorphism may be used to produce accordingly a class

    c^(P)H diff n(X) \hat c(P) \in H_{diff}^n(X)

    that refines this integral class.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    A few lines later H(X,B 3U(1))\mathbf{H}(X,\mathbf{B}^3U(1)) and H diff(X,B 3U(1))\mathbf{H}_{diff}(X,\mathbf{B}^3U(1)) seem to be to two symbols for the same object.

    Sorry, I don’t see which sentence this is referrin to right now. Likely I made a typo somewhere, but could you check again. What’s the beginning of the sentence that you mean?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    Chern-Simons and similar classes are secondary characteristic classes, and they come in odd dimension, and they are not produced by the classical Chern-Weil theory;

    They are produced by the refinement of Chern-Weil homomorphism to differential cohomology. This is maybe not very classical, but still pretty classical (for instance constructed explicitly by Brylinski-MacLaughlin):

    for a given invariant polynomial, the Chern-Weil homomorphism may be thought of as producing the nn-gerbe with connection whose curvature is the corresponding curvature characteristic form, and whose connection is the corresponding Chern-Simons form.

    And the buisness about “secondary” characteristic classes just says that if the curvature happens to vanish, then already the connection form is closed.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    So where is seen that going to (infinity,1)-world one goes beyond the classification of (primary) characteristic classes and has more.

    I tried to say this clearly in the Motivation section, but if I failed this needs to be stressed more:

    ordinary Chern-Weil theory deals with characteristic classes of ordinary G-principal bundles, i.e. of the classifying spaces BGB G for GG an ordinary Lie group. Higher Chern-Weil theory generalizes this to characteristic classes of GG-principal \infty-bundles for GG an \infty-Lie group.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    I said:

    ordinary Chern-Weil theory deals with characteristic classes of ordinary G-principal bundles, i.e. of the classifying spaces BG for G an ordinary Lie group. Higher Chern-Weil theory generalizes this to characteristic classes of G-principal ∞-bundles for G an ∞-Lie group.

    Okay, I added this kind of statement more explicitly at the very beginning of infinity-Chern-Weil theory.

  1. @Urs, #8:

    Clear. I have to ask another thing on this, but what I will ask depends on your reply on #10 :)

    @Urs, #10:

    the sentence begins with: The first point of passing to a higher category theory-refinement of this situation is that it allows to refine, in turn, this morphism of cohomology sets to a morphism

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeAug 18th 2010

    Thanks, I understand that infinity theory in general applies to infinity bundles but the 2-group responsible for gerbes for Chern-Simons is coming from a suspension of 1-group, so the classical point of view is still from 1-group, thus “secondary classes”. When I told one excellent mathematician about your work few months ago, mentioning the refinements of classes classifying higher bundles, then his first question was if you have (the generalized) secondary classes for those. So you see, the impression from the classical geometer is that one looks all from the point of view of 1-groups and 1-bundles, even if the more natural picture is as you said in different terms. So I wanted and I am partly but not fully answered how to see the need for and the repair by the infinity theory to the classical problems. ( In classical problems even the bundle has been usually understood (just the tangent bundle) so one talks of functorial assignment of a cohomology class of a manifold functorially to a manifold. )

    From the classical point of view, one looks at the characteristic classes in ordinary cohomology and after the Chern-Weil procedure the obtained class does not depend on the choice of connection. This independent result is what classically one called the Chern-Weil construction. Now in the big of the things you are doing all these are special cases, so you renamed the procedure a bit and call the Chern-Weil procedure the maximum you can get from the algorithm (what seems to neglect in part the remarkable fact that the usual class does not depend on the connection).

    One unrelated thing bothers me: for vector bundles one always have subgroup of unitary or orthogonal group. But for principal bundles one can look at bundles whose structure group is a non-linear Lie group (hence not a subgroup of GL(n)). My vague memory is that many classical theorems about using Weil algebra and invariant polynomials depend on the structure of linear groups. Is there a problem or I am just halucinating ?

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    Domenico,

    conerning that typo: yes, that was indeed a typo. Thanks. I have fixed it and added a bit more of clarification (hopefully).

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    Zoran,

    his first question was if you have (the generalized) secondary classes for those.

    I haven’t used much the term “secondary class” (maybe I should) but I think this is all contained in the consztruction.

    In fact, those “differential string structures” for instance are really refinements of the “secondary characteristic class” corresponding to the first Pontryagin class. Because “secondary class” means: the curvature class itself vanishes.

    Okay, so I take the point that I should discuss the relation to the notion of “secondary classes” more explicitly. Thanks.

    how to see the need for and the repair by the infinity theory to the classical problems.

    But what about this: classical Chern-Weil theory only exists for characteristic classes defined on classifying spaces G\mathcal{B}G for GG a Lie group. Isn’t it in itself a motivation to generalize this to more general spaces? That’s what the \infty-theory does.

    And then there are examples of problems where one does want to have a Chern-Weil theory for characteristic classes on a space G\mathcal{B}G for GG not a Lie group, coming from physics. So it seems to me we have both a general mathematical as well as a more contrete motivation from explicit applications.

    This has been, after all, the driving motivation all along for the whole effort, starting with Stolz-Teichner’s question: What is a connection on a String-bundle?

    ( In classical problems even the bundle has been usually understood (just the tangent bundle) so one talks of functorial assignment of a cohomology class of a manifold functorially to a manifold. )

    Right, that’s an point that I should discuss more: what effectively happens there is that one talks about the classes of the OO-bundle, even if that lifts to a GG-bundle for GG somewhere higher in the Whitehead tower.

    While one can do this, this misses information: for instance on BOB O we have the ordinary first pontryagin class p 1p_1, but up on BSpinB Spin this can be divided to a “smaller generator” 12p 1\frac{1}{2}p_1 in that

    BSpin 12p 1 B 4 2 BSO p 1 B 4. \array{ B Spin &\stackrel{\frac{1}{2}p_1}{\to}& B^4 \mathbb{Z} \\ \downarrow && \downarrow^{\mathrlap{\cdot 2}} \\ B SO &\stackrel{p_1}{\to}& B^4 \mathbb{Z} } \,.

    And this continues: next one has that the second Pontrygin class may be cut down by 6 even when passing to String

    BString 16p 2 B 8 6 BSO p 2 B 8. \array{ B String &\stackrel{\frac{1}{6}p_2}{\to}& B^8 \mathbb{Z} \\ \downarrow && \downarrow^{\mathrlap{\cdot 6}} \\ B SO &\stackrel{p_2}{\to}& B^8 \mathbb{Z} } \,.

    So if we are on a String-manifold and treat it just as an ordinary oriented manifold using its tangent bundle, then the second Pontryagin class that we compute is six times “too coarse”: for instance if the 8th integral cohomoly of the manifold is 6-torsion, then that naive class will vanish. But the refined class produced from the oo-Chern-Weil homomorphism will not!

    But you are right, this kind of dicussion should be added to the motivation section.

    • CommentRowNumber18.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    Fine, but shouldn’t we have some differential refinement on the left-hand side, too? (I can imagine a differential nonabelian H diff 1(X,BG)H^1_{diff}(X,\mathbf{B}G) describing isomorphism classes of principal bundles with connection). Otherwise I don’t understand how the refinement (i.e., the connections) arise on the right-hand sides. For instance, what does happen if one starts from the beginning with G=U(1)G=U(1) and with the fisrt Chern class H 1(X,U(1))H 2(X,)H^1(X,U(1))\to H^2(X,\mathbb{Z}) and goes on along the lines sketched in the Motivation section?

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    Fine, but shouldn’t we have some differential refinement on the left-hand side, too?

    Right, so that’s an important point, already in the ordinary Chern-Weil theory, but same here. The story is this:

    As you suggest, let me first recall how H diff(X,B nU(1))\mathbf{H}_{diff}(X,\mathbf{B}^n U(1)) is actually obtained:

    for that abelian case, there is a canonical and essentially unique curvature class,

    curv:H(X,B nU(1))H dR(X,B n+1U(1)). curv : \mathbf{H}(X,\mathbf{B}^n U(1)) \to \mathbf{H}_{dR}(X,\mathbf{B}^{n+1}U(1)) \,.

    This exists on general abstract grounds. If you model this morphism in some 1-category, then you find that this morphism operates by choosing a connection on a circle nn-bundle and then pcomuting its curvature. The differential cohomology H diff(X,B nU(1))\mathbf{H}_{diff}(X,\mathbf{B}^n U(1)) is the homotopy pullback

    H diff(X,B nU(1)) H dR(X,B n+1U(1)) H(X,B nU(1)) H dR(X,B n+1U(1)). \array{ \mathbf{H}_{diff}(X,\mathbf{B}^n U(1) ) &\to& H_{dR}(X,\mathbf{B}^{n+1} U(1)) \\ \downarrow && \downarrow \\ \mathbf{H}(X,\mathbf{B}^n U(1) ) &\to& H_{dR}(X,\mathbf{B}^{n+1} U(1)) } \,.

    This construction is not available for general coefficients BG\mathbf{B}G. Because in the bottom right we would have H dR(X,B 2G)\mathbf{H}_{dR}(X,\mathbf{B}^2 G), and that double delooping for general GG does not exist.

    So this is why “nonabelian differential cohomology” is a bit different from “abelian differential cohomology”. The latter has an exact obstruction theory to flat connections, the former not.

    But what we do have is detailed approximations to the non-existing exact curvature class. Namely we can take the nonabelian BG\mathbf{B}G and sort of approximate it by lots of abelian things.

    More precisely: we can take any abelian cocycle

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

    This sends GG-principal bundles to B n1U(1)\mathbf{B}^{n-1}U(1)-principal bundles. Then we can take the curvature classes of these . That’s just postcomposition with the total composite

    BGB nU(1) dRB n+1U(1) \mathbf{B}G \to \mathbf{B}^n U(1) \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1} U(1) .

    So we have morphisms

    H(X,BG)H(X,B nU(1)) \mathbf{H}(X,\mathbf{B}G ) \to \mathbf{H}(X, \mathbf{B}^n U(1))

    and

    H(X,BG)H dR(X,B n+1U(1)) \mathbf{H}(X,\mathbf{B}G ) \to \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} U(1))

    By the \infty-pullback definition of H diff(X,B nU(1))\mathbf{H}_{diff}(X,\mathbf{B}^n U(1)) we have that these two morphism together induce a morphism

    c^:H(X,BG)H diff(X,B nU(1)). \hat c : \mathbf{H}(X,\mathbf{B}G) \to \mathbf{H}_{diff}(X,\mathbf{B}^n U(1)) \,.

    Now again, when we model this abstractly defined \infty-functor by 1-categorical models, we find that a miracle happens: this functor implcitly operates by first choosing an \infty-connection on a GG-principal \infty-bundle, then computes its curvature forms, and then evaluates these in a an invariant polynomial to produce a single (n+1)(n+1)-form.

    So as before in the definition of H diff(X,B nU(1))\mathbf{H}_{diff}(X, \mathbf{B}^n U(1)), the connection is something that appears as an intermediate step in computing the curvature classes.

    That means we find the connections in the homotopy fibers of these morphisms. It is the cocycles in the homotopy fiber String diff(X)String_{diff}(X) of H(X,BSpin)H diff(X,B 3U(1))\mathbf{H}(X, \mathbf{B}Spin) \to \mathbf{H}_{diff}(X, \mathbf{B}^3 U(1)) that encode a differential refinement of H(X,BG)\mathbf{H}(X,\mathbf{B}G).

    • CommentRowNumber20.
    • CommentAuthorzskoda
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    Very sensible answer, thanks Urs. (Edit: Urs posted another answer in the meantime, to Domenico’s question. I was about the previous one.)

    • CommentRowNumber21.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    I have to think more on this.. what confuses me is the basic example G=U(1)G=U(1) where one seems to end up with a morphism H(X,BU(1))H diff 2(X)H(X,\mathbf{B}U(1))\to H_{diff}^2(X) which I’m unable to see as something canonical. I see I have to study curvature classes of B nU(1)\mathbf{B}^n U(1)-bundles..

    • CommentRowNumber22.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 18th 2010
    • (edited Aug 19th 2010)

    How is the morphism AAA\to \flat A defined? Such a morphism would induce H(X,A)H(X,A)\mathbf{H}(X,A)\to \mathbf{H}(X,\flat A), and so H(X,A)H(ΠX,A)\mathbf{H}(X,A)\to \mathbf{H}(\mathbf{\Pi}X,A), i.e., since it seems AA can be an arbitrary object in H\mathbf{H}, a morphism ΠXX\mathbf{\Pi}X \to X, which I don’t clearly see (I can imagine various “natural” such morphisms, but no canonical one). I’m very confused, so this question is probably totally nonsensical: don’t pay too much attention to it.. better I go to sleep and think back to this tomorrow.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    In reaction to Zoran’s remarks above, I have now expanded the Motivation-section further. It now has two subsections, of which the first is the new one. This discusses a bit the issue of fractional characteristic classes and how oo-Chern-Weil theory sees them, while ordinary Chern-Weil does in general not.

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    what confuses me is the basic example G=U(1)G=U(1) where one seems to end up with a morphism H(X,BU(1))H diff 2(X)H(X,\mathbf{B}U(1))\to H_{diff}^2(X) which I’m unable to see as something canonical.

    Yeah, it takes a bit getting a feeling for these \infty-functors.

    The intuitive way to think about is this: there is a universal connection on the universal U(1)U(1)-bundle . (In classical literature this is constructed as an ordinary Ehresmann connection on an infinite-dimensional manifold model for B U(1) .) This morphism takes a smooth cocycle XBU(1)X \to \mathbf{B}U(1) for a smooth U(1)U(1)-principal bundle and pulls back the universal connection along it.

    A concrete way to think about it is this:

    it is a theorem (proven at circle n-bundle with connection) that this \infty-functor is modeled in the model structure on simplicial presheaves by the span (anafunctor)

    B diffU(1) dRB 2U(1) BU(1), \array{ \mathbf{B}_{diff}U(1) &\to& \mathbf{\flat}_{dR} \mathbf{B}^2 U(1) \\ \downarrow^{\mathrlap{\simeq}} \\ \mathbf{B}U(1) } \,,

    where the right morphisms is a fibration, and where B diffU(1)\mathbf{B}_{diff}U(1) is a the simplicial sheaf

    B diffU(1)=Ξ(C (,U(1))Ω 1()dIdΩ 1()) \mathbf{B}_{diff}U(1) = \Xi ( C^\infty(-,U(1)) \oplus \Omega^1(-) \stackrel{d \oplus Id}{\to} \Omega^1(-) )

    (Ξ\Xi the Dold-Kan map that sends sheaves of chain complexes to sheaves of Kan complexes).

    When one thinks about it (detailed discussion at the above link) one finds that this is the sheaf whose hypercohomology are U(1)U(1)-principal bundles with “pseudo-connection”.

    The curvature of a pseudo-connection need not be a globally defined 2-form, but is a general cocycle in the complex Ω 1()dΩ cl 2()\Omega^1(-) \stackrel{d}{\to} \Omega^2_{cl}(-).

    But in any case, the important point is that taking morphisms into account, U(1)U(1)-principal bundles with pseudo-connection are equivalent to U(1)U(1)-principal bundles without any connection! That’s just restating that the left leg of the above span is a weak equivalence.

    So for computing the defining \infty-pullback

    H diff(X,BU(1)) H dR 2(X) H(X,BU(1)) H dR(X,B 2U(1)) \array{ \mathbf{H}_{diff}(X, \mathbf{B}U(1)) &\to& H_{dR}^2(X) \\ \downarrow && \downarrow \\ \mathbf{H}(X,\mathbf{B}U(1)) &\to & \mathbf{H}_{dR}(X, \mathbf{B}^2 U(1)) }

    we may just compute the ordinary pullback

    H dR 2(X) [C(U),B diffU(1)] [C(U), dRB 2U(1)] \array{ && H_{dR}^2(X) \\ && \downarrow \\ [C(U), \mathbf{B}_{diff}U(1)] &\to& [C(U), \mathbf{\flat}_{dR}\mathbf{B}^2 U(1)] }

    where the angular brackets denotes the hom-complex of simplicial presheaves, and where C(U)C(U) denotes a cofibrant resolution of XX, namely the Cech nerve of a good open cover.

    Here the right vertical morphism picks one point in each connected component. Since the oo-groupoid on the right has connected components equivalent to the second deRham cohomology of XX, we may without restriction assume that the right morphism picks cocycles that happens to be given by globally defined closed 2-forms.

    With that setup (which we know is one way to compute the abstractly defined \infty-pullback in question) we find that the pullback picks among all pseudo-connections (this are the cocylces in the bottom left) precisely all the ordinary connections.

    This way, we find that H diff(X,BU(1))\mathbf{H}_{diff}(X, \mathbf{B}U(1)) is line bundles with ordinary connection.

    Don’t know if it helps you, but I found it useful to meditate about this explicit computation of the abstract oo-pullback that defines the intrinsic differential cohomology a bit. I think this (simplest nontrivial example!) sheds a bit of light on what differential cohomology is all about. See circle n-bundle with connection for a bit of exposition and some comments on this.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    (Now the above comment seems to display all diagrams. I had to change all double dollar signs to single ones. )

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    How is the morphism AAA\to \flat A defined?

    Probably you mean the morphism curv A:A dRBAcurv_A : A \to \mathbf{\flat}_{dR} \mathbf{B}A.

    This is defined by the following pasting diagram of \infty-pullbacks

    A * dRBA BA * BA. \array{ A &\to& * \\ \downarrow && \downarrow \\ \mathbf{\flat}_{dR}\mathbf{B}A &\to& \mathbf{\flat} \mathbf{B}A \\ \downarrow && \downarrow \\ * &\to& \mathbf{B}A } \,.

    Here =LConstΓ\mathbf{\flat} = LConst \circ \Gamma and AA\mathbf{\flat}A \to A is the counit of the \infty-adjunction (LConstΓ)(LConst \dashv \Gamma). The object dRBA\mathbf{\flat}_{dR} \mathbf{B}A is by definition the homotopy fiber of this morphism. The remaing diagram then follows from the pasting law for \infty-pullbacks.

    Concrete examples for curv Acurv_A are worked out at infinity-Lie groupoid. For A=GA = G an ordinary Lie group, this is the Maurer-Cartan form. For A=B nU(1)A = \mathbf{B}^n U(1) this morphism is given by the span that first puts a pseudo-connection on a circle n-bundle and then project out its curvature cocycle.

    • CommentRowNumber27.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    How is the morphism AAA\to \flat A defined?

    Never mind: as I was suspecting in the last part of my question, I was just halucinating this morphism :) I was reading the section on intrinsic de Rham cohomology in your area and somehow at a certain point I read AAA\to \flat A in place of AA\flat A\to A, and in such a sleepy state as I was, instead of just having a second look I started speculating… this cannot be, the natural arrow should be the other way round..etc. As I wrote my question, mostly to clear my mind, I looked back and found my mistake, but mysteriously in that precise moment nForum decided not to allow me edit my question or write anything anymore :(

    Luckily, you were able to make something good of it anyway: thanks for the detailed answer on the morphism A dRBAA\to \flat_{dR}\mathbf{B} A ! :)

  2. @Urs, #24

    Don’t know if it helps you

    It helps a lot, indeed! I think I’ll devote the whole day to the deep understanding this basic example.

    The intuitive way to think about is this: there is a universal connection on the universal U(1)U(1)-bundle.

    Let’s remain at an intuitive level to see how much I can get of the general feeling from this. Clearly, being a universal object in the category of U(1)U(1)-bundles with connections is a universal property, so it is perfect to say the universal U(1)U(1)-bundle with connection. On the other hand, if we fix a model for the universal U(1)U(1)-bundle and then we endow it with a connection, we still obtain a model for the universal U(1)U(1)-bundle with connection, but a choice has been made. Once this choice has been made, every morphism XBU(1)X\to \mathbf{B}U(1) can be promoted to a U(1)U(1)-bundle with a connection over XX. If we change our choice, then we will end up with “different but equivalent” connections on our U(1)U(1)-bundles: in other words, if we work at the level of universal construction, then everything is canonical, when we pick up concrete models, then choices come in sight and the canonicity of the construction is obscured.

    mmm.. I see.. my confusion comes from just an habit of thinking of many different concrete models here rather than in terms of universal properties. since these different concrete models are all on an equal footing not only from a mathematical perspective but also from an educational one, this in confusing. but actually the same phenomenon should happen for every universal property: for instance when considering the product of two sets XX and YY, I’m so trained to consider the set of pairs (x,y)(x,y) that I would not question that this is not canonical but a choice! for connection I have not been educated to an historically preferred model, and that’s it! ok, now I think that going back to what you wrote and studying it I can undersatand it :)

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    Its certainly important to amplify the role of models in this business, as compared to things with intrinsic meaning.

    Already for the universal bundle, this is an issue that deserves highlighting: in intrinsic terms, the universal bundle is an empty tautology, it is just the point. It gains its meaning only after we fix a model and work with specific choices.

    I think for universal connections its the same kind of situation. Intrinsically the concept either does not exist or is tautological and empty, depending on your point of view. But it becomes important when concrete models are chosen. But then it does depend on lots of choices, and only when we go back to the larger intrinsic perspective do we see that all is fine and well.

    At infinity-Lie groupoid I have a section with a discusson of the universal conneciton on the universal G-bundle in a manner somewhere half-way between the complete abstract nonsense and the models by manifolds in the literature. The model discussed there has a certain appeal – to me – in that it identifies the universal connection on a groupal model (groupal model for universal principal infinity bundles) for EG\mathbf{E}G as the 2-Maurer-Cartan form on this 2-group.

    I think this is useful for understanding \infty-Ehresmann connections, but for the moment the discussion of that is a bit incomplete.

    In any case, all that is not necessary for our discussion here, but might provide some useful extra perspective.

    • CommentRowNumber30.
    • CommentAuthorzskoda
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    it is just the point

    Well, universal element. So if the representation (the structure of representable functor with the choices fixed) is fixed, it is unique.

    I am not quite getting the rest, are you claiming that the universal connection is also part of the data of a universal element for refined moduli problem ?

  3. Minimal language suggestions inthe section “Higher differential string structures”: maybe we could say “Then ordinary Chern-Weil theory provides a lifting of the fractional Pontryagin class” with lifting instead of refinement, and replace the two one-horizontal-arrow oo-categorical refinements (I would leave refinement here) just below with a single triangular diagram exhibiting 1/2p^ 11/2 \hat{p}_1 as a lift of 1/2p 11/2 p_1.

    A little later in the same section String diff(X)String_{diff}(X) is used. By analogy with the diagram above the one where the symbol String diffString_{diff} is introduced, one has H(X,BString)\mathbf{H}(X,\mathbf{B}String), so H diff(X,BString)\mathbf{H}_{diff}(X,\mathbf{B}String) would seem a natural choiche to denote the pullback denoted String diffString_{diff}. I can imagine the symbol H diff(X,BString)\mathbf{H}_{diff}(X,\mathbf{B}String) is not used since the H diff\mathbf{H}_{diff} refinement is not available for nonabelian groups, but I find the use of so diffeent notations in the two situations making things more obscure than necessary.

  4. I’m working out my G=U(1)G=U(1) homework.. is H(X,B 3U(1))\mathbf{H}(X,\mathbf{B}^3U(1)) a 3-groupoid or a 4-groupoid? at infinity-Chern-Weil theory, in the Higher differential string structures section we’re saying 4-groupoid, but I would say 3-groupoid because going down from 3 to 1 I would expect that H(X,BU(1))\mathbf{H}(X,\mathbf{B}U(1)) is a 1-groupoid rather than a 2-groupoid. On the other hand, I see BU(1)\mathbf{B}U(1) would appear because of U(1) 2\mathcal{B}U(1)\simeq \mathcal{B}^2\mathbb{Z}, and so a 2-groupoidal interpretation would be fine. How should I think to this?

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010

    Well, universal element. So if the representation (the structure of representable functor with the choices fixed) is fixed, it is unique.

    What I am saying is that homotopy-theoretically, every principal bundle is the pullback of the point . The homotopy pullback. So that universal element is rather trivial.

    • CommentRowNumber34.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010

    with a single triangular diagram

    Which triangular diagram exactly do you envision here?

    I can imagine the symbol H diff(X,BString)\mathbf{H}_{diff}(X, \mathbf{B}String) is not used since the H diff\mathbf{H}_{diff} refinement is not available for nonabelian groups,

    Yes. Or maybe more precisely: it depends on which curvature classes we use. The objects of the homotopy fiber of H(X,BSpin)H diff(X,B 3U(1))\mathbf{H}(X,\mathbf{B}Spin) \to \mathbf{H}_{diff}(X,\mathbf{B}^3 U(1)) may be identified with spin-bundles with connection, but the morphisms may contain shifts of these connections that only respect some condition on the 4-form curvature and nothing else.

    a 3-groupoid or a 4-groupoid?

    You are right, it is a 3-groupoid.

    Concerning U(1)\mathcal{B} U(1) versus 2\mathcal{B}^2 \mathbb{Z}: in the oo-topos of bare oo-groupoids these are equivalent, but their lifts BU(1)\mathbf{B}U(1) and B 2\mathbf{B}^2 \mathbb{Z} to the oo-topos of oo-Lie groupoids are not equivalent there. So the difference matters.

    For talking about differential refinement that way we are, it is crucial to use .

  5. this triangular diagram:

    H diff(X,B 3U(1)) 12p^ 1 H(X,BSpin) 12p 1 H(X,B 3U(1))\mathbfB} \array{ && \mathbf{H}_{diff}(X,\mathbf{B}^{3} U(1)) \\ &\stackrel{\frac{1}{2}\hat{p}_1}{\nearrow}& \downarrow \\ \mathbf{H}(X,\mathbf{B}Spin ) &\stackrel{\frac{1}{2}p_1}{\to}& \mathbf{H}(X,\mathbf{B}^{3} U(1)) }

    where the vertical arrow forgets the connection.

    the corresponding diagram for G=U(1)G=U(1) in place of G=StringG=String still causes a few problems to me: I’m unable to clearly see a section to H diff(X,BU(1))H(X,BU(1))\mathbf{H}_{diff}(X,\mathbf{B}U(1))\to \mathbf{H}(X,\mathbf{B}U(1)). Or better, I do see a section if I consider H diff(X,BU(1))\mathbf{H}_{diff}(X,\mathbf{B}U(1)) and H(X,BU(1))\mathbf{H}(X,\mathbf{B}U(1)) as abstract groupoids, without trying to give a geometrical meaning to this section: just pick a representative for each isomorphism class in H(X,BU(1))\mathbf{H}(X,\mathbf{B}U(1)), choose a connection on that and then “propagate” this connection along isomorphisms of U(1)U(1)-bundles to get a functor H(X,BU(1))H diff(X,BU(1))\mathbf{H}(X,\mathbf{B}U(1))\to\mathbf{H}_{diff}(X,\mathbf{B}U(1)). Is this correct?

    • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    concerning the diagram: okay, feel free to insert that.

    concerning those sections: you are right, I think I made a wrong statement here. What we get from morphisms BGB nU(1)\mathbf{B}G \to \mathbf{B}^n U(1) is morphisms

    H(X,BG)H dR(X,B n+1U(1)) \mathbf{H}(X,\mathbf{B}G) \to \mathbf{H}_{dR}(X, \mathbf{B}^{n+1}U(1))

    and

    H(X,BG)H diff(X,B nU(1)) H(X,\mathbf{B}G) \to \mathbf{H}_{diff}(X, \mathbf{B}^{n}U(1))

    (where non-boldface means connected components, as usual)

    but not in general

    H(X,BG)H diff(X,B nU(1)). \mathbf{H}(X,\mathbf{B}G) \to \mathbf{H}_{diff}(X, \mathbf{B}^{n}U(1)) \,.

    Sorry, somehow my mind played a trick on me here. But wait, let me think.

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    Domenico,

    good that we are talking about this. Let me try to fix this.

    So back to that universal connection: let me argue for a morphism

    H(B nU(1),B nU(1))H diff(B nU(1),B nU(1)). \mathbf{H}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) \to \mathbf{H}_{diff}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) \,.

    This is supposed to be induced from the diagram

    H(B nU(1),B nU(1)) H(B nU(1), dRB n+1U(1)) H(B nU(1), dRB n+1U(1)) H(B nU(1),B nU(1)) H(B nU(1), dRB n+1U(1)), \array{ \mathbf{H}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) &\to& \mathbf{H}(\mathbf{B}^n U(1), \mathbf{\flat}_{dR}\mathbf{B}^{n+1}U(1)) &\to& H(\mathbf{B}^n U(1), \mathbf{\flat}_{dR}\mathbf{B}^{n+1}U(1)) \\ \downarrow && &\searrow& \downarrow \\ \mathbf{H}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) && \to && \mathbf{H}(\mathbf{B}^n U(1), \mathbf{\flat}_{dR} \mathbf{B}^{n+1}U(1)) } \,,

    where the left 2-cell is the identity and the thing is that the triangular 2-cell in the top right should exists, because B nU(1)\mathbf{B}^n U(1) has no real cohomology below degree n+1n+1. (The failure of this statement for general XX is what makes the corresponding argument in this fashion for general XX fail ).

    So then the commutativity (up to homotopy) of this digram produces, by the \infty-pullback-definition of H diff(B nU(1),B nU(1))\mathbf{H}_{diff}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) a morphism

    H(B nU(1),B nU(1))H diff(B nU(1),B nU(1)). \mathbf{H}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) \to \mathbf{H}_{diff}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) \,.

    This in turn gives a map from morphisms XB nU(1)X \to \mathbf{B}^n U(1) to morphisms

    H diff(B nU(1),B nU(1))H diff(X,B nU(1)) \mathbf{H}_{diff}(\mathbf{B}^n U(1), \mathbf{B}^ n U(1)) \to \mathbf{H}_{diff}(X, \mathbf{B}^n U(1))

    as morphisms of \infty-pullbacks induced by th morphisms of diagrams that is induced by precomposition with XB nU(1)X \to \mathbf{B}^n U(1).

    This should be functorial in XB nU(1)X \to \mathbf{B}^n U(1). Forming the image of IdId under the composite

    H(B nU(1),B nU(1))H diff(B nU(1),B nU(1))H diff(X,B nU(1)) \mathbf{H}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) \to \mathbf{H}_{diff}(\mathbf{B}^n U(1), \mathbf{B}^n U(1)) \to \mathbf{H}_{diff}(X, \mathbf{B}^n U(1))

    should then give the dersired morphism.

    • CommentRowNumber38.
    • CommentAuthorzskoda
    • CommentTimeAug 19th 2010

    What I am saying is that homotopy-theoretically, every principal bundle is the pullback of the point . The homotopy pullback. So that universal element is rather trivial.

    Its total space is pullback of the point. But as a bundle with all the structure it is of course not trivial. So I am not fully getting the claim that it is interesting only in a specific model, as there are possibly nonisomorphic bundles on BG in any setup and EG -> BG belongs to a rather special class.

    • CommentRowNumber39.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010

    EG -> BG belongs to a rather special class.

    That’s true, but that’s because it is a nice model. What matters is that EGBGEG \to BG is a fibration that resolves *BG* \to BG. That alone is sufficient to guarantee that the ordinary pullback of EGEG is the homotopy pullback of the point. And from the fact alone that something is the homotopy pullback of *BG* \to BG follows that it is a principal oo-bundle.

    If you start with an ordinary group G and start with a fibration replacement EG˜BG\tilde EG \to BG that is not a universal bundle in the usual sense, the resulting pullbacks will still have a principal G-action up to coherent homotopy.

    • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    A striking example of this is the theory of universal simplicial principal bundles (as summarized there):

    we know that simplicial groups happen to be a semi-strict model for general oo-groups. A simplicial principal bundle is accordingly a very strict model for a principal oo-bundle. It turns out that the usual theory of universal 1-bundles goesthrough essentially degreewise to produce a theory of universal simplicial principal bundles with strict degreewise group action. But of course that’s manifestly just a property of a nice model: nothing in the homotopy theory of oo-groups requires that we use such strict models. The general principal oo-bundle of course can have and will have very non-strict action.

    • CommentRowNumber41.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2010
    • (edited Aug 19th 2010)

    Domenico,

    I have thought a bit more about it and think my above answer is correct. In particular I think I have a proof that indeed we have these 2-cells

    H(B nU(1), dRB n+1U(1)) H(B nU(1), dRB n+1U(1)) Id H(B nU(1), dRB n+1U(1)) \array{ && H(\mathbf{B}^n U(1), \mathbf{\flat}_{dR} \mathbf{B}^{n+1}U(1)) \\ & \nearrow &\Downarrow^{\simeq}& \searrow \\ \mathbf{H}(\mathbf{B}^n U(1), \mathbf{\flat}_{dR} \mathbf{B}^{n+1}U(1)) &&\underset{Id}{\to}&& \mathbf{H}(\mathbf{B}^n U(1), \mathbf{\flat}_{dR} \mathbf{B}^{n+1}U(1)) }

    expressing the fact that the real cohomology of B nU(1)\mathbf{B}^n U(1) is concentrated in degree n+1n+1.

    So the \infty-categorical construction of

    () * univ:H(BG,B nU(1))H diff(BG,B nU(1)) (-)^* \nabla_{univ} : \mathbf{H}(\mathbf{B}G, \mathbf{B}^n U(1)) \to \mathbf{H}_{diff}(\mathbf{B}G, \mathbf{B}^n U(1))

    goes through. I think. What I need to think about is what you kept asking me: what this general abstract morphism looks like in our concrete favorite model, in particular of course what it does on higher cells. I had underappreciated this before, having concrentated on just the curvatures.

    I will think about this and get back to you. But now I have to sleep and tomorrow morning I have to meet a student. Then I need to hop on a train. So it might not be until tomorrow evening or so that I am able to get back to you with substantial remarks.

  6. Hi Urs,

    sorry for replying so late: I’ve been out this evening, just come back. Tomorrow evening is just perfect: I’ll work on yours #37 and #41 during the morning, and I’ll be ready for the evening :)

  7. How is the morphism H(X, dRBA)H(X, dRBA)H(X,\flat_{dR}\mathbf{B}A)\to \mathbf{H}(X,\flat_{dR}\mathbf{B}A) defined?

  8. what I still don’t clearly see in the differential cohomology refinement is the fact one makes all the construction be carried by the abelian side of the picture. At least in the usual context of principal GG bundles with connections (with GG a Lie group), I would think of a differential refinement H diff(X,BG)\mathbf{H}_{diff}(X,\mathbf{B}G) as the groupoid of pincipal GG-bundles with a connection. Then we would have a natural forgetful map H diff(X,BG)H(X,BG)\mathbf{H}_{diff}(X,\mathbf{B}G)\to \mathbf{H}(X,\mathbf{B}G). How is this related to the abelian business? let me sketch what I have in mind for G=U(N)G=U(N), so that whe meet a characteristic class already in H 2(;)H^2(-;\mathbb{Z}) and need not go into the realm of higher groupoids (not that this would make any actual difference, but just to keep the example at the lowest level). Let c 1:U(N)K(,2)c_1:\mathcal{B}U(N)\to K(\mathbb{Z},2) be the first Chern class. Then we have for any nice topological space XX the first Chern class in cohomology: H 1(X,U(N))H 2(X,)H^1(X,U(N))\to H^2(X,\mathbb{Z}). If XX is a differential manifold, then H 1(X,U(N))H^1(X,U(N)) is the set of isomorphism classes of smooth U(N)U(N)-bundles on XX, and H 2(X,)H^2(X,\mathbb{Z}) is the set of isomorphism classes of smooth U(1)U(1)-bundles on XX. Moving from isomorphism classes to groupoids, we can therefore think of the first Chern class as a map

    π 0H(X,BU(N))π 0H(X,BU(1)) \pi_0\mathbf{H}(X,\mathbf{B}U(N))\to \pi_0\mathbf{H}(X,\mathbf{B}U(1))

    The first question arising here is whether this map at the π 0\pi_0 level is induced by a morphism of groupoids

    c 1:H(X,BU(N))H(X,BU(1)) c_1: \mathbf{H}(X,\mathbf{B}U(N))\to \mathbf{H}(X,\mathbf{B}U(1))

    the answer is yes! (and this morphism is nothing but the delooping determinant map U(N)U(1)U(N)\to U(1)). Now classical Chern-Weil(-Deligne?) theory comes in: let H diff(X,BG)\mathbf{H}_{diff}(X,\mathbf{B}G) be the groupoid of principal GG-bundles with connection on XX. Then we have forgetful maps

    H diff(X,BU(N))H(X,BU(N)) \mathbf{H}_{diff}(X,\mathbf{B}U(N))\to \mathbf{H}(X,\mathbf{B}U(N))

    and

    H diff(X,BU(1))H(X,BU(1)) \mathbf{H}_{diff}(X,\mathbf{B}U(1))\to \mathbf{H}(X,\mathbf{B}U(1))

    and one may wonder whether c 1c_1 lifts to a map

    c^ 1:H diff(X,BU(N))H diff(X,BU(1)) \hat{c}_1:\mathbf{H}_{diff}(X,\mathbf{B}U(N))\to \mathbf{H}_{diff}(X,\mathbf{B}U(1))

    making the diagram commute (up to a given natural transformation, of course). Here I don’t know the answer, but I guess it is yes, and that (the classical version of) nonabelian differential cohomology is all about this (in this totally basic example, I mean). Postcomposing with one gets the classical Chern-Weil construction mapping a U(N)\mathbf_U(N)-bundle with connection to its curvature 2-form.

    Now, what I think is a crucial question here is whether the diagram

    H diff(X,BU(N)) c^ 1 H diff(X,BU(1)) H(X,BU(N)) c 1 H(X,BU(1)) \array{ \mathbf{H}_{diff}(X,\mathbf{B}U(N))&\stackrel{\hat{c}_1}{\to}& \mathbf{H}_{diff}(X,\mathbf{B}U(1)) \\ \downarrow&& \downarrow \\ \mathbf{H}(X,\mathbf{B}U(N) ) &\stackrel{c_1}{\to}& \mathbf{H}(X,\mathbf{B}U(1)) }

    is a pull-back diagram. If yes, then we could just define H diff(X,BU(N))\mathbf{H}_{diff}(X,\mathbf{B}U(N)) as the (homotopy) pull-back of

    H diff(X,BU(1)) H(X,BU(N)) c 1 H(X,BU(1)) \array{ && \mathbf{H}_{diff}(X,\mathbf{B}U(1)) \\ && \downarrow \\ \mathbf{H}(X,\mathbf{B}U(N) ) &\stackrel{c_1}{\to}& \mathbf{H}(X,\mathbf{B}U(1)) }

    thus defining a notion of principal GG-bundle with connection suitable for immediate generalization to higher groups: only thing one needs is to fix a cocycle BGB nU(1)\mathbf{B}G\to \mathbf{B}^n U(1) to define the lower horizontal map in the pull-back diagram).

    • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2010
    • (edited Aug 20th 2010)

    How is the morphism H(X, dRBA)H(X, dRBA)H(X,\flat_{dR}\mathbf{B}A)\to \mathbf{H}(X,\flat_{dR}\mathbf{B}A) defined?

    By choosing one element in each connected component.

    Here is the idea: a homotopy fiber of a morphism XYX \to Y is defined with respect to a point *Y* \to Y in YY. But up to equivalence, the homotopy fiber depends only on the connected component that *Y* \to Y hits. For differential cohomology we want to find all the homotopy fibers of H(X,A)H)(X, dRBA)\mathbf{H}(X,A) \to \mathbf{H})(X, \mathbf{\flat}_{dR} \mathbf{B}A). So we want to pull back all possible maps *H(X, dRBA)* \to \mathbf{H}(X, \mathbf{\flat}_{dR} \mathbf{B}A). Since only the connected components these hit matters, we choose one for each connected component.

    This point uses to lead to some discussion. People usually ask me why I don’t consider the map H(X, dRBA) 0H(X, dRBA)\mathbf{H}(X, \mathbf{\flat}_{dR} \mathbf{B}A)_0 \to \mathbf{H}(X, \mathbf{\flat}_{dR} \mathbf{B}A) instead, that includes the set of objects. This is in fact what happens in the ordinary definition of differential cohomology: in standard situations we may identify this set of objects with the set Ω cl(X)\Omega_{cl}(X) of closed forms, and inject these.

    We can do this, indeed, once we fix a model. But the result will depend on that model, since the “set of objects” of an oo-groupoid is not a notion defined up to equivalence. It is evil. But also the difference between the two versions is not essential, since, up to equivalence, the homotoppy pullback of any one object depends only on its connected component.

    • CommentRowNumber46.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2010
    • (edited Aug 20th 2010)

    what I still don’t clearly see in the differential cohomology refinement is the fact one makes all the construction be carried by the abelian side of the picture.

    For each notion of “curvature characteristics”

    curv:H(X,A)H(X,something) curv : \mathbf{H}(X,A) \to \mathbf{H}(X,something)

    we get a notion of differential refinement for it: its homotopy fibers.

    If AA is deloopable, there turns out to be a “good” such curvature class, in the sense that i computes precisely the obstructsions to flatness. So that’s an important special case.

    But not the only case. We can consider other maps, but they are more involved. In the fully general case, we can consider the nonabelian Chern character

    ch:AΠ(A)Rch : A \to \mathbf{\Pi}(A)\otimes R

    which is the composite of the canonical inclusion AΠ(A)=LConstΠ(A)A \to \mathbf{\Pi}(A) = LConst \Pi(A) where Π(A)\Pi(A) is the geometric realization of AA, with the rationalization map (over the reals) Π(A)Π(A)R\Pi(A) \to \Pi(A)\otimes R.

    This induces a map

    H(X,A)H(X,Π(A)R) \mathbf{H}(X,A) \to \mathbf{H}(X, \mathbf{\Pi}(A)\otimes R)

    and I think the full notion of nonabelian differential cohomology is the homotopy fibers of that.

    But this general map is hard to get under control. We can try to conquer it by breaking it up into pieces, though, using Postnikov-Whitehead decomposition

    Let

    A ΠA τ 3ΠA τ 2ΠA τ 1ΠA \array{ A &\to& \mathbf{\Pi}A &\to& \cdots &\to& \tau_{\leq 3} \mathbf{\Pi}A &\to& \tau_{\leq 2} \mathbf{\Pi}A &\to& \tau_{\leq 1} \mathbf{\Pi}A }

    be the Postnikov tower of Π(X)\Pi(X). Then by iteratively forming pullback, we get a tower of characteristic maps out of the Whitehead tower of AA

    A 2 Bπ 3(A) * A 1 Bπ 2(A) * A ΠA τ 3ΠA τ 2ΠA τ 1ΠA, \array{ \vdots && && && \vdots \\ \downarrow && && && \downarrow \\ A_2 && &\to& \cdots &\to& \mathbf{B}\mathbf{\pi}_3(A) &\to& * \\ \downarrow && && && && \downarrow \\ A_1 && &\to& \cdots && && \mathbf{B}\mathbf{\pi}_2(A) &\to& * \\ \downarrow && && && && \downarrow && \downarrow \\ A &\to& \mathbf{\Pi}A &\to& \cdots &\to& \tau_{\leq 3} \mathbf{\Pi}A &\to& \tau_{\leq 2} \mathbf{\Pi}A &\to& \tau_{\leq 1} \mathbf{\Pi}A } \,,

    along the lines we once discussed at Whitehead tower in an (infinity,1)-topos.

    So this gives a tower of abelian curvature classes, which we can each handle by the abelian theory. I think under mild conditions knowing all these abelian differential cohomology classes on all these Whitehead items allows to reconstruct the fuill nonabelian Chern-character map.

    For instance for A=BOA = \mathbf{B}O we see the tower of Pontryagin classes appear this way. The following diagram gives an impression of a smal part, just because I happen to have the source code for it lying around for quick copy-and-paste

    P 2 BFivebrane * P 1 BString B 7U(1) * X BSpin B 3U(1). \array{ P_2 &\to& \mathbf{B}Fivebrane &\to& * \\ \downarrow && \downarrow && \downarrow \\ P_1 &\to& \mathbf{B}String &\to& \mathbf{B}^7 U(1) &\to& * \\ \downarrow && \downarrow && && \downarrow \\ X &\to& \mathbf{B}Spin &\to& \cdots &\to& \mathbf{B}^3 U(1) } \,.

    Similarly for A=BUA = \mathbf{B}U one would get the tower of Chern classes this way. I think one needs all of them to characterize a sensible nonabelian differential cohomology.

    I think your suggestion of pulling back just the first Chern class will give a notion of connections on U(n)U(n)-bundles where two are identified if shifting from one to the other leads to a morphism of the correspond for Chern class line bundle with connection.

    I think an important concept to look at in this context is Simons-Sullivan structured bundles. If you look at that, you see that they effectively look at connections on U(n)U(n)-bundles modulo the relation that identifies two if the shift between them induces a morphism of all the corresponding “lifting”-circle n-bundles with connection.

    In the entry of oo-Lie groupoids I mention a way to reproduce this in the present context: by decategorifying the full Chern-character map a bit, one can get a morphism

    BGB diffGinv() \mathbf{B}G \leftarrow \mathbf{B}_{diff}G \to inv(-)

    to a smooth groupoid whose objects are smooth closed differential forms, one for each invariant polynomial, and whose morphisms are degree-minus-one forms modulo exact forms. The map sends a (pseudo-)connection on a G-bundle to the collection of its curvature invariant forms, and a transformation \nabla \to \nabla' between these to the corresponding Chern-Simons forms CS(,)CS(\nabla,\nabla'). These are indeed well defined modulo exact terms, so this does give functor.

    Then the ordinary pullback of points along

    H(X,BG)H(X,inv()) \mathbf{H}(X,\mathbf{B}G) \to \mathbf{H}(X,inv(-))

    does reproduce the groupoid of Simons-Sullivan structured bundles: its objects are (ordinary) connections on GG-principal bundles, but morphisms are allowed to be morphisms of bundles that shift the connections, but only so that the corresponding Chern-Simons forms of the shifts are exact.

    My impression is that this kind of construction is what you seem to be after. But I also think that this is still just an approximation to something, becuase it involves those decategorifications etc.

    • CommentRowNumber47.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 20th 2010
    • (edited Aug 20th 2010)

    For differential cohomology we want to find all the homotopy fibers of..

    I can remember us discussing this at twisted cohomology. There we arrived to something definite which is precisely what you recall to my memory now: one chooses a representative element cc for each [c]π 0H(X,B)[c]\in\pi_0\mathbf{H}(X,B) to define [c][c]-twisted cohomolgy. I can remember this choice issue not completely satisfying me, but I was unable to see anything better at that time, and ended up with convincing me that was optimal. But now that I look back at it, I think: the point in twisted cohomology is to consider all possible homotopy fibres of H(X,B^)H(X,B)\mathbf{H}(X,\hat{B})\to\mathbf{H}(X,B). And homotopy fibres are nothing but (or better, can be seen as) fibres of a fibrant replacement. So why don’t think to the whole of all twisted cohomologies just as a fibrant replacement of H(X,B^)H(X,B)\mathbf{H}(X,\hat{B})\to\mathbf{H}(X,B)? This way one should get a morphism H twisted(X,B^)H(X,B)\mathbf{H}_{twisted}(X,\hat{B})\to \mathbf{H}(X,B) which is a fibration, and H twisted(X,B^)\mathbf{H}_{twisted}(X,\hat{B}) would be the twisted cohomology associated with f:B^Bf:\hat{B}\to B.

    For instance, one would have H diff(X,B nU(1))H dR(X,B n+1U(1))\mathbf{H}_{diff}(X,\mathbf{B}^n U(1))\to \mathbf{H}_{dR}(X,\mathbf{B}^{n+1}U(1)) as the fibrant replacement of H(X,B nU(1))curvH dR(X,B n+1U(1))\mathbf{H}(X,\mathbf{B}^n U(1))\stackrel{curv}{\to}\mathbf{H}_{dR}(X,\mathbf{B}^{n+1}U(1)).

    Similarly for A=BUA=\mathbf{B}U one would get the tower of Chern classes this way. I think one needs all of them to characterize a sensible nonabelian differential cohomology.

    Sure: my suggestion was not to use only c 1c_1: what I wanted to show in that oversimplified example was how there was a quite natural point of view not involving choices of representatives for each connected component.

    • CommentRowNumber48.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2010
    • (edited Aug 20th 2010)

    Not a reply to what you just said but an addendum to my previous message, before I have to rush off:

    from a topos-theoretic perspective, the following looks natural: we are looking for a canonical morphism curv:A dRsomethingcurv : A\to \mathbf{\flat}_{dR} something that takes AA-cocycles to differential forms with values in something.

    Now dR\mathbf{\flat}_{dR} is a right adjoint, its left adjoint being Π dR\mathbf{\Pi}_{dR}. This means that we always do have a canonical morphism

    A dRΠ dRA. A \to \mathbf{\flat}_{dR} \mathbf{\Pi}_{dR}A \,.

    I used to think that this is the curvature class that one should consider for nonabelian differential cohomology. I spent a huge amount of thought into understanding this, but at some point I decided that I was not succeeding and should look at something simpler for the time being.

    But eventually I would like to understand the homotopy fibers of the curvature classes induced by this canonical map. Abstract nonsense tells us that this is a good thing to look at.

    • CommentRowNumber49.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 20th 2010
    • (edited Aug 20th 2010)

    What is String diff(X)String_{diff}(X)? we have a definition at Higher differential string structures, which presently depends on the map H(X,BSpin)H diff(X,B 3U(1))\mathbf{H}(X,\mathbf{B}Spin) \to \mathbf{H}_{diff}(X,\mathbf{B}^3 U(1)). this has been a little trouble since according to post #36 there should be no such map, but then according to post #41 this map should actually be defined. what i do not see yet is the datum of a connection \nabla on the Spin bundle which one finds in the explicit description of String diff(X)String_{diff}(X) one finds just after its homotopy pullback definition. So I guess that the datum of \nabla is hidden in the fact one has promoted 12p 1\frac{1}{2}p_1 to 12p^ 1\frac{1}{2}\hat{p}_1. however I’m unable to convince myself this is meaningful: how can changing a morphism out of a fixed category change the objects of that category? I mean, if objects in H(X,BSpin)\mathbf{H}(X,\mathbf{B}Spin) where SpinSpin-bundles without any connection, I still don’t see how the datum of a connection can appear when one changes the target of a morphism out of H(X,BSpin)\mathbf{H}(X,\mathbf{B}Spin). What continues to seem a natural solution to my doubts is to consider the groupoid of Spin-bundles with connection in place of H(X,BSpin)\mathbf{H}(X,\mathbf{B}Spin). A few posts ago I suggested to call this H diff(X,BSpin)\mathbf{H}_{diff}(X,\mathbf{B}Spin), but I strongly suspect this would not be a fine name, since H diff\mathbf{H}_{diff} refers to a general construction which does not applies to nonabelian groups. But then maybe H diff nonab.(X,BSpin)\mathbf{H}^{non ab.}_{diff}(X,\mathbf{B}Spin) could be a plausible name.

    • CommentRowNumber50.
    • CommentAuthorzskoda
    • CommentTimeAug 20th 2010

    I spent a huge amount of thought into understanding this, but at some point I decided that I was not succeeding

    What aspect you are not happy with here ?

    • CommentRowNumber51.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2010
    • (edited Aug 20th 2010)

    Hi Domenico,

    as promised, I am in the process of spelling this out. As announced, I was busy part of the day. But now I am getting back to you.

    For the moment, I have completed the first step and spelled out the proof that

    H(B nU(1), dRB n+1U(1))= \mathbf{H}(\mathbf{B}^n U(1), \mathbf{\flat}_{dR} \mathbf{B}^{n+1} U(1)) = \mathbb{R} .

    This is now at oo-Lie groupoid – de Rham cohomology of Bn U(1). This implies that the general abstract construction of the morphism H(X,BSpin)H diff(X,B 3U(1)) \mathbf{H}(X,\mathbf{B}Spin) \to \mathbf{H}_{diff}(X, \mathbf{B}^3 U(1)) works. Next I need to spell out what it is concretely.

    While I am doing that, to answer your question how it can be that objects in the homotopy fiber of a morphism out of H(X,BG)\mathbf{H}(X,\mathbf{B}G) to anywhere can know about connections on GG-bundles: let’s for the moment look at this in the cases where the full proof is spelled out (while I am fixing the gap in the one in question).

    Do you see how it works for the case of G=B n1U(1)G = \mathbf{B}^{n-1}U(1) spelled out at circle n-bundle with connection?

    The thing is that when the homotopy pullback that defines the homotopy fiber is modeled, two things happen: first BG\mathbf{B}G is replaced by BGB diffG\mathbf{B}G \stackrel{\simeq}{\leftarrow} \mathbf{B}_{diff} G, then an ordinary pullback of H(X,B diffG)somewhere\mathbf{H}(X,\mathbf{B}_{diff}G) \to somewhere is computed. This turns out to remember the cocycles with values in B diffG\mathbf{B}_{diff}G, which are bundles with connection.

    For the next step towards the nonabelian picture that is under full control, let’s look at th morphism

    H(X,BSpin)H dR(X,B 4U(1)).\mathbf{H}(X, \mathbf{B}Spin) \to \mathbf{H}_{dR}(X, \mathbf{B}^4 U(1)).

    This is one part of the morphism in question

    H(X,BSpin)H diff(X,B 3U(1)).\mathbf{H}(X, \mathbf{B}Spin) \to \mathbf{H}_{diff}(X, \mathbf{B}^3 U(1)).

    which I am in the process of fixing a gap in. So let’s for the moment see if we can agree on how that simpler part works.

    Again, the morphism BG dRB 4U(1)\mathbf{B}G \to \mathbf{\flat}_{dR} \mathbf{B}^4 U(1) is modeled by a span

    BGB diffG dRB 4U(1) \mathbf{B}G \stackrel{\simeq}{\leftarrow} \mathbf{B}_{diff} G \to \mathbf{\flat}_{dR} \mathbf{B}^4 U(1)

    and we compute an ordinary pullback of the induced

    [C op,sSet](X,B diffG)[C op,sSet](X, dRB 4U(1))[C^{op}, sSet](X, \mathbf{B}_{diff} G) \to [C^{op}, sSet](X,\mathbf{\flat}_{dR} \mathbf{B}^4 U(1))

    This produces a simplicial set whose

    • objects are pairs consisting of a GG-bundle PP with connection \nabla;

      and a trivializatioin CS(A,F )+dBCS(A,F_\nabla) + d B of the Pontryagin form F F \langle F_\nabla \wedge F_\nabla \rangle;

    • morphisms are are morphism of buundles with shifts of connections such that the Chern-Simons fom CS(,)CS(\nabla,\nabla') of the shift is compatible with the corresponding two trivializations.

    This is the coarse version of the differential string structure, where only the trivialization of the real part of the degree 4 cohomology appears, not that of its integral part. To the extent that your worries already apply to this case, I suggest we concentrate on discussing this for a bit, while I continue working out the details of the more refined morphism

    H(X,BSpin)H diff(X,B 3U(1)). \mathbf{H}(X,\mathbf{B}Spin) \to \mathbf{H}_{diff}(X, \mathbf{B}^3 U(1)).

    Okay?

    *

    • CommentRowNumber52.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2010

    (am on train, bad connection, sorry for typos, fixed now som in re-edit of above)

  9. first BG\mathbf{B}G is replaced by BGB diffG\mathbf{B}G \stackrel{\simeq}{\leftarrow} \mathbf{B}_{diff} G

    Ok, this seems to be (done at an hidden level) exactly that H diff(,BG)\mathbf{H}_{diff}(-,\mathbf{B}G) I go on talking about. so I guess our poits of view will converge soon :)

    need some sleep now, and to study the details you wrote. I’ll reply tomorrow morning.

    • CommentRowNumber54.
    • CommentAuthorzskoda
    • CommentTimeAug 20th 2010

    I fixed some sort of brackets typoi in the formula in the proof in the entry. There is a Q to Urs in 50 above (not too important for now).

    • CommentRowNumber55.
    • CommentAuthorzskoda
    • CommentTimeAug 20th 2010
    • (edited Aug 20th 2010)

    Jim Stasheff has had some problems in posting his comment on the mini-discussion above Urs and I had about the secondary characteristic classes. Here is his comment delivered to me by email – the rest of the entry is his.

    @zskoda # 7 The standard meaning of secondary (char classes or coh ops or even two centuries ago invaraints of algebraic forms) is of something that is not defined in general but only when some relation holds among primaries e.g Massey ops secondary coh ops

    for char classes, curvature vanishing is an extreme example but what is more usual cf Chern-Simons is a char class that vanishes for dimensional reasons on a class of manifolds

    @Urs, # 9 if you are going to use refinement, at least make it clear from the get go that you mean a representative of a class e.g. a diff form rep

    OK you say it a few lines later

    but then you speak of refintin to a class in H^N_diff - what does that mean? @Urs, #11 the business of secondary classes (see above) is NOT about the connection being closed

    @Urs, #12 classification of characteristic classes means e,g, H(BG) is a polynomial algebra on …?

    and what do you mean by going beyond that - secondary? again see above oh, perhaps you really have in mind calculating H(BG) as one goes up the Whitehead tower?

    @zskoda, #15 if I understand you, yes, ‘ordinary’ secondary classes are from the 1-group pov

    the comment about - usually the tangent bundle - might could be true in physics but in math it hasn’t been before my birth certificat = PhD diss

    any neglect of the fact that the class doed not depend on the connection is in the exposition and may have been fixed already

    many classical theorems about the Weil algebra are not directly using the linear reps but rather compact fin dim G - if I recall

    @Urs, #17 sorry to repeat but secondary class does NOT mean curvature vanishes far from it - cf Chern-Simons

    classical Chern-Weil was phrased in terms of Lie groups but the dg algebra makes sense in rational (or real) homotopy theory e.g. for G jsut a based loop space ΩX\Omega X

    you are right about e.g. 1/6 p_2 but somewhat with the wrong emphasis p_2 is for M as just a smooth manifold, IF M is string, the the disibilty follows at the Whitehead tower level - no need to invoke infty-C-W

    @ domenico_firorenza, #18 Thanks for saying ‘isomorphism classes of vector bundles’ often not said in other posts

    @ urs, #19 H_dR I think I recognize but what are H_diff versus H

    The latter.. explicate please

    @urs #24 what is THE universal bundle? and is the existence of a universal connection easier for U(1)? the general constructions are unpleasant

    was pseudo-connection defined and I mnissed it?

    no angular brackets visible in my printout

    what diff coh is all about - namely? maybe that’s why I’m struggling with it

    @Urs, #24 I think you can say THE universal bundle meaning up to iso! how do you have existence without choosing? what’s the universal construction ?

    @urs, # 33 pullback of the point!! as Zoran #38 points out later - a point as a G-space up to homotopy or some such to make it an honest statement

    @urs, # 34 ‘not equivalent ther’ - what’s the equivalence there?

    @urs, 39 the distinctions between E and B and P;E–> B are treated rather casually here also EG –> BG is treated as a fibration - not a bundle - when resolving * –> BG

    ‘not a universal bundle in the usual sense ’ sure, since not a bundle or did your mean something else?

    G-action up to coherent homtopy - sure but refernce? folklore or ???

    @ domenico_fiorenzo #43 groupoid of (ISOMORPHISM CLASSES 0F) principal G-bundles as you acknowledge by the end of the parag

    forgetful maps - forgetting …??

    • CommentRowNumber56.
    • CommentAuthorUrs
    • CommentTimeAug 21st 2010
    • (edited Aug 21st 2010)

    Ok, this seems to be (done at an hidden level) exactly that H diff(,BG)\mathbf{H}_{diff}(-,\mathbf{B}G) I go on talking about.

    Essentially, yes, up to the following discussion: what I write B diffG\mathbf{B}_{diff}G is the coefficient for cocycles that encode GG-bundles with pseudo -connection. This is like bundles with connection, but minus some of the usual conditions to be satisfied by the connection forms. This is what makes B diffG\mathbf{B}_{diff}G a resolution of BG\mathbf{B}G: up to equivalence, every pseudo-connection can be gauged away.

    BUT, nevertheless, genuine connections do appear in the homotopy fiber: that’s because we compute the ordinary pullback of

    [CartSp op,sSet](X,B diffG)[CartSp op,sSet](X, dRB n+1U(1)) [CartSp^{op}, sSet](X, \mathbf{B}_{diff}G) \to [CartSp^{op}, sSet](X, \mathbf{\flat}_{dR} \mathbf{B}^{n+1} U(1))

    over each connected component on the right. And as discussed above, up to equivalence it does not matter which representative in each connected component we choose. So we will choose a nice representative: namley the oo-groupoid on the rights is the hypercohomology of XX with coefficients in the complex of sheaves

    Ω 1()d dRΩ cl n+1(). \Omega^1(-) \stackrel{d_{dR}}{\to} \to \cdots \to \Omega^{n+1}_{cl}(-) \,.

    One checks that (for n>0n \gt 0, see the discussion at circle n-bundles with connection for the special story at n=0n = 0) that this cohomology is just odinary de Rham cohomology: every cocycle is equivalent to one represented by a globalled defined closed (n+1)(n+1)-form.

    So we may choose without restriction to pull back these along the above map. And the magic is: this picks among all pseudo-connections the genuine connections! This is because the curvature of a pseudo-connection is not a globally-defined form, but just a cocycle in the above hypercohomology. So pulling back the genuine curvature forms picks the genuine connections.

    Kind of interesting how this works, right?

    • CommentRowNumber57.
    • CommentAuthorUrs
    • CommentTimeAug 21st 2010
    • (edited Aug 21st 2010)

    I fixed some sort of brackets typoi in the formula in the proof in the entry. There is a Q to Urs in 50 above (not too important for now).

    Thanks for editing some typos, Zoran! I wanted to go back and work on it when I saw you had locked the entry. But that was good, because I had to get out of the train and walk home anyway!

    I now have some more minutes to polish a bit more.

  10. what I write B diffG\mathbf{B}_{diff}G is the coefficient for cocycles that encode GG-bundles with pseudo-connection

    Fine. I’m ready to leave connections for pseudoconnection as the latter works better!

    Still something I have to make my mind clear about: given a diagram AstakrelfCgBA\stakrel{f}{\to}C\stackrel{g}{\leftarrow}B of groupoids, what is its (,1)(\infty,1)-pullback? I thought it was the usual fibred productof groupoids, i.e., the groupoid whose objects are triples (a,b,η)(a,b,\eta), with aa an object in AA, bb an object in BB, and η\eta an isomorphism in CC between f(a)f(a) and g(b)g(b) (and whose morphism are…). but there must be something I’m missing here.

    • CommentRowNumber59.
    • CommentAuthorUrs
    • CommentTimeAug 21st 2010
    • (edited Aug 21st 2010)

    Concerning the fibered product: yes, that’s right.

    Precisely, if all our obects are fibrant, then the homotopy pullback of AfBgCA \stackrel{f}{\to} B \stackrel{g}{\leftarrow} C is the ordinary limit over

    AfBB IBgC A \stackrel{f}{\to}B \leftarrow B^I \to B \stackrel{g}{\leftarrow } C .

    Equivalently, for C^B\hat C \to B any fibration replacement of CBC \to B, it is the ordinary pullback of AfBC^A \stackrel{f}{\to} B \stackrel{}{\leftarrow} \hat C.

    That’s one half of the subtlety. The other half is that a morphism of parameterized groupoids (stacks) ABA \to B is in general modeled by a span of ordinary morphisms AA^BA \stackrel{\simeq}{\leftarrow} \hat A \to B.

    A result of this is that when we see a morphism like curv:BU(1) dRB 2U(1)curv: \mathbf{B}U(1) \to \mathbf{\flat}_{dR} \mathbf{B}^2 U(1) in the \infty-category, it may be much richer than an ordinary morphism of the groupoids of the same name. That’s where the connection-information gets into the game here: in order to model the morphism curvcurv, one needs a span, that first lifts to U(1)U(1)-bundles with pseudo-connection, and only then maps to the curvatures: curvcurv is modeled by the “anafunctor

    B diffU(1) dRB 2U(1) BU(1) \array{ \mathbf{B}_{diff}U(1) &\to& \mathbf{\flat}_{dR} \mathbf{B}^2 U(1) \\ \downarrow^{\simeq} \\ \mathbf{B}U(1) }
    • CommentRowNumber60.
    • CommentAuthorUrs
    • CommentTimeAug 23rd 2010
    • (edited Aug 23rd 2010)

    Domenico,

    my little niece and nephew took care that I didn’t have too much time for our discussion here over the weekend, but now looking back at wat we said above I feel that maybe I should highlight the following points more, for clarification:

    for every \infty-Lie group GG with \infty-Lie algebra 𝔤\mathfrak{g} there is an object that I write BG conn\mathbf{B}G_{conn} and which is such that cocycles with values in it are genuine \infty-connections on GG-principal \infty-bundles. In terms of the model, this is a subobject

    BG connBG diffBG \mathbf{B}G_{conn} \hookrightarrow \mathbf{B}G_{diff} \stackrel{\simeq}{\to} \mathbf{B}G

    of that other object that I decided to call BG diff\mathbf{B}G_{diff}, and which is such that cocycles with values in it may be tought of as pseudo-connections on GG-bundles. The inclusion picks among all pseudo-connections the genuine connections.

    So for any XX we could simply look at

    H(X,BG conn) \mathbf{H}(X, \mathbf{B}G_{conn})

    and this would be the \infty-groupoid of GG-bundles with connections.

    I am saying this in case my above replies gave the impression that I did not know how to encode that \infty-groupoid. The problem is not writing this down, but understanding its intrinsic, model-independent meaning. Because a priori BG conn\mathbf{B}G_{conn} is something built “by hand” in the model, with no intrinsic origin in the (,1)(\infty,1)-topos.

    Except in the abelian case: for abelian coefficient the proof at circle n-bundle with connection shows that BG conn\mathbf{B}G_{conn} represents the intrinsically defined differential cohomology. At least over a smooth manifolds! The situation is more complex on orbifolds, where genuine \infty-connections are actually the wrong thing to look at ! This is in fact another way to see that BG conn\mathbf{B}G_{conn} is “not intrinsic”.

    In this language, the \infty-Lie algebraic constructions in my articles with Hisham Sati and Jim Stasheff amount to constructing for a given \infty-Lie algebra cocycle on 𝔤\mathfrak{g} that integrates to a cocycle BGB nU(1)\mathbf{B}G \to \mathbf{B}^n U(1) a fibration

    BG diffB nU(1) diff \mathbf{B}G_{diff} \to \mathbf{B}^n U(1)_{diff}

    that lifts this to differential coefficients, and to identify the (ordinary) fibers of this morphism.

    Postcomposed with the fibration B nU(1) diff dRB n+1U(1)\mathbf{B}^n U(1)_{diff} \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1} U(1) these fibers compute the homotopy fibers of the morphisms

    H(X,BG)H dR(X,B n+1(1)) \mathbf{H}(X, \mathbf{B}G ) \to \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} (1))

    that send GG-bundles to the given characteristic class in real/de Rham cohomology.

    Precomposed with the inclusion of genuine connections, this lifts to genuine connections

    BG conn B nU(1) conn BG diff B nU(1) diff. \array{ \mathbf{B}G_{conn} &\to& \mathbf{B}^n U(1)_{conn} \\ \downarrow && \downarrow \\ \mathbf{B}G_{diff} &\to& \mathbf{B}^n U(1)_{diff} } \,.
    • CommentRowNumber61.
    • CommentAuthorUrs
    • CommentTimeAug 23rd 2010

    That said, I think you are right about your suggestion above to characterize an object H diff(X,BG)\mathbf{H}_{diff}(X, \mathbf{B}G) as the (homotopy) pullback of

    H diff,c(X,BG) H diff(X,B nU(1)) H(X,BG) c H(X,B nU(1)). \array{ \mathbf{H}_{diff,c}(X, \mathbf{B}G) &\to& \mathbf{H}_{diff}(X, \mathbf{B}^{n} U(1)) \\ \downarrow && \downarrow \\ \mathbf{H}(X, \mathbf{B}G) &\stackrel{c}{\to}& \mathbf{H}(X, \mathbf{B}^n U(1)) } \,.

    By what I said above, this is modeled by an ordinary pullback that produces pseudo-connections on GG-principal bundles that are subject to the constraint that their curvature characteristic form corresponding to cc behaves like that of an ordinary connection. That’s like the approximation to H(X,BG conn)\mathbf{H}(X, \mathbf{B}G_{conn}) as seen by the class cc.

    • CommentRowNumber62.
    • CommentAuthordomenico_fiorenza
    • CommentTimeAug 29th 2010
    • (edited Aug 29th 2010)

    Between yesterday and today there has been some behind the scenes email work between Urs and me, the relevant parts of which I’m now posting on the nForum.

    Domenico:

    The (oo,1)-topoi perspective offers beautyful insghts on the classical theory. To me, the most striking one is the fact that connections do not have an intrinsic meaning, while pseudo-connections do. Such a statement, and all its consequences, should have a crystal clear meaning even in a purely differerential geometry framework. But since I’m not sure about the answer to the question “What is a pseudo-connection? (classically)” I see I’m loosing a lot of the picture. I’m convinced an answer to the question, for the Lie group U(1) is contained in the “Observations” in this nLab page.

    But, if so, then the data of the a ija_{ij} are redundant, since a ija_{ij} is completely determined by A iA_i, A jA_j and g ijg_{ij}. So the only part left would be the cocycle-type equation a ij+a jk=a ika_{ij}+a_{jk}=a_{ik}. But now, if one replaces A jA idg ijA_j-A_i-dg_{ij} to a ija_{ij}, one finds just dg ij+dg jk=dg ikdg_{ij}+dg_{jk}=dg_{ik} and no condition on the A iA_i. So I’m lost.

    Urs:

    Yes, this redundancy is what makes the object of pseudo-connections a resolution of the space of bundles without connection.

    One way to think of it is that the a ija_{ij} are precisely the failure of the chosen forms to satisfy their connection cocycle condition. They absorb but record the mistakes we made in putting a connection on a bundle.

    So the only part left would be the cocycle-type equation a ij+a jk=a ika_{ij}+a_{jk}=a_{ik}. But now, if one replaces A jA idg ijA_j-A_i-dg_{ij} to a ija_{ij}, one finds just dg ij+dg jk=dg ikdg_{ij}+dg_{jk}=dg_{ik} and no condition on the A iA_i. So I’m lost.

    Yes, so this is essentially the proof that the canonical morphism BG diffBG\mathbf{B}G_{diff}\to \mathbf{B}G is a weak equivalence. Intentionally, BG diff\mathbf{B}G_{diff} is just a trivially “puffed up” version of BG\mathbf{B}G. A cocycle with values in BG diff\mathbf{B}G_{diff} involves a choice of a bunch of forms, but is made such that any choice works and nothing intrinsic has actually been chosen.

    BUT the point of all this is that out of BG diff\mathbf{B}G_{diff} and not out of the equivalent BG\mathbf{B}G we have a morphism to a sheaf of curvature forms

    curv:BG diff dRB nU(1).curv : \mathbf{B}G_{diff} \to \flat_{dR} \mathbf{B}^n U(1).

    This morphism needs that we have chosen forms before, because this morphism takes these forms, and computes their curvature. If the forms were chosen such that the a ija_ij were non-vanishing (pseudo-connections) then the curvatures computed from them will also not be globally defined forms. But they will always be equivalent to globally defined forms. So we may compute the homotopy fibers of curv over the globally defined forms. And THIS picks among all the pseudo-connections those for which a ija_ij vanishes, which are the genuine connections.

    So this whole business of pseudo-connections and BG diff\mathbf{B}G_{diff} is a way to compute homotopy fibers. The fact that the construction starts out looking very tautological and empty is the fact that the construction starts out with building a resolution which allows to model the morphism in question in the first place. Resolutions are precisely empty thickenings of something else.

    At the page you link to I try to give an example that should be illustrative: notice that there is in particular the pseudo-connection for which all the A iA_i are identically 0! Since they need not satisfy any condition, for a pseudo-connection we can just choose this trivial solution. Now the general nonsense says that this very “exotic” pseudo-connection with vanishing connection forms must be equivalent to a genuine connection with equivalent curvature. When one computes what this genuine connection associated to the “canonical pseudo connection” is, one finds that it is precisely the canonical connection constructed from a Cech cocycle

    A j= iρ idg ijA_j = \sum_i \rho_i d g_{i j}

    that one finds in the textbooks in the proof that every bundle admits a connection!

    In summary, to compute the curvature characteristic classes of a cocycle XC(U)gBGX \leftarrow C(U) \stackrel{g}{\to} BG of a GG-bundle, one has to first lift it through BG diffBG\mathbf{B}G_{diff}\to \mathbf{B}G to a cocycle XC(U)g^BG diffX \leftarrow C(U) \stackrel{\hat{g}}{\to} \mathbf{B}G_{diff} (containing no new information, but a bunch of arbitrary choices) and then compose to get XC(U)g^BG diff dRB nU(1).X\leftarrow C(U) \stackrel{\hat{g}}{\to} \mathbf{B}G_{diff}\to \flat_{dR} \mathbf{B}^n U(1).

    Now: a genuine conneciton is a particularly well-adapted such choice for a lift g^\hat{g} of gg. It is a good representative of something more intrinsically defined.

    Domenico:

    notice that there is in particular the pseudo-connection for which all the A_i are identically 0. […] one finds that it is precisely the canonical connection constructed from a Cech cocycle.

    This is funny: it is precisely what I was thinking to: if there’s no condition on the A iA_i’s, then I can choose all of them to be zero, and then the pseudo-connection machine will provide a cohomology class only depending on the bundle (since the only data now are the g ijg_{ij}’s).. but I had no time to work out the details: you’ve been quicker in replying :)

    Urs:

    the pseudo-connection machine will provide a cohomology class only depending on the bundle (since the only data now are the g ijg_{ij}’s)..

    Yes. Just for emphasis: this is not supposed to be a surprise: we know that the cohomology class of the curvature only depends on the bundle, being the image in de Rham cohomology of some characteristic class.

    Domenico:

    Well, this actually deserves still more emphasis! look at it this way: taking the trivial connection (i.e., taking the de rham differential) on each open subset U iU_i is precisely the starting point when one classically defines connections in a differential geometry textbook. Next one sees that things go wrong on double overlaps and cures this by means of partitions of unit to get a wholly defined connection. Then one goes from connections to curvature forms,and finally to curvature classes. But doing this one misses the other natural path! that is, take the local data (which do not glue together) and use them to define a Cech cohomology class. That’s the curvature class from scratch!

    Urs:

    Yes, I guess you are saying that it is useful to think of non-genuine pseudo-connections in the first place.

    In fact I think this point is widely under-appreciated. I originally became alerteded of this in Hamburg, when we were studying equivariant gerbes with connection: it comes initially as a surprise to see that taking the 2-stack of gerbes with connection and then picking equivariant objects in there as usual gives the wrong objects! It misses plenty of objects that should be there. The trouble is the equivariance condition on the genuine connections on the gerbes, this turns out to be much too strict.

    And the solution is: if you have an orbifold X//GX//G then it is not correct to think of its differential cohomology as morphisms X//GGerbesWithConnectionX//G \to GerbesWithConnection. Rather you should play that homotopy-pullback game for (GerbesWithoutConnection(X//G))(CurvatureFormsOn(X//G))(GerbesWithoutConnection(X//G)) \to (CurvatureFormsOn(X//G)). When one forms that homotopy homotopy pullback, one obtains first of all the right objects, and second one notices that these contain some objects that are only equivariant as gerbes with pseudo-connection.

    One way to think of this is: genuine connections are well-adapted nice representative of pseudo-connections – but only over manifolds. More generally this nice choice does not exist.

  11. Domenico:

    I was also thinking that the datum of a U(1)U(1)-pseudoconnection is precisely the datum of a collection of local U(1)U(1)-connections (relative to a good open cover with an associated trivialization of the bundle). Since we are considering a trivialized bundle on each U iU_i, in order to have a notion of pseudoconnection we do not actually need the full notion of a connection (that would be quite recursive…), but only of a “connection on a trivial bundle”.

    These have a natural functorial interpretation: if PUP \to U is a trivial principal GG-bundle (GG a Lie group), then a GG-connection on PP is nothing but a smooth functor Paths(U)BGPaths(U) \to \mathbf{B}G. Now we have a local association UFunctors(Paths(U)BG)U \to Functors(Paths(U) \to \mathbf{B}G) and the natural question is: how does this globalize? the natural answer I can imagine is: since the association above is clearly contravariant, it is a prestack over Cartesian spaces (just a fancy way of restating we are working with good open covers). So far saying “prestack” adds nothing to our picture, it is just a translation from differential geometrish to stackish. But once we have done this translation, we see there is now a natural way to globalize: stackify! And this, I strongly suspect, will produce pseudoconnections rather than connections. Namely, to give a “global section” of the stack thus obtained we do not have to give local connections which “coincide” on the overlaps, but local connections and local isomorphisms on the overlaps. Moreover, these local isomorphisms will have to satisfy a compatibility condition (a cocycle condition) on triple overlaps. So here it is: to a “natually globalized connection object” it corresponds a Cech cocycle with coefficients in local isomorphisms between local connections.

    So far everything seems clear and neat, but actually actually, here we are still missing a main ingredient: curvature! curvature tells us what happens when our paths in UU move and sweep 2-dimensional surfaces. So we get into 2-categorical business. And it is precisely this looking at an higher categorical level that simplifies it all: namely, the groupoid Paths(U)Paths(U) is promoted to Π 2(U)\Pi_2(U), a fancy way of saying that the local pair (connection, curvature) is better (it is flat!) than connection alone. The interesting fact is that (at least classically), the connection uniquely determines the curvature, so we can just write “connection” to mean the pair. But this should not distract us from the “real” object, that is the pair (connection, curvature). It’s a bit like in linear algebra: once basis are fixed, a linear morphism is the same thing as a matrix, and we can do a lot of operation with matrices; but we should not think of the matrix as the real object: the morphism is the real thing!

    So the real prestack we are dealing with should rather be U2Functors(Π 2(U)some2groupversionofG,probablyINN(G))U \to 2Functors(\Pi_2(U) \to some 2group version of G, probably INN(G)). Then we stackify and this time we should have the correct thing. This should be the (oo,1)-topos theoretic background.

    Now that we have been detouring into it, let us translate back to differential geometrish. Once we’ve seen our local connections as functors, we have no other natural choice for local isomorphisms than natural isomorphisms of functors. At the 1-functors level, these turn out to be nothing but local gauge transformations. But at the 2-functor level we see another totally classical feature of connection arising: the space of connection is an affine space over the space of 1-forms. So any connection can be shifted by a 1-form, and our natural 2-morphisms between two local connections (seen as functors Π 2(U)INN(G)\Pi_2(U) \to INN(G)) will be precisely these data: a local gauge transformation and a local shift such that the second connection is obtained by shifting the gauge-transformed first connection.

    Since connections are an affine space over 1-forms, there is exactly one shift on each U ijU_{ij} inducing the isomorphism between the local connection from U jU_j and the gauge transformed one from U iU_i. This means the addititional datum of local shift is actually redundant; nertheless, it is important to think of this datum, since as we’ve seen above it is an essential part of the real object: the local natural 2-isomorphism. And it will be the real object that matters in defining the curvature class.

    Urs:

    Now we have a local association UFunctors(Paths(U)BG)U \to Functors(Paths(U) \to \mathbf{B}G) and […] local connections and local isomorphisms on the overlaps.

    Yes, I essentially agree with this, but I think the following subtleties are important:

    The prestack UHom(𝒫 1(U),BG)U \mapsto Hom(\mathcal{P}_1(U), \mathbf{B}G) that sends a manifold to the groupoid of smooth functors from the smooth path 1-groupoid to the one-object groupoid of the Lie group GG is ideed the prestack of trivial GG-bundles with connections. It’s stackificaiton is the stack Bun (G)Bun_\nabla(G) of general GG-bundles with genuine connection.

    (Not with pseudo-connections! The isomorphism on the double intersections are iso of bundles with connection and hence give precisely the cocycle condition on the local connection forms).

    To get pseudo-connections in this language, we consider the prestack UHom(Π 2(U),BINN(G))U \mapsto Hom(\Pi_2(U), \mathbf{B}INN(G)). This assigns to UU the groupoid whose objects are trivial GG-bundles with connection, but whose morphisms are morphisms of trivial GG-bundles without necessarily respect for the connection. This prestack is what I’d call BG diff\mathbf{B}G_diff . It is equivalent to just BG\mathbf{B}G. This is an important subtlety: the collection of pseudoconnection in itself carries no information, it is a thicker groupoid equivalent to BG\mathbf{B}G. The point is rather that inside this thicker groupoid we may “carve out” the groupoids of bundles with connection, which however we cannot “carve out” of BG itself.

    Domenico:

    To get pseudo-connections in this language, we consider the prestack UHom(Π 2(U),BINN(G))U\mapsto Hom(\Pi_2(U), \mathbf{B} INN(G))

    Yes, that’s what I say in the second part of my email (which in turn is a version of what you wrote on nLab..). First part was a first order approximation :)

    Urs:

    Right. By the way, I said this somewhat incorrectly just now. Just for the record, let me say it once more even: since INN(G)INN(G) is actually just EG\mathbf{E}G with a group structure, it is contractible. Hence so is Hom(Π 2(),BINN(G))Hom(\Pi_2(-), \mathbf{B} INN(G)). The object BG diff\mathbf{B}G_diff is in fact the strict pullback of Hom(Π 2(),BINN(G))Hom((),BINNG)=BINN(G)Hom(\Pi_2(-), \mathbf{B} INN(G)) \to Hom((-), \mathbf{B} INN G) = \mathbf{B} INN(G) along the inclusion BGBINN(G)\mathbf{B} G \to \mathbf{B} INN(G). That is in fact another way of seeing that BG diff\mathbf{B}G_diff is equivalent to BG\mathbf{B}G: it is the pullback of BG\mathbf{B}G along a map between two contractible objects.

  12. Wait a minute! Are GG-pseudoconnections the same thing as flat INN(G)INN(G)-connections?

    • CommentRowNumber65.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2010

    Wait a minute! Are GG-pseudoconnections the same thing as flat INN(G)INN(G)-connections?

    On an ordinary GG-bundle, yes.

    Where “on an ordinary GG-bundle” means: if you restrict the flat differential INN(G)INN(G)-cocycle

    C(U)Hom(Π 2(),BINN(G)) C(U) \to Hom(\Pi_2(-), \mathbf{B}INN(G))

    along the canonical inclusions XΠ 2(X)X \to \Pi_2(X) to its underlying bare cocycle

    C(U)Hom(Π 2(),BINN(G))Hom(,BINN(G))=BINN(G) C(U) \to Hom(\Pi_2(-), \mathbf{B}INN(G)) \to Hom(-, \mathbf{B}INN(G)) = \mathbf{B} INN(G)

    then this 2-group cocycle must be assumed to factor through the inclusion BGBINN(G)\mathbf{B}G \to \mathbf{B}INN(G) and hence encode an ordinary GG-bundle.

  13. Yes! I’m always thinking of ordinary GG-bundles at the moment: it seems the intrinsic (oo,1)-topos perspective is sheding a beautiful light on the classical theory of connections and curvature, and are these classical aspects I am most interested in at the moment. So far I have a neat understanding of connections and pseudoconnections in terms of global sections of extremely natural and simply defined stacks. And also the feeling that the natural path is not connections –> curvature, but pseudoconnections –> curvature. But now I have to make this feeling something concrete, so now I have to go and understand the \flat business :)

    • CommentRowNumber67.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2010

    By the way, one more comment on the above:

    one can think of this in terms of the two conditions on an Ehresmann connection.

    An Ehresmann conneciton is, as you know, g-vlaued form, satisfying two conditions:

    1. on the fibers it restricts to the canonical form

    2. it is equivariant.

    We may think of the form as an element in Hom(Π 2(),BINN(G))Hom(\Pi_2(-), \mathbf{B}INN(G)).

    The first Ehresmann condition corresponds to the condition that restricted to points, this becomes the cocycle of a G-bundle.

    The second Ehresmann condition corresponds to the requirement that the curvature forms descend, and hence that this pseudo-connection is really a connection.

  14. Maybe I finally see some light (or I am Urs-possessed, which is hopefully the same thing..).

    As far as concerns the classical theory (GG-principal bundles, with GG a Lie group) the first step is: forget everything you know about principal bundles, connections, curvature, etc. The second step is: consider a few extremely simple functors defined on differential manifolds, e.g. XHom(Paths(X),BG)X\mapsto Hom(Paths(X),\mathbf{B}G), and the natural morphisms between these functors (also these morphisms are extremely natural, so much to appear quite trivial at times). The thirs step is: look at these functors as prestacks on the site of differential manifolds, and consider the associated stacks; morphisms between the original prestacks are now promoted to morphisms of stacks. The fourth and final step is: have a close look to these stacks, and see they are nothing but very clasical objects and constructions: principal bundles, connections, curvatures…

    There is a further step in this story: where did we use the fact we were on the site of differential manifolds? but this is another story (and Urs is telling it).

    • CommentRowNumber69.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 30th 2010

    You need things like the fact smooth manifolds are locally contractible, and have enough good covers, but apart from this, it’s all very general, as Stel’s master thesis (there’s a page on Urs’ web for it), shows.

    • CommentRowNumber70.
    • CommentAuthorUrs
    • CommentTimeAug 30th 2010
    • (edited Aug 30th 2010)

    it’s all very general

    Yes, that’s indeed true. One can set this up in a rather mind-blowing generality, once one sees what the abstract pattern is in the familiar case.

    But specifically, what is important about the (,1)(\infty,1)-topos over the site CartSp or ThCartSp (the (,1)(\infty,1)-Cahiers topos) is that for this one the abstract definitions do reproduce the familiar smooth differential geometry – as opposed to something more exotic but similarly-behaved.

    For instance there is for every groupal object AA in a \infty-connected (,1)(\infty,1)-topos the object dRBA\mathbf{\flat}_{dR} \mathbf{B}A that plays the role of the coefficient for AA-valued generalized de Rham cohomology. Speicifically in the topos over CartSpCartSp, this happens to be given by the familiar complex of sheaves of smooth differential forms.

    Dually the same stament holds for the path \infty-groupoid: it exists in great generality, but over CartSpCartSp it is actually modeled by the familia smooth paths.

  15. Speicifically in the topos over CartSp, this happens to be given by the familiar complex of sheaves of smooth differential forms.

    And specifically this is what I’m aiming to at the moment: ordinary differential geometry of principal bundles offers a perfect palyground where can make the abstract ideas play while remaining concrete. It is a very concrete and familiar example, but at the same time one perceives the whole abstract structure in the background. A slogan for this could be: Connections and curvature: an exercise in stackification.

    • CommentRowNumber72.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    let me try to collect all the local (i.e. prestack) ingeredients of the construction to see if I got it (at least within some approximation degree). I will remain classical, so GG will be a Lie group in what follows and the context will be that of classical differential geometry. writing F(X)F(X) for the prestack XF(X)X\mapsto F(X), and saying “leading” to mean “which upons stackification produces”, the involved prestacks should be:

    Hom(X,BG)Hom(X,\mathbf{B}G), leading to principal GG-bundles

    Hom(𝒫 1(X),BG)Hom(\mathcal{P}_1(X),\mathbf{B}G), leading to princiapal GG-bundles with connections

    Hom(Π(X),BINN(G))Hom(\Pi(X),\mathbf{B}INN(G)), leading to principal GG-bundles with pseudoconnections (this includes the curvature data)

    Hom(Π(X),B nU(1))Hom(\Pi(X),\mathbf{B}^n U(1)) leading to flat U(1)U(1)-nn-gerbes (with connection)

    Hom(X,B nU(1))Hom(X,\mathbf{B}^n U(1)), leading to U(1)U(1)-nn-gerbes

    the “transition” from GG-bundles to U(1)U(1)-gerbes is via the hom-space

    Hom(BINN(G),B nU(1))Hom(\mathbf{B}INN(G),\mathbf{B}^n U(1)) classically corresponding to invariant polynomials.

    • CommentRowNumber73.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2010

    Yes.

    Except maybe this one point: just to remove all possibilities for misunderstandings, I want to emphasize the following once more:

    BINN(G)\mathbf{B} INN(G) is equivalent to the point. By itself Hom(Π(X),BINN(G))Hom(\Pi(X), \mathbf{B}INN(G)) encodes flat INN(G)INN(G)-2-bundles, but each of these is equivalent to the trivial one, in this 2-groupoid.

    The role of BINN(G)\mathbf{B}INN(G) is not by itself, but that using this one can build a resolution BG diff\mathbf{B}G_{diff} of BG\mathbf{B}G that encodes pseudoconnections.

    BG diff:=Hom(Π(),BINN(G))× BINN(G)BG. \mathbf{B}G_{diff} := Hom(\Pi(-), \mathbf{B} INN(G)) \times_{\mathbf{B} INN(G)} \mathbf{B}G \,.

    Then

    Hom(X,BG diff) Hom(X, \mathbf{B}G_{diff})

    is bundles with pseudo-connection.

    • CommentRowNumber74.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    And another comment: the bit about invariant polynomials is essentially right, but maybe it is a bit more subtle:

    One simple statement that is true is that every invariant polynomial ,\langle -,-\rangle gives a functor

    BG diffτ 1 dRB nU(1) \mathbf{B}G_{diff} \to \tau_1 \mathbf{\flat}_{dR} \mathbf{B}^n U(1)

    where on the right we have the sheaf of 1-groupoids whose objects are closed nn-forms and whose 1-morphisms are (n1)(n-1)-forms modulo exact forms.

    Recall, this is as in Simons-Sullivan structured bundles.

    this functor sends a connection to its curvature characteristic form and a shift between two connections to the corresponding Chern-Simons form, which is indeed well-defined modulo exact forms.

    If one wants to get rid of this truncation, one has to be a bit careful with some global issues. The simple construction goes through untruncated when one is high enough in the Whitehead tower.

    • CommentRowNumber75.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    One more comment: notice that this pullback sheaf

    BG diff:=Hom(Π(),BINN(G))× BINN(G)BG \mathbf{B}G_{diff} := Hom(\Pi(-), \mathbf{B}INN(G)) \times_{\mathbf{B}INN(G)} \mathbf{B}G

    is the sheaf that assigns to UU the groupoid whose objects are diagrams of this form

    U BG underlyingcocycle Π(U) BINN(G) (pseudo)connection \array{ U &\to& \mathbf{B}G &&& underlying \; cocycle \\ \downarrow && \downarrow \\ \Pi(U) &\to& \mathbf{B}INN(G) &&& (pseudo)connection }

    and whose morphisms are homotopies of such diagrams (compatible homotopies of the top and bottom morphism).

  16. the truncation issue I have to understand better. at the differential forms level it seems quite clear how the pattern should continue: τ 2 dRB nU(1)\tau_2\flat_{dR}\mathbf{B}^n U(1) should have closed nn-forms as objects, (n1)(n-1)-forms as 1-morphisms, and (n2)(n-2)-forms modulo exact forms as 2-morphisms. so the untruncated version suggested by this should be the de Rahm chain complex arising in Deligne cohomology. In particular, stackifying should produce cocycles in Cech-de Rahm hypercohomology, which seem a natural way to obtain ordinary cohomology classes in the end. but you are warning me that this is a too naive picture, so I have to understand it better.

    Link to Simons-Sullivan structured bundles is not working.

    • CommentRowNumber77.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    it seems quite clear how the pattern should continue

    Well, of course it is clear what the untruncated dRB nU(1)\mathbf{\flat}_{dR} \mathbf{B}^n U(1) is: it is a theorem that this is the image under Dold-Kan of the complex of sheaves Ω 1()Ω cl n()\Omega^1(-) \to \cdots \to \Omega^n_{cl}(-).

    But the thing is that for invariant polynomials of degree greater than two, the functor BG diff dRB nU(1)\mathbf{B}G_{diff} \to \mathbf{\flat}_{dR} \mathbf{B}^n U(1) does not exist:

    because on the left morphisms are shifts of connections 1 2 \nabla_1 \to \nabla_2 and 2 3\nabla_2 \to \nabla_3, and they compose strictly. They are sent to Chern-Simons-Forms, but these don’t quite compose strictly in general

    CS( 1, 2)+CS( 2, 3)=CS( 1, 3)+dλ. CS(\nabla_1 ,\nabla_2) + CS(\nabla_2, \nabla_3) = CS(\nabla_1 , \nabla_3) + d \lambda \,.

    So there is a subtlety here.

    One way to resolve this is to to further resolver BG\mathbf{B}G. For instance we can always regard this 1-groupoid as an equivalent 2-groupoid B˜G\tilde \mathbf{B} G whose morphisms are paths in GG and whose 2-morphisms surfaces in GG.

    Accordingly, then morphsims in B˜G diff\tilde \mathbf{B}G_{diff} are actual paths in the space of connections, and so we retain a bit more information on precisely which CS-form to choose.

    One can show that B˜G diff\tilde \mathbf{B}G_{diff} is suffiicient for producing the first Pontryagin degree 4 class as a functor

    B˜G diff dRB 4U(1) \tilde \mathbf{B}G_{diff} \to \mathbf{\flat}_{dR} \mathbf{B}^4 U(1)

    to the untruncated de-Rham coefficient object.

    But to go to the second degree 8 Pontryagin class, one has to be more sophiscticated. One way is if the first Pontryagin class vanishes, then we have a lift through String(G)GString(G) \to G and using that we can replace B˜G diff\tilde \mathbf{B}G_{diff} by a 7-groupoid out of which we do have a functor to dRB 8U(1)\mathbf{\flat}_{dR} \mathbf{B}^8 U(1) that gives the second Pontryagin class.

    I try to discuss this in a bit more detail on the oo-CW theory page. But the discussion needs more polishing.

    Simons-Sullivan structured bundles is not working.

    Google sees it. Try this one Simons-Sullivan structured bundle

    • CommentRowNumber78.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    ah, ok. so in my “list of ingredients” above I have to add τ 1 dRB nU(1)\tau_1 \flat_{dR}\mathbf{B}^n U(1) to write the cospan

    BG diffτ 1 dRB nU(1) dRB nU(1)\mathbf{B}G_{diff}\to \tau_1 \flat_{dR}\mathbf{B}^n U(1)\leftarrow \flat_{dR}\mathbf{B}^n U(1),

    right?

    • CommentRowNumber79.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    Right, that’s a way to put it.

    There is one gap in my understanding:

    I do know the pretty evident way to construct these morphisms BG diffτ 1 dRB n\mathbf{B}G_{diff} \to \tau_1 \mathbf{\flat}_{dR}\mathbf{B}^n \mathbb{R} into the truncated object for each degree nn invariant polynomial.

    I also do know then, using Simons-Sullivan, that the ordinary pullback of curvature classes along the induced

    H(X,BG diff) iH(X,τ 1B n i)\mathbf{H}(X, \mathbf{B}G_{diff}) \to \prod_{i} \mathbf{H}(X, \tau_1 \mathbf{B}^{n_i} \mathbb{R})

    (where ii runs over generators of the collection of invariant polynomials) is a groupoid whose connected components are Simons-Sullivan structured bundles. Hence that this gives the “unstable” version of differential K-theory, by their central result (i.e. itt gives differential K-theory after Grothendieck-group completion).

    So this sounds good. But right now my trouble is that I am lacking an explanation of the abstract \infty-categorical origin of these constructions. That ordinary pullback I mention above must model some homotopy pullback. But I don’t yet see which one.

    So this is something that still bothers me.

    • CommentRowNumber80.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    in #77 I’m not too surprised of Chern-Simons forms not compose strictly: a relation of the form

    CS( 1, 2)CS( 1, 3)+CS( 2, 3)=dλ 123CS(\nabla_1,\nabla_2)-CS(\nabla_1,\nabla_3)+CS(\nabla_2,\nabla_3)=d\lambda_{123}

    is precisely what I would expect. I would even call λ\lambda a ternary characteristic class.

    • CommentRowNumber81.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2010

    Yes, right. Not sure how you mean your comment, but just to clarify: I didn’t mean to say that it is surprising, just that it is a fact that shows why this truncation-business comes in.

    • CommentRowNumber82.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    But I think you hit the nail on the head with the term “ternary characteristic class”. That gives the right picture of precisely the issue we are confronted with here.

    • CommentRowNumber83.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 3rd 2010

    in #77 I’m not too surprised of Chern-Simons forms not compose strictly

    evidence that CS(-,-) is a pseudofunctor or similar?

    • CommentRowNumber84.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    evidence that CS(-,-) is a pseudofunctor or similar?

    Yes, that’s effectively what we have been discussing: for a simply connected Lie group the degree 4-classes can be realized as 4-functors that send

    • a connection \nabla to its Pontryagin form F F \langle F_\nabla \wedge F_\nabla \rangle

    • a path of connections γ:\gamma : \nabla \to \nabla' to the associated Chern-Simons form CS γ(,)= γF^ ,F^ ,CS_\gamma(\nabla,\nabla') = \int_\gamma \langle \hat F_{\nabla,\nabla'} \wedge \hat F_{\nabla,\nabla'}\rangle

    etc. It is due to the fact that every Lie group has vanishing π 2\pi_2 that this is actually coherent.

    For the same reason this straightforward assignment fails for higher classes. One way to fix this is to pass to higher covers of GG. Out of the String-2–group there is indeed an 8-functor

    BString diff dRB 8U(1) \mathbf{B}String_{diff} \to \mathbf{\flat}_{dR} \mathbf{B}^8 U(1)

    which sends a connection \nabla to its second Pontryagin form F F F F \langle F_\nabla \wedge F_\nabla \wedge F_\nabla \wedge F_\nabla \rangle. This is effectively because StringString has vanishing π 6\pi_6.

    This is explained in some detail at infinity-Chern-Weil theory. I plan today to polish that entry further.

    • CommentRowNumber85.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    @ Urs: in #75 you mean BG diff:=(BINN(G)))× BINN(G)BG\mathbf{B}G_{diff} :=(\flat \mathbf{B}INN(G))) \times_{\mathbf{B}INN(G)} \mathbf{B}G ?

    • CommentRowNumber86.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    Domenico,

    yes. That’s the same!

    Except maybe that strictly speaking \mathbf{\flat} is what I use for the abstract \infty-functor and here when we write this pullback it is all about working with very specificic models so that one should say which model precisely for INN(G)\mathbf{\flat} INN(G) we mean. We should mean the model INN(G)=Hom(Π(),BINN(G))\mathbf{\flat}INN(G) = Hom(\Pi(-), \mathbf{B}INN(G)), where the hom is that of diffeological 2-groupoids.

    • CommentRowNumber87.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    Domenico and David,

    I started writing out details of the Chern-Simons form business that we have been discussing in the last messages at Chern-Simons form in the new section In oo-Chern-Weil theory.

    It breaks off at some point. Because I have to run to grab some breakfast now!

    • CommentRowNumber88.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010

    it is all about working with very specificic models

    Maybe I should expand on this:

    the simplest model for BG\mathbf{\flat}\mathbf{B}G is simply the constant presheaf, that is constant on the bare nn-groupoid that underlies BG\mathbf{B}G.

    But for our purposes, of central importance is the de Rham coefficient object dRBG\mathbf{\flat}_{dR} \mathbf{B}G which is the homotopy fiber of the canonical morphism BGBG\mathbf{\flat}\mathbf{B}G \to \mathbf{B}G.

    To handle that conveniently, we want a bigger model of BG\mathbf{\flat}\mathbf{B}G such that this morphism becomes a fibration.

    That’s where differential forms come in. Their complex provides a resolution of the constant sheaf.

    This is, apart from some generalization to nonabelian setting, the basic step of the de Rham theorem (as described there).

    • CommentRowNumber89.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    Have now added to Chern-Simons form HERE more details on how these come about from the general abstract point of view

  17. so, the correct list of ingredients should be:

    BG\mathbf{B}G (principal GG-bundles)

    BG conn\mathbf{B}G_{conn} (principal GG-bundles with connections)

    BG diff=(BINN(G))× BINN(G)BG\mathbf{B}G_{diff}=(\flat\mathbf{B}INN(G))\times_{\mathbf{B}INN(G)}\mathbf{B}G (principal GG-bundles with pseudoconnections)

    dRBG=BG× BG{*}\flat_{dR}\mathbf{B}G=\flat\mathbf{B}G\times_{\mathbf{B}G}\{*\} (de Rahm coefficient object)

    and, finally, the morphism BG diffτ 1 dRB nU(1)\mathbf{B}G_{diff}\to \tau_1\flat_{dR}\mathbf{B}^n U(1) induced by an invariant polynomial.

    If no ingredient is missing, in a follow up post I’ll try to display the diagram relating all these ingredients.

    • CommentRowNumber91.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    now I finally went through the Motivation-section and polished a bit. Notably I corrected the groupoid degrees.

    Also I made all the Chern-Weil morphisms go H conn(X,BG)H diff(X,B nU(1))\mathbf{H}_{conn}(X,\mathbf{B}G ) \to \mathbf{H}_{diff}(X,\mathbf{B}^n U(1)), adding the conn{}_{conn}. Domenico was quite right that this is the construction I actually give, not out of H(X,BG)\mathbf{H}(X, \mathbf{B}G) itself as I originally stated incorrectly.

  18. Domenico was quite right..

    Glad to hear this :) I apologize for having been so insistent (and maybe annoying) on that.

    • CommentRowNumber93.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010

    maybe annoying

    no, not at all! I am glad we talked about this and that you caught that. That’s the point of discussing stuff here, so that it gets ironed out.

    • CommentRowNumber94.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 4th 2010
    • (edited Sep 4th 2010)

    no, not at all!

    :)

    as promised, let me start collecting here the morphisms relating the various ingredients (this is just for the occasional reader’s convenience: all these morphisms are described in nLab, but spread across several pages).

    BG connBG\mathbf{B}G_{conn}\to \mathbf{B}G. this is the "forget the connection morphism"; it is induced by the inclusion of constant paths X𝒫 1(X)X\to \mathcal{P}_1(X)

    BGBINN(G)\mathbf{B}G\to \mathbf{B} INN(G). every principal GG-bundle induces a principal INN(G)INN(G)-bundle. this is induced by the natural morphism GINN(G)G\to INN(G)

    BGB connG\flat\mathbf{B}G\to \mathbf{B}_{conn}G. this is the "forget you knew the connection was flat" morphism; it is induced by the composite morphism 𝒫 1(X)Π(X)τ 1Π(X)=Π 1(X)\mathcal{P}_1(X)\to \Pi(X)\to \tau_1\Pi(X)=\Pi_1(X)

    BG connBINN(G)\mathbf{B}G_{conn}\to \flat\mathbf{B} INN(G). this is the "every connection is flat" principle. a clear way of looking at it is as a manifestation of the freeness property of the Weil algebra of a Lie algebra.

    BG connBG diff\mathbf{B}G_{conn}\to \mathbf{B}G_{diff}. this is "every connection is a pseudoconnection". it is induced by the two morphisms BG connBG\mathbf{B}G_{conn}\to \mathbf{B}G and BG connBINN(G)\mathbf{B}G_{conn}\to \flat\mathbf{B} INN(G) described above; what one is saying is simply that given a principal GG-bundle with connection PP, the principal INN(G)INN(G)-bundle underlying the flat INN(G)INN(G)-bundle associated with PP is nothing but the the principal INN(G)INN(G)-bundle associated with the principal GG-bundle underlying PP.

    Enough for today. Next morphism I will describe is the crucial BG diffτ 1 dRB nU(1)\mathbf{B}G_{diff}\to\tau_1\flat_{dR}\mathbf{B}^n U(1)

    • CommentRowNumber95.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 4th 2010
    • (edited Sep 4th 2010)

    while still thinking of BG diffτ 1 dRB nU(1)\mathbf{B}G_{diff}\to \tau_1\flat_{dR}\mathbf{B}^n U(1) (edit: I had forgot the essential dR\flat_{dR} in the previous version of this and of the above post), let me add that picking up a morphism BGB nU(1)\mathbf{B}G\to \mathbf{B}^n U(1) and using the functoriality of the construction one induces from it a morphism BG diffB nU(1) diff\mathbf{B}G_{diff}\to \mathbf{B}^n U(1)_{diff}. In particular, by precomposing with BG connBG diff\mathbf{B}G_{conn}\to\mathbf{B}G_{diff} this should give the morphism considered by Urs in #91. this should also descend to a natural morphism BG connB nU(1) conn\mathbf{B}G_{conn}\to\mathbf{B}^n U(1)_{conn} (or at least it is unclear to me why it would not descend to).

    • CommentRowNumber96.
    • CommentAuthorUrs
    • CommentTimeSep 4th 2010
    • (edited Sep 4th 2010)

    Good point. Let me tell you what I know, and what I don’t know:

    What I know is how to model the abstractly defined morphism BGB nU(1) dRB n+1U(1)\mathbf{B}G \to \mathbf{B}^n U(1) \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1}U(1) in terms of connectiomns and curvature invaraints in the case that GG itself comes from an \infty-Lie algebra cocycle.

    So if BG=cosk n+1exp(𝔤)\mathbf{B}G = \mathbf{cosk}_{n+1} \exp(\mathfrak{g}) comes from Lie integration (for instance 𝔤\mathfrak{g} a semisimple Lie algebra and n=2n = 2) and μ\mu is an (n+1)(n+1)-cocycle

    CE(𝔤)CE(b n):μ CE(\mathfrak{g}) \leftarrow CE(b^n \mathbb{R}) : \mu

    then we have a canonical functorial morphism

    exp(μ):BGcosk n+1exp(𝔤)cosk n+1exp(b n)/B n+1/, \exp(\mu ) : \mathbf{B}G \simeq \mathbf{cosk}_{n+1} \exp(\mathfrak{g}) \to \mathbf{cosk}_{n+1} \exp(b^{n}\mathbb{R})/\mathbb{Z} \simeq \mathbf{B}^{n+1} \mathbb{R}/\mathbb{Z} \,,

    where the lattice we are dividing out of \mathbb{R} is that generated by the periods of the chosen cocycle over (n+1)(n+1)-balls.

    By finding any invariant polynomial for μ\mu, this construction may be thickened to one that includes connections, by integrating in the same fashion instead the diagram

    CE(𝔤) μ CE(b n) W(𝔤) (cs,) W(b n) \array{ CE(\mathfrak{g}) &\stackrel{\mu}{\leftarrow}& CE(b^n \mathbb{R}) \\ \uparrow && \uparrow \\ W(\mathfrak{g}) &\stackrel{(cs, \langle - \rangle)}{\leftarrow}& W(b^n \mathbb{R}) }

    to a morphism called then BG diffB n/ diff\mathbf{B}G_{diff} \to \mathbf{B}^n \mathbb{R}/\mathbb{Z}_{diff}.

    Then it is a theorem that the abstractly defined morphism BGB nU(1) dRB n+1U(1)\mathbf{B}G \to \mathbf{B}^n U(1) \to \mathbf{\flat}_{dR}\mathbf{B}^{n+1} U(1) is modeled by postcomposing this further with the projection

    CE(b n) 0 W(b n) CE(b n+1). \array{ CE(b^n \mathbb{R}) &\leftarrow& 0 \\ \uparrow && \uparrow \\ W(b^n \mathbb{R}) &\leftarrow& CE(b^{n+1} \mathbb{R}) } \,.

    So that’s the construction of the “\infty-Chern-Weil homomorphism”. It is all very functorial and natural, except that there is this issue with the coskeletal truncation.

    If for instance 𝔤\mathfrak{g} is an ordinary Lie algebra, then cosk 2exp(𝔤)\mathbf{cosk}_2 \exp(\mathfrak{g}) is equivalent to BG\mathbf{B}G for GG the simply connected Lie group integrating it and also cosk 3exp(𝔤)\mathbf{cosk}_3 \exp(\mathfrak{g}) is, but already cosk 4exp(𝔤)\mathbf{cosk}_4 \exp(\mathfrak{g}) is no longer. This instead gives something similar to the String-group cover, but with a discrete group replacing where the string group is buit from a copy of U(1)U(1).

    That’s where all this business about the truncation comes in .

    But now one could look at something else, wich it seems you have in mind: it so happens that the BG diff\mathbf{B}G_{diff} obtained by Lie integration and truncation at n=1n = 1 as above is equivalent to that pullback

    BINN(G)× BINN(G)BG \mathbf{\flat}\mathbf{B}INN(G) \times_{\mathbf{B}INN(G)} \mathbf{B}G

    that we have been discussing. In order to form this kind of construction, all we need is the INN()INN(-)-construction. This is available in full generality whenever GG itself comes to us modeled by a simplicial group. This is desscribed at groupoal model for universal principal infinity-bundles.

    So in this sense we can form BG diff\mathbf{B}G_{diff} for all simplicial smooth groups GG, and this construction is then functorial and in particular we form every morphism BGB nU(1)\mathbf{B}G \to \mathbf{B}^n U(1) functorially a corresponding morphism BG diffB nU(1) diff\mathbf{B}G_{diff} \to \mathbf{B}^n U(1)_{diff}.

    BUT, for this construction, since it no longer works over Lie integraion, I no longer know currently how to prove that this still models Chern-Weil, i.e. that the evident composite

    BGBG diffB nU(1) diff dRB n+1U(1) \mathbf{B}G \stackrel{\simeq}{\leftarrow} \mathbf{B}G_{diff} \to \mathbf{B}^n U(1)_{diff} \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1}U(1)

    still is a model for the curvature characteristic class we set out to model.

    From the looks of it it likely is. But I don’t have control over this construction currently.

    • CommentRowNumber97.
    • CommentAuthorUrs
    • CommentTimeSep 4th 2010

    I like your summary list above. Now started to include such a summary in infinity-Chern-Weil theory – preparatory concepts.

    But, as I said in another thread, I am currently having a huge problem that I always get error messages when trying to save this particular entry ! I am at a bit of loss as to what to do about it.

    So I couldn’t save it and instead tried if maybe somehow it’s the title that causes problem. So I changed the titled and saved it as infinity-Chern-Weil theory introduction.

    That worked! But only once. Next I tried to re-edit the renamed entry – and again was prevented from it.

    I hope I can dream up some solution to this problem soon.

    • CommentRowNumber98.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 4th 2010
    • (edited Sep 4th 2010)

    I’ll now try to edit it to see if it works. by the way, in the Summary section I would have Π\Pi rather than Π 2\Pi_2.

    edit: I corrected a couple of typos; that worked.

    I would also add to the list of basic morphisms BEAB 2A\mathbf{B}\mathbf{E}A\to \mathbf{B}^2A (delooped universal AA-bundle), and the consequent BA diff dRB 2A\mathbf{B}A_{diff}\to\flat_{dR}\mathbf{B}^2 A (Chern-Weil morphism).

    • CommentRowNumber99.
    • CommentAuthorUrs
    • CommentTimeSep 4th 2010

    Sounds good. Thanks for fixing typos.

    I am currently busy with polishing the discussion at Chern-Simons 2-gerbe that I split off from the oo-Chern-Weil theory business. That is about a detailed unwinding of the construction of the differential refinement of the first Pontryagin class.

    • CommentRowNumber100.
    • CommentAuthorjim_stasheff
    • CommentTimeSep 4th 2010
    #94 Domenico

    Is there any way to print out e.g. 94 - 99 without 1-93?

    In the next version, would it be possible to recall the definitions of all these variants on $\mathbf{B}G$?
    though with the clear description of the morphisms between them, I guess it can be filled in

    at some point, reference is made to various H(X,Y), usually meaning homtopy classes of maps X to Y
    for which alternative notations {X,Y} or $\pi(x,Y)

    Is there some (psychological?) implication to using H?