##  [Teoría de Deligne–Lusztig](/es/node/64070) 

 Definición

Una construcción geométrica que produce representaciones virtuales y verdaderas de grupos finitos de tipo Lie calculando la cohomología étale l-ádica con la acción de Frobenius de variedades algebraicas construidas ad hoc (variedades de Deligne–Lusztig), enlazando así la geometría algebraica con la teoría de representaciones de grupos finitos.

 

 

 

 

 

 





## Principio

Principio

Se usan variedades equipadas con correspondencias de Frobenius cuyas cohomologías étales, con sistemas locales apropiados y trazas de Frobenius, proporcionan caracteres virtuales del grupo reductivo finito; la inducción geométrica y los cálculos de puntos fijos se traducen en información representacional.

 

 

 

 

 





## Demostración

Demostración

Las variedades de Deligne–Lusztig para un grupo reductivo sobre F_q producen representaciones cuspidales e inducidas de grupos como GL_n(F_q) u otros grupos finitos de tipo Lie; calcular las trazas de Frobenius en la cohomología da valores de caracteres explícitos y construye familias de irreducibles.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Intentar aplicar la construcción a grupos que no son de tipo Lie, ignorar que la prima ℓ debe ser distinta de la característica p, o calcular mal los giros de sistemas locales y la acción de Frobenius, lo cual destruye la interpretación representacional.

 

 

 

 

 





## Consecuencia

Consecuencia

Proporciona un método geométrico potente para construir y analizar caracteres irreducibles y representaciones de grupos finitos de tipo Lie, aclara el papel de la geometría en la teoría de caracteres y sustenta partes de los marcos de Langlands local y de representación modular.

 

 

 

 

## Inversión

Inversión

A la inversa, no toda representación de un grupo finito de tipo Lie tiene necesariamente un origen geométrico conocido por Deligne–Lusztig; algunas construcciones algebraicas o modulares producen representaciones que no son obviamente realizables mediante estas variedades.

 

 

 

 

 





## Límite

Límite

Se aplica a grupos reductivos finitos (grupos finitos de tipo Lie) y utiliza cohomología l-ádica y Frobenius; requiere hipótesis técnicas (elección de ℓ≠p, control de pesos, pureza) y no cubre directamente grupos finitos arbitrarios ni grupos algebraicos no reductivos.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Tensión entre el origen geométrico de las representaciones (cohomología de variedades) y los métodos puramente algebraicos o combinatorios de clasificación; también tensión entre descripciones l-ádicas/cohomológicas y enfoques por caracteres complejos o modulares.

 

 

 

 

 





## Síntesis

Síntesis

La Teoría de Deligne–Lusztig construye representaciones de grupos finitos de tipo Lie calculando la cohomología l-ádica con acción de Frobenius de variedades especialmente elegidas, traduciendo datos geométricos y de puntos fijos en información explícita sobre caracteres y conectando la geometría con la teoría de representaciones finitas.