Antipodes of monoidal decomposition spaces

TL;DR

This paper extends the concept of antipodes to monoidal decomposition spaces, providing a new inversion principle that generalizes Hopf algebra antipodes and refines M"obius inversion using monoidal structures.

Contribution

It introduces a notion of antipode for monoidal decomposition spaces, generalizing Hopf algebra antipodes and refining M"obius inversion with monoidal structures.

Findings

Defines a weak antipode for incidence bialgebras of decomposition spaces.

Recovers the classical antipode in connected cases, extending to non-connected cases.

Provides a formula for the M"obius function as  =   S, generalizing Hopf algebra results.

Abstract

We introduce a notion of antipode for monoidal (complete) decomposition spaces, inducing a notion of weak antipode for their incidence bialgebras. In the connected case, this recovers the usual notion of antipode in Hopf algebras. In the non-connected case it expresses an inversion principle of more limited scope, but still sufficient to compute the M\"obius function as $\mu = \zeta \circ S$, just as in Hopf algebras. At the level of decomposition spaces, the weak antipode takes the form of a formal difference of linear endofunctors $S_{\textrm{even}} - S_{\textrm{odd}}$, and it is a refinement of the general M\"obius inversion construction of G\'{a}lvez-Kock-Tonks, but exploiting the monoidal structure.