Braided Hopf algebras arising from matched pairs of groups (Q1399136)

Let \(k\) be a field and \(F,G\) be finite groups. Suppose there exists a right action \(\triangleright\) of \(F\) on \(G\) and a left action \(\triangleleft\) of \(G\) on \(F\), and let \(\sigma\colon F\times F\to(k^G)^\times\) and \(\tau\colon G\times G\to(k^F)^\times\) be cocycles giving the crossed products \(k^G\#_\sigma kF\) and \(k^{G\tau}\#kF\). Suppose further that \((F,G)\) is a matched pair given by \(\triangleright\) and \(\triangleleft\). The issue addressed in this paper is to determine precisely when \(R:=k^{G\tau}\#_\sigma kF\) forms a Hopf algebra. It is known that \(R\) is a Hopf algebra if and only if \((\sigma,\tau)\) is a \(1\)-cocycle. However, here it is shown that even if \((\sigma,\tau)\) is not a \(1\)-cocycle \(R\) might admit a structure of a braided Hopf algebra without the braided tensor category as in [\textit{M. Takeuchi}, Contemp. Math. 267, 301-323 (2000; Zbl 0978.16035)]. Theorem 2.10 gives exact compatibility criteria for \(\sigma\) and \(\tau\) and \(c\colon R\otimes R\to R\otimes R\) (whose definition is given in the paper) such that \((R,c)\) is a braided Hopf algebra. The compatibility criteria consist of four equations far too extensive to give here. The authors then address the issue of, for a fixed braided Hopf algebra \(R\), when a Hopf algebra \(H\) has the property that \(R\) is realizable over \(H\). Realizations of the extension \(k^G\to R\to kF\) over \(kC\) are studied where \(C\) is a finite group. Theorem 3.5 gives criteria for when this occurs -- the criteria here are much nicer than that given in 2.10. Finally, explicit examples are given in the case \(k=\mathbb{C}\), the field of complex numbers.