3 papers
math.DG2026
Diffeological Riemannian orbifolds
David Miyamoto
We show that the data of a Riemannian metric on a differentiable stack presented by an orbifold groupoid is equivalent to the data of a Riemannian metric on its diffeological orbit…
math.DG2026
Lie algebras of quotient groups
David Miyamoto
We give conditions on a diffeological group and a normal subgroup under which the quotient group differentiates to a Lie algebra for which $\operatorname{Lie}(G/H) \c…
math.DG2025
A singular Serre-Swan theorem via tepui fibrations
Alfonso Garmendia, David Miyamoto, Leonid Ryvkin
The classical Serre-Swan theorem asserts that any finitely generated projective module over the algebra of smooth functions of a manifold can be realized as the s…