Taiga Yoshida, Masahiko Yoshinaga
Published 2021-02-01Version 1
In the context of combinatorial reciprocity, it is a natural question to ask what "$-Q$" is for a poset $Q$. In a previous work, the definition "$-Q:=Q\times\mathbb{R}$ with lexicographic order" was proposed based on the notion of Euler characteristic of semialgebraic sets. In fact, by using this definition, Stanley's reciprocity for order polynomials was generalized to an equality for the Euler characteristics of certain spaces of increasing maps between posets. The purpose of this paper is to refine this result, that is, to show that these spaces are homeomorphic if the topology of $Q$ is metrizable.
One can hear the Euler characteristic of a simplicial complex
Pascal triangle, Stirling numbers and the unique invariance of the Euler characteristic
Quiver matroids -- Matroid morphisms, quiver Grassmannians, their Euler characteristics and $\mathbb{F}_1$-points
![QR code for arXiv:2102.00566 [math.CO]](http://oss.arxitics.com/images/favicon.svg)