synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(ʃ \dashv \flat \dashv \sharp )$
dR-shape modality$\dashv$ dR-flat modality
$ʃ_{dR} \dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv \Im \dashv \&)$
fermionic modality$\dashv$ bosonic modality $\dashv$ rheonomy modality
$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$
Models
Models for Smooth Infinitesimal Analysis
smooth algebra ($C^\infty$-ring)
differential equations, variational calculus
Euler-Lagrange equation, de Donder-Weyl formalism?,
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
A tangent bundle category is a category equipped with a “tangent bundle” endofunctor satisfying some natural axioms.
Usually these are called simply tangent categories, but on the nLab the page tangent category is about “the tangent category of a given category” constructed by abelianization. In other words, tangent bundle categories are about abstraction of the tangent bundle construction, while tangent categories are a categorification thereof (in some vague sense).
Tangent bundle categories have three equivalent definitions: the first is due to Rosicky and was rediscovered/refined by Cockett and Cruttwell. In his thesis, Poon Leung found an equivalent definition of tangent categories using a category structure that acts as an abstract Weil prolongation, and later Richard Garner gave a definition of a tangent category as a sort of enriched category.
Tangent bundle categories were originally introduced by Rosicky to model the behaviour of the tangent bundle on the category of smooth manifolds, and of microlinear spaces in a smooth topos. For smooth manifold $M$ and a point $m \in M$, on may consider a coordinate patch $U \subset \mathbb{R}^n$ around $m$. Looking at the tangent space of $U$, we see $T(U) \cong U \times \mathbb{R}^n$, and similarly $T^2(U) \cong (U \times \mathbb{R}^n) \times (\mathbf{R^n} \times \mathbb{R}^n)$. Besides the vector bundle structures on $p, p_T, T(p)$, there are two important morphisms:
The vertical lift: $\ell(m,v) = (m,0,0,v)$.
The canonical flip $c(m,u,v,w) = (m,v,u,w)$.
These morphisms are important in the axiomatization of differential structure given in cartesian differential categories.
Tangent categories were originally defined by Rosicky using abelian group bundles, however Cockett and Cruttwell’s definition uses commutative monoid bundles in order to capture examples of tangent structure that arise in theoretical computer science.
An additive bundle $q: E \to B$ in a category $\mathbb{X}$ is a commutative monoid in $\mathbb{X}/B$. A bundle morphism $(f,g): q \to q'$ is additive if it preserves the fibered commutative monoid structure.
A tangent structure $\mathbb{T}$ on a category $\mathbb{X}$ is a tuple:
Denote pullback powers of $p$ as $T_n(M)$.
$T$ preserves all pullback powers of $p$.
$(p, +,0)$ is a natural additive bundle.
The flip $c$ is a natural involution $cc = 1_{T^2M}$, and the following bundle morphism is additive:
The vertical lift $\ell$ gives an additive bundle morphism $(\ell, 0): p \Rightarrow T(p)$.
We also require the following coherences between the vertical lift and the canonical flip:
In the monoidal category $[\mathbb{X}, \mathbb{X}]$, the first diagram corresponds to $\ell: T \Rightarrow T^2$ being a cosemigroup. The second diagram corresponds to $c: T^2 \Rightarrow T^2$ acting as a symmetry, and the third and fourth diagrams state that $\ell$ is a symmetric cosemigroup.
There is a vast literature on the notion of a “Weil functor”. A particularly important theorem is that every product preserving endofunctor on the category of smooth manifolds is given by a prolongation operation with a Weil algebra. To simplify this section, we will only consider the case of tangent categories with negatives - see Leung’s thesis to see the generalization to commutative rigs.
Consider a commutative ring $R$. For this section an $R$-algebra is a commutative, unital, associative $R$-algebra. A Weil Algebra over $R$ is an augmented $R$-algebra $V$ so that:
The category of Weil algebras is the full subcategory of $R-\mathsf{alg}/R$ whose objects are Weil algebras.
It is often useful to consider a presentation of $R$-Weil algebras.
We finally restrict our attention to the category $\mathsf{Weil}_1$. Let $W$ denote the $R$-Weil algebra $R[X]/X^2$, then we may consider the full subcategory whose objects are the closure of $\{ W^n | n \in \mathbb{N}\}$ under coproduct.
Consider the category $\mathsf{Weil}_1$ over the the integers as a symmetric monoidal category with $(\mathsf{Weil}_1,\oplus, R)$. If a category $\mathbb{X}$ has a tangent structure, then it has an actegory structure
so that for any object $M$ in $\mathbb{X}$, $\propto(M,-)$ preserves connected limits of $\mathsf{Weil}_1$.
similarly $0$ is given by:
Using a theorem due to Richard Wood, a
The definition is due to
For developments of his ideas, see
Robin Cockett and Geoff Cruttwell, Differential structure, tangent structure, and SDG, (pdf)
Robin Cockett and Geoff Cruttwell, Differential bundles and fibrations for tangent categories, (arXiv:1606.08379)
Robin Cockett and Geoff Cruttwell, Connections in tangent categories, (arXiv:1610.08774)
Geoff Cruttwell, Rory Lucyshyn-Wright, A simplicial foundation for differential and sector forms in tangent categories, (arXiv:1606.09080)
Poon Leung, Classifying tangent structures using Weil algebras, Theory and Applications of Categories, 32(9):286–337, 2017, (tac)
Representation of this tangent structure as exponentiation by a tangent vector is given in
The enriching category from the above paper was discussed earlier in
Eduardo Dubuc. Sur les modeles de la géométrie différentielle synthétique. Cahiers de topologie et géométrie différentielle catégoriques 20, no. 3 (1979): 231-279. (pdf)
Wolfgang Bertram Weil spaces and Weil-Lie groups. arXiv preprint arXiv:1402.2619 (2014),(arXiv:1402.2619)
Weil Prolongation is discussed in the following papers:
Anders Kock (1986). Convenient vector spaces embed into the Cahiers topos. Cahiers de topologie et géométrie différentielle catégoriques, 27(1), 3-17 (pdf)
Wolfgang Bertram and Arnaud Souvay. A general construction of Weil functors. arXiv preprint arXiv:1111.2463 (2011).(arXiv:1111.2463)
Last revised on February 3, 2020 at 00:29:50. See the history of this page for a list of all contributions to it.