The cohomology ring of polygon spaces

Hausmann, Jean-Claude  ; Knutson, Allen

Annales de l'Institut Fourier, Tome 48 (1998) no. 1, pp. 281-321

Abstract (VO)

We compute the integer cohomology rings of the “polygon spaces”introduced in [F. Kirwan, Cohomology rings of moduli spaces of vector bundles over Riemann surfaces, J. Amer. Math. Soc., 5 (1992), 853-906] and [M. Kapovich & J. Millson, the symplectic geometry of polygons in Euclidean space, J. of Diff. Geometry, 44 (1996), 479-513]. This is done by embedding them in certain toric varieties; the restriction map on cohomology is surjective and we calculate its kernel using ideas from the theory of Gröbner bases. Since we do not invert the prime 2, we can tensor with ${\mathbf{Z}}_2$; halving all degrees we show this produces the ${\mathbf{Z}}_2$ cohomology rings of the planar polygon spaces. In the equilateral case, where there is an action of the symmetric group permuting the edges, we show that the induced action on the integer cohomology is not the standard one, despite it being so on the rational cohomology, cf.F. Kirwan, op. loc. Finally, our formulae for the Poincaré polynomials are more computationally effective than those known, cf.F. Kirwan op. loc.

Résumé

On calcule l’anneau de cohomologie entière des espaces de configurations de polygones dans ${\mathbf{R}}^3$ tels qu’ils sont introduits dans [F. Kirwan, Cohomology rings of moduli spaces of vector bundles over Riemann surfaces, J. Amer. Math. Soc., 5 (1992), 853-906] et [M. Kapovich & J. Millson, the symplectic geometry of polygons in Euclidean space, J. of Diff. Geometry, 44 (1996), 479-513]. Pour cela, on plonge ces espaces dans certaines variétés toriques; on montre que le plongement obtenu induit un épimorphisme en cohomologie dont on calcule le noyau à l’aide des technique des bases de Gröbner. En tensorisant par $\mathbf{Z}/2\mathbf{Z}$ et en divisant les degrés par 2, on obtient l’anneau de cohomologie $\mathrm{mod}2$ des espaces de polygones planaires. Dans le cas d’un polygone équilatéral, où le groupe symétrique agit en permutant les arêtes, on montre que l’action induite sur le second groupe de cohomologie n’est pas standard, bien qu’elle le soit pour la cohomologie rationnelle, cf.F. Kirwan, op. loc. On obtient aussi des expressions pour les polynômes de Poincaré qui sont calculatoirement plus efficaces que celles connues jusqu’ici.

Détail

DOI : 10.5802/aif.1619