Related papers: Mayer-Vietoris sequence for differentiable/diffeol…

To a coarse structure we associate a Grothendieck topology which is determined by coarse covers. A coarse map between coarse spaces gives rise to a morphism of Grothendieck topologies. This way we define sheaves and sheaf cohomology on…

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.

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the…

In this paper we introduce the notion of a smooth structure on a stratified space, the notion of a Poisson smooth structure and the notion of a weakly symplectic smooth structure on a stratified symplectic space, refining the concept of a…

In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…

We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…

A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Fr\"olicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is…

Thin homotopies, introduced by Caetano-Picken, serve to axiomatize the holonomy of connections on principal bundles. This approach has been generalized to higher non-abelian bundles with connection through transport functors and higher…

A theorem of O. Haupt, rediscovered by M. Kapovich and celebrated by his proof invoking Ratner theory, describes the set of de Rham cohomology classes on a topological orientable surface, which can be realized by an abelian differential in…

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…

Grothendieck has proved that each class in the de Rham cohomology of a smooth complex affine variety can be represented by a differential form with polynomial coefficients. After having proved a single exponential bound for the degrees of…

We introduce a new geometric approach to a manifold equipped with a smooth density function that takes a torsion-free affine connection, as opposed to a weighted measure or Laplacian, as the fundamental object of study. The connection…

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…

A (meromorphic) quadratic differential is a (meromorphic) section of the tensor square of the canonical bundle of a Riemann surface. They arose in the study of quasiconformal mappings in the works of Oswald Teichm\"uller, and have played a…

To construct an $A_{\infty}$-form for a loop space in the category of diffeological spaces, we have two minor problems. Firstly, the concatenation of paths in the category of diffeological spaces needs a small technical trick (see…

The gauge symmetry of classical general relativity under space-time diffeomorphisms implies that any path integral quantization which can be interpreted as a sum over space-time geometries, gives rise to a formal invariant of smooth…

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…

We design in this work a discrete de Rham complex on manifolds. This complex, written in the framework of exterior calculus, has the same cohomology as the continuous de Rham complex, is of arbitrary order of accuracy and, in principle, can…

We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial homology in the dual dimension for a simplicial decomposition of a compact oriented manifold, is a straightforward…