Related papers: Two-dimensional parallel transport : combinatorics…
Properties of the space $\Ab$ of generalized connections in the Ashtekar framework are investigated. First a construction method for new connections is given. The new parallel transports differ from the original ones only along paths that…
We investigate fibrations by non-hyperelliptic curves of arithmetic genus three and geometric genus one in characteristic two. Assuming that there is only one moving singularity and that its image in the Frobenius pullback of the fibration…
We consider when a smooth vector bundle endowed with a connection possesses non-trivial, local parallel sections. This is accomplished by means of a derived flag of subsets of the bundle. The procedure is algebraic and rests upon the…
We construct operators in holographic two-dimensional conformal field theory, which act locally in the code subspace as arbitrary bulk spacelike vector fields. Key to the construction is an interplay between parallel transport in the bulk…
We study holomorphic symplectic manifolds which are fibred by abelian varieties. This structure is a higher dimensional analogue of an elliptic fibration on a K3 surface. We investigate when a holomorphic symplectic manifold is fibred in…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
The present work provides a mathematically rigorous account on super fiber bundle theory, connection forms and their parallel transport, that ties together various approaches. We begin with a detailed introduction to super fiber bundles. We…
The aim of this paper is to generalize Grothendieck's theory of smooth functors in order to include within this framework the theory of fibered categories. We obtain in particular a new characterization of fibered categories.
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…
We investigate the properties of foliated gauge fields and construct several foliated field theories in 3+1d that describe foliated fracton orders both with and without matter, including the recent hybrid fracton models. These field…
The aim of this article is to give a rigorous although simple treatment of the geometric notions around parallel transport in quantum mechanics. I start by defining the teleparallelism (or generalized Pancharatnam connection) between…
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…
In \cite{CompTheo} we studied the indeterminacy of the value of a derived functor at an object using different definitions of a derived functor and different types of fibrant replacement. In the present work we focus on derived or homotopy…
This paper contains two results on how homotopy limits of topological spaces interact with connectivity. The first is a formula for the connectivity of the homotopy limit of diagrams shaped over suitably finite categories, in terms of the…
The existence of Hopf fibrations S^{2N+1}/S^1 = CP^N and S^{4K+3}/S^3 = HP^K allows us to treat the Hilbert space of generic finite-dimensional quantum systems as the total bundle space with respectively $U(1)$ and $SU(2)$ fibers and…
We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…
We prove that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This resolves a lingering foundational question about the transfer, which was originally defined in the late 1970s…
The parallel linear transports defined by flat linear connection are axiomatically described. On this basis a number of properties, some of which are new, of these transports and connections are derived.
Arboreal categories were introduced as an axiomatic framework for game comonads, which provide a comonadic view on many model-comparison games in logic. We demonstrate the inadequacy of the axiom stating that paths are connected. We then…
I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…