Related papers: On the normal functor in the category of smooth ve…
In this paper we try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should to have.
Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we…
Building on the recent computation of the cohomology rings of smooth toric varieties and partial quotients of moment-angle complexes, we investigate the naturality properties of the resulting isomorphism between the cohomology of such a…
In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which…
We present an experimental setup to demonstrate normal modes and symmetry breaking in a two-dimensional pendulum. In our experiment we have used two modes of a single oscillator to demonstrate normal modes, as opposed to two single…
This paper introduces $\infty$- and $n$-fold vector bundles as special functors from the $\infty$- and $n$-cube categories to the category of smooth manifolds. We study the cores and "n-pullbacks" of $n$-fold vector bundles and we prove…
The theory of linear transports along paths in vector bundles, generalizing the parallel transports generated by linear connections, is developed. The normal frames for them are defined as ones in which their matrices are the identity…
A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…
In this article, we study the behavior of the stability of pullback of a vector bundle under a finite morphism from a (not necessarily smooth) stacky curve to an orbifold curve. We establish a categorical equivalence between proper formal…
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…
We look at sections of a function bundle over the space of linear differential operators. We find that one can construct an isomorphism between a certain quotient bundle and the fourier counterpart of the original bundle defined by formal…
We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…
We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article…
Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract…
The aim of this paper is to investigate the sufficient condition for the invariance of a normal curve on a smooth immersed surface under isometry. We also find the the deviations of the tangential and normal components of the curve with…
Smooth actions of the multiplicative monoid $(\mathbb{R},\cdot)$ of real numbers on manifolds lead to an alternative, and for some reasons simpler, definition of a vector bundle, a double vector bundle and related structures like a graded…
We consider when a smooth vector bundle endowed with a connection possesses non-trivial, local parallel sections. This is accomplished by means of a derived flag of subsets of the bundle. The procedure is algebraic and rests upon the…
In natural characteristic, smooth induction from an open subgroup does not always give an exact functor. In this article we initiate a study of the right derived functors, and we give applications to the non-existence of projective…
The theory of frames normal for general connections on differentiable bundles is developed. Links with the existing theory of frames normal for covariant derivative operators (linear connections) in vector bundles are revealed. The…
We study the behaviour of principal bundles under pullback along proper surjective morphisms of either schemes over an algebraically closed field of characteristic 0 or complex analytic spaces.