Álgebra de grupo

Em matemática, a álgebra de grupo é qualquer uma das várias construções que associam a um grupo localmente compacto uma álgebra de operadores (ou mais geralmente uma álgebra de Banach), de modo que as representações da álgebra estejam relacionadas às representações do grupo. Como tal, elas são similares ao anel de grupo associado a um grupo discreto.

Álgebras de grupo como grupos topológicos: C_c(G)

Para os objetivos da análise funcional, e em particular da análise harmônica, deseja-se realizar a construção de anel de grupo para grupos topológicos G. No caso de G ser um grupo Hausdorff localmente compacto, G tem uma Medida de Borel invariante à esquerda contável e aditiva μ essencialmente única μ, chamada de medida de Haar. Usando a medida de Haar, pode-se definir uma operação de convolução no espaço C_c(G) das funções contínuas sobre G a valores complexos com suporte compacto; C_c(G) pode então ser dado uma de várias normas e o seu completamento será uma álgebra de grupo.

Para definir a operação de convolução, sejam f e g duas funções em C_c(G). Para  t em G, defina

$$[f*g](t)=\int _{G}f(s)g\left(s^{-1}t\right)\,d\mu (s).$$

O fato de que f * g é contínua é uma consequência imediata do teorema da convergência dominada. Além disso,

$$\operatorname {Support} (f*g)\subseteq \operatorname {Support} (f)\cdot \operatorname {Support} (g)$$

em que o ponto representa o produto em G. C_c(G) também tem uma involução natural definida por:

$$f^{*}(s)={\overline {f(s^{-1})}}\Delta (s^{-1})$$

em que Δ é a função modular em G. Com esta involução, ela é uma *-álgebra.

Teorema. Com a norma:

$$\|f\|_{1}:=\int _{G}|f(s)|d\mu (s),$$

C_c(G) torna-se uma an álgebra normada involutiva com uma identidade aproximada.

A identidade aproximada pode ser indexada em uma

base de vizinhança da identidade consistindo de conjuntos compactos. De fato, se V é uma vizinhança compacta da identidade, seja f_V uma função contínua não negativa com suporte em V tal que

$$\int _{V}f_{V}(g)\,d\mu (g)=1.$$

Então {f_V}_V é uma identidade aproximada. Uma álgebra de grupo tem uma identidade, em vez de apenas uma identidade aproximada, s e somente se a topologia do grupo é a topologia discreta.

Note que para grupos discretos, C_c(G) é a mesma coisa que o anel de grupo complexo C[G].

A importância da álgebra de grupo é que ela captura a teoria das  representações unitárias de G como mostra o seguinte

Teorema. Seja G um grupo localmente compacto. Se U é uma representação unitária fortemente contínua de G sobre um espaço de Hilbert H, então

$$\pi _{U}(f)=\int _{G}f(g)U(g)\,d\mu (g)$$

é uma *-representação não degenerada limitada da álgebra normada C_c(G). A aplicação

$$U\mapsto \pi _{U}$$

é uma bijeção entre o conjunto  das representações unitárias fortemente contínuas de G e as *-representações  não degeneradas limitadas de C_c(G). Esta bijeção respeita equivalência unitária e contenção forte. Em particular, π_U é irredutível se e somente se U é irredutível.

Uma representação π de C_c(G) sobre um espaço de Hilbert H_π é não degenerada se

$$\left\{\pi (f)\xi :f\in \operatorname {C} _{c}(G),\xi \in H_{\pi }\right\}$$

é denso em H_π.

A álgebra de convolução L¹(G)

É um teorema padrão da teoria da medida que o completamento de C_c(G) na norma L¹(G) é isomorfo ao espaço L¹(G) das classes de equivalência de funções integráveis com respeito a medida de Haar, onde, como de costume, duas funções são consideradas equivalentes se, e somente se, elas diferem apenas em um conjunto de medida de Haar zero.

Teorema. L¹(G) é uma *-álgebra de Banach com o produto de convolução e a involução acima definidos, e com a norma L¹. Além disso, L¹(G) tem uma identidade aproximada limitada.

A C*-álgebra de grupo C*(G)

Seja C[G] o anel de grupo de um grupo discreto G.

Para um grupo localmente compacto G, a C*-álgebrade grupo C∗(G) de G é definida como a C*-álgebra envolvente de L¹(G), isto é, o completamento de C_c(G) com relação à C*-norma:

$$\|f\|_{C^{*}}:=\sup _{\pi }\|\pi (f)\|,$$

em que π varia sobre todas as *-representações não-degeneradas de C_c(G) em espaços de Hilbert. Quando G é discreto, segue da desigualdade triangular que, para qualquer π nestas condições, tem-se:

$$\|\pi (f)\|\leq \|f\|_{1},$$

portanto, a norma está bem definida.

Segue da definição que C*(G) tem a seguinte propriedade universal: qualquer *-homomorfismo de C[G], para alguma B(H) (a C*-álgebra de operadores limitados em algum espaço de Hilbert H) pode ser fatorado pela aplicação de inclusão:

$$\mathbf {C} [G]\hookrightarrow C_{\text{max}}^{*}(G).$$

A C*-álgebra de grupo reduzida C_r*(G)

A C*-álgebra de grupo reduzida C_r*(G) é o completamento de C_c(G) com relação à norma

$$\|f\|_{C_{r}^{*}}:=\sup \left\{\|f*g\|_{2}:\|g\|_{2}=1\right\},$$

em que

$$\|f\|_{2}={\sqrt {\int _{G}|f|^{2}d\mu }}$$

é a norma L². Como o completamento de C_c(G) com relação à norma L² é um espaço de Hilbert, a norma C_r* é a norma do operador limitado agindo em L²(G) por convolução com f e, portanto, uma C*-norma.

Equivalentemente, C_r*(G) é a C*-álgebra gerada pela imagem da representação regular à esquerda sobre ℓ²(G).

Em geral, C_r*(G) é um quociente de C*(G). A C*-álgebra de grupo reduzida é isomorfa à C*-álgebra de grupo não reduzida definida acima se, e somente se, G é ameno.

Álgebras de von Neumann associadas a grupos

O álgebra de grupo de von Neumann W*(G) de G é a envolvente da álgebra de von Neumann de C*(G).

Para um grupo discreto G, podemos considerar o espaço de Hilbert ℓ²(G) para o qual G é uma base ortonormal. Como G opera em ℓ²(G) permutando a base de vetores, podemos identificar o anel de grupo complexo C[G] com uma subálgebra da álgebra de operadores limitados em ℓ²(G). O fechamento fraco desta subálgebra, NG, é uma álgebra de von Neumann.

O centro de NG pode ser descrito em termos dos elementos de G cuja classe de conjugação é finita. Em particular, se o elemento identidade de G é o único elemento de grupo com essa propriedade (isto é, G tem a propriedade das classes de conjugação infinitas), o centro de NG consiste apenas de múltiplos complexos da identidade.

NG é isomorfa ao fator hiperfinito de tipo II₁ se, e somente se, G é contável, ameno, e tem a propriedade das classes de conjugação infinitas.

Ver também

• Álgebra de grafo
• Álgebra de incidência
• Álgebra de caminhos
• Álgebra de grupoide

Referências

• Dixmier, J. C* algebras (em inglês). [S.l.: s.n.] ISBN 0-7204-0762-1 
• Kirillov, A. A. Elements of the theory of representations (em inglês). [S.l.: s.n.] ISBN 0-387-07476-7 
• Loomis, L. H. Abstract Harmonic Analysis (em inglês). [S.l.: s.n.] ASIN B0007FUU30 
• A.I. Shtern (2001), "Group algebra of a locally compact group", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4