Related papers: The free tangent structure
Previous work has shown that reverse differential categories give an abstract setting for gradient-based learning of functions between Euclidean spaces. However, reverse differential categories are not suited to handle gradient-based…
Frames for $\R^n$ can be thought of as redundant or linearly dependent coordinate systems, and have important applications in such areas as signal processing, data compression, and sampling theory. The word "frame" has a different meaning…
A piecewise constant curvature manifold is a triangulated manifold that is assigned a geometry by specifying lengths of edges and stipulating that for a chosen background geometry (Euclidean, hyperbolic, or spherical), each simplex has an…
The tangent bundle $T^kM$ of order $k$, of a smooth Banach manifold $M$ consists of all equivalent classes of curves that agree up to their accelerations of order $k$. In the previous work of the author he proved that $T^kM$, $1\leq k\leq…
We show that in the context of two-dimensional sigma models minimal coupling of an ordinary rigid symmetry Lie algebra $\mathfrak{g}$ leads naturally to the appearance of the "generalized tangent bundle" $\mathbb{T}M \equiv TM \oplus T^*M$…
Differential forms is a highly geometric formalism for physics used from field theories to General Relativity (GR) which has been a great upgrade over vector calculus with the advantages of being coordinate-free and carrying a high degree…
This paper introduces a novel tangential-normal ($t$-$n$) decomposition for finite element differential forms, presenting a new framework for constructing bases in finite element exterior calculus. The main contribution is the development…
We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as…
We study the natural G_2 structure on the unit tangent sphere bundle SM of any given orientable Riemannian 4-manifold M, as it was discovered in \cite{AlbSal}. A name is proposed for the space. We work in the context of metric connections,…
We prove a general width duality theorem for combinatorial structures with well-defined notions of cohesion and separation. These might be graphs and matroids, but can be much more general or quite different. The theorem asserts a duality…
This article discusses the relativistic kinetic theory for a simple collisionless gas from a geometric perspective. We start by reviewing the rich geometrical structure of the tangent bundle TM of a given spacetime manifold, including the…
The aim of this paper is to give a unified definition of a large class of discriminants arising in algebraic geometry using the discriminant of a morphism of locally free sheaves. The discriminant of a morphism of locally free sheaves has a…
This paper aims to systematically and comprehensively initiate a foundation for using concepts from computational differential geometry as instruments for power flow computing and research. At this point we focus our discussion on the…
We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…
The central structure in various versions of noncommutative geometry is a differential calculus on an associative algebra. This is an analogue of the calculus of differential forms on a manifold. In this short review we collect examples of…
This is the second in a series of papers discussing in the framework of gerbe theory canonical and geometric aspects of the 2d nonlinear sigma model in the presence of conformal defects in the worldsheet. Employing the formal tools worked…
The theory of $G$-structures provides us with a unified framework for a large class of geometric structures, including symplectic, complex and Riemannian structures, as well as foliations and many others. Surprisingly, contact geometry -…
Generalised diffeomorphisms in double field theory rely on an O(d,d) structure defined on tangent space. We show that any (pseudo-)Riemannian metric on the doubled space defines such a structure, in the sense that the generalised…
The fibre bundle formulation of gauge theory is generally accepted. The jet manifold machinery completes this formulation and provides the adequate mathematical description of dynamics of fields represented by sections of fibre bundles.…
The main purpose of this paper is to describe various phenomena and certain constructions arising in the process of studying derived noncommutative schemes. Derived noncommutative schemes are defined as differential graded categories of a…