Algebras de Lie

Facultad de Matemática, Astronomı́a y Fı́sica
Universidad Nacional de Córdoba
GRUPOS DE LIE 2-PASOS NILPOTENTES Y

GENERALIZACIONES DE SIMETRIA
Jorge Lauret1
Tesis presentada para optar al grado de Doctor en Matemática.
Director: Dra. Isabel G. Dotti
Marzo de 1998
1
Con el apoyo de Beca de CONICET y subsidios de CONICOR y SeCyT UNC (Argentina)
1
2
Tribunal de Tesis:
Gustavo Corach
Marı́a J. Druetta
Jorge Vargas
Resumen
El objetivo principal de esta tesis es el estudio de ciertas clases especiales de

variedades riemannianas, las cuales se definen mediante importantes propiedades de
los espacios simétricos, constituyendo ası́ generalizaciones de dichos espacios. Más
precisamente, se considerarán los espacios naturalmente reductivos, espacios Rie-
mannianos g.o., espacios débilmente simétricos, espacios conmutativos y espacios
de D’Atri. El ambiente donde se estudiarán dichas nociones será el dado por los
grupos de Lie 2-pasos nilpotentes munidos de una métrica invariante a izquierda.
Se aportan nuevos ejemplos en todas las clases antes citadas y nuevos contrae-
jemplos a las contenciones que ya se conocı́an ser falsas. El aporte más importante
es el de los primeros ejemplos de espacios conmutativos que no son débilmente
simétricos y también de los primeros espacios naturalmente reductivos que no son
débilmente simétricos. Se estudian en profundidad los grupos 2-pasos nilpotentes
que son naturalmente reductivos, encontrándose una caracterización de dichos gru-
pos mediante representaciones de dimensión finita de grupos de Lie compactos.
Esto permite describir la geometrı́a de dichos espacios en términos de la teorı́a de
representaciones.
1991 Mathematics Subject Classification: 22E30, 53C30, 22E25, 43A20.
FaMAF, Univ. Nac. de Córdoba,

5000 Córdoba, Argentina
e-mail: lauret@mate.uncor.edu
3
Dedicado a Cynthia
Contenidos
PREFACIO 7
CAPITULO 1. Generalizaciones de simetrı́a en grupos de Lie nilpotentes 9

1. Introducción 9
2. Geometrı́a Riemanniana en grupos nilpotentes 10
3. Espacios naturalmente reductivos 14
4. Espacios Riemannianos g.o. 20
5. Espacios débilmente simétricos 23
6. Espacios conmutativos 24
7. Espacios de D’Atri 29
CAPITULO 2. Grupos de tipo-H modificados 31
1. Introducción 31
2. Descripción, isometrı́as y geodésicas 32
3. Clasificaciones 35
4. Grupos 2-pasos Riemannianos g.o. con centro 2-dimensional 42
CAPITULO 3. Grupos 2-pasos nilpotentes naturalmente reductivos 45
1. Introducción 45
2. Descripción via representaciones 46
3. Preliminares sobre representaciones 48
4. Grupos 2-pasos nilpotentes asociados a representaciones de álgebras de
Lie compactas 53
5. Conmutatividad en grupos 2-pasos N (g, V ) 61
6. Clasificación de los grupos N (g, V ) con V irreducible que son espacios
conmutativos 65
7. Débil simetrı́a en grupos 2-pasos N (g, V ) con V irreducible 73
Bibliografı́a 77
5
PREFACIO
A partir de ciertas caracterı́sticas del espacio euclı́deo n-dimensional E n , uno

puede definir nuevos ambientes que sean apropiados para el estudio de la geometrı́a
y el análisis. Por ejemplo, se obtienen de esta manera los espacios de curvatura con-
stante, los espacios simétricos, las variedades homogéneas, los espacios armónicos,
los grupos de Lie, etc.
Consideremos la presentación de E n dada por el grupo aditivo (Rn , +) munido
de la única estructura Riemanniana que hace que las traslaciones sean isometrı́as,
e intentemos contruir nuevos espacios conservando la mayor parte de estos as-
pectos. Una propuesta serı́a mantener la variedad subyacente Rn y modificar
lo más sensiblemente posible la operación +, por ejemplo, de la siguiente man-
era: descomponemos Rn = Rp × Rq y tomamos una forma bilineal antisimétrica
β : Rp × Rp → Rq , definiendo una nueva operación +β en Rn por
(x, a) +β (y, b) = (x + y, a + b + β(x, y)), x, y ∈ Rp , a, b ∈ Rq .
Es inmediato que +β es asociativa con elemento neutro (0, 0) e inverso (−x, −a)
para cada elemento (x, a). Más aún, (Rn , +β ) es un grupo de Lie, lo que nos permite
definir la estructura Riemanniana (no necesariamente única) de tal forma que las
nuevas traslaciones (a izquierda) sean isometrı́as.
No es difı́cil ver que los espacios (Rn , +β ) obtenidos son precisamente los gru-
pos de Lie 2-pasos nilpotentes simplemente conexos con una métrica invariante a
izquierda. Esto muestra que dichos grupos son una especie de paso intermedio entre
el espacio euclı́deo y los grupos de Lie en general, constituyendo ambientes muy
propicios para la investigación tanto en geometrı́a como en análisis armónico.
Una de las propiedades más importantes que conservan los espacios (Rn , +β ),
y que los distingue de las clases mencionadas al comienzo, es la que tiene que ver
con la forma del grupo de isometrı́as. Sabemos que toda isometrı́a de E n que fija
el 0 inmediatamente es lineal, y en consecuencia el grupo de isometrı́as de E n es
I(E n ) = O(n) × Rn , donde el grupo ortogonal O(n) es el subgrupo de isotropı́a y
Rn actúa por traslaciones. En el caso de un (Rn , +β ), fue probado en 1982 por
E. Wilson [W] que toda isometrı́a de (Rn , +β ) que fija el 0 es automáticamente
un automorfismo del grupo (Rn , +β ), y por lo tanto I(Rn , +β ) = K × Rn , donde
K denota el grupo de automorfismos isométricos (constituyendo el subgrupo de
isotropı́a) y Rn actúa por traslaciones a izquierda del producto +β .
Esta caracterı́stica es la que hace factible el estudio en los espacios (Rn , +β )
de nociones que se definen mediante propiedades del grupo de isometrı́as, y que
son importantes propiedades que satisfacen los espacios simétricos. Esto conti-
tuye el principal objetivo de esta tesis. Algunas de estas clases son los espacios
naturalmente reductivos, espacios Riemannianos g.o. (toda geodésica es la órbita
de un subgrupo monoparamétrico de isometrı́as), espacios débilmente simétricos
7
8 PREFACIO
(todo par de puntos puede ser intercambiado por una isometrı́a) y espacios conmu-
tativos (los operadores diferenciales invariantes por isometrı́as conmutan, o equiv-
alentemente, las funciones integrables de (Rn , +β ) K-invariantes conmutan, i.e.
(K × (Rn , +β ), K) es un par de Gelfand). Otra propiedad clave de los espacios
(Rn , +β ) es que la medida de Lebesgue usual de Rn constituye una medida de Haar
en el grupo (Rn , +β ), cualquiera sea β. Esto facilita el análisis de las funciones
integrables de (Rn , +β ) y el estudio de la noción de espacio de D’Atri (las simetrı́as
geodésicas locales preservan el elemento de volumen), el cual se reduce a que ciertas
funciones preserven el volumen euclideano standard en un abierto de Rn .
La métrica de un (Rn , +β ) está determinada por su valor en el tangente T0 Rn ,
y al contrario del caso euclı́deo, dos productos internos en T0 Rn pueden definir
variedades Riemannianas muy diferentes. Para n = 5, ya es posible exhibir un
cierto grupo (R5 , +β ) donde K es finito para algunas métricas y unidimensional
para otras (ver [L1]). También está probado en [W] que dos espacios (Rn , +β ),
(Rn , +β 0 ) son isométricos si y sólo si hay un isomorfismo isométrico entre ellos.
Este hecho da una idea de la gran abundancia de estos espacios en una dimensión
dada, puesto que sólo para n ≤ 7 están clasificados los distintos productos +β
sobre Rn salvo isomorfismo (o equivalentemente, los grupos 2-pasos nilpotentes n-
dimensionales), y para n ≥ 9 existen familias que dependen de varios parámetros de
productos +β sobre Rn , no isomorfos entre sı́ (ver [Ga]). Todo esto, sin considerar
aún las familias de estructuras Riemannianas invariantes no isométricas entre sı́, en
un grupo (Rn , +β ) fijo, las cuáles dependen de varios parámetros también.
La curvatura seccional de los espacios (Rn , +β ) está lejos de ser nula, más aún,
J. Wolf probó en [Wo] que siempre hay planos de curvatura positiva y planos de
curvatura negativa. Siempre hay también direcciones positivas y negativas para la
curvatura de Ricci, debido a un resultado de Milnor [M].
La geometrı́a de los espacios (Rn , +β ) ha sido explorada en profundidad por P.
Eberlein en [E1],[E2], y la introducción por A. Kaplan de los grupos de tipo-H es,
sin duda, la principal razón de la considerable atención que han tenido los espacios
(Rn , +β ) en los últimos veinte años.
Una información bien detallada de los contenidos y resultados de esta tesis se
encuentra en las introducciones de cada capı́tulo.
Agradecimientos. Deseo agradecer, en primer lugar, a Isabel por su constante

apoyo. Su guı́a, tanto en lo matemático como en lo profesional, ha sido más que
importante en mi carrera, ha sido invaluable. Estoy muy agradecido también con
los profesores Jurgen Berndt y Roberto Miatello, por fructı́feras charlas y consejos.
Aprovecho este espacio para agradecer a mi papá y a mi mamá, por todo lo
que debieron sacrificar para permitirme llegar hasta aquı́. Por último, le agradezco
por todo y más que todo a mi esposa, a quien está dedicada esta tesis.
CAPITULO 1
Generalizaciones de simetrı́a en grupos de Lie

nilpotentes
1. Introducción
Presentaremos en este capı́tulo cinco clases de variedades Riemannianas que
contienen a la clase de espacios simétricos, es decir nociones que pueden ser vistas
como generalizaciones de tales espacios. Se describirán sus aspectos básicos y las
contenciones que se conocen entre ellas, como ası́ también las contenciones que aún
permanecen como problemas abiertos. Referimos a [BTV] para una información
más completa.
Daremos también caracterizaciones para los grupos de Lie nilpotentes con una
métrica invariante a izquierda que pertenecen a cada una de dichas clases, junto
con las correspondientes clasificaciones para los grupos de tipo-H, las cuales se han
ido obteniendo en diferentes artı́culos desde 1983 (ver [K3],[Ri2],[R],[BRV]).
En primer lugar entonces, daremos en §2 algunos preliminares sobre la ge-
ometrı́a Riemanniana básica (grupo de isometrı́as, clases de isometrı́a, conexión de
Levi-Civita, tensor de Ricci) de los grupos nilpotentes y propiedades generales de
los grupos de tipo-H.
El aporte principal de este capı́tulo es una prueba alternativa (ver §3) de la
caracterización dada por C. Gordon en [Go1] de los grupos 2-pasos nilpotentes nat-
uralmente reductivos, usando la teorı́a de estructuras homogéneas desarrollada en
[AS],[TV1],[TV2]. Se prueba además que en todo grupo 2-pasos existe una única
estructura homogénea naturalmente reductiva. En §4 se da una caracterización de
los grupos nilpotentes que son Riemannianos g.o., probando que necesariamente
deben ser 2-pasos nilpotentes. Tales resultados (los de §4) habı́an sido obtenidos
independientemente también por C. Gordon en [Go3].
Una observación importante es que si un grupo de Lie nilpotente con una
métrica invariante a izquierda pertenece a una de las clases consideradas, excepto
quizá para espacios de D’Atri, entonces el grupo debe ser abeliano o 2-pasos nilpo-
tente. Debido a esto, la atención siempre estará concentrada en los grupos 2-pasos
nilpotentes a lo largo de toda la tesis.
Todos los grupos de Lie nilpotentes considerados se supondrán simplemente
conexos y todas las variedades, conexas.
Resumen de los resultados originales obtenidos
- Prueba alternativa de la caracterización de los grupos 2-pasos nilpotentes natu-

ralmente reductivos (Teorema 3.5).
- Clasificación de las estructuras homogéneas de tipo τ3 en un grupo nilpotente
(Teorema 3.8).
9
10 1. GENERALIZACIONES DE SIMETRÍA EN GRUPOS NILPOTENTES
- Prueba alternativa de la conmutatividad de algunos grupos de tipo-H (Corolario

6.14).
2. Geometrı́a Riemanniana en grupos nilpotentes

Sea N un grupo de Lie nilpotente real simplemente conexo. Si h, i es un pro-
ducto interno en el álgebra de Lie n de N , consideramos en N la métrica Rie-
manniana invariante a izquierda determinada por h, i. Denotamos a la variedad
Riemanniana resultante por (N, h, i) . Debemos notar que, en algunos contextos,
(N, h, i) es llamada una nilvariedad homogénea, y que dicha denominación no será
usada en esta tesis.
El grupo de isometrı́as de (N, h, i) fue descripto por E. Wilson en [W], y está
dado por
I(N, h, i) = K × N (producto semidirecto), (1.1)
donde K = Aut(n)∩O(n, h, i) es el subgrupo de isotropı́a de I(N, h, i) en la identidad
y N actúa por traslaciones a izquierda. Luego la estructura de I(N, h, i) está com-
pletamente determinada por K. Notar que, puesto que N es simplemente conexo,
no hacemos distinción entre automorfismos de N y de n .
Teorema 2.1. [W] Sean N1 , N2 grupos de Lie nilpotentes simplemente conexos.
(i) (N1 , h, i1 ) es isométrico a (N2 , h, i2 ) si y sólo si existe un isomorfismo de
álgebras de Lie A : n1 → n2 tal que hAx, Ayi2 = hx, yi1 para todo x, y ∈ n1 .
(ii) Si f : (N1 , h, i1 ) → (N2 , h, i2 ) es una isometrı́a satisfaciendo f (e1 ) = e2
(ei identidad de Ni ) entonces f es un isomorfismo de grupos de Lie.
Prueba. (i) Sea f : (N1 , h, i1 ) → (N2 , h, i2 ) una isometrı́a. Está probado en [W]
que Ni es el nilradical de I(Ni , h, ii ), i.e. el único subgrupo nilpotente normal
maximal de I(Ni , h, ii ). Como Tf : ϕ → f ϕf −1 es un isomorfismo entre I(N1 , h, i1 )
e I(N2 , h, i2 ), entonces se debe cumplir que Tf N1 = N2 . Luego para todo elemento
n ∈ N1 existe un elemento n0 ∈ N2 tal que f ◦ ln = ln0 ◦ f , y esta relación implica
que la aplicación n → n0 es un isomorfismo entre N1 y N2 . Si f (e1 ) = e2 , lo cual
podemos suponer sin pérdida de generalidad, entonces f (n) = n0 para todo n ∈ N1
y en consecuencia f es un isomorfismo entre N1 y N2 . Tomamos A = (d f )e1 y
entonces A : n1 → n2 es un isomorfismo de álgebras de Lie. Más aún, es fácil ver
que hAx, Ayi2 = hx, yi1 para todo x, y ∈ n1 , pues f es una isometrı́a.
Recı́procamente, tomamos f : N1 → N2 el isomorfismo tal que (d f )e1 = A y
es fácil ver usando que A lleva el producto interno h, i1 en h, i2 y que las métricas
son invariantes a izquierda que f es una isometrı́a entre (N1 , h, i1 ) y (N2 , h, i2 ).
(ii) Se sigue claramente de la prueba de (i). ¤
Supongamos de ahora en más que N es un grupo 2-pasos nilpotente y sea h, i

un producto interno en n. Denotemos por z el centro de n y tomemos n = v ⊕ z la
descomposición ortogonal respecto de h, i. Para cada a ∈ z definimos Ja : v → v
por
hJa x, yi = ha, [x, y]i, x, y ∈ v. (1.2)
Notar que Ja es antisimétrica para todo a ∈ z y J : z → End(v) es lineal.
Las transformaciones {Ja }a∈z describen la relación entre el corchete de Lie de
n y la métrica h, i, i.e. entre el álgebra y la geometrı́a de (N, h, i) . No es raro
2. GEOMETRÍA RIEMANNIANA EN GRUPOS NILPOTENTES 11
entonces que tales transformaciones posean mucha información de la geometrı́a de

(N, h, i) (ver por ejemplo [K2], [E1], [E2]).
Describimos ahora el subgrupo de isotropı́a K del grupo de isometrı́as I(N, h, i)
de (N, h, i) en términos de las transformaciones {Ja }a∈z . Tomemos ϕ ∈ K. Como
ϕ es un automorfismo de n entonces ϕz ⊂ z, y por ser ϕ ortogonal tenemos también
que ϕv ⊂ v y ϕ|z ∈ O(z, h, i), ϕ|v ∈ O(v, h, i). Además, para todo x, y ∈ v, a ∈ z se
cumple que
hJϕa x, yi = hϕa, [x, y]i = ha, ϕ−1 [x, y]i
= ha, [ϕ−1 x, ϕ−1 y]i = hJa ϕ−1 x, ϕ−1 yi (1.3)
= hϕJa ϕ−1 x, yi,
luego ϕJa ϕ−1 = Jϕa para todo a ∈ z.
Recı́procamente, si ϕ = (T, φ) ∈ O(v, h, i) × O(z, h, i) satisface T Ja T −1 = Jφa
para todo a ∈ z entonces se sigue de (1.3) que ϕ−1 [x, y] = [ϕ−1 x, ϕ−1 y] para todo
x, y ∈ v. Esto implica que ϕ ∈ Aut(n) y por lo tanto ϕ ∈ K.
Obtenemos entonces que el subgrupo de isotropı́a de (N, h, i) está dado por
K = {(T, φ) ∈ O(v, h, i) × O(z, h, i) : T Ja T −1 = Jφa , a ∈ z}. (1.4)
Sea k el álgebra de Lie de K. Luego k = Der(n) ∩ so(n, h, i), donde Der(n) denota
el álgebra de derivaciones de n . Se cumple además que
k = {(A, B) ∈ so(v) × so(z) : AJa − Ja A = JBa , a ∈ z}, (1.5)
donde so(v) y so(z) denotan el álgebra de Lie de transformaciones antisimétricas
respecto de h, i de v y de z respectivamente.
Nota 2.2. Si [n, n] 6= z entonces N ' N1 × Rk , donde N1 = exp (v ⊕ [n, n]) y
R = exp ([n, n]⊥ ∩ z) (exp : n → N es la exponencial de Lie usual). En este caso se
k
dice que (N, h, i) tiene factor Euclı́deo, puesto que el producto directo es también
de variedades Riemannianas. Es fácil probar que (N, h, i) tiene factor Euclı́deo si y
sólo si existe un a ∈ z − {0} tal que Ja = 0. Notar que el tener o no factor Euclı́deo
depende sólo del grupo N , y no de la métrica h, i.
La conexión de Levi-Civita de (N, h, i) ha sido calculada en [E1]. Se tiene

 ∇x y = 21 [x, y]
∇a x = ∇x a = − 12 Ja x

∇a b = 0,
donde x, y ∈ v y a, b ∈ z son vistos como campos invariantes a izquierda sobre N .
Para x, y ∈ n el tensor de Ricci está definido por ρ(x, y) = tr(z → R(z, x)y, z ∈
n), donde R denota el tensor de curvatura definido por R(x, y) = [∇x , ∇y ] − ∇[x,y] .
Para el tensor de Ricci se obtuvo en [E1] que
(i) ρ(x, a) = 0 ∀ x ∈ v, a ∈ z.
(ii) Si {a1 , ..., am } es cualquier base ortonormal de (z, h, i) entonces
m
1X 2
ρ(x, y) = h( J )x, yi ∀ x, y ∈ v.
2 i=1 ai
(iii) ρ(a, b) = − 14 tr (Ja Jb ) ∀ a, b ∈ z.

En particular ρ es definida negativa en v × v y semidefinida positiva en z × z. Si
(N, h, i) no tiene factor Euclı́deo entonces ρ es definida positiva en z × z.
Probaremos ahora un resultado sobre las distintas métricas con las que podemos
dotar a un grupo 2-pasos nilpotente N dado, el cual nos será muy útil en varias
ocasiones.
Proposición 2.3. Sea n un álgebra de Lie 2-pasos nilpotente. Fijemos una
descomposición n = v ⊕ z, donde v es cualquier complemento directo del centro z
de n . Entonces para todo producto interno h, i0 en n existe un producto interno
h, i en n con hv, zi = 0 tal que los correspondientes grupos (N, h, i0 ) y (N, h, i) son
isométricos.
Prueba. Sea h, i0 un producto interno en n y sea n = v0 ⊕ z la descomposición
ortogonal respecto de h, i0 . Definimos A : n → n por A|v0 = pv y A|z = I, donde pv
denota la proyección sobre v respecto de la descomposicióm n = v ⊕ z. Veamos que
A ∈ Aut(n). Si x0 , y 0 ∈ v0 ponemos
x0 = x + a, y 0 = y + b,
con x, y ∈ v, a, b ∈ z, luego
A[x0 , y 0 ] = [x0 , y 0 ] = [x + a, y + b] = [x, y] = [Ax0 , Ay 0 ],
y como Az ⊂ z entonces A es un automorfismo de n . Definimos un producto interno
en n por
hx, yi = hA−1 x, A−1 yi0 ∀ x, y ∈ n.
Si x ∈ v y a ∈ z entonces
hx, ai = hA−1 x, A−1 ai0 = hA−1 x, ai0 = 0,
pues A−1 x ∈ v0 , luego hv, zi = 0. Puesto que A es un automorfismo de n satis-
faciendo hAx, Ayi = hx, yi0 para todo x, y ∈ n, entonces (N, h, i0 ) y (N, h, i) son
isométricos por Teorema 2.1,(i). ¤
Una subclase muy especial de los grupos 2-pasos nilpotentes (N, h, i) la forman
los llamados grupos de tipo-H, los cuales fueron introducidos por A. Kaplan en
[K1].
Definición 2.4. Un grupo 2-pasos nilpotente (N, h, i) se dice ser un grupo de
tipo-H si
Ja2 = −ha, aiI ∀ a ∈ z. (1.6)
Si este es el caso, decimos también que h, i es una métrica de tipo-H sobre N y un
álgebra de Lie 2-pasos nilpotente se dirá un álgebra de tipo H si admite una métrica
de tipo-H.
Los grupos de tipo-H han sido estudiados en geometrı́a (ver por ejemplo [BRV],
[BTV], [E1], [E2], [K2], [K3], [Ri1], [Ri2]), análisis armónico ([K1], [DR], [KR],
[R]), y geometrı́a espectral ([Go2]), proveyendo ejemplos y contraejemplos a varias
cuestiones y conjeturas.
Daremos a continuación algunas propiedades generales de los grupos de tipo-H,
siguiendo esencialmente [BRV].
Sea m = dim z y denotemos por Cl(m) el álgebra de Clifford C(z, −| |2 ). Cuando
(N, h, i) es de tipo-H la acción J de z en v se extiende a una representación real
de Cl(m) en v . Luego v es un Cl(m)-módulo real, y todo módulo de Clifford real
puede ser realizado de esta manera (ver [K1]). De aquı́ en adelante, diremos que v
2. GEOMETRÍA RIEMANNIANA EN GRUPOS NILPOTENTES 13
es isotı́pico o irreducible si lo es como módulo de Clifford. Consideraremos siempre

módulos de Clifford reales.
La clasificación de las álgebras de tipo-H salvo isomorfismo está dada como
sigue:
(i) Si m 6≡ 3 (mod 4), entonces Cl(m) tiene un único módulo irreducible
v0 . El álgebra de tipo-H con centro m-dimensional es obtenida entonces
tomando n = (v0 )p ⊕ z con p ≥ 1.
(ii) Si m ≡ 3 (mod 4), entonces Cl(m) tiene dos módulos irreducibles no
equivalentes v1 y v2 . Luego el álgebra de tipo-H con centro m-dimensional
se obtiene tomando n = (v1 )p ⊕ (v2 )q ⊕ z con p ≥ q ≥ 0, p + q ≥ 1, y sólo
v = (v1 )p ⊕ (v2 )q y v = (v1 )q ⊕ (v2 )p dan álgebras isomorfas.
En ambos casos n admite una única métrica de tipo-H salvo isometrı́a.
Daremos ahora una descripción detallada del subgrupo de isotropı́a K de un

grupo de tipo-H, el cual fue calculado por C. Riehm en [Ri1]. Si Cl(m)+ es la
subálgebra de Cl(m) generada por los productos de una cantidad par de generadores
de Cl(m), es claro que Cl(m)+ es isomorfa a Cl(m − 1). El subespacio generado
linealmente por los productos de la forma ab ∈ Cl(m)+ , donde a, b son generadores
de Cl(m) y a ⊥ b, es un álgebra de Lie isomorfa al álgebra de Lie ortogonal so(m).
Exponenciando en Cl(m)+ , obtenemos el grupo de Lie Spin(m).
Lema 2.5. [Ri1] Sea (N, h, i) un grupo de tipo-H.
(i) Si a ∈ z es un vector unitario, la aplicación Ja definida en (1.2) se extiende
a un elemento en K poniendo
Ja b = 2ha, bia − b ∀b∈z
(i.e. menos la reflección con respecto al hiperplano a⊥ en z ).
(ii) El subgupo de K generado por los automorfismos Ja en (i) es isomorfo al
grupo de Lie Pin(m).
(iii) Dados a, b ∈ z con a ⊥ b, la función φab : n → n definida por


 Ja Jb x si x ∈ v,

2b si x = a,
φab (x) =

 −2a si x = b,

0 si x ∈ z y x ⊥ {a, b},
es un elemento de k , i.e. φab es una derivación antisimétrica de (n, h, i).
(iv) Los exponenciales de las funciones φab generan un subgrupo de Lie de K
isomorfo a Spin(m), que coincide con Pin(m)∩Cl(m)+ y es la componente
conexa de la identidad de Pin(m).
(v) Un elemento de K actúa trivialmente en z si y sólo si su restricción a v
es un operador de entralazamiento de la representación de Cl(m) en v .
(vi) Si U denota el grupo de operadores de entrelazamiento ortogonales de la
representación de Cl(m) en v , entonces U y Pin(m) conmutan, tienen
intersección finita y
K = Pin(m).U,
al menos que m ≡ 1(mod 4), donde K/(Pin(m).U ) tiene sólo dos elemen-
tos.
3. Espacios naturalmente reductivos

Sea M una variedad Riemanniana homogénea conexa. Sea G un grupo de
isometrı́as de M actuando transitiva y efectivamente a izquierda y denotemos por K
al subgrupo de isotropı́a en algún punto p ∈ M . Denotemos por g y k las álgebras de
Lie de G y K respectivamente. Supongamos que m es un subespacio complementario
a k en g tal que Ad(K)m ⊂ m (i.e. g = k ⊕ m es una descomposición reductiva).
Luego podemos identificar m con Tp M via x → ddt |0 exp tx.p y denotemos por h, i
el producto interno inducido sobre m por la métrica Riemanniana de M .
Definición 3.1. Una variedad homogénea M se dice naturalmente reductiva

si existen un grupo de Lie G ⊂ I(M ) y un subespacio m de g con las propiedades
descriptas arriba y tales que
h[x, y]m , zi + hy, [x, z]m i = 0 ∀ x, y, z ∈ m, (1.7)
donde [x, y]m denota la proyección de [x, y] sobre m respecto de la descomposición

g = k ⊕ m.
Una observación importante es que una variedad homogénea M puede ser natu-
ralmente reductiva y sin embargo para ciertos grupos G y ciertas descomposiciones
g = k ⊕ m puede no cumplirse (1.7). Es claro entonces que si uno quiere estudiar
la natural reductividad de una variedad M debe primero determinar todos los gru-
pos de isometrı́as transitivos y luego considerar todos los complementos de k en g
invariantes por Ad(K).
En la mayorı́a de los casos esto es bastante dificultoso. Esto indujo a encontrar
una caracterización infinitesimal de tales variedades, la cual facilite al menos en al-
gunos casos llegar a una conclusión sobre si una variedad es naturalmente reductiva
o no. En tal sentido, usando la caracterización infinitesimal de la homogeneidad de
una variedad Riemanniana dada por W. Ambrose e I. Singer en [AS], F. Tricerri y
L. Vanhecke probaron en [TV1] (ver también [TV2]) la siguiente caracterización.
Teorema 3.2. [TV1] Sea (M, g) una variedad Riemanniana simplemente conexa
y completa. Entonces (M, g) es un espacio homogéneo naturalmente reductivo si y
sólo si existe un campo tensorial T de tipo (1,2) tal que para todo x, y, z ∈ χ(M )
(campos C ∞ en M ) se satisface


 (i) g(Tx y, z) + g(y, Tx z) = 0



(AS) (ii) (∇x R)(y, z) = [Tx , R(y, z)] − R(Tx y, z) − R(y, Tx z)





(iii) (∇x T )y = [Tx , Ty ] − TTx y
(iv) Tx x = 0,
donde ∇ y R denotan la conexión de Levi-Civita y el tensor de curvatura de (M, g)

definido por R(x, y) = [∇x , ∇y ] − ∇[x,y] .
3. ESPACIOS NATURALMENTE REDUCTIVOS 15
˜ = ∇ − T entonces las condiciones (AS) pueden reescribirse de

Notar que si ∇
la siguiente manera. 
 ˜ =0
(i) ∇g




(AS) ˜ =0
(ii) ∇R




 ˜ = 0.
(iii) ∇T
Las condiciones (AS) son llamadas de Ambrose-Singer, y la existencia de un ten-
sor T cumpliendo dichas condiciones es equivalente a la homogeneidad de (M, g)
([AS]). Notar que (AS) generaliza la caracterización dada por Cartan para espacios
simétricos (∇R = 0). En dichos espacios el tensor T ≡ 0 satisface (AS).
Definición 3.3. Un tensor de tipo (1,2) cumpliendo (AS) se llama una es-
tructura homogénea, y si además cumple (iv) de Teorema 3.2 lo llamaremos una
estructura homogénea naturalmente reductiva.
La natural reductividad en grupos de Lie nilpotentes con una métrica invariante
a izquierda ha sido estudiada en [Go1] (ver también [K3] y [TV2]). En el Capı́tulo
III profundizaremos mucho más sobre este tema.
Teorema 3.4. [Go1] Todo grupo nilpotente (N, h, i) naturalmente reductivo es
a lo sumo 2-pasos nilpotente.
Teorema 3.5. [Go1] Sea (N, h, i) un grupo 2-pasos nilpotente sin factor Euclı́deo.
Entonces (N, h, i) es naturalmente reductivo si y sólo si
(i) Jz := {Ja }a∈z es una subálgebra de Lie de so(v, h, i).
(ii) τa ∈ so(z, h, i) para todo a ∈ z, donde τa : z → z está definida por Ja Jb −
Jb Ja = Jτa b para todo a, b ∈ z.
Notar que (ii) es equivalente a que Ja se extiende mediante τa a un elemento
de k , i.e. a una derivación antisimétrica de n (ver (1.5)).
Teorema 3.6. [K3] Un grupo de tipo-H es naturalmente reductivo si y sólo si
dim z = 1 o dim z = 3 y v es isotı́pico.
En [TV2] se da una prueba alternativa de Teorema 3.6 usando Teorema 3.2. A
continuación, daremos una prueba alternativa de la descripción de grupos 2-pasos
nilpotentes (N, h, i) naturalmente reductivos dada por C. Gordon (Teorema 3.5),
usando también la teorı́a de estructuras homogéneas.
Prueba alternativa de Teorema 3.5. Sea (N, h, i) un grupo 2-pasos nilpotente sin
factor euclı́deo. Denotemos por ρ el tensor de Ricci de (N, h, i) . Recordemos que
(ver §2) si x, y ∈ v y a, b ∈ z entonces
 
 ∇x y = 21 [x, y]  ρ(x, y) = hS1 x, yi
∇a x = ∇x a = − 21 Ja x ρ(a, x) = 0
 
∇a b = 0 ρ(a, b) = hS2 a, bi
donde S1 , S2 son transformaciones simétricas definidas negativa y positiva de v y
de z respectivamente.
Supongamos primero que (N, h, i) es naturalmente reductivo. Por Teorema 3.2
existe entonces un tensor T de tipo (1,2) cumpliendo las condiciones (AS) y además
Tx x = 0 para todo x ∈ χ(N ). Como (N, h, i) es un grupo de Lie con una métrica
invariante a izquierda, esto nos permite trabajar sólo con campos invariantes a
izquierda, i.e. en el álgebra de Lie n de N .
La condición (AS),(ii) dice que ∇R = T R, luego es claro que ∇ρ = T ρ. En-
tonces, si x ∈ v y a, b ∈ z con S2 b = λb, se cumple
(∇a ρ)(x, b) = (Ta ρ)(x, b)
ρ(∇a x, b) + ρ(x, ∇a b) = ρ(Ta x, b) + ρ(x, Ta b)
0 = λhTa x, bi + hS1 x, Ta bi
0 = −λhx, Ta bi + hS1 x, Ta bi
0 = h(S1 − λI)x, Ta bi.

Puesto que λ > 0 (ya que S2 es definida positiva) y S1 es definida negativa, tenemos
que (S1 − λI) es inversible, luego Ta b ∈ z para todo a ∈ z y todo b ∈ z autovector
de S2 . Eligiendo una base de z formada por autovectores de S2 , por linealidad
obtenemos
Ta b ∈ z ∀ a, b ∈ z. (1.8)
De (AS),(i) se sigue que Ta ∈ so(n, h, i), luego también de debe cumplir que
Ta x ∈ v ∀ a ∈ z, x ∈ v. (1.9)
Notar que cualquier estructura homogénea sobre (N, h, i) debe satisfacer (1.8) y
(1.9), puesto que no hemos usado aún (iv) de Teorema 3.2.
Ahora, usando nuevamente que ∇ρ = T ρ y además (iv) de Teorema 3.2, para
x, y ∈ v, a ∈ z con S2 a = λa, se tiene
(∇x ρ)(y, a) = (Tx ρ)(y, a)
ρ(∇x y, a) + ρ(y, ∇x a) = ρ(Tx y, a) + ρ(y, Tx a)
1
2 h[x, y], S2 ai − 21 hS1 y, Ja xi = hTx y, S2 ai + hS1 y, Tx ai
1
2 hJS2 a x, yi − 12 hS1 Ja x, yi = −hTx S2 a, yi + hS1 Tx a, yi
h 12 λJa x − 12 S1 Ja x, yi = hλTa x − S1 Ta x, yi,

luego
1
(λI − S1 )Ja x = (λI − S1 )Ta x ∀ x ∈ v, a ∈ z con S2 a = λa.
2
Como (λI −S1 ) es inversible, usando el mismo argumento que para (1.8), obtenemos
que
1
Ta x = Ja x ∀ a ∈ z, x ∈ v. (1.10)
2
Por (AS),(iii) sabemos que ∇T = T T , luego para x, y ∈ v, a ∈ z tenemos
(∇a T )x y = (Ta T )x y
∇a Tx y − T∇a x y − Tx ∇a y = Ta Tx y − TTa x y − Tx Ta y.
Luego, multiplicando escalarmente por b ∈ z y usando (1.8),(1.9),(1.10) y (iv) de

Teorema 3.2 obtenemos
1
2 hTJa x y, bi + 12 hTx Ja y, bi = hTa Tx y, bi − 12 hTJa x y, bi − 21 hTx Ja y, bi
1
2 hy, Tb Ja xi + 12 hJa y, Tb xi = hy, Tx Ta bi − 12 hy, Tb Ja xi − 21 hJa y, Tb xi
1
4 hJb Ja x, yi − 14 hJa Jb x, yi = − 12 hJTa b x, yi − 14 hJb Ja x, yi + 14 hJa Jb x, yi.
Esto implica que para todo a, b ∈ z se cumple
1 1 1 1 1
Jb Ja − Ja Jb = − JTa b − Jb Ja + Ja Jb ,
4 4 2 4 4
es decir
Ja Jb − Jb Ja = JTa b ∀ a, b ∈ z. (1.11)
Luego Jz es una subálgebra de Lie de so(v, h, i) y como τa b = Ta b, de (AS),(i) se
sigue que τa ∈ so(z, h, i).
Recı́procamente, si (i) y (ii) del teorema se cumplen, no es difı́cil verificar que

el tensor (1,2) definido por

 Tx y = 12 [x, y]
Ta x = −Tx a = 12 Ja x ∀ x, y ∈ v, a, b ∈ z

Ta b = τa b
es una estructura homogénea naturalmente reductiva sobre (N, h, i) . Luego (N, h, i)
es naturalmente reductivo por Teorema 3.2, lo cual concluye la prueba. ¤
En el siguiente teorema mostraremos, usando Teorema 3.5, que en grupos 2-

pasos nilpotentes naturalmente reductivos no tenemos el problema de ambiguedad
respecto de los diferentes grupos transitivos y descomposiciones mencionado de-
spués de Definición 3.1.
Teorema 3.7. Sea (N, h, i) un grupo 2-pasos nilpotente sin factor euclı́deo.
Entonces (N, h, i) es naturalmente reductivo si y sólo si lo es con respecto a su
grupo de isometrı́as G = I(N, h, i) y de la descomposición g = k ⊕ m con
m = {x + a + Da : x ∈ v, a ∈ z},
donde Da es el elemento de k tal que Da |v = Ja , Da |z = τa .
Prueba. Supongamos primero que (N, h, i) es naturalmente reductivo. Puesto que
g = k ⊕ n, es fácil ver que g = k ⊕ m es una suma directa de espacios vectoriales.
Notar que si D ∈ k, entonces [D, x] = Dx para todo x ∈ n, y luego si ϕ ∈ K,
Ad(ϕ)x = ϕx para todo x ∈ n.
Veamos que m es Ad(K)-invariante. Si ψ ∈ K y x + a + Da ∈ m entonces
Ad(ψ)(x + a + Da ) = ψx + ψa + ψDa ψ −1 .
Como ψJa ψ −1 = Jψa (ver (1.4)) tenemos también que ψτa ψ −1 = τψa , luego
ψDa ψ −1 = Dψa y entonces Ad(K)m ⊂ m.
Probemos ahora que se cumple la condición (1.7) de natural reductividad re-
specto de esta descomposición. Si denotamos por h, ie el producto interno determi-
nado por la métrica en m entonces es fácil ver que hx + D, y + D0 ie = hx, yi para
todo x, y ∈ n, D, D0 ∈ k. Luego para todo x, y, z ∈ v, a, b.c ∈ z, tenemos

h[x + a + Da , y + b + Db ]m , z + c + Dc ie =
= h([x, y] − Jb x − τb a + Ja y + τa b + [Da , Db ])m , z + c + Dc ie
= h[x, y] − Jb x + Ja y + 2τa b, z + ci
= hJc x, yi − hJb x, zi + hJa y, zi + 2hτa b, ci
= hy, Jc xi − hy, Ja zi − hJb x, zi − 2hb, τa ci
= −hy + b, [x, z] − Jc x + Ja z + 2τa ci
= −hy + b + Db , ([x, z] − Jc x + Ja z + 2τa c + [Da , Dc ])m ie
= −hy + b + Db , [x + a + Da , z + c + Dc ]ie .
Esto prueba (1.7). Concluye ası́ la prueba, pues la recı́proca es obvia. ¤
Las estructuras homogéneas naturalmente reductivas son también llamadas es-

tructuras homogéneas de clase T3 (ver [TV1],[P],[ChG1],[ChG2] para más infor-
mación sobre las diferentes clases de estructuras homogéneas).
En [TV1] se estudia la abundancia de estructuras homogéneas de clase τ3 en
variedades de dimensión 3. Se determinan todas las estructuras homogéneas en
el grupo de Heisenberg 3-dimensional, obteniendo que están parametrizadas por
{Tµ : µ ∈ R}, y que Tµ es de clase τ3 si y sólo si µ = 12 .
D. Chinea y C. González dan en [ChG2] una caracterización de las estructuras
homogéneas sobre el grupo de Heisenberg (2p+1)-dimensional Hp . En dicho trabajo
se exhibe una gran familia de ejemplos parametrizada por
{T (r, s, t1 , ..., tp ) : r, s, ti ∈ R}.
Análogamente al caso p = 1 uno tiene que T (r, s, t1 , ..., tp ) es de clase T3 si y sólo
si r = s = 0 y t1 = ... = tp = 21 .
Las estructuras homogéneas sobre el grupo de Heisenberg generalizado H(1, r)
están también caracterizadas (ver [ChG1]), y estos grupos no admiten ninguna
estructura homogénea de clase T3 .
Concluyendo esta sección, estudiaremos el conjunto de todas las estructuras
homogéneas de clase T3 en un grupo nilpotente (N, h, i) dado. Probaremos que si
(N, h, i) no tiene factor euclı́deo entonces admite a lo sumo una estructura de clase
T3 , generalizando ası́ los resultados parciales en grupos de Heisenberg menciona-
dos arriba. Se sigue de Teorema 3.2 que (N, h, i) es naturalmente reductivo si y
sólo si existe sobre (N, h, i) una estructura homogénea de clase T3 (o naturalmente
reductiva). Luego si (N, h, i) tiene una estructura homogénea de clase T3 entonces
N es a lo sumo 2-pasos nilpotente por Teorema 3.4.
Teorema 3.8. Sea (N, h, i) un grupo 2-pasos nilpotente sin factor euclı́deo
naturalmente reductivo. Entonces el tensor T de tipo (1,2) definido por

 Tx y = 21 [x, y]
Ta x = −Tx a = 12 Ja x ∀ x, y ∈ v, ∀ a, b ∈ z

Ta b = τa b
es la única estructura homogénea de clase T3 sobre (N, h, i) .
Prueba. Es fácil chequear que T es una estructura homogénea de clase T3 . Sea T 0

otra estructura homogénea de clase T3 sobre (N, h, i) . En la prueba de Teorema
3.5 (ver (1.10) y (1.11)) obtuvimos que
 0
 Ta x = 21 Ja x
∀ x ∈ v, a, b ∈ z
 0
Ta b = τa b.
Usando que ∇ρ = T 0 ρ, para x, y ∈ v, a ∈ z con S2 a = λa, se tiene

(∇x ρ)(y, a) = (Tx0 ρ)(y, a)
ρ(∇x y, a) + ρ(y, ∇x a) = ρ(Tx0 y, a) + ρ(y, Tx0 a)
1
2 h[x, y], S2 ai − 12 hS1 y, Ja xi = hTx0 y, S2 ai + hS1 y, Tx0 ai
λh 12 [x, y], ai − 12 hS1 y, Ja xi = λhTx0 y, ai − 12 hS1 y, Ja xi
λh 12 [x, y], ai = λhTx0 y, ai
λh 12 [x, y], ai = λhTx0 y, ai,
luego
1
(Tx0 y)z = [x, y] ∀ x, y ∈ v. (1.12)
2
Hemos obtenido entonces que
 0
 Tx y = Tx y + Tx1 y
T 0 x = Ta x ∀ x, y ∈ v, ∀ a, b ∈ z
 a0
Ta b = Ta b,
donde T 1 : v × v → v es una función bilineal y antisimétrica. El resto de la prueba

consistirá en mostrar que T 1 ≡ 0.
Podemos ver a T 1 como un tensor (1,2) extendiéndolo trivialmente, y entonces
T = T + T 1 . Usando que ∇T 0 = T 0 T 0 (ver (AS),(iii)) obtenemos que
0
∇T + ∇T 1 = T T + T T 1 + T 1 T + T 1 T 1 ,
pero como también ∇T = T T entonces para x, y ∈ v, a ∈ z nos queda

(∇x T 1 )y a = (Tx T 1 )y a + (Tx1 T )y a + (Tx1 T 1 )y a
−Ty1 ∇x a = −Ty1 Tx a + Tx1 Ty a − TTx1 y a
1 1
2 Ty Ja x = 21 Ty1 Ja x − 12 Tx1 Ja y + 12 Ja Tx1 y
lo que implica que
Tx1 Ja = Ja Tx1 ∀ x ∈ v, a ∈ z. (1.13)

Para x, y, z ∈ v obtenemos
(∇x T 1 )y z = (Tx T 1 )y z + (Tx1 T )y z + (Tx1 T 1 )y z
∇x Ty1 z = Tx Ty1 z − TTx1 y z − Ty Tx1 z + Tx1 Ty1 z − TT1 1 y z − Ty1 Tx1 z

x
1 1
2 [x, Ty z] = 12 [x, Ty1 z] − 12 [Tx1 y, z] − 12 [y, Tx1 z] + Tx1 Ty1 z − TT1 1 y z − Ty1 Tx1 z
x
y como todos los corchetes están en z entonces

TT1x1 y = Tx1 Ty1 − Ty1 Tx1 ∀ x, y ∈ v. (1.14)
Como T 1 es bilineal y antisimétrica, se sigue de (1.14) que [x, y]1 := Tx1 y define
una estructura de álgebra de Lie en v . Además tenemos que Tx1 = ad x, donde ad
denota la representación adjunta de (v, [, ]1 ). Luego, por (AS),(i), ad x ∈ so(v, h, i)
para todo x ∈ v. Esto implica que existe una descomposición ortogonal v = v0 ⊕ c
con v0 un ideal semisimple compacto y c el centro de v . Descomponemos a v0 como
suma ortogonal de ideales simples v0 = v1 ⊕ ... ⊕ vr .
De (1.13) se sigue que Ja ad x = ad xJa para todo x ∈ v, a ∈ z, y puesto que
v2 ⊕ ...vr ⊕ c = ∩x∈v1 Ker(ad x),
entonces Ja debe preservar el ideal v1 para todo a ∈ z.
Condideremos ahora la compexificación de v1 , i.e. el espacio vectorial com-
plejo (v1 )C := v1 ⊗R C. Las transformaciones ad x y Ja se extienden naturalmente
a (v1 )C y siguen conmutando entre sı́. Además las transformaciones {ad x}x∈v1
actúan también irreduciblemente en (v1 )C , pues como v1 es un álgebra de Lie sim-
ple compacta también el álgebra de Lie compleja (v1 )C es simple.
Luego, por el Lema de Schur, Ja = cI con c ∈ C en (v1 )C , pero como Ja v1 ⊂ v1
entonces c ∈ R. Usando ahora que Ja es antisimétrica obtenemos que Ja |v1 ≡ 0
para todo a ∈ z. Esto implica que v1 está contenido en el centro z de n (ver (1.2)),
lo cual es una contradicción.
Luego v0 = 0, i.e. que en realidad (v, [, ]1 ) es un álgebra de Lie abeliana, o lo
que es lo mismo, T 1 ≡ 0. ¤
4. Espacios Riemannianos g.o.

Es bien sabido que que en una variedad naturalmente reductiva M , las geodésicas
pasando por el punto p ∈ M elegido (ver Definición 3.1) son todas de la forma
γ(t) = exp tx.p, con x ∈ m, i.e. órbitas de subgrupos monoparamétricos de
isometrı́as (ver [KN],p.192,196,201). Como G es transitivo, si q ∈ M entonces
existe g ∈ G tal que g(p) = q; luego las geodésicas por q son todas de la forma
g(γ(t)) = g.(exp tx.p) = (g exp txg −1 ).g(p) = exp t Ad(g)x.q.
Esto implica que los espacios naturalmente reductivos pertenecen a la clase de
variedades que definimos a continuación.
Definición 4.1. Una variedad Riemanniana M se dice un espacio Riemanni-
ano g.o. si toda geodésica es la órbita de un subgrupo monoparamétrico de I(M ),
el grupo de isometrı́as de M .
En [AS] se prueba incorrectamente que ambas nociones coinciden. A. Kaplan
presentó en [K3] el primer ejemplo de un espacio Riemanniano g.o. que no es
naturalmente reductivo.
4. ESPACIOS RIEMANNIANOS G.O. 21
Proposición 4.2. Todo espacio Riemanniano g.o. es homogéneo.

Prueba. Sea M un espacio g.o.. Como las geodésicas de M son órbitas de subgrupos
monoparamétricos de G = I(M ), se tiene que están definidas en todo R. Luego
M es completo. Dados p, q ∈ M tomamos una geodésica γ tal que γ(0) = p y
γ(1) = q. Si denotamos por g el álgebra de Lie de G, como M es g.o. existe x ∈ g
tal que γ(t) = exp tx.p para todo t ∈ R. Tomamos f = exp x ∈ G y entonces
f (p) = exp x.p = γ(1) = q. Luego M es homogéneo. ¤
El ejemplo de un espacio Riemanniano g.o. que no es naturalmente reductivo

encontrado por Kaplan es el grupo de tipo-H de dimensión 6. Luego C. Riehm
clasifica en [Ri2] los grupos de tipo-H que son Riemannianos g.o. (ver Teorema 4.3),
obteniendo más ejemplos (comparar con Teorema 3.6). En [KV3] se clasifican todos
los espacios Riemannianos g.o. que no son naturalmente reductivos en dimension ≤
6, y dentro de los grupos nilpotentes se obtienen sólo grupos de tipo-H modificados,
los cuales serán estudiados extensamente en el Capı́tulo II.
Teorema 4.3. [Ri2] Un grupo de tipo-H es un espacio Riemanniano g.o. si y
sólo si
dim z = 1, 2, 3,
dim z = 5 y dim v = 8
dim z = 7, dim v = 8, 16, 24 y v isotı́pico.
Estudiaremos ahora la noción de espacio Riemanniano g.o. en los grupos nilpo-
tentes con una métrica invariante a izquierda. Para esto, introduciremos los llama-
dos vectores geodésicos y algunas de sus propiedades dadas en [KV3].
Sea M = G/K una variedad Riemanniana homogénea con G la componente
conexa de la identidad de I(M ) y K el subgrupo de isotropı́a de G en algún punto
p ∈ M . Tomamos g = k ⊕ m una descomposición reductiva de g, i.e. Ad(K)m ⊂ m.
Luego podemos identificar m con Tp M via x −→ ddt |0 exp tx.p y denotamos por h, i
al producto interno inducido sobre m por la métrica Riemanniana de M .
Definición 4.4. Un vector x ∈ g − {0} se llama un vector geodésico si la curva
γ(t) = exp tx.p es una geodésica en G/K.
Se puede ver fácilmente de la definición que los espacios Riemannianos g.o.
están caracterizados de la siguiente manera.
Proposición 4.5. Una variedad Riemanniana homogénea M = G/K es un
espacio Riemanniano g.o. si y sólo si todo vector de m es la proyección de un
vector geodésico.
Los vectores geodésicos están descriptos por la siguiente proposición.
Proposición 4.6. [KV3] Un vector x ∈ g − {0} es geodésico si y sólo si
h[x, y]m , xm i = 0 ∀ y ∈ g,
donde xm denota la proyección de x sobre m respecto de la descomposición g = k⊕m.
Estamos en condiciones ahora de dar una descripción de los grupos nilpotentes
que son espacios Riemannianos g.o..
Proposición 4.7. Un grupo de Lie nilpotente (N, h, i) es un espacio Rieman-

niano g.o. si y sólo si para todo x ∈ n existe A ∈ k tal que
h[x, y], xi = hAx, yi ∀ y ∈ n.
Prueba. Tenemos en este caso que N = G/K0 con G = K0 × N (ver §2), luego
una descomposición reductiva es g = k ⊕ n con k = Der(n) ∩ so(n, h, i). Notar que
[A, x] = Ax para todo A ∈ k, x ∈ n. De Proposición 4.5 se sigue que (N, h, i) es un
espacio g.o. si y sólo si para todo x ∈ n existe A ∈ k tal que A + x es un vector
geodésico. Usando Proposición 4.6 obtenemos que A + x es un vector geodésico si
y sólo si se cumple cualquiera de las siguientes condiciones equivalentes:
h[A + x, B + y]n , (A + x)n i = 0 ∀ B ∈ k, y ∈ n,
hAy − Bx + [x, y], xi = 0 ∀ B ∈ k, y ∈ n,
hAy, xi + h[x, y], xi = 0 ∀ y ∈ n,
h[x, y], xi = hAx, yi ∀ y ∈ n,

lo cual concluye la prueba de la proposición. ¤
La anterior descripción nos permite generalizar el resultado del Teorema 3.4

para espacios Riemannianos g.o..
Teorema 4.8. Todo grupo nilpotente (N, h, i) que es un espacio Riemanniano
g.o. es a lo sumo 2-pasos nilpotente.
Prueba. Supongamos que (N, h, i) es un espacio g.o. con N r-pasos nilpotente y
r ≥ 3. Sea n = v1 ⊕ ... ⊕ vr la descomposición ortogonal de n tal que n(1) := [n, n] =
v2 ⊕ ... ⊕ vr , n(2) := [n, [n, n]] = v3 ⊕ ... ⊕ vr ,...,n(r−1) = vr .
Sea x = x1 + x2 + x3 con xi ∈ vi , por Proposición 4.7 existe A ∈ k tal que
h[x, y], xi = hAx, yi, ∀ y ∈ n.
En particular si y = x1 obtenemos
h[x2 , x1 ] + [x3 , x1 ], x1 + x2 + x3 i = hAx1 + Ax2 + Ax3 , x1 i.
Como A es una derivación antisimétrica de (n, h, i) entonces A debe preservar los
vi , luego
h[x2 , x1 ] + [x3 , x1 ], x1 + x2 + x3 i = 0 ∀ x1 , x2 , x3 (xi ∈ vi ),
(4) (3)
pero [x3 , x1 ] ∈ n = v4 ⊕ ... ⊕ vr y [x2 , x1 ] ∈ n = v3 ⊕ ... ⊕ vr , por lo tanto
h[x1 , x2 ], x3 i = 0 ∀ x1 , x2 , x3 (xi ∈ vi ).
Esto nos dice que [v1 , v2 ] ⊂ v4 ⊕ ... ⊕ vr , y entonces
v3 ⊕ ... ⊕ vr = [n, [n, n]] = [v1 ⊕ ... ⊕ vr , v2 ⊕ ... ⊕ vr ]
= [v1 , v2 ⊕ ... ⊕ vr ] + [v2 ⊕ ... ⊕ vr , v2 ⊕ ... ⊕ vr ]
⊂ v4 ⊕ ... ⊕ vr ,
lo cual es una contradicción. Luego r ≤ 2, concluyendo ası́ la prueba. ¤
5. ESPACIOS DÉBILMENTE SIMÉTRICOS 23
Para terminar esta sección, daremos en el siguiente teorema una condición

algebraica necesaria y suficiente para que un grupo 2-pasos nilpotente con una
métrica invariante a izquierda sea Riemanniano g.o..
Teorema 4.9. Un grupo 2-pasos nilpotente (N, h, i) es un espacio Riemanniano
g.o. si y sólo si para todo x + a ∈ n con x ∈ v, a ∈ z, existe A ∈ k tal que Ax = Ja x
y Aa = 0.
Prueba. Por Proposición 4.7 tenemos que un grupo 2-pasos (N, h, i) será un espacio
g.o. si y sólo si para todo x + a ∈ n (x ∈ v, a ∈ z) existe A ∈ k tal que
h[x + a, y + b], x + ai = hAx + Aa, y + bi ∀ y ∈ v, b ∈ z,
lo cual es equivalente a
hJa x, yi = hAx, yi + hAa, bi ∀ y ∈ v, b ∈ z.
Poniendo b = 0 obtenemos Ax = Ja x y con y = 0 se sigue que Aa = 0. ¤
Nota 4.10. Los resultados de Teorema 4.8 y Teorema 4.9 fueron obtenidos
primeramente por C. Gordon en [Go3], en forma independiente.
5. Espacios débilmente simétricos

En 1956 A. Selberg introduce los espacios débilmente simétricos en [S], el tra-
bajo donde desarrolla la fórmula de la traza que ahora lleva su nombre.
Definición 5.1. Un espacio débilmente simétrico es una variedad Riemanniana
en la cual todo par de puntos puede ser intecambiado por una isometrı́a.
Esta no es la definición original dada por Selberg, pero es equivalente (ver
[BV]).
Teorema 5.2. [BV] Todo espacio débilmente simétrico es un espacio Rieman-
niano g.o..
La recı́proca es falsa, el grupo de tipo-H con dim z = 7, dim v = 24 y v isotı́pico
es un contraejemplo (ver Teorema 4.3 y el siguiente), y era el único ejemplo conocido
hasta el momento.
Teorema 5.3. [BRV] Un grupo de tipo-H es débilmente simétrico si y sólo si
dim z = 1, 2, 3,
dim z = 7, dim v = 8, 16 y v isotı́pico.
En Capı́tulo II daremos nuevos ejemplos de espacios Riemannianos g.o. que no
son débilmente simétricos en la clase de grupos de tipo-H modificados, en dimen-
siones 7,11,15, etc.
También algunos grupos de tipo-H proveen ejemplos de espacios débilmentes
simétricos que no son naturalmente reductivos (ver Teoremas 3.6 y 5.3). En
Capı́tulo III clasificaremos los grupos 2-pasos naturalmente reductivos irreducibles
(i.e. Jz actúa irreduciblemente en V ) que son débilmente simétricos, obteniendo
los primeros ejemplos de espacios naturalmente reductivos que no son débilmente
simétricos.
Los grupos nilpotentes (N, h, i) que son débilmente simétricos están caracteri-
zados por el siguiente teorema.
Teorema 5.4. Un grupo de Lie nilpotente (N, h, i) es débilmente simétrico si

y sólo si para todo x ∈ n existe ϕ ∈ K tal que ϕx = −x.
Prueba. Como N es simplemente conexo, no haremos distinción entre un auto-
morfismo de N y su derivada en la identidad, la cual es un automorfismo de n .
Debemos probar entonces que (N, h, i) es débilmente simétrico si y sólo si para todo
n ∈ N existe f ∈ K tal que f (n) = n−1 .
Supongamos primero que (N, h, i) es débilmente simétrico. Si n ∈ N entonces
existe g ∈ I(N, h, i) tal que g(e) = n y g(n) = e (e la identidad de N ). Puesto que
I(N, h, i) = K × N , existen f ∈ K y p ∈ N tales que g = f ◦ lp , donde lp denota la
traslación a izquierda por p. Luego f (p) = n, f (pn) = e, y entonces f (n) = n−1 .
Recı́procamente si n, p ∈ N , entonces existe f ∈ K tal que f (n−1 p) = p−1 n.
Poniendo q = f −1 (p)n−1 y g = f ◦ lq obtenemos que
g(n) = f (qn) = p, g(p) = f (qp) = f (f −1 (p)n−1 p) = pf (n−1 p) = n,
lo cual concluye la prueba. ¤
6. Espacios conmutativos
I.M. Gelfand probó en [G] (ver también [H2, p.396]) que en un espacio simétrico
M = G/K (con G = I0 (M )) los operadores diferenciales G-invariantes conmutan.
Dicha propiedad motiva la siguiente definición.
Definición 6.1. Un espacio conmutativo es una variedad homogénea M donde
el álgebra de operadores diferenciales de M invariantes por I0 (M ) es conmutativa,
donde I0 (M ) denota la componente conexa de la identidad de I(M ).
En un trabajo reciente Y. Mau [Ma] probó que si los operadores diferenciales
de una variedad M invariantes por isometrı́as conmutan entonces M debe ser ho-
mogénea. Esto implica que se puede sacar la palabra homogénea de la definición de
un espacio conmutativo.
Se debe notar que la conmutatividad de una variedad M es definida a veces re-
specto del grupo completo de isometrı́as I(M ). Es claro que, si los operadores difer-
enciales I0 (M )-invariantes conmutan entonces los I(M )-invariantes también, pero
se desconoce si la recı́proca es cierta. Sin embargo, en varias clases de variedades
homogéneas, se sabe que ambas nociones coinciden. Por ejemplo, para espacios
simétricos (ver [H2]), variedades naturalmente reductivas simplemente conexas de
dimensión ≤ 5 (ver [KPV]), y para grupos 2-pasos nilpotentes con una métrica
invariante a izquierda (ver [BJR2]).
En [J] se dan los primeros ejemplos de espacios naturalmente reductivos que no
son conmutativos. En Capı́tulo III daremos la clasificación de los grupos 2-pasos
naturalmente reductivos irreducibles que son conmutativos, obteniendo una gran
cantidad de nuevos ejemplos. Los grupos de tipo-H proveen ejemplos de espacios
conmutativos que no son naturalmente reductivos (ver Teoremas 3.6 y 6.3).
Teorema 6.2. [S] Todo espacio débilmente simétrico M es un espacio conmu-
tativo (con respecto a I(M )).
En [S] Selberg observa que no sabe si la recı́proca de este teorema vale. Algunos
trabajos donde este problema se plantea son, [BTV] §2.4, [BV] §2, [KPV] §5, y
[BRV]. En este último se estudia dicho problema para los grupos de tipo-H. La
recı́proca del Teorema 6.2 no es cierta, en Capı́tulo II daremos los primeros ejemplos
6. ESPACIOS CONMUTATIVOS 25
de espacios conmutativos que no son débilmente simétricos, dentro de los grupos

de tipo-H modificados. Daremos más contraejemplos a la cuestión propuesta por
Selberg en Capı́tulo III, dentro de los grupos 2-pasos nilpotentes naturalmente
reductivos.
No se conocen ejemplos de espacios conmutativos que no sean espacios Rie-
mannianos g.o..
La conmutatividad en grupos de tipo-H ha sido estudiada en [KR] y [R].
Teorema 6.3. [R] Un grupo de tipo-H es un espacio conmutativo si y sólo si
dim z = 1, 2, 3,
dim z = 5 and dim v = 8
dim z = 6 and dim v = 8
dim z = 7, dim v = 8, 16 y v isotı́pico.
Luego los grupos de tipo-H no proveen ejemplos a la recı́proca del Teorema 6.2
(comparar con Teorema 5.3).
La conmutatividad en el contexto más general de grupos 2-pasos nilpotentes con

una métrica invariante a izquierda está fuertemente relacionada con la noción de par
de Gelfand, la cual ha sido extensamente estudiada por C. Benson, J. Jenkins and
G. Ratcliff en [BJR1], [BJR2] (ver también [Ki],[BJLR]). Antes de desarrollar
los resultados de estos trabajos, el siguiente lema nos dará la relación entre la
conmutatividad de operadores diferenciales invariantes y la de funciones integrables
invariantes.
Lema 6.4. Sea (N, h, i) un grupo nilpotente y denotemos por I0 (N ), K0 las com-
ponentes conexas de I(N, h, i), K respectivamente. Entonces las siguientes condi-
ciones son equivalentes.
(i) El álgebra D(I0 (N )/K0 ) de operadoes diferenciales I0 (N )-invariantes so-
bre N = I0 (N )/K0 es conmutativa (i.e. (N, h, i) es un espacio conmuta-
tivo).
(ii) El álgebra de convolución L1 (I0 (N )//K0 ) de funciones integrables sobre
I0 (N ) que son bi-invariantes por K0 es conmutativa (i.e. (I0 (N ), K0 ) es
un par de Gelfand en el sentido usual [GV]).
(iii) El álgebra de convolución L1K0 (N ) de funciones integrables sobre N que
son invariantes por la acción de K0 es conmutativa.
Prueba. (i) ⇔ (ii) Este resultado es un ejercicio en [H2] (ver Exercise B13, ch. IV,
p.485), cuya solución se encuentra en p. 584 del mismo libro. Parte (ii) ⇒ (i) está
en [H1] y parte (i) ⇒ (ii) fue notada independientemente en [T].
(ii) ⇔ (iii) Probaremos que las álgebras de convolución L1 (I0 (N )//K0 ) y L1K0 (N )
son isomorfas, lo cual concluirá la prueba del lema. Puesto que
I0 (N ) = K0 × N,
tenemos que para todo x ∈ I0 (N ) existen únicos n ∈ N , k ∈ K0 tales que x = nk,
i.e. I0 (N ) = N K0 . Si dn y dk son medidas de Haar (invariantes a izquierda) sobre
N y K0 respectivamente, entonces la medida de Haar dx sobre I0 (N ) puede ser
normalizada de tal forma que (ver [GV], p. 70)
| det Adk (k)|
dx = dndk (x = nk).
| det Ad(k)|
Puesto que K0 es compacto obtenemos que dx = dndk, i.e. para toda f ∈ L1 (I0 (N ))
se cumple
Z Z Z
f (x) dx = f (nk) dkdn. (1.15)
I0 (N ) N K0
Ahora, usando (1.15), es fácil chequear que la función de restricción

Φ : L1 (I0 (N )//K0 ) −→ L1K0 (N ), f −→ f |N ,
es una biyección bien definida. Además si n0 ∈ N y f, g ∈ L1 (I0 (N )//K0 ) entonces
R
Φ(f ∗ g)(n0 ) = f ∗ g(n0 ) = I0 (N ) f (x)g(x−1 n0 ) dx
R R
= N K0
f (nk)g(k −1 n−1 n0 ) dkdn
R R
= N K0
f (n)g(n−1 n0 ) dkdn
R
= vol(K0 ) N
f (n)g(n−1 n0 ) dn = vol(K0 )(Φ(f ) ∗ Φ(g))(n0 ).
Entonces, si normalizamos dk tal que vol(K0 ) = 1, obtenemos que Φ es un homo-
morfismo de álgebras de convolución. ¤
Introducimos ahora la notación de [BJR1] y [BJR2].

Definición 6.5. Sea N un grupo de Lie nilpotente y K un subgrupo compacto
de Aut(N ). Diremos que (K, N ) es un par de Gelfand si el álgebra de convolución
L1K (N ) de funciones intergrables sobre N invariantes por la acción de K es conmu-
tativa.
Notar que con la definición más usual de par de Gelfand, y en vista de Lema
6.4, el par (K × N, K) es en realidad el par de Gelfand. Para más información
sobre este tema ver [GV] o [H2].
De Lema 6.4 obtenemos la siguiente caracterización para la conmutatividad de
grupos nilpotentes (N, h, i) .
Proposición 6.6. Un grupo nilpotente (N, h, i) es un espacio conmutativo si y
sólo si (K0 , N ) es un par de Gelfand, donde K es el subgrupo de isotropı́a del grupo
de isometrı́as de (N, h, i) .
El siguiente teorema entonces es el análogo a los resultados obtenidos por C.
Gordon para espacios naturalmente reductivos y Riemannianos g.o. (ver Teoremas
3.4 y 4.8).
Teorema 6.7. [BJR1] Si (K, N ) es un par de Gelfand entonces N es a lo
sumo 2-pasos nilpotente.
Es fácil ver que se puede sacar la hipótesis de conexidad en Lema 6.4 (ver
[BRV]), i.e. que el álgebra D(I(N )/K) de operadores diferenciales I(N, h, i)-invariantes
sobre N = I(N )/K es conmutativa si y sólo si L1K (N ) es conmutativa. Luego,
usando Lema 6.4 y Proposición 6.6, el siguiente resultado nos dice que en grupos
2-pasos nilpotentes (N, h, i) las nociones de I(N, h, i)-conmutatividad y de I0 (N, h, i)-
conmutatividad coinciden.
Teorema 6.8. [BJR2] Sea N un grupo 2-pasos nilpotente y K un subgrupo
compacto de Aut(N ). Entonces (K, N ) es un par de Gelfand si y sólo si (K0 , N )
lo es.
6. ESPACIOS CONMUTATIVOS 27
Corolario 6.9. Si un grupo 2-pasos nilpotente (N, h, i) es débilmente simétrico

entonces es un espacio conmutativo.
Introduciremos ahora una idea muy útil para trabajar con pares de Gelfand
sobre grupos 2-pasos nilpotentes, la cual es llamada localización. Dicha idea fue
introducida en [Ki] (ver también [BJR2]) y reduce de alguna manera el estudio a
cuando N es el grupo de Heisenberg.
Sea N un grupo 2-pasos nilpotente y K un subgrupo compacto de Aut(N ).
Fijamos un producto interno K-invariante en n . Para cada a ∈ z − {0}, consider-
amos el algebra na = va ⊕ Ra, donde va = {x ∈ v : [x, v] ⊥ a}⊥ = (Ker Ja )⊥ y el
corchete está definido por [x, y]a = h[x, y], aia para todo x, y ∈ va . Es claro que el
grupo simplemente conexo Na = exp na es isomorfo al grupo de Heisenberg o, en el
caso Ja = 0 (i.e. va = 0), Na es isomorfo a R. Además si Ka = {k ∈ K : ka = a},
entonces Ka ⊂ Aut(Na ).
Teorema 6.10. [Ki],[BJR2] Sea N un grupo 2-pasos nilpotente y K un sub-
grupo compacto de Aut(N ). Entonces (K, N ) es un par de Gelfand si y sólo si
(Ka , Na ) es un par de Gelfand para todo a ∈ z.
La siguiente es una caracterización puramente algebraica de los pares de Gelfand,
en ella no aparecen ni los operadores diferenciales ni las funciones integrables.
Teorema 6.11. [BJR1] Sea N un grupo 2-pasos nilpotente y K un subgrupo
compacto de Aut(N ). Entonces (K, N ) es un par de Gelfand si y sólo si para todo
n, p ∈ N , np ∈ (K.p)(K.n), donde K.n = {k.n : k ∈ K}.
Es fácil ver que la última condición es equivalente a la condición más simétrica
(K.x)(K.y) = (K.y)(K.x). Ahora, combinando estas dos últimas caracterizaciones
obtenemos la siguiente.
Proposición 6.12. Sea N un grupo 2-pasos nilpotente y K un subgrupo com-
pacto de Aut(N ). Entonces (K, N ) es un par de Gelfand si y sólo si para todo a ∈ z
y para todo x, y ∈ va existen ϕ, ϕ0 ∈ Ka tales que
½
x + y = ϕ0 y + ϕx
(1.16)
[x, y]a = [ϕ0 y, ϕx]a .
Prueba. Fijemos un elemento a en z − {0}. Usamos la función exponencial para
parametrizar los elementos del grupo de Lie Na = exp na por pares (x, ta) ∈ va ⊕Ra.
El producto en Na estará entonces dado por
1
(x, ta)(y, sa) = (x + y, (t + s)a + [x, y]a ). (1.17)
2
Por Proposición 6.11 tenemos que (Na , Ka ) es un par de Gelfand si y sólo si para
todo (x, ta), (y, sa) ∈ Na existen ϕ, ϕ0 ∈ Ka tales que (x, ta)(y, sa) = ϕ0 (y, sa)ϕ(x, ta).
Usando (1.17), esta última igualdad nos queda
1 1
(x + y, (t + s)a + [x, y]a ) = (ϕ0 y + ϕx, (t + s)a + [ϕ0 y, ϕx]a ),
2 2
lo cual es equivalente a (1.16). Hacemos esto para cada a ∈ z y entonces la prueba
sigue de Teorema 6.10. ¤
Usando esta última caracterización, daremos a continuación una condición su-

ficiente para que (K, N ) sea un par de Gelfand, la cual será muy útil en el Capı́tulo
II para analizar la conmutatividad en los grupos de tipo-H modificados.
Proposición 6.13. Sea N un grupo 2-pasos nilpotente y K un subgrupo com-

pacto de Aut(N ). Fijamos un producto interno K-invariante h, i en n. Supong-
amos que para cada elemento a ∈ z fijo existe una descomposición ortogonal va =
v1 ⊕... ⊕vr(a) y subgrupos U1 , ..., Ur(a) de Ka tales que para cada i el grupo Ui actúa
transitivamente sobre la esfera de vi y trivialmente sobre v⊥ i . Entonces (K, N ) es
un par de Gelfand.
Prueba. Fijemos un elemento a ∈ z − {0}. Sean x, y ∈ va y supongamos que se

escriben x = x1 + ... + xr(a) e y = y1 + ... + yr(a) con xi , yi ∈ vi . Si tomamos la
transformación ortogonal Si de Rxi +Ryi tal que Si (xi +yi ) = xi +yi y det Si = −1,
entonces se ve fácilmente que

 |Si xi | = |xi |, |Si yi | = |yi |
xi + yi = Si yi + Si xi (1.18)

[xi , yi ]a = [Si yi , Si xi ]a .
Puesto que Ui actúa transitivamente sobre la esfera de vi , existen ϕi , ϕ0i ∈ Ui tales

que ϕi xi = Si xi , ϕ0i yi = Si yi . Ahora, usando (1.18), es fácil chequear que los
elementos ϕ = ϕ1 ...ϕr(a) , ϕ0 = ϕ01 ...ϕ0r(a) de U1 ...Ur(a) satisfacen (1.16). Luego
(K, N ) es un par de Gelfand por Proposición 6.12. ¤
Daremos ahora, usando Proposición 6.13, una prueba alternativa de la conmu-

tatividad de algunos grupos de tipo-H (comparar con [KR] y [R] y ver Teorema
6.3).
Corolario 6.14. Los grupos de tipo-H (N, h, i) con dim z = 1, 2, 3 y v arbi-

trario y aquéllos con dim z = 5, 6, 7 y dim v = 8 son espacios conmutativos.
Prueba. Usaremos en todos los casos Proposición 6.13, por lo tanto sólo daremos
en cada caso la descomposición va = v1 ⊕ ... ⊕ vr(a) y los subgrupos U1 , ..., Ur(a)
de Ka con las propiedades correspondientes. Notar que para todo grupo de tipo-H
va = v para todo a ∈ z − {0}, pues Ja es inversible. Denotemos por U el subgrupo
de K que actúa trivialmente en z , luego U ⊂ Ka para todo a ∈ z.
-dim z = 1, 2. Está probado en [Ri1] que U actúa transitivamente en la esfera de v

, luego podemos tomar v = v1 y U1 = U para todo a ∈ z.
-dim z = 3. Sea v = v1 ⊕v2 la decomposición de v en Cl(3)-módulos no equivalentes.

Entonces U ' Sp( dim4 v1 ) × Sp( dim4 v2 ) y cada Sp( dim4 vi ) actúa trivialmente en v⊥
i
(ver [Ri1]). Podemos tomar entonces Ui = Sp( dim4 vi ) para todo a ∈ z.
1
-dim z = 5, 6, 7, dim v = 8. Sea a ∈ z − {0} y sea { |a| a, a2 , ..., am } una base
ortonormal de (z, h, i) con m = dim z. Si A es la subalgebra de Cl(7) generada
por {ai aj : 2 ≤ i, j ≤ 5} entonces A ' Cl(4)+ , luego v = v1 ⊕ v2 donde los
vi son A-modules simples no equivalentes (ver [Ri2], Proposition 1 para p = 2).
Sea K el subgrupo de Lie conexo de Spin(7) con álgebra de Lie A. Puesto que
A ' Cl(4)+ ' Cl(3) ' H ⊕ H, tenemos K ' Spin(4) ' Sp(1) × Sp(1). Luego
sobre cada vi una de las dos copias de Sp(1) debe actuar trivialmente, ya que
dim vi = 4. Pero como la acción de Cl(4) sobre v es fiel, una copia de Sp(1)
debe actuar trivialmente sobre v1 y la otra sobre v2 . Podemos tomar entonces los
subgrupos U1 , U2 ⊂ K isomorfos a dichas copias de Sp(1). ¤
7. ESPACIOS DE D’ATRI 29
7. Espacios de D’Atri
Los espacios simétricos están caracterizados como variedades Riemannianas
cuyas simetrı́as geodésicas son isometrı́as globalmente definidas. Luego es claro
que tales espacios forman una subclase de los definidos de la siguiente manera.
Definición 7.1. Una variedad Riemanniana M se dice ser un espacio de D’Atri

si las simetrı́as geodésicas locales preservan el elemento de volumen de M (salvo
signo).
Esta clase de variedades fue introducida por J. D’Atri y H. Nickerson en [DN].

Para un tratamiento muy completo de los espacios de D’Atri ver [KPV]. Todas las
generalizaciones de espacios simétricos consideradas en este capı́tulo son espacios
de D’Atri.
Teorema 7.2. [KV2] Todo espacio Riemanniano g.o., y en particular todo

espacio naturalmente reductivo y todo espacio débilmente simétrico, es un espacio
de D’Atri.
Teorema 7.3. [KV1] Todo espacio conmutativo es un espacio de D’Atri.
Del siguiente teorema se sigue que los grupos de tipo-H proveen ejemplos que
muestran que ninguna de estas clases caracteriza a los espacios de D’Atri (comparar
con Teoremas 3.6, 4.3, 5.3, 6.3).
Teorema 7.4. [K3] Todo grupo de tipo-H es un espacio de D’Atri.
En Capı́tulo II probaremos que, más en general, todo grupo de tipo-H modifi-

cado es un espacio de D’Atri. Daremos ahora una condición necesaria y suficiente
para que un grupo de Lie nilpotente con una métrica invariante a izquierda sea un
espacio de D’Atri. La cuestión de si tal grupo debe ser abeliano a 2-pasos nilpotente,
como ocurre con las otras nociones, es todavı́a un problema abierto.
Proposición 7.5. Sea (N, h, i) un grupo de Lie nilpotente y sea U un entorno

normal de e, la identidad de N . Si Σ : exp−1 (U ) → exp−1 (U ) está definida por
θ(exp x) = exp Σx, donde θ es la simetrı́a geodésica de (N, h, i) a través de e,
entonces (N, h, i) es un espacio de D’Atri si y sólo si Σ preserva el elemento de
volumen euclideano de (n, h, i) en un entorno de 0 (salvo signo).
Prueba. Como (N, h, i) es homogéneo, es claro que (N, h, i) es un espacio de D’Atri

si y sólo si θ : U → U prerserva el elemento de volumen de (N, h, i) . La función
exponencial exp : n → N es un difeomorfismo, pues N es nilpotente y simplemente
conexo. Más aún, es fácil ver que la medida de Haar de N llevada a n mediante
exp no es más que la medida de Lebesgue del espacio euclı́deo n . Luego d exp del
elemento de volumen euclideano de (n, h, i) es el elemento de volumen Riemanniano
de (N, h, i) , y entonces este último será preservado por θ : U → U si y sólo
si Σ : exp−1 (U ) → exp−1 (U ) preserva el volumen euclideano de (n, h, i), ya que
θ(exp x) = exp Σx para todo x ∈ exp−1 (U ). ¤
Concluyendo este capı́tulo, daremos a continuación un cuadro que describe las

contenciones conocidas, indicadas por una flecha, entre las cinco clases estudiadas
a lo largo de dicho capı́tulo.
Nat.Red. Déb.Sim.
Riem.g.o. Conmut.
D’Atri
Todas las otras posibles contenciones se conocen ser falsas, excepto por Conmut −→
Riem.g.o., la cual es aún un problema abierto. En esta tesis, se dan los primeros con-
traejemplos que prueban que las contenciones Déb.Sim. −→ Conmut. y Nat.Red.
−→ Déb.Sim. no son válidas.
CAPITULO 2
Grupos de tipo-H modificados
1. Introducción
En el estudio de la geometrı́a de un grupo de Lie 2-pasos nilpotente con una
métrica invariante a izquierda (N, h, i), las transformaciones {Ja }a∈z definidas en
(1.2) juegan un papel muy importante. La conexión de Levi-Civita, la curvatura, el
tensor de Ricci y las geodésicas, por ejemplo, están descriptos en términos de dichas
transformaciones (ver [E1] y I, §2). Lo mismo sucede con el subgrupo de isotropı́a
del grupo de isometrı́as de (N, h, i) (ver (1.4)) y las condiciones para que (N, h, i)
sea naturalmente reductivo o espacio Riemanniano g.o. (ver I, Teoremas 3.5,4.9).
Además, la expresión de la geodésica γ de (N, h, i) con γ(0) = e y γ 0 (0) = x + a
(x ∈ v y a ∈ z) está dada esencialmente en términos de los distintos autovalores de
Ja2 . Se puede ver claramente en las fórmulas que cuanto menos autovalores distintos
tenga Ja2 tal expresión resulta más simple.
Es natural entonces, como un primer paso tendiente a entender la geometrı́a de
un grupo 2-pasos (N, h, i) , considerar el caso en el cual Ja2 tenga un sólo autovalor
para todo a ∈ z. Esto motiva la siguiente definición.
Definición 1.1. Diremos que un grupo 2-pasos nilpotente (N, h, i) es un grupo

de tipo-H modificado si para todo a ∈ z − {0}
Ja2 = λ(a)I para algún λ(a) < 0. (2.1)
Notar que si λ(a) = −ha, ai para todo a ∈ z entonces (N, h, i) es un grupo de

tipo-H, y si para algún c > o, λ(a) = −cha, ai para todo a ∈ z entonces (N, h, i) es
un grupo de tipo-H en el sentido de [E2].
En §2 clasificaremos salvo isometrı́a los grupos de tipo-H modificados, probando
que todos ellos se obtienen modificando la métrica de un grupo de tipo-H en el
centro. También calcularemos en dicha sección sus grupos de isometrı́as y sus
geodésicas.
El principal objetivo de este capı́tulo es estudiar en detalle las nociones que
generalizan a los espacios simétricos vistas en Capı́tulo I en los grupos de tipo-
H modificados. En §3 daremos una clasificación completa para cada noción (ver
Teoremas 3.1,3.10-3.13 o la tabla al final de dicha sección).
Los grupos de tipo-H modificados proveen nuevos ejemplos de
- espacios Riemannianos g.o. que no son naturalmente reductivos,
- espacios Riemannianos g.o. que no son débilmente simétricos,
- espacios de D’Atri.
Pero su aporte más importante es, sin duda, el de ejemplos de espacios conmutativos
que no son débilmente simétricos, respondiendo a la cuestión propuesta por A.
Selberg en [S] (ver I, §6).
31
32 2. GRUPOS DE TIPO-H MODIFICADOS
Finalmente en §4, como una aplicación, daremos una descripción de los grupos
2-pasos nilpotentes (N, h, i) con dim z = 2 que son Riemannianos g.o.. Notamos que
los grupos nilpotentes munidos de una métrica invariante a izquierda que aparecen
en la clasificación de los espacios Riemannianos g.o. de dimensión ≤ 6 hecha en
[KV3] son todos grupos de tipo-H modificados.
En [DL] se estudian algunas propiedades de la curvatura seccional y de Ricci de
ciertas extensiones solubles de los grupos de tipo-H modificados. Dichas extensiones
no son más que espacios de Damek-Ricci con sus métricas canónicas modificadas, y
se prueba por ejemplo que son variedades de Einstein si y sólo si son un Damek-Ricci
propiamente dicho. Luego, estas extensiones de grupos de tipo-H modificados no
proveen nuevos ejemplos de espacios armónicos (ver [BTV] para más información
sobre este tema).
- Primeros ejemplos de espacios conmutativos que no son débilmente simétricos

(Corolario 3.7).
- Nuevos ejemplos de espacios de D’Atri (Teorema 3.13).
- Nuevos ejemplos de espacios Riemannianos g.o. que no son débilmente simétricos,
en dimensiones 7,11,15, etc. (ver Tabla al final de §3).
- Nuevos ejemplos de espacios Riemannianos g.o. que no son naturalmente reduc-
tivos (ver Tabla al final de §3).
- Caracterización de los grupos de Lie 2-pasos nilpotentes con centros 2-dimensionales
que son espacios Riemannianos g.o. (Teorema 4.1).
2. Descripción, isometrı́as y geodésicas

Comenzaremos esta sección dando ejemplos de grupos de tipo-H modificados
que no son de tipo-H.
Ejemplo 2.1. Sea (N, h, i) un grupo de tipo-H. Tomamos una transformación
simétrica definida positiva S en (z, h, i). Si h, iS denota el producto interno definido
por hx + a, y + biS = hx, yi + hSa, bi para todo x, y ∈ v, a, b ∈ z y Ja , JaS son como
en (1.2) para h, i y h, iS respectivamente, es fácil ver que
JaS = JSa ∀ a ∈ z.
Luego (N, h, iS ) satisface (2.1) con λ(a) = −hSa, Sai para todo a ∈ z.
El siguiente teorema muestra que estos ejemplos cubren todas las posibilidades
para un grupo de tipo-H modificado.
Teorema 2.2. (i) Si (N, (, )) es un grupo de tipo-H modificado, entonces existe
una métrica de tipo-H h, i sobre n y una transformación simétrica definida positiva
S en (z, h, i) tal que (x + a, y + b) = hx, yi + hSa, bi para todo x, y ∈ v, a, b ∈ z
(denotamos este producto interno por h, iS ).
Sea (N, h, i) un grupo de tipo-H.
(ii) Si S0 y S1 son transformaciones simétricas definidas positivas en (z, h, i)
entonces (N, h, iS0 ) es isométrico a (N, h, iS1 ) si y sólo si existe φ ∈
O(z, h, i) tal que S1 = φS0 φ−1 .
(iii) Si S es una transformación simétrica definida positiva en (z, h, i) entonces
el subgrupo de isotropı́a KS del grupo de isometrı́as de (N, h, iS ) está dado
2. DESCRIPCIÓN, ISOMETRÍAS Y GEODÉSICAS 33
por
KS = {ϕ ∈ K : ϕ|z ◦ S = S ◦ ϕ|z },
donde K es el subgrupo de isotropı́a del grupo de isometrı́as de (N, h, i).
Proof. (i) Denotemos por Ja∗ las transformaciones definidas en (1.2) para (, ) y
supongamos que (Ja∗ )2 = λ(a)I para todo a ∈ z. Para todo par a, b en el centro
tenemos
∗
λ(a + b)I = (Ja+b )2 = (Ja∗ + Jb∗ )2 = λ(a)I + λ(b)I + Ja∗ Jb∗ + Jb∗ Ja∗ ,
luego Ja∗ Jb∗ + Jb∗ Ja∗ es un múltiplo de la identidad y esto implica que
Ja∗ Jb∗ + Jb∗ Ja∗ = −2(a, b)1 I (2.2)
donde (, )1 es una forma bilineal simétrica. Más aún, se sigue de (2.1) que (, )1 es
un producto interno en z.
Sea S la transformación simétrica definida positiva en (z, (, )) tal que (a, b)1 =
(Sa, b) para todo a, b ∈ z. Tomemos h, i = (, )S −1 y denotemos por Ja las transfor-
maciones definidas en (1.2) para h, i. Es fácil ver que Ja = JS∗−1 a para todo a ∈ z.
Ahora, usando (2.2), tenemos que
Ja2 = (JS∗−1 a )2 = −(S −1 a, S −1 a)1 I = −(a, S −1 a)I = −ha, aiI ∀ a ∈ z,
luego h, i es un métrica de tipo-H sobre n y claramente (, ) = h, iS .
(ii) Supongamos que (N, h, iS0 ) y (N, h, iS1 ) son isométricos. Por I, Teorema 2.1,(i)
existe un automorfismo A de n tal que
hAx, AyiS1 = hx, yiS0 ∀ x, y ∈ n. (2.3)
Puesto que A es un automorfismo de n , A lleva a z invariante, y debido a (2.3)
también lleva a v invariante. Luego A = (T, φ) con T : v → v y φ : z → z. Si Ja0 y
Ja1 son como en (1.2) para h, iS0 y h, iS1 respectivamente, es fácil ver que
T Ja0 T −1 = Jφa
1
∀ a ∈ z.
Debido a que Ja0= JS0 a yJa1 = JS1 a , donde Ja denota la correspondiente transfor-
mación para h, i, se obtiene
T JS0 a T −1 = JS1 φa ∀ a ∈ z.
Tomando cuadrados a ambos lados obtenemos hS0 a, S0 ai = hS1 φa, S1 φai para todo
a ∈ z, y entonces S02 = φt S12 φ. Ahora, se sigue de (2.3) que S0 = φt S1 φ, luego
φS0 φ−1 = S1 . Tenemos entonces que φ ∈ O(z, h, i), ya que φt S1 φ = φ−1 S1 φ y
entonces φ−1 = φt . .
Recı́procamente, si S0 y S1 son conjugadas en z , entonces existe φ ∈ SO(z)
tal que φS0 φ−1 = S1 . Es sabido que φ se extiende a una isometrı́a Φ de (N, h, i)
(ver [Ri1]), luego Φ es un automorfismo de n y se sigue de φS0 φ−1 = S1 que
hΦx, ΦyiS1 = hx, yiS0 para todo x, y ∈ n. Por I, Teorema 2.1,(i) tenemos que
(N, h, iS0 ) y (N, h, iS1 ) son isométricos.
(iii) Se sigue de la prueba de (ii) poniendo S0 = S1 = S, aplicando (1.4) y I,

Teorema 2.1,(ii). ¤
Luego, los grupos de tipo-H modificados no involucran nuevas álgebras de Lie

además de las de tipo-H. Mas aún, los grupos de tipo-H modificados no son más
que pares (N, h, iS ) donde (N, h, i) es un grupo de tipo-H y S es una transfor-

mación simétrica definida positiva en (z, h, i). Geométricamente, sin embargo, estas
variedades Riemannianas tienen algunas propiedades diferentes.
La propiedad KS ⊂ K es muy interesante, ya que asegura que si el grupo
de tipo-H modificado (N, h, iS ) es débilmente simétrico o un espacio conmutativo
entonces el correspondiente grupo de tipo-H (N, h, i) también lo es. Probaremos que
dicha implicación también se satisface para las nociones de natural reductividad y
de espacio Riemanniano g.o.. Este hecho será muy útil en §3, donde clasificaremos
los grupos de tipo-H modificados que están en cada una de estas clases.
Notemos que, si todos los autovalores de S tienen multiplicidad 1, entonces
el grupo de isotropı́a KS se reduce esencialmente al grupo U de operadores de
entralazamiento ortogonales (ver I, Lema 2.5).
Describiremos ahora las geodésicas en un grupo de tipo-H modificado, obte-

niendo expresiones muy similares al caso tipo-H (ver [K2] or [K3]). Estas fórmulas
siguen de [E1], donde están calculadas las geodésicas para todo grupo 2-pasos
nilpotente con una métrica invariante a izquierda.
Proposición 2.3. Sea (N, h, iS ) un grupo de tipo-H modificado. Sea γ(t) la
geodésica con γ(0) = e y γ 0 (0) = x0 + a0 , donde x0 ∈ v y a0 ∈ z − {0}. Si
γ(t) = exp (x(t) + a(t)) donde x(t) ∈ v, a(t) ∈ z para todo t ∈ R y exp : n → N
denota la exponencial de Lie, entonces
1 1
x(t) = |Sa0 |2 (1 − cos (t|Sa0 |))JSa0 x0 + |Sa0 | sen (t|Sa0 |)x0
|x0 |2 1
a(t) = ta0 + 2|Sa0 |2 (t − |Sa0 | sen (t|Sa0 |))Sa0
donde JSa0 y | | corresponden a la métrica de tipo-H h, i. Si a0 = 0, entonces
x(t) = tx0 y a(t) ≡ 0.
Prueba. Denotemos por J la transformación JaS0 = JSa0 , cuyos autovalores son
{i|Sa0 |, −i|Sa0 |}. De Proposition (3.5) en [E1] obtenemos
x(t) = (etJ − I)J −1 x0 ,
a(t) = ta0 + t 12 [J −1 x0 , x0 ] + 12 [etJ J −1 x0 , J −1 x0 ]
Ahora, usando que J 2 = −|Sa0 |2 I, es fácil ver que
1
etJ = cos (t|Sa0 |)I + sen (t|Sa0 |)J
|Sa0 |
y J −1 = − |Sa10 |2 J, luego
1 1
x(t) = (etJ − I)J −1 x0 = (1 − cos (t|Sa0 |))JSa0 x0 + sen (t|Sa0 |)x0 .
|Sa0 |2 |Sa0 |
Para a(t) usamos que [x0 , Jx0 ] = |x0 |2 Sa0 , luego
t|x0 |2 |x0 |2
a(t) = ta0 + Sa0 − sen (t|Sa0 |)Sa0 ,
2|Sa0 |2 2|Sa0 |3
lo cual concluye la prueba. ¤
Nota 2.4. Toda geodésica de (N, h, iS ) pasando por la identidad yace en un
subgrupo isomorfo a H3 ×R, donde H3 es el grupo de Heisenberg de dimensión 3. Si
Sa0 ∈ Ra0 entonces la correspondiente geodésica yace en un subgrupo totalmente
geodésico H3 , pero si Sa0 ∈
/ Ra0 el subgrupo H3 × R no es totalmente geodésico.
3. CLASIFICACIONES 35
3. Clasificaciones
En esta sección clasificaremos los grupos de tipo-H modificados presentados en
la sección anterior que están en cada una de las cinco clases de generalizaciones
de espacios simétricos vistas en Capı́tulo I. Recordemos que todo grupo de tipo-H
modificado es de la forma (N, h, iS ), donde (N, h, i) es un grupo de tipo-H, y S es una
transformación simétrica definida positiva en (z, h, i) y hx+a, y+biS = hx, yi+hSa, bi
para todo x, y ∈ v, a, b ∈ z (ver Teorema 2.2).
Los grupos de tipo-H modificados no proveen nuevos ejemplos de espacios nat-

uralmente reductivos.
Teorema 3.1. Un grupo de tipo-H modificado (N, h, iS ) es naturalmente re-
ductivo si y sólo si dim z = 1 o dim z = 3, v isotı́pico y S = λI.
Prueba. Los grupos de tipo-H modificados (N, h, iS ) con S = λI son conformemente
equivalentes a (N, h, i) (ver Nota 3.3). Por lo tanto si dim z = 1 o dim z = 3 y v
isotı́pico entonces (N, h, iλI ) es naturalmente reductivo por I, Teorema 3.6.
Recı́procamente, sea (N, h, iS ) un grupo de tipo-H modificado naturalmente
reductivo. Primero, probemos que el correspondiente grupo de tipo-H (N, h, i) debe
ser naturalmente reductivo también. Se sigue de I, Teorema 3.5,(i) que JzS = Jz es
una subálgebra de so(v, h, iS ) = so(v, h, i).
Usando por un lado la expresión del tensor de Ricci de un grupo de tipo-H
(N, h, i) (ver [K2]) y por otro la de un grupo 2-pasos nilpotente en general (ver
[E1]) obtenemos que
dim vhτa b, bi = −tr Jτa b Jb = −tr [Ja , Jb ]Jb = 0 ∀ a, b ∈ z,
lo cual implica que τa ∈ so(z, h, i) para todo a ∈ z. Luego (N, h, i) es naturalmente
reductivo por I, Teorema 3.5. Ahora, I, Teorema 3.6 implica que dim z = 1 o
dim z = 3 y v isotı́pico. Si dim z = 1 es claro que S = λI. Consideremos entonces
el caso dim z = 3. Puesto que (N, h, iS ) es naturalmente reductivo tenemos
JaS JbS − JbS JaS = JτSaS b ∀ a, b ∈ z
con τaS ∈ so(z, h, iS ) para todo a ∈ z. Usando que JaS = JSa obtenemos
JτSa Sb = JSa JSb − JSb JSa = JaS JbS − JbS JaS = JτSaS b = JSτaS b ∀ a, b ∈ z
luego τaS=S −1
τSa S para todo a ∈ z. Si tomamos transpuesta con respecto a h, i
entonces
−τSa = −SτaS S −1 = (τaS )t = −SτSa S −1 ∀ a ∈ z,
luego τa S = Sτa para todo a ∈ z. Pero es fácil probar que {τa }a∈z actúa irre-
duciblemente en z, entonces S = λI. ¤
Consideramos ahora la noción de débil simetrı́a. En las siguientes proposiciones

sólo daremos algunos casos positivos y otros negativos, la clasificación completa
será posible después de la clasificación de los grupos de tipo-H modificados que son
espacios Riemannianos g.o. en Teorema 3.10 (ver Corolario 3.11).
Notación 3.2. Sea (N, h, i) un grupo de tipo-H. Si S es una transformación
simétrica definida positiva en (z, h, i), tomamos z = z1 ⊕ ... ⊕ zr la descomposición
ortogonal de z en autoespacios de S. Si dim zi = mi para todo i = 1, ..., r, diremos
que el correspondiente grupo de tipo-H modificado (N, h, iS ) es de clase z = m1 +
... + mr .
Nota 3.3. Un grupo de tipo-H modificado (N, h, iS ) de clase z = m1 es con-

formemente equivalente al correspondiente grupo de tipo-H (N, h, i) . Esto es
porque, si S = λ2 I, tomamos A el elmento de Aut(n) tal que A|v = λI, A|z = λ2 I.
Luego hAx, Ayi = λ2 hx, yiS para todo x, y ∈ n y por lo tanto (N, λ2 h, iS ) y (N, h, i)
son isométricos por I, Teorema 2.1,(i), lo que implica que las variedades (N, h, iS )
y (N, h, i) son conformemente equivalentes
Proposición 3.4. Las siguientes clases de grupos de tipo-H modificados son

débilmente simétricos,
(i) z = 1 + 1 y z = 1 + 2 con v arbitrario.
(ii) z = 1 + 5, z = 1 + 6 y z = 2 + 5 con dim v = 8 en todos los casos.
Prueba. Usaremos en todos los casos I, Teorema 5.4. Fijamos x0 ∈ v, a0 ∈ z, y

debemos encontrar T ∈ KS tal que T x0 = −x0 , T a0 = −a0 (ver Teorema 2.2, (iii),
para la descripción de KS ). También usaremos algunos preliminares sobre grupos
de tipo-H vistos en I, §2. Denotamos también por {Ja }a∈z a las extensiones de las
transformaciones definidas en (1.2) para h, i (ver I, Lema 2.5,(i)).
- z = 1 + 1. Sea {a1 , a2 } una base ortonormal de z con respecto a la métrica de

tipo-H h, i. Es claro que Ja1 Ja2 |z = −I, luego Ja1 Ja2 ∈ KS y Ja1 Ja2 a0 = −a0 .
Puesto que U = Sp( dim v
4 ) (ver [Ri1]) actúa transitivamente en la esfera de v ,
existe T ∈ U tal que T Ja1 Ja2 x0 = −x0 . Tomamos entonces T = T 0 Ja1 Ja2 .
0 0
- z = 1 + 2. Supongamos que a0 = a1 + a2 con ai ∈ zi (ver Notación 3.5).

Puesto que |a11 | Ja1 y |a12 | Ja2 conmutan con S, tenemos que |a11 | Ja1 |a12 | Ja2 ∈ KS .
Además, |a11 | Ja1 |a12 | Ja2 a0 = −a0 , ya que |a1i | Jai aj = ±aj dependiendo de si i = j
o i 6= j (si a1 = 0 o a2 = 0 tomamos |a12 | Ja2 o |a11 | Ja1 respectivamente). Si
v = v1 ⊕ v2 es la descomposición de v en Cl(3)-módulos no equivalentes, en-
tonces |a11 | Ja1 |a12 | Ja2 preserva los subespacios vi . Esto implica que existe T 0 ∈ U =
Sp( dim4 v1 ) × Sp( dim4 v2 ) (ver [Ri1]) tal que T 0 |a11 | Ja1 |a12 | Ja2 x0 = −x0 . Tomamos
entonces T = T 0 |a11 | Ja1 |a12 | Ja2 .
- z = 1 + 5, dim v = 8. Análogamente al caso z = 1 + 2, tenemos |a11 | Ja1 |a12 | Ja2 ∈

KS y |a11 | Ja1 |a12 | Ja2 a0 = −a0 . Debemos estudiar el estabilizador de a0 en KS
estKS (a0 ) = {ϕ ∈ KS : ϕ(a0 ) = a0 }. Es claro que estKS (a0 ) = estKS ({a1 , a2 }).
Sea { |a11 | a1 , |a12 | a2 , a3 , ..., a6 } una base ortonormal de (z, h, i). Si A es la subálgebra
de Cl(6) generada por {ai aj : 3 ≤ i, j ≤ 6}, entonces A ' Cl(4)+ , luego v = v1 ⊕ v2
donde los vi son A-módulos simples no equivalentes (ver [Ri2], Proposition 1 para
p = 2). Esto dice que si K ⊂ A es el subgrupo de Lie conexo de Spin(6) cuya
álgebra de Lie está generada por los productos {ai aj : 3 ≤ i, j ≤ 6}, entonces
K ' Spin(4) ' Sp(1) × Sp(1), donde las dos copias de Sp(1) actúan independien-
temente en v1 y v2 respectivamente.
Puesto que |a11 | Ja1 |a12 | Ja2 conmuta con la acción de A y v1 , v2 , son no equiv-
alentes como A-módulos tenemos que |a11 | Ja1 |a12 | Ja2 debe preservar los subespa-
cios vi y esto implica que existe (T1 , T2 ) ∈ Sp(1) × Sp(1) ' K ⊂ KS tal que
(T1 , T2 ) |a11 | Ja1 |a12 | Ja2 x0 = −x0 . Podemos entonces tomar el elemento de KS T =
(T1 , T2 ) |a11 | Ja1 |a12 | Ja2 .
- z = 1 + 6, dim v = 8. La prueba en este caso es análoga a la de arriba, pero usando

que estKS ({a1 , a2 }) ' Spin(5) ' Sp(2), el cual actúa transitivamente en la esfera
de v .
- z = 2 + 5, dim v = 8. Idem al caso z = 1 + 5, dim v = 8. ¤
Proposición 3.5. Las siguientes clases de grupos de tipo-H modificados no

son débilmente simétricos,
(i) z = 1 + 1 + 1 con v arbitrario.
(ii) z = 1 + 1 + 5 con dim v = 8.
Prueba. (i) Puesto que el grupo de tipo-H (N, h, i) con dim z = 3 es el análogo
cuaterniónico al grupo de Heisenberg, es fácil chequear que Ja1 Ja2 Ja3 |v1 = I y
Ja1 Ja2 Ja3 |v2 = −I (o viceversa), donde v = v1 ⊕ v2 es una descomposición de v en
módulos no equivalentes y {a1 , a2 , a2 } es una base ortonormal de (z, h, i). Supong-
amos que {a1 , a2 , a3 } son autovectores de S y pongamos a0 = a1 +a2 +a3 . Si T ∈ KS
satisface T a0 = −a0 , entonces T |z = −I. Esto implica que T Ja1 Ja2 Ja3 T −1 =
−Ja1 Ja2 Ja3 (ver 1.4). Si v es isotı́pico (i.e. v2 = 0), esto es una contradicción, y si
v1 , v2 6= 0 entonces T v1 = v2 y T v2 = v1 . Luego para x0 ∈ v1 , no existe T ∈ KS
tal que T a0 = −a0 y T x0 = −x0 . Por I, Proposición 5.4 tenemos que (N, h, iS ) no
es débilmente simétrico.
(ii) Supongamos que (N, h, iS ) es débilmente simétrico. Fijamos a3 ∈ z3 − {0} y

definimos n = v ⊕ z1 ⊕ z2 ⊕ Ra3 (ver Notación 3.5). Si p : n → n es la proyección
ortogonal entonces n es un álgebra de tipo-H con corchete de Lie p ◦ [, ], donde [, ]
es el corchete de n . Es fácil ver que si T ∈ KS entonces T |n ∈ K S , donde K S
denota el subgrupo de isotropı́a del correspondiente grupo de tipo-H modificado
(N , h, iS |n×n ). Esto implica que (N , h, iS |n×n ) es débilmente simétrico, lo cual es
un absurdo pues este grupo es de clase z = 1 + 1 + 1, el cual ha sido considerado
en parte (i). ¤
Estudiaremos ahora la conmutatividad en los grupos de tipo-H modificados.

Probaremos sólo algunos casos positivos, la clasificación completa está dada en
Corolario 3.12.
Proposición 3.6. Las siguientes clases de grupos de tipo-H modificados son

espacios conmutativos,
(i) z = 1 + 1 + 1 con v arbitrario.
(ii) z = 1 + 1 + 5 con dim v = 8.
Prueba. Usaremos en ambos casos I, Proposición 6.13, como en la prueba de I,

Corolario 6.14.
(i) Si U denota el subgrupo de K que actúa trivialmente sobre z , está probado en

[Ri1] que U ' Sp( dim4 v1 ) × Sp( dim4 v2 ), donde v = v1 ⊕ v2 es la descomposición
en Cl(3)-módulos no equivalentes y cada Sp( dim4 vi ) actúa trivialmente sobre v⊥ i .
Claramente U ⊂ (KS )a para todo a ∈ z − {0} (ver Teorema 2.2, (iii)). Puesto que
Sp( dim4 vi ) actúa transitivamente en la esfera de vi , podemos tomar Ui = Sp( dim4 vi )
para todo a ∈ z.
(ii) Sea a un elemento distinto de cero en z . Supongamos que a = a1 + a2 + a3 con

ai ∈ zi (ver Notación 3.5) y sea { |a11 | a1 , |a12 | a2 , |a13 | a3 , a4 , ..., a7 } una base ortonormal
de (z, h, i) (si ai = 0 tomamos cualquier elemento en zi − {0}). Si A es la subálgebra
de Cl(7) generada por {ai aj : 4 ≤ i, j ≤ 7} entonces A ' Cl(4)+ , luego v = v1 ⊕ v2
donde vi son A-módulos simples no equivalentes (ver [Ri2], Proposition 1 para
p = 2). Ahora, si K ⊂ A es el subgrupo de Lie conexo de Spin(7) cuya álgebra de
Lie está generada por los productos {ai aj : 4 ≤ i, j ≤ 7}, entonces K ' Spin(4) '
Sp(1) × Sp(1) donde las dos copias de Sp(1) actúan en vi y trivialmente en v⊥ i
respectivamente. Como K ⊂ (KS )a , podemos tomar los subgrupos U1 , U2 ⊂ K
isomorfos a dichas copias de Sp(1). ¤
De Proposición 3.5 y Proposición 3.6 se obtienen los siguientes contraejemplos

a la cuestión propuesta por Selberg en [S] (ver I, §6).
Corolario 3.7. Los grupos de tipo-H modificados (N, h, iS ) de clase z = 1 +
1 + 1 con v arbitrario y los de clase z = 1 + 1 + 5 con dim v = 8 son espacios
conmutativos que no son débilmente simétricos.
Veremos más adelante que estos ejemplos son los únicos espacios conmutativos
que no son débilmente simétricos dentro de los grupos de tipo-H modificados. Notar
que en cada clase las métricas de dichos ejemplos dependen de tres variables (ver
Teorema 2.2,(ii)).
Proposición 3.8. Todo grupo de tipo-H modificado que es un espacio conmu-
tativo debe ser también un espacio Riemanniano g.o..
Prueba. Idem a la prueba en [R] para grupos de tipo-H. Para pruebas alternativas
de Lemma 2 y Lemma 3 en [R] ver [BJR2]. ¤
Estudiaremos ahora la noción de espacio Riemanniano g.o.. Probaremos en

Teorema 3.10 que los grupos que aparecen en I, Teorema 4.3, Proposición 3.4 y
Proposición 3.6 son todos los espacios Riemannianos g.o. dentro de los grupos de
tipo-H modificados.
Proposición 3.9. Sea (N, h, i) un grupo de tipo-H y sea (N, h, iS ) el grupo
de tipo-H modificado correspondiente a la transformación simétrica definida posi-
tiva S en (z, h, i). Denotamos por {Ja }a∈z las transformaciones definidas en (1.2)
correspondientes a (N, h, i) .
(i) (N, h, i) es un espacio Riemanniano g.o. si y sólo si para algún a0 ∈ z fijo
y para todo x ∈ v existe A ∈ k tal que Ax = Ja0 x y Aa0 = 0.
(ii) (N, h, iS ) es un espacio Riemanniano g.o. si y sólo si para todo x + a ∈ n
con x ∈ v y a ∈ z, existe A ∈ kS tal que Ax = Ja x y Aa = 0 (donde kS
denota el álgebra de Lie de KS ).
(iii) Si (N, h, iS ) es un espacio Riemanniano g.o. entonces también lo es
(N, h, i) .
(iv) Si (N, h, iS ) es un espacio Riemanniano g.o. entonces dim KS ≥ dim z.
Prueba. (i) Por I, Teorema 4.9 es suficiente probar que para todo a ∈ z, x ∈ v,
existe B ∈ k tal que Bx = Ja x, Ba = 0. Puesto que Spin(z) ⊂ K (ver I, Lema 2.5),
para todo a ∈ z existe T ∈ K tal que T a0 = a, donde a0 es el elemento que hemos
fijado en z . Si x ∈ v entonces existe A ∈ k tal que AT −1 x = Ja0 T −1 x y Aa0 = 0.
Ponemos B = T AT −1 ∈ k, y luego Bx = Ja x y Ba = 0 (ver (1.4)).
(ii) Tenemos que (N, h, iS ) es un espacio g.o. si y sólo si para todo x ∈ v, a ∈ z,

existe A ∈ kS tal que Ax = JaS x y Aa = 0. Puesto que JaS = JSa para todo a ∈ z
y A|z S = SA|z obtenemos que (N, h, iS ) es Riemanniano g.o. si y sólo si para todo
x ∈ v, a ∈ z, existe A ∈ kS tal que Ax = JSa x y ASa = 0. Esto concluye la prueba
de (ii).
(iii) Puesto que kS ⊂ k, la prueba sigue de (ii).
(iv) Sea {a1 , ..., am } una base de z y x ∈ v un elemento distinto de cero fijo.
Tenemos por (ii) que para cada j = 1, ..., m existe Aj ∈ kS tal que Aj x = Jaj x.
Probaremos que {A1 , ..., Am } es un subconjunto linealmente
Pm independiente de kS ,
lo cual implicará que dim KS ≥ dim z. Supongamos que j=1 λj Aj = 0, luego para
todo x ∈ v
m
X m
X
0= λj Aj x = λj Jaj x = Jb x,
j=1 j=1
Pm Pm
con b = j=1 λj aj . Esto implica que j=1 λj aj = 0 y entonces λj = 0 para todo
j = 1, ..., m. ¤
Teorema 3.10. Un grupo de tipo-H modificado (N, h, iS ) es un espacio Rie-

manniano g.o. si y sólo si es de alguna de las siguientes clases (ver Notación 3.5
para la definición de clase),
z = 1, v arbitrario. z = 5, dim v = 8.
z = 2, ” z = 6, dim v = 8.
z = 1 + 1, ” z = 1 + 5, dim v = 8.
z = 3, ” z = 7, dim v = 8, 16, 24,
z = 1 + 2, ” v isotı́pico.
z = 1 + 1 + 1, ” z = 1 + 6, dim v = 8.
z = 2 + 5, dim v = 8.
z = 1 + 1 + 5, dim v = 8.
Prueba. Usando I, Teorema 4.3, Proposición 3.4, Proposición 3.6, I, Teorema 5.2 y
Proposición 3.8 obtenemos que todos los grupos de tipo-H modificados en el teorema
son espacios Riemannianos g.o., luego es suficiente probar que cualquier otro no lo
es.
Por Proposición 3.9,(iii),(iv), tenemos que chequear sólo los grupos de tipo-H
modificados (N, h, iS ) con (N, h, i) listado en I, Teorema 4.3 y dim kS ≥ dim z. Si K
es el subgrupo de isotropı́a de un grupo de tipo-H (N, h, i) y U es el subgrupo de K
que actúa trivialmente sobre z , entonces dim K = dim U + dim O(m), donde m =
dim z (ver I, Lemma 2.5). Luego, si (N, h, iS ) es de clase z = m1 + ... + mr tenemos
que dim ks = dim U + dim O(m1 ) + ... + dim O(mr ) (ver Teorema 2.2, (iii)). Ahora,
usando que dim U = 1 para dim z = 5 y dim v = 8, que dim U = 0 cuando dim z = 6
y dim v = 8, y que dim U = k − 1 en el caso dim z = 7, dim v = 8k y v isotı́pico (ver
[Ri1]), es fácil determinar cuáles clases de grupos de tipo-H modificados (N, h, iS )
con (N, h, i) listado en I, Teorema 4.3 satisface dim KS ≥ dim z. Además de los
citados en el teorema, dichos grupos son los siguientes

z = 1 + 4, dim v = 8. z = 2 + 3, dim v = 8.
z = 3 + 3, dim v = 8. z = 1 + 2 + 4, dim v = 8, 16, 24.
z = 1 + 1 + 4, dim v = 8. z = 1 + 3 + 3, dim v = 16, 24.
z = 1 + 6, dim v = 16, 24. z = 2 + 2 + 3, dim v = 24.
z = 2 + 5, dim v = 16, 24. z = 1 + 1 + 1 + 4, dim v = 16, 24.
z = 3 + 4, dim v = 8, 16, 24. z = 1 + 1 + 2 + 3, dim v = 24.
z = 1 + 1 + 5, dim v = 16, 24.
Probaremos el teorema viendo que en cada uno de estos casos la condición de espacio
g.o. no se cumple. Usaremos siempre la caracterización dada en Proposición 3.9,
(ii).
- z = 1 + 4, dim v = 8. Sea z = z1 ⊕ z2 la descomposición ortogonal en autoespacios

de S con dim z1 = 1 y dim z2 = 4. Supongamos que el correspondiente (N, h, iS ) es
un espacio Riemanniano g.o.. Luego para todo x ∈ v y a ∈ z2 , existe A ∈ kS tal
que Ax = Ja x y Aa = 0. Definimos el álgebra de Lie n = v ⊕ z2 con corchete p ◦ [, ],
donde p : n → n es la proyección ortogonal y [,] es el corchete de n.
Puesto que Az2 ⊂ z2 tenemos que A|n ∈ kS , donde kS denota el álgebra de Lie
del subgrupo de isotropı́a del grupo de isometrı́as de (N , h, iS |n×n ). Esto implica
que el grupo de tipo-H con dim z = 4 y dim v = 8 es un espacio g.o., lo cual es una
contradicción por I, Teorema 4.3.
- z = 2 + 3, dim v = 8. Sea z = z1 ⊕ z2 como en el caso anterior y supongamos que

el correspondiente grupo (N, h, iS ) es un espacio g.o.. Fijamos a0 ∈ z1 − {0}, luego
para todo x ∈ v existe A ∈ kS tal que Ax = Ja0 x y Aa0 = 0. Usando Proposición
3.9, (i), podemos probar análogamente al caso anterior que el grupo (N , h, iS |n×n )
es un espacio g.o., donde n = v ⊕ Ra0 ⊕ z2 . Esto también es una contradicción por
I, Teorema 4.3.
Es fácil ver que las pruebas en el resto de los casos son similares a alguna de
los casos ya vistos arriba. Esto concluye la prueba del teorema. ¤
Corolario 3.11. Un grupo de tipo-H modificado es débilmente simétrico si y
sólo si es un espacio Riemanniano g.o., excepto para las clases
z = 1 + 1 + 1, v arbitrario,
z = 1 + 1 + 5, dim v = 8,
z = 7, dim v = 24, v isotı́pico.
Corolario 3.12. Un grupo de tipo-H modificado es un espacio conmutativo si
y sólo si es un espacio Riemanniano g.o., excepto para el caso
z = 7, dim v = 24, v isotı́pico.
Por último, analizaremos la noción de espacio de D’Atri. En [K3] está probado
que todo grupo de tipo-H es un espacio de D’Atri. Una prueba alternativa puede
ser encontrada en [BTV]. El siguiente teorema extiende este resultado a todos los
grupos de tipo-H modificados.
Teorema 3.13. Todo grupo de tipo-H modificado es un espacio de D’Atri.
Prueba. Sea (N, h, iS ) un grupo de tipo-H modificado. Calculemos la función Σ de
I, Proposición 7.5 . Sea γ la geodésica en (N, h, iS ) con γ(0) = e y γ 0 (0) = x0 + a0 ,
donde x0 ∈ v y a0 ∈ z. Está probado en Proposición 2.3 que γ(t) = exp (x(t) + a(t))
con
x(t) = |Sa10 |2 (I − etJSa0 )JSa0 x0 ,
|x0 |2 1
a(t) = ta0 + 2|Sa0 |2 (t − |Sa0 | sen (t|Sa0 |))Sa0 .
Es claro que exp Σ(x(1) + a(1)) = α(1) donde α es la geodésica de (N, h, iS ) con
α(0) = e y α0 (0) = −x0 − a0 , luego Σ(x(1) + a(1)) = x0 + a0 donde
1
x0 = |Sa0 |2 (I − e−JSa0 )JSa0 x0 ,
|x0 |2 1
a0 = −a0 − 2|Sa0 |2 (1 − |Sa0 | sen (|Sa0 |))Sa0 .
Se sigue entonces que
− Σ(x + a) = e−JSa0 x + a ∀ x + a ∈ exp−1 (U ). (2.4)
Probaremos que a0 depende sólo de |x| y a. Sea y ∈ v con |y| = |x|. Puesto
que 1−cos (|Sa0 |)
|Sa0 |2 JSa0 + sen|Sa
|Sa0 |
0|
I es un múltiplo de una transformación ortogonal de
(v, h, iS ), existe y0 ∈ v tal que |y0 | = |x0 | y 1−cos (|Sa0 |)
|Sa0 |2 JSa0 y0 + sen|Sa
(t|Sa0 |)
0|
y0 = y.
Esto implica que si γ es la geodésica con γ(0) = e, γ 0 (0) = x0 + a0 y γ(1) = x + a,
entonces la geodésica α con α(0) = e y α0 (0) = y0 + a0 satisface α(1) = y + a. Esto
significa que el elemento a0 que aparece en (2.4) depende sólo de |x| y a.
Luego
−Σ(x + a) = e−Jβ(|x|,a) x + a
para cierta función β : R × z → z. Ahora, para cada elemento fijo a ∈ z, la función
x → −Σ(x + a) = e−Jβ(|x|,a) x actúa ortogonalmente en cada esfera de v con centro
0. Además −Σ|z = I.
Probaremos ahora que toda función con tales propiedades debe preservar (salvo
signo) el elemento de volumen euclideano de (n, h, iS ). Tomamos en n = v ⊕ z
coordenadas polares (λ, σ, a) con λ ∈ R>0 , σ ∈ v, |σ| = 1 y a ∈ z. Una función
teniendo tales propiedades debe ser de la forma
f (λ, σ, a) = (λ, A(λ, a)σ, a) ∀ λ ∈ R>0 , a ∈ z,
con A(λ, a) ∈ O(v, h, iS ). Es fácil probar que en una base apropiada

 
A(λ, a) ∗ ∗
(df )(λ,σ,a) =  0 1 ∗ ,
0 0 I
luego det (df )(λ,σ,a) = ±1. Esto prueba que Σ preserva el volumen euclideano de
(n, h, iS ) salvo signo, y entonces de I, Proposición 7.5 se sigue que (N, h, iS ) es un
espacio de D’Atri. ¤
En la siguiente tabla resumimos los resultados de esta sección, dando la clasifi-

cación completa de los grupos de tipo-H modificados que pertenecen a cada una de
las siguientes clases de variedades Riemannianas: espacios naturalmente reductivos,
Riemannianos g.o., débilmente simétricos, conmutativos y de D’Atri.

Clase n.r. d.s. con. g.o. D’Atri
z = 1, cualquier v ∗ ∗ ∗ ∗ ∗
z = 2, ” − ∗ ∗ ∗ ∗
z = 1 + 1, ” − ∗ ∗ ∗ ∗
z = 3, v isot. ∗ ∗ ∗ ∗ ∗
z = 3, v no isot. − ∗ ∗ ∗ ∗
z = 1 + 2, cualquier v − ∗ ∗ ∗ ∗
z = 1 + 1 + 1, ” − − ∗ ∗ ∗
z = 5, dim v = 8 − ∗ ∗ ∗ ∗
z = 6, ” − ∗ ∗ ∗ ∗
z = 1 + 5, ” − ∗ ∗ ∗ ∗
z = 7, ” − ∗ ∗ ∗ ∗
z = 7, v isot., dim v = 16 − ∗ ∗ ∗ ∗
z = 7, v isot., dim v = 24 − − − ∗ ∗
z = 1 + 6, dim v = 8 − ∗ ∗ ∗ ∗
z = 2 + 5, ” − ∗ ∗ ∗ ∗
z = 1 + 1 + 5, ” − − ∗ ∗ ∗
otras − − − − ∗
(ver Notación 3.5 para la definición de clase). Usando Teorema 2.2,(ii) es fácil ver
que los grupos de tipo-H modificados de una cierta clase z = m1 + ... + mr están
parametrizados, salvo isometrı́a, por el conjunto
{λ1 > λ2 > ... > λr : λi ∈ R}.
Esto dice que en cada clase hay una gran cantidad de variedades Riemannianas
distintas, que las nociones estudiadas no han llegado a diferenciar.
Nota 3.14. Debemos notar que las pruebas dadas en esta sección no proveen
pruebas alternativas para los teoremas que clasifican los grupos de tipo-H que
pertenecen a cada una de las nociones. Más aún, tales resultados y algunas técnicas
usadas en sus pruebas fueron empleadas para probar los teoremas correspondientes
a los grupos de tipo-H modificados.
4. Grupos 2-pasos Riemannianos g.o. con centro 2-dimensional

En esta sección describiremos los grupos 2-pasos nilpotentes (N, h, i) con dim z =
2 que son espacios Riemannianos g.o. (ver Teorema 4.1). Es fácil chequear que los
grupos de Lie nilpotentes con una métrica invariante a izquierda que aparecen en
la clasificación de los espacios Riemannianos g.o. de dimensión ≤ 6 en [KV3] son
todos grupos de tipo-H modificados con dim z = 2 y dim v = 4.
Sea (N, h, i) un grupo 2-pasos nilpotente con dim z = 2 y supongamos que

(N, h, i) es Riemanniano g.o.. Si n = z ⊕ v con v = z⊥ , tomamos cualquier descom-
posición ortogonal v = v1 ⊕ ... ⊕ vr tal que Jz = {Ja }a∈z actúe irreduciblemente en
cada vi . Notar que [vI , vj ] = 0 para todo i 6= j. Consideramos los grupos (Ni , h, ii )
con álgebra de Lie ni = z ⊕ vi y h, ii = h, i|ni ×ni .
Veamos ahora, usando I, Teorema 4.9, que los grupos (Ni , h, ii ) también son
Riemannianos g.o. Si a ∈ z−{0} y x ∈ vi entonces existe A ∈ k = Der(n)∩so(n, h, i)
tal que Aa = 0 y Ax = Ja x. Puesto que dim z = 2 y A es antisimétrica tenemos
4. GRUPOS 2-PASOS RIEMANNIANOS G.O. CON CENTRO 2-DIMENSIONAL 43
que A|z ≡ 0 y por lo tanto AJb = Jb A para todo b ∈ z (ver (1.5)). Luego A
preserva el subespacio wi de vi generado por {Ja1 ...Jas x : ai ∈ z}. Es claro que
wi es Jz -invariante y distinto de cero, luego wi = vi y entonces A preserva vi .
Ahora, usando que las transformaciones Jbi correspondientes a (Ni , h, ii ) coinciden
con Jb |vi y (1.5), es fácil ver que A|ni ∈ ki = Der(ni ) ∩ so(nI , h, ii ), luego (Ni , h, ii )
es un espacio Riemanniano g.o. por I, Teorema 4.9.
Si [vI , vi ] 6= z entonces dim [vI , vi ] = 1, y puesto que vi es irreducible obtenemos
que Ni ' R × H3 , donde H3 denota el grupo de Heisenberg de dimensión 3 (i.e.
dim vi = 2). Notamos que el grupo R × H3 puede ser munido, salvo equivalencia
conforme, con una única métrica invariante a izquierda (ver [L1]).
Si [vI , vi ] = z entonces el grupo (Ni , h, ii ) es isométrico a un grupo de tipo-H
modificado 6-dimensional (i.e. dim vi = 4). Probemos esta última afirmación. Sea
a un elemento fijo en z−{0}. Por I, Teorema 4.9, para cada x ∈ vi existe Ax ∈ ki tal
que Ax |z ≡ 0 y Ax x = Ja x. Puesto que Ax conmuta con Jz y vi es Jz -irreducible,
tenemos que A2x = α(x)I para algún α(x) ∈ R. Esto implica que
Ja2 x = Ja Ax x = Ax Ja x = A2x x = α(x)I ∀ x ∈ vI ,
y entonces Ja2 |vi = λ(a)I para algún λ(a) ∈ R. Luego (Ni , h, ii ) es un grupo de
tipo-H modificado (ver Definición 1.1) con dim z = 2, y ya que vi es Jz -irreducible
la dimensión de vi debe ser 4.
Recı́procamente, sea (N, h, i) un grupo 2-pasos nilpotente con dim z = 2 y

supongamos que existe una descomposición ortogonal v = v1 ⊕ ... ⊕ vr con vi Jz -
irreducible para todo i y tal que si [vI , vi ] = z entonces el correspondiente grupo
(Ni , h, ii ) es un grupo de tipo-H modificado. Usaremos I, Teorema 4.9 para probar
que (N, h, i) es un espacio Riemanniano g.o.. Sea a ∈ z − {0} y x = x1 + ... + xr ∈ v
con xi ∈ vi . Puesto que los grupos (Ni , h, ii ) son isométricos a R × H3 o son grupos
de tipo-H modificados de clase z = 2 o z = 1 + 1, se sigue de Teorema 3.10 que los
grupos (Ni , h, ii ) son Riemannianos g.o.. Luego tenemos que para cada i = 1, ..., r
existe Ai ∈ ki tal que Ai |z ≡ 0 y Ai xi = Ja xi (notar que Jbi = Jb |vi para todo
b ∈ z). Tomamos entonces A ∈ so(n, h, i) definido por A|z ≡ 0 y A|vi = Ai . Usando
(1.5) es fácil ver que A ∈ k, y además
Ax = Ax1 + ... + Axr = A1 x1 + ... + Ar xr = Ja x1 + ... + Ja xr = Ja x.
Esto dice que (N, h, i) es Riemanniano g.o..
Hemos probado entonces el siguiente resultado.

Teorema 4.1. Un grupo 2-pasos nilpotente (N, h, i) con dim z = 2 es un espacio
Riemanniano g.o. si y sólo si para toda descomposición ortogonal n = z⊕v1 ⊕...⊕vr
con vi Jz -irreducible se cumple que para todo i con [vI , vi ] = z, el grupo (Ni , h, ii )
con álgebra de Lie ni = z ⊕ vi y h, ii = h, i|ni ×ni es un grupo de tipo-H modificado
de dimensión 6.
Todo grupo 2-pasos nilpotente en el teorema anterior puede ser construı́do como
sigue:
4.2. Tomamos (Ni , h, ii ) , i = 1, ..., r, grupo 2-pasos nilpotentes cada uno
isométrico al grupo de Heisenberg 3-dimensional o a un grupo de tipo-H modi-
ficado 6-dimensional. Si ni = zi ⊕ vi tomamos monomorfismos φi : zi → z, donde z
es cualquier espacio vectorial 2-dimensional fijo. Definimos el álgebra de Lie 2-pasos

nilpotente n = z ⊕ v1 ⊕ ... ⊕ vr con corchete de Lie

 [x, y] = φi [x, y]i ∀ x, y ∈ vI ,
[z, vi ] = 0 ∀ I,

[vI , vj ] = 0 ∀ i 6= j,
donde [, ]i denota el corchete de ni . Si N es el grupo de Lie simplemente conexo
con álgebra de Lie n tomamos en N la métrica invariante a izquierda determinada
por el producto interno h, i, el cual está definido por h, i|vi ×vi = h, ii , hvi , vj i = 0
para todo i 6= j, hz, vi i = 0 para todo i y h, i|z arbitrario. Obtenemos entonces, por
Teorema 4.1, un espacio Riemanniano g.o. (N, h, i) , y por el mismo teorema todo
(N, h, i) Riemanniano g.o. con dim z = 2 puede ser construı́do de esta manera.
La construcción hecha en 4.2 puede ser realizada para grupos 2-pasos nilpo-
tentes en general, y es una especie de ”producto amalgamado” para grupos 2-pasos
nilpotentes. Notar que el álgebra de Lie resultante n depende en general de las
funciones φi : zi → z. Por ejemplo, el álgebra derivada [n, n] es el subespacio vec-
torial de z generado por {φi (zi ) : i = 1, ..., r}, luego si dim zi < dim z para todo
i puede ocurrir que [n, n] = z o [n, n] 6= z dependiendo de la elección de los φi .
La siguiente proposición muestra que la elección de los φi es también crucial en el
caso dim z = dim zi para todo i. Dicha proposición se prueba usando propiedades
básicas de los grupos de tipo-H.
Proposición 4.3. Sean (N1 , h, i1 ) y (N2 , h, i2 ) grupos de tipo-H de dimensión
6. Consideremos el álgebra de Lie 2-pasos nilpotente n construı́da como en 4.2
para un espacio vectorial 2-dimensional z y monomorfismos φi : zi → z, i = 1, 2.
Entonces n es un álgebra de tipo-H (ver I, Definición 2.4) si y sólo si φ−1 2 φ1 :
(z1 , h, i1 ) → (z2 , h, i2 ) es una isometrı́a (salvo un múltiplo escalar).
CAPITULO 3
Grupos 2-pasos nilpotentes naturalmente

reductivos
1. Introducción
En este capı́tulo estudiaremos en profundidad los grupos de Lie 2-pasos nilpo-
tentes munidos de una métrica invariante a izquierda (N, h, i) que son espacios
naturalmente reductivos. Veremos que tales grupos están en correspondencia con
representaciones de álgebras de Lie compactas.
A un álgebra de Lie compacta g y una representación (π, V ) de g le corresponde
un grupo 2-pasos N (g, V ) , cuya álgebra de Lie está dada por n = g ⊕ V , con g
el centro de n y el corchete en V definido por h[v, w], xi = hπ(x)v, wi para todo
v, w ∈ V , x ∈ g, i.e. de tal forma que las transformaciones {Jx }x∈g : V → V
definidas en (1.2) sean exactamente las {π(x)}x∈g . El producto interno elegido h, i
debe ser g-invariante, y se obtiene ası́ un grupo 2-pasos naturalmenmte reductivo
(N (g, V ), h, i). Más aún, todo grupo 2-pasos naturalmente reductivo puede ser
construı́do de esta manera.
Salvo casos excepcionales, N (g, V ) es isomorfo a N (g0 , V 0 ) si y sólo si g es
isomorfa a g0 y V es equivalente a V 0 . Dos métricas g-invariantes en un N (g, V ) no
son necesariamente isométricas.
El subgrupo de isotropı́a del grupo de isometrı́as de un (N (g, V ), h, i) está dado
esencialmente por K = G × U , donde G denota el grupo de Lie simplemente conexo
con álgebra de Lie g y U es el grupo de operadores de entrelazamiento ortogonales
de (π, V ). El grupo U actúa trivialmente en g y cada g ∈ G actúa en n = g ⊕ V
mediante (Ad(g), π(g)), donde π también denota la correspondiente representación
de G en V .
Como se puede observar, los grupos N (g, V ) se parecen en varios aspectos a
los grupos de tipo-H, desde su construcción hasta su grupo de isometrı́as, lo cual
irá siendo remarcado en sucesivas notas en §4. Sin embargo, los únicos grupos
N (g, V ) que son de tipo-H son los N (R, C ⊕ ... ⊕ C) y N (su(2), C2 ⊕ ... ⊕ C2 ), donde
C, C2 denotan las representaciones complejas standard de R y su(2) respectivamente
vistas como reales. Dichos grupos corresponden a los grupos de Heisenberg y sus
cuaterniónicos análogos respectivamente, los cuales son los grupos nilpotentes N
en la descomposición de Iwasawa G = KAN de los grupos de Lie semisimples de
rango uno G = SU(n, 1) y G = Sp(n, 1) (ver [CDKR]).
En §5 y §6 estudiaremos la noción de conmutatividad en los grupos 2-pasos
N (g, V ) , dando una clasificación completa en el caso V irreducible.
Se prueba que, si Ṽ es cierto espacio vectorial complejo, que visto como real es
V /V0 (V0 el espacio peso 0 de V ), y T es un toro maximal de G, entonces N (g, V )
es un espacio conmutativo si y sólo si la acción del grupo compacto T × U en Ṽ es
libre de multiplicidad, i.e. las componentes isotı́picas de la correspondiente acción
45
46 3. GRUPOS 2-PASOS NILPOTENTES NATURALMENTE REDUCTIVOS
en el anillo de polinomios C[Ṽ ] son todas irreducibles. Usando esta caracterización

se prueba que los únicos grupos N (g, V ) con V irreducible que son conmutativos
son
N (so(n), Rn ), N (su(n), Cn ), N (sp(2), C4 ), N (u(n), Cn ),
lo cual brinda una gran cantidad de espacios naturalmente reductivos que no son
conmutativos, y en consecuencia tampoco débilmente simétricos.
Se prueba que los grupos listados arriba son todos débilmente simétricos. Sin
embargo, en el caso V no irreducible, se encuentran ejemplos de grupos N (g, V )
que son conmutativos y no débilmente simétricos, contestando ası́ también en forma
negativa a la cuestión propuesta por Selberg en [S], aún dentro de los espacios
naturalmente reductivos.
Los grupos N (so(n), Rn ) corresponden exactamente a los llamados grupos 2-
pasos libres en n generadores. La conmutatividad de tales grupos ya habı́a sido
probada en [BJR1] y la débil simetrı́a en [Z].
Se debe notar que ciertas extensiones solubles unidimensionales de los grupos
N (g, V ) con V irreducible habı́an sido consideradas ya, independientemente, por P.
Eberlein y J. Heber en [EH]. Ellos prueban que dichas extensiones son variedades
de Einstein, lo que constituye otra analogı́a con los grupos de tipo-H (ver [Bo]).
- Caracterización de los grupos 2-pasos nilpotentes naturalmente reductivos via

representaciones de álgebras de Lie compactas, llamados N (g, V ) (Teorema 2.2).
- Cálculo del grupo de isometrı́as de un N (g, V ) y resultados parciales sobre clases
de isomorfismo e isometrı́as (Teorema 4.14, 4.5-4.11).
- Nuevos ejemplos de espacios conmutativos, y en particular, de pares de Gelfand
asociados a grupos nilpotentes (Teorema 6.4 y 6.7).
- Primeros ejemplos de espacios naturalmente reductivos que no son débilmente
simétricos (Corolario 7.2).
- Primeros ejemplos de espacios conmutativos que no son débilmente simétricos,
dentro de la clase de espacios naturalmente reductivos (Teorema 7.3).
2. Descripción via representaciones

Sea (N, h, i) un grupo de Lie 2-pasos nilpotente con una métrica Riemanniana
invariante a izquierda y sin factor euclı́deo. Por I,Teorema 3.5 tenemos que (N, h, i)
es un espacio naturalmente reductivo si y sólo si
(i) Jz es una subálgebra de Lie de so(V, h, i).
(ii) τx ∈ so(z, h, i) para todo x ∈ z, donde τx : z → z está definida por
Jx Jy − Jy Jx = Jτx y para todo x, y ∈ z.
Luego, la forma bilineal τ definida en (ii) determina una estructura de álgebra de
Lie en z y J : z → End(V ) puede ser vista como una representación real del álgebra
de Lie (z, τ ) en V . Más aún, h, i|V ×V es un producto interno Jz -invariante y por
parte (ii) del teorema, h, i|z×z es ad z-invariante, donde ad denota la representación
adjunta del álgebra de Lie (z, τ ) (se entiende por invariancia que las transforma-
ciones en cuestión sean antisimétricas respecto del producto interno).
Recı́procamente, tomemos g un álgebra de Lie real con un producto interno h, ig
ad g-invariante, y sea (π, V ) una representación real fiel de g con
T un producto interno
h, iV π(g)-invariante y sin subrepresentaciones triviales, i.e. x∈g Ker π(x) = 0.
2. DESCRIPCIÓN VIA REPRESENTACIONES 47
Definimos el álgebra de Lie 2-pasos nilpotente n = g ⊕ V con el corchete de Lie

dado por

 [g, g]n = [g, V ]n = 0, [V, V ]n ⊂ g,
(3.1)

h[v, w]n , xig = hπ(x)v, wiV ∀ x ∈ g, v, w ∈ V,
y tomamos en n el producto interno h, i definido por
h, i|g×g = h, ig , h, i|V ×V = h, iV , hg, V i = 0. (3.2)
Notar que g constituye el centro de n , pues (π, V ) no tiene subrepresentaciones

triviales. Además V es el complemento ortogonal del centro respecto de h, i. Si
N es el grupo de Lie simplemente conexo con álgebra de Lie n , tomamos en N
la métrica invariante a izquierda determinada por h, i obteniendo ası́ la variedad
Riemanniana (N, h, i) . Es claro por (3.1) y (3.2) que las tranformaciones {Ja }a∈z
definidas en (1.2) para (N, h, i) son exactamente las {π(x)}x∈g , luego (N, h, i) no
tiene factor euclı́deo pues (π, V ) es fiel (ver I,Nota 2.2). Obtenemos entonces que
(N, h, i) es un espacio naturalmente reductivo sin factor euclı́deo, pues π(g) es una
subálgebra de Lie de so(V, h, iV ) y como π(x)π(y) − π(y)π(x) = π([x, y]) para todo
x, y ∈ g, entonces τx = ad x ∈ so(g, h, ig ) para todo x ∈ g.
Nota 2.1. Si un álgebra de Lie real g admite un producto interno ad g-invariante,
entonces g debe ser un álgebra de Lie compacta, i.e. debe cumplir cualquiera de las
siguientes condiciones equivalentes:
(i) g es el álgebra de Lie de un grupo de Lie compacto,
(ii) La forma de Killing B(x, y) = tr(ad x ad y) de g es semidefinida negativa,
(iii) g = g ⊕ c con c el centro de g y g = [g, g] un ideal semisimple compacto
(i.e. la forma de Killing de g es definida negativa).
Hemos probado entonces el siguiente resultado.
Teorema 2.2. Sea g un álgebra de Lie compacta con un producto interno h, ig
ad g-invariante y sea (π, V ) una representación real fiel de g sin subrepresentaciones
triviales con un producto interno h, iV π(g)-invariante. Entonces el grupo 2-pasos
nilpotente (N, h, i) can álgebra de Lie n = g ⊕ V definida en (3.1) y h, i definido
en (3.2) es un espacio naturalmente reductivo sin factor euclı́deo. Más aún, todo
grupo 2-pasos nilpotente (N, h, i) sin factor euclı́deo que es naturalmente reductivo
se puede construir de esta manera.
Nota 2.3. Si la representación (π, V ) de g no es fiel y tiene alguna subrep-
resentación trivial entonces
T tomamos las descomposiciones ortogonales g = g1 ⊕
Ker(π) y V = V1 ⊕ x∈g Ker(π(x)). Es fácil ver que g1 es un ideal de g y el sube-
spacio V1 de V es g-invariante. Si llamamos π1 = π|g1 , entonces (π1 , V1 ) es una
representación fiel de g1 sin subrepresentaciones triviales. Luego el álgebra de Lie
2-pasos nilpotente correspondiente a g y (π, V ) es de la forma n = n1 ⊕ Rk , donde
n1 = g1 ⊕ V1 es el álgebra 2-pasos correspondiente a la representación T (π1 , V1 ) de g1
y Rk es un ideal abeliano y central de n , con k = dim Ker(π)+dim x∈g Ker(π(x)).
El respectivo grupo con la métrica invariante a izquierda es el producto Riemanni-
ano (N, h, i) = (N1 , h, i|n1 ×n1 ) × Rk , donde Rk es el factor euclı́deo de (N, h, i) (ver
I,Nota 2.2).
3. Preliminares sobre representaciones

Sea g un álgebra de Lie real o compleja. Si V es un espacio vectorial complejo
(resp. real) de dimensión finita, una representación compleja de g en V (resp. real)
es un morfismo de álgebras de Lie π : g → End(V, C) (resp. End(V, R)), i.e. π
es R-lineal o C-lineal según corresponda y cumple π([x, y]) = π(x)π(y) − π(y)π(x)
para todo x, y ∈ g. El par (π, V ) es también llamado un g-módulo y π una acción
de g en V . Si x ∈ g y v ∈ V escribiremos a veces x.v en lugar de π(x)v.
Un morfismo entre representaciones complejas (resp. reales) es una función C-
lineal (resp. R-lineal) f : V → W satisfaciendo f (x.v) = x.f (v) para todo x ∈ g, v ∈
V . Los morfismos son también llamados operadores de entrelazamiento. Denotemos
por Homg (V, W ) al conjunto de todos los morfismos de g-módulos entre V y W .
Si V = W llamamos a dicho conjunto Endg (V ). Un isomorfismo es un morfismo
biyectivo, y dos g-módulos V, W isomorfos son llamados también equivalentes (V '
W ).
Un g-módulo V se dice irreducible si no posee subespacios distintos de {0} y
V π(g)-invariantes, i.e. llevados invariantes por π(x) para todo x ∈ g. Denotemos
al conjunto de representaciones irreducibles complejas (resp. reales) por Irr(g, C)
(resp. Irr(g, R)). Si g es compacta (ver Nota 2.1), es fácil ver que todo g-módulo
V tanto real como complejo posee un producto interno h, i π(g)-invariante, i.e.
hπ(x)v, wi = −hv, π(x)wi para todo x ∈ g, v, w ∈ V . Luego toda representación
real o compleja de una g compacta se descompone como suma directa de subrepre-
sentaciones irreducibles.
Describiremos primero las representaciones complejas irreducibles de un álgebra

de Lie compacta g . Daremos sólo un breve repaso, para un estudio más completo
referimos a [Wa],[Kn].
Denotemos por gC al álgebra de Lie compleja C ⊗R g con el corchete de Lie
definido por [a ⊗ x, b ⊗ y] = ab ⊗ [x, y] para todo a, b ∈ C, x, y ∈ g. Se llama a gC la
complexificación de g y es claro que gC es un álgebra de Lie reductiva compleja, i.e.
gC = [gC , gC ] ⊕ c, con c el centro de gC . Si (π, V ) es una representación compleja
de g entonces (π, V ) define una representación compleja (π̃, V ) de gC , dada por
π̃(a ⊗ x) = aπ(x) : V → V para todo a ∈ C, x ∈ g. Se cumple que la aplicación
(π, V ) → (π̃, V ) es una biyección entre el conjunto de representaciones complejas de
g y el de gC . Luego basta con describir las representaciones complejas irreducibles
de un álgebra de Lie reductiva compleja.
Por comodidad, denotaremos también por g a la complexificación gC . Si h es
una subálgebra de Cartan de g denotamos por Φ el conjunto de raı́ces de g respecto
de h , i.e. α ∈ Φ si y sólo α 6= 0 y
gα = {x ∈ g : [h, x] = α(h)x, h ∈ h} 6= 0.
Elegimos una cámara de Weil y denotamos por Φ+ y ∆ a los conjuntos de raı́ces
positivas y de raı́ces simples respectivamente. Los espacios gα con α ∈ Φ son
unidimensionales y
M
g=h⊕( gα ).
α∈Φ
La restricción a h ∩ [g, g] de la forma de Killing B(x, y) = tr(ad x ad y) de g es no

degenerada, luego la extendemos mediante cualquier forma simétrica no degenerada
del centro c de g (el cual cumple c ⊂ h) a una forma invariante no degenerada de
3. PRELIMINARES SOBRE REPRESENTACIONES 49
todo h , denotada también por B. Tenemos entonces que para cada α ∈ Φ existe
un único hα ∈ h tal que B(h, hα ) = α(h) para todo h ∈ h. Si ponemos
M M
n+ = gα , n− = gα ,
α∈Φ+ −α∈Φ+
entonces g = h ⊕ n+ ⊕ n− . A la subálgebra b = h ⊕ n+ se la llama subálgebra de

Borel de g .
Sea (π, V ) una representación compleja de g . Si λ ∈ h∗ , el espacio de fun-
cionales lineales de h , definimos el espacio peso asociado a λ por
Vλ = {v ∈ V : h.v = λ(h)v, h ∈ h}.
Si Vλ 6= 0 decimos que λ es un peso de V y denotamos por P (V ) el conjunto de
todos los pesos de V . Se cumple que
M
V = Vµ ,
µ∈P (V )
y es fácil ver que xα .Vλ ⊂ Vλ+α para todo xα ∈ gα y λ ∈ h∗ . Un λ ∈ P (V ) se

dice ser peso máximo de V si existe v ∈ Vλ − {0} tal que n+ .v = 0. Notar que
esta última definición depende de la elección de la cámara de Weil que hayamos
hecho. Un peso dominante integral de g es un λ ∈ h∗ tal que λ( α(h2 α ) hα ) ∈ Z≥0
para todo α ∈ Φ. En realidad, es suficiente que esto ocurra para los α ∈ ∆. Notar
que si g tiene centro c 6= 0 entonces todo λ ∈ c∗ extendido trivialmente a todo h
(i.e. λ|h∩[g,g] ≡ 0) es un peso dominante integral de g .
Los siguientes dos teoremas dan la clasificación de Cartan-Weil de las repre-
sentaciones complejas irreducibles de dimensión finita de g .
Teorema 3.1. Si (π, V ) es una representación compleja irreducible de di-
mensión finita de un álgebra de Lie reductiva compleja g entonces existe λ peso
máximo de (π, V ) tal que
(i) λ es dominante integral de g .
(ii) dim Vλ = 1.
(iii) Si w ∈ V cumple que n+ .w = 0 entonces P w ∈ Vλ .
r
(iv) Todo µ ∈ P (V ) es de la forma µ = λ − i=1 ni αi con ni ∈ Z≥0 , donde
∆ = {α1 , ..., αr } son las raı́ces simples de g .
Teorema 3.2. Sea g un álgebra de Lie reductiva compleja.
(i) Para cada Λ peso dominante integral de g existe una representación com-
pleja irreducible de dimensión finita (πΛ , VΛ ) de g teniendo peso máximo
Λ.
(ii) Si (π, V ) es una representación compleja irreducible de dimensión finita
de g entonces existe un Λ peso dominante integral de g tal que (π, V ) es
equivalente a (πΛ , VΛ ).
(iii) (πΛ , VΛ ) es equivalente a (πΛ0 , VΛ0 ) si y sólo si Λ = Λ0 .
Si ∆ = {α1 , ..., αr }, entonces los pesos dominantes integrales {Λ1 , ..., Λr },
2
definidos por Λi ( αα (h αj )
hαj ) = δij son llamados pesos fundamentales de g .
j
Cuando g es semisimple, todo peso dominante integral Λ de g es de la forma
Xr
Λ= ni Λi , ni ∈ Z≥0 .
i=1
Estudiaremos ahora las representaciones reales de un álgebra de Lie compacta

g y la interacción existente con las representaciones complejas de g . Comenzare-
mos definiendo estructuras adicionales en una representación compleja, siguiendo
esencialmente [BtD].
Sea V un g-módulo complejo irreducible. Una estructura real sobre V es una
función g-invariante J : V → V conjugada lineal (i.e. J(v + w) = Jv + Jw y
J(cv) = cv para todo v, w ∈ V, c ∈ C) tal que J 2 = I. Una estructura cuaterniónica
sobre V es una función g-invariante J : V → V conjugada lineal tal que J 2 = −I.
Una representación compleja se dice de tipo real (resp. tipo cuaterniónica)
si admite una estructura real (resp. cuaterniónica), y se dice de tipo compleja si
no admite estructuras reales ni cuaterniónicas. Al conjunto de representaciones
complejas irreducibles de g de un cierto tipo lo denotamos por Irr(g, C)F , con F =
R, C, H según corresponda.
Notación 3.3. Si V es un g-módulo real denotamos por VC al espacio vectorial
complejo C⊗R V (complexificación de V ), el cual tiene una acción natural de g dada
por x.(c ⊗ v) = c ⊗ (x.v). Luego VC es un g-módulo complejo. Si W es un g-módulo
complejo y existe un módulo real V tal que W = VC , entonces ponemos WR = V .
A veces veremos a un g-módulo complejo W como espacio vectorial real, el cual
con la misma acción de g se transforma en un g-módulo real, el cual será denotado
también por W .
Introduciremos ahora los diferentes tipos para representaciones reales.
Definición 3.4. Sea V un g-módulo real irreducible. Decimos que
(i) V es de tipo real si VC ∈ Irr(g, C).
(ii) V es de tipo complejo si V = W con W ∈ Irr(g, C)C , visto como espacio
vectorial real.
(iii) V es de tipo cuaterniónico si V = W con W ∈ Irr(g, C)H visto como
espacio vectorial real.
Análogamente al caso complejo, denotemos al conjunto de representaciones
reales irreducibles de g de un cierto tipo por Irr(g, R)F , con F = R, C, H según
corresponda.
Si W ∈ Irr(g, C), denotamos por W al C-espacio vectorial con la misma estruc-
tura aditiva de W pero con multiplicación escalar dada por (c, w) → cw, usando
la multiplicación en W . Con la misma acción de g , W es otra representación
compleja de g , a la cual llamamos representación conjugada de W . Es fácil ver
que W es equivalente a la representación dual W ∗ de W , la cual está definida por
(x.λ)(w) = −λ(x.w) para todo x ∈ g, λ ∈ W ∗ , w ∈ W .
Se cumple que W ∈ Irr(g, C)C si y sólo si W 6' W . Denotamos entonces por
1
2 Irr(g, C)C al subconjunto de Irr(g, C)C conteniendo sólo uno de cada par {W, W }.
Teorema 3.5. Sea g un álgebra de Lie compacta.
(i) El conjunto Irr(g, F) de representaciones irreducibles de g sobre un F-
espacio vectorial (F = R, C) es la unión disjunta de los tres subconjuntos
Irr(g, F)R , Irr(g, F)C , Irr(g, F)H .
(ii) V ∈ Irr(g, R)F si y sólo si Endg (V ) = F.
(iii) Las siguientes aplicaciones son biyecciones,
Irr(g, R)R → Irr(g, C)R Irr(g, R)C ← 21 Irr(g, C)C
V → VC , W ← W,
3. PRELIMINARES SOBRE REPRESENTACIONES 51
Irr(g, R)H ← Irr(g, C)H

W ← W.
Más aún, dichas aplicaciones siguen siendo biyecciones si formamos los
conjuntos Irr(g, F)F0 con sólo un representante de cada clase de equivalen-
cia.
(iv) Si V ∈ Irr(g, R)C entonces VC = W ⊕ W para algún W ∈ Irr(g, C)C , y si
V ∈ Irr(g, R)H entonces VC = W ⊕ W para algún W ∈ Irr(g, C)H .
En lo que resta de la sección estudiaremos las llamadas acciones libres de mul-
tiplicidad. Referimos a [Ka],[Ho] para un estudio más completo.
Definición 3.6. Una representación compleja de dimensión finita (ρ, V ) de
un grupo de Lie compacto G se dice libre de multiplicidad si la descomposición en
suma directa de G-módulos irreducibles de la representación asociada de G en el
anillo de polinomios C[V ], contiene cada G-módulo irreducible con multiplicidad a
lo sumo uno. La acción de G en C[V ] es la dada por (g.p)(v) = p(ρ(g −1 )v) para
todo g ∈ G, p ∈ C[V ].
Si G es un grupo de Lie compacto conexo entonces GC , la complexificación de
G, es un grupo algebraico conexo y reductivo (ver [BtD]). Es claro que una repre-
sentación de G es libre de multiplicidad si y sólo si la correspondiente representación
de GC es libre de multiplicidad.
Probaremos ahora un lema sobre acciones libres de multiplicidad que nos será
muy útil en Secciones 5 y 6, para estudiar la conmutatividad de los grupos 2-pasos
nilpotentes naturalmente reductivos.
Lema 3.7. Denotamos por C∗ al grupo multiplicativo C − {0}.
(i) Una representación compleja V de un toro n-dimensional T n es libre de
multiplicidad si y sólo si el conjunto de pesos P (V ) ⊂ t∗ de V es lineal-
mente indepediente. En particular, si V es libre de multiplicidad entonces
dimC V ≤ n.
(ii) La acción de C∗ × C∗ × Sl(2, C) en C2 ⊕ C2 dada por
· ¸
aT
ρ(a, b, T ) = ∀ a, b ∈ C∗ , T ∈ Sl(2, C),
bT
es libre de multiplicidad.
(iii) La acción de C∗ × C∗ × C∗ × Sl(2, C) en C2 ⊕ C2 ⊕ C2 dada por
 
aT
ρ(a, b, c, T ) =  bT  ∀ a, b, c ∈ C∗ , T ∈ Sl(2, C),
cT
no es libre de multiplicidad.
Prueba. (i) Las representaciones complejas irreducibles de T n = Rn /Zn son todas
unidimensionales y de la forma
π([x]) = e2πiλ(x) , x ∈ Rn ,
para algún λ : Rn → R dado por
n
X
λ(x1 , ..., xn ) = kj xj , (k1 , ..., kn ) ∈ Zn (3.3)
j=1
(ver [BtD],p.107). Luego si (ρ, V ) es una representación compleja n-dimensional

de T n , entonces existirá una base {v1 , ..., vm } de V tal que
ρ([x])vj = e2πiλj (x) vj , x ∈ Rn ,
con λj como en (3.3) para algún elemento de Zn . El álgebra de Lie t de T n puede
ser identificada con Rn y su correspondiente acción en V estará dada por
x.vj = 2πiλj (x)vj , x ∈ t = Rn .
Analicemos ahora la acción de t en el anillo de polinomios C[V ]. Denotemos también
por zj al elemento de C[V ] dado por zj (v) = aj , donde v = a1 v1 +...+am vm . Como
zj es lineal es fácil ver que x.zj = zj (−x.v), luego
x.zj (v) = zj (−x.v) = zj (−2πiλ1 (x)a1 V1 − ... − 2πiλm (x)am vm )
= −2πiλj (x)aj = −2πiλj (x)zj (v)
y entonces
x.zj = −2πiλj (x)zj ∀ j = 1, ..., m. (3.4)
Usando que t actúa por derivaciones en C[V ] y (3.4) es fácil ver que un x ∈ t actúa
en un monomio de C[V ] por
x.(z1x1 ...zm
km
) = −2πi(k1 λ1 (x) + ... + km λm (x))z1k1 ...zm
km
.
Obtenemos entonces que C[V ] será libre de multiplicidad si y sólo si k1 λ1 + ... +
km λm 6= k10 λ1 + ...km 0 0
λm para todo (k1 , ..., km ) 6= (k10 , ..., km ) (∈ (Z≥0 )m ), pues
k1 km m
{z1 ...zm : (k1 , ..., km ) ∈ (Z≥0 ) } constituye una base de C[V ]. Esta última
condición es equivalente a que el conjunto {λ1 , ..., λm } sea Z-linealmente indepen-
diente, y como los λi satisface (3.3), esto es equivalente a decir que {λ1 , ..., λm } es
R-linealmente independiente, concluyendo ası́ la prueba de (i).
(ii) El álgebra de Lie de este grupo es C ⊕ C ⊕·sl(2, C) y¸tomamos como subálgebra

1 0
de Cartan a h = C ⊕ C ⊕ CH, donde H = ∈ sl(2, C). Tenemos que
0 −1
C[C ⊕ C ] = C[C ] ⊗ C[C ], y respecto de la acción de sl(2, C) cada copia de C[C2 ]
2 2 2 2
se descompone en irreducibles como

∞
M
C[C2 ] = Sn,
n=0
donde S = {polinomios homogéneos de grado n de C[C2 ]}. La representación S n

n
de sl(2, C) es la que tiene peso máximo nΛ1 , donde Λ1 es el peso fundamental de

sl(2, C).
Obtenemos entonces que, sólo para la acción de sl(2, C), el anillo de polinomios
se descompone
∞
M
C[C2 ⊕ C2 ] = Sn ⊗ Sk. (3.5)
n,k=0
Analicemos ahora la acción de un (a, b) ∈ C ⊕ C. Si {z1 , z2 , z3 , z4 } es una base de

C2 ⊕ C2 y denotamos, como en el caso anterior, a los polinomios coordenadas por
zj , es fácil ver que
(a, b).z1k1 z2k2 z3k3 z4k4 = (−(k1 + k2 )a − (k3 + k4 )b)z1k1 z2k2 z3k3 z4k4 .
4. GRUPOS 2-PASOS ASOCIADOS A REPRESENTACIONES 53
Esto implica que en cada subrepresentación S n ⊗S k de C[C2 ⊕C2 ] (ver (3.5) el centro
C ⊕ C actúa multiplicando escalarmente por −(na + kb) para todo (a, b) ∈ C ⊕ C.
Luego, si (n, k) 6= (n0 , k 0 ), entonces los pesos máximos de la representación de
0 0
C ⊕ C ⊕ sl(2, C) en S n ⊗ S k serán todos distintos a los de S n ⊗ S k . Además,
n k
es bien sabido que cada S ⊗ S es libre de multiplicidad como representación de
sl(2, C), ya que los pesos de S n son todos distintos (ver [Kn],p.111), obteniéndose
ası́ que la acción de C ⊕ C ⊕ sl(2, C) en C[C2 ⊕ C2 ] es libre de multiplicidad.
(iii) En este caso, usaremos el siguiente criterio (ver [Ho],p.11): La representación

V de un grupo algebraico conexo reductivo G es libre de multiplicidad si y sólo si
un subgrupo de Borel de G tiene una órbita abierta densa (Zariski) en V . Esto
implica que si V es libre de multiplicidad entonces
1
dim V ≤ (dim G + rango(G)) (3.6)
2
(ver [Ka],Lemma 3.10), pues la parte derecha de la desigualdad es exactamente la
dimensión de un subgrupo de Borel de G.
La desigualdad (3.6) en nuestro caso nos queda 6 ≤ 12 (5 + 3) = 4, lo cual es
una contradicción y prueba que esta acción no es libre de multiplicidad. ¤
4. Grupos 2-pasos nilpotentes asociados a representaciones de álgebras

de Lie compactas
En Teorema 2.2 vimos que todo grupo 2-pasos nilpotente munido de una
métrica invariante a izquierda y sin factor euclı́deo que es naturalmente reductivo
puede ser construı́do de la siguiente manera.
4.1. Definimos una data como una terna (g, V, h, i), donde
(i) g es un álgebra de Lie compacta (ver Nota 2.1),
(ii) (π, V ) es una
T representación real y fiel de g sin subrepresentaciones triv-
iales, i.e. x∈g Ker π(x) = 0,
(iii) h, i es un producto interno en n = g ⊕ V g-invariante, i.e. hg, V i = 0,
h, ig := h, i|g×g es ad g-invariante y h, iV := h, i|V ×V es π(g)-invariante.
Una data (g, V, h, i) determina un grupo de Lie 2-pasos nilpotente, denotado por
N (g, V ) , cuya álgebra de Lie n estará dada por (3.1), y se toma en N(g ,V)
la métrica invariante a izquierda determinada por h, i, obteniendo ası́ la variedad
Riemanniana (N (g, V ), h, i).
Nota 4.2. Esta construcción es muy parecida a la de un grupo de tipo-H,
los cuales pueden ser definidos via una representación real (J, v) de un álgebra de
Clifford Cl(z), poniendo n = z ⊕ v y definiendo el corchete igual que en (3.1) (ver
I,§2).
Notar que la contrucción del grupo N (g, V ) hecha en 4.1 podrı́a depender del
producto interno h, i en la data (g, V, h, i) , y luego deberı́a ser llamado N (g, V, h, i),
pero veremos en la siguiente proposición que esto no sucede.
Proposición 4.3. Si N y N 0 denotan los grupos 2-pasos nilpotentes correspon-
dientes a las datas (g, V, h, i) y (g, V, h, i0 ) respectivamente, entonces N es isomorfo
a N 0.
Prueba. Como N y N 0 son simplemente conexos por definición, basta probar que
sus respectivas álgebras de Lie n y n0 son isomorfas. Los corchetes [, ]n y [, ]n0 están
definidos en (3.1) usando h, i = h, ig + h, iV y h, i0 = h, i0g + h, i0V respectivamente.
Supongamos que
hx, yig = hP x, yi0g ∀ x, y ∈ g, hv, wiV = hQv, wi0V ∀ v, w ∈ V,
luego P es una transformación simétrica definida positiva sobre g respecto de h, ig
y h, i0g , y Q es una simétrica definida positiva sobre V respecto de h, iV y h, i0V .
Veamos que Q ∈ Endg (V ).
Si x ∈ g y v, w ∈ V entonces
hQπ(x)v, wi0V = hπ(x)v, wiV = −hv, π(x)wiV
(3.7)
= −hQv, π(x)wi0V = hπ(x)Qv, wi0V ,
lo que implica que Qπ(x) = π(x)Q para todo x ∈ g, i.e. Q ∈ Endg (V ). Luego
1 1
Q 2 ∈ Endg (V ) también. Veamos ahora que (P, Q 2 ) : n = g ⊕ V → n0 = g ⊕ V
1 1
es un isomorfismo de álgebras de Lie, i.e. que se cumple [Q 2 v, Q 2 w]n0 = P [v, w]n
para todo v, w ∈ V .
Si x ∈ g y v, w ∈ V entonces
1 1 1 1 1 1
h[Q 2 v, Q 2 w]n0 , xi0g = hπ(x)Q 2 v, Q 2 wi0V = hQ 2 π(x)Q 2 v, wi0V
= hQπ(x)v, wi0V = hπ(x)v, wiV
= h[v, w]n , xig = hP [v, w]n , xi0g ,

con lo cual queda probada la proposición. ¤
Nota 4.4. Por I,Teorema 3.6 tenemos que un N (g, V ) es un grupo de tipo-H
si y sólo si g = R y V es cualquier representación de R como en 4.1,(ii), o g = su(2)
y V = C2 ⊕ ... ⊕ C2 , donde C4 denota la representación standard de su(2) vista
como real.
Teorema 4.5. Sean (g, V, h, i) y (g0 , V 0 , h, i0 ) dos datas como en 4.1. Entonces
los correspondientes grupos 2-pasos (N (g, V ), h, i) y (N (g0 , V 0 ), h, i0 ) son isométricos
si y sólo si existen φ : (g, h, i) → (g0 , h, i0 ) isomorfismo isométrico y T : (V, h, i) →
(V 0 , h, i0 ) isometrı́a tales que
T π(x)T −1 = π 0 (φx) ∀ x ∈ g.
Prueba. Supongamos primero que son isométricos. Por I,Teorema 2.1,(i) tenemos
que existe A : n → n0 un isomorfismo de álgebras de Lie tal que
hAx, Ayi0 = hx, yi ∀ x, y ∈ n, (3.8)
donde n = g ⊕ V y n0 = g0 ⊕ V 0 son las álgebras de Lie de N (g, V ) y N (g0 , V 0 )
respectivamente. Como g y g0 son los centros de n y n0 , entonces Ag = g0 . Además,
debido a (3.8), también se debe cumplir que AV = V 0 . Luego A es de la forma
A = (φ, T ) con φ : (g, h, i) → (g0 , h, i0 ) y T : (V, h, i) → (V 0 , h, i0 ) isometrı́as. Puesto
que A es isomorfismo, tenemos que [T v, T w] = φ[v, w] para todo v, w ∈ V , luego es
fácil ver análogamente a la prueba de (1.4) que
T π(x)T −1 = π 0 (φx) ∀ x ∈ g. (3.9)
Además, (3.9) implica que φ = (π 0 )−1 ◦ Ad(T ) ◦ π, y como π : g → π(g) ⊂ End(V ),

Ad(T ) : End(V ) → End(V 0 ) y π 0 : g → π 0 (g0 ) ⊂ End(V 0 ) son isomorfismos de
álgebras de Lie entonces φ : g → g0 también lo es.
Recı́procamente, si existen φ y T con esas propiedades, es fácil probar usando
(3.9) que
A := (φ, T ) : n = g ⊕ V → n0 = g0 ⊕ V 0
es un isomorfismo de álgebras de Lie, el cual satisface (3.8) pues φ y T son isometrı́as.
Luego (N (g, V ), h, i) y (N (g0 , V 0 ), h, i0 ) son isométricos por I,Teorema 2.1,(i). ¤
Se deduce entonces de Teorema 4.5 que si g no es isomorfa a g0 , entonces

dos grupos 2-pasos de la forma (N (g, V ), h, i), (N (g0 , V 0 ), h, i0 ) nunca pueden ser
isométricos. Fijamos entonces un álgebra de Lie compacta g , y estudiamos los
grupos 2-pasos N(g ,V) que se pueden construir con las distintas representaciones
V de g.
Proposición 4.6. Sea g un álgebra de Lie compacta y V , V 0 dos representa-
ciones de g como en 4.1,(ii).
(i) Si existen φ ∈ Aut(g) y T : V → V 0 tales que T π(x)T −1 = π 0 (φx) para
todo x ∈ g, entonces N (g, V ) ' N (g, V 0 ).
(ii) En particular, si V ' V 0 entonces N (g, V ) ' N (g, V 0 ).
(iii) Supongamos que Aut(g) = Int(g), el grupo de automorfismos interiores
de g . Si h, i y h, i0 son productos internos g-invariantes y (N (g, V ), h, i)
es isométrico a (N (g0 , V 0 ), h, i0 ) entonces V ' V 0 .
Prueba. (i) Fijemos en g un producto interno ad g-invariante h, ig . Tomamos h, iV
un producto interno π(g)-invariante en V y definimos h, iV 0 en V 0 por
hv, wiV 0 := hT −1 v, T −1 wiV ∀ v, w ∈ V 0 .
El producto interno h, iV 0 es π 0 (g)-invariante, pues para todo x ∈ g, v, w ∈ V 0
tenemos
hπ 0 (x)v, wi0 = hT π(φ−1 x)T −1 v, wi0 = hπ(φ−1 x)T −1 v, T −1 wi
= −hT −1 v, π(φ−1 x)T −1 wi = −hT −1 v, T −1 π 0 (x)wi
= −hv, π 0 (x)wi0 .
Definimos los grupos N (g, V ) y N (g, V 0 ) usando los productos internos h, i = h, ig ⊕
h, iV y h, i0 = h, ig ⊕ h, iV 0 respectivamente. Por Proposición 4.3 sabemos que tal
definición no depende del producto interno invariante elegido.
Veamos ahora que (φ, T ) : n = g ⊕ V → n0 = g ⊕ V 0 es un isomorfismo de
álgebras de Lie. Para todo x ∈ g y v, w ∈ V tenemos
h[T v, T w]n0 , xig = hπ 0 (x)T v, T wiV 0 = hT π(φ−1 x)v, T wiV 0
= hπ(φ−1 x)v, wiV = h[v, w]n , φ−1 xig = hφ[v, w]n , xig ,
luego [T v, T w]n0 = φ[v, w]n para todo v, w ∈ V y ası́ (φ, T ) es un isomorfismo. Esto
implica que N (g, V ) ' N (g, V 0 ), pues ambos son simplemente conexos.
(ii) Sigue de (i) poniendo φ = I.

(iii) Por Teorema 4.5 tenemos que existen φ ∈ Aut(g) y T : V → V 0 tales que
T π(x)T −1 = π 0 (φx) para todo x ∈ g. Como Aut(g) = Int(g) entonces existen
x1 , ..., xr ∈ g tales que φ = ead x1 ...ead xr . Si Ti = eπ(xi ) es fácil ver que π 0 ◦ ead xi =
Ad(Ti ) ◦ π 0 , luego
π 0 (φx) = Tr ...T1 π 0 (x)T1−1 ...Tr−1 ∀ x ∈ g,
y en conecuencia
π(x) = T −1 Tr ...T1 π 0 (x)T1−1 ...Tr−1 T ∀ x ∈ g.
0
Esto implica que V ' V . ¤
El siguiente ejemplo muestra que la recı́proca de Proposición 4.6,(ii) no es cierta.

También muestra que en (iii) de la misma proposición, la condición Aut(g) = Int(g)
no puede ser removida.
Ejemplo 4.7. Consideremos el álgebra de Lie simple real so(8). Su complex-
ificación so(8, C) es de tipo D4 , y el conjunto de raı́ces simples respecto de la
subálgebra de Cartan h y la cámara de Weil usuales, está dado por
∆ = {e1 − e2 , e2 − e3 , e3 − e4 , e3 + e4 },
donde los ei se definen también de la manera usual (ver [Kn],p.63). Se cumple que
Aut(so(8))/ Int(so(8)) ' S 3 ,
donde S 3 denota el grupo de permutaciones de tres elementos, el cual actúa en ∆
dejando fija a e2 − e3 y permutando el resto (ver [H3],p.478). Las representaciones
fundamentales de so(8) son
C8 , Λ2 C8 , ∆4+ , ∆4− ,
donde (π, C8 ) es la representación standard y (π+ , ∆4+ ), (π− , ∆4− ) son las llamadas
representaciones spin, las cuales también tienen dimensión 8 y son de tipo real, i.e.
son las complexificaciones de ciertas representaciones reales (∆4+ )R , (∆4− )R de so(8)
(ver [BtD]). Los correspondientes pesos fundamentales son
1 1
Λ = {e1 , e1 + e2 , (e1 + e2 + e3 + e4 ), (e1 + e2 + e3 − e4 )}.
2 2
Si (π, V ) es una representación compleja irreducible de un álgebra de Lie semisimple
g y φ ∈ Aut(g), entonces (π◦φ, V ) también lo es. Luego Aut(g) actúa en el conjunto
de representaciones de g , y se puede ver fácilmente que Aut(g)/ Int(g) actúa en
el conjunto de pesos dominantes integrales de g . Más aún, es claro que actúa
exactamente de la misma forma que en las raı́ces.
Luego, en el caso de so(8), es fácil chequear que S 3 actúa en Λ dejando fijo a
e1 + e2 y permutando los otros tres pesos. Esto implica que existe φ ∈ Aut(so(8))
tal que
(π ◦ φ, C8 ) ' (π 0 , ∆4+ ).
Luego las correspondientes representaciones reales (π ◦ φ, R8 ) y (π 0 , (∆4+ )R ) deben
ser también equivalentes y por lo tanto existe T : (∆4+ )R → R8 tal que
T π 0 (x)T −1 = π(φx) ∀ x ∈ g.
Se sigue de Proposición 4.6,(i) que N (so(8), R ) ' N (so(8), (∆4+ )R ). Razonando
8
análogamente, se obtiene lo mismo para N (so(8), (∆4− )R ). Sin embargo las repre-
sentaciones R8 , (∆4+ )R , (∆4− )R no son equivalentes entre sı́, pues de lo contrario lo
serı́an sus correspondientes complexificaciones. Obtenemos ası́ un contraejemplo

para la recı́proca de Proposición 4.6,(ii).
Si h, i es una métrica so(8)-invariante en n = so(8) ⊕ R8 , es fácil ver que la
métrica h, i0 en n0 = so(8)⊕(∆4+ )R definida de tal forma que (φ, T ) sea una isometrı́a
es también so(8)-invariante. Luego por Teorema 4.5 tenemos que (N (so(8), R8 ), h, i)
es isométrico a (N (so(8), (∆4+ )R ), h, i0 ), obteniendo un contraejemplo para Proposición
4.6,(iii), si sacamos la condición Aut(g) = Int(g).
Nota 4.8. La situación que se plantea en Ejemplo 4.7 también ocurre en el caso
tipo-H. En efecto, si dim z ≡ 3 (mod 4), el álgebra Cl(z) tiene dos representaciones
irreducibles no equivalentes v1 y v2 , y sin embargo n1 = z ⊕ v1 es isomorfa a
n2 = z ⊕ v2 (ver Nota 4.2 y I,§2).
Estudiaremos ahora las clases de isometrı́as de las métricas g-invariantes en un
grupo 2-pasos N (g, V ) fijo.
Proposición 4.9. Si h, i y h, i0 son dos productos internos g-invariantes en
n = g ⊕ V tales que h, i|g×g = h, i0 |g×g entonces (N (g, V ), h, i) es isométrico a
(N (g, V ), h, i0 ).
Prueba. Llamemos h, iV = h, i|V ×V y h, iV 0 = h, i0 |V ×V y supongamos que hv, wi0V =
hP v, wiV para todo v, w ∈ V . Luego P es una transformación simétrica definida
positiva de V respecto de h, iV y h, iV 0 . Como h, iV y h, iV 0 son g-invariantes entonces
1
P ∈ Endg (V ) (ver (3.7)), y luego P 2 ∈ Endg (V ) también.
1 1
Esto significa que P 2 π(x) = π(x)P 2 para todo x ∈ g, y como
1 1
hP 2 v, P 2 wiV = hP v, wiV = hv, wi0V ∀ v, w ∈ V,
1
entonces (I, P ) : n = g ⊕ V → n = g ⊕ V determina una isometrı́a entre
2
(N (g, V ), h, i0 ) y (N (g, V ), h, i) (ver Teorema 4.5). ¤
Corolario 4.10. Si g es simple entonces existe una única métrica g-invariante

en N (g, V ), salvo conforme equivalencia.
Prueba. Se sigue del hecho de que hay un sólo producto interno ad g-invariante en
g salvo múltiplo, y luego usando Proposición 4.9 y II,Nota 3.3. ¤
Analicemos ahora qué forma debe tener un producto interno g-invariante en

g. Consideremos el caso en que g es semisimple. Si B es la forma de Killing
de g , entonces B es definida negativa en g (pues g es compacta). Luego −B
define un producto interno g-invariante en g , más aún todo φ ∈ Aut(g) satisface
φ ∈ O(g, −B).
Proposición 4.11. Sean h, i y h, i0 dos productos internos g-invariantes en
n = g ⊕ V , con g semisimple. Supongamos que
hx, yi = −B(P x, y), hx, yi0 = −B(P 0 x, y), ∀ x, y ∈ g.
0
(i) Si (N (g, V ), h, i) es isométrico a (N (g, V ), h, i ) entonces existe φ ∈ Aut(g)
tal que φP φ−1 = P 0 .
(ii) Si g = g1 ⊕ ... ⊕ gk es la descomposición en ideales simples de g y se
cumple que gi 6' gj para todo i 6= j, entonces N (g, V ), h, i) es isométrico
a (N (g, V ), h, i0 ) si y sólo si h, i|g×g = h, i0 |g×g .
(iii) Si g satisface las hipótesis de (ii), entonces las métricas g-invariantes en

un grupo 2-pasos N (g, V ), salvo isometrı́a, están parametrizadas por
{(λ1 , ..., λk ) : λk > 0}.
Prueba. (i) Por Teorema 4.5 existe (φ, T ) : (g ⊕ V, h, i) → (g ⊕ V, h, i0 ) isometrı́a tal
que T π(x)T −1 = π(φx) para todo x ∈ g. Luego φ = π −1 Ad(T )π ∈ Aut(g). Como
φ ∈ O(g, −B) entonces para todo x, y ∈ g
−B(φP x, y) = −B(P x, φ−1 y) = hx, φ−1 yi
hφx, yi0 = −B(P 0 φx, y).

Esto implica que φP = P 0 φ, concluyendo la prueba de (i).
(ii) Es fácil ver que para todo i 6= j, gi ⊥ gj respecto de cualquier producto interno
g-invariante. Luego P y P 0 deben ser de la forma
   0 
λ1 Ig1 λ1 Ig1
 ..   .. 
P = . , P0 =  .  , λi , λ0i > 0.
λk I g k λ0k Igk
Usando (i) debe existir φ ∈ Aut(g) tal que φP φ−1 = P 0 . Como φ debe preservar
los gi , pues son no isomorfos entre sı́, obtenemos que λi = λ0i para todo i = 1, ..., k.
Luego P = P 0 y en consecuencia h, i|g×g = h, i0 |g×g .
Recı́procamente, si h, i|g×g = h, i0 |g×g entonces los correspondientes espacios
son isométricos por Proposición 4.9.
(iii) Se sigue claramente de (ii). ¤

Nota 4.12. En vista de Proposición 4.11,(iii), los grupos de tipo-H difieren de
los N (g, V ) en este caso, ya que en un grupo de tipo-H existe una única métrica de
tipo-H salvo isometrı́a.
En lo que resta de la sección, nos dedicaremos a calcular el grupo de isometrı́as
de un grupo 2-pasos naturalmente reductivo, i.e. de un grupo (N (g, V ), h, i), donde
la data (g, V, h, i) es como en 4.1. Notar que por (1.1), es suficiente calcular el
subgrupo de isotropı́a K del grupo de isometrı́as.
Consideremos primero el grupo U := {T ∈ K : T |g = I}. Por (1.4) tenemos
que T ∈ U si y sólo si T es ortogonal y T π(x)T −1 = π(x) para todo x ∈ g, luego
U = Endg (V ) ∩ O(V, h, i). Supongamos que
V = V1r1 ⊕ ... ⊕ Vkrk , Vi ∈ Irr(g, R), Vi 6' Vj ∀ i 6= j,
i.e. los subespacios Vlrl
= Vl ⊕ ... ⊕ Vl (rl -copias), son las componentes isotı́picas
de V . Se sigue entonces de Teorema 3.5,(ii), que
Endg (V ) = gl(r1 , F1 ) ⊕ ... ⊕ gl(rk , Fk ),
con Fl = R, C, H según Vl sea de tipo real, complejo a cuaterniónico (ver Definición
3.4), donde gl(r, F) denota el álgebra de Lie de matrices r × r con coeficientes en el
anillo F. Cada A = (aij ) ∈ gl(rl , Fl ) actúa en Vlrl mediante la matriz
 
a11 Il · · · a1rl Il
 .. .. .. 
 . . . , (3.10)
arl 1 Il ··· arl rl Il
donde Il denota la matriz identidad de Vl . Luego
U = U1 × ... × Uk
con Ui = O(ri ), U(ri ), Sp(ri ) según Vi sea de tipo real, complejo o cuaterniónico
respectivamente. Antes de dar el resultado principal, necesitamos describir en el
siguiente lema la acción del centro de g en V .
Lema 4.13. Sea (g, V, h, i) una data como en 4.1 y escribamos g = g ⊕ c con
g = [g, g] y c el centro de g . Si V = V1 ⊕...⊕Vk es una descomposición ortogonal de
V en g-irreducibles entonces para cada i = 1, ..., k existe Ji : Vi → Vi antisimétrica
cumpliendo Ji2 = −I tal que
π(h) = λi (h)Ji para algún λi (h) ∈ R, ∀ h ∈ c.
Prueba. Como Vi es irreducible entonces Endg (Vi ) = R, C, H, luego un subespacio

de Endg (Vi ) que actúe por transformaciones antisimétricas que conmutan entre sı́
debe tener dimensión ≤ 1. Puesto que π(c) ⊂ Endg (Vi ) cumple dicha condición,
debe existir Ji ∈ Endg (Vi ) antisimétrica tal que π(c) ⊂ RJi . Además se debe
cumplir que Ji2 = λI, pues π(g)|Vi conmuta con Ji y Vi es una representación
irreducible. ¤
Teorema 4.14. Sea (N (g, V ), h, i) un grupo 2-pasos nilpotente naturalmente

reductivo, i.e. con la data (g, V, h, i) como en 4.1. Sea g = g ⊕ c con g = [g, g] y c
el centro de g .
(i) El álgebra de Lie k = Der(n) ∩ so(n, h, i) del subgrupo de isotropı́a K del
grupo de isometrı́as de (N (g, V ), h, i) está dada por
k = g ⊕ u, [g, u] = 0,
donde u = Endg (V ) ∩ so(V, h, i) y g actúa en n = g ⊕ V por (ad x, π(x))

para todo x ∈ g.
(ii) La componente conexa de K está dada por
K 0 = (G/ Ker π) × U 0 ,
donde U = Endg (V )∩O(V, h, i) y G es el grupo de Lie simplemente conexo

con álgebra de Lie g. Si denotamos también por π la correspondiente
representación de G en V , entonces cada g ∈ G actúa en n = g ⊕ V por
(Ad(g), π(g)).
(iii) Si V = V1r1 ⊕ ... ⊕ Vkrk con Vi ∈ Irr(g, R) y Vi 6' Vj para todo i 6= j,
entonces
U = U1 × ... × Uk ,
donde Ui = O(ri ), U(ri ), Sp(ri ) según Vi sea de tipo real, complejo o cu-
aterniónico respectivamente y Ui actúa en Viri como en (3.10).
(iv) Si Aut(g) = Int(g) entonces K = (G/ Ker π) × U .
Prueba. (i) Sea D = (A, B) ∈ k con A : g → g y B : V → V . Usando (1.5) tenemos

que
Bπ(x) − π(x)B = π(Ax) ∀ x ∈ g.
Denotemos por [, ]n el corchete de Lie de n y por [, ] el correspondiente a g y a

End(V ). Si x, y ∈ g entonces
π(A[x, y]) = Bπ([x, y]) − π([x, y])B = B[π(x), π(y)] − [π(x), π(y)]B
= [B, [π(x), π(y)]] = [[B, π(x)], π(y)] + [π(x), [B, π(y)]]
= [π(Ax), π(y)] + [π(x), π(Ay)] = π([Ax, y] + [x, Ay]).

Como π es fiel, esto implica que
A[x, y] = [Ax, y] + [x, Ay] ∀ x, y ∈ g,
y obtenemos entonces que A ∈ Der(g). Luego g y c son llevados invariantes por A,
y puesto que g es semisimple existe x1 ∈ g tal que A|g = ad x1 . Pero (ad x1 , π(x1 )) :
n = g ⊕ V → n = g ⊕ V es también una derivación antimétrica de n , pues h, i es
g-invariante y
π(x1 )π(x) − π(x)π(x1 ) = π([x1 , x]) ∀ x ∈ g,
(ver (1.5). Consideramos entonces el elemento de k dado por
(A0 , B 0 ) = (A − ad x1 , B − π(x1 )),
el cual satisface A0 |g ≡ 0 y A0 c ⊂ c. Probaremos ahora que A0 = 0.
Tomemos h ∈ c − {0}, luego B 0 π(h) − π(h)B 0 = π(A0 h). Si V = Vh ⊕
Ker(π(h)) es una descomposición ortogonal entonces π(g) preserva los subespacios
Vh y Ker(π(h)), pues conmuta con π(h). En particular, π(A0 h) preservca dichos
subespacios.
Si v, w ∈ Ker(π(h)) entonces
hπ(A0 h)v, wiV = hB 0 π(h)v − π(h)B 0 v, wiV = hB 0 v, π(h)wiV = 0,
luego π(A0 h)|Ker(π(h)) ≡ 0. Sea Vh = Vh1 ⊕ ... ⊕ Vhr una descomposición ortogonal
de Vh en subespacios g-irreducibles y fijamos un i. Por Lema 4.13 tenemos que
π(h)|Vhi = Ji (tomando si es necesario un múltiplo adecuado de h) y π(A0 h)|Vhi =
λi Ji , para algún λi ∈ R. Si llamamos Bi0 = pi ◦ B 0 |Vhi : Vhi → Vhi , donde pi : V → Vhi
es la proyección ortogonal, entonces Bi0 Ji − Ji Bi0 = λi Ji . Multiplicando a izquierda
por −Ji obtenemos −Ji Bi0 Ji − Bi0 = λi I, luego Ji−1 Bi0 Ji = Bi0 + λi I. Como Bi0
es antisimétrica, sus autovalores son todos imaginarios puros, luego λi = 0 para
todo i = 1, ..., r. Pero entonces π(A0 h) = 0 y como π es fiel entonces A0 h = 0.
Obtenemos entonces que A0 = 0.
Por lo tanto el elemento (A, B) ∈ k que habı́amos tomado nos queda
(A, B) = (ad x1 , π(x1 )) + (0, B 0 )
con B 0 = B − π(x1 ) ∈ Endg (V ) ∩ so(V, h, iV ) = u. Esto dice que k = g ⊕ u es
una suma directa de álgebras de Lie, pues g y u conmutan. Notar que estamos
identificando a g con {(ad x, π(x)) : x ∈ g} ⊂ k.
(ii) Tenemos que G es un grupo de Lie semisimple compacto. Cada g ∈ G define un

elemento de K actuando en n = g ⊕ V por (Ad(g), π(g)), donde Ad denota la rep-
resentación adjunta de G y π también denota la representación de G cuya derivada
es la representación (π, V ) de g restringida a g. En efecto, usando herramientas
básicas de Teorı́a de Lie, es fácil ver que π(g)π(x)π(g)−1 = π(Ad(g)x) para todo
x ∈ g, g ∈ G (see (1.4)). El kernel del morfismo G → K, g → (Ad(g), π(g)) está
5. CONMUTATIVIDAD EN GRUPOS 2-PASOS N (g, V ) 61
dado precisamente por Ker π, el cual es un grupo finito. Luego, hay un subgrupo
conexo de K isomorfo a G/ Ker π, denotado de la misma manera, con álgebra de
Lie g. Se sigue de (i) que K 0 = (G/ Ker π) × U 0 .
(iii) Ver el cálculo hecho antes de Lema 4.13.
(iv) Por (1.4) tenemos que

K = {(φ, T ) ∈ O(g, h, i) × O(V, h, i) : T π(x)T −1 = π(φx), x ∈ g}.
Por lo tanto, si (φ, T ) ∈ K entonces φ = π −1 ◦ Ad(T ) ◦ π ∈ Aut(g), y puesto que
Aut(g) = Int(g), debe existir g ∈ G tal que φ = Ad(g). Por (ii) tenemos que
(Ad(g), π(g)) ∈ K y luego π(g)−1 T ∈ U . Obtenemos entonces que (φ, T ) puede ser
escrito como
(φ, T ) = (Ad(g), π(g)).(I, π(g)−1 T ),
probando que K = (G/ Ker π) × U (notar que ambos subgrupos conmutan). ¤
Nota 4.15. Si n es un álgebra de tipo-H, entonces k = so(z) ⊕ u, donde cada
elemento de so(z) actúa en z naturalmente y puede ser extendido a v usando la
representación de Cl(z) en v , análogamente a Teorema 4.14,(i) (ver [Ri2] y I,Lema
2.5,(ii)). Con respecto a parte (ii), en un grupo de tipo-H tenemos análogamente
que K 0 = Spin(z) × U 0 (ver I,Lema 2.5,(iv)) y el grupo U puede ser calculado
exactamente como en (iii) (ver [Ri2]).
5. Conmutatividad en grupos 2-pasos N (g, V )

Estudiaremos en esta sección condiciones para la conmutatividad en los gru-
pos 2-pasos nilpotentes naturalmente reductivos. Hemos visto en Secciones 2 y 4
que todo grupo 2-pasos nilpotente con una métrica invariante a izquierda (sin fac-
tor euclı́deo) que es un espacio naturalmente reductivo puede ser construı́do de la
siguiente manera.
Tomamos g un álgebra de Lie compacta y V una representación real y fiel de g
sin subrepresentaciones triviales. Construı́mos el grupo 2-pasos nilpotente N (g, V )
con álgebra de Lie n = g ⊕ V definida como en (3.1) usando cualquier producto
interno h, i g-invariante. Por Proposición 4.3 N (g, V ) no depende de la eleción de
dicho producto interno. Finalmente tomamos en N (g, V ) la métrica Riemanniana
invariante a izquierda determinada por algún producto interno h, i g-invariante,
obteniendo ası́ un grupo 2-pasos naturalmente reductivo (N (g, V ), h, i). Dos pro-
ductos internos g-invariantes no definen necesariamente variedades isométricas. En
Sección 4 se prueban resultados parciales sobre esta cuestión. El grupo de isometrı́as
de un (N (g, V ), h, i) está calculado en Teorema 4.14.
Para estudiar la conmutatividad en los grupos 2-pasos (N (g, V ), h, i) usaremos

la idea llamada ”localización” vista en I,Teorema 6.10 (ver también I,Proposición
6.6), la cual afirma que (N (g, V ), h, i) es un espacio conmutativo si y sólo si (Kh , Nh )
es un par de Gelfand para todo h ∈ g, donde K es el subgrupo de isotropı́a (ver la
notación antes de I,Teorema 6.10).
Sea N un grupo 2-pasos nilpotente y K un subgrupo compacto de Aut(N ).
Si h ∈ z veremos ahora una condición necesaria y suficiente para que (Kh , Nh )
sea un par de Gelfand, usando acciones libres de multiplicidad. Tomamos V =
Vh ⊕ Ker(Jh ) la descomposición ortogonal y nh = Rh ⊕ Vh . Suponemos siempre
que Vh 6= 0, i.e. que Nh es un grupo de Heisenberg.
5.1. Como Jh : Vh → Vh es inversible entonces existe una descomposición

ortogonal Vh = V1 ⊕ ... ⊕ Vr , tal que para todo i, dim Vi = 2 y
· ¸
0 −ci
Jh |Vi = , con ci 6= 0.
ci 0
Si tomamos J : Vh → Vh dada por J|Vi = c1i Jh |Vi , entonces J define una estructura
compleja en Vh , pues J 2 = −I. Llamamos Ṽh al correspondiente espacio vectorial
complejo (Vh , J).
Como los elementos de Kh conmutan con Jh (ver (1.4)) entonces también con-
mutan con J, y luego Kh actúa por transformaciones C-lineales en Ṽh .
Teorema 5.2. [BJR1] (Kh , Nh ) es un par de Gelfand si y sólo si la acción de
Kh en el espacio vectorial complejo Ṽh es libre de multiplicidad.
Nota 5.3. Por I,Teorema 6.8 podemos reemplazar en el teorema a Kh por su
componente conexa Kh0 . Más aún, se puede considerar en el teorema la acción de
la complexificación (Kh0 )C de Kh0 en vez de la de Kh (ver comentario después de
Definición 3.6).
Antes de comenzar a estudiar la conmutatividad de un (N (g, V ), h, i), veamos
primero que podemos prescindir de la métrica g-invariante h, i.
Proposición 5.4. Si h, i y h, i0 son dos productos internos g-invariantes en
n = g ⊕ V entonces (N (g, V ), h, i) es conmutativo si y sólo si (N (g, V ), h, i0 ) lo es.
Prueba. Denotemos por K y K 0 los respectivos subgrupos de isotropı́a. Por Teo-
rema 4.14 sabemos que K 0 = (G/ Ker π) × U 0 y (K 0 )0 = (G/ Ker π) × (U 0 )0 con
U = Endg (V ) ∩ O(V, h, i) y U 0 = Endg (V ) ∩ O(V, h, i0 ).
Si hv, wi = hQv, wi0 para todo v, w ∈ V entonces Q ∈ Endg (V ) (ver (3.7)) y en
1 1
consecuencia la aplicación T → Q 2 T Q− 2 es un isomorfismo entre U y U 0 . Como
Q ∈ Endg (V ) entonces dicha aplicación también es un isomorfismo entre K 0 |V y
(K 0 )0 |V y por lo tanto si h ∈ g las acciones de Kh0 y (K 0 )0h en Ṽh son conjugadas
1
via Q 2 . Esto implica que una de estas acciones es libre de multiplicidad si y sólo si
la otra lo es, y entonces se sigue de Teorema 5.2 y la localización que (N (g, V ), h, i)
es un espacio conmutativo si y sólo si (N (g, V ), h, i0 ) lo es. ¤
De ahora en adelante entonces, analizaremos la conmutatividad de un grupo

2-pasos N (g, V ) a secas, y se dejará implı́cito el hecho de que N (g, V ) está munido
de una métrica Riemanniana invariante a izquierda, determinada por un producto
interno g-invariante en n = g ⊕ V .
Supongamos que g es semisimple. Tomamos h ∈ g un elemento regular de g
y denotamos por t el único toro maximal de g (subálgebra abeliana maximal) que
contiene a h. Podemos elegir h de tal forma que λ(h) 6= 0 para todo λ ∈ P (V )−{0},
donde P (V ) denota el conjunto de pesos de la representación V respecto de t . Luego
Ker π(h) = V0 , el espacio peso 0 de V . Notamos que por definición, λ ∈ P (V ) − {0}
si y sólo si existenTv, w ∈ V tales que π(h)v = λ(h)w y π(h)w = −λ(h)v para todo
h ∈ t, y que V0 = h∈t Ker π(h.
La componente conexa del subgrupo de isotropı́a K de N (g, V ) es K 0 =
(G/ Ker π) × U 0 , donde U actúa trivialmente en g y G lo hace mediante su rep-
resentación adjunta (ver Teorema 4.14). Esto implica que el álgebra de Lie del
5. CONMUTATIVIDAD EN GRUPOS 2-PASOS N (g, V ) 63
estabilizador Kh0 = {ϕ ∈ K 0 : ϕh = h} es Ch (g) ⊕ u, donde

Ch (g) = {x ∈ g : [x, h] = 0}
es el centralizador de h en g y u es el álgebra de Lie de U . Como h es regular
entonces Ch (g) = t y entonces, si T es el toro maximal de G con álebra de Lie t ,
obtenemos que
Kh0 = (T / Ker π) × U 0 , (3.11)
donde cada exp h1 ∈ T actúa en V por eπ(h1 ) (ver Teorema 4.14).
Tomemos la descomposición V = Vh ⊕ Ker Jh como en 5.1; en este caso Jh =
π(h) y entonces V = Vh ⊕ V0 . Supongamos que N (g, V ) es un espacio conmutativo.
Por localización se debe cumplir en particular que (Kh , N (g, V )h ) sea un par de
Gelfand. Usando ahora Teorema 5.2 y (3.11) obtenemos una condición necesaria
para la conmutatividad de N (g, V ) : la acción del grupo eπ(t) × U 0 en Ṽh debe ser
libre de multiplicidad, donde Ṽh es el espacio vectorial complejo definido en 5.1.
En el siguiente teorema probaremos que en el caso g semisimple, esta última
condición es también suficiente para la conmutatividad de un grupo 2-pasos N (g, V )
.
Teorema 5.5. Un grupo 2-pasos N (g, V ) con g semisimple es un espacio con-
mutativo si y sólo si el grupo eπ(t) × U 0 actúa libre de multiplicidad en Ṽ , donde t
es cualquier toro maximal de g , V = Ṽ ⊕ V0 es una descomposición ortogonal (V0
el espacio de peso 0 de V ) y Ṽ es visto como un espacio vectorial complejo igual
que en 5.1, para Jh = π(h) con h ∈ t tal que λ(h) 6= 0 para todo λ ∈ P (V ) − {0}.
Prueba. Si N (g, V ) es conmutativo, hemos probado arriba que esta condición se
debe cumplir.
Recı́procamente, supongamos que el grupo eπ(t) × U 0 actúa libre de multipli-
cidad en Ṽ . Sea h1 ∈ g − {0} y tomamos t1 cualquier toro maximal de g que
contenga a h1 . Según Teorema 5.2 debemos probar que Kh1 , el estabilizador de h1
en K, actúa libre de multiplicidad en Ṽh1 , donde V = Vh1 ⊕ Ker(π(h1 )).
Sea A ∈ Int(g) tal que At1 = t. Denotamos también por A su extensión a
n = g ⊕ V según Teorema 4.14, con lo cual A ∈ K. Como Aπ(x)A−1 = π(Ax) para
todo x ∈ g (ver (1.4)) y A conmuta con la acción de U , si h ∈ t1 y T ∈ U 0 tenemos
que
−1
Aeπ(h) T A−1 = Aeπ(h) A−1 T = eAπ(h)A T = eπ(Ah) T.
Esto implica que A(eπ(t1 ) × U 0 )A−1 = eπ(t) × U 0 . Pongamos V = Ṽ 1 ⊕ V01 como
en el teorema pero para t1 . Tenemos que AV01 = V0 , pues si v ∈ V01 entonces
π(h)Av = Aπ(A−1 h)v = 0 ∀ h ∈ t,
luego AṼ11 = Ṽ1 pues A es ortogonal. Como la acción de eπ(t) × U 0 en Ṽ es libre de
multiplicidad , entonces es claro que la acción de A−1 (eπ(t) × U 0 )A = eπ(t1 ) × U 0
en A−1 Ṽ = Ṽ 1 es también libre de multiplicidad, ya que son representaciones
equivalentes.
Pero eπ(t1 ) × U 0 ⊂ Kh01 y Vh1 ⊂ Ṽ 1 , pues h1 ∈ t1 y V01 ⊂ Ker(π(h1 )). Luego
también la acción de Kh01 en Vh1 es libre de multiplicidad, concluyendo ası́ la prueba.
¤
Daremos ahora dos familias de ejemplos de grupos 2-pasos N (g, V ) que son
espacios conmutativos. Probaremos en la siguiente sección que estos ejemplos son
esencialmente los únicos grupos 2-pasos N (g, V ) con V irreducible que son espacios
conmutativos.
Ejemplo 5.6. Consideremos el grupo 2-pasos N (su(n), Cn ), n ≥ 2, donde
n
C es la representación standard de su(n) y está vista como representación real.
Veamos que N (su(n), Cn ) es un espacio conmutativo, aplicando Teorema 5.5. El
subespacio t de su(n) dado por
   

 ih1 

  X
t= H= ..  : h = 0, h ∈ R
 . j j

 j 
ihn
es un toro maximal de su(n). Como Cn ∈ Irr(su(n), R)C tenemos que eπ(t) × U 0 =

eπ(t) × S1 (ver Teorema 4.14). El espacio peso cero es Cn0 = 0, y entonces en este
caso Ṽ = Cn (ver 5.1). El álgebra de Lie del grupo eπ(t) × S1 puede ser identificada
con t ⊕ R, y luego este grupo actúa en Cn con pesos {λ1 + λ, ..., λn + λ}, donde
λj (H, r) = ihj y λ(H, r) = ir para todo H ∈ t, r ∈ R. Puesto que tales pesos
son linealmente independientes, entonces la acción de eπ(t) × S1 en Cn es libre de
multiplicidad por Lema 3.7,(i). Luego, por Teorema 5.5, tenemos que N (su(n), Cn )
es un espacio conmutativo.
Ejemplo 5.7. Veamos que el grupo 2-pasos N (so(n), Rn ), n ≥ 2, también es
un espacio conmutativo, donde Rn denota la representación standard de so(n). En
este caso eπ(t) × U 0 = eπ(t) , puesto que Rn ∈ Irr(so(n), R)R . Si n = 2k + 1 tomamos
el toro maximal de so(n) dado por
   

 0 −h1 


  h1  


  0  

 . .. 
t= H=  : hj ∈ R ,

   


  0 −hk  


 

hk 0
y si n = 2k consideramos el mismo t pero con la última fila y columna borradas.
Es clarto que en ambos casos debemos analizar la acción de eπ(t) en Ck dada por
eπ(h) .(c1 , ..., ck ) = (ih1 c1 , ..., ihk ck ) (ver 5.1). El álgebra de Lie de eπ(t) puede
ser identificada con t , y entonces los pesos de dicha acción son {λ1 , ..., λk } con
λj (H) = ihj , los cuales son linealmente independientes. Por Lema 3.7 la acción
es libre de multiplicidad y entonces N (so(n), Rn ) es un espacio conmutativo por
Teorema 5.5.
Nota 5.8. Es fácil ver que los grupos 2-pasos N (so(n), Rn ) coinciden con los
llamados grupos 2-pasos nilpotentes libres en n generadores. La conmutatividad en
tales grupos ha sido probada ya en [BJR1], y la débil simetrı́a en [Z].
Para terminar la sección, reduciremos el análisis de la conmutatividad de un
N (g, V ) al caso en que g es semisimple, para poder hacer uso de Teorema 5.5.
Teorema 5.9. Sea g un álgebra de Lie compacta, g = g ⊕ c con g = [g, g] y
c el centro de g . Sea V una representación de g y llamemos también V a la cor-
respondiente representación restringida a g. Si N (g, V ) es un espacio conmutativo
entonces N (g, V ) también lo es.
6. CLASIFICACIÓN DE LOS N (g, V ) CONMUTATIVOS 65
Prueba. Supongamos que N (g, V ) es conmutativo. Si h ∈ g entonces la acción

de Kh0 en Ṽh es libre de multiplicidad por Teorema 5.2. El grupo K prerserva el
0
subespacio g y además es claro que K 0 |g⊕V ⊂ K , donde K denota el subgrupo de
isotropı́a del grupo de isometrı́as de N (g, V ) (ver Teorema 4. Luego la acción de
0
Kh0 en Ṽ es la misma que la acción de K h en Ṽ , y entonces ésta también es libre
de multiplicidad. Usando nuevamente Teorema 5.2 obtenemos que N (g, V ) es un
espacio conmutativo. ¤
6. Clasificación de los grupos N (g, V ) con V irreducible que son

espacios conmutativos
En esta sección daremos una clasificación explı́cita de los grupos 2-pasos N (g, V )
con V irreducible que son espacios conmutativos, o equvalentemente, de los pares
de Gelfand de la forma ((G/ Ker π) × U 0 , N (g, V )) con V irreducible.
Teorema 5.9 nos permite suponer primero que g es semisimple (compacta) y
asumamos de ahora en más que N (g, V ) es un espacio conmutativo. Estudiaremos
por separado los tres tipos a los que puede pertenecer la representación real V (ver
Teorema 3.5).
Caso V ∈ Irr(g, R)H . Sea W ∈ Irr(g, C)H tal que V = W visto como espacio
vectorial real. En este caso tenemos que eπ(t) × U 0 = eπ(t) × Sp(1) (ver Teorema
4.14). Si V = Ṽ ⊕ V0 como en Teorema 5.5, entonces existe una base real de Ṽ
denotada por
Ṽ = {v1 , iv1 , jv1 , −ijv1 , ..., vn , ivn , jvn , −ijvn }R ,
donde j : V → V es la estructura cuaterniónica de V e i : V → V es la estructura
compleja de W (luego H = {1, i, j, ij}R ), tal que
 
0 −λk (h)
 λk (h) 0 
π(h)|{vk ,ivk ,jvk ,−ijvk }R = 

 ∀ h ∈ t.
0 −λk (h) 
(3.12)
λk (h) 0
Luego Ṽ visto como C-espacio vectorial como en 5.1 es
Ṽ = {v1 , jv1 , ..., vn , jvn }C
y cada π(h) actúa por
· ¸
iλk (h) 0
π(h)|{vk ,jvk }C = ∀ h ∈ t.
0 iλk (h)
Si T ∈ Sp(1) entonces T actúa diagonalmente en los subespacios {vk , jvk }C = C2
y de la forma standard en cada uno. La acción de la complexificación
(eπ(t) × Sp(1))C = (C∗ )dim t × Sl(2, C)
en Ṽ debe ser libre de multiplicidad, donde C∗ denota el grupo multiplicativo C −
{0}. Luego si n ≥ 3, como la subrepresentación en {v1 , jv1 , v2 , jv2 , v3 , jv3 }C debe
ser libre de multiplicidad también, obtenemos que la acción de C∗ ×C∗ ×C∗ ×Sl(2, C)
en C2 ⊕ C2 ⊕ C2 dada por
 
aT
ρ(a, b, c, T ) =  bT  ∀ a, b, c ∈ C∗ , T ∈ Sl(2, C),
cT
es libre de multiplicidad, lo cual es una contradicción por Lema 3.7,(iii).

Esto implica que n = 1, 2. Si n = 1 entonces V = {v1 , iv1 , jv1 , ijv1 }R ⊕ V0 .
Como π es fiel, obtenemos usando (3.12) que dim t = 1, luego g = su(2) y por
lo tanto V = C2 . Hemos probado en Ejemplo 5.6 que N (su(2), C2 ) es un espacio
conmutativo. En el caso n = 2 tenemos que
V = {v1 , iv1 , jv1 , −ijv1 , v2 , iv2 , jv2 , −ijv2 }R ⊕ V0 ,
y además las funcionales λ1 , λ2 de (3.12) deben ser linealmente independientes, pues
en caso contrario nos quedarı́a la acción diagonal de C∗ × Sl(2, C) = Gl(2, C) en
C2 ⊕ C2 , la cual claramente no es libre de multiplicidad. Como π es fiel entonces
dim t = 2, y por lo tanto g = su(2)⊕su(2) o g = sp(2). Se debe cumplir también que
dim W = 4+dim W0 , lo que implica que la única posibilidad es g = sp(2) y V = C4 ,
la representación standard de sp(2) vista como real. El grupo 2-pasos N (sp(2), C4 )
es un espacio conmutativo por Teorema 5.5, ya que la acción correspondiente es la
de C∗ × C∗ × Sl(2, C) en C2 ⊕ C2 dada por
· ¸
aT
ρ(a, b, T ) = ∀ a, b ∈ C∗ , T ∈ Sl(2, C),
bT
la cual es libre de multiplicidad por Lema 3.7,(ii).
Obtenemos entonces el siguiente resultado.
Teorema 6.1. Si g es semisimple y V ∈ Irr(g, R)H , entonces N (g, V ) es un
espacio conmutativo si y sólo si g = su(2) y V = C2 o g = sp(2) y V = C4 , donde
C2 y C4 denotan las correspondientes representaciones standard vistas como reales.
Caso V ∈ Irr(g, R)R . En este caso eπ(t) × U 0 = eπ(t) . Si V = Ṽ ⊕ V0 tomamos una
base
Ṽ = {v1 , w1 , ..., vn , wn }R
tal que · ¸
0 −λj (h)
π(h)|{vj ,wj }R = ∀ h ∈ t.
λj (h) 0
Luego Ṽ visto como C-espacio vectorial como en 5.1 es Ṽ = {v1 , ..., vn }C y cada
π(h) actúa por π(h)vj = iλj (h)vj . Por Lema 3.7,(i) se debe cumplir que n ≤ dim t
y que {λ1 , ..., λn } sean linealmente independientes en t∗ . Si W = VC entonces
dimC W − dimC W0 = dim V − dim V0 = dimR Ṽ = 2n ≤ 2 dim t,
y obtenemos ası́ una representación compleja W de g teniendo las siguientes propiedades:
−W ∈ Irr(g, C)R
− dim W ≤ 2 rango(g) + dim W0 (3.13)
− dim Wλ = 1 ∀ λ ∈ P (W ) − {0}.
Caso V ∈ Irr(g, R)C . Sea W ∈ Irr(g, C)C tal que V = W visto como espacio
vectorial real. Tenemos que eπ(t) × U 0 = eπ(t) × S1 . Tomamos una base de Ṽ
Ṽ = {v1 , iv1 , ..., vn , ivn }R ,
donde i : W → W es la estructura compleja de W , tal que
· ¸
0 −λj (h)
π(h)|{vj ,wj }R = ∀ h ∈ t.
λj (h) 0
Luego Ṽ visto como C-espacio vectorial como en 5.1 es Ṽ = {v1 , ..., vn }C , y cada
π(h) actúa por π(h)vj = iλj (h)vj . Como eπ(t) × S1 es un toro y su acción en Ṽ es
libre de multiplicidad, entonces por Lema 3.7,(i) se debe cumplir que n ≤ dim t + 1.
Luego
1 1 1
dimC W − dimC W0 = dim V − dim V0 = dimR Ṽ = n ≤ dim t + 1.
2 2 2
Obtenemos entonces una representación compleja W de g satisfaciendo:
−W ∈ Irr(g, C)C
− dim W ≤ rango(g) + 1 + dim W0 (3.14)
− dim Wλ = 1 ∀ λ ∈ P (W ) − {0}.
Hemos obtenido en (3.13) y (3.14) condiciones necesarias para que un grupo 2-
pasos N (g, V ) sea un espacio conmutativo. Dichas condiciones nos serán de mucha
utilidad en la clasificación. Antes de comenzar a analizar casos por caso, daremos
dos lemas sobre la dimensión de una representación que nos serán muy útiles.
Lema 6.2. Si W ∈ Irr(g, C) cumple que dim Wλ = 1 para todo λ ∈ P (W ) − {0}
entonces dim W0 ≤ rango(g).
Prueba. Si r = rango(g) tomamos ∆ = {α1 , ..., αr } el conjunto de raı́ces simples de
g . Sea λ1 ∈ P (W ) el peso máximo de W y sea w1 ∈ Wλ1 − {0} (ver Teorema 3.1).
Si x−αi1 ...x−αit w1 ∈ W0 con x−αij ∈ g−αij , entonces x−αi2 ...x−αit w1 ∈ Wαi1 , y
luego x−αi1 ...x−αit w1 ∈ xαi1 Wαi1 . Puesto que W0 está generado C-linealmente
por los elementos de la forma x−αi1 ...x−αit w1 entonces
W0 =< x−α1 Wα1 ∪ ... ∪ x−αir Wαr >C ,
y como dim Wαi ≤ 1 para todo i entonces dim W0 ≤ r. ¤
Lema 6.3. Sea g un álgebra de Lie compacta y denotemos por Λ1 , ..., Λr sus
pesos fundamentales, donde r = rango(g). Si (n1 , ..., nr ), (k1 , ..., kr ) ∈ Nr0 cumplen
que ni ≤ ki para todo i entonces
X X
dim W ( ni Λi ) ≤ dim W ( ki Λi ),
donde W (Λ) denota la representación compleja irreducible de g correspondiente al
peso dominante integral Λ.
Prueba. Usando la fórmula de la dimensión de Weil (ver [Kn],p.107), sale fácilmente.
¤
Caso g simple.
En vista de (3.13),(3.14) y Lema 6.2, para clasificar los espacios conmutativos

N (g, V ) con g simple y V irreducible, debemos calcular primero todas las repre-
sentaciones complejas de g satisfaciendo las propiedades
−W ∈ Irr(g, C)R
− dim W ≤ 3 rango(g) (3.15)
− dim Wλ = 1 ∀ λ ∈ P (W ) − {0},
y también las representaciones cumpliendo
−W ∈ Irr(g, C)C
− dim W ≤ 2 rango(g) + 1 (3.16)
− dim Wλ = 1 ∀ λ ∈ P (W ) − {0}.
Analizaremos entonces cada g simple (compacta) por separado, y en cada caso

calcularemos primero las representaciones W ∈ Irr(g, C) con dimC W ≤ 3 rango(g),
lo cual se debe cumplir tanto en (3.15) como en (3.16). Denotaremos siempre por
Λ1 , ..., Λr los pesos fundamentales de g y por W (Λ) la representación compleja
irreducible de g correspondiente al peso dominante integral Λ.
Caso An−1 : su(n), n ≥ 2. Las representaciones fundamentales W (Λi ) de su(n) son

Cn , Λ2 Cn , ..., Λn−2 Cn , Cn ,
donde Cn denota la representación standard de su(n). Se cumple que Λk Cn =
Λn−k Cn para todo k = 1, ..., n − 1 (ver [BtD]). Luego es fácil ver que las repre-
sentaciones fundamentales de su(n) de dimensión ≤ 3(n − 1) son:
su(2) : C2
su(4) : C4 , Λ2 C4 , C4
su(5) : C5 , Λ2 C5 , Λ3 C5 , C5
su(6) : C6 , Λ2 C6 , Λ4 C6 , C6
su(n) : Cn , Cn para n ≥ 7, n = 3.
Usando la fórmula de la dimensión de Weil (ver [Kn],p.107) (o el Programa [LiE]) y
Lema 6.3 se puede probar que si n ≤ 6, para obtener todas las representaciones de
su(n) de dimensión ≤ 3(n − 1) hay que agregar a las ya listadas sólo las siguientes:
su(2) : C3
su(3) : C6 , C6
donde C3 denota la única representación irreducible 3-dimensinal de su(2) y C6 , C6
denotan las representaciones W (2Λ1 ), W (2Λ2 ) de su(3).
Como C6 , C6 ∈ Irr(su(3), C)C , entonces por (3.16) se deberı́a cumplir que
6 ≤ 2 rango(g)+1 = 5, lo cual es una contradicción. Análogamente podemos descar-
tar también a las representaciones Λ2 C5 , Λ3 C5 ∈ Irr(su(5), C)C y Λ2 C6 , Λ4 C6 ∈
Irr(su(6), C)C , pues según (3.16) se deberı́a cumplir que dim Λ2 C5 = dim Λ3 C5 =
10 ≤ 2 rango(g) + 1 = 9 y dim Λ2 C6 = dim Λ4 C6 = 15 ≤ 2 rango(g) + 1 = 11
respectivamente.
Es fácil ver que Λ2 C4 ∈ Irr(su(4), C)R , más aún Λ2 C4 = (R6 )C , donde R6
denota la representación standard de so(6) = su(4), luego N (su(4), (Λ2 C4 )R ) =
N (so(6), R6 ) es un espacio conmutativo por Ejemplo 5.7. También se cumple
que C3 = (R3 )C ∈ Irr(su(2), C)R , donde R3 es la representación standard de
so(3) = su(2), y entonces también N (su(2), (C3 )R ) = N (so(3), R3 ) es un espacio
conmutativo por Ejemplo 5.7.
Obtenemos entonces que los únicos grupos de la forma N (su(n), V ) con V
irreducible y n ≤ 6 que son espacios conmutativos son
N (su(2), C2 ), N (su(2), R3 ), N (su(3), C3 ), N (su(3), C3 ),
N (su(4), C4 ), N (su(4), C4 ), N (su(4), R6 ), (3.17)
N (su(5), C5 ), N (su(5), C5 ), N (su(6), C6 ), N (su(6), C6 ).

Para n ≥ 7 las únicas representaciones fundamentales de su(n) de dimensión
≤ 3(n − 1) son Cn y Cn . Luego, por Lema 6.3, sólo tenemos que chequear si
dim W (kΛ1 ) ≤ 3(n − 1) para algún su(n) con n ≥ 7 y k ≥ 2, ya que W (kΛn−1 ) =
W (kΛ1 ). Usando la fórmula de

¡ la ¢dimensión¡n+1
de ¢Weil es fácil ver que la dimensión
de W (2Λ1 ) ∈ Irr(su(n), C) es n+1
2 . Como 2 > 3(n − 1) para todo n ≥ 7, us-
ando nuevamente Lema 6.3 podemos decartar todas las representaciones W (kΛ1 )
con k ≥ 2. Obtenemos entonces que los únicos espacios conmutativos de la forma
N (su(n), V ) con n ≥ 7 son
N (su(n), Cn ), N (su(n), Cn ). (3.18)
Es fácil ver que si vemos a Cn y Cn como representaciones reales de su(n), entonces
son equivalentes. Tenemos luego por Proposición 4.6,(ii), que los grupos 2-pasos
N (su(n), Cn ) y N (su(n), Cn ) son isomorfos. Notar que por Corolario 4.10 existe
una única métrica su(n)-invariante en N (su(n), Cn ), salvo conforme equivalencia.
Caso Bn : so(2n + 1), n ≥ 2. Las representaciones fundamentales W (Λi ) de so(2n +

1) son
C2n+1 , Λ2 C2n+1 , ..., Λn−1 C2n+1 , ∆2n+1 ,
donde C2n+1 denota la representación standard de so(2n + 1) y ∆2n+1 es la repre-
sentación spin, cuya dimensión es 2n . Es fácil ver entonces que las representaciones
fundamentales de so(2n + 1) de dimensión ≤ 3n son:
so(5) : C5 , ∆5
so(7) : C7 , ∆7
so(2n + 1) : C2n+1 , n ≥ 4.
Calculando algunas dimensiones con la fórmula de Weil (o con [LiE]) y usando Lema
6.3 se obtiene que para n ≤ 3 estas son todas las representaciones de dimensión
≤ 3n.
Se cumple que ∆5 ∈ Irr(so(5), C)H , ya que ∆5 = C4 , la representación standard
de sp(2) = so(5). Por Teorema 6.1 sabemos que N (so(5), C4 ) es un espacio conmu-
tativo. La representación ∆7 ∈ Irr(so(7), C)R y no tiene peso 0 (ver [BtD],p.280),
luego por (3.13), para que N (so(7), (∆7 )R ) sea conmutativo, se deberı́a cumplir que
dimC ∆7 = 8 ≤ 2 rango(g) + dim W0 = 6, lo cual es una contradicción.
La representación W (2Λ1 ) de so(2n+1) tiene dimensión n(2n+3) (ver [Kn],p.108),
la cual es > 3n para todo n ≥ 2. Por Lema 6.3 podemos descartar entonces todas
las representaciones restantes.
Obtenemos ası́ que los únicos grupos de la forma N (so(2n + 1), V ) con V
irreducible y n ≥ 2 que son espacios conmutativos son
N (so(5), C4 ), N (so(2n + 1), R2n+1 ). (3.19)
Caso Cn : sp(n), n ≥ 3. Las representaciones fundamentales W (Λi ) de sp(n) tienen
dimensión µ ¶ µ ¶ µ ¶ µ ¶ µ ¶
2n 2n 2n 2n 2n
2n, − 1, − , ..., − .
2 3 1 n n−2
¡ ¢ ¡2n¢ ¡ 2n ¢ ¡2n¢
Como 2n 2 −1 < k − k−2 para todo k = 3, ..., n y 2 − 1 > 3n para todo
n ≥ 3 entonces la única representación fundamental de sp(n) de dimensión ≤ 3n es
la representación standard en C2n . Usando ¡ la¢fórmula de Weil es fácil ver que la
dimensión de W (2Λ1 ) ∈ Irr(sp(n), C) es 2n+12 , la cual es > 3n para todo n ≥ 3.
Luego por Lema 6.3 obtenemos que la única representación de sp(n) de dimensión
≤ 3n es C2n . Pero C2n ∈ Irr(sp(n), C)H , luego por Teorema 6.1 N (sp(n), C2n ) no
es conmutativo para n ≥ 3.
Por lo tanto si V irreducible y n ≥ 3

ningún N (sp(n), V ) es conmutativo. (3.20)
Caso Dn : so(2n), n ≥ 4. En este caso las representaciones fundamentales W (Λi )
están dadas por
C2n , Λ2 C2n , ..., Λn−2 C2n , ∆n+ , ∆n− ,
donde C2n es la representación standard de so(2n) y ∆n+ , ∆n− son las representa-
ciones spin, las cuales cumplen que dim ∆n+ = dim ∆n− = 2n−1 . Puesto que
¡2n¢
2 > 3n para todo n ≥ 4 y 2n−1 > 3n para todo n ≥ 5 tenemos que las únicas
representaciones fundamentales de dimensión ≤ 3n son:
so(8) : C8 , ∆4+ , ∆4−
so(2n) : C2n , n ≥ 5.
Se prueba usando Lema 6.3 y calculando las dimensiones de algunas representa-
ciones de so(8) (con la fórmula de Weil o con [LiE]) que las listadas son las únicas
representaciones de so(8) con dimensión ≤ 12. Hemos probado en Ejemplo 4.7 que
los grupos 2-pasos N (so(8), R8 ), N (so(8), ∆4+ ) y N (so(8), ∆4− ) son isomorfos.
Como la representación W (2Λ1 ) de so(2n) tiene dimensión (2n − 1)(n + 1) (ver
[Kn],p.108), la cual es > 3n para todo n ≥ 5, obtenemos que toda representación de
so(2n) que no sea la standard tiene dimensión > 3n (usando Lema 6.3). Obtenemos
entonces usando Ejemplo 5.7 que los únicos espacios conmutativos de la forma
N (so(2n), V ) con V irreducible y n ≥ 4 son
N (so(2n), R2n ). (3.21)
Caso g excepcional: E6 ,E7 ,E8 ,F4 ,G2 . La dimensión de la representación fundamen-
tal más baja en cada caso es 27, 56, 248, 26, 7 respectivamente (ver [MPR]). Notar
que en cada caso tal dimensión es > 3 rango(g), luego por Lema 6.3 tenemos que
dimC W > 3 rango(g) para todo W ∈ Irr(g, C) en todos los casos.
Obtenemos entonces que si g es excepcional
ningún N (g, V ) es conmutativo. (3.22)
Los resultados obtenidos en cada caso (ver (3.18), (3.19), (3.20), (3.21), (3.22))
se resumen en el siguiente teorema.
Teorema 6.4. Los siguientes son los grupos 2-pasos N (g, V ) con g simple y
V irreducible que son espacios conmutativos:
N (su(2), C2 ), N (su(2), R3 ),
N (su(4), C4 ), N (su(4), R6 ),
N (su(n), Cn ), n ≥ 5, n = 3,
N (so(5), R5 ), N (so(5), C4 ),
N (so(2n + 1), R2n+1 ), n ≥ 3,
N (so(2n), R2n ), n ≥ 4.
Caso g semisimple, no simple.
Sea g = g1 ⊕ ... ⊕ gk (k ≥ 2) la descomposición en ideales simples de g .

Al igual que en el caso anterior, calcularemos primero todas las representaciones
complejas de g que satisfacen (3.13) o (3.14). Si W ∈ Irr(g, C), entonces existen
Wi ∈ Irr(gi , C) tales que W = W1 ⊗ ... ⊗ Wk (ver [BtD],p.82). Luego, por Lema
6.2, tanto para (3.13) como para (3.14) se debe cumplir que
dim W1 ... dim Wk ≤ 3(r1 + ... + rk ), (3.23)
donde ri = rango(gi ). De las tablas del caso anterior se puede ver fácilmente que
dim Wi ≥ ri + 1 para todo i, y entonces (3.23) implica que
(r1 + 1)...(rk + 1) ≤ 3(r1 + ... + rk ). (3.24)
Es fácil chequear que si se cumple (3.24) entonces k = 2, 3, y que las únicas 3-uplas
(r1 , r2 , r3 ) con r1 ≥ r2 ≥ r3 que satisfacen (3.24) son (1, 1, 1) y (2, 1, 1). Para
la terna (1, 1, 1) tenemos que g = su(2) ⊕ su(2) ⊕ su(2) y que dim W ≤ 9, luego
W = C2 ⊗ C2 ⊗ C2 . Pero en este caso W0 = 0, y entonces para que se satisfaga
(3.13) o (3.14) se deberı́a cumplir que 8 = dim W ≤ 2 rango(g) = 6, lo cual es
una contradicción, y se descarta ası́ este caso. Análogamente se puede descartar la
terna (2, 1, 1).
Consideremos ahora el caso k = 2. Tenemos que g = g1 ⊕ g2 y W = W1 ⊗ W2
con Wi ∈ Irr(gi , C) cumpliendo (ver (3.23))
dim W1 dim W2 ≤ 3(r1 + r2 ). (3.25)
Es fácil ver que si (W1 )0 = 0 o (W2 )0 = 0 entonces (W1 ⊗ W2 )0 = 0, luego para
que se cumpla (3.13) o (3.14) deberı́amos tener
dim W1 dim W2 ≤ 2(r1 + r2 ). (3.26)
Como dim Wi ≥ ri + 1 nos queda
(r1 + 1)(r2 + 1) ≤ 2(r1 + r2 )
r1 r2 − (r1 + r2 ) + 1 ≤ 0
(1 − r1 )(1 − r2 ) ≤ 0,
lo que implica que si suponemos r1 ≥ r2 , entonces r2 = 1. Más aún, obtenemos
que dim W1 = r1 + 1 y dim W2 = 2. Nos queda entonces que la única posibilidad es
g = su(n) ⊕ su(2) y W = Cn ⊗ C2 , con n ≥ 2. Si n ≥ 3, como Cn 6' Cn y C2 ' C2
entonces W 6' W , luego W ∈ Irr(g, C)C y se deberı́a cumplir (3.14). Esto implica
que
2n = dim W ≤ rango(g) + 1 + dim W0 = n + 1,
lo cual es una contradicción. Luego n = 2 y obtenemos que g = su(2)⊕su(2) = so(4)
y W = C2 ⊗ C2 , la cual es de tipo real. Se cumple que (C2 ⊗ C2 )R = R4 , la
representación standard de so(4), y entonces el grupo 2-pasos N (su(2) ⊕ su(2), R4 )
es un espacio conmutativo por Ejemplo 5.7.
Supongamos por último que (W1 )0 6= 0 y (W2 )0 6= 0. Chequeando las tablas
del caso g simple obtenemos que dim Wi ≥ 2ri , luego se sigue de (3.25) que
4r1 r2 ≤ 3(r1 + r2 ). (3.27)
Si suponemos r1 ≥ r2 es fácil ver que (3.27) implica que r2 = 1, luego g2 = su(2) y
dim W2 ≥ 3, pues (W2 )0 6= 0. Usando (3.25) nos queda
(dim W1 )3 ≤ 3(r1 + 1),
luego dim W1 ≤ r1 + 1 y esto es un absurdo, puesto que (W1 )0 6= 0.

Obtenemos entonces en este caso el siguiente resultado.
Teorema 6.5. El único grupo N (g, V ) con g semisimple, no simple y V irre-
ducible que es un espacio conmutativo es N (su(2) ⊕ su(2), R4 ).
Caso g no semisimple.
Clasificaremos ahora los grupos 2-pasos N (g, V ) que son espacios conmutativos
con g no semisimple y V irreducible. Usaremos la reducción probada en Teorema
5.9 y la clasificación para el caso g semisimple y V irreducible.
Teorema 6.6. Un grupo 2-pasos N (g, V ) con g no semisimple y V irreducible
es conmutativo si y sólo si es un N (u(n), Cn ) con n ≥ 1, donde Cn es la repre-
sentación standard de u(n).
Prueba. Por Teorema 5.9 sabemos que si N (g, V ) es un espacio conmutativo en-
tonces N (g, V ) también lo es, donde g = g ⊕ c con g = [g, g] y c el centro de g ,
el cual estamos suponiendo que es distinto de cero. Por lo tanto, N (g, V ) debe ser
uno de los listados en Teoremas 6.4 y 6.5. Como π(c) ⊂ Endg (V ), obtenemos que
las únicas posibilidades para N (g, V ) son N (su(n), Cn ), n ≥ 2, y N (so(5), C4 ), ya
que las restantes son de tipo real y en consecuencia cumplen Endg (V ) = R. Notar
que π(c) actúa por transformaciones antisimétricas en V .
Los únicos grupos 2-pasos de la forma N (su(n) ⊕ c, Cn ) son los N (u(n), Cn ),
los cuales son conmutativos pues las acciones que intervienen para aplicar Teorema
5.5 son las mismas que para N (su(n), Cn ).
Consideremos ahora el grupo N (so(5), C4 ) = N (sp(2), C4 ). La única posibil-
idad es N (sp(2) ⊕ R, C4 ), donde R actuará como los múltiplos de alguna trans-
formación antisimétrica de Endsp(2) (C4 ) = H. Por Teorema 4.14 tenemos que
el subgrupo de isotropı́a de N (sp(2) ⊕ R, C4 ) es K 0 = Sp(2) × U 0 , y como U =
Endsp(2)⊕R (C4 ) = C, entonces K 0 = Sp(2) × S 1 . Luego, si h ∈ sp(2) es un elemento
regular, entonces Kh0 = eπ(t) × S 1 = S 1 × S 1 × S 1 , donde t denota el toro maximal
de sp(2) que contiene a h. Por Teorema 5.2 se deberı́a cumplir que la acción de
Kh0 en Ṽh = C4 sea libre de multiplicidad, lo cual es una contradicción por Lema
3.7,(i). Obtenemos entonces que N (sp(2) ⊕ R, C4 ) no es un espacio conmutativo.
¤
Para terminar esta sección, resumimos en el siguiente teorema la clasificación

obtenida para el caso V irreducible.
Teorema 6.7. Un grupo 2-pasos N (g, V ) con V irreducible es un espacio con-
mutativo si y sólo si es uno de los siguientes:
(i) N (su(n), Cn ), n ≥ 2,
(ii) N (so(n), Rn ), n ≥ 3,
(iii) N (sp(2), C4 ),
(iv) N (u(n), Cn ), n ≥ 1.
Nota 6.8. Por Corolario 4.10, a excepción de N (so(4), R4 ) y N (u(n), Cn ) (n ≥
2), en los grupos listados en Teorema 6.7 existe una única métrica g-invariante
salvo conforme equivalencia. Las métricas (su(2) ⊕ su(2))-invariantes de N (su(2) ⊕
su(2), R4 ) están parametrizadas, salvo isometrı́a, por {h, iλµ : λ ≥ µ > 0}, donde
7. DÉBIL SIMETRÍA EN GRUPOS 2-PASOS N (g, V ) CON V IRREDUCIBLE 73
cada h, iλµ se define por hx, yiλµ = −B(Pλµ x, y) para todo x, y ∈ su(2) ⊕ su(2)
(B:forma de Killing) con
· ¸
λIsu(2) 0
Pλµ =
0 µIsu(2)
y h, iλµ |R4 ×R4 = h, i1 , donde h, i1 es cualquier producto interno invariante de R4 .

Si denotamos también por −B a algún producto interno u(n)-invariante en u(n)
que restringido a su(n) coincide con menos la forma de Killing, las métricas u(n)-
invariantes de N (u(n), Cn ) (n ≥ 2) están parametrizadas por {h, iλµ : λ, µ > 0},
donde cada h, iλµ se define en u(n) = su(n) ⊕ R igual que arriba con
· ¸
λIsu(n) 0
Pλµ = .
0 µ
Es fácil probar estas dos últimas afirmaciones usando Teorema 4.5 y la forma de los
automorfismos de g en cada caso. Tenemos que Aut(su(2) ⊕ su(2)) = Int(su(2) ×
Int(su(2)) × {I, ϕ}, donde ϕ es cualquier automorfismo que intercambia las copias
de su(2), y para todo elemento φ ∈ Aut(su(2) ⊕ su(2)) existe T ∈ O(R4 ) tal
que T π(x)T −1 = π(φx) para todo x ∈ su(2) ⊕ su(2) = so(4). En el otro caso,
Aut(u(n)) = Aut(su(n) × R∗ , y sólo para los elementos de Aut(su(n) × {±1} existe
un tal T .
7. Débil simetrı́a en grupos 2-pasos N (g, V ) con V irreducible

En esta sección clasificaremos los grupos 2-pasos N (g, V ) con V irreducible que
son débilmente simétricos. En vista de I,Corolario 6.9, sólo tenemos que chequear
entre los grupos 2-pasos N (g, V ) que son espacios conmutativos, los cuales están
listados en Teorema 6.7. Veremos que todos son débilmente simétricos.
Por I,Teorema 5.4, un grupo 2-pasos N (g, V ) es débilmente simétrico si y sólo

si para todo h ∈ g y v ∈ V existe ϕ ∈ K, el subgrupo de isotropı́a del grupo de
isometrı́as de N (g, V ) , tal que ϕh = −h y ϕv = −v. Si h, i y h, i0 son dos productos
internos g-invariantes en n = g ⊕ V , entonces los correspondientes subgrupos de
isotropı́a K y K 0 son conjugados, como vimos en la prueba de Proposición 4.3.
Luego es claro que (N (g, V ), h, i) será débilmente simétrico si y sólo si (N (g, V ), h, i0 )
lo es. Por lo tanto, al igual que con la conmutatividad, analizaremos la débil simetrı́a
de un grupo 2-pasos N (g, V ) a secas, dejando implı́cita la métrica.
Caso N (so(n), Rn ), n ≥ 3. Para T ∈ O(n) definimos
ϕT = (Ad(T ), T ) : so(n) ⊕ Rn → so(n) ⊕ Rn ,
y como
T π(x)T −1 = T xT −1 = Ad(T )x = π(Ad(T )x), ∀ x ∈ so(n),

entonces ϕT ∈ K para todo T ∈ O(n) por (1.4). Sean H ∈ so(n) y v ∈ Rn .

Tomamos una base ortonormal β de Rn tal que
 
0 −h1
 h1 0 
 
 . .. 
 
 
 0 −hr 
[H]β = 

,
 hj > 0,
 hr 0 
 0 
 
 .. 
 . 
0
y supongamos que v = v1 + ... + vr + vr+1 con vi ∈ Vi , donde Vi son los subespacios
de Rn donde
· ¸
0 −hi
H|Vi = , i = 1, ..., r, H|Vr+1 ≡ 0.
hi 0
Para cada 1 ≤ i ≤ r tomemos Ti ∈ O(Vi ) tal que Ti vi = −vi y det Ti = −1, luego
Ti H|Vi = −H|Vi Ti para todo i = 1, ..., r. Si definimos T ∈ O(Rn ) por T |Vi = Ti
y T |Vr+1 = −I, entonces T HT −1 = −H y T v = −v. Luego el correspondiente
elemento ϕT ∈ K definido arriba satisface ϕT H = −H y ϕT v = −v, probando ası́
que N (so(n), Rn ) es débilmente simétrico.
Caso N (su(n), Cn ), n ≥ 2. Sean H ∈ su(n) y v ∈ Cn . Existe una base ortonormal

β de Cn (respecto del producto interno hermitiano canónico de Cn ) tal que
 
iλ1
 .. 
[H]β =  . 
iλn
P
con λi ∈ R y λi = 0. Denotemos por φ el automorfismo de su(n) definido
por φA = −At para todo A ∈ su(n); es claro que φA = −A. Supongamos que
v = v1 + ... + vn con vj ∈ Vj , donde Vj es el subespacio real de Cn (visto como real)
en el cual · ¸
0 −λj
π(H)|Vj = .
λj 0
Es fácil chequear que φ se extiende a un elemento ϕ del subgrupo de isotropı́a K
poniendo · ¸
0 −1
ϕ|Vj =
1 0
para todo j. Sea T ∈ SU(n) tal que
 
z1
 .. 
[T ]β =  .  (3.28)
zn
1
Q
con zi ∈ S y zj = 1. Definimos ϕT = (Ad(T ), T ) igual que en el caso anterior y
análogamente ϕT ∈ K. Notar que
· ¸
αj −βj
ϕT |Vj =
βj αj
7. DÉBIL SIMETRÍA EN GRUPOS 2-PASOS N (g, V ) CON V IRREDUCIBLE 75
donde zj = αj + iβj . Para cada j tomamos el elemento wj = δj + iγj ∈ S1 de tal

forma que el correspondiente Tj ∈ SO(2) satisfaga Tj ϕvj = −vj . Si w = w1 ...wn =
δ + iγ tomamos ϕw el elmento de U = S1 tal que
· ¸
δ −γ
ϕw |Vj = ∀ j = 1, ..., n.
γ δ
El elemento de K que lleva H en −H y v en −v será entonces ϕw ϕT ϕ, con T como
en (3.28) para zj = wj /w. Esto implica que N (su(n), Cn ) es débilmente simétrico.
Caso N (u(n), Cn ), n ≥ 1. La débil simetrı́a de estos grupos se prueba análogamente

al caso anterior, tomando directamente zj = wj para todo j.
Caso N (sp(2), C4 ). Se prueba análogamente a los casos anteriores.
Resumimos los resultados obtenidos en los diferentes casos en el siguiente teo-

rema.
Teorema 7.1. Un grupo 2-pasos N (g, V ) con V irreducible es débilmente
simétrico si y sólo si es un espacio conmutativo (ver Teorema 6.7).
Obtenemos como corolario de este teorema, una gran cantidad de ejemplos de
espacios naturalmente reductivos que no son débilmente simétricos (ver I,§5).
Corolario 7.2. Todo grupo 2-pasos N (g, V ) con V irreducible que no está
listado en Teorema 6.7, es un espacio naturalmente reductivo que no es débilmente
simétrico.
El resultado del teorema es falso si sacamos la condición de V irreducible. En
el siguiente teorema veremos ejemplos de grupos N (g, V ) que son espacios conmu-
tativos y no débilmente simétricos. De esta manera, obtenemos nuevos ejemplos
para la cuestión propuesta por Selberg (ver I,§5), y en este caso, a diferencia de
los ejemplos dados en II,Corolario 3.7, dentro de la clase de espacios naturalmente
reductivos.
Teorema 7.3. Los grupos 2-pasos N (su(2), (R3 )k1 ⊕ (C2 )k2 ) con k1 ≥ 2, k2 ≥
0, son ejemplos de espacios naturalmente reductivos que son conmutativos pero no
débilmente simétricos.
Prueba. Supongamos primero que para algún par k1 , k2 , con k1 ≥ 2 y k2 ≥ 0, el
grupo correspondiente es débilmente simétrico. Por Teorema 4.14,(iv), el subgrupo
de isotropı́a está dado por
K = SU(2) × O(k1 ) × Sp(k2 ).
Luego K lleva invariante el subespacio su(2)⊕(R3 )k1 de n y esto implica que el grupo
2-pasos N (su(2), (R3 )k1 ) = N (so(3), (R3 )k1 ) es débilmente simétrico también. De-
notamos por {e1 , e2 , e3 }, {e01 , e02 , e03 }, ... las bases ortonormales canónicas de las dis-
tintas copias de R3 . Sea
(R3 )k1 = Rk1 ⊕ Rk1 ⊕ Rk1
la descomposición en irreducibles para la acción de O(k1 ); luego cada copia de Rk1
tiene por base a {ei , e0i , e00i , ...} (i = 1, 2, 3) y O(k1 ) actúa mediante su representación
standard en cada Rk1 . Denotemos por K 0 el subgrupo de isotropı́a del grupo de
isometrı́as de N (so(3), (R3 )k1 ), tenemos que K 0 = SO(3) × O(k1 ). Tomemos el

elemento de so(3)  
0 −1
H= 1 0 
0
y el elemento de v = e1 +e01 +e2 +e3 de (R3 )k1 , lo cual es posible ya que k1 ≥ 2. Como
N (so(3), (R3 )k1 ) es débilmente simétrico entonces existen T ∈ SO(3) y S ∈ O(k1 )
tales que T HT −1 = −H y ST v = −v (denotamos también por T a la extensión de
Ad(T ) a (R3 )k1 como elemento de K 0 ). Luego T debe ser de la forma
 
α β
T =  β −α  , α2 + β 2 = 1,
−1
y por lo tanto T vale idénticamente −I en la tercera copia de Rk1 . Como ST e3 =
−e3 entonces Se3 = e3 , y en consecuencia Se1 = e1 y Se2 = e2 . Se sigue entonces
de ST v = −v que
−e1 − e01 − e2 = ST (e1 + e01 + e2 )
= S(αe1 + βe2 + αe01 + βe02 + βe1 − αe2 )
= (α + β)e1 + (β − α)e2 + αSe01 + βSe02 .

Puesto que Se02 es ortogonal a los vectores e1 , e2 , e01 y Se01 entonces β = 0. Luego
−e1 − e01 − e2 = αe1 − αe2 + αSe01 ,
y como los vectores e01 , Se01 son ortogonales a e1 y e2 entonces llegamos a una
contradicción, ya que se deberı́a cumplir que −e1 − e2 = αe1 − αe2 . Luego tales
grupos no son débilmente simétricos.
Probemos ahora que son conmutativos. Usaremos Teorema 5.5. Tenemos que
eπ(t) × U 0 = S 1 × SO(k1 , R) × Sp(k2 ) y Ṽ = Ck1 ⊕ C2k2 . La acción de la complex-
ificación (eπ(t) × U 0 )C = C∗ × SO(k1 , C) × Sp(k2 , C) en Ṽ es claramente la dada
por
· ¸
aT 0
ρ(a, T, S) = ∀ a ∈ C∗ , T ∈ SO(k1 , C), S ∈ Sp(k2 , C).
0 aS
Dicha acción es libre de multiplicidad, pues las acciones de C∗ × SO(k1 , C) en Ck1
y de Sp(k2 , C) en C2k2 son libres de multiplicidad (ver [Ka]). ¤
Bibliografı́a
[AS] W. Ambrose, I. Singer, On homogeneous Riemannian manifolds, Duke Math. J.,

25(1958), 647-669.
[Bo] J. Boggino, Generalized Heisenberg groups and solvmanifolds naturally associated, Rend.
Sem. Mat. Univ. Politec. Torino, 43(1985), 529-547.
[BtD] T. Brocker, T. tom Dieck, Representations of compact Lie groups, Springer-Verlag, New
York, 1985.
[BJLR] C. Benson, J. Jenkins, R. Lipsman, G. Ratcliff , A geometric criterion for Gelfand
pairs associated with the Heisenberg group, Pacific J. Math. 178(1997), 1-35.
[BJR1] C. Benson, J. Jenkins, G. Ratcliff , On Gelfand pairs associated with solvable Lie
groups, Trans. Amer. Math. Soc., 321(1990), 85-116.
[BJR2] C. Benson, J. Jenkins, G. Ratcliff , The orbit method and Gelfand pairs associated
with nilpotent Lie groups, preprint.
[BRV] J. Berndt, F. Ricci, L. Vanhecke, Weakly symmetric groups of Heisenberg type, preprint
(1996).
[BTV] J. Berndt, F. Tricerri, L. Vanhecke, Generalized Heisenberg groups and Damek-Ricci
harmonic spaces, Lect. Notes in Math. 1598 (1995) Springer-Verlag Berlin Heidelberg.
[BV] J. Berndt, L. Vanhecke, Geometry of weakly symmetric spaces, J. Japan Math. Soc.
48(1996), 745-760.
[CDKR] M. Cowling, A.H. Dooley, A. Korányi, F. Ricci, H-type groups and Iwasawa de-
compositions, Adv. in Math. 87(1991), 1-41.
[ChG1] D. Chinea, C. González, An example of an almost cosymplectic homogeneous manifold,
Lect. Notes in Math. 1209(1986), 133-142, Springer-Verlag.
[ChG2] D. Chinea, C. González, Quasi-Sasakian homogeneous structures on the generalized
Heisenberg group H(p, 1), Proc. Amer. Math. Soc. 105(1989), 173-184.
[DR] E. Damek, F. Ricci, Harmonic analysis on solvable extensions of H-type groups, J. Geom.
Anal. 2(1992), 213-248.
[DN] J. D’Atri, H. Nickerson, Divergence-preserving geodesic symmetries, J. Differential
Geom. 3(1969), 467-476.
[DL] I. Dotti, J. Lauret, Curvature properties of solvable extensions of H-type groups, Ren-
diconti di Matematica, Universita de La Sapienza, Roma, en prensa.
[E1] P. Eberlein, Geometry of 2-step nilpotent Lie groups with a left invariant metric, Ann.
Sci. Ecole Norm. Sup. (4) 27(1994), 611-660.
[E2] P. Eberlein, Geometry of 2-step nilpotent Lie groups with a left invariant metric II, Trans.
Amer. Math. Soc. 343(1994), 805-828.
[EH] P. Eberlien, J. Heber, Quarter pinched homogeneous spaces of negative curvature, In-
ternat. J. Math. 7(1996) 441-500.
[GV] R. Gangolli, V.S. Varadarajan, Harmonic Analysis of Spherical Functions on Real Re-
ductive Groups, Springer-Verlag Berlin Heidelberg, 1988.
[Ga] M. Gauger, On the classification of metabelian Lie algebras, Trans. Amer. Math. Soc.
179(1973), 293-329.
[G] I.M. Gelfand, Spherical functions on symmetric spaces, Amer. Math. Soc. Transl. (Ser.
2) 37(1964), 39-44.
[Go1] C. Gordon, Naturally reductive homogeneous Riemannian manifolds, Canad. J. Math.
37(1985), 467-487.
[Go2] C. Gordon, Isospectral closed Riemannian manifolds wich are not locally isometric, J.
Differential Geom. 37(1993), 639-649.
77
78 BIBLIOGRAFÍA
[Go3] C. Gordon, Homogeneous Riemannian manifolds whose geodesics are orbits, Topics in
Geometry: Honoring the Memory of Joseph D’Atri (ed. S. Gindikin), (Birkhauser-Verlag,
Boston, Basel, Berlin, 1996).
[H1] S. Helgason, Invariant differential operators and eigenspace representations, ‘Representa-
tion Theory of Lie groups’, London Math. Soc. Lecture Notes 34, Cambridge Univ. Press.,
London and New York, 1979 p. 236-286.
[H2] S. Helgason, Groups and geometric analysis, Academic Press, Orlando, 1984.
[H3] S. Helgason, Differential Geometry, Lie groups and Symmetric Spaces, Academic Press,
Boston, 1978.
[Ho] R. Howe, Perspectives on Invariant Theory, Israel Math. Conf. Proc., The Shur Lectures
(1992), Bar-Ilan University, 1995.
[Hu] D. Husemoller, Fibre Bundles, Springer Verlag, New York Heidelberg Berlin, 1975.
[J] J. Jiménez, Existence of Hermitian n-symmetric spaces and of non-commutative naturally
reductive spaces, Math. Z. 196(1987), 133-139. Addendum: Math. Z. 197(1988), 455-456.
[Ka] V. Kac, Some remarks on nilpotent orbits, J. Algebra 64(1980), 190-213.
[K1] A. Kaplan, Fundamental solutions for a class of hypoelliptic PDE generated by composi-
tion of quadratic forms, Trans. Amer. Math. Soc. 258(1980), 147-153.
[K2] A. Kaplan, Riemannian nilmanifolds attached to Clifford modules, Geom. Dedicata
11(1981), 127-136.
[K3] A. Kaplan, On the geometry of groups of Heisenberg type, Bull. London Math. Soc.
15(1983), 35-42.
[KR] A. Kaplan, F. Ricci, Harmonic analysis on groups of Heisenberg type, Lect. Notes in
Math. 992(1983), 416-435, Springer-Verlag Berlin Heidelberg.
[Ki] K. Kikuchi, On Gelfand pairs associated with nilpotent Lie groups, J. Math. Kyoto Univ.,
34-4(1994), 741-754.
[Kn] A. Knapp, Representation theory of semisimple groups, Princeton University Press,
Princeton, New Jersey, 1986.
[KN] S. Kobayashi, K. Nomizu, Foundations of Differential Geometry, Interscience Publishers,
New York, 1969.
[KP] O. Kowalski, F. Prufer, On probabilistic commutative spaces, Monatsh. Math.
107(1989), 57-68.
[KPV] O. Kowalski, F. Prufer, L. Vanhecke, D’Atri spaces, Topics in Geometry: Honoring
the Memory of Joseph D’Atri (ed. S. Gindikin), (Birkhauser-Verlag, Boston, Basel, Berlin,
1996).
[KV1] O. Kowalski, L. Vanhecke, Opérateurs différentiels invariants et symmétries geodésiques
préservant le volume, C.R. Acad. Sci. Paris Sér. I Math. 296(1983), 1001-1003.
[KV2] O. Kowalski, L. Vanhecke, A generalization of a theorem on naturally reductive homo-
geneous spaces, Proc. amer. math. Soc. 91(1984), 433-435.
[KV3] O. Kowalski, L. Vanhecke, Riemannian manifolds with homogeneous geodesics, Boll.
Un. Mat. Ital. B (7) 5(1991), 189-246.
[L1] J. Lauret, Homogeneous nilmanifolds of dimension 3 and 4, Geom. Dedicata 68(1997),
145-155.
[LiE] Leeuwen M.A.A. van, Cohen A.M., Lisser B., A package for Lie group computations,
Computer Algebra, Amsterdan, Netherland, 1992.
[Ma] Y. Mao, A converse of the Gelfand theorem, Proc. of the Amer. Math. Soc. 125(1997),
2299-2702.
[M] J. Milnor, Curvature of Left-invariant Metrics on Lie Groups, Adv. in Math. 21(1976),
293-329.
[MPR] W.G. Mckay, J. Patera, D.W. Rand, Tables of representations of simple Lie algebras,
Volume I, Exceptional simple Lie algebras, Les publications CRM, Universidad de Montreal,
Canada, 1990.
[P] A. M. Pastore, On the homogeneous Riemannian structures of type T1 ⊕ T3 , Geom.
Dedicata 30(1989), 235-246.
[R] F. Ricci, Commutative algebras of invariant functions on groups of Heisenberg type, J.
London Math. Soc. (2) 32(1985), 265-271.
[Ri1] C. Riehm, The automorphism group of a composition of quadratic forms, Trans. Amer.
Math. Soc. 269(1982), 403-414.
BIBLIOGRAFÍA 79
[Ri2] C. Riehm, Explicit spin representations and Lie algebras of Heisenberg type, J. London
Math. Soc. (2) 29(1984), 49-62.
[S] A. Selberg, Harmonic analysis and discontinuos groups in weakly symmetric spaces with
applications to Dirichlet series, J. Indian Math. Soc (N.S.) 20(1956), 47-87.
[T] E. Thomas, An infinitesimal characterization of Gelfand pairs, Proc. Conf. Modern Anal.
and Probability, Yale University, 1984.
[TV1] F. Tricerri, L. Vanhecke, Homogeneous structures on Riemannian manifolds, London
Math. Soc. Lecture Note Ser. 83(1983), Cambridge University Press, Cambridge.
[TV2] F. Tricerri, L. Vanhecke, Naturally reductive homogeneous spaces and generalized
Heisenberg groups, Compositio Math. 52(1984), 389-408.
[Wa] N. Wallach, Real Reductive Groups I, Academic Press Inc., London, 1988.
[W] E. Wilson, Isometry groups on homogeneous nilmanifolds, Geom. Dedicata 12(1982), 337-
346.
[Wo] J.A. Wolf, Curvature in nilpotent Lie groups, Proc. Amer. Math. Soc. 15(1964), 271-274.
[Z] W. Ziller, Weakly symmetric spaces, Topics in Geometry: Honoring the Memory of
Joseph D’Atri (ed. S. Gindikin), (Birkhauser-Verlag, Boston, Basel, Berlin, 1996).

Algebras de Lie

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Algebras de Lie

Încărcat de

Drepturi de autor:

Formate disponibile

Facultad de Matemática, Astronomı́a y Fı́sica

Universidad Nacional de Córdoba

GRUPOS DE LIE 2-PASOS NILPOTENTES Y

Tesis presentada para optar al grado de Doctor en Matemática.

Director: Dra. Isabel G. Dotti

El objetivo principal de esta tesis es el estudio de ciertas clases especiales de

1991 Mathematics Subject Classification: 22E30, 53C30, 22E25, 43A20.

FaMAF, Univ. Nac. de Córdoba,

CAPITULO 1. Generalizaciones de simetrı́a en grupos de Lie nilpotentes 9

A partir de ciertas caracterı́sticas del espacio euclı́deo n-dimensional E n , uno

Agradecimientos. Deseo agradecer, en primer lugar, a Isabel por su constante

Generalizaciones de simetrı́a en grupos de Lie

Resumen de los resultados originales obtenidos

- Prueba alternativa de la caracterización de los grupos 2-pasos nilpotentes natu-

- Prueba alternativa de la conmutatividad de algunos grupos de tipo-H (Corolario

2. Geometrı́a Riemanniana en grupos nilpotentes

(ii) Se sigue claramente de la prueba de (i). ¤

Supongamos de ahora en más que N es un grupo 2-pasos nilpotente y sea h, i

entonces que tales transformaciones posean mucha información de la geometrı́a de

(iii) ρ(a, b) = − 14 tr (Ja Jb ) ∀ a, b ∈ z.

es isotı́pico o irreducible si lo es como módulo de Clifford. Consideraremos siempre

Daremos ahora una descripción detallada del subgrupo de isotropı́a K de un

3. Espacios naturalmente reductivos

Definición 3.1. Una variedad homogénea M se dice naturalmente reductiva

h[x, y]m , zi + hy, [x, z]m i = 0 ∀ x, y, z ∈ m, (1.7)

donde [x, y]m denota la proyección de [x, y] sobre m respecto de la descomposición

donde ∇ y R denotan la conexión de Levi-Civita y el tensor de curvatura de (M, g)

˜ = ∇ − T entonces las condiciones (AS) pueden reescribirse de

ρ(∇a x, b) + ρ(x, ∇a b) = ρ(Ta x, b) + ρ(x, Ta b)

0 = h(S1 − λI)x, Ta bi.

ρ(∇x y, a) + ρ(y, ∇x a) = ρ(Tx y, a) + ρ(y, Tx a)

h 12 λJa x − 12 S1 Ja x, yi = hλTa x − S1 Ta x, yi,

Luego, multiplicando escalarmente por b ∈ z y usando (1.8),(1.9),(1.10) y (iv) de

Recı́procamente, si (i) y (ii) del teorema se cumplen, no es difı́cil verificar que

En el siguiente teorema mostraremos, usando Teorema 3.5, que en grupos 2-

todo x, y ∈ n, D, D0 ∈ k. Luego para todo x, y, z ∈ v, a, b.c ∈ z, tenemos

= h([x, y] − Jb x − τb a + Ja y + τa b + [Da , Db ])m , z + c + Dc ie

= hJc x, yi − hJb x, zi + hJa y, zi + 2hτa b, ci

= hy, Jc xi − hy, Ja zi − hJb x, zi − 2hb, τa ci

= −hy + b, [x, z] − Jc x + Ja z + 2τa ci

= −hy + b + Db , ([x, z] − Jc x + Ja z + 2τa c + [Da , Dc ])m ie

Las estructuras homogéneas naturalmente reductivas son también llamadas es-

es la única estructura homogénea de clase T3 sobre (N, h, i) .

Prueba. Es fácil chequear que T es una estructura homogénea de clase T3 . Sea T 0

Usando que ∇ρ = T 0 ρ, para x, y ∈ v, a ∈ z con S2 a = λa, se tiene

ρ(∇x y, a) + ρ(y, ∇x a) = ρ(Tx0 y, a) + ρ(y, Tx0 a)

λh 12 [x, y], ai − 12 hS1 y, Ja xi = λhTx0 y, ai − 12 hS1 y, Ja xi

λh 12 [x, y], ai = λhTx0 y, ai

λh 12 [x, y], ai = λhTx0 y, ai,

donde T 1 : v × v → v es una función bilineal y antisimétrica. El resto de la prueba

pero como también ∇T = T T entonces para x, y ∈ v, a ∈ z nos queda

−Ty1 ∇x a = −Ty1 Tx a + Tx1 Ty a − TTx1 y a

lo que implica que

Tx1 Ja = Ja Tx1 ∀ x ∈ v, a ∈ z. (1.13)

∇x Ty1 z = Tx Ty1 z − TTx1 y z − Ty Tx1 z + Tx1 Ty1 z − TT1 1 y z − Ty1 Tx1 z

y como todos los corchetes están en z entonces

4. Espacios Riemannianos g.o.

Proposición 4.2. Todo espacio Riemanniano g.o. es homogéneo.

El ejemplo de un espacio Riemanniano g.o. que no es naturalmente reductivo

Proposición 4.7. Un grupo de Lie nilpotente (N, h, i) es un espacio Rieman-

hAy − Bx + [x, y], xi = 0 ∀ B ∈ k, y ∈ n,

hAy, xi + h[x, y], xi = 0 ∀ y ∈ n,

h[x, y], xi = hAx, yi ∀ y ∈ n,

La anterior descripción nos permite generalizar el resultado del Teorema 3.4