Related papers: Homotopy quantum field theory and the index gerbe

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…

We develop a global cohomology theory for number fields by offering topological cohomology groups, an arithmetical duality, a Riemann-Roch type theorem, and two types of vanishing theorem. As applications, we study moduli spaces of…

We investigate link homology theories for stable equivalence classes of link diagrams on orientable surfaces. We apply (1+1)-dimensional unoriented topological quantum field theories to Bar-Natan's geometric formalism to define new theories…

In this work we report a homological perturbation calculation to construct effective theories of topological quantum mechanics on $\mathbb{R}_{\geqslant 0}$. Such calculation can be regarded as a generalization of Feynman graph computation.…

We use tools from non-standard analysis to formulate the building blocks of quantum field theory within the framework of categorical quantum mechanics. Building upon previous work, we construct an object of *Hilb having quantum fields as…

For any characteristic zero coefficient field, an irreducible representation of a finite $p$-group can be assigned a Roquette $p$-group, called the genotype. This has already been done by Bouc and Kronstein in the special cases Q and C. A…

This paper demonstrates a topological meaning of quandle cocycle invariants of links with respect to finite connected quandles $X$, from a perspective of homotopy theory: Specifically, for any prime $\ell$ which does not divide the type of…

In this article, we revisit Weibel's conjecture for twisted $K$-theory. We also examine the vanishing of twisted negative $K$-groups for Pr\"{u}fer domains. Furthermore, we observe that the homotopy invariance of twisted $K$-theory holds…

We introduce an abstract concept of quantum field theory on categories fibered in groupoids over the category of spacetimes. This provides us with a general and flexible framework to study quantum field theories defined on spacetimes with…

We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…

Let $\mathscr{C}$ be a small category. For every commutative ring $R$ with unity, we associate an $R\mathrm{-linear}$ abelian category with the universal homotopy category of $\mathscr{C}$, where we can do the corresponding homological…

We prove a {\Gamma}-equivariant version of the algebraic index theorem, where {\Gamma} is a discrete group of automorphisms of a formal deformation of a symplectic manifold. The particular cases of this result are the algebraic version of…

A brief introduction to Topological Quantum Field Theory as well as a description of recent progress made in the field is presented. I concentrate mainly on the connection between Chern-Simons gauge theory and Vassiliev invariants, and…

We outline a theory of symmetry protected topological phases of one-dimensional quantum walks. We assume spectral gaps around the symmetry-distinguished points +1 and -1, in which only discrete eigenvalues are allowed. The phase…

Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy…

The homotopy group $\pi_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding…

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the…

We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…

In this paper, we initiate the study of the Givental group action on Cohomological Field Theories in terms of homotopical algebra. More precisely, we show that the stabilisers of Topological Field Theories in genus 0 (respectively in genera…