Related papers: String topology and graph cobordisms

We consider the conformal group of a space of dim n=p+q, with SO(p,q) metric. The quotient of this group by its homogeneous Weyl subgroup gives a principal fiber bundle with 2n-dim base manifold and Weyl fibers. The Cartan generalization to…

We present a Rocq library for monoidal categories, which includes a decision procedure for proving equality of morphisms as well as notations that make it possible to reason as if they were strict, inferring MacLane isomorphims…

We give a brief overview of the string landscape and techniques used to construct string compactifications. We then explain how this motivates the notion of the swampland and review a number of conjectures that attempt to characterize…

We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…

Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we…

This paper brings together C*-algebras and algebraic topology in terms of viewing a C*-algebraic invariant in terms of a topological spectrum. E-theory, E(A,B), is a bivariant functor in the sense that is a cohomology functor in the first…

Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of…

We develop a variant of calculus of functors, and use it to relate the gauge group G(P) of a principal bundle P over M to the Thom ring spectrum (P^Ad)^{-TM}. If P has contractible total space, the resulting Thom ring spectrum is LM^{-TM},…

We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…

We define the orbit category for transitive topological groupoids and their equivariant CW-complexes. By using these constructions we define equivariant Bredon homology and cohomology for actions of transitive topological groupoids. We show…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

We consider string/M-theory reductions on a compact space $X=X^\text{loc} \cup X^\circ$, where $X^\text{loc}$ contains the singular locus, and $X^\circ$ its complement. For the resulting supergravity theories, we construct a suitable…

We develop a geometric framework that characterizes the synchronization problem --- the problem of consistently registering or aligning a collection of objects. The theory we formulate characterizes the cohomological nature of…

The recent developments in string theory suggest that the space-time coordinates should be generalized to non-commuting matrices. Postulating this suggestion as the fundamental geometrical principle, we formulate a candidate for covariant…

For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth…

From an operad C with an action of a group G, we construct new operads using the homotopy fixed point and orbit spectra. These new operads are shown to be equivalent when the generalized G-Tate cohomology of C is trivial. Applying this…

We show the existence of a global anomaly in the one-loop graphs of N=2 string theory, defined by sewing tree amplitudes, unless spacetime supersymmetry is imposed. The anomaly is responsible for the non-vanishing maximally helicity…

In this manuscript, we consider cobordism operations in the $2$-dimensional labeled open-closed topological quantum field theory for the classifying space of a connected compact Lie group in the sense of Guldberg. In particular, it is…

We construct embeddings G of the category of graphs into categories of R-modules over a commutative ring R which are almost full in the sense that the maps induced by the functoriality of G R[Hom_Graphs(X,Y)] --> Hom_R(GX,GY) are…

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to…