arXiv research

Let $M$ be a Riemannian manifold and ${\mathcal P}M$ be the space of all smooth paths on $M$. We describe geodesics on path space ${\mathcal P}M$. Normal neighbourhood structure on ${\mathcal P}M$ has been discussed. We identify paths on $M$ under "back-track" equivalence. Under this identification we show that if $M$ …

We introduce the notion of a symplectic hopfoid, which is a "groupoid-like" object in the category of symplectic manifolds where morphisms are given by canonical relations. Such groupoid-like objects arise when applying a version of the cotangent functor to the structure maps of a Lie groupoid. We show that such object…

In this paper, we construct a category of short exact sequences of vector bundles and prove that it is equivalent to the category of double vector bundles. Moreover, operations on double vector bundles can be transferred to operations on the corresponding short exact sequences. In particular, we study the duality theor…

This paper describes an equivalence of the canonical category of $\mathbb N$-manifolds of degree $2$ with a category of involutive double vector bundles. More precisely, we show how involutive double vector bundles are in duality with double vector bundles endowed with a linear metric. We describe then how special sect…

Motivated by an attempt to better understand the notion of a symplectic stack, we introduce the notion of a symplectic hopfoid, which should be thought of as the analog of a groupoid in the so-called symplectic category. After reviewing some foundational material on canonical relations and this category, we show that s…

The word `double' was used by Ehresmann to mean `an object X in the category of all X'. Double categories, double groupoids and double vector bundles are instances, but the notion of Lie algebroid cannot readily be doubled in the Ehresmann sense, since a Lie algebroid bracket cannot be defined diagrammatically. In this…

Program connects quantum computing and topological field theories.

Vector bundles and double vector bundles, or $2$-fold vector bundles, arise naturally for instance as base spaces for algebraic structures such as Lie algebroids, Courant algebroids and double Lie algebroids. It is known that all these structures possess a unified description using the language of super\-geometry and g…

We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of Q-groupoids. We associate to every Q-groupoid a double complex that provides a …

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-di…

A new method analyzes topological B-model on a torus using doubled geometry.

In this paper, we develop a lower bound for the double slice genus of a knot using Casson-Gordon invariants. As an application, we show that the double slice genus can be arbitrarily larger than twice the slice genus. As an analogue to the double slice genus, we also define the superslice genus of a knot, and give both…

Given a Klein surface Y, there is a unique symmetric Riemann surface X being the complex double of Y. In this paper we shall show that the situation is not the same when we work in the category of surfaces with nodes.

Study moduli space of quadratic differentials with new geometric insights.

Involutive Hopf monoids yield surface invariants.

In this note a functorial approach to the integration problem of an LA-groupoid to a double Lie groupoid is discussed. To do that, we study the notions of fibred products in the categories of Lie groupoids and Lie algebroids, giving necessary and sufficient conditions for the existence of such. In particular, it turns …

Second part of a series on higher coverings of racks and quandles.

It has been conjectured that every $(2+1)$-TQFT is a Chern-Simons-Witten (CSW) theory labelled by a pair $(G,λ)$, where $G$ is a compact Lie group, and $λ\in H^4(BG;Z)$ a cohomology class. We study two TQFTs constructed from Jones' subfactor theory which are believed to be counterexamples to this conjecture: one is the…

A modular functor is constructed from non-semisimple 3d TFTs.

By using the notion of a rigid R-matrix in a monoidal category and the Reshetikhin--Turaev functor on the category of tangles, we review the definition of the associated invariant of long knots. In the framework of the monoidal categories of relations and spans over sets, by introducing racks associated with pointed gr…

In this article, we will prove that the subsectors of $α$-induced sectors for $M \rtimes \hat{G} \supset M$ forms a modular category, where $M \rtimes \hat{G}$ is the crossed product of $M$ by the group dual $\hat{G}$ of a finite group $G$. In fact, we will prove that it is equivalent to Müger's crossed product. By usi…

Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category of Courant algebroids one can construct the doubles of Lie bialgebroids, the infi…

Simplified 3D Dijkgraaf-Witten theory with defects explained geometrically.

We give a geometric model for a tube category in terms of homotopy classes of oriented arcs in an annulus with marked points on its boundary. In particular, we interpret the dimensions of extension groups of degree 1 between indecomposable objects in terms of negative geometric intersection numbers between correspondin…

We prove a functorial correspondence between a category of logarithmic $\mathfrak{sl}_2$-connections on a curve $X$ with fixed generic residues and a category of abelian logarithmic connections on an appropriate spectral double cover $π: Σ\to X$. The proof is by constructing a pair of inverse functors $π^{\text{ab}}, π…

New discrete cobordism category for nested manifolds and relations to algebraic structures.

Introduces fat Lie theory for Lie groupoids and algebroids.

Crane and Frenkel proposed a state sum invariant for triangulated 4-manifolds.They defined and used new algebraic structures called Hopf categories for their construction. Crane and Yetter studied Hopf categories and gave some examples using group cocycles that are associated to the Drinfeld double of a finite group. I…

Paper connects two invariants of 3D manifolds using Hopf algebras.

The paper connects sectional category and parametrized Borsuk-Ulam property for fibrations.

Lie theory for the integration of Lie algebroids to Lie groupoids, on the one hand, and of Poisson manifolds to symplectic groupoids, on the other, has undergone tremendous developements in the last decade, thanks to the work of Mackenzie-Xu, Moerdijk-Mrcun, Cattaneo-Felder and Crainic-Fernandes, among others. In this …

This paper shows the equivalence of the categories of $N$-manifolds of degree $2$ with the category of double vector bundles endowed with a linear metric. Split Poisson $N$-manifolds of degree $2$ are shown to be equivalent to self-dual representations up to homotopy. As a consequence, the equivalence above induces an …

The paper geometrizes N-manifolds using symmetric vector bundles.

In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying Reshetikhin-Turaev invariants of knots for arbitrary representations, which will be done in a fo…

Study of loops in sums of Laplace eigenfunctions on surfaces.

In this technical paper, we present a new formulation of higher parallel transport in strict higher gauge theory required for the rigorous construction of Wilson lines and surfaces. Our approach is based on an original notion of Lie crossed module cocycle and cocycle 1- and 2-gauge transformation with a non standard do…

Develops quantum character theory for complex reductive groups.

Our main aim is to associate a holonomy Lie groupoid to the connective structure of an abelian gerbe. The construction has analogies with a procedure for the holonomy Lie groupoid of a foliation, in using a locally Lie groupoid and a globalisation procedure. We show that path connections and 2-holonomy on line bundles …

We study consequences and applications of the folklore statement that every double complex over a field decomposes into so-called squares and zigzags. This result makes questions about the associated cohomology groups and spectral sequences easy to understand. We describe a notion of `universal' quasi-isomorphism, inve…

Article studies symmetry in smooth vector bundles using advanced operations.

Even in the absence of any explicit semantic annotation, vast collections of audio recordings provide valuable information for learning the categorical structure of sounds. We consider several class-agnostic semantic constraints that apply to unlabeled nonspeech audio: (i) noise and translations in time do not change t…

Study character varieties of tangles to map immersed curves in the pillowcase.

Calculates Dehn twist actions on conformal blocks for modular categories.

Frolicher and Nijenhuis recognized well in the middle of the previous century that the Lie bracket and its Jacobi identity could and should exist beyond Lie algebras. Nevertheless the conceptual meaning of their discovery has been obscured by the messy techniques they exploited. The principal objective in this paper is…

Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsystems and so on. In a series of papers David Spivak with collaborators formalized these kinds of structures (systems of systems) as algebras o…

The interdependent nature of the global economy has become stronger with increases in international trade and investment. We propose a new model to reconstruct the international trade network and associated cost network by maximizing entropy based on local information about inward and outward trade. We show that the tr…

We consider a simple instance of action up to homotopy. More precisely, we consider strict actions of DGLAs in degrees -1 and 0 on degree 1 NQ-manifolds. In a more conventional language this means: strict actions of Lie algebra crossed modules on Lie algebroids. When the action is strict, we show that it integrates to …

Understanding urban growth is one with understanding how society evolves to satisfy the needs of its individuals in sharing a common space and adapting to the territory. We propose here a quantitative analysis of the historical development of a large urban area by investigating the spatial distribution and the age of c…