Related papers: Smooth Functors vs. Differential Forms

A loop is a rather general algebraic structure that has an identity element and division, but is not necessarily associative. Smooth loops are a direct generalization of Lie groups. A key example of a non-Lie smooth loop is the loop of unit…

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…

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy…

We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions…

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,…

This is a review of the basic concepts of the theory of real and complex smooth vector bundles with finite rank. Besides, the concept of a tensor field is studied within the general framework of a smooth vector bundle rather than a smooth…

Deformational structures, in many aspects generalizing standard elasticity theory, are investigated in abstract form. Within free deformational structures we define algebra of deformations, classify them by its special properties, define…

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 the classification of real-analytic vector fields on the two-torus up to orbital topological equivalence does not admit a complete numerical invariant that is a Borel function. Moreover, smooth vector fields that are difficult…

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

For smooth finite dimensional manifolds, we characterise gerbes with connection as functors on a certain surface cobordism category. This allows us to relate gerbes with connection to Turaev's 1+1-dimensional homotopy quantum field…

Dynamical quantum field theories (QFTs), such as those in which spacetimes are equipped with a metric and/or a field in the form of a smooth map to a target manifold, can be formulated axiomatically using the language of…

In this work we relate the known results about the homotopy type of classifying spaces for smooth foliations, with the homology and cohomology of the discrete group of diffeomorphisms of a smooth compact connected oriented manifold. The…

In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson…

In this paper we survey methods and results of classification of $k$-forms (resp. $k$-vectors on ${\bf R}^n$), understood as description of the orbit space of the standard ${\bf GL}(n, {\bf R})$-action on $\Lambda^k {\bf R}^{n*}$ (resp. on…

We give a new and self-contained proof of the existence and unicity of the flow for an arbitrary (not necessarily homogeneous) smooth vector field on a real supermanifold, and extend these results to the case of holomorphic vector fields on…

Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…

In this paper, we study the notion of smooth $\infty$-categories within the framework of a six-functor formalism. By leveraging the theory of condensed mathematics and analytic stacks, we apply these results to demonstrate that a rigid…

We establish a second order smooth variational principle valid for functions defined on (possibly infinite-dimensional) Riemannian manifolds which are uniformly locally convex and have a strictly positive injectivity radius and bounded…

We establish a duality between flat affine group schemes and rigid tensor categories equipped with a neutral fiber functor (called Tannakian lattice), both defined over a Dedekind ring. We use this duality and the known Tannakian duality…