Related papers: Path space forms and surface holonomy
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general…
In this work, we solve the problem of finding non-intersecting paths between points on a plane with a new approach by borrowing ideas from geometric topology, in particular, from the study of polygonal schema in mathematics. We use a…
For connected reductive linear algebraic structure groups it is proven that every web is holonomically isolated. The possible tuples of parallel transports in a web form a Lie subgroup of the corresponding power of the structure group. This…
The analysis of geometric phases is briefly reviewed by emphasizing various gauge symmetries involved. The analysis of geometric phases associated with level crossing is reduced to the familiar diagonalization of the Hamiltonian in the…
The (parallel) linear transports along paths in vector bundles are axiomatically described. Their general form and certain properties are found. It is shown that these transports are locally (i.e. along every fixed path) always Euclidean…
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…
We describe a part of the recent developments in the theory of separately holomorphic mappings between complex analytic spaces. Our description focuses on works using the technique of holomorphic discs.
We consider a wide class of two-dimensional models as gauge theories, Gross-Neveu model, $O(N)$ and $CP^{N-1}$-like models using a formalism based on the introduction of bilocal fields that permits to perform easily the large-N expansion of…
In this short note we give an elementary proof of the fact that connections and their geometric parallel-transport counterpart are equivalent notions.
We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…
A vector bundle with connection over a supermanifold leads naturally to a notion of parallel transport along superpaths. In this note we show that {\it every} such parallel transport along superpaths comes form a vector bundle with…
This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Its model theory will be discussed in a subsequent paper.
We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy…
In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…
Generalized are the investigated in other works of the author transports along paths in fibre bundles to transports along arbitrary maps in them. Their structure and some properties are studied. Special attention is paid to the linear case…
First, we review the basic mathematical structures and results concerning the gauge orbit space stratification. This includes general properties of the gauge group action, fibre bundle structures induced by this action, basic properties of…
For a smooth manifold $M$, possibly with boundary and corners, and a Lie group $G$, we consider a suitable description of gauge fields in terms of parallel transport, as groupoid homomorphisms from a certain path groupoid in $M$ to $G$.…
Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal approach to differential cohomology to be carried out…
Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic…
The current paper is devoted to the study of integral curves of constant type in parabolic homogeneous spaces. We construct a canonical moving frame bundle for such curves and give the criterium when it turns out to be a Cartan connection.…