Related papers: The free tangent structure
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
Let F_0=B,...,F_n be a sequence of differentiable manifolds, G_i a Lie subgroup of diffeomorphisms of F_i, and H_i a subgroup of G_i central in G_i. We suppose also given a locally trivial bundle p_{K_i} over F_{i-1} which typical fiber is…
We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions.…
The ``geometry'', in the sense of the classical differential geometry of smooth manifolds (CDG), is put under scrutiny from the point of view of Abstract Differential Geometry (ADG), along with resulting, thereby, potential physical…
Tangent categories were introduced by Rosicky as a categorical setting for differential structures in algebra and geometry; in recent work of Cockett, Crutwell and others, they have also been applied to the study of differential structure…
This brief survey aims to set the stage and summarize some of the ideas under discussion at the Workshop on Singular Geometry and Higgs Bundles in String Theory, to be held at the American Institute of Mathematics from October 30th to…
In this document, we study the interaction between different geometric structures that can be defined as morphisms of sections of the generalized tangent bundle $\mathbb TM:= TM\oplus T^*M\to M$. In particular, we show the behaviour of…
Affine schemes can be understood as objects of the opposite of the category of commutative and unital algebras. Similarly, $\mathscr{P}$-affine schemes can be defined as objects of the opposite of the category of algebras over an operad…
This talk introduces a Cartan-geometric framework for generalised geometries governed by a differential graded Lie algebra. In contrast to ordinary Cartan geometry, the tangent bundle is extended and qu both a global duality group and a…
Connections are an important tool of differential geometry. This paper investigates their definition and structure in the abstract setting of tangent categories. At this level of abstraction we derive several classically important results…
The geometric theory of pseudo-differential and Fourier Integral Operators relies on the symplectic structure of cotangent bundles. If one is to study calculi with some specific feature adapted to a geometric situation, the corresponding…
This is the second in a series of papers that aim to develop rigorous and most encompassing foundations for field theory, where in the first installment, we laid out the natural formulation of bosonic variational field theory via the…
This paper continues the author's previous work on a limit-free algebraic-geometric construction of the derivative in the class of polynomial functions and extends the proposed framework to elementary functions. Derivatives of rational…
In this paper the relation between the choice of a differential structure and a smooth connection in the tangential bundle is discussed. For the case of an exotic $S^7$ one obtains corrections to the curvature after the change of the…
This paper establishes the basis of the quaternionic differential geometry ($\mathbbm H$DG) initiated in a previous article. The usual concepts of curves and surfaces are generalized to quaternionic constraints, as well as the curvature and…
In differential geometry, geometric structures can often be encoded by differential forms satisfying algebraic and differential constraints. This is in particular the case for spinorial G-structures, where the defining tensors are…
In this paper we show that if $\mathscr{C}$ is a tangent category then the Ind-category $\operatorname{Ind}(\mathscr{C})$ is a tangent category as well with a tangent structure which locally looks like the tangent structure on…
These notes are designed for those who either plan to work in differential geometry, or at least want to have a good reason not to do it. We discuss smooth curves and surfaces -- the main gate to differential geometry. We focus on the…
Separation systems are posets with additional structure that form an abstract setting in which tangle-like clusters in graphs, matroids and other combinatorial structures can be expressed and studied. This paper offers some basic theory…
Given a vector bundle $A\to M$ we study the geometry of the graded manifolds $T^*[k]A[1]$, including their canonical symplectic structures, compatible Q-structures and Lagrangian Q-submanifolds. We relate these graded objects to classical…