arXiv research

Study smooth loops and loop bundles, relating to $G_{2}$-structures.

Sphere bundles over 4-manifolds are trivial after looping, except for two cases.

Non-trivial Clifford bundle from loop space tangent bundle.

Constructs a fusion product on spinor bundle over loop space.

A bundle gerbe is constructed from an oriented smooth vector bundle of even rank with a fiberwise inner product, over a compact connected orientable smooth manifold with Riemannian metric. From a trivialization of the bundle gerbe is constructed an irreducible Clifford module bundle, a spinor bundle over the smooth fre…

Spinor bundle constructed on loop space for string manifolds.

We consider various generalisations of the string class of a loop group bundle. The string class is the obstruction to lifting a bundle whose structure group is the loop group $LG$ to one whose structure group is the Kac-Moody central extension of the loop group. We develop a notion of higher string classes for bundles…

New definition of twisted 1-loop invariant using Ptolemy coordinates.

In this paper we investigate bundles whose structure group is the loop group LU(n). Our main result is to give a necessary and sufficient criterion for there to exist a Fourier type decomposition of such a bundle $ξ$. This is essentially a decomposition of $ξ$ as $ζ\otimes L\mathbb C$, where $ζ$ is a finite dimensional…

A nonassociative generalization of the principal fiber bundles with a smooth loop mapping on the fiber is presented. Our approach allows us to construct a new kind of gauge theories that involve higher ''nonassociative'' symmetries.

In this paper we introduce an equivariant extension of the Chern-Simons form, associated to a path of connections on a bundle over a manifold M, to the free loop space LM, and show it determines an equivalence relation on the set of connections on a bundle. We use this to define a ring, loop differential K-theory of M,…

We show that the category of abelian gerbes over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These principal bundles are equipped with fusion products and are equivariant with respect to thin homotopies between loops. The equivalence is established by a functor c…

Study shows looping a 6-manifold over a 4-manifold results in a product of loops on spheres.

We prove that the category of abelian gerbes with connection over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These bundles are equipped with a connection and with a "fusion" product with respect to triples of paths. The equivalence is established by explicit fun…

Geometric proof of curve characterization using loop-bundles.

We review and then combine two aspects of the theory of bundle gerbes. The first concerns lifting bundle gerbes and connections on those, developed by Murray and Gomi. Lifting gerbes represent obstructions against extending the structure group of a principal bundle. The second is the transgression of gerbes to loop spa…

As the loop space of a Riemannian manifold is infinite-dimensional, it is a non-trivial problem to make sense of the "top degree component" of a differential form on it. In this paper, we show that a formula from finite dimensions generalizes to assign a sensible "top degree component" to certain composite forms, obtai…

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth and satisfy a "fusion" property with respect to triples of paths. Our bijections a…

The paper finds non-contractible loops of Legendrian tori from knot families.

The loop space $L\mathbb{P}_1$ of the Riemann sphere consisting of all $C^k$ or Sobolev $W^{k,p}$ maps from the circle $S^1$ to $\mathbb{P}_1$ is an infinite dimensional complex manifold. The loop group $LPGL(2,\mathbb{C})$ acts on $L\mathbb{P}_1$ . We prove that the group of $LPGL(2,\mathbb{C})$ invariant holomorphic …

We review the caloron correspondence between $G$-bundles on $M \times S^1$ and $ΩG$-bundles on $M$, where $ΩG$ is the space of smooth loops in the compact Lie group $G$. We use the caloron correspondence to define characteristic classes for $ΩG$-bundles, called string classes, by transgression of characteristic classes…

The paper proves T-duality and Hori formulae for winding loop spaces.

Closed strings can be seen either as one-dimensional objects in a target space or as points in the free loop space. Correspondingly, a B-field can be seen either as a connection on a gerbe over the target space, or as a connection on a line bundle over the loop space. Transgression establishes an equivalence between th…

The bigerbes introduced here give a refinement of the notion of 2-gerbes, representing degree four integral cohomology classes of a space. Defined in terms of bisimplicial line bundles, bigerbes have a symmetry with respect to which they form 'bundle 2-gerbes' in two ways; this structure replaces higher associativity c…

We define the notion of a loop Hodge structure -- an infinite dimensional generalization of a Hodge structure -- and prove that a suitable variation of this object over a complex manifold is equivalent to the datum of a harmonic bundle. Hence one can study harmonic bundles using classical tools of Hodge theory, especia…

Recently, a set of tools has been developed with the purpose of the study of Quantum Gravity. Until now, there have been very few attempts to put these tools into a rigorous mathematical framework. This is the case, for example, of the so called path bundle of a manifold. It is well known that this topological principa…

The Liouville symplectic form connects various moduli spaces in algebraic geometry.

In this paper, we investigate the behaviour of the Serre spectral sequence with respect to the algebraic structures of string topology in generalized homology theories, specificially with the Chas-Sullivan product and the corresponding coproduct and module structures. We prove compatibility for two kinds of fibre bundl…

We consider Chern-Simons theory on 3-manifold $M$ that is the total space of a circle bundle over a 2d base $Σ$. We show that this theory is equivalent to a new 2d TQFT on the base, which we call Caloron BF theory, that can be obtained by an appropriate type of push-forward. This is a gauge theory on a bundle with stru…

We study the heat flow in the loop space of a closed Riemannian manifold $M$ as an adiabatic limit of the Floer equations in the cotangent bundle. Our main application is a proof that the Floer homology of the cotangent bundle, for the Hamiltonian function kinetic plus potential energy, is naturally isomorphic to the h…

We give a classifying theory for $LG$-bundles, where $LG$ is the loop group of a compact Lie group $G$, and present a calculation for the string class of the universal $LG$-bundle. We show that this class is in fact an equivariant cohomology class and give an equivariant differential form representing it. We then use t…

The motivation for this paper stems \cite{CR} from the need to construct explicit isomorphisms of (possibly nontrivial) principal $G$-bundles on the space of loops or, more generally, of paths in some manifold $M$, over which I consider a fixed principal bundle $P$; the aforementioned bundles are then pull-backs of $P$…

We construct equivariant, string and leading order characteristic classes and Chern-Simons classes for certain infinite rank bundles associated to fibrations occurring in loop spaces, Gromov-Witten theory and gauge theory. Results include a restatement of the S^1 index theorem using equivariant classes on the tangent b…

We describe a construction of fibrewise inner products on the cotangent bundle of the smooth free loop space of a Riemannian manifold. Using this inner product, we construct an operator over the loop space of a string manifold which is directly analogous to the Dirac operator of a spin manifold.

We prove the existence of essential loops in the space of contact structures on torus bundles over the circle.

We use bundle gerbes and their connections and curvings to obtain an explicit formula for a de Rham representative of the string class of a loop group bundle. This is related to earlier work on calorons.

Let M be one of the projective spaces CP^n, HP^n for n>1 or the Cayley projective plane OP^2, and let LM denote the free loop space on M. Using Morse theory methods, we prove that the suspension spectrum of (LM)_+ is homotopy equivalent to the suspension spectrum of M_+ wedge a family of Thom spaces of explicit vector …

Elliptic Chern characters and Atiyah-Witten formula generalized to double loop spaces.

In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces to the homology of certain infinite loop spaces. We use these infinite loop spac…

We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil constru…

The caloron correspondence is a tool that gives an equivalence between principal $G$-bundles based over the manifold $M \times S^1$ and principal $LG$-bundles on $M$, where $LG$ is the Fréchet Lie group of smooth loops in the Lie group $G$. This thesis uses the caloron correspondence to construct certain differential f…

Constructs 2-representations and 2-vector bundles for Lie 2-groups.

We construct bundles of modules of vertex operator algebras, and prove the rigidity and vanishing theorem for the Dirac operator on loop space twisted by such bundles. This result generalizes many previous results.

Let LM be the semigroup of non-degenerate based loops with a fixed initial/final frame in a Riemannian manifold M of dimension at least three. We compare the topology of LM to that of the loop space Omega FTM on the bundle of frames in the tangent bundle of M. We show that Omega FTM is the group completion of LM, and p…

We reconsider Chern-Simons gauge theory on a Seifert manifold M, which is the total space of a nontrivial circle bundle over a Riemann surface, possibly with orbifold points. As shown in previous work with Witten, the path integral technique of non-abelian localization can be used to express the partition function of C…

The caloron correspondence can be understood as an equivalence of categories between $G$-bundles over circle bundles and $LG \rtimes_ρS^1$-bundles where $LG$ is the group of smooth loops in $G$. We use it, and lifting bundle gerbes, to derive an explicit differential form based formula for the (real) string class of an…

The loop space of the Riemann sphere consisting of all $C^k$ or Sobolev $W^{k,p}$ maps from the circle $S^1$ to the sphere is an infinite dimensional complex manifold. We compute the Picard group of holomorphic line bundles on this loop space as an infinite dimensional complex Lie group with Lie algebra the first Dolbe…

We study the existence of $S^1$-equivariant characteristic classes on certain natural infinite rank bundles over the loop space $LM$ of a manifold $M$. We discuss the different $S^1$-equivariant cohomology theories in the literature and clarify their relationships. We attempt to use $S^1$-equivariant Chern-Weil techniq…