1: \begin{abstract}
2: A quasisymmetric function is assigned to every double poset (that is,
3: every finite set endowed with two partial orders) and any weight function
4: on its ground set. This generalizes well-known objects such as monomial
5: and fundamental quasisymmetric functions, (skew) Schur functions, dual
6: immaculate functions, and quasisymmetric
7: $\left(P, \omega\right)$-partition enumerators.
8: We prove a formula for the antipode of this function that
9: holds under certain conditions (which are satisfied when the second order
10: of the double poset is total, but also in some other cases); this
11: restates (in a way that to us seems more natural) a
12: result by Malvenuto and Reutenauer, but our proof is new and
13: self-contained. We generalize it further to an even more comprehensive
14: setting, where a group acts on the double poset by automorphisms.
15: \\[0.2pc]
16:
17: \textbf{Keywords:}
18: antipodes,
19: double posets,
20: Hopf algebras,
21: posets,
22: P-partitions,
23: quasisymmetric functions.
24: \\[0.2pc]
25:
26: \textbf{MSC2010 Mathematics Subject Classifications:}
27: 05E05, 05E18.
28: \end{abstract}