Related papers: On higher-dimensional Courant algebroids
It is shown that the Euler-Lagrange equations for a Lagrangian system on a Lie algebroid are obtained as the equations for the critical points of the action functional defined on a Banach manifold of curves. The theory of reduction and the…
We determine the number of functionally independent components of tensors involving higher-order derivatives of a Riemannian metric.
We consider the variational complex on infinite jet space and the complex of variational derivatives for Lagrangians of multidimensional paths and study relations between them. The discussion of the variational (bi)complex is set up in…
Curvature and torsion of linear transports along paths in, respectively, vector bundles and the tangent bundle to a differentiable manifold are defined and certain their properties are derived.
This paper provides a compositional approach to Taylor expansion, in the setting of cartesian differential categories. Taylor expansion is captured here by a functor that generalizes the tangent bundle functor to higher order derivatives.…
The phenomenology of the scaling behavior of higher order structure functions of velocity differences across a scale $R$ in turbulence should be built around the irreducible representations of the rotation symmetry group. Every irreducible…
A 2-plectic manifold is a manifold equipped with a closed nondegenerate 3-form, just as a symplectic manifold is equipped with a closed nondegenerate 2-form. In 2-plectic geometry we meet higher analogues of many structures familiar from…
Prompted by an example related to the tensor algebra, we introduce and investigate a stronger version of the notion of separable functor that we call heavily separable. We test this notion on several functors traditionally connected to the…
We provide bar and cobar constructions as functors between some categories of curved algebras and curved augmented coalgebras over a graded commutative ring. These functors are adjoint to each other.
In this paper we show how connections and their generalizations on transitive Lie algebroids are related to the notion of connections in the framework of the derivation-based noncommutative geometry. In order to compare the two…
In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that…
Given a unipotent bundle of smooth manifolds we construct its secondary transfer map and show that this map determines the higher smooth torsion of the bundle. This approach to higher torsion provides a new perspective on some of its…
We study highest weight vectors for symmetric and alternating spaces of tensors, whose dimensions are given by generalized Kronecker coefficients. We describe the algebraic relations for classical constructions of corresponding spanning…
As part of the study of correspondence functors, the present paper investigates their tensor product and proves some of its main properties. In particular, the correspondence functor associated to a finite lattice has the structure of a…
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…
Contractions of Leibniz algebras and Courant algebroids by means of (1,1)-tensors are introduced and studied. An appropriate version of Nijenhuis tensors leads to natural deformations of Dirac structures and Lie bialgebroids. One recovers…
We characterize Riemannian orbifolds with an upper curvature bound in the Alexandrov sense as reflectofolds, i.e. Riemannian orbifolds all of whose local groups are generated by reflections, with the same upper bound on the sectional…
The linear transports along paths in vector bundles introduced in Ref. [1] are applied to the special case of tensor bundles over a given differentiable manifold. Links with the transports along paths generated by derivations of tensor…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…
Notions of (pointwise) tangential dimension are considered, for measures of R^n. Under regularity conditions (volume doubling), the upper resp. lower dimension at a point x of a measure can be defined as the supremum, resp. infimum, of…