The Frobenius Complex

International audience Motivated by the classical Frobenius problem, we introduce the Frobenius poset on the integers $\mathbb{Z}$, that is, for a sub-semigroup $\Lambda$ of the non-negative integers $(\mathbb{N},+)$, we define the order by $n \leq_{\Lambda} m$ if $m-n \in \Lambda$. When $\Lambda$ is generated by two relatively prime integers $a$ and $b$, we show that the order complex of an interval in the Frobenius poset is either contractible or homotopy equivalent to a sphere. We also show that when $\Lambda$ is generated by the integers $\{a,a+d,a+2d,\ldots,a+(a-1)d\}$, the order complex is homotopy equivalent to a wedge of spheres. Motivé par le problème de Frobenius classique, nous introduisons l'ensemble partiellement ordonné de Frobenius sur les entiers $\mathbb{Z}$, c.à.d. que pour un sous-semigroupe $\Lambda$ de les entiers non-négatifs $(\mathbb{N},+)$ nous définissons l'ordre par $n \leq_{\Lambda} m$ si $m-n \in \Lambda$. Quand le $\Lambda$ est engendré par deux nombres $a$ et $b$, relativement premiers entre eux, nous montrons que le complexe des chaînes d'un intervalle quelconque dans l'ensemble partiellement ordonné de Frobenius est soit contractible soit homotopiquement équivalent à une sphère. Nous montrons aussi que dans le cas où $\Lambda$ est engendré par les entiers $\{a,a+d,a+2d,\ldots,a+(a-1)d\}$, le complexe des chaînes a le type de homotopie d'un bouquet de sphères.