FIBERED PRODUCTS OF HOPF ALGEBRAS AND SEIFERT-VAN KAMPEN THEOREM FOR SEMI-GRAPHS OF TANNAKIAN CATEGORIES

Abstract. It is known that Seifert-van Kampen theorem (for “good ” topolog-ical spaces) can be showed by arguing the category of covering spaces. Similar arguments should be valid for abstract Galois categories (which Mochizuki calls ”connected anabelioids”) and neutral Tannakian categories. But when we try to state the theorem, the problem is the existence of amalgams (in other words, fibered coproducts) of profinite groups and that of affine group schemes (which is translated to the existence of fibered products of commutative Hopf algebras). A construction of amalgams of profinite groups can be found in Zalesskii [6]. We will construct fibered products of commutative Hopf algebras by using the explicit construction of cofree coalgebras which Hazewinkel gave in [3]. Another interest is the existence of so-called HNN extensions of affine group schemes, which we will also prove. By combining these two kinds of constructions, when we are given data of finitely many affine group schemes and a manner of composing them, we can describe the composite affine group scheme. The main theorem in this article is that, when we are given data o