La Cohomologı́a Étale de una Variedad de Shimura: un
puente entre Geometrı́a Aritmética y Formas
Automorfas
Juan Carlos Alberto
15 de junio de 2026
Resumen
Este artı́culo expositivo tiene como objetivo presentar uno de los resultados fun-
damentales de la geometrı́a aritmética y el programa de Langlands: la descomposición
espectral de la cohomologı́a étale de una variedad de Shimura como suma de represen-
taciones automorfas multiplicadas por un factor de cohomologı́a de Lie. El siguiente
isomorfismo puede considerarse como una generalización no abeliana y geométrica de
la teorı́a de campos de clases.
(ShK × E, LK ) ∼
M
∗
πfK ⊗ H ∗ (g, K∞ ; π∞ ⊗ F )
Het =
π
Índice
1. Introducción 2
2. Preliminares 2
2.1. Grupos reductivos y variedades de Shimura . . . . . . . . . . . . . . . . . . . 2
2.2. El haz local LF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3. La cohomologı́a étale (lado izquierdo) . . . . . . . . . . . . . . . . . . . . . . 3
3. Formas automorfas (lado derecho) 3
3.1. Representaciones automorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3.2. La componente finita πfK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.3. Cohomologı́a de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
4. El isomorfismo 4
4.1. Enunciado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
4.2. Explicación de los sı́mbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4.3. Ejemplo: curvas modulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1
5. Consecuencias e importancia 5
5.1. Construcción de representaciones de Galois . . . . . . . . . . . . . . . . . . . 5
5.2. Relación con el programa de Langlands . . . . . . . . . . . . . . . . . . . . . 6
6. Extensiones y lı́mites 6
6.1. Limitación: solo formas cohomológicas . . . . . . . . . . . . . . . . . . . . . 6
6.2. Extensiones: caracterı́stica positiva . . . . . . . . . . . . . . . . . . . . . . . 6
6.3. Extensiones: Fargues-Scholze . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
7. Conclusión 6
1. Introducción
Lado geométrico: la cohomologı́a étale de una variedad de Shimura ShK definida
sobre un campo de números E, con coeficientes en un haz local LF asociado a una
representación F de G(R).
Lado automorfo: representaciones automorfas π de G(A), cada una multiplicada por
un factor de cohomologı́a de Lie que depende solo de la componente arquimediana π∞
y del peso F .
El programa de Langlands propone una correspondencia profunda entre objetos aritméticos
(representaciones de Galois) y objetos analı́ticos (representaciones automorfas). Una de las
realizaciones más concretas de esta correspondencia ocurre en el contexto de las variedades
de Shimura, espacios de móduli de estructuras de Hodge que poseen una rica geometrı́a
aritmética.
El resultado central de este artı́culo es el siguiente isomorfismo, que llamaremos descom-
posición espectral :
∨
∼
M
∗
πfK ⊗Qℓ H ∗ (g, K∞ ; π∞ ⊗ F )
Het ShK ×E, LF =
π∈Πcoh (F )
El objetivo es explicar, paso a paso, el significado de cada sı́mbolo y mostrar cómo este
isomorfismo conecta la geometrı́a aritmética (izquierda) con la teorı́a de representaciones
automorfas (derecha).
2. Preliminares
2.1. Grupos reductivos y variedades de Shimura
Definición 2.1. Un grupo reductivo G sobre Q es un grupo algebraico cuyo radical uni-
potente es trivial. Ejemplos incluyen GLn , SLn , GSp2n y GU (p, q).
2
Definición 2.2. Un dato de Shimura es un par (G, X) donde:
G es un grupo reductivo sobre Q,
X es un espacio G(R)-conjugado de morfismos h : S → GR , con S = ResC/R Gm (el
toro de Deligne),
se satisfacen los axiomas de Deligne (condición de Hodge, condición de Cartan, etc.).
Dado un dato de Shimura (G, X) y un subgrupo compacto abierto K ⊂ G(Af ), se define
la variedad de Shimura como el cociente doble:
ShK (G, X)(C) = G(Q)\X × G(Af )/K
El teorema de Baily-Borel y Deligne asegura que ShK (G, X)(C) es el conjunto de puntos
complejos de una variedad algebraica ShK definida sobre un cuerpo de reflexión E, un
cuerpo de números que depende de (G, X).
Ejemplo 2.1. Para G = GL2 y X = H (semiplano superior), se tiene ShK = X0 (N ), la
curva modular clásica, definida sobre E = Q.
2.2. El haz local LF
Sea F una representación algebraica irreducible de G(R) (de dimensión finita). A partir
de F se construye un haz local LF sobre ShK . La fibra de LF en un punto es isomorfa a F ,
pero la identificación varı́a según la estructura de Hodge del punto.
2.3. La cohomologı́a étale (lado izquierdo)
Definición 2.3. Sea X un esquema sobre un cuerpo k. La cohomologı́a étale H ∗ et(X, F)
es una teorı́a cohomológica definida mediante cubrimientos étales. Para k = E y F = LF ,
obtenemos espacios vectoriales H q et(ShK ×E, LF ) sobre Ql .
Este espacio hereda dos acciones importantes:
Acción de Galois: Gal(E/E) actúa por transporte de estructuras.
Acción de Hecke: El álgebra de Hecke H(G(Af ), K) actúa mediante correspondencias
algebraicas en ShK .
3. Formas automorfas (lado derecho)
3.1. Representaciones automorfas
Sea A = R × Af el anillo de adeles de Q. Una representación automorfa π de G(A) es
una representación irreducible que aparece en la descomposición espectral de L2 (G(Q)\G(A)).
3
Por el teorema de factorización de Flath, π se descompone como producto tensorial restrin-
gido:
O
π = π∞ ⊗ πp
p
donde π∞ es una representación de G(R) (componente arquimediana) y πp es una repre-
sentación de G(Qp ) (componente p-ádica).
3.2. La componente finita πfK
Sea K ⊂ G(AfN ) un subgrupo compacto abierto. Denotamos por πfK el subespacio de
K
vectores de πf = p πp fijados por K. Por admisibilidad, πf es un espacio vectorial de
dimensión finita.
3.3. Cohomologı́a de Lie
La cohomologı́a de Lie H ∗ (g, K∞ ; π∞ ⊗ F ) es un invariante algebraico de la represen-
tación π∞ tensada con F . Se define mediante el complejo:
q
!
^
C q (g, K∞ ; V ) = HomK∞ (g/k), V
donde V = π∞ ⊗ F , g = Lie(G(R))C y k = Lie(K∞)C . Este espacio es de dimensión
finita y concentrado en ciertos grados q.
Ejemplo 3.1. Para G = GL2 y π∞ la serie discreta de peso k ≥ 2, se tiene dim H 1 (g, K∞ ; π∞ ) =
1.
4. El isomorfismo
4.1. Enunciado
Teorema 4.1 (Descomposición espectral de la cohomologı́a étale de variedades de Shimura).
Para una variedad de Shimura ShK asociada a un dato (G, X) de tipo Hodge, y para una
representación algebraica F de G(R), existe un isomorfismo canónico:
∨
ShK ×E, LF ∼
M
∗
πfK ⊗Qℓ H ∗ (g, K∞ ; π∞ ⊗ F )
Het =
π∈Πcoh (F )
donde Πcoh (F ) es el conjunto de representaciones automorfas π tales que H ∗ (g, K∞ ; π∞ ⊗
F ) ̸= 0 (representaciones cohomológicas para el peso F ).
4
4.2. Explicación de los sı́mbolos
∗
Het : cohomologı́a étale (graduada).
ShK : variedad de Shimura (sobre el cuerpo de reflexión E).
E: clausura algebraica de E (para la acción de Galois).
LF : haz local asociado a la representación F .
L
π : suma directa sobre representaciones automorfas cohomológicas.
πfK : vectores fijos por K en la componente finita de π.
H ∗ (g, K∞ ; π∞ ⊗ F ): cohomologı́a de Lie de la componente arquimediana π∞ tensada
con F .
(·)∨ : dual vectorial.
4.3. Ejemplo: curvas modulares
Para G = GL2 , ShK = X0 (N ) (curva modular de nivel N ), F trivial y K = K0 (N ), el
isomorfismo se reduce a:
(X0 (N ) × Q, Qℓ ) ∼
M
1
Het = Qℓ
f ∈S2 (N )
donde S2 (N ) es el espacio de formas modulares cuspidales de peso 2 y nivel N . Cada
forma f contribuye con un factor 1-dimensional, dando la representación de Galois asociada
a f.
5. Consecuencias e importancia
5.1. Construcción de representaciones de Galois
∗
Para cada π cohomológica, el isomorfismo permite aislar un subespacio de Het que es
invariante bajo el álgebra de Hecke y sobre el cual actúa el grupo de Galois. Esto produce
una representación:
ρπ : Gal(E/E) −→ L G(Qℓ )
que satisface la correspondencia de Langlands local en casi todos los lugares.
5
5.2. Relación con el programa de Langlands
El isomorfismo constituye la realización geométrica de la correspondencia de Lan-
glands para representaciones automorfas cohomológicas. Es la herramienta clave en los
trabajos de Harris-Taylor y Scholze sobre la correspondencia para GLn sobre cuerpos total-
mente reales.
6. Extensiones y lı́mites
6.1. Limitación: solo formas cohomológicas
El isomorfismo solo captura las representaciones automorfas cuya componente arquime-
diana tiene parámetros enteros (series discretas o lı́mites). Quedan fuera las formas de Maass
y las series complementarias.
6.2. Extensiones: caracterı́stica positiva
Sobre cuerpos de funciones (caracterı́stica positiva), el teorema de Lafforgue establece
la correspondencia de Langlands completa para GLn usando cohomologı́a étale de pilas de
shtukas, sin la limitación de cohomologicidad.
6.3. Extensiones: Fargues-Scholze
La teorı́a de Fargues-Scholze, basada en la curva de Fargues-Fontaine, proporciona un
marco unificado para la correspondencia de Langlands local y global, extendiendo los resul-
tados a todos los grupos reductivos y a todas las representaciones.
7. Conclusión
La descomposición espectral de la cohomologı́a étale de variedades de Shimura es un re-
sultado central en la teorı́a de números moderna. Conecta la geometrı́a aritmética (variedades
de Shimura, cohomologı́a étale, haz local LF ) con la teorı́a de representaciones automorfas
(formas automorfas, cohomologı́a de Lie). Aunque limitada a representaciones cohomológi-
cas, es la realización geométrica más concreta de la correspondencia de Langlands y ha sido
fundamental para avances recientes, incluyendo la demostración de la correspondencia local
para GLn sobre cuerpos totalmente reales.
Referencias
[1] Harris, M., & Taylor, R. (2001). The Geometry and Cohomology of Some Simple Shimura
Varieties. Annals of Mathematics Studies, Princeton University Press.
6
[2] Scholze, P. (2015). On the cohomology of compact unitary Shimura varieties. Annals of
Mathematics, 182(2), 723-804.
[3] Milne, J. S. (2017). Introduction to Shimura Varieties. Disponible en
[Link]
[4] Lafforgue, L. (2002). Chtoucas de Drinfeld et correspondance de Langlands. Inventiones
Mathematicae, 147(1), 1-241.
[5] Fargues, L., & Scholze, P. (2021). Geometrization of the local Langlands correspondence.
arXiv:2102.13459.