Related papers: Multidimensional $C^0$ transversality and the shad…
The paper is devoted to metric properties of singularities. We investigate the relations among topology, metric properties and smoothness. In particular, we present some higher dimensional analogous of Mumford's theorem on smoothness of…
In this paper which is the first of a series of papers on smooth structures, the concepts of C-structures and smooth structures are introduced and studied. The notion of smooth structure on semi-integral domains is given. It is shown that…
We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two…
Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…
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 establish conditions for a continuous map of nonzero degree between a smooth closed manifold and a negatively curved manifold of dimension greater than four to be homotopic to a smooth cover, and in particular a diffeomorphism when the…
We establish a new partial $C^{0}$-estimate along a continuity path mixed with conic singularities along a simple normal crossing divisor and a positive twisted $(1,1)$-form on Fano manifolds. As an application, this estimate enables us to…
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 the first part of this text we give a survey of the properties satisfied by the C1-generic conservative diffeomorphisms of compact surfaces. The main result that we will discuss is that a C1-generic conservative diffeomorphism of a…
We classify complete curvature homogeneous metrics on simply connected four dimensional manifolds which are invariant under a cohomogeneity one action. We show that they are either isometric to a symmetric space with one of its…
O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as Andr\'e-Oort conjecture. Among the many tools developed in…
In this paper, we classify compact simply connected cohomogeneity one manifolds up to equivariant diffeomorphism whose isotropy representation by the connected component of the principal isotropy subgroup has three or less irreducible…
Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond…
In this paper we study relations between almost specification property, asymptotic average shadowing property and average shadowing property for dynamical systems on compact metric spaces. We show implications between these properties and…
For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of…
We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the…
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…
We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic…
We study a special type of shadowing (DSP) of chain transitive continuous self-maps of compact Hausdorff spaces. We prove some basic properties of DSP. As application of DSP, we obtain sufficient conditions for a statistical variant of…
We study Anosov families which are sequences of diffeomorphisms along compact Riemannian manifolds such that the tangent bundle split into expanding and contracting subspaces. In this paper we prove that a certain class of Anosov families:…