Vector bundles and differential bundles in the category of smooth manifolds

DOI10.1007/S10485-020-09617-7zbMATH Open1467.18021arXiv2007.11708OpenAlexW3120653109MaRDI QIDQ2040887FDOQ2040887

Benjamin MacAdam

Publication date: 14 July 2021

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: 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 differential bundles in 2017 as an algebraic alternative to vector bundles in an arbitrary tangent category. In this paper, we prove that differential bundles in the category of smooth manifolds are precisely vector bundles. In particular, this means that we can give a characterisation of vector bundles that exhibits them as models of a tangent categorical essentially algebraic theory.

Full work available at URL: https://arxiv.org/abs/2007.11708

Recommendations

• Differential bundles and fibrations for tangent categories
• scientific article; zbMATH DE number 3893388
• On the geometric notion of connection and its expression in tangent categories
• Differential structure, tangent structure, and SDG
• A simplicial foundation for differential and sector forms in tangent categories

zbMATH Keywords

vector bundlessmooth manifoldstangent categories

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Differentiable manifolds, foundations (58A05) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15) Synthetic differential geometry (51K10) Synthetic differential geometry, tangent categories, differential categories (18F40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories of continuous functors. I
• Title not available (Why is that?)
• Global Aspects of Classical Integrable Systems
• Vector Bundles and Projective Modules
• Synthetic differential geometry
• Title not available (Why is that?)
• An introduction to manifolds. 2nd revised ed.
• Title not available (Why is that?)
• Differential structure, tangent structure, and SDG
• Presentation of Set Functors: A Coalgebraic Perspective
• Title not available (Why is that?)
• Regular pairings of functors and weak (co)monads
• Connections in Tangent Categories
• Differential bundles and fibrations for tangent categories

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Bundles, linear bundles and principal bundles in the category of differential spaces
• The tangent bundle on C1 fuzzy manifolds
• The differential bundles of the geometric tangent category of an operad
• Title not available (Why is that?)
• A characterization of differential bundles in tangent categories
• A tangent category perspective on connections in algebraic geometry
• Structured vector bundles define differential K-theory
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Vector bundles and differential bundles in the category of smooth manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2040887)