Galois Connections for Incidence Hopf Algebras of Partially Ordered Sets
✍ Scribed by Marcelo Aguiar; Walter Ferrer Santos
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 277 KB
- Volume
- 151
- Category
- Article
- ISSN
- 0001-8708
No coin nor oath required. For personal study only.
✦ Synopsis
An important well-known result of Rota describes the relationship between the Mo bius functions of two posets related by a Galois connection. We present an analogous result relating the antipodes of the corresponding incidence Hopf algebras, from which the classical formula can be deduced. To motivate the derivation of this more general result, we first observe that a simple conceptual proof of Rota's classical formula can be obtained by interpreting it in terms of bimodules over the incidence algebras. Bimodules correct the apparent lack of functoriality of incidence algebras with respect to monotone maps. The theory of incidence Hopf algebras is reviewed from scratch and centered around the notion of cartesian posets. Also, the universal multiplicative function on a poset is constructed and an analog for antipodes of the classical Mo bius inversion formula is presented.