Related papers: Dual tangent structures for infinity-toposes
We study integrable systems on the semidirect product of a Lie group and its Lie algebra as the representation space of the adjoint action. Regarding the tangent bundle of a Lie group as phase space endowed with this semidirect product Lie…
Given a quotient vector bundle $\mathcal A$ over $X$ with kernel map $\kappa: X\to\mathrm{Max}\,A$ we study the codual bundle with fiber at each point $x\in X$ isomorphic to the dual of $\kappa(x)$. Applying the adjunction between quotient…
We define symmetric bundles as vector bundles in the category of symmetric spaces; it is shown that this notion is the geometric analog of the one of a representation of a Lie triple system. We show that such a bundle has an underlying…
The extension of ordinary category theory to $\infty$-categories at the start of the 21st century was a spectacular achievement pioneered by Joyal and Lurie with contributions from many others. Unfortunately, the technical arguments…
We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…
In these lecture notes we will try to give an introduction to the use of the mathematics of fibre bundles in the understanding of some global aspects of gauge theories, such as monopoles and instantons. They are primarily aimed at beginning…
Three definitions of a differential form on a tangent structure are considere. It is proved that the (covariant) definition given by Souriau (as a collection of forms indexed by the plaques) is equivalent to a smooth section of the…
In the previous article 'A Mackey-functor theoretic interpretation of biset functors', we have constructed the 2-category $\mathbb{S}$ of finite sets with variable finite group actions, in which bicoproducts and bipullbacks exist. As shown…
We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…
We completely classify all quotient bundles of a given vector bundle on the Fargues-Fontaine curve. As consequences, we have two additional classification results: a complete classification of all vector bundles that are generated by a…
The present article presents geometric quantization on cotangent bundles as a special instance of Kirillov's orbit method. To this end, the cotangent bundle is realized as a coadjoint orbit of an infinite-dimensional Lie group constructed…
By the Telescope Conjecture for Module Categories, we mean the following claim: "Let R be any ring and (A, B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A, B) is of finite type." We prove a…
The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…
We provide a method to compute the dimension of the tangent space to the global infinitesimal deformation functor of a curve together with a subgroup of the group of automorphisms. The computational techniques we developed are applied to…
We present a novel Type II variational principle on the cotangent bundle of a Lie group which enforces Type II boundary conditions, i.e., fixed initial position and final momentum. In general, such Type II variational principles are only…
We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…
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…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…