Questions tagged [generalized-smooth-spaces]
The generalized-smooth-spaces tag has no usage guidance.
27
questions
6
votes
2
answers
297
views
Is there a notion of a complex/analytic diffeological space?
I have a bit of a general question. This seems like something you can do, but I can't seem to find much reference for this.. Perhaps something like this already exists in a different guise. But, is ...
14
votes
2
answers
1k
views
Applications of diffeological spaces to ordinary differential geometry
Recently I've been learning more about differential geometry, and I came upon the notion of a diffeological space, which encompasses a number of already known extensions of smooth manifolds or related ...
6
votes
0
answers
323
views
(Co)limits in the category of diffeological spaces vs. category of smooth manifolds
I am wondering which (co)limits that exist in the category of smooth manifolds are preserved by the inclusion into the category of diffeological spaces? Are there any results that allow us to ...
3
votes
0
answers
689
views
Geometry of the irrational torus
One of the motivations of diffeology is to study singular spaces such as the irrational torus. The irrational torus $T_α$ of slope $α∈R∖Q $ as a diffeological space is given by the quotient space $ R/(...
7
votes
2
answers
400
views
Can one make sense of de Rham cohomology for the complement of a (dense) irrational flow on the torus?
Recent work has led me to consider whether one could define consider the complement of a dense irrational flow on the torus $P_\alpha \subset T^2$ as some kind of generalized smooth space, and ...
6
votes
0
answers
350
views
Regular maps between Fréchet manifolds and pullbacks
An oft-used example of a regular map of finite-dimensional smooth manifolds is a submersion. We have the well-known result that the pullback of a submersion exists and is a submersion. For Fréchet ...
12
votes
1
answer
984
views
Are there textbooks on differential geometry in the language of smooth sets or smooth derived stacks?
In differential geometry it is often natural to speak of infinite-dimensional manifolds (e.g., the manifold of mappings between two smooth manifolds). Different versions of generalized smooth spaces ...
9
votes
2
answers
338
views
Cartesian-closed full subcategory of locally ringed spaces containing smooth manifolds
This coming fall, I will be teaching a course on differential topology to a small group of strong students. In preparation for it, I'm trying to find a category $\mathrm{GDiff}$ with the following ...
6
votes
0
answers
161
views
Is the category of diffeological spaces a full subcategory of locally ringed spaces?
It is known that the natural functor of smooth functions from the category of smooth manifolds into the category of locally ringed spaces is a full embedding (see, for example, here).
Is a similar ...
5
votes
0
answers
158
views
A-spaces vs generalized spaces
$\newcommand\Set{\mathit{Set}}$I've been searching about the notions of smooth generalized spaces and I come across with two definitions that seem very good ones.
John Baez and Alexander Hoffunung ...
10
votes
2
answers
649
views
Do colimits of manifolds coincide with underlying colimits as topological spaces?
Categories of manifolds (possibly with extra structure) tend not to have all colimits.
Other questions have addressed when colimits of manifolds exist.
I'd like to know what we can say in general ...
6
votes
3
answers
608
views
What is the appropriate notion of weakly equivalent or Morita equivalent categories internal to a category of generalized smooth spaces?
Let $G$ and $H$ be Lie groupoids. We know that there are two notions of equivalences of Lie groupoids:
Strongly equivalent Lie groupoids: (My terminology)
A homomorphism $\phi:G \rightarrow H$ of ...
7
votes
2
answers
319
views
Is there any Lie groupoid structure on $Hom(\mathcal{G}, \mathcal{H})$ where $\mathcal{G}$ and $\mathcal{H}$ are Lie groupoids?
We know that in general, there is no smooth manifold structure on $Hom(X,\, Y)$ where $X$ and $Y$ are smooth manifolds, but under certain nice conditions (see https://ncatlab.org/nlab/show/manifold+...
3
votes
0
answers
150
views
Construction of differential of a smooth map between diffeological spaces with respect to internal tangent spaces
According to page 5 , definition 3.1 of https://arxiv.org/pdf/1411.5425.pdf, there is a notion of Internal Tangent Space of a Diffeological space $X$ at a point $x \in X$.
Basically if $x \in X$, they ...
2
votes
1
answer
234
views
On the proof of "Mapping space is a Chen space"
According to the page 5 in the paper Convenient Categories of Smooth Spaces https://arxiv.org/pdf/0807.1704.pdf by Baez and Hoffnung, Chen space is defined as follows:
(Note:I used different ...
4
votes
0
answers
180
views
When is the quotient of a manifold by a discrete group of diffeomorphisms a diffeological covering space?
I was reading An Introduction to Diffeology by Patrick Iglesias-Zemmour and he defines a diffeological covering space as a diffeological fiber bundle with discrete fiber.
My question: Consider a ...
10
votes
2
answers
986
views
Differential forms as a sheaf on the site of all manifolds vs. sheaf on an individual manifold
The de Rham complex can be viewed as a sheaf $\Omega$ on the entire site $\mathsf{Man}$ of smooth manifolds via the usual pullback of differential forms $(f: M \to N) \mapsto (f^*: \Omega(N) \to \...
5
votes
0
answers
118
views
Maps between simplicial manifolds
Is it true that every continuous simplicial map between smooth simplicial manifolds can be approximate (in some adequate sense) by a smooth simplicial map?
4
votes
0
answers
173
views
Homotopy invariance of the moduli stack of smooth $G$-bundles?
This question ought to have a straightforward (perhaps even glaringly obvious) answer, but so far I've already wasted a few hours trying to untangle this web of inconsistent identifications. I'm sure ...
9
votes
0
answers
943
views
Topologies on compactly supported functions
Let M be a (non-compact) smooth manifold and consider the set $C^\infty_c(M)$ of smooth real-valued functions with compact support. We can give this function space several topologies. Here are four:
...
2
votes
0
answers
121
views
Cohomology theory for generalized smooth spaces
Is there a cohomology theory for generalized smooth spaces, for example, smooth topos?
In particular, if we know the cohomology of $M$ and $N$, can we calculate that of $M^N$?
4
votes
0
answers
292
views
smooth topos as generalized smooth space
I'm interested in generalized smooth spaces. I know there are several spaces such as Deffeological space, Frölicher space, Chen space, etc... and there are some papers compare them. However, I haven't ...
2
votes
0
answers
156
views
Relationship between tangent spaces and tangent categories for smooth topoi
Let $\mathscr E$ be a smooth topos, where I am using the terminology of nLab. In particular that imples the existence of a line object $R$ and an "infinitesimally thickened point", which is an object ...
2
votes
2
answers
500
views
Are exotic spheres still exotic in generalised smooth spaces? [closed]
This is really more of a philosophical question, and the title is somewhat rhetorical:
Exotic spheres are a feature of smooth manifold theory, where certain spheres can have more than one ...
5
votes
2
answers
490
views
are immersions/submersions captured in generalised smooth spaces by some universal property?
Immersions & sumersions are important in differential manifolds. They rely on their definition of the construction of the tangent bundle.
I realise that generalised smooth spaces do not have a ...
4
votes
1
answer
326
views
Can ordinary schemes be described as sheves of algebras/models for a certain Lawvere theory?
Consider the definition of a $\mathcal{C}^{\infty}$-scheme given in Dominique Joyce's "Algebraic geometry over C-infty rings". As far as I uderstand (not being an expert either in C-infty rings nor in ...
24
votes
2
answers
1k
views
Nice application of generalized smooth spaces
I am a fan of category theory in general, and I appreciate that various brands of generalized smooth spaces (Diffeological spaces, Chen spaces, Frolicher spaces ...) form much nicer categories of ...