Solves open problem on Lie groupoids equivalence.
problem Whether Lie groupoids Morita equivalent are diffeologically Morita equivalent.
method Localisation of 2-categories, anafunctors, Lie groupoids, diffeological groupoids.
result Two Lie groupoids diffeologically Morita equivalent are Morita equivalent in the Lie sense.
Integrates singular subalgebroids using diffeological groupoids.
problem Integration of singular subalgebroids.
method Definition of integration via diffeological groupoids with specific properties.
result Holonomy groupoids correspond to singular subalgebroids with submersive property.
New Morita equivalence for diffeological groupoids defined.
problem Defining Morita equivalence for diffeological groupoids.
method Developed diffeological groupoid actions, -bundles, and -bibundles; introduced principality; defined Hilsum-Skandalis tensor product.
result Biprincipal bibundles are weakly invertible in the bicategory DiffBiBund.
Lie groupoids and their orbit spaces are linked through equivalence classes.
problem Understanding the relationship between Lie groupoids and their orbit spaces.
method Introducing lift-complete Lie groupoids and showing equivalence between categories.
result Morita equivalence class of a lift-complete Lie groupoid is determined by its orbit space.
Quasifold groupoids and diffeological quasifolds are studied, showing an equivalence of categories.
problem Understanding the structure and equivalence of quasifold groupoids and diffeological quasifolds.
method Examining the category of diffeological quasifolds and the bicategory of quasifold groupoids, proving an equivalence of categories under certain conditions.
result Restricting to locally invertible morphisms and effective quasifold groupoids, the orbit space functor is an equivalence of categories.
The paper explains the importance of diffeological groupoids in modern geometry and physics.
problem None explicitly stated, focuses on the concept and applications.
method Expository review of the development and applications of diffeological groupoids.
result The diffeological groupoid serves as a powerful tool in various areas of modern geometry and physics.
New method for foliated bundles using holonomy groupoids.
problem Constructing holonomy groupoids for foliated bundles.
method Partial connection on diffeological principal bundle of germs.
result New hierarchy of holonomy groupoids for foliated bundles.
The article proves Lie's third theorem for Lie algebroids via singular Lie groupoids.
problem Lie's third theorem does not hold for Lie groupoids and Lie algebroids.
method Introducing a subcategory of diffeological spaces called quasi-etale, constructing a functor mapping singular Lie groupoids to Lie algebroids.
result Lie's third theorem is valid for Lie algebroids within the context of singular Lie groupoids.
Riemannian metrics on orbifolds are equivalent to diffeological ones.
problem Equivalence of Riemannian and diffeological orbifolds.
method Framework of Riemannian diffeology and analysis of 2-metrics.
result Riemannian metrics on orbifolds are equivalent to diffeological ones.
The leaf space of a Killing Riemannian foliation is a diffeological quasifold.
problem Understanding the structure of leaf spaces of Riemannian foliations.
method Analyzing the holonomy groupoid and using diffeological spaces.
result The leaf space of a Killing Riemannian foliation is a diffeological quasifold.
Study abelianization of Lie algebroids and groupoids, providing conditions for existence.
problem Existence conditions for abelianization of Lie algebroids and groupoids.
method Investigation of abelianization for Lie algebroids and groupoids, providing necessary and sufficient conditions.
result Necessary and sufficient conditions for the existence of abelianization in both Lie algebroids and groupoids.
In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and show that the Grothendieck construction sending these sheaves to stacks has a left…
Abstract Lie algebroids generalize Lie algebroids to abstract categories.
problem Generalizing Lie algebroids to abstract categories.
method Generalized differentiation procedure to groupoid objects in categories with tangent structures.
result Abstract Lie algebroids are defined and examples include various groupoids.
Study on Čech-de Rham obstruction in diffeological spaces.
problem Obstruction to Čech-de Rham map being an isomorphism in diffeological spaces.
method Higher topos theory, homotopy pullback diagrams, Čech-de Rham bicomplex, ∞-stack cohomology. result New exact sequences in all higher degrees and conceptual proof of cohomology agreement.
The paper defines connections on Lie groupoid bundles and their properties.
problem Defining connections on Lie groupoid bundles and their properties.
method Introducing a suitable definition for connections on Lie groupoid bundles and proving their existence.
result Existence of connections on Lie groupoid bundles and their properties.
Defines connections for singularly foliated bundles.
problem Understanding connections in bundles with singular foliations.
method Introduces connections compatible with singular foliations, defines holonomy groupoids.
result Holonomy groupoids of trivial bundles are quotients of Androulidakis-Skandalis groupoids.
The paper proves isomorphisms between two complexes related to singular foliations.
problem Understanding the isomorphisms between two complexes associated with singular foliations.
method Analyzing the quotient map and proving isomorphisms in specific cases.
result Isomorphisms between the complexes of differential forms on the leaf space and basic differential forms on the manifold.
A classical result in differential geometry states that for a free and proper Lie group action, the quotient map to the orbit space induces an isomorphism between the de Rham complex of differential forms on the orbit space and the basic differential forms on the original manifold. In this paper, this result is general…
Geometric quantization extended to arbitrary connected spaces using path integration.
problem Constructing a Prequantum Groupoid for arbitrary connected parasymplectic spaces.
method Define a Total Group of Periods and a Prequantum Groupoid with connected isotropy.
result The Prequantum Groupoid Tω is isomorphic to the group of symmetries of the Dynamical System. We consider the diffeological version of the Clifford algebra of a (diffeological) finite-dimensional vector space; we start by commenting on the notion of a diffeological algebra (which is the expected analogue of the usual one) and that of a diffeological module (also an expected counterpart of the usual notion). Aft…
This paper aims to describe the behavior of diffeological differential forms under the operation of gluing of diffeological spaces along a smooth map. In the diffeological context, two ways of looking at diffeological forms are available, that of the vector space of all diffeological forms on a given space, and that of…
New cohomology theory for diffeological spaces developed.
problem Cohomology of diffeological spaces.
method Diffeological Čech cohomology theory.
result Established connections between diffeological Čech cohomology and de Rham cohomology.
The paper bridges diffeological bundle theory with higher topos theory.
problem Comparing Čech cohomology of diffeological spaces with existing notions.
method Using Čech model structure on simplicial presheaves and diffeological spaces as discrete simplicial presheaves.
result Nerve of diffeological principal G-bundles is weak homotopy equivalent to G-principal ∞-bundles. Diffeology extends differential geometry to complex spaces.
problem Handling singular and infinite-dimensional settings in differential geometry.
method Introduces diffeology as a new framework.
result Diffeology provides a natural and effective framework for complex spaces.
This paper generalizes optimization techniques to diffeological spaces.
problem Challenges in applying optimization techniques to diffeological spaces due to various tangent space definitions.
method Suitable definition of tangent space, diffeological Riemannian space, diffeological gradient, and diffeological retraction.
result Formulation of an optimization algorithm on diffeological spaces.
This paper adapts submersions, immersions, and étale maps to diffeology.
problem Providing suitable analogs for submersions, immersions, and étale maps in diffeology.
method Nonlinear approach to diffeological submersions, immersions, and étale maps.
result Characterization and properties of diffeological embeddings and étale maps.
Defines sheaves and Čech cohomology for diffeological spaces and classifies principal bundles.
problem Defining sheaves and Čech cohomology for diffeological spaces.
method Defines sheaves for diffeological spaces and constructs Čech cohomology. Uses Čech cohomology to classify principal bundles.
result First degree Čech cohomology classes classify diffeological principal G-bundles. Universal connection constructed using diffeology theory.
problem Natural connection on bundles of paths on manifolds.
method Diffeological construction of Singer's universal connection.
result Functorial equivalence between holonomy categories and diffeological bundle-connection pairs.
Study tiling spaces over irrational tori using diffeological classification.
problem Understanding the structure of tiling spaces over irrational tori.
method Diffeological classification of irrational tori and analysis of fiber bundle structures.
result Inherited diffeological equivalence of one-dimensional tiling spaces over irrational tori.
New pushforward operation on vector pseudo-bundles creates new examples.
problem Creating new objects from vector bundle theory in diffeology.
method Introducing pushforward operation on diffeological vector pseudo-bundles.
result Pushforward operation produces new projective diffeological vector spaces.
Analyzes geometric structures on profinite diffeological spaces.
problem Understanding geometric properties of spaces derived from finite-dimensional manifolds.
method Examines tangent and cotangent spaces, differential forms, metrics, connections, and cohomology.
result Unified geometric constructions across various contexts.
Introduces a new framework for Riemannian diffeology.
problem No specific problem stated; focuses on a new framework.
method Uses tangent functor and metric from Iglesias-Zemmour to establish weak Riemannian diffeological spaces.
result Establishes a category of weak Riemannian diffeological spaces and shows induced pseudodistance is a distance under technical conditions.
This work establishes properties on diffeological structures for set-valued maps and measures.
problem Establish rigorous properties on diffeological structures for set-valued maps and measures.
method Using diffeologies, the authors link various structures including set-valued maps, relations, gradients, measures, and shape analysis.
result Established rigorous properties on sample diffeologies.
We consider certain groups of tree automorphisms as so-called diffeological groups. The notion of diffeology, due to Souriau, allows to endow non-manifold topological spaces, such as regular trees that we look at, with a kind of a differentiable structure that in many ways is close to that of a smooth manifold; a suita…
We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent to Satake's notion of a V-manifold and to Haefliger's notion of an orbifold. This…
We show that a diffeological bundle gives rise to an exact sequence of internal tangent spaces. We then introduce two new classes of diffeological spaces, which we call weakly filtered and filtered diffeological spaces, whose tangent spaces are easier to understand. These are the diffeological spaces whose categories o…
New bridge between diffeology and noncommutative geometry.
problem Connecting diffeology and noncommutative geometry.
method Embedding quasifolds into diffeology and associating C*-algebras.
result Morita classes of C*-algebras associated with diffeomorphic quasifolds.
The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular cochain complex which gives the de Rham theorem for every diffeological space. It …
New derivations on diffeological spaces are not smooth, expanding tangent space definitions.
problem Lack of smoothness in derivations on diffeological spaces.
method Examined derivations satisfying the Leibniz rule but not smooth with respect to given diffeology.
result Tangent space defined via all derivations is larger than one defined using only smooth derivations.
A new method for optimization in diffeological spaces using linearizations.
problem Optimization in spaces with low regularity.
method Generalizing linearization to diffeological spaces and constructing smooth paths.
result Achieving weak convergence to minima or critical values in diffeological spaces.
We study diffeologies on locally convex spaces and their application to smooth multiplication of distributions.
problem Constructing smooth multiplication of distributions on locally convex spaces.
method Using diffeological colimits and wavefront-set criterion.
result Proving smooth multiplication of microlocally multipliable distributions.
Proves Mayer-Vietoris sequence for diffeological spaces using generating families.
problem No specific problem stated; focuses on extending a sequence.
method Uses generating families instead of coverings in diffeological spaces.
result Proves a Mayer-Vietoris sequence for diffeological spaces.
The study explores how different Grothendieck topologies and functors between categories preserve locality.
problem Exploring relationships between different Grothendieck topologies and functors.
method Using Grothendieck topologies and functors to relate categories and geometric objects.
result Objects like sheaves, groupoids, and functors are invariant under equivalences of Grothendieck topologies and certain functors.
Study on diffeologies on locally convex spaces and smooth multiplication of distributions.
problem Geometric characterization and smoothness of distribution multiplication.
method Investigation of canonical and c∞-diffeologies on locally convex spaces, proving geometric characterizations, and comparing diffeologies. result Established a framework for nonlinear distribution theory beyond manifolds, realizing microlocally multipliable distributions as a diffeological colimit.
Survey and extend work on singular foliations in diffeology.
problem Understanding singular foliations and their properties in diffeological settings.
method Survey Stefan and Sussmann's work, introduce transverse equivalence, and define basic cohomology.
result Transverse equivalence of singular foliations preserves leaf spaces diffeologically but not conversely.
Paper constructs infinitely many tangent functors on diffeological spaces.
problem Tangent spaces in diffeological spaces are not uniquely defined.
method Introduced and constructed infinitely many non-isomorphic tangent functors.
result The choice of tangent functor is not unique outside smooth manifolds.
Diffeological submanifolds are a new type of submanifold in manifold theory.
problem Defining and understanding different types of submanifolds in manifold theory.
method Introducing diffeological submanifolds and comparing them with other types of submanifolds.
result A diffeological submanifold can be included in a manifold without being an immersion.
It is known that the only finite-dimensional diffeological vector space that admits a diffeologically smooth scalar product is the standard space of appropriate dimension. In this note we consider a way to circumnavigate this issue, by introducing a notion of pseudo-metric, which, said informally, is the least-degenera…