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 del toro de una variedad GKM debe ser esquelética : tanto el conjunto de puntos fijos de la acción como el número de uno- órbitas dimensionales de la acción, debe ser finito. Además, la acción debe ser equivalentemente formal, una condición que se puede expresar en términos de la cohomología racional del toro . [1] : Def. 1.4.1