Related papers: A tangent bundle on diffeological spaces
The purpose of this note is to define sheaves for diffeological spaces and give a construction of their \v{C}ech cohomology. As an application, we prove that the first degree \v{C}ech cohomology classes for the sheaf of smooth functions to…
We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve,…
We study tangent spaces in the setting of diffeological spaces. Several distinct tangent functors have been introduced, each of which extends the classical tangent functor from smooth manifolds. In this paper, we construct infinitely many…
In this paper, we study diffeological spaces as certain kinds of discrete simplicial presheaves on the site of cartesian spaces with the coverage of good open covers. The \v{C}ech model structure on simplicial presheaves provides us with a…
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…
We define two different versions of the relative De Rham cohomology groups of a diffeological space. Additionally, we study a variant of the Mayer-Vietoris sequence and discuss the existence of a relative cup product. Our approach is…
The existence of a model structure on the category $\mathcal{D}$ of diffeological spaces is crucial to developing smooth homotopy theory. We construct a compactly generated model structure on the category $\mathcal{D}$ whose weak…
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…
We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws…
It is given the diffeomorphism classification on generic singularities of tangent varieties to curves with arbitrary codimension in a projective space. The generic classifications are performed in terms of certain geometric structures and…
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,…
De Rham cohomology, $d_V$- and $d_H$-cohomology of the differential algebra of locally pull-back exterior forms on the infinite-order jet manifold of a smooth fibre bundle are calculated.
We introduce a class of diffeological spaces, called elastic, on which the left Kan extension of the tangent functor of smooth manifolds defines an abstract tangent functor in the sense of Rosicky. On elastic spaces there is a natural…
We compute the cohomology of the right generalised projective Stiefel manifolds and use it to find bounds on the rank of the complementary bundle for certain vector bundles. Further the cohomology computations are also used to find bounds…
We introduce a system of axioms that uniquely defines an (infinity,d)-category of bordisms equipped with geometric data. The underlying manifolds of these bordisms may be smooth, complex, super, or formal smooth manifolds, as well as any…
In this paper, we study a new operation named pushforward on diffeological vector pseudo-bundles, which is left adjoint to the pullback. We show how to pushforward projective diffeological vector pseudo-bundles to get projective…
We construct smooth bundles with base and fiber products of two spheres whose total spaces have non-vanishing $\hat{A}$-genus. We then use these bundles to locate non-trivial rational homotopy groups of spaces of Riemannian metrics with…
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…
We slightly extend the notion of a natural fibre bundle by requiring diffeomorphisms of the base to lift to automorphisms of the bundle only infinitesimally, i.e. at the level of the Lie algebra of vector fields. Spin structures are natural…
We examine several classes of manifolds which have the same cohomology ring as an Eschenburg space (a family of biquotients which is a main source of manifolds with positive curvature). One family are the 3-sphere bundles over CP^2. Another…