Not signed in (Sign In)

Start a new discussion

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

Discussion Tag Cloud

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.
    • CommentAuthornilay
    • CommentTimeJul 27th 2018
    • (edited Jul 27th 2018)

    I was trying to understand Chen’s iterated integrals a bit more abstractly and ran into the following confusion about loop spaces.

    Let XX be a smooth manifold, viewed as a simplicial presheaf over Mfld\text{Mfld} or CartSp\text{CartSp}. It seems to me there are two different notions of the free loop space of XX. The first is what’s described on free loop space object. This is as the powering X S 1X^{S^1} or alternatively as the internal hom [LConst(S 1),X][\text{LConst}(S^1), X]. The second is the internal hom [S 1,X][S^1, X] where here S 1S^1 is the usual smooth manifold under Yoneda.

    These two notions seem to be quite different — roughly, the first does not seem to remember the smooth structure on S 1S^1. Is that true? (for instance the global sections seem to be different…) How are these two objects related?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJul 27th 2018
    • (edited Jul 27th 2018)

    Indeed, this is a crucial difference.

    Notice that if by XX you always mean the presheaf nC ( n,X)\mathbb{R}^n \mapsto C^\infty(\mathbb{R}^n, X), then in fact [LConst(S 1),X]=X[LConst(S^1), X] = X, since there are then no non-trivial morphisms in XX, and so the the non-trivial morphism in LConst(S 1)LConst(S^1) necessarily goes to the identity on some point.

    So the issue is that XX exists in different modes: once as a smooth manifold (which has possibly non-trivial smooth structure but only trivial morphisms), once as its shape or path infinity-groupoid ʃXLConstΠ (X)ʃ X \coloneqq LConst \Pi_\infty(X) (which has trivial smooth structure but possibly non-trivial morphisms).

    Same for the circle S 1S^1 itself. And similar then for the loop space: there is the smooth loop space [S 1,X][S^1, X] (smooth structure, no morphisms), and the free loop space of the homotopy type [ʃS 1,ʃX][ʃ S^1, ʃ X] (morphisms, no smooth structure).

    The relation should be

    ʃ[S 1,X][ʃS 1,ʃX] ʃ[S^1, X] \;\simeq\; [ʃ S^1, ʃ X]

    (by the statement in… let’s see, section 4.2 in arXiv:math/0612096)

    • CommentRowNumber3.
    • CommentAuthornilay
    • CommentTimeJul 27th 2018
    • (edited Jul 28th 2018)

    Thanks Urs, I think I follow the idea. I agree with the computation [LConst(S 1),X]=X[\text{LConst}(S^1_\bullet), X]=X at the level of zero simplices but I will have to work out the higher simplices myself (the simplicial enrichment seems to involve copowering with nn-simplices… later edit: ah never mind, it’s clear. As you said the target is discrete so all that matters is the zero-simplices of the domain. Got it!)

    My motivation for asking was the following confusion in trying to understand Chen’s iterated integrals abstractly.

    Chen’s iterated integrals, at least as explained by Getzler, Jones, and Petrack, can be written as a transgression-type procedure (see the top of page 13): in weight kk,

    1. first pullback your (k+1)(k+1) differential forms from X k+1X^{k+1} to LX×Δ kLX\times \Delta^k under the evaluation map sending (,t 1,,t k)((0),(t 1),,(t k))(\ell, t_1,\ldots,t_k)\mapsto (\ell(0),\ell(t_1),\ldots,\ell(t_k))

    2. then integrate out the simplex directions via the projection LX×Δ kLXLX \times \Delta^k \to LX These fit together to yield map of chain complexes C(Ω *X,Ω *X)Ω *(LX)C(\Omega^*X, \Omega^*X)\to\Omega^*(LX) essentially because of the families Stokes theorem.

    A less ad hoc interpretation of this construction is that we are choosing a cosimplicial model for the free loop space LX LX^\bullet coming from the standard simplicial circle (hence the X k+1X^{k+1} appearing) and then studying the pullback by the evaluation map (of cosimplicial objects) Δ ×Tot(LX )LX =X +1\Delta^\bullet\times \text{Tot}(LX^\bullet) \to LX^\bullet=X^{\bullet+1} followed by fiber integration. This is exactly how Jones sets up the corresponding map for singular cochains.

    If I want to make the previous paragraph precise for differential forms I might choose to work in simplicial presheaves so that I can make sense of the free loop space and differential forms on it. But now I am a bit concerned that the loop space appearing in the construction above is only seeing S 1S^1 simplicially… shouldn’t we be considering the smooth loop space [S 1,X][S^1, X]? I think I’m missing something very basic here.

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 27th 2018

    the families Stokes theorem

    the only reference I know for this is the first volume of Greub-Halperin-Vanstone, where it is an exercise (if I have got the right notion: so you mean Stokes for integration along the fibre of a bundle of manifolds-with-boundary?). Do you have other references? GHV use idiosyncratic notation throughout, as well as an overly complicated setup for their definition of integration over the fibre.

    • CommentRowNumber5.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 27th 2018
    • CommentRowNumber6.
    • CommentAuthornilay
    • CommentTimeJul 28th 2018

    Yeah, that’s what I mean. I don’t have a reference unfortunately – I’m in the same boat as Dmitri (and one should not forget that simplices have corners…).

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 28th 2018

    The reason I ask is that we used the GHV version and got quantity = - quantity, for something non-zero. Clearly mis-applied, but their formalism is so odd it wasn’t clear how. Also, we were pushing along a map between infinite-dimensional manifolds with finite-dim fibres, so some pinches of salt need to applied to the literal statement of the theorem.

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 29th 2018

    Re #7: Theorem 3.4.54 in Nicolaescu’s lecture notes does have different signs for two of the terms. Perhaps there is a typo in GHV.

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 29th 2018

    @Dmitri, yes, it’s possible. What would be good is if there was a modern proof of the theorem spelled out, for instance on the nLab :-) :-) :-)

    • CommentRowNumber10.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 29th 2018
    • (edited Jul 29th 2018)
    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 29th 2018
    • (edited Jul 30th 2018)

    Sure, but note that the signs there agree with GHV and hence not Nicolaescu. I suspect it comes down to ’fibre-first’ or ’fibre-last’ conventions around orientations. But what would be better is a version of the theorem where the map lives in the category of diffeological spaces, but where the fibres are honest manifolds with boundary. This would cover the case of Fréchet manifolds that I was considering, but also other cases of interest for people around here.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJul 30th 2018

    Not sure if it is of interest here, but for fiber integration over fibers of a trivial bundle, there is a neat and very general formula implicit in Gomi-Terashima 00. This is given there for fiber integration in Deligne cohomology, but as a special case this includes fiber integration of differential forms.

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 30th 2018
    • (edited Jul 30th 2018)

    Re #12

    aha, the signs in Theorem 3.1 of Gomi-Terashima agree with Nicolaescu, interpreted back in terms of forms.

    • CommentRowNumber14.
    • CommentAuthornilay
    • CommentTimeJul 30th 2018
    • (edited Aug 1st 2018)

    I might at some point try to write the proof of Stokes out in detail for myself (trying to get the signs right, i.e. consistent with G&T!). If/when I do, I’ll put it up!

    In the meantime, looking back at #2, I realized that I don’t actually understand the internal hom in simplicial presheaves concretely. Let’s look at the most basic example, the internal hom [*,X][*,X], which I expect to be (equivalent to?) just XX.

    Here’s my attempt at computing it concretely: for UU a test manifold,

    [*,X](U) n=Maps(*×U,X) n=Hom sPsh(UΔ[n],X)=Hom Psh((UΔ[n]) 0,X 0). [*,X](U)_n = \text{Maps}(*\times U, X)_n = \text{Hom}_\text{sPsh}(U\cdot\Delta[n], X) = \text{Hom}_\text{Psh}( (U\cdot \Delta[n])_0, X_0).

    Here \cdot is the copowering of simplicial presheaves over simplicial sets. But if I’m not mistaken (UΔ[n]) 0= n+1U(U\cdot\Delta[n])_0=\coprod_{n+1} U as presheaves of sets. So I seem to be getting

    [*,X](U) n=C ( n+1U,X) [*,X](U)_n = C^\infty(\coprod_{n+1}U,X)

    instead of C (U,X)C^\infty(U,X) independent of nn. Am I misunderstanding the definition of the internal hom? Or should I be looking for an equivalence instead of an isomorphism?

    EDIT: never mind, I was being very confused. I think I’ve figured it out. My question about why Chen’s map seems to use the wrong loop space still stands, though.

    • CommentRowNumber15.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 30th 2018

    Re #11:

    But what would be better is a version of the theorem where the map lives in the category of diffeological spaces, but where the fibres are honest manifolds with boundary. This would cover the case of Fréchet manifolds that I was considering, but also other cases of interest for people around here.

    Doesn’t this follow automatically from the case of bases being ordinary manifolds? If F is a typical fiber (a smooth manifold with boundary), denote by Ω^n_F the moduli stack of bundles with a typical fiber F (dim F = k) whose total space is equipped with a differential n-form.

    Then fiberwise integration yields morphisms A: Ω^n_F→Ω^{n−k} and B: Ω^n_{∂F}→Ω^{n−k+1}, as well as i*: Ω^n_F→Ω^n_{∂F}, d_F: Ω^n_F→Ω^{n+1}_F, and d: Ω^{n−k}→Ω^{n−k+1}.

    Thus, we have a formula d∘A = A∘d_F ± B∘i* on the level of sheaves of abelian groups. Diffeological spaces embed into sheaves of sets fully faithfully, so taking hom from a diffeological space will give you what you want.

    • CommentRowNumber16.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 31st 2018

    @Dmitri

    hmm, ok. I’ll have a think, but I assume you are correct.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)