Related papers: Integrals along bimonoid homomorphisms
We provide a general construction of integral TQFTs over a general commutative ring, $\mathbf{k}$, starting from a finite Hopf algebra over $\mathbf{k}$ which is Frobenius and double balanced. These TQFTs specialize to the Hennings…
In group representations several inductions given by tensoring with appropriate bimodules may be reconstructed via homology of $G$-posets with $G$-equivariant coefficients. For this purpose, we need various local categories of a finite…
Given the L-series of a half-integral weight cusp form, we construct a cohomology class with coefficients in a finite dimensional vector space in a way that parallels the Eichler cohomology in the integral weight case. We also define a lift…
We prove that the category of Hopf bimodules over any Hopf algebra has enough injectives, which enables us to extend some results on the unification of Hopf bimodule cohomologies of [T1,T2] to the infinite dimensional case. We also prove…
We construct a Kitaev model, consisting of a Hamiltonian which is the sum of commuting local projectors, for surfaces with boundaries and defects of dimension 0 and 1. More specifically, we show that one can consider cell decompositions of…
We study the recent proposal of arXiv:2405.20366 which poses a precise holographic duality between a 3d TQFT summed over all topologies and a unitary ensemble of boundary 2d CFTs. In that proposal, the sum over topologies is obtained via…
We apply the idea of a topological quantum field theory (TQFT) to maps from manifolds into topological spaces. This leads to a notion of a (d+1)-dimensional homotopy quantum field theory (HQFT) which may be described as a TQFT for closed…
We elaborate on how two definitions of the volume of a big cohomology class are consistent. The first definition involves taking the absolutely continuous part of a closed positive current, and the second involves the non-pluripolar…
In this article, we give a definition for measured quantum groupoids. We want to get objects with duality extending both quantum groups and groupoids. We base ourselves on J. Kustermans and S. Vaes' works about locally compact quantum…
If H is a commutative connected graded Hopf algebra over a commutative ring k, then a certain canonical k-algebra homomorphism H -> H (x) QSym is defined, where QSym denotes the Hopf algebra of quasisymmetric functions over k. This…
Given a Lie algebroid we discuss the existence of a smooth abelian integration of its abelianization. We show that the obstructions are related to the extended monodromy groups introduced recently in \cite{CFMb}. We also show that this…
The notion of Fourier transform is among the more important tools in analysis, which has been generalized in abstract harmonic analysis to the level of abelian locally compact groups. The aim of this paper is to further generalize the…
In this paper we describe the homology and cohomology of some natural bimodules over the little discs operad, whose components are configurations of non-$k$-overlapping discs. At the end we briefly explain how this algebraic structure…
A 3-dimensional homotopy quantum field theory (HQFT) can be described as a TQFT for surfaces and 3-cobordisms endowed with homotopy classes of maps into a given space. For a group $\pi$, we introduce a notion of a modular crossed…
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the…
We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral…
Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of…
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…