Una equivalencia categorial que mejora el isomorfismo de Satake: identifica la categoría tensorial de haces perversos G(O)-equivariantes (o la categoría de Satake definida apropiadamente) sobre la Grassmanniana afín de un grupo reductivo G con la categoría tensorial de representaciones algebraicas del grupo dual de Langlands G^∨, realizando geométricamente el grupo dual y sus representaciones.

Principio

Principio tánico de convolución: la convolución de haces perversos equivariantes corresponde al producto tensorial de representaciones, y la categoría de Satake es tánica neutra de modo que su funtor fibra (p. ej. la cohomología global) recupera el grupo dual como grupo tánico, produciendo una encarnación geométrica de la categoría de representaciones del grupo dual.

Demostración

Para un grupo reductivo G sobre C, el haz de cohomología de intersección del cierre de una órbita G(O) en la Grassmanniana afín corresponde a una representación irreducible de más alto peso de G^∨; la convolución de tales haces IC modela el producto tensorial de las representaciones irreducibles correspondientes, ofreciendo un ejemplo geométrico explícito.

Aplicación incorrecta

Usar complejos no equivariantes, objetos derivados sin normalización de la t-estructura perversa, o trabajar en característica pequeña sin corregir problemas l-ádicos o de paridad; tratar la equivalencia como un simple isomorfismo de álgebras en lugar de una equivalencia tensorial de categorías hace perder contenido estructural esencial.

Consecuencia

Reconstruye geométricamente el grupo dual de Langlands y su categoría de representaciones, aporta información de pureza y pesos para las representaciones, y sirve como puente entre objetos geométricos (haces, ciclos) e invariantes de teoría de representaciones (pesos, productos tensoriales, bases canónicas).

Inversión

La perspectiva inversa intentaría producir la Grassmanniana afín y su geometría de convolución a partir de la categoría abstracta de representaciones sin reconocer el origen geométrico de las estructuras tensoriales; aunque la reconstrucción tánica es posible, las graduaciones geométricas, estructuras perversas y filtraciones no surgen automáticamente de la categoría abstracta.

Límite

Se sostiene bajo elecciones de coeficientes apropiadas (por ejemplo coeficientes complejos o l-ádicos con hipótesis de buena característica) y para grupos reductivos y sus Grassmannianas afines; las extensiones a coeficientes modulares o mejoras derivadas requieren afirmaciones refinadas y suposiciones adicionales.

Tensión semántica

Hay tensión entre la Satake geométrica (categórica, en términos de haces) y el isomorfismo de Satake clásico (algebraico); la primera eleva funciones a haces y álgebras a categorías tensoriales, y en la práctica hay que distinguir entre estas capas y sus condiciones técnicas.

Síntesis

La correspondencia geométrica de Satake eleva el isomorfismo de Satake a una equivalencia tensorial de categorías: la convolución de haces perversos equivariantes en la Grassmanniana afín realiza la categoría tensorial de representaciones del grupo dual de Langlands, construyendo geométricamente el grupo dual y su teoría de representaciones.