Related papers: Groupoidification Made Easy

We define group-twisted Alexander-Whitney and Eilenberg-Zilber maps for converting between bimodule resolutions of skew group algebras. These algebras are the natural semidirect products recording actions of finite groups by automorphisms.…

This work presents a precise connection between Clifford circuits, Shor's factoring algorithm and several other famous quantum algorithms with exponential quantum speed-ups for solving Abelian hidden subgroup problems. We show that all…

Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…

In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define another type which encodes the space of loops based at this…

This paper develops a geometric model for coupled two-state quantum systems (qubits), which is formulated using geometric (aka Clifford) algebra. It begins by showing how Euclidean spinors can be interpreted as entities in the geometric…

The notions of a post-group and a pre-group are introduced as a unification and enrichment of several group structures appearing in diverse areas from numerical integration to the Yang-Baxter equation. First the Butcher group from numerical…

In this article, we develop a calculus of Shubin type pseudodifferential operators on certain non-compact spaces, using a groupoid approach similar to the one of van Erp and Yuncken. More concretely, we consider actions of graded Lie groups…

In quantum field theory the creation and annihilation operators that are located at the points in 3-momentum space have commutation relations that are conserved under the action of a $U({\infty})$ group. Here it is shown how to define an…

In these notes we construct a quantization functor, associating an Hilbert space H(V) to a finite dimensional symplectic vector space V over a finite field F_q. As a result, we obtain a canonical model for the Weil representation of the…

The covariantization procedure is usually referred to the translation operator, that is the derivative. Here we introduce a general method to covariantize arbitrary differential operators, such as the ones defining the fundamental group of…

This note is an attempt to extend "Geometric Langlands Conjecture" from algebraic curves to algebraic surfaces. We introduce certain Hecke-type operators on vector bundles on an algebraic surface. The crucial observation is that the algebra…

We use chain level genus zero Gromov-Witten theory to associate to any closed monotone symplectic manifold a formal group (loosely interpreted), whose Lie algebra is the odd degree cohomology of the manifold (with vanishing bracket). When…

This paper develops a concept of 2-categorical algebraic quantum field theories (2AQFTs) that assign locally presentable linear categories to spacetimes. It is proven that ordinary AQFTs embed as a coreflective full 2-subcategory into the…

Heisenberg groups over algebras with central involution and their automorphism groups are constructed. The complex quaternion group algebra over a prime field is used as an example. Its subspaces provide finite models for each of the real…

Computational Group Theory is applied to indexed objects (tensors, spinors, and so on) with dummy indices. There are two groups to consider: one describes the intrinsic symmetries of the object and the other describes the interchange of…

Group field theories are quantum field theories built on groups. They can be seen as a tool to generate topological state-sums or quantum gravity models. For four dimensional manifolds, different arguments have pointed towards 2-groups…

In this note, we provide some categorical perspectives on the relativization construction arising from quantum measurement theory in the presence of symmetries and occupying a central place in the operational approach to quantum reference…

The Lie algebroids are generalization of the Lie algebras. They arise, in particular, as a mathematical tool in investigations of dynamical systems with the first class constraints. Here we consider canonical symmetries of Hamiltonian…

Contents 1. Creation and annihilation operators for the system of indistinguishable particles 1.1 The permutation group and the states of a system of indistinguishable particles 1.2 Dimension of the Hilbert space of a system of…

We define a universal deformation formula (UDF) for the actions of the affine group on Frechet algebras. More precisely, starting with any associative Frechet algebra which the affine group acts on in a strongly continuous and isometrical…