Questions tagged [generalized-smooth-spaces]

Filter by
Sorted by
Tagged with
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 ...
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 ...
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 ...
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 \...
ಠ_ಠ's user avatar
  • 5,933
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 ...
Alastair Grant-Stuart's user avatar
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 ...
Arshak Aivazian's user avatar
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: ...
Chris Schommer-Pries's user avatar
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 ...
xir's user avatar
  • 1,964
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+...
Adittya Chaudhuri's user avatar
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 ...
Adittya Chaudhuri's user avatar
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 ...
Elliot's user avatar
  • 295
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 ...
Arshak Aivazian's user avatar
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 ...
ಠ_ಠ's user avatar
  • 5,933
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 ...
David Roberts's user avatar
  • 33.8k
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 ...
Mozibur Ullah's user avatar
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 ...
José Juan's user avatar
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?
User's user avatar
  • 49
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 ...
Qfwfq's user avatar
  • 22.7k
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 ...
Hugo's user avatar
  • 384
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 ...
Daniel Grady's user avatar
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 ...
user avatar
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 ...
Adittya Chaudhuri's user avatar
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/(...
ARA's user avatar
  • 739
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 ...
Mozibur Ullah's user avatar
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 ...
Adittya Chaudhuri's user avatar
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$?
user avatar
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 ...
A Rock and a Hard Place's user avatar