Notas em Grupoides e Algebroides de Lie

Leo Francisco Cavenaghi

February 2015

Introdu
c
ao

Seja M uma variedade riemanniana nao necessariamente compacta. Defina

G(M) := {g : Tx M Tx M R} conjunto das metricas riemannianas sob o
mesmo ponto base. Vamos induzir uma relacao de equivalencia sob este conjunto:
g1 g2 : Ux (Ux ) : g2 = g1
onde Ux e uma vizinhanca de x M e um difeomorfismo local. Defina entao

G := G(M)
As classes de equivalencia deste quociente serao denotadas por:
(g2 , , g1 ).
Gostaramos de induzir uma estrutura de grupo neste espaco. Uma ideia seria
usar a composic
ao dos difeomorfismos, mas nem sempre e verdade que existe
tal composta. Entretanto, dados dois elementos (g2 , , g1 ), (h2 , , h1 ) G se
g1 = h2 , ent
ao, a composicao faz sentido localmente, e obtemos um terceiro
elemento, (g2 , , h1 ) G. Evidentemente consegue-se um elemento neutro
neste quociente, (g, I, g) e por conseguinte, um elemento inverso, (g1 , 1 , g2 ).
Esta estrutura, como discutimos, nao e a de grupo mas, e promissora, no sentido
de que a restric
ao da composicao pode ser entendida como flechas em uma
categoria. N
ao por acaso que o nome dado a objetos como este, os grupoides,
s
ao contextualizados como pequena categoria de setas invertveis.

Grupoides

Vamos introduzir os objetos necessarios para formalizar a definicao de grupoides.

Basicamente um grupoide e um par de conjuntos, G, conjunto de setas e
M , conjunto de objetos. As setas agem em elementos do espaco de objetos, ou
seja, M tem o tr
afego de seus elementos determinado pelos em G. Chamamos
de base, o conjunto M , e de grupoide associado, o conjunto G.

Defini
c
ao 2.1 Agindo entre estes conjuntos destacamos:
s:GM
Chamado de mapa fonte (source) e,
t:GM
o mapa alvo (target).
O mapa composic
ao:
m : G2 G
m(g, h) := g h (gh), g, h G
G2 := {(g, h) G G : s(g) = t(h)}
O mapa unit
ario:
u:M G
x 7 1x
O mapa inverso:
i:GG
g 7 g 1 .
Os nomes nas definic
oes nao sao por acaso. Veja, dois elementos em M sao
relacionados por uma seta:
g

y
x, s(g) = x, t(g) = y.
uma quest
E
ao de conveniencia denotar a seta indo no sentido contrario, isto
vai nos permitir mostrar que a aplicacao de multiplicacao `a direita e um isomorfismo. labelmultiadireita
Vamos estabelecer leis:
Defini
c
ao 2.2

Lei de composicao:
g

x
y
z ghz
Lei da associatividade:
g

x
y
z
u g(hk) = (gh)k
Lei da unidade:
g

x
x
x, x
y, 1x g = g1y = g.

Lei da invers
ao:
g

g 1

x
y y x, gg 1 = 1y , g 1 g = 1x .
2

Defini
c
ao 2.3 Um grupoide consiste em G, conjunto de setas e M conjunto de
objetos, juntos dos mapas s, t, u, m, i com as leis acima.
Defini
c
ao 2.4 Definimos os seguintes subconjuntos de G:
A s-fibra em x M :
g

s1 (x) := {g : x
y}
A t-fibra em y M :
h

t1 (y) := {h : y
x}
Como dito em ?? a conveniencia em denotar as setas indo da direita para
esquerda permite o seguinte isomorfismo:
Rg : s1 (x) t1 (y)
g 7 hg
Defini
c
ao 2.5 O grupo de isotropia de G em x M :
Gx := s1 (x) t1 (x).
Se consideramos
x y s(x) = t(y)


fazendo M conseguimos a
orbita de x, que ser
a denotada por Ox . Alem
conjunto de todas as
orbitas, M G.
Defini
c
ao 2.6 A bissec
ao de G e o mapa b : M G tal que s b e t b s
ao
bijec
oes.
Proposi
c
ao 2.1 A bissec
ao tambem define um grupoide.
Defini
c
ao 2.7 Um grupoide e dito de Lie se G, M s
ao variedades e s, t s
ao
submers
oes.
Corol
ario 2.1 s1 (x), t1 (y) s
ao variedades.
Teorema 2.1 Seja G um grupoide de Lie sobre M e x M .
1. Gx s
ao grupos de Lie;
2. Ox s
ao subvariedades de M ;
3. u : M G e um mergulho;
4. t : s1 (x) Ox e um Gfibrado principal com grupo estrutural Gx .
intersec
Demonstra
c
ao 1
1. E
ao de variedades e portanto, uma variedade.
Para a estrutura de grupo coloca-se: Para todo g, h Gx , a multiplicac
ao
e dada por:
g h := hg 1
3

2. De fato existe uma imers

ao de Ox em M . Esta imers
ao e simplesmente a
projec
ao dos elementos de Ox em M . (Lembre-se que Ox e um quociente)
3. u e certamente uma submers
ao. A propriedade vem do fato que a imagem
inversa de 1x e certamente compacta.
um bocado f
4. Um exerccio para os alunos do Henrique. (E
acil)

2.1

Morfismo de grupoides, ac
ao e representac
ao

O par de mapas (f, F ) definidos por:

f :M N
F :GH
tal que o seguinte diagrama comuta:
M

s0 ,t0

s,t


F

/N


/H

e um morfismo de grupoides.
Proposi
c
ao 2.2 Se (f, F ) e morfismo de grupoides, ent
ao F |x : Gx Hf (x)
e morfismo de grupos de Lie.
Demonstra
c
ao 2 Decorre do teorema anterior.
Defini
c
ao 2.8 Dado um grupoide G sobre M , o Gespaco E e definido pelo
mapa: : E M , chamado de mapa momento, junto da aplicac
ao:
G E := {(g, e) : s(g) = (e)} E
(g, e) 7 ge
satisfazendo:
1. (ge) = t(g);
2. g(he) = (gh)e, g, h G, e E, quando a composic
ao fizer sentido,
evidentemente.
3. 1(e) e = e, e E.
Note que este e o an
alogo a
` acao de um grupo sobre um conjunto E. Na
verdade, definindo Ex =: 1 (x) a ac
ao de grupoides induz o seguinte isomorfismo:
Ex Ey
e 7 ge
4

Defini
c
ao 2.9 Se E e um fibrado vetorial e e o mapa projec
ao, dizemos que
a ac
ao e uma representac
ao.
Exemplo 1

1. Grupos de Lie

2. O grupoide par:

G := M M
onde (x, y) G s
ao tais que existe uma seta entre x e y.
3. O grupoide de ac
ao: Seja G um grupo de Lie agindo em uma variedade
M . O grupoide de ac
ao e definido segundo:
s(g, x) = x
t(g, x) = gx
(h, y)(g, x) = (hg, x).
Note que qualquer fibrado equivariante define uma representac
ao deste
grupoide.

Algebroide de um grupoide

A ideia e linearizar os grupoides, assim como linearizamos grupos de Lie associando a estes
algebras de Lie.
Relembre:
Seja G um grupo de Lie. A algebra de Lie associada a G, g, e definida por
ser o espaco tangente `
a identidade do grupo. Se voce consultar as notas de aula
do professor San Martin vai ver que este espaco e equivalente ao espaco dos
campos de vetores sobre G que s
ao invariantes pela direita.
Problemas: H
a uma identidade para cada x M ; a multiplicac
ao a
` direita
s
o est
a definida em s1 (x). Solu
c
ao: Associar um fibrado vetorial restrito aos
elementos na s-fibra.
Seja T G o fibrado tangente a G, o fibrado restrito a s-fibra e
T s G := ker(ds)
Por que? (Esse e o tipo de pergunta que educa, eu s
o fui descobrir isso no quarto
ano escrevendo estas notas)
Defini
c
ao 3.1 Seja G um grupoide sobre M . Definimos o fibrado vetorial g
cuja fibra em x M coincide com o espaco tangente `
a unidade em 1x da sfibra
em x.
O espaco tangente a qualquer outro ponto associado ao fibrado restric
ao, chamemolo assim, e definido:
Ths G := Th s1 (x).

A diferencial da multiplicac
ao a
` direita, ??, induz o isomorfismo
s
Rg : Ths G Thg
G

Xsinv (G) := {X (T s G) : Xhg = Rg (Xhg ) (h, g) G2 }.

Teorema 3.1 Xsinv (G)
= g.
Defini
c
ao 3.2 O mapa
ancora e definido por:
g : g T M
Ele e obtido simplesmente pela restric
ao do mapa:
dt : T G T M
Este mapa e uma submers
ao. (Por que?)
Agora que sabemos que o espaco Xsinv (G) e isomorfo a g, podemos munir o
nosso fibrado com um colchete, dando de fato, uma estrutura de
algebra de Lie
a este. Se denotarmos o isomorfismo e sendo , g definimos:
[, ] := [1 (), 1 ()].
Corol
ario 3.1 , (g), f C (M ), vale:
[, f ] = f [, ] + L() (f ).
Exemplo 2
1. Considere o grupoide de ac
ao. Vamos calcular o espaco tangente `
a identidade deste grupoide para um ponto x dado. Este vai ser o
n
ucleo da aplicac
ao s, da fonte.
d
d
|t=0 s((x, x)(tu, tv)) = |t=0 s(x, tv) x = tu.
dt
dt
Isto, usando a lei de composic
ao do grupoide. Por fim:
s(x, tv) = x = tu
e assim:
ds(x, x) = u.
E logo, o n
ucleo consiste no subconjunto de G tal que (u = 0, v).
2. Se considerarmos o grupoide de homotopias, colocando:
s(((0), (1)) = (0)
t(((0), (1)) = (1)
onde (t) e uma curva em M e composic
ao do grupoide e a concatenac
ao.
Calcule o algebroide associado seguindo o modelo do exemplo acima.
6