arXiv research

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

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the action of the diffeomorphism group of the circle. It is not a useful action on t…

We construct a natural co-Riemannian structure on the manifold of smooth loops in a Riemannian manifold. We show that the smooth loop space of a string manifold is a per-Hilbert-Schmidt locally equivalent co-spin manifold and thus admits a Dirac operator.

We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions for the model space which, if satisfied, mean that a smooth structure exists. W…

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.

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…

This is an introduction to the subject of the differential topology of the space of smooth loops in a finite dimensional manifold. It began as the background notes to a series of seminars given at NTNU and subsequently at Sheffield. I am posting them in the hope that they will be useful to people wishing to know a litt…

For non-smooth surfaces, the measure of Brownian loops is derived using the Polyakov-Alvarez formula.

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…

Let $M$ be a closed, oriented and smooth manifold of dimension $d$. Let $ŁM$ be the space of smooth loops in $M$. Chas and Sullivan introduced loop product, a product of degree $-d$ on the homology of $LM$. In this paper we show how for three manifolds the ``nontriviality'' of the loop product relates to the ``hyperbol…

The paper explores the structure of Reeb spaces for smooth functions on manifolds.

Non-trivial Clifford bundle from loop space tangent bundle.

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 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 equivalence relations -- such as the so-called thin homotopy -- and the resulting interp…

We introduce various versions of spin structures on free loop spaces of smooth manifolds, based on a classical notion due to Killingback, and additionally coupled to two relations between loops: thin homotopies and loop fusion. The central result of this article is an equivalence between these enhanced versions of spin…

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

4-manifolds can be uniquely described as loops of Morse functions.

We show that every smooth, orientable, closed, connected 4-manifold can be represented by a loop in the pants complex. We use this representation, together with the fact that the pants complex is simply connected, to provide an elementary proof that such 4-manifolds are smoothly cobordant to $\coprod_m \mathbb{C}P^2 \c…

Study non-orientable surfaces to find loops winding around punctures.

In the paper \cite{wall_1}, C.T.C. Wall proved that two smooth closed simply connected 4-manifolds which are homeomorphic are in fact stably diffeomorphic. We prove a similar result which states that two smooth closed 4-manifolds satisfying certain properties are stably diffeomorphic if and only if their signatures agr…

Flat connections derived from Poisson brackets on loop spaces.

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…

New algorithms improve convergence of minimax optimization.

We define exotic twisted $S^1$-equivariant cohomology for the loop space $LZ$ of a smooth manifold $Z$ via the invariant differential forms on $LZ$ with coefficients in the (typically non-flat) holonomy line bundle of a gerbe, with differential an equivariantly flat superconnection. We introduce the twisted Bismut-Cher…

Formula derived for Gromov-Witten invariants of smooth curves.

We study the structure of abelian extensions of the group $L_qG$ of $q$-differentiable loops (in the Sobolev sense), generalizing from the case of central extension of the smooth loop group. This is motivated by the aim of understanding the problems with current algebras in higher dimensions. Highest weight modules are…

Chiral differential operators (CDOs) are closely related to string geometry and the quantum theory of two-dimensional sigma models. This paper investigates two topics about CDOs on smooth manifolds. In the first half, we study how a Lie group action on a smooth manifold can be lifted to a `formal loop group action' on …

Improved penalty-based methods for bilevel optimization with reduced complexity.

Novikov theorem extended to rational Pontryagin classes for cyclic group $C_4$.

We define a 3-loop group $Ω^3G$ as a subgroup of smooth maps from a 3-ball to a Lie group $G$, and then construct a 2-group based on an automorphic action on the Mickelsson-Faddeev extension of $Ω^3G$. In this we follow the strategy of Murray et al., who earlier described a similar construction in one dimension. The th…

We prove: If a complete connected smooth surface M in euclidean 3-space has general position, intersects some plane along a clean figure-8 (a loop with total curvature zero) and all compact intersections with planes have central symmetry, then M is a (geometric) cylinder over some central figure-8. On the way, we estab…

Formula proves Euler characteristic of singularized surfaces.

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…

In this paper, we give a quantum interpretation of the Bismut-Chern character form (the loop space lifting of the Chern character form) as well as the Chern character form associated to a complex vector bundle with connection over a smooth manifold in the framework of supersymmetric quantum field theories developed by …

Develops Poisson structures on weak Sobolev loop spaces for integrable systems.

Constructs a fusion product on spinor bundle over loop space.

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…

New algorithms reduce complexity for solving nonconvex optimization problems with stochastic objectives and constraints.

This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is the same, the only classifying invariant is the signature. In particular, in som…

Paper analyzes a three-loop linkage, showing it's overconstrained and shaky.

We consider the space $\mathcal{M}$ of Euclidean similarity classes of framed loops in $\mathbb{R}^3$. Framed loop space is shown to be an infinite-dimensional Kähler manifold by identifying it with a complex Grassmannian. We show that the space of isometrically immersed loops studied by Millson and Zombro is realized …

Stochastic representation for determinants derived from Brownian loop soups.

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in se…

Study of loops in sums of Laplace eigenfunctions on surfaces.

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…

A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. The connection and curvature forms of these metrics take values in pseudodifferential operators. We develop a theory of Wodzicki-Chern-Simons classes using the s=0, 1 connections and…

New loops found in universe's timeline, challenging traditional time direction.

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its si…