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.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 2nd 2020

    Added a reference to diffeological spaces.

    diff, v9, current

    • CommentRowNumber2.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 2nd 2020

    The 1977 definition of Chen spaces appears to be equivalent to diffeological spaces, or am I missing something?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJul 2nd 2020

    You are saying this as if it is in contradiction to something?

    I don’t feel responsible for the entry “Chen space”, but over in the references of diffeological space it does attribute the definition to Chen, rediscovered, apparently independently, by Souriau.

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 2nd 2020
    • (edited Jul 2nd 2020)

    Baez and Hoffnung at the bottom of page 8 of their paper https://arxiv.org/abs/0807.1704v4 write the following:

    Stacey has given a more general comparison of Chen spaces versus diffeological spaces [40]. To briefly summarize this, let us write ChenSpace for the category of Chen spaces, and DiffeologicalSpace for the category of diffeological spaces. Stacey has shown that these categories are not equivalent. However, he has constructed some useful functors relating them. These take advantage of the fact that every open subset of R n becomes a Chen space with its subspace smooth structure, and conversely, every convex subset of R n becomes a diffeological space.

    And at the bottom of page 9 they write:

    With a little work, it follows that both Ch ♯ and Ch ♭ embed DiffeologicalSpace isomorphically as a full subcategory of ChenSpace: a ‘reflective’ subcategory in the first case, and a ‘coreflective’ one in the second. The embedding Ch ♭ is a bit strange: as shown by Stacey, even the ordinary closed interval fails to lie in its image!

    What am I missing?

    Andrew Stacey writes at the bottom of page 32 in https://arxiv.org/abs/0802.2225:

    Chen spaces. Let us now compare Chen spaces and Souriau spaces. We can show that they are different by exhibiting a Souriau space whose images under the two extension functors are different.

    This Souriau space is [0, 1] with its usual diffeology. The Chen space Ch ♯ ([0, 1]) is easily seen to be the standard Chen space structure on [0, 1]. In particular, it contains the identity on [0, 1]. On the other hand, every plot in Ch ♭ ([0, 1]) factors through a C ∞ -map U → [0, 1] from an open subset of some Euclidean space into [0, 1]. The identity on [0, 1] does not have this property: any factorisation of the inclusion [0, 1] → R via some open set U must extend outside [0, 1]. Hence Ch ♯ ([0, 1]) , Ch ♭ ([0, 1]).

    One can extend this example to see that the main difference between Chen spaces and Souriau spaces is the ability to “approach boundary points at speed”. In the Chen realm, one can approach a point at speed and stop. In the Souriau realm, one must always be able to go a little further. Now suppose that one wishes to declare that a certain point cannot be approached from certain directions. One therefore wishes to consider one-sided derivatives at those points. In the Chen realm, this presents no difficulties: one approaches at a steady speed along those directions that one is allowed to approach along. In the Souriau realm, this is more problematical. One has to approach along an allowed direction and then “bounce back”, so ones speed has to approach zero as one nears the point of interest.

    Looking at the original paper by Chen https://doi.org/10.1090/s0002-9904-1977-14320-6, Definition 1.2.1 basically talks about sheaves of sets on the site of convex subsets of R^n.

    However, it does not require these subsets to be open or closed, which means that we get something quite different from Souriau’s diffeological spaces.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJul 3rd 2020

    Oh, I see. Thanks for highlighting. So I have adjusted the discussion of the references over at diffeological space, accordingly (here).