Questions tagged [generalized-smooth-spaces]

Filter by
Sorted by
Tagged with
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 ...