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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity group-theory 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 infinity integration-theory k-theory kan lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal

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.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 10th 2017

    I think I’m confused. We work with a distinction between path groupoids and fundamental groupoids and their higher versions, the former requiring considerations regarding smoothness, thin homotopies, etc. But we then have an entry shape via cohesive path ∞-groupoid and yet at shape modality it says that this modality

    sends an object to something that may be regarded equivalently as its geometric realization or its fundamental ∞-groupoid

    Is ’shape via cohesive path ∞-groupoid’ right? Why not fundamental ∞-groupoid?

    But then there is a “smooth shape modality” mentioned at shape modality.

    A probably related confusion is when connections are flat. So a connection on a bundle for a smooth space is defined via the path groupoid, but is flat if it factors through the fundamental groupoid. This explains by the shape-flat adjunction, why A\flat A is acting as coefficients for flat connections.

    But then it’s back here to speaking of shape as the path ∞-groupoid to define flat ∞-connections. So what’s a (non-flat) ∞-connection defined on?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2017
    • (edited Oct 10th 2017)

    This is the very issue that, way back, made me pass from the idea of parallel transport along “smooth path n-groupoids” as nn\to \infty to the concept of cohesion in \infty-toposes: It turns out that as nn \to \infty then the smooth path nn-groupoid of a smooth space becomes equivalent to its fundamental \infty-groupoid.

    This statement in full beauty was finally proven by Dmitri Pavlov only recently (and is still not on the arXiv, it seems). In the stable case, i.e. for sheaves of spectra, and evaluated just on compact test spaces, this is prop. 7.6 in Bunke-Nikolaus-Völkl 13

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 10th 2017

    Ah, interesting. But then on that basis, all connections factor through the fundamental \infty-groupoid, and so are flat? But there are not-flat such connections, no? connection on a smooth principal infinity-bundle.

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 10th 2017
    • (edited Oct 10th 2017)

    @David

    Flatness happens “at the top dimension”, so never, in the infinity case.

    Hmm, looking at the page you linked to, it gives a definition of flat that uses CE algebras, not factoring through the fundamental infinity-groupoid. See definitely one can have flat things, they just aren’t forced by homotopy invariance at the top level.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2017
    • (edited Oct 11th 2017)

    Yes, right. The higher parallel transport in terms of smooth nn-functors out of smooth path nn-groupoids

    Π n(X)BG \mathbf{\Pi}_n(X) \longrightarrow \mathbf{B}G

    comes out as “fake flat”, namely with all knk \leq n-form curvature components vanishing. This reflects nothing but the fact that in this case between any two small enough “parallel” (k1)(k-1)-paths there is a kk-path that makes their paralell transport equal up to homotopy. Now as nn \to \infty this means that all curvature components whatsoever have to vanish.

    To nevertheless have non-flat transport in terms of the path \infty-groupoid, one observes that for GG a smooth nn-group, then INN(G)INN(G) its “inner automorphism (n+1)(n+1)-group” is the coefficient for the curvature of non-flat GG parallel transport, and that the corresponding “curvature transport” with coefficients in INN(G)INN(G) is completely flat, this flatness of the curvatures being the Bianchi identities on the original connection.

    (That’s the reason why we have an article Roberts-Schreiber 07 on the “inner automorphism 3-group of a 2-group”! :-)

    Now however INN(G)INN(G) is contractible, so flat INN(G)INN(G)-transport alone is not the answer either, because it is always gauge equivalent to the trivial transport. But this is only because INN(G)INN(G) admits more gauge transformations than are present in the GG-transport that we actually wanted to describe. So one has to combine both and consider anafunctor diagrams of the form

    X bundle BG Π (X) connection andcurvature BINN(G) \array{ X &\overset{bundle}{\longrightarrow}& \mathbf{B}G \\ \downarrow && \downarrow \\ \Pi_\infty(X) &\overset{ \text{connection and} \atop \text{curvature} }{\longrightarrow}& \mathbf{B} INN(G) }

    Here the top horizontal morphism is the Cech cocycle for the GG-principal bundle, while the bottom morphism is the non-flat (and non-fake flat) parallell transport on it. A gauge transformation is now a homotopy between such morphisms in the arow category, and this constrains the homotopy on the “curvatur transport” bottom arrow to be compatible with the homotopy of the Cech cocycle top arrow, and that constrains the former such as to retain the genuine connection information.

    Or almost. In fact one will want to impose one more condition, namely that the curvature invariants of the connection do descend to globally defined differential forms. For instance in the case that G=B nU(1)G = \mathbf{B}^n U(1) then we want not just

    X bundle BB nU(1) Π (X) connection andcurvature BB n(U(1)U(1)) \array{ X &\overset{bundle}{\longrightarrow}& \mathbf{B}\mathbf{B}^n U(1) \\ \downarrow && \downarrow \\ \Pi_\infty(X) &\overset{ \text{connection and} \atop \text{curvature} }{\longrightarrow}& \mathbf{B} \mathbf{B}^n(U(1) \to U(1)) }

    but in fact

    X bundle BB nU(1) Π (X) connection andcurvature BB n(U(1)U(1)) Π (X) curvature BB n+1U(1) \array{ X &\overset{ \text{bundle} }{\longrightarrow}& \mathbf{B}\mathbf{B}^n U(1) \\ \downarrow && \downarrow \\ \Pi_\infty(X) &\overset{ \text{connection and} \atop \text{curvature} }{\longrightarrow}& \mathbf{B} \mathbf{B}^n(U(1) \to U(1)) \\ \downarrow && \downarrow \\ \Pi_\infty(X) &\underset{\text{curvature}}{\longrightarrow}& \mathbf{B} \mathbf{B}^{n+1}U(1) }

    where now the bottom morphism picks out the curvature invariants, which in this abelian case just happen to be the plain (n+2)(n+2)-form curvature itself. For non-abelian connections it is instead the result of evaluating the non-abelian curvature forms in all invariant polynomials, or at least in those for which one wants the connection to have a Chern-Weil homomorphism that refines these curvature invariants to higher Chern-Simons gerbes.

    As XX here varies over smooth manifolds or just Cartesian spaces, the \infty-groupoids of diagrams as above form the \infty-stack BG conn\mathbf{B}G_{conn} of non-flat GG-principal \infty-connections

    Finally one wants to construct all this with just an L L_\infty-algebra 𝔤\mathfrak{g} specified. And this is accomplished by considering (some discrete quotient of some truncation of) the simplicial sheaf

    exp(𝔤) conn:U([k](Ω vert (U×Δ k) A CE(𝔤) Ω (U×Δ k) (A,F) W(𝔤) Ω (U) FF inv(𝔤))) \exp(\mathfrak{g})_{conn} \;\colon\; U \mapsto \left( [k] \mapsto \left( \array{ \Omega^\bullet_{vert}(U \times \Delta^k) &\overset{A}{\longleftarrow}& CE(\mathfrak{g}) \\ \uparrow && \uparrow \\ \Omega^\bullet(U \times \Delta^k) &\overset{(A,F)}{\longleftarrow}& W(\mathfrak{g}) \\ \uparrow && \uparrow \\ \Omega^\bullet(U) &\underset{\langle F \wedge \cdots \wedge F\rangle}{\longleftarrow}& inv(\mathfrak{g}) } \right) \right)

    where on the right we have the Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) of 𝔤\mathfrak{g}, as well as its Weil algebra W(𝔤)W(\mathfrak{g}) and its algebra of invariant polynomials inv(𝔤)inv(\mathfrak{g}), respectively.

    (This finally became Forenza-Schreiber-Stasheff 10.)

    This story is also discussed in the “Introduction” section of dcct, in the subsection “Introduction – Geometry” and there in the subsections “Principal connections”, “Characteristic classes”, “Lie algebras” and “Chern-Weil homomorphism”.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 11th 2017
    • (edited Oct 11th 2017)

    Thanks! But I have the feeling that there’s still something fundamental I’m missing in what led me to pose my question in #1, which means I’m not able to foresee when differential aspects will appear when thinking about the shape-flat-sharp modalities.

    I guess a chunk of my intuition for these modalities is coming from the adjoint quadruple between TopTop and SetSet, so no whiff of anything differential.Then when Science of Logic (relying on the Wayback Machine as the nLab isn’t working right now) notes that the smooth cylinder and smooth circle are not diffeomorphic but are the same under shape, that’s fitting with the intuition of underlying topological spaces up to homotopy, and agrees with X\int X as

    the fundamental infinity-groupoid of XX.

    Now to muddy the waters, we’ve been discussing the equivalence of the latter with the smooth path-infinity groupoid. Does that have something to do with why something differential may appear when dealing with the shape-flat-sharp oppositions, e.g., why the exact hexagon is about differential cohomology theories?

    Science of Logic characterises these modalities thus:

    Hence this unity of opposites is geometric quality. In standard models this geometric quality is for instance topology or smooth structure or formal smooth structure or supergeometric structure.

    cohesive (infinity,1)-topos says that the cohesion may be continuous or smooth. What tells me which it is?

    Is the problem that I’m thinking bottom up, i.e., along the lines that the minimal kind of geometry which models the shape-flat-sharp stage is merely topological-continuous, so I don’t expect anything differential there? Is it instead that I should think of the shape-flat-sharp stage from the perspective of settings which already involve smoothness?

    Maybe I should look for the easiest non-trivial cohesive topos over Grpd\infty Grpd, such as the Sierpinski (,1)(\infty,1)-topos. \flat sends PXP \to X to PPP \to P. The cofiber (say for stable objects) has something to do with differential forms?

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 11th 2017

    Of course, there was plenty of relevant conversation a year ago in fundamental theorem of calculus claim from hpg.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2017
    • (edited Oct 11th 2017)

    It seems you are realizing some of the magic that goes into cohesion. One is this fact we mentioned that the smooth path nn-groupoid become a discrete homotopy type when n=n = \infty.

    Another fun fact to notice is this: We can define flat GG-valued differential forms even for GG a topological group, in the following sense.

    One way to see, for GG a Lie group, that dRBGhofib(BGBG)\flat_{dR} \mathbf{B}G \coloneqq hofib (\flat \mathbf{B}G \to \mathbf{B}G) is equivalently the sheaf Ω flat 1(,𝔤)\Omega^1_{flat}(-,\mathfrak{g}) of flat Lie algebra valued form is to first observe that BG\flat \mathbf{B}G is presented by the sheaf of groupoids whose objects are flat GG-valued forms, and whose morphisms are gauge transformations, then observe that with this presentation the map BGBG\flat \mathbf{B}G \to \mathbf{B}G is presented by a fibration, so that its homotopy fiber is its ordinary fiber.

    But of course there is another, equivalent, way to compute this homotopy fiber, which never mentions presentations by sheaves of differential forms: since BGBG\flat \mathbf{B}G \simeq \mathbf{B} \flat G we discover that

    Ω flat 1(,𝔤)G/G, \Omega^1_{flat}(-,\mathfrak{g}) \simeq G/\flat G \,,

    where the right hand side is presented by the sheaf that assigns to a Cartesian space UU the smooth functions UGU \to G modulo the relation which identifies two such smooth functions if they differ by multiplication (from the right, say) with an element in GG, hence with a constant smooth function.

    This equivalence is another secret incarnation of the parallel transport: Given a flat 𝔤\mathfrak{g}-valued differential form on UU, then for every choice of basepoint in UU we get a smooth function from UU to GG which sends every other point to the parallel transport of that differential from from that basepoint to that other point, along any smooth path connecting them. If we choose another basepoint, then this function changes by global multiplication with the parallel transport along any path connecting the two basepoints. This is why parallel transport of flat 𝔤\mathfrak{g}-valued forms without choice of basepoint constitutes G/GG/\flat G.

    But now the expression G/GG/\flat G makes sense even if there is no concept of differential forms! For a topological group GG it makes sense: it’s now the sheaf of continuous GG-valued functions modulo global (constant) multiplication by any group element.

    Moreover, the synthetic development of the theory from axiomatic cohesion shows that no matter what the underlying model is, the object G/GG/\flat G will always behave in key aspects as a sheaf of flat Lie algebra valued differential forms is supposed to behave, even if actual differential forms don’t exist in the model.

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 11th 2017

    Thanks! Something to digest after (during?) the three hours of meetings I have to fill up my afternoon.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 12th 2017

    Just a remark about that magical convergence of path and fundamental nn-groupoids as one passes along nn \to \infty.

    Recalling some fun we had a decade or so ago with Tangle hypotheses and fundamental nn-categories with duals of stratified spaces (entering and exiting rather than the one way process that Ayala et al. study), John said

    Well, this is the mystery that makes the Tangle Hypothesis so interesting! You start with an algebraically natural sort of nn-category, namely kk-tuply monoidal nn-categories with duals, and you discover that the free such gadget on one object describes nn-dimensional surfaces in n+k\mathbb{R}^{n+k}!

    Eugenia Cheng’s paperAn ω-category with all duals is an ω-groupoid – came out at about that time, and discusses such Tangle hypotheses in the limit as nn \to \infty.

    For all k0k\geq 0 there should be a kk-monoidal ω-category whose mm-cells are mm-manifolds embedded in (m+k)(m+k)-cubes. This should have all duals as above and hence by the Main Theorem should in fact be an ω-groupoid. Likewise for oriented manifolds.

    Is there some relation from this kind of result to the path \infty-groupoid surprise? Presumably the latter involves maps out of some nice entity which captures smooth paths, surfaces, etc. Then if the latter turns out to be some kind of free \infty-groupoid on one object, maps out of this in turn give something like a fundamental \infty-groupoid?

    By the way, we have a rather neglected smooth structure of the path groupoid.