Two constructions of bialgebroids and their relations (Q6589679)

The author recalls definitions of Takeuchi's \(\times_R\)-bialgebras or left bialgebroids [\textit{M. Takeuchi}, J. Math. Soc. Japan 29, 459--492 (1977; Zbl 0349.16012)] and weak Hopf algebras [\textit{P. Schauenburg}, Banach Cent. Publ. 61, 171--188 (2003; Zbl 1064.16041)]. Basic properties of these bialgebras are exposed and the relation between them are studied via Frobenius-separable \(\mathbf K\)-algebras. He also recalls the construction of two left bialgebroids \(A_\sigma\) (where \(\sigma\) is a dynamical Yang-Baxter map [\textit{Y. Shibukawa} and \textit{M. Takeuchi}, J. Algebra 323, No. 6, 1698--1728 (2010; Zbl 1193.18005)]) and \(\Pi(\omega)\) (\(\omega\) a solution to the quiver-theoretical Quantum Yang Baxter Equation [\textit{T. Hayashi}, J. Algebra 204, No. 1, 225--254 (1998; Zbl 0910.16020)]) and shows that these two left bialgebroids have Hopf algebroid structure [\textit{G. Böhm} and \textit{K. Szlachányi}, J. Algebra 274, No. 2, 708--750 (2004; Zbl 1080.16035)] under rigidity condition. From the setting of \(A_\sigma\), the author constructs a left bialgebroid \(\Pi(\omega)\), proves that there is a homomorphism \(\Phi\) between \(A_\sigma\) and \(\Pi(\omega_\sigma)\), and shows that \(A_\sigma\) is a Hopf closure of \(\Pi(\omega_\sigma)\). Finally, by generalizing the notion of antipode \(S^{\mathrm{WHA}}\) (the antipode of the Weak Hopf Algebra \(A_\sigma\) [loc. cit., Zbl 1080.16035]) and Hayashi's antipode [loc. cit., Zbl 0910.16020], the author establishes a universal property (Hopf closure) among \(\Pi(\omega_\sigma)\), \(A_\sigma\) and the constructed homomorphism \(\Phi\).