$f$-vectors of subdivided simplicial complexes (extended abstract)
Résumé
We take a geometric point of view on the recent result by Brenti and Welker, who showed that the roots of the $f$-polynomials of successive barycentric subdivisions of a finite simplicial complex $X$ converge to fixed values depending only on the dimension of $X$. We show that these numbers are roots of a certain polynomial whose coefficients can be computed explicitly. We observe and prove an interesting symmetry of these roots about the real number $-2$. This symmetry can be seen via a nice realization of barycentric subdivision as a simple map on formal power series. We then examine how such a symmetry extends to more general types of subdivisions. The generalization is formulated in terms of an operator on the (formal) ring on the set of simplices of the complex.
On applique un point de vue géométrique à un récent résultat de Brenti et Welker, qui ont montré que les racines des polynômes $f$ de subdivisions barycentriques successives d'un complexe simplicial $X$ convergent vers des valeurs fixes, ne dépendant que de la dimension de $X$. On prouve que ces nombres sont en effet eux-mêmes racines d'un polynôme dont les coefficients peuvent être calculés explicitement. De plus, on observe et on démontre une symétrie particulière de ces nombres autour du numéro $-2$. Cette symétrie se révèle en exprimant l'opération de subdivision barycentrique par une fonction sur des séries de puissances formelles. Une symétrie pareille existe pour des méthodes de subdivision plus générales, où elle s'exprime par des opérateurs sur l'anneau des sommes formelles de simplexes du complexe.
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|
Loading...