Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology 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 sheaves 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
    • CommentTimeMay 5th 2010
    • (edited May 5th 2010)

    seeing Eric create diffeology I became annoyed by the poor state that the entry diffeological space was in. So I spent some minutes expanding and editing it. Still far from perfect, but a step in the right direction, I think.

    (One day I should add details on how the various sites in use are equivalent to using CartSp)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011

    I have expanded the Properties-section at diffeological space:

    • added the statement and proof of the full and faithful embedding of smooth manifolds into diffeological spaces;

    • split off a section of the properties of the ambient sheaf topos and how diffeological spaces sit inside there.

    • CommentRowNumber3.
    • CommentAuthorAndrew Stacey
    • CommentTimeJan 5th 2011

    I created Boman’s theorem and added the link to the embedding proof on diffeological space (also corrected a couple of minor typos in the vicinity).

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011

    I created Boman’s theorem

    Thanks! I was scanning your articles for it, but didn’t see it. Then I thought about it and figured that it is easy to prove (isn’t it? one needs to show that for each higher partial derivatives of a function one can find a curve such that the composite’s nn-fold total derivative involves as a summand the partial derivatives in question. But that’s obvious.)

    I have added that to the list of theorems in the floating differential geometry TOC.

    also corrected a couple of minor typos in the vicinity

    Thanks! I found some more ;-)

    • CommentRowNumber5.
    • CommentAuthorAndrew Stacey
    • CommentTimeJan 5th 2011

    it is easy to prove

    Not sure. I’ve not worked through the details myself. The proof in Kriegl and Michor is about a page long.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 20th 2011
    • (edited Jan 20th 2011)

    At diffeological space I have added the remark that the statement proven there, that smooth manifolds embed fully faithfully in diffeological spaces, is a direct consequence of the fact that CartSpCartSp is a dense sub-site of DiffDiff and then of the Yoneda lemma.

    One can see that this is effectively what the previous proof checks in a pedestrian fashion, but it is maybe useful to have the general abstract version, too.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 25th 2011
    • (edited Jan 25th 2011)

    I have added more of the original references to the References-section at diffeological space.

    Andrew, when you have a second, maybe have a look to see if my attributions are precise.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeFeb 9th 2013
    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeFeb 10th 2013

    added also

    (with just a pointer to a reference for the moment)

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeFeb 13th 2013

    added also the embedding of locally convex vector spaces by cor 3.14 in Kriegl-Michor

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMar 13th 2013
    • (edited Mar 13th 2013)

    Patrick Iglesias-Zemmour kindly pointed out to me by email that the latest version of this book Diffeology now contains, around exercise 72, a discussion of how Banach manifolds faithfully embed into diffeological spaces. So I have now added brief pointers to Banach manifold and to the relevant section of diffeological space. (This really deserves to be expanded on, but I don’t have the time.)

    • CommentRowNumber12.
    • CommentAuthorpiz
    • CommentTimeMar 14th 2013
    Hi There,

    Urs pointed to me this forum/thread. So I will give some precisions about what he said above.

    I look sometimes to the diffeological spaces item in nLab, to stay informed :-) Last time I discovered the article, posted by Urs, about Banach manifolds and the pointer to the 1977 Hain's paper, I didn't know about it. On the other hand, a few months ago, the referee of the AMS asked me to clarify, in the book Diffeology, the relationship between Banach manifolds and diffeology, what I did and that question became the exercise 72 of the book. Using Boman's theorem the solution of exercise takes a few lines. So, I was surprised to see Hain's paper so long, having a brief look inside it seemed to me that Hain proves first a kind of Boman theorem, in his paper, but Boman theorem is from 1967 if I don't mistake. So why Hain didn't use Boman theorem ? This is my question. Or I am wrong and I missed something ? But I have no time now to investigate this question, I'm doing something else. If someone is interested in and has time to look into it, he just sends me an email and I'll send him back a pdf of the last and final version of the book to check the exercise and compare with Hain's paper.

    BTW, thanks again to a question of the referee of the book (this guy has been very helpful), I added an exercise related to Frolicher spaces and diffeology: with Yael Karshon we introduced the concept of reflexive diffeological space, it happens that this subcategory is isomorphic with the category of Frölicher spaces. It's the exercise 80. For the ones interested in that question about Frölicher/diffeology.

    Best,

    Patrick I-Z
    piz@math.huji.ac.il
    • CommentRowNumber13.
    • CommentAuthorTobyBartels
    • CommentTimeFeb 8th 2014

    The entry diffeology didn't seem to serve any purpose, so now it redirects to diffeological space. (If somebody wants to revive it, its edit history is at diffeology > history.)

    • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 24th 2015

    I’ve added a comment that Frölicher proved the full and faithful embedding of (paracompact) Fréchet spaces into diffeological spaces in 1981, and in fact I think he proved paracompact Fréchet manifolds also embed fully faithfully, but he has a funny extra condition to link with some functional/sequential notion of smoothness (see théorème 2 on this page)

    • CommentRowNumber15.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 24th 2015

    On a different note, I’m not sure that convenient spaces do embed into diffeological spaces. My reading of corollary 3.14 at mentioned at #10 above is that it is just Boman’s theorem, and that the c c^\infty notion of smoothness agrees with the usual notion on cartesian spaces.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMar 24th 2015

    Thanks for further looking into this! This is useful.

    • CommentRowNumber17.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 15th 2015

    Finally cleared this up. There is a faithful but non-full functor from lctvs into diffeological spaces, if we take MB-smooth maps as morphisms between the former, since there are non-continuous conveniently smooth maps. I still don’t know if diffeological isomorphisms are MB-smooth, though. I added to the page a reference to Gloecker’s counterexamples, and clarification about what is meant by smooth maps between lcvts.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJun 13th 2018

    added pointer to Patrick Iglesias-Zemmour’s lecture notes Iglesias-Zemmour 18

    diff, v57, current

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2018
    • (edited Jun 16th 2018)

    I have considerably trimmed down the section Embedding of diffeological spaces into smooth sets. It used to contain a proof that Sh(CartSp)Sh(CartSp) is cohesive, and had the result announced in its title only hidden somewhere in that discussion. But the cohesion of smooth sets should instead be discussed there, and so I removed it here and instead included (a complete rewrite of) the proof there.

    Here I only kept the actual statement that diffeological spaces are the concrete smooth sets, with the minimum indication of the proof that used to be here. Below that I added pointer to a completely (maybe pedantically) detailed proof, which is now at this Prop. in geometry of physics – smooth sets.

    diff, v59, current

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeMay 28th 2020

    I forget if the following is known, and where it is proven:

    The homotopy type of a diffeological space (D-topology) is equivalently its cohesive shape (when regarded as a concrete 0-truncated objects in the cohesive \infty-topos over smooth manifolds).

    (?)

    • CommentRowNumber21.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 29th 2020
    • (edited May 29th 2020)

    Re #20: Yes.

    By Proposition 3.1 in https://arxiv.org/abs/1010.3336 we have a left adjoint functor Diff→Top that sends a diffeological space to its underlying topological space equipped with the D-topology.

    This left adjoint functor is a left Quillen functor because it sends generating (acyclic) cofibrations in Diff to (acyclic) cofibrations in Top.

    Thus, the functor Diff→Top is homotopy cocontinuous.

    The cohesive shape is also homotopy cocontinuous.

    These two cocontinuous functors take contractible values on R^n.

    Hence, they are weakly equivalent.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2020

    Thanks!

    But help me, you seem to be using one more bit of information that I am lacking.

    Explicitly, I am asking about the functor

    DiffeologicalSpacesSh(CartSp)Sh (CartSp)ShapeGroupoids DiffeologicalSpaces \hookrightarrow Sh(CartSp) \hookrightarrow Sh_\infty(CartSp) \overset{Shape}{\longrightarrow} \infty Groupoids

    whether it’s naturally equivalent to

    DiffeologicalSpacesDtopologyTopologicalSpacesL wheGroupoids DiffeologicalSpaces \overset{D-topology}{\longrightarrow} TopologicalSpaces \overset{L_{whe}}{\longrightarrow} \infty Groupoids

    You seem to be appealing to a homotopical structure on diffeological spaces being compatible with the first of these functors?

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2020
    • (edited May 29th 2020)

    [later edit: ah, no, I misread Prop. 3.10 in Christensen-Wu, as per the warning on the next page – it does not hold generally for diffeological spaces – so the following does not work]


    Let me see:

    From your theorem about shape via cohesive path ∞-groupoid it follows that the first functor in #22 is equivalently the one called S DS^D (Def. 4.3) in

    • J. Daniel Christensen, Enxin Wu, The homotopy theory of diffeological spaces (arXiv:1311.6394)

    The second functor in #22 would be called SDS\circ D there.

    So in the notation of that article I am asking for validity/proof of

    S D?SD. S^D \;\overset{?}{\simeq}\; S \circ D \,.

    I don’t see exactly that statement in the article, but something close:

    Theorem 4.11 together with Prop. 3.10 there says that the homotopy groups of the results of both functors agree assuming they are evaluated on a fibrant diffeological space X fibrX_{fibr} (which is one whose smooth singular simpliciat set S DS^D is Kan, Def. 4.8):

    π nS D(X fibr)π nSD(X fibr). \pi_n \circ S^D(X_{fibr}) \;\simeq\; \pi_n S \circ D(X_{fibr}) \,.

    This is two steps away from the previous statement:

    • if this isomorphism of homotopy groups is/were induced by a morphism of simplicial sets, then it would constitute a weak homotopy equivalence. This is probably implicit in the proofs, I should chase through them.

    • if the assumption of fibrancy were unnecessary, we’d be done. Now, this would again follow from your theorem of shape via path \infty-groupoids, IF we knew there is fibrant replacement for diffeological spaces in the sense of Christensen – but that they explicitly do not prove.

    [edit: ah, looks like both these steps are filled in in H. Kihara, Model category of diffeological spaces (arXiv:1605.06794), in Theorem 1.4 there, using the proof starting p. 33]

    • CommentRowNumber24.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 29th 2020

    Re #23: I would argue as follows.

    The Kihara model structure on diffeological spaces is transferred via the smooth singular simplicial set functor Diff→sSet.

    The Quillen model structure on topological spaces is transferred via the singular simplicial set functor Top→sSet.

    Furthermore, the composition of left adjoints sSet→Diff→Top equals the left adjoint sSet→Top.

    The left Quillen functors sSet→Diff and sSet→Top are Quillen equivalences.

    Therefore, the left Quillen functor Diff→Top is a Quillen equivalence by the 2-out-of-3 property, hence a homotopy cocontinuous functor.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2020

    The Kihara model structure on diffeological spaces is transferred via the smooth singular simplicial set functor Diff→sSet.

    But Kihara defines a variant of smooth singular simplicial sets, by using a variant diffeology on standard simplices, in order to enforce existence of horn fillers.

    The singular simplicial complex that corresponds to cohesive shape, the one also considered in your concordance article, that’s instead the one that Christensen-Wu use (their Def. 4.3). Isn’t it?

    But with this definition, their Theorem 4.10 together with their (counter-)examles of smooth π n\pi_n differing from D-topological π n\pi_n proves that the desired equivalence fails.

    It seems to me.

    • CommentRowNumber26.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 30th 2020
    • (edited May 30th 2020)

    But Kihara defines a variant of smooth singular simplicial sets, by using a variant diffeology on standard simplices, in order to enforce existence of horn fillers.

    Yes, it looks like my memory of Kihara’s paper was not entirely correct.

    So really we need the Christensen-Wu construction, which gives the same weak equivalences, but different cofibrations. They do not prove it is a model structure, however, this is basically what we do in our paper. In fact, in our paper, Dan, Pedro, and I prove precisely the necessary lemmas that Christensen and Wu are missing, see Section 4.c, in particular, Lemma 4.13 is precisely the missing part necessary to complete the construction of a model structure, as Christensen and Wu point out themselves in Remark 4.9 in their paper.

    Also, Proposition 4.10 shows that two different geometric realization functors by Kihara and Christensen-Wu are weakly equivalent by constructing an explicit homotopy equivalence between them.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2020

    Okay, I’ll have another look at your article.

    But do you agree that Christensen-Wu’s results prove that the equivalence S D?SDS^D \overset{?}{\simeq} S \circ D fails?

    They prove

    1. π n D(X)π nS D(X)\pi_n^D(X) \simeq \pi_n S^D(X) for every diffeological space XX (Theorem 4.11),

    2. π n D(X)π n(SD(X))\pi_n^D(X) \neq \pi_n(S \circ D(X)) for some diffeological spaces XX (Example 3.12, 3.20)

    So it follows that

    • S D(X)is not weakly equivalent toSD(X)S^D(X) \;\text{is not weakly equivalent to}\; S \circ D (X) for some diffeological spaces XX.
    • CommentRowNumber28.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 30th 2020

    For my own future reference,

    • π_n^D is the nth homotopy group defined by mapping representable spheres into a diffeological space,

    • π_n S D is the nth continuous homotopy group of the D-topology,

    • π_n(S^D) is the nth simplicial homotopy group of the smooth singular simplicial set.

    But do you agree that Christensen-Wu’s results prove that the equivalence S D≃?S∘DS^D \overset{?}{\simeq} S \circ D fails?

    Yes, I obviously forgot to derive the D-topology functor, since not all diffeological spaces are cofibrant (in fact, in Example 4.29 they give the same example as in 3.20).

    So I would say that the D-topology functor must be left derived in order for your statement to be true.

    Note that Theorem 4.11 is stated for fibrant diffeological spaces.

    However, my work with Dan and Pedro show that fibrancy is redundant, see 4.3 and 4.7.

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2020
    • (edited May 30th 2020)

    Thanks for the comments!

    Okay, you are pointing me to the conclusion in the last sentence of Remark 4.7 in arXiv:1912.10544… Ah, I see. That’s most useful.

    Okay, I’ll try to get a feeling now for the cofibrant replacement of diffeological spaces, to see if this is of any use in my intended application (generalized orbifold cohomology).

    If it is, I’ll want to state/quote as a proposition that SD(() cof)S D()S\circ D((-)_{cof}) \simeq S^D(-). I’d be happy to cite you for this if you write it down somewhere.

    • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2020

    Do you know if all smooth manifolds are Christensen-Wu cofibrant as diffeological spaces? (They leave this as a conjecture, p. 18.)

    • CommentRowNumber31.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 31st 2020

    Re #30: It is easy to prove that any smooth manifold is concordance equivalent to to a cofibrant diffeological space, namely, the realization of the simplicial set K underlying some smooth triangulation of M.

    This is precisely Lemma 9.13 in my draft.

    I believe this will suffice for your purposes, since the D-topology functor sends concordance equivalences to homotopy equivalences of topological spaces.

    • CommentRowNumber32.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2020

    Yes, I know that the cohesive shape of a smooth manifold is equivalent to its underlying (D-)topological homotopy type.

    But it would be useful to know that smooth manifolds are actually Christensen-Wu cofibrant, so that a cofibrant replacement functor could be asked to preserve them. For if not, the homotopy types would be me made to work only at the expense of breaking the differential geometry of the core class of examples, and that would be besides the point.

    • CommentRowNumber33.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 2nd 2020

    I think I convinced myself that an argument similar to my Lemma 9.13 as well as Proposition 4.23 in Christensen–Wu does show that any smooth manifold is cofibrant.

    What’s more, I now think that the Christensen–Wu model structure does exist, is cartesian, and any smooth embedding is a cofibration.

    Do you think this may be worthy of writing down as a separate paper?

    • CommentRowNumber34.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 2nd 2020

    Definitely!

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2020

    Yes!

    We’d have a neat application of this result to the problem of relating orbifold cohomology to equivariant cohomology:

    There, abstract arguments in equivariant cohesion show that the equivariant homotopy type of a general cohesive orbifold looks just like that of a topological GG-space, but with the system of topological spaces of KK-fixed loci all replaced by the shape of the KK-fixed loci of the underlying concrete cohesive space. If your claims are true, this would imply that, in the case of smooth cohesion, this latter system is again equivalent to that of an actual topological GG-space, namely that which is the derived D-topology underlying the diffeological space which is the concrete cohesive covering space of the given orbifold.

    All we’d need to complete this argument is to cite results as you just stated. :-)

    • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2020

    Is the functor D()D(-) (assigning underlying D-topological spaces) left Quillen, in that would-be model structure?

    • CommentRowNumber37.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 3rd 2020

    The Christensen-Wu model structure is transferred from the Quillen model structure on simplicial sets via the smooth singular simplicial set functor.

    Its generating (acyclic) cofibrations are smooth geometric realizations of (acyclic) cofibrations of simplicial sets.

    The functor D is cocontinuous, so it sends these generating (acyclic) realizations to the ordinary geometric realizations of (acyclic) cofibrations of simplicial sets. The latter are indeed (acyclic) cofibrations.

    So the functor D is a left adjoint functor that preserves (acyclic) cofibrations, hence a left Quillen functor.

    • CommentRowNumber38.
    • CommentAuthorUrs
    • CommentTimeJun 3rd 2020

    That would be a plausible strategy to check it, but don’t we need some Lemma that D(|Δ n|)D(\left\vert \Delta^n \right\vert) is what one would hope it is? A priori the topology could end up being funny.

    • CommentRowNumber39.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 3rd 2020

    don’t we need some Lemma that D(|Δ n|)D(\left\vert \Delta^n \right\vert) is what one would hope it is?

    This follows from the definition of the D-topology. Recall (Definition 3.6) in Christensen–Wu that the D-topology on |Δ^n| is the final topology induced by its plots, where the domain of each plot is equipped with the standard topology on R^n.

    But by Definition 4.3 in Christensen–Wu, the smooth geometric realization of Δ^n is precisely the extended smooth n-simplex with its standard diffeology.

    And by Example 3.7 in Christensen–Wu, the D-topology on a smooth manifold with the standard diffeology coincides with the usual topology on the manifold.

    • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeJun 3rd 2020

    Okay, great. Glad you have thought this through. :-)

    I’ll go ahead then citing an upcoming theorem of yours in what I am writing up regardng orbifold cohomology. I’ll show you what we need once it is in readable form. Hopefully in a week or two.

    • CommentRowNumber41.
    • CommentAuthorUrs
    • CommentTimeJun 4th 2020

    One more question: Is there, in the would-be model structure under discussion, a functorial cofibrant replacement which is the identity on manifolds?

    • CommentRowNumber42.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 4th 2020

    The standard way to produce functorial factorizations is the small object arguments of Quillen and Garner.

    Both arguments produce huge cofibrant replacements, and I do not see how to reduce their size functorially.

    Why do you need a functorial replacement of this type anyway?

    • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2020

    What I strictly need in applications is just this:

    Given a diffeological space equipped with the action of a finite group, I need that group action to extend to its cofibrant replacement. That’s why I am concerned with functorial replacement.

    But in addition to that, I had the vague feeling that I’d rather keep a given difeological space intact (as arising from some differential geometric problem) as much as possible, instead of feeding it into a blind replacement machine such as the small object argument.

    Can we maybe see concretely geometrically what Christensen-Wu cofibrancy is about? I am vaguely imagining one might identify “singular” subloci inside a diffeological space such that a kind of blowup of their vicinity restores cofibrancy. Maybe?

    But this may be more my unenlightened prejudice than actual necessity.

    • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2020
    • (edited Jun 5th 2020)

    Not to distract from this discussion, but just to log some edits to the entry:

    Started a section Relation to topological spaces (already last week, but I had left the edit invisible for a while to showcase the redirects bug).

    Also did a fair bit of editing on the section References – General:

    Added missing publication data and DOI-s to a bunch of items, added missing references such as to Souriau’s second original articles, adjusted the order of the articles (now it goes Chen \to Souriau \to Iglesias-Zemmour).

    In particular, the previous pointer to

    I have expanded out to

    and moved up to join the other articles by Chen.

    By the way, it’s most curious: Even in this collection of texts in topos theory and sheaf theory, both Chen and his editors (!?) manage to still avoid recognizing that Chen is secretly talking about sheaves.

    diff, v69, current

    • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2020
    • CommentRowNumber46.
    • CommentAuthorUrs
    • CommentTimeJun 9th 2020

    Another dumb question:

    Do we know whether for Fréchet manifolds

    XFrechetManifoldsDiffeologicalSpacesSmoothGroupoids X \in FrechetManifolds \hookrightarrow DiffeologicalSpaces \hookrightarrow SmoothGroupoids_\infty

    the cohesive shape (i.e. S D(X)S^D(X) in Christensen-Wu notation) coincides with the underlying topological homotopy type?

    (It feels like I knew this once, but I forget.)

    • CommentRowNumber47.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 9th 2020

    Re #46: This basically amounts to saying that any continuous disk with a smooth boundary can be deformed relative boundary to a smooth disk.

    This is probably established somewhere in the literature on Fréchet manifolds.

    • CommentRowNumber48.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 10th 2020

    Hmm, yes. There was a recent paper by Glöckner on smoothing operators for functions valued in lctvs, but it’s not quite in the right setting (and doesn’t seem to do the relative case).

    • CommentRowNumber49.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 10th 2020

    Glöckner’s result seems like a massive overkill anyway: we only need a single deformation, not a whole smoothing operator.

    • CommentRowNumber50.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 10th 2020

    Yeah, but it indicates that current technology is much stronger than you’d need, evidence that smoothing for a single map to a Fréchet space should be known.

    • CommentRowNumber51.
    • CommentAuthorUrs
    • CommentTimeJun 10th 2020

    But contractibility of these disks is only the first step. Next we need to know that 2) there are good open covers or hypercovers by disjoint unions of such open disks and then 3) a suitable nerve theorem.

    How much of a condition is paracompactness on an infinite-dimensional Fréchet manifold?

    • CommentRowNumber52.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 10th 2020
    • (edited Jun 10th 2020)

    Re #51: Why do you want all these things?!

    To show that the cohesive shape (i.e., S^D(X) in the Christensen-Wu notation) coincides with the underlying topological homotopy type, it suffices to show that the canonical map S^D(X) → Sing(D(X)) is a simplicial weak equivalence.

    Both simplicial sets are Kan complexes, so by the simplicial Whitehead theorem, it suffices to show that for any map ∂Δ^n → S^D(X) together with a filling of its image in Sing(D(X)) by Δ^n, we can deform the filling relative boundary to another disk that lifts to S^D(X).

    But this is exactly the disk deformation condition that I mentioned above.

    • CommentRowNumber53.
    • CommentAuthorUrs
    • CommentTimeJun 10th 2020

    Okay, I see that I wasn’t properly reading all the qualifications in #47.

    So is this a consequence of Glöckner or not?

    I am just trying to find out if you or somebody essentially knows the answer already, not just an idea for a strategy, or if I’d need to dive into it myself.

    • CommentRowNumber54.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 10th 2020

    Re #53: I think an even easier argument is possible, one that does not require any smoothing arguments.

    It suffices to observe that any Fréchet manifold has an atlas of Fréchet coordinate charts, in particular, is the homotopy colimit of the diagram consisting of its open subsets that are diffeomorphic to Fréchet vector spaces.

    Thus, it suffices to show that S^D(X) → Sing(D(X)) is a simplicial weak equivalence whenever X is a Fréchet vector space. But this is trivial because both sides are contractible.

    • CommentRowNumber55.
    • CommentAuthorUrs
    • CommentTimeJun 11th 2020

    This now sounds like the beginning of the argument along the lines of #51 after all:

    If we replace the manifold by a simplicial object of local charts and their intersections, or more generally by a hypercover by local charts, then we still need to argue that passing to the resulting simplicial set obtained by contracting each local chart to a point represents the homotopy type of the underlying topological space. This is intuituvely suggestive but needs a proof. If our space is paracompact and we can arrange for a good cover, then one such proof is Borsuk’s nerve theorem.

    I trust there are other way’s to argue this, but some argument seems to be needed. But let me know if I am missing the obvious.

    • CommentRowNumber56.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 11th 2020

    The Convenient Setting of Global Analysis has the result (Theorem 16.10) that nuclear Fréchet spaces are all smoothly paracompact, as well as “strict inductive limits of sequences of such spaces”. Lindelöf and smoothly regular is also sufficient. Countable products of smoothly paracompact Fréchet spaces (being metrizable) are smoothly paracompact (Corollary 16.17). It seems one could just assume separability on the Fréchet space, instead of nuclearity. So it seems spaces of smooth functions on compact manifolds to fin.dim. manifolds, as Fréchet manifolds/diffeological spaces, do indeed satisfy what you are looking for.

    Theorem 16.15 looks potentially relevant, too.

    • CommentRowNumber57.
    • CommentAuthorUrs
    • CommentTimeJun 11th 2020
    • (edited Jun 11th 2020)

    Thanks. I’d like to check whether the proof of the full inclusion of Fréchet manifolds into diffeological spaces might not secretly assume paracompactness anyway(?).

    The critical point seems, to me, to be the existence of good open covers. But I see that Fréchet manifolds are still metrizable if (and only if) they are paracompact. With a kind of infinite-dimensional Riemannian metric in hand, the usual proof of existence of good open covers might just go through.

    • CommentRowNumber58.
    • CommentAuthorUrs
    • CommentTimeJun 11th 2020
    • (edited Jun 11th 2020)

    Just to say that I see now that Kihara has an article whose abstract sounds like it has the proof:

    Smooth Homotopy of Infinite-Dimensional C C^\infty-Manifolds (arXiv:2002.03618)

    But i haven’t dug into it yet.

    [ edit: Ah, too bad: Theorem 1.1 in that article would be the desired statement… were it not for the fact that it’s using the non-standard diffeology on simplices, following arXiv:1605.06794.)

    • CommentRowNumber59.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 11th 2020

    Re #55:

    If we replace the manifold by a simplicial object of local charts and their intersections, or more generally by a hypercover by local charts, then we still need to argue that passing to the resulting simplicial set obtained by contracting each local chart to a point represents the homotopy type of the underlying topological space. This is intuituvely suggestive but needs a proof. If our space is paracompact and we can arrange for a good cover, then one such proof is Borsuk’s nerve theorem.

    I think there is a very simple argument for this.

    First, given an open hypercover H of X, the canonical map

    hocolimHXhocolim H \to X

    computed in the model category of topological spaces is a weak equivalence of topological spaces.

    This is Lurie’s abstract Seifert–van Kampen theorem, see Theorem A.3.1 in HA.

    The same statement is also true for the model category of diffeological spaces that I hope to finish writing down soon (if all arguments work out).

    But then it remains to observe that any Fréchet manifold admits a good hypercover (all elements are diffeomorphic to Fréchet spaces). Indeed, start with some atlas, then choose an atlas for each intersection, etc.

    • CommentRowNumber60.
    • CommentAuthorUrs
    • CommentTimeJun 12th 2020

    All right.

    By the way, did you see that there is also this article:

    This seems to define smooth homotopy groups using maps out of nn-cubes equipped with their standard diffeology. So that might already be the model structure in question. But I don’t know, have only glanced over the article so far. Also, this appears to remain unpublished (?)

    • CommentRowNumber61.
    • CommentAuthorUrs
    • CommentTimeJun 12th 2020

    Ah, right, Kihara 16 claims (p. 2) that

    there exists a gap in the proof of [ Haraguchi-Shimakawa 13, Theorem 5.6]

    But then later Haraguchi 18 seems to mean to address this, as he writes (p. 1):

    We present the Quillen model structure on the category DiffDiff of diffeological spaces [...][...] (cf. [ Haraguchi-Shimakawa 13, Theorem 5.6 and Theorem 6.2])

    On the other hand, Haraguchi 18 also seems not to be published yet.

    • CommentRowNumber62.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 12th 2020

    I am aware of this paper. Their argument is very technical, and they claim that the model structure is not cofibrantly generated, apparently.

    • CommentRowNumber63.
    • CommentAuthorUrs
    • CommentTimeJun 12th 2020

    What is (or would be) nice about this model structure is that it is compatible with that neat idempotent adjunction between topological spaces and diffeological spaces, in that it makes the factorization

    TopologicalSpacesAAAACdfflgDTopologicalSpacesAAAADtplgDiffeologicalSpaces TopologicalSpaces \underoverset { \underset{ Cdfflg }{\longrightarrow} } { \overset{ }{\hookleftarrow} } {\phantom{AA}\bot\phantom{AA}} DTopologicalSpaces \underoverset { \underset{ }{\hookrightarrow} } { \overset{ Dtplg }{\longleftarrow} } {\phantom{AA}\bot\phantom{AA}} DiffeologicalSpaces

    into a sequence of Quillen equivalences.

    That should be rather useful, if true.

    • CommentRowNumber64.
    • CommentAuthorRichard Williamson
    • CommentTimeJun 12th 2020
    • (edited Jun 12th 2020)

    It is probably not of any immediate use to you, Urs, but by my thesis I think it is more or less immediate that one can put a Hurewicz model structure on D-topological spaces and diffeological spaces, both of which are Quillen equivalent to the Hurewicz model structure on topological spaces. All of this would be compatible with #63.

    To get what you need from this, it might suffice to have some kind of Whitehead theorem for diffeological spaces. I.e. if two diffeological spaces are weakly equivalent in the sense you are looking at, then if one could show they are then actually homotopy equivalent in the sense of the Hurewicz model structure on diffeological spaces, one can use the Hurewicz Quillen equivalences to get what you need I think (if I am not overlooking something; the notation is a bit heavy, and I don’t really know anything about diffeological spaces, so I am somewhat guessing what you are looking to prove; Dmitri’s #28 was very helpful).

    Edit: There is some kind of Whitehead theorem in Haraguchi’s article from 2018, maybe it is sufficient.

    • CommentRowNumber65.
    • CommentAuthorUrs
    • CommentTimeJun 13th 2020

    Hi Richard,

    I have only glanced over your thesis (arXiv:1304.0867). Would have to dig deeper to see which statemen(s) one would need to quote to get the desired model structure. There seem to be a lot of technical conditions to be checked(?).

    I never thought much about the Hurewicz model structure at all. But if you could deduce with ease a theorem for that case, I expect it would be of interest.

    To get what you need from this, it might suffice…

    Yeah, this is what the Haraguchi-Shimakawa-structure would (or will) give: Here diffeological homotopy type is detected on smooth homotopy groups, while the functor to underlying D-topological spaces is the left adjoint of a Quillen equivalence. Therefore the existence of this model structure would (or will) imply that the cohesive homotopy types of cofibrant diffeological spaces is in bijection to their underlying D-topological homotopy type.

    • CommentRowNumber66.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 26th 2020

    Ok, so Haraguchi and Shimakawa have a new preprint out, claiming to fix the issues with the old, incorrect result on the model structure on diffeological spaces: https://arxiv.org/abs/2011.12842

    • CommentRowNumber67.
    • CommentAuthorUrs
    • CommentTimeNov 26th 2020

    Thanks for the alert. But maybe best to discuss in the thread for model structure on diffeological spaces, here.

    • CommentRowNumber68.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 26th 2020

    Ok, thanks for the pointer.

    • CommentRowNumber69.
    • CommentAuthorUrs
    • CommentTimeMar 12th 2021

    added pointer to the new website:

    diff, v76, current

    • CommentRowNumber70.
    • CommentAuthorzskoda
    • CommentTimeMar 12th 2021

    Diffeologies coming out from singular statistical models were discussed this Wednesday, 10.3.2021. in the Prague-Hradec Králové seminar (Cohomology in algebra, geometry, physics and statistics) talk by Hông Vân Lê (Institute of Mathematics of the Czech Academy of Sciences), now on youtube

    • Hông Vân Lê, Diffeological statistical models and diffeological Hausdorff measures, yt

    The slides are available from https://users.math.cas.cz/~hvle/PHK/Lediffeological10032021.pdf and there are two arXiv preprints,

    • Hông Vân Lê, Alexey A. Tuzhilin, Nonparametric estimations and the diffeological Fisher metric, arXiv:2011.13418
    • Hông Vân Lê, Diffeological statistical models,the Fisher metric and probabilistic mappings, Mathematics 2020, 8(2),167, arXiv:1912.02090

    I copy this information at Fisher metric.

    • CommentRowNumber71.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2021
    • (edited Oct 1st 2021)

    I have added statement and proof (here) that the internal hom as diffeological spaces of any pair of D-topological spaces has the correct diffeological homotopy type.

    This follows, I think, by combining a couple of statements from Shimakawa & Haraguchi with that proposition from Christensen & Wu (observing that the latter gives a natural weak equivalence).

    diff, v78, current

    • CommentRowNumber72.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 12th 2022

    Added:

    The Grothendieck topology on 𝒪𝓅\mathcal{Op} is generated by the coverage of open covers, i.e., a family of maps {U iX} iI\{U_i\to X\}_{i\in I} is a covering family if every map U iXU_i\to X is an open embedding and the union of the images of U iU_i in XX equals XX.

    diff, v86, current

    • CommentRowNumber73.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 4th 2022

    Losik’s paper bibliographic data updated:

    • {#Losik92} Mark Losik, Fréchet manifolds as diffeologic spaces, Russian Mathematics 36:5 (1992), 36–42. English translation: PDF. Russian original: (mathnet:ivm4812)

    diff, v87, current

    • CommentRowNumber74.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 6th 2022
    • (edited Oct 6th 2022)

    Re #35:

    I am finalizing a paper for the arXiv: https://dmitripavlov.org/diffeo.pdf, which answers the questions about model structures on diffeological spaces posed above.

    Some highlights:

    • Theorem 6.3: The category of diffeological spaces does not admit a model structure transferred from simplicial sets via the smooth singular complex functor. This is caused by the highly pathological behavior of the concretization functor, which is used to compute colimtis of diffeological spaces. However, the smooth singular complex functor is a Dwyer–Kan equivalence of relative categories (Corollary 7.7).

    • Theorem 7.4: The category of smooth sets does admit a model structure transferred from simplicial sets via the smooth singular complex functor.

    • All smooth manifolds are cofibrant.

    • This model structure is cartesian.

    • It is left proper, combinatorial, h-monoidal, flat, symmetric h-monoidal, all operads are admissible, etc.

    • The internal hom Hom(X,-) from any smooth manifold X preserves weak equivalences. This is just a reformulation of the smooth Oka principle.

    • Proposition 10.3 resolves the question in Remark 2.2.9 of the paper “Equivariant principal infinity-bundles”.

    • Finally, all of the above continues to hold if we replace (pre)sheaves of sets by presheaves valued in a left proper combinatorial model category V.

    • As an application, in Section 14 I prove classification results for principal G-bundles and bundle gerbes over arbitrary cofibrant diffeological spaces.

    • CommentRowNumber75.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 6th 2022

    Do you know an explicit example of a cofibrant diffeological space that’s not a manifold?

    • CommentRowNumber76.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 6th 2022
    • (edited Oct 6th 2022)

    Do you know an explicit example of a cofibrant diffeological space that’s not a manifold?

    Yes, of course: smooth realizations of simplicial sets are not manifolds. So as a completely explicit example, take the smooth realization of a simplicial 2-horn.

    In general, cofibrant diffeological spaces will be smooth analogues of CW-complexes (or, more generally, retracts of transfinite compositions of cobase changes of smooth horn inclusions).

    So it is not unreasonable to expect that we have smooth analogues of various results about certain spaces being CW-complexes.

    • CommentRowNumber77.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 6th 2022

    Hmm, interesting. Now I’m wondering about geometric realization of simplicial fin dim manifolds. If they were cofibrant that would be excellent.

    • CommentRowNumber78.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 7th 2022

    Re #77: As long as the latching maps (inclusions of degenerate simplices) of your simplicial manifold are cofibrations of diffeological spaces, the answer is affirmative: consider the skeletal filtration of the smooth realization; every step in the filtration is a cobase change of the pushout product of a smooth boundary inclusion and the corresponding latching map. Since the model structure is cartesian, the pushout product is a cofibration, and so is its cobase change. Transfinite compositions of cofibrations are cofibrations.

    The latching maps are cofibration in many cases of interest. A trivial case is when the degenerate simplices are split. A less trivial case is when the latching map is a closed embedding of manifolds, since such maps are cofibrations by a relative version of Proposition 9.2.

    • CommentRowNumber79.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 7th 2022

    So something like a simplicial Lie group, I guess? That’s useful to know.

    • CommentRowNumber80.
    • CommentAuthorUrs
    • CommentTimeOct 7th 2022

    Hi Dmitri, re #74:

    thanks for posting this! Looks really interesting.

    I am on a brief family vacation and didn’t find time yet to really look at your pdf, nor may I find much time in the next week.

    Just one quick question from the list of highlights:

    How is the model structure on smooth sets which you consider related to that considered by Cisinski, as highlighted in Adrian CLough’s thesis?

    • CommentRowNumber81.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 7th 2022
    • (edited Oct 11th 2022)

    How is the model structure on smooth sets which you consider related to that considered by Cisinski, as highlighted in Adrian CLough’s thesis?

    Given the way you phrased this, may I point out that the nLab has a detailed article about Cisinski’s model structures on toposes: test topos, which you once created.

    The weak equivalences are the same for the transferred model structure and Cisinski’s model structure.

    Cofibrations in Cisinski’s model structure are precisely monomorphisms, whereas cofibrations in the transferred model structure are precisely retracts of transfinite compositions of cobase changes of smooth horn inclusions.

    So fibrancy in the transferred model structure is something you can establish in practice, which is not really the case for Cisinski’s model structure.

    • CommentRowNumber82.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 11th 2022

    A naive question that I’ve not seen addressed, and someone who’s published on diffeology seems to not know: is the D-topology on a the diffeological space associated to a Fréchet space the same as the original topology? I would be surprised if not. We seem to have danced around the issue earlier in the thread, but skimming through I only saw discussion of the shape working out correctly.

    • CommentRowNumber83.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 13th 2022
    • (edited Oct 13th 2022)

    This amounts to saying that Frechet spaces are Δ-generated topological spaces. Is this known?

    • CommentRowNumber84.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 14th 2022

    It seems to be true at least in special cases: in conversation with Enxin Wu we agreed that the Fréchet space topology and the D-topology on \prod_{\mathbb{N}} \mathbb{R} agree.

    Do we know if Banach spaces are Δ\Delta-generated?

    • CommentRowNumber85.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 14th 2022
    • (edited Oct 14th 2022)

    Do we know if Banach spaces are Δ\Delta-generated?

    I think so. We need to show that given a Banach space B and a subset U⊂F, if the preimage of U under any smooth map R^n→B is open, then U is open.

    Assume the converse: there is a point u∈U (wlog u=0) such that for any ε>0 there is a point u_ε∈B∖U such that ‖u_ε‖<ε.

    Now use smooth bump functions to construct a smooth curve f:R→B such that f(ε)=u_ε for some set of ε that have 0 as an accumulation point.

    We have a contradiction: 0∈f^{-1}U, but arbitrary small neighborhoods of 0 have points outside of f^{-1}U.

    Thus, U is open in the norm topology.

    This appears to work also for Frechet spaces, since the topology of a Frechet space is induced by a countable system of seminorms.

    • CommentRowNumber86.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 14th 2022

    An argument of an apparently different nature was supplied on Twitter.

    • CommentRowNumber87.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 14th 2022

    This appears to work also for Frechet spaces, since the topology of a Frechet space is induced by a countable system of seminorms.

    Possibly even just using the fact the topology comes from a translation-invariant metric is enough: use d(0,u ε)d(0,u_\varepsilon) instead of ‖u_ε‖<ε. I think the smooth curve construction should work basically the same (I imagine doing something like a piecewise linear continuous path joining the set of points u εu_\varepsilon, then smoothing it by a reparametrisation introducing flat points at the joins. Since the chain rule works for the usual calculus in Fréchet spaces this will still be smooth). Do you agree?

    • CommentRowNumber88.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 14th 2022
    • (edited Oct 14th 2022)

    Yes, I think this works fine for any first-countable topological vector space as long as smoothness holds, since such first-countable TVS admit countable fundamental systems of neighborhoods U_ε and we can take u_ε∈U_ε.

    And for smoothness of curves, only smoothness at 0 is nontrivial, since at all other points we can use as coefficients smooth real-valued bump functions with disjoint supports instead of the piecewise linear construction, and these automatically yield a smooth curve away from 0.

    In the Frechet case, we can choose seminorms to be exponentially decreasing as the parameter approaches 0, which guarantees smoothness.

    • CommentRowNumber89.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 18th 2022

    Re #80: I added a remark about Cisinski’s result in the draft.

    Urs, if you can think of any additional results/statements that would be of interest to you, let me know, I will be happy to add them to the paper; Proposition 10.3 already resolves one of your previous questions.

    • CommentRowNumber90.
    • CommentAuthorDmitri Pavlov
    • CommentTimeNov 1st 2022

    And now the paper is on arXiv: https://arxiv.org/abs/2210.12845.

    • CommentRowNumber91.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 7th 2023

    Added (and split off foundations in a separate section):

    Cartan calculus for diffeological spaces is developed in

    diff, v88, current