En geometría algebraica , una variedad GKM es una variedad algebraica compleja equipada con una acción de toro que cumple ciertas condiciones. [1] : Def. 1.4.13 El concepto fue introducido por Mark Goresky , Robert Kottwitz y Robert MacPherson en 1998. [2] La acción de toro de una variedad GKM debe ser esquelética : tanto el conjunto de puntos fijos de la acción como el número de órbitas unidimensionales de la acción deben ser finitos. Además, la acción debe ser equivariantemente formal , una condición que puede expresarse en términos de la cohomología racional del toro . [1] : Def. 1.4.1