Questions tagged [diffeology]

The tag has no usage guidance.

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 ...
Elliot's user avatar
  • 295
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 ...
7 votes
1 answer
273 views

Inducing a model structure using a cosimplicial object

In a recent paper, Hiroshi Kihara induced a model structure on the category of diffeological spaces. He generates the classes of fibrations, cofibrations, and weak equivalences by constructing a ...
Ben MacAdam's user avatar
  • 1,253
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
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
8 votes
1 answer
450 views

Differential forms on standard simplices via Whitney extension vs diffeological structure

The standard simplices $\Delta^n \subset \{\mathbf{x}\in\mathbb{R}^{n+1}\mid x_0 + \ldots + x_n =1 \} =: \mathbb{A}^n$ carry two natural sorts of smooth differential forms: Those differential forms ...
David Roberts's user avatar
  • 33.8k
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
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
8 votes
1 answer
509 views

Stacks over diffeologies

Konrad Waldorf shows in his paper one may realize a Grothendieck topology on the category of diffeological spaces. Is there any work exploring stacks over the category of diffeologies?
Seth Wolbert's user avatar
9 votes
2 answers
393 views

Reference for a path groupoid being a diffeological groupoid

I am looking for a reference that has a proof that a path groupoid is a groupoid internal to the category of diffeological spaces. I do know how to prove this fact, and a proof is not hard. My reason ...
Eugene Lerman's user avatar
11 votes
2 answers
1k views

Diffeology as a sheaf on the site of smooth manifolds

Souriau's definition of diffeology may be phrased as defining a concrete sheaf on the category $\mathsf{Open}$ of open subsets of Euclidean/coordinate spaces. It seems to me, unless I am missing ...
Eugene Lerman's user avatar
38 votes
6 answers
4k views

Advantages of diffeological spaces over general sheaves

I have been playing with/thinking about diffeological spaces a bit recently, and I would like understand something rather crucial before going further. First a little background: Diffeological spaces ...
David Carchedi's user avatar