Related papers: Tangent structures for divided power algebras
We complete the proof of the fact that the moduli space of rank two bundles with trivial determinant embeds into the linear system of divisors on $Pic^{g-1}C$ which are linearly equivalent to $2\Theta$. The embedded tangent space at a…
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 paper we consider a manifold with a dynamical vector field and inquire about the possible tangent bundle structures which would turn the starting vector field into a second order one. The analysis is restricted to manifolds which…
This paper explores differential bundles in tangent categories, characterizing them as functors from a structure category. This is analogous to the actegory perspective of Garner and Leung, which we also use to describe the tangent…
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 construct left invariant special K\"ahler structures on the cotangent bundle of a flat pseudo-Riemannian Lie group. We introduce the twisted cartesian product of two special K\"ahler Lie algebras according to two linear representations…
Given a measure space ${\mathcal X}$, we can construct a number of induced structures: eg. its $L^2$ space, the space ${\mathcal P}({\mathcal X})$ of probability distributions on ${\mathcal X}$. If, in addition, ${\mathcal X}$ admits a…
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary…
Let $G$ be an even dimensional, connected, abelian Lie group and $(\mathcal{A}^\infty,G,\alpha,\tau)$ be a $C^*$-dynamical system equipped with a faithful $G$-invariant trace $\tau$. We show that whenever it determines a…
In this article, we consider the almost Hermitian structure on $TM$ induced by a pair of a metric and an affine connection on $M$. We find the conditions under which $TM$ admits almost K\"ahler structures, K\"ahler structures and Einstein…
We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the…
Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functor, vector fields, Euclidean spaces, and vector bundles have…
This review paper is concerned with the generalizations to field theory of the tangent and cotangent structures and bundles that play fundamental roles in the Lagrangian and Hamiltonian formulations of classical mechanics. The paper…
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…
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…
Divided power algebras form an important variety of non-binary universal algebras. We identify the universal enveloping algebra and K\"ahler differentials associated to a divided power algebra over a general commutative ring, simplifying…
Given an idempotent complete additive category, we show the there is an explicitly constructed topological space such that the lattice of exact substructures is anti-isomorphic to the lattice of closed subsets. In the special case that the…
We review the theory of quaternionic Kahler and hyperkahler structures. Then we consider the tangent bundle of a Riemannian manifold M with a metric connection D (with torsion) and with its well estabilished canonical complex 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 are consider domains in cotangent bundles with the property that the null foliation of their boundary is fibrating and the leaves satisfy a Bohr-Sommerfeld condition (for example, the unit disk bundle of a Zoll metric). Given such a…