Subgrupos discretos del grupo de Heisenberg Autor: Exequiel Aguirre Directora: Dra. Linda V. Saal UNIVERSIDAD NACIONAL DE CÓRDOBA Córdoba, Julio de 2014 FaMAF - UNC 2014 Resumen La teorı́a de series de Fourier es la versión clásica del análisis armónico en el toro, Rn /Zn , donde Zn denota el subgrupo discreto de Rn de las n-uplas de números enteros. Si en lugar de Rn , consideramos el grupo de Heisenberg 2n+1 dimensional Hn , un tema de interés actual es desarrollar el análisis armónico asociado a Hn /Γ, donde Γ denota un subgrupo discreto de Hn . Ver [Th] El objetivo de este trabajo es estudiar la descripción hecha por R. Tolimieri [To] de los subgrupos discretos del grupo de Heisenberg. Palabras Clave: Heisenberg, lattice, grupos discretos Código de clasificación: 22E40, 22E25 3 Índice 1. Introducción 5 2. Preliminares 2.1. Formas bilineales . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Grupo de Heisenberg . . . . . . . . . . . . . . . . . . . . . . . . 6 6 8 3. Automorfismos del grupo de Heisenberg 3.1. Descripción del grupo de automorfismos . . . . . . . . . . . . . . 8 9 4. Descripción de lattices en el grupo de Heisenberg 4 10 Notación GL(2n, R) hn Hn An ψ h = (x, y,t) = (v,t) Γ [Γ, Γ] L Z < v1 , ..., vn > Γ(l) β(Γ) 1. Grupo simpléctico Álgebra de Heisenberg Grupo de Heisenberg Grupo de automorfismos de hn Forma bilineal, antisimétrica, no degenerada en R2n h ∈ Hn , x, y ∈ Rn , v ∈ R2n , t ∈ R Subgrupo discreto de Hn Subgrupo conmutador de Γ Conjunto de todos los lattices de Hn Centro de Hn Z-módulo generado por los elementos v1 , ..., vn Grupo generado por (e1 , 0)...(en , 0), (l1 en+1 , 0), ..., (ln e2n , 0) Real positivo unı́vocamente determinado, tal que Γ ∩ Z = {(0, β(Γ)m) : m ∈ Z} Introducción El estudio de los subgrupos discretos de un grupo de Lie aparece en áreas centrales de la matemática, tales como geometrı́a diferencial y algebraica, análisis armónico, y teorı́a de números ( formas automorfas.). En este trabajo se estudian los subgrupos discretos del grupo de Heisenberg Hn , siguiendo la descripción hecha por R. Tolimieri en [To]. La misma se basa en la obtención de ciertos subgrupos discretos canónicos, para luego probar que cualquier otro está en la órbita de uno de ellos, bajo la acción del grupo de automorfismos de Hn . Para tal fin en la sección 3 de este trabajo se describe este grupo de automorfismos . En nuestro caso particular, el estudio de lattices Γ en Hn , está motivado por su conexión al análisis armónico. Como una aplicación de interés mencionamos la descomposición en representaciones irreducibles de la representación regular a derecha de Hn en L2 (Γ/Hn ), pudiendo calcularse explı́citamente sus multiplicidades. ( Ver [Fo] ,[Th]). 5 2. Preliminares 2.1. Formas bilineales En esta sección describimos la forma canónica de una forma bilineal, antisimétrica, no degenerada sobre un espacio vectorial real V de dimensión finita. Recordamos que una tal forma bilineal ψ : V ×V → R es antisimétrica si ψ(v, w) = −ψ(w, v) ∀v, w ∈ V y se dice no degenerada si ψ(v, v0 ) = 0 ∀v0 ∈ V ⇒ v = 0 y ψ(v, v0 ) = 0 ∀v ∈ V ⇒ v0 = 0 Definición 1 Un plano hiperbólico para una forma antisimétrica es un espacio vectorial de dimensión 2 no degenerado, i.e. ψ|P es no degenerada. Definición 2 Decimos que un espacio vectorial V es hiperbólico si se puede escribir como suma ortogonal (directa ) de planos hiperbólicos Teorema 1 Sea V, un espacio vectorial real de dimensión finita, ψ una forma bilineal, antisimétrica, no degenerada, ψ : V ×V 7→ R. Entonces V es un espacio hiperbólico y dim(V) es par. Demostración: Como ψ es no degenerada entonces podemos asumir que ψ 6= 0. Existen entonces, ẽ1 y f1 no nulos, tales que ψ(ẽ1 , f1 ) = c 6= 0. Definimos, e1 := ẽc1 entonces, ψ(e1 , f1 ) = 1. Notar que e1 y f1 , son linealmente independientes, pues si e1 = c f1 con c 6= 0, entonces ψ(e1 , f1 ) = ψ(c f1 , f1 ) = 0. Sea P1 el espacio vectorial generado por los elementos e1 , f1 . Dado que ψ(e1 , f1 ) = 1 y ψ es antisimétrica, tenemos que: ψ(e1 , e1 ) = 0 ψ( f1 , f1 ) = 0 ψ( f1 , e1 ) = −1 Por lo que, ψ|P1 0 1 = −1 0 Se ve ası́ que ψ|P1 es no degenerada ⇒ P1 es un plano hiperbólico. 6 Afirmación 2: Se tiene que V = P1 ⊕ P1⊥ donde P1⊥ = {α ∈ V : ψ(α, β) = 0 ∀ β ∈ P1 } .En efecto, sea v cualquier elemento en V. Definimos v1 := ψ(v, f1 )e1 − ψ(v, e1 ) f1 v2 := v − v1 Notar que v1 ∈ P1 y v2 ∈ P1⊥ , pues ψ(v2 , e1 ) = ψ(v, e1 ) − ψ(v1 , e1 ) = ψ(v, e1 ) − [ψ(v, f1 )ψ(e1 , e1 ) + ψ(v, e1 )ψ( f1 , e1 )] = ψ(v, e1 ) − ψ(v, e1 ) =0. Análogamente ψ(v2 , f1 ) = 0. Además, P1 ∩ P1⊥ = {0}, pues si ṽ ∈ P1 ∩ P1⊥ , entonces ψ(ṽ, v1 ) = 0 ∀v1 ∈ P1 ψ(ṽ, v2 ) = 0 ∀v2 ∈ P1⊥ , con lo cual, ψ(ṽ, v) = 0 ∀v ∈ V = P1 + P1⊥ Hemos visto que, V = P1 ⊕ P1⊥ , con P1⊥ = {v ∈ V : ψ(v, e1 ) = 0 = ψ(v, f1 )}. Por inducción, aplicamos la hipótesis a ψ|P⊥ obteniendo los pares (ei , fi ) con 1 i ∈ N. Como V tiene dimensión finita, existe un n ∈ N tal que β = {e1 , f1 , ..., en , fn } es una base de V . En esta base, 0 1 −1 0 0 1 −1 0 ψ= . . . 0 1 −1 0 y se ve que la dim(V ) es par. De ahora en adelante, sea ψ : R2n × R2n 7→ R dada por ψ((x, y), (x0 , y0 )) = y.x0 − x.y0 , donde x, y, x0 , y0 ∈ Rn con x.y el producto escalar usual de Rn . 7 2.2. Grupo de Heisenberg Definición 3 Denotaremos con hn el álgebra de Heisenberg,definida sobre Cn × R con el corchete de Lie dado por [(v,t), (v0 , s)] = (0, ψ(v, v0 )), donde ψ(v, v0 ) = Im(v.v0 ). Definición 4 El grupo de Heisenberg es como variedad subyacente Cn × R, con ley de grupo dada por 1 (v,t)(v0 , s) = (v + v0 ,t + s + ψ(v, v0 )), 2 según la fórmula de Baker-Campbell-Hausdorff. Observación: El grupo de Heisenberg Hn , también puede ser visto como Rn × Rn × R munido de la operación de grupo definida por: 1 (x, y,t)(x0 , y0 , s) = (x + x0 + y + y0 ,t + s + ψ((x, y), (x0 , y0 ))), 2 donde x, x0 , y, y0 ∈ Rn , s,t ∈ R. El centro de Hn viene dado por Z=(0,t), t ∈ R. Es inmediato ver que la aplicación exponencial exp : hn 7→ Hn es la identidad. Definición 5 Recordemos que, dados dos elementos g, h en un grupo G, el conmutador de g y h es [g, h] := ghg−1 h−1 . Llamaremos subgrupo conmutador [G, G] al grupo generado por todos los conmutadores. Notemos que, dados g = (v,t), h = (v0 , s) ∈ Hn 1 1 [g, h] = ghg−1 h−1 = (v+v0 ,t +s+ ψ(v, v0 ))(−v−v0 , −t −s+ ψ(v, v0 )) = (0, ψ(v, v0 )) 2 2 3. Automorfismos del grupo de Heisenberg Definición 6 Recordemos que un automorfismo α : hn 7→ hn es un isomorfismo lineal tal que α([(v,t), (v0 , s)]) = [α(v,t), α(v0 , s)] 8 Sea A ∈ GL(2n, R) tal que ψ(v, v0 ) = ψ(Av, Av0 ), y Φ : hn 7→ hn la aplicación que tiene como matriz asociada A 0 [Φ] = , 0 1 entonces Φ es un automorfismo pues, dado que como A ∈ GL(2n, R) Φ es biyectiva y además, Φ([(v,t), (v0 , s)]) = Φ(0, ψ(v, v0 )) = (0, ψ(v, v0 )) = (0, ψ(Av, Av0 )) = [(Av,t), (Av0 , s)] = [Φ(v,t), Φ(v0 , s)]. Esta última observación motiva la siguiente definición. Definición 7 Definimos el grupo simpléctico Sp(2n, R) como , Sp(2n, R) = {A ∈ GL(2n, R) : ψ(v, v0 ) = ψ(Av, Av0 )∀v, v0 ∈ Cn }. Observemos que este es el subgrupo de automorfismos que actúan trivialmente en el centro. 3.1. Descripción del grupo de automorfismos Sea An el grupo de automorfismos de hn . Todo α ∈ An viene en principio dada por una transformación lineal R2n+1 en R2n+1 , A c α= , b a con A ∈ R2n × R2n , a ∈ R, b, c ∈ R2n . El hecho de que α es un autormofismo, nos brinda más información sobre estos elementos. Sabemos que, α(h) ∈ Z∀h ∈ Z , donde Z denota el centro de Hn . Esto nos indica que c = 0. Además, dado que α es inyectiva, a 6= 0. Sobre A tenemos la condición aψ(v, v0 ) = ψ(Av, Av0 ), pues (0, ψ(Av, Av0 )) = [α(v,t), α(v0 , s)] = α[(v,t), (v0 , s)] = (0, aψ(v, v0 )). Además, dado que α es invertible, A ∈ GL(2n, R). 9 Ahora veamos el caso en que a > 0. Si definimos δa (v,t) := (av, a2t), tenemos que A 0 S 0 I 0 α= = δa1/2 , b a 0 1 b̃ 1 con b̃ = ab y S tal que S(v) = a−1/2 A(v). De esta última condición sobre S, se sigue que S ∈ Sp(2n, R). Para el caso, donde a < 0, introducimos θ(v,t) := (v, −t). Dado que θ = θ−1 , A 0 A 0 Ã 0 α= = θθ =θ . b a b a b −a Dado que α y θ son automorfismos, θα lo es. Además −a > 0, por lo que tenemos que θα es un automorfismo como el visto en el caso anterior, y por ende, S 0 I 0 α = θδ(−a)1/2 . 0 1 b̃ 1 Observemos que b̃ no hay ninguna condición, y que por lo tanto el grupo sobre I 0 es un subgrupo abeliano de An isomorfo a R2n . generado por b̃ 1 4. Descripción de lattices en el grupo de Heisenberg Definición 8 Recordemos que una lattice de Cn es un subgrupo discreto D de Cn tal que Cn /D es compacto. Definición 9 Llamaremos una lattice de Hn , a un subgrupo discreto Γ de Hn tal que Hn /Γ es compacto. Notemos, que Γ ∩ Z es un subgrupo discreto, no trivial, de Z y por ende existe un único real positivo β(Γ) tal que: Γ ∩ Z = {(0, β(Γ)m : m ∈ Z}. Consideremos π : Hn → Cn definida por π(v,t) = v entonces π(Γ) es una lattice de Cn . 10 Además, el hecho de que [Γ, Γ] ⊆ Γ ∩ Z = {(0, β(Γ)m : m ∈ Z} impone algunas condiciones especiales a π(Γ). Sean h = (v,t), g = (v0 , s) ∈ Γ, entonces [h, g] = h−1 g−1 hg = (0, ψ(v, v0 )) y por ende ψ(v, v0 ) ∈ β(Γ)Z. Es más, despues veremos que ψ(π(Γ), π(Γ)) = l1 β(Γ)Z para un entero positivo l1 . Esto motiva la siguiente definición: Definición 10 Llamaremos a una lattice D de Cn lattice de Heisenberg, cuando ψ(D, D) = rZ para algún r > 0. Denotaremos al conjunto de las lattices de Heisenberg por HL(Cn ). Lema 1 Si una lattice D de Cn satisface que ψ(D, D) ⊆ lZ, l > 0, entonces existe un entero positivo l1 tal que ψ(D, D) = ll1 Z, es decir D ∈ HL(Cn ). Demostración: Sin pérdida de generalidad podemos asumir que l=1, pues si l 6= 1, definimos f : D 7→ D̃ por f (d) := d √1 y luego ψ(D̃, D̃) ⊆ Z l Sea l1 el menor entero positivo para el cual existen v1 , v01 ∈ D tal que, l1 = ψ(v1 , v01 ). Definimos < v1 , v01 >⊥ = {v ∈ D : ψ(v, v1 ) = ψ(v01 , v) = 0} Afirmación 1: D =< v1 , v01 > ⊕ < v1 , v01 >⊥ . En efecto, sea v ∈ D, por el algoritmo Euclideo, ψ(v1 , v) = ml1 + r con m, r ∈ Z y 0 ≤ r < l1 ⇒ r = ψ(v1 , v) − ml1 = ψ(v1 , v) − mψ(v1 , v01 ) = ψ(v1 , v − mv01 ) Luego r = 0, por la elección de l1 , esto es ψ(v1 , v − mv01 ) = 0 De esta forma v − mv01 ∈< v1 >⊥ . Analogamente, v − m0 v1 ∈< v01 >⊥ con m0 ∈ Z. Notar que, ψ(v − (mv01 + m0 v1 ), v1 ) = ψ(v − mv01 , v1 ) + ψ(−m0 v1 , v1 ) = 0 = ψ(v01 , v − (mv01 + m0 v1 )) = ψ(v01 , v − m0 v1 ) + ψ(v01 , −mv01 ) ∴ v − (mv01 + m0 v1 ) ∈< v1 , v01 >⊥ Finalmente, para cualquier v ∈ D, v = v − (mv01 + m0 v1 ) + (mv01 + m0 v1 ) Afirmación 2: l1 |ψ(v, v0 ) ∀v, v0 ∈< v1 , v01 >⊥ . Pues, ψ(v, v0 ) = ml1 + r con m, r ∈ Z y 0 ≤ r < l1 ⇒ r = ψ(v, v0 ) − mψ(v1 , v01 ) = ψ(v, v0 ) − mψ(v1 , v01 ) + ψ(v1 , v0 ) + ψ(v, −mv01 ) = ψ(v + v1 , v0 − mv01 ) ⇒ r=0 (por la elección de l1 ) 11 Finalmente afirmamos que ψ(D, D) = l1 Z ⊇)Esta inclusión es inmediata: pues si m ∈ Z ⇒ ψ(v1 , mv01 ) = ml1 ⊆) Esta contención se sigue de la bilinealidad de la ψ y la afirmación 2. Notar que el lattice original ψ(D, D) = ll1 Z Lema 2 Un D ∈ HL(Cn ) se puede escribir como una suma directa ψ−ortogonal : D =< v1 , v01 > ⊕ < v2 , v02 > ... < vn , v0n > de Z-módulos bidimensionales < v j , v0j >. Sea l j = ψ(v j , v0j ). Entonces la descomposición puede ser tomada de forma tal que l l j ∈ R>0 y j+1 l j ∈ Z. Es más, estos l j están unı́vocamente determinados por D. Demostración: Por el lema 1 sabemos que existen l1 entero no negativo y l ∈ R tales que ψ(D, D) = ll1 Z. Sin pérdida de generalidad podemos asumir l=1. Luego existe v1 , v01 ∈ D tal que l1 = ψ(v1 , v01 ). Sea P1 :=< v1 , v01 > el Z-módulo bidimensional generado por v1 , v01 . Notar que 0 l1 ψ|<v1 ,v01 > = −l1 0 En la prueba del lema 1 vimos que D =< v1 , v01 > ⊕ < v1 , v01 >⊥ . Como ψ(P1⊥ , P1⊥ ) ⊆ l1 Z podemos usar recursivamente el mismo razonamiento anterior para obtener los pares (v j , v0j ), j = 2...m tales que D =< v1 , v01 > ⊕ < v2 , v02 > ... < vm , v0m > m 2n 2(n−m) Si m < n ⇒ R2n /D = R2n / ⊕m i=1 Pi w ⊕i=1 (R /Pi ) ⊕ R 2n Luego R /D no serı́a compacto , absurdo! pues D es un lattice. Veamos que l j |l j+1 . Ya vimos que D = P1 ⊕ P2 ⊕ ... ⊕ Pj ⊕ P⊥ j . 0 0 l j+1 = ψ(v j+1 , v j+1 ) = mψ(v j , v j ) + r ⇒ r = ψ(v j+1 , v0j+1 ) − mψ(v j , v0j ) + 0 + 0 = ψ(v j+1 , v0j+1 ) − mψ(v j , v0j ) + ψ(v j+1 , −mv0j ) + ψ(v j , v0j+1 ) = ψ(v j+1 + v j , v0j+1 − mv0j ) con (v j+1 + v j ), (v0j+1 − mv0j ) ∈ Pj ⊕ P⊥ j ⇒ r = 0 pues l j es el más pequeño de ⊥ ⊥ ψ(Pj ⊕ Pj , Pj ⊕ Pj ) 12 Queda por ver la unicidad. Primero veamos que l1 es único. Supongamos que existe un l˜1 tal que: ψ(D, D) = l˜1 Z ⇒ l˜1 |l1 y l1 |l˜1 ∴ l˜1 = l1 La prueba continua por inducción sobre la dimensión de D. Para Dim(D)=2 la prueba resulta de la unicidad de l1 Dado n ∈ N , supongamos que los li son únicos para los lattice de Heisenberg de dimensión 2n-2. Para D con dimensión 2n, definimos D̃ := D/(v1 Z ⊕ v01 Z) D̃ es un lattice de Heisenberg, de dimensión 2n-2, por lo que sus 2 ≤ li ≤ n asociados son únicos (por hipótesis inductiva). Además el l1 es único por lo visto en el primer párrafo de la unicidad. Corolario 1 πL = HL(Cn ) Demostración: ⊆) Sea Γ ∈ L [Γ, Γ] ⊆ Γ ∩ Z ⇒ es un subgrupo discreto de Z(' R) Además, (0, ψ(π(Γ), π(Γ))) = {(0, ψ(π(h), π(h0 ))) : h, h0 ∈ Γ} = [Γ, Γ] ⊆ (0, β(Γ)Z) Entonces tenemos que: ψ(π(Γ), π(Γ)) ⊆ β(Γ)Z ψ(π(Γ), π(Γ)) es un lattice de Cn Con lo cual, estamos en condiciones de aplicar el lema1, y concluir que ψ(π(Γ), π(Γ)) = l1 β(Γ)Z ∴ π(Γ) ∈ HL(Cn ) ⊇) D ∈ HL(Cn ) ⇒ D =< v1 , v01 > ⊕...⊕ < vn , v0n > por (2) Definimos Γ como el grupo generado por (v1 , 0), (v2 , 0), ..., (vn , 0), (v01 , 0), (v02 , 0), ..., (v0n , 0). Más explicitamente, Γ = {(∑ni=1 ai vi + bi v0i , 12 ml1 ) : ai , bi , m ∈ Z}. Observemos que Γ satisface la condición adicional: [Γ, Γ] = Γ ∩ Z Es inmediato ver que Γ es un subgrupo discreto y que Hn /Γ es compacto. Corolario 2 Sea Γ ∈ L entonces, ψ(π(Γ), π(Γ)) = l1 β(Γ)Z 13 Demostración: Por el corolario anterior, D = π(Γ) ∈ HL(Cn ) ∴ ψ(D, D) = l1 β(Γ)Z Ejemplo 1 Definimos, Zn# := {` = (l1 , l2 , ..., ln ) ∈ Nn : l j |l j+1 } Sea e j , 1 ≤ j ≤ 2n, la base canónica de R2n . Se ve fácilmente que ψ(e j , e j+n ) = 1 para j = 1, ..., n. Para `, definimos: D(`) :=< e1 , ....en , l1 en+1 , l2 en+2 ..., ln e2n > Observación: En el lema 2 vimos que si D(`) ∈ HL(Cn ) entonces admitı́a una descomposición de la forma < v1 , v01 > ⊕... < vn , v0n >= D(`) En el ejemplo anterior, vi = ei y v0i = li ei+1 Teorema 2 Para cada D ∈ HL(Cn ) existe un único ` ∈ Zn# , un único l ∈ R>0 y un α ∈ SP(2n, R) tal que: D = α(l 1/2 D(`)) Demostración: Si D ∈ HL(Cn ),entonces ψ(D, D) = ll1 Z, con l ∈ R>0 y l1 ∈ N 1 D =< v1 , v01 > ⊕...⊕ < vn , v0n > con los números natuPor el lema 2, D̃ := l 1/2 rales li = ψ(vi , v0i ) univocamente determinados. Definimos ` := (l1 , ..., ln ) ∈ Z#n Sea α la transformacion lineal sobre R2n definida por, α(e j ) = v j , v j+1 α(e j+n ) = , lj con j=1,...,n. Es fácil ver que ψ(αek , αek+n ) = ψ(ek , ek+n ), luego α ∈ SP(2n, R). Por lo cual D̃ = α(D(`)) 1 Pero entonces, D̃ = l 1/2 D = α(D(`)) ⇒ D = α(l 1/2 D(`)) Definición 11 Llamaremos Γ(`) al grupo generado por, (e1 , 0), (e2 , 0), ..., (en , 0), (l1 en+1 , 0), (l2 en+2 , 0), ..., (ln e2n , 0), con ` = (l1 , ...ln ) ∈ Z#n . 14 Corolario 3 Sea Γ ∈ L(Hn ) tal que [Γ, Γ] = Γ ∩ Z. Entonces existe un único ` ∈ Z#n , un único l > 0 y α ∈ Sp(2n, R) tal que: Γ = δ 1 α(Γ(`)) l2 Demostración: Recordemos que [Γ, Γ] = {(0, ll1 m) : m ∈ Z}. Sea D := π(Γ) = α(l 1/2 D(`)). Sea α 0 Γ(`). Γ̃ = δl 1/2 0 1 Con Γ̃ asi definida, tenemos que, α 0 π(Γ̃) = π(δl 1/2 Γ(`)) = l 1/2 α(π(Γ(`))) = l 1/2 α(D(`)) = D = π(Γ) 0 1 [Γ̃, Γ̃] = {(0, ll1 m) : m ∈ Z}, por lo que concluimos que Γ̃ = Γ. 15 Referencias [Fo] Folland G. “Compact Heisenberg Manifolds as CR Manifolds”,The Journal of Geometric Analysis, Vol. 14 N. 3, 2004.(521-532) [Ho] Hoffman K.,Kunze R. “Linear Algebra”,Prentice-Hall, 1973 [Hu] Hungerford T. W. “Algebra”,Graduate Text in Mathematics, V. 73,Springer, 2003 [La] Lang S. “Algebra”,3. ed., Springer, 2004 [Th] Thangavelu S. “Harmonic analysis on Heisenberg nilmanifolds”.Revista de la Unión Matemática Argentina,V. 50, N. 2 , 2009. (75-93) [To] Tolimieri R. “Heisenberg manifolds and Theta functions”, Trans. of the A.M.S Vol 239, 1978. (293-319) 16
© Copyright 2024