Related papers: The definition of a differential form on a tangent…
A tangent category is a categorical abstraction of the tangent bundle construction for smooth manifolds. In that context, Cockett and Cruttwell develop the notion of differential bundle which, by work of MacAdam, generalizes the notion of…
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…
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…
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…
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…
We give a definition of `coherent tangent bundles', which is an intrinsic formulation of wave fronts. In our application of coherent tangent bundles for wave fronts, the first fundamental forms and the third fundamental forms are considered…
In this paper, we introduce the notion of a super tangent bundle of a manifold, and extend the basic notions of differential geometry such as differential forms, exterior derivation, connection, metric and divergence on manifolds that…
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…
At the heart of differential geometry is the construction of the tangent bundle of a manifold. There are various abstractions of this construction, and this paper seeks to compare two of them: Synthetic Differential Geometry (SDG) and…
We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.
A 'Liouville structure' is a structure isomorphic to a cotangent vector fibration. A Liouville structure is an essential ingredient of every variational formulation of a physical theory. For reasons of interpretation the Liouville structure…
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 define the tangential derivative, a notion of directional derivative which is invariant under diffeomorphisms. In particular this derivative is invariant under changes of chart and is thus well-defined for functions defined on a…
This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number…
In this paper we study the cohomology of tensor products of symmetric powers of the cotangent bundle of complete intersection varieties in projective space. We provide an explicit description of some of those cohomology groups in terms of…
We define Cayley structures as a field of Cayley's ruled cubic surfaces over a four dimensional manifold and motivate their study by showing their similarity to indefinite conformal structures and their link to differential equations. In…
In the first part of the paper we define a perturbative (pre-formal) geometry and formulate a theorem on the relation between the construction of a perturbative neighborhood of affine varieties and the higher tangent bundles. In the second…
We introduce a category of noncommutative bundles. To establish geometry in this category we construct suitable noncommutative differential calculi on these bundles and study their basic properties. Furthermore we define the notion of a…
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…
A constructive approach to differential calculus on quantum principal bundles is presented. The calculus on the bundle is built in an intrinsic manner, starting from given graded (differential) *-algebras representing horizontal forms on…