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
    • CommentTimeJul 22nd 2010
    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeAug 2nd 2010
    • (edited Aug 2nd 2010)

    About groupoid of Lie algebra valued forms. You (Urs S.) have several versions of functorial ways to express a connection, including this stuff about adjoint triple of functors and flat part of BG which is the most beautiful. But let us go back to your 2007 and 2008 papers with Konrad. You used there the thin fundamental n-groupoid (which you call path groupoid) and proved the equivalence of the corresponding definition of connection/transport with the one via differential forms. The study of ODE’s has been used in one direction. Now using infinitesimal path groupoid like in synthetic geometry looks less cumbersome and more natural than the thin homotopies (everybody has intuition about calculus, but who has ever computed the thin homotopy classes). Thus, I’d rather look for a proof via synthetic methods. (any remarks?)

    On the other hand, the classical approach to parallel transport is also a bit different, namely one does not talk about homotopy at all, neither thin nor not thin. One instead first defines a principal or associated bundle PP without connection and looks at the isomorphisms of all fibers as forming a groupoid whose object part projects onto the base manifold; then one looks at “parallel transport” functors from the groupoid of piecewise smooth paths downstairs such that the object part is a section of the projection and such that the whole prescription is smooth in the sense that the tangent to the parallel transport in any direction is well defined and all such “horizontal” tangents form a submanifold of the tangent bundle of the total space. It is classical that such “smooth transport functors into total space” are equivalent to the differential form approach. Now, Urs has found an approach without talking the total space and talking just the generic fiber; the notion of the smoothness there is a bit more complicated as it required the interpretation of thin homotopy groupoid as a diffeological space. I am looking at how to order in my head best the relation between the different approaches to the connections and would like the proofs to have minimal cumbersome detail.

    P.S. Yet another difference to have in mind is that the differential forms in question in classical setup are just the forms on the manifold, and the open sets are open sets in the base manifold. Urs’s approach is rather taking the forms as depending on the objects in the site of Cartesian spaces.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeAug 2nd 2010

    Of course, I am not aware if anybody has generalized the notion of the horizontal distribution to the case of smooth higher principal bundles (with total spaces). It should not be difficult: the differential form version gives us hints. Of course while the differential forms can live abstractly in the Lie n-algebra like above in Urs’s approach, they have concrete meaning when the structure group is related to the morphisms between the fibers.

    In the case when the structure n-group is replaced by n-groupoid, then part of the data for a principal bundle is the action which entails the momentum map (which has not been commented in the typical fiber approach).

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 3rd 2010

    Of course, I am not aware if anybody has generalized the notion of the horizontal distribution to the case of smooth higher principal bundles (with total spaces).

    I had a think about this a few years back, when I was still working in the differential geometric setting, but I didn’t get anywhere. No one has, to my knowledge either, considered connections like this, except possibly Danny Stevenson - he gave a talk once involving a higher Atiyah sequence. If you like I can track it down.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeAug 3rd 2010

    I know of his work on Atiyah sequences (online slides from Danny’s talk in Minnesota, we should link it in nlab) and was thinking myself some on it, 3-4 years ago. It is related to Ehresmann appraoch to connections, that is via horizontal distributions, but the study of Atiyah sequence while useful is not necessary for that theory (historically also Atiyah’s work came later – in 1957).