Gauge groups and bialgebroids

On the gauge group of Galois objects

We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the classical gauge groupoid of a principal bundle. When the base algebra is in the centre of the total space algebra, the gauge group of the noncommutative principal bundle is isomorphic to the group of bisections of the bialgebroid. In particular we consider Galois objects (non-trivial noncommutative bundles over a point in a sense) for which the bialgebroid is a Hopf algebra. For these we give a crossed module structure for the bisections and the automorphisms of the bialgebroid. Exampl…

Eilenberg-Watts Theorem for 2-categories and quasi-monoidal structures for module categories over bialgebroid categories

We prove Eilenberg-Watts Theorem for 2-categories of the representation categories $\C\x\Mod$ of finite tensor categories $\C$. For a consequence we obtain that any autoequivalence of $\C\x\Mod$ is given by tensoring with a representative of some class in the Brauer-Picard group $\BrPic(\C)$. We introduce bialgebroid categories over $\C$ and a cohomology over a symmetric bialgebroid category. This cohomology turns out to be a generalization of the one we developed in a previous paper and moreover, an analogous Villamayor-Zelinsky sequence exists in this setting. In this context, for a symmetri…

Batalin-Vilkovisky algebra structures on (Co)Tor and Poisson bialgebroids

In this article, we extend our preceding studies on higher algebraic structures of (co)homology theories defined by a left bialgebroid (U,A). For a braided commutative Yetter-Drinfel'd algebra N, explicit expressions for the canonical Gerstenhaber algebra structure on Ext_U(A,N) are given. Similarly, if (U,A) is a left Hopf algebroid where A is an anti Yetter-Drinfel'd module over U, it is shown that the cochain complex computing Cotor_U(A,N) defines a cyclic operad with multiplication and hence the groups Cotor_U(A,N) form a Batalin-Vilkovisky algebra. In the second part of this article, Pois…

*-Hopf 代数胚

*-Hopf algebroids

本文为*-代数上的双代数胚与Hopf代数胚建立*-结构理论，使相关（余）模范畴成为条形范畴，并证明作用Hopf代数胚、Ehresmann-Schauenburg构造及Ghobadi双代数胚在兼容条件下分别构成*-Hopf代数胚对或*-双代数胚对。

The Gauge Group of a Noncommutative Principal Bundle and Twist Deformations

We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space subalgebra is central, we define the gauge group as the group of vertical automorphisms or equivalently as the group of equivariant algebra maps. We study Drinfeld twist (2-cocycle) deformations of Hopf-Galois extensions and show that the gauge group of the twisted extension is isomorphic to the gauge group of the initial extension. In particular, noncommutative p…

Some Remarks on Quantum and Braided Group Gauge Theory

We clarify some aspects of quantum group gauge theory and its recent generalisations (by T. Brzezinski and the author) to braided group gauge theory and coalgebra gauge theory. We outline the diagrammatic version of the braided case. We study the bosonisation of any braided group provides as a trivial principal bundle in three ways.