Related papers: Homotopy and Path Integrals
The study of equality types is central to homotopy type theory. Characterizing these types is often tricky, and various strategies, such as the encode-decode method, have been developed. We prove a theorem about equality types of…
Path integrals don't really exist, but it is very useful to dream that they do exist, and figure out the consequences. Apart from describing much of the physical world as we now know it, these dreams also lead to some highly non-trivial…
We show how to construct path integrals for quantum mechanical systems where the space of configurations is a general non-compact symmetric space. Associated with this path integral is a perturbation theory which respects the global…
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 develop parallel transport on path spaces from a differential geometric approach, whose integral version connects with the category theoretic approach. In the framework of 2-connections, our approach leads to further development of…
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…
The integrability problem for transitive Lie algebroids can be looked at from different perspectives, revealing an interplay between cohomological methods and homotopical constructions. Mackenzie introduced a cohomological obstruction…
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…
We extend the notion of 'homomorphism-homogeneity' to a wider class of kinds of maps than previously studied, and we investigate the relations between the resulting notions of homomorphism-homogeneity, giving several examples. We also give…
Modern categories of spectra such as that of Elmendorf et al equipped with strictly symmetric monoidal smash products allows the introduction of symmetric monoids providing a new way to study highly coherent commutative ring spectra. These…
We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his…
In recent years, A. Grigor'yan, Y. Lin, Y. Muranov and S.T. Yau [6, 7, 8, 9] constructed a path homology theory for digraphs. Later, S. Chowdhury and F. Memoli [3] studied the persistent path homology for directed networks. In this paper,…
A useful result is that if a bounded complex-valued path is Riemann-integrable, then its modulus is also Riemann-integrable. The extension of this last result to bounded paths taking values in a normed space is affirmed, as being true, in…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
The path integral generalization of the Casson invariant as developed by Rozansky and Witten is investigated. The path integral for various three manifolds is explicitly evaluated. A new class of topological observables is introduced that…
It is known that shape injectivity implies homotopical Hausdorff and that the converse does not hold, even if the space is required to be a Peano continuum. This paper gives an alternative definition of homotopical Hausdorff inspired by a…
The path integral for a point particle in a Coulomb potential is solved in momentum space. The solution permits us to give for the first time a negative answer to an old question of quantum mechanics in curved spaces raised in 1957 by…
We give a new approach to intersection theory. Our "cycles" are closed manifolds mapping into compact manifolds and our "intersections" are elements of a homotopy group of a certain Thom space. The results are then applied in various…
The path integral representation for a system of N non-relativistic particles on the plane, interacting through a Chern-Simons gauge field, is obtained from the operator formalism. An effective interaction between the particles appears,…
We briefly review a hamiltonian path integral formalism developed earlier by one of us. An important feature of this formalism is that the path integral quantization in arbitrary co-ordinates is set up making use of only classical…