Related papers: Homotopy and Path Integrals
The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object $I$ in a topos to give such a path-based model of type theory in which paths are just functions with domain $I$.…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
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…
We show that the connection responsible for any abelian or non abelian Aharonov-Bohm effect with $n$ parallel ``magnetic'' flux lines in $\R^3$, lies in a trivial $G$-principal bundle $P\to M$, i.e. $P$ is isomorphic to the product $M\times…
The paper is the survey of the modern results and applications of the theory of homotopes. The notion of a well-tempered element in an associative algebra is introduced and it is proven that the category of representations of the homotope…
This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…
We use vielbein bundle's horizontal lift path integral formulation and gauge theory's holonomy map to compactly describe parallel transport and geodesic equations on a manifold. This is first applied to the geometry of general relativistic…
Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…
The Feynman Path Integral is extended in order to capture all solutions of a quantum field theory. This is done via a choice of appropriate integration cycles, parametrized by M in SL(2,C), i.e., the space of allowed integration cycles is…
We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends…
We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…
The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of…
We study some homological invariants of a given generalized bound path algebra in terms of those of the algebras used in its construction. We discuss the particular case where the algebra is a generalized path algebra and give conditions…
A simplicial analogy of Chen's iterated integral was introduced in another paper. However, its properties were hardly investigated in the paper. In particular, no mention is made of whether it coincides with Chen's iterated integral as a…
Homotopy algebraic methods have become increasingly influential in studying field theories. We consider semi-holomorphic Chern-Simons theory and its relation with the principal chiral model. In particular, we establish an explicit…
The theme of doing quantum mechanics on all abelian groups goes back to Schwinger and Weyl. If the group is a vector space of finite dimension over a non-archimedean locally compact division ring, it is of interest to examine the structure…
We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…
Let X be a simply connected Riemannian manifold. Until now, quantitative topology has used Sullivan's rational homotopy theory as the bridge between geometric information on X and torsion-free homotopy theoretic information on X. In this…
This paper concerns extension of maps using obstruction theory under a non classical viewpoint. It is given a classification of homotopy classes of maps and as an application it is presented a simple proof of a theorem by Adachi about…