Related papers: Iterated spans and classical topological field the…
This work is based on a description of quantum reference frames that seems more basic than others in the literature. Here a frame is based on a set of real and of complex numbers and a space time as a 4-tuple of the real numbers. There are…
We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya-categorical considerations. We…
We consider the method of topological quantization for conservative systems with a finite number of degrees of freedom. Maupertuis' formalism for classical mechanics provides an appropriate scenario which permit us to adapt the method of…
We review the construction of Lagrangians for higher spin fields of mixed symmetry in the framework of graded geometry. The main advantage of the graded formalism in this context is that it provides universal expressions, in the sense that…
Starting from an abelian group $G$ and a factorizable ribbon Hopf $G$-bialgebra $H$, we construct a TQFT $J_H$ for connected framed cobordisms between connected surfaces with connected boundary decorated with cohomology classes with…
In the context of Covariant Quantum Mechanics for a spin particle, we classify the ``quantum vector fields'', i.e. the projectable Hermitian vector fields of a complex bundle of complex dimension 2 over spacetime. Indeed, we prove that the…
Four lectures on invertible field theories at the Park City Mathematics Institute 2019. Cobordism categories are introduced both as plain categories and topologically enriched. We then discuss localization of categories and its relationship…
We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global…
Given a vector bundle $A\to M$ we study the geometry of the graded manifolds $T^*[k]A[1]$, including their canonical symplectic structures, compatible Q-structures and Lagrangian Q-submanifolds. We relate these graded objects to classical…
We introduce a class of projected entangled pair states (PEPS) which is based on a group symmetry twisted by a 3-cocycle of the group. This twisted symmetry gives rise to a new standard form for PEPS from which we construct a family of…
We construct completely integrable systems on the dual of the Lie algebra of any compact Lie group $K$ with respect to the standard Lie-Poisson structure. These systems generalize key properties of Gelfand-Zeitlin systems: A) the pullback…
We consider the cobordism ring of involutions of a field of characteristic not two, whose elements are formal differences of classes of smooth projective varieties equipped with an involution, and relations arise from equivariant K-theory…
It has been understood that correlation functions of multi-trace operators in ${\cal N}=4$ SYM can be neatly computed using the group algebra of symmetric groups or walled Brauer algebras. On the other hand such algebras have been known to…
Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that,…
A natural explicit condition is given ensuring that an action of the multiplicative monoid of non-negative reals on a manifold F comes from homotheties of a vector bundle structure on F, or, equivalently, from an Euler vector field. This is…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…
We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…
We explain that a bulk with arbitrary dimensions can be added to the space over which a quantum field theory is defined. This gives a TQFT such that its correlation functions in a slice are the same as those of the original quantum field…
We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable…
We give an introduction for the non-expert to TQFT (Topological Quantum Field Theory), focussing especially on its role in algebraic topology. We compare the Atiyah axioms for TQFT with the Eilenberg Steenrod axioms for homology, give a few…