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.
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.
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.
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.
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.
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.
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.
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…
Stability of mapping spaces is shown to be related to the D-topology.
problem Understanding the relationship between stability and the D-topology of mapping spaces.
method Reformulation and proof of stability theorems in diffeological étale manifolds.
result Stable classes of mapping spaces are D-open.
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.
Study of tangent spaces in diffeological spaces under Lie group actions.
problem Understanding tangent spaces in generalized spaces.
method Generalized tangent space construction and isomorphism proof.
result Internal tangent space isomorphic to stratified tangent space.
We show that every effective smooth action of a Lie group G on a manifold M is a diffeomorphism from G onto its image in Diff(M), where the image is equipped with the subset diffeology of the functional diffeology.
Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the D-topology. However, the D-topology has not yet been studied seriously in the existing literature. In this paper, we…
We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions. The internal tangent space of a diffeological space is defined using smooth cur…
New type of spaces with tangent structures for analysis.
problem Defining tangent structures for non-smooth spaces.
method Introducing elastic diffeological spaces and defining tangent structures.
result Elastic spaces have a natural tangent structure with graded commutation relations.
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…
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 …
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.
Constructs diffeological moduli stacks for Higgs and flat bundles on Kähler manifolds
problem Establishing an equivalence between diffeological substacks of Higgs and flat bundles
method Using diffeological moduli stacks
result Shows equivalence of categories between semistable Higgs bundles and flat bundles
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.
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.
Diffeologies unify infinite-dimensional geometry and PDEs, enhancing classical function spaces.
problem Combining infinite-dimensional geometry and PDEs for optimization problems.
method Review and extension of classical function spaces and mapping spaces.
result Diffeologies provide a unified framework for evolution equations and optimization problems.
Introduces a framework for rational homotopy theory in diffeological spaces.
problem Challenges in rational homotopy theory for smooth spaces with arbitrary fundamental groups.
method Utilizes local systems over simplicial sets and a model structure for diffeological spaces.
result Establishes an equivalence between fibrewise rational diffeological spaces and algebraic local systems.
Lie algebras of quotient groups defined under specific conditions.
problem Conditions for Lie differentiation of quotient groups.
method Diffeological group theory, tangent structure, Lie functor instantiation.
result Lie algebra structure on quotient groups derived from Lie algebras of parent groups.
Smooth structures on diffeological spaces and sheaves, resolving conjectures.
problem Model structures on diffeological spaces and sheaves of sets.
method Embedding diffeological spaces into sheaves of sets, studying combinatorial model structures, and proving equivalence to simplicial sets.
result Established a model structure on sheaves of sets that is Quillen equivalent to simplicial sets and has properties like cartesian and cofibrant smooth manifolds.
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…
We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.
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. Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Frölicher spaces, another generalisation of smooth structures. We then give examples of such spaces, as well as examples of diffeological and differential…
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. 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.
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.
If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains true for actions that are not necessarily free nor proper, as long as the ident…
We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient space. This one is proved to be convenient iff the space and the tangent fibres c…
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 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.
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.
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.
This manuscript attempts to present a way in which the classical construction of the Dirac operator can be carried over to the setting of diffeology. A more specific aim is to describe a procedure for gluing together two usual Dirac operators and to explain in what sense the result is again a Dirac operator. Since vers…
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.
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 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.
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.
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.