Introdução às representações irredutíveis do grupo SU(2): uma abordagem geométrica ao formalismo espinorial

Introduction to irreducible representations of the SU(2) group: a geometric approach to spinorial formalism

Resumo

O presente artigo constitui uma revisão teórica introdutória a respeito das entidades matemáticas conhecidas como espinores e de suas representações irredutíveis descritas pelo grupo especial unitário SU(2). O objetivo principal do trabalho é ir além da mera abstração algébrica que caracteriza a exposição usual desses conteúdos, explorando uma abordagem didática mais focada na intuição geométrica, e assim, oferecer ao leitor um vislumbre da perspectiva de teóricos como Milo Wolf e Michael Atiyah: a geometria é a própria essência da matéria. Na trilha didática seguida, parte-se inicialmente da Fita de Möbius como uma primeira analogia para representar um espinor. Após a justificativa conceitual das limitações teóricas dessa superfície, apresenta-se o modelo do Toro de Fuso como uma representação tridimensional mais eficaz, capaz de ilustrar tanto a auto-intersecção axial quanto a dupla cobertura que caracteriza o grupo SU(2). O texto expõe as principais características das representações irredutíveis espinoriais ($j=1/2$) e vetoriais ($j=1$) com o intuito de mostrar como o grupo SU(2) é capaz de unificar a topologia exótica de entidades quânticas com as simetrias espaciais clássicas descritas pelo grupo SO(3). Por fim, apresenta-se uma breve discussão sobre as implicações deste formalismo em áreas mais aplicadas da ciência, consolidando o grupo SU(2) como uma ferramenta conceitual indispensável pra conectar a álgebra abstrata com a topologia e as leis que governam a natureza.

Palavras-chave:
Espinores; Grupo SU(2); Toro de Fuso; Geometria

Abstract

This article presents an introductory theoretical review of the mathematical entities known as spinors and their irreducible representations as described by the special unitary group SU(2). The main objective of this work is to go beyond the purely algebraic abstraction that characterizes the usual presentation of these topics by adopting a didactic approach more focused on geometric intuition, thereby offering the reader a glimpse into the perspective of theorists such as Milo Wolff and Michael Atiyah, for whom geometry is the very essence of the subject. Following this approach, the Möbius strip is first introduced as an initial analogy for a spinor. After discussing the theoretical limitations of this surface, the spindle torus model is presented as a more effective three-dimensional representation, capable of illustrating both the axial self-intersection and the double-covering property that characterize the group SU(2). The text then presents the main features of the irreducible spinorial (j=1/2) and vector (j=1) representations, showing how SU(2) unifies the exotic topology of quantum entities with the classical spatial symmetries described by the group SO(3). Finally, a brief discussion is given of the implications of this formalism in more applied areas of science, establishing SU(2) as an indispensable conceptual tool for connecting abstract algebra with topology and the laws that govern nature.

Keywords:
Spinors; SU(2) group; Spindle torus; Geometry

1. Introdução

A formulação de grandes áreas da física moderna é orientada basicamente pelo estudo das simetrias fundamentais da natureza, cuja estrutura matemática é modelada pela Teoria de Grupos e de suas representações [¹, ², ³]. A análise sistemática dessas simetrias tem o poder de revelar estruturas profundas que vão muito além do que é concebível por meio da geometria clássica [⁴].

A Teoria de Grupos surgiu no século XIX, quando Évariste Galois propôs uma abordagem inovadora para investigar as condições de solubilidade de polinômios por radicais [⁵, ⁶, ⁷]. No entanto, o impacto dessa teoria na física só se tornou mais expressivo no século XX, com o advento da mecânica quântica e das teorias relativísticas de campos [⁸, ⁹].

A teoria de Galois prova, essencialmente, que é possível dizer se uma equação algébrica é solúvel por radicais estudando as simetrias dos grupos de permutações finitos associados a essas equações. Inspirado por essa ideia, o matemático norueguês Sophus Lie concentrou seus esforços em encontrar uma abordagem semelhante que funcionasse para as equações diferenciais [¹⁰], ou seja, ele buscou identificar um grupo de transformações contínuas capaz de revelar a estrutura das soluções das equações diferenciais [¹¹, ¹²]. Ao desenvolver rigorosamente essa intuição, Lie conseguiu criar uma ponte entre as simetrias de Galois e as variedades diferenciáveis, originando a Teoria dos Grupos Contínuos, usualmente conhecida como Grupos de Lie [¹³]. Essa nova ferramenta matemática permite que as simetrias possam descrever movimentos suaves e contínuos, uma propriedade essencial para lidar com os grupos SO(3) e SU(2) discutidos no presente estudo.

No livro Gruppenstheorie und Quantenmechanik publicado por Hermann Weyl em 1928, demonstra de maneira inequívoca a relação existente entre a Teoria de Grupos e a Teoria Quântica [¹⁴, ¹⁵]. A necessidade de compreender e classificar simetrias fundamentais levou ao uso sistemático de grupos de Lie e suas representações [¹⁶, ²].

Entre os grupos mais importantes no estudo da física pode-se destacar o grupo especial ortogonal em 3 dimensões, denotado como SO(3); e o grupo especial unitário em 2 dimensões, conhecido como SU(2). O SO(3) é bastante utilizado na física clássica por descrever as rotações no espaço tridimensional real, enquanto o SU(2) se faz mais presente nos domínios da mecânica quântica [¹⁷]. Apesar das distinções aparentemente irreconciliáveis, ambos são grupos de Lie contínuos com estrutura de variedade diferenciável e possuem relações notáveis que serão abordadas com mais detalhes ao longo do texto [¹⁸, ¹⁹].

O objetivo deste artigo é apresentar, de maneira didática e matematicamente rigorosa, o estudo das representações irredutíveis do grupo $SU\left(2\right)$, enfatizando sua conexão estrutural com o $SO\left(3\right)$. Por meio desta relação, desenvolvemos os estados quânticos de spins semi-inteiros a partir da álgebra de Lie associada ao $SU\left(2\right)$, mostrando as transformações desses estados quando são submetidos à aplicação dos operadores de momento angular. A construção matemática é acompanhada por interpretações físicas que tornam o formalismo mais acessível ao leitor com formação básica em física teórica.

2. A Linguagem Matemática das Simetrias Contínuas

O ramo da matemática que combina os alicerces geométricos de uma variedade diferenciável com a estrutura algébrica de um grupo é conhecida como Teoria dos Grupos de Lie, em homenagem ao matemático norueguês Sophus Lie, o primeiro a explorar os fundamentos dessa nova área em 1870 [²⁰, ¹⁷, ²¹].

De forma análoga aos grupos algébricos, a abordagem proposta por Lie também tem por objetivo o estudo das simetrias, mas com uma diferença fundamental: as simetrias analisadas por seu novo aparato teórico não são discretas, pois dependem suavemente (ou seja, de forma contínua e diferenciável) dos parâmetros reais (Figura 1). Esta característica motiva o uso de outra nomenclatura comumente usada para se referir a esse campo de pesquisa: Teoria dos Grupos Contínuos.

Figura 1
Comparação: Grupo Discreto $\times$ Grupo de Lie Contínuo.

Assim, a teoria dos grupos de Lie estuda o conjunto de transformações que satisfazem duas propriedades básicas:

• I)

  Constituem um grupo;

• II)

  Possuem estrutura de variedade diferenciável.

Do ponto de vista geométrico, a primeira propriedade determina basicamente como as simetrias podem ser combinadas, enquanto a segunda garante a possibilidade de se passar continuamente de uma simetria para outra. Dessa forma, a coexistência dessas duas propriedades confere aos grupos de Lie a capacidade de descrever adequadamente diversos tipos de simetrias contínuas encontradas na física, entre elas as rotações e as translações.

A cada grupo de Lie está associada uma estrutura composta pelos geradores infinitesimais das transformações, conhecida como Álgebra de Lie [²²]. Esses geradores formam uma base dessa álgebra e se comportam como comutadores que podem ser expressos como:

(1) $$[T_{\alpha },T_{\beta }]=i{f}_{\alpha \beta }^{\gamma }{T}_{\gamma }$$

onde $T_{\alpha }$, $T_{\beta }$ e $T_{\gamma }$ são os geradores propriamente ditos, $i$ é a unidade imaginária e o termo $f_{\alpha \beta }^{\gamma }$ representa as constantes de estrutura, ou seja, o conjunto de números que determinam como os geradores se combinam [²³].

2.1. As simetrias das rotações clássicas

O grupo SO(3) já era bem compreendido no contexto da mecânica clássica, uma vez que oferece uma descrição precisa das simetrias rotacionais de corpos rígidos sem inversão de orientação [²⁴]. Embora ele também seja muito útil na mecânica quântica para, por exemplo, classificar estados com momento angular inteiro, não demorou muito para se descobrir a necessidade de uma estrutura matemática mais rica, capaz de explicar uma série de propriedades totalmente contra-intuitivas apresentadas pelas partículas elementares [¹⁶, ²⁵].

O grupo SO(3) consiste nas rotações em ${ℝ}^3$, representadas por matrizes reais $3\times 3$, ortogonais e com determinante $+1$:

(2) $$SO\left(3\right)=\left\{R\in {ℝ}^{3\times 3}\right|R^{T}R=I,detR=+1\}$$

Em $SO\left(3\right)$, uma rotação de ângulo $\theta$ em torno de um eixo unitário $\mathbf{n}=(n_x,n_y,n_z)$ é dada por:

(3) $$R(\mathbf{n},\theta )=I+\sin \theta {\left[\mathbf{n}\right]}_{\times }+\left(1-\cos \theta \right){\left[\mathbf{n}\right]}_{\times }^2$$

onde ${\left[\mathbf{n}\right]}_{\times }$ é a matriz antissimétrica associada ao produto vetorial por $\mathbf{n}$:

(4) $${\left[\mathbf{n}\right]}_{\times }=\left(\begin{array}{ccc}0& -n_z& n_y\\ n_z& 0& -n_x\\ -n_y& n_x& 0\end{array}\right)$$

O grupo SO(3) costuma ser representado por uma esfera centrada em um eixo de coordenadas cartesianas $x$, $y$ e $z$, cuja superfície simboliza o espaço das rotações clássicas em que cada ponto mapeia uma possível orientação do sistema (Figura 2).

Figura 2
Representação geométrica do grupo de rotações clássicas SO(3). Cada ponto da esfera representa uma rotação, enquanto as curvas em vermelho, verde e azul correspondem a rotações contínuas em torno dos eixos $x$, $y$ e $z$, respectivamente.

Apesar da sua complexidade topológica, todos os elementos do grupo SO(3) podem ser gerados mediante sucessivas combinações de matrizes de rotação elementares nos eixos $x$, $y$ e $z$[²⁶, ²⁷]. Isso indica que o grupo possui 3 graus de liberdade, ou seja, que bastam 3 parâmetros independentes para determinar qualquer rotação possível nesse espaço. Por sua vez, esses parâmetros são obtidos realizando uma sequência de giros dos chamados Ângulos de Euler [²⁴], através dos quais é possível orientar o sistema de coordenadas original para qualquer que seja a posição final desejada.

2.2. A geometria das simetrias quânticas

Formalmente, pode-se definir o grupo SU(2) como o conjunto de todas as matrizes complexas $2\times 2$ unitárias com determinante igual a 1, ou seja:

(5) $$SU\left(2\right)=\left\{U\in {ℂ}^{2\times 2}\right|U^{†}U=I,detU=1\}$$

onde cada elemento $U\in SU\left(2\right)$ pode ser expresso como:

(6) $$U=\left(\begin{array}{cc}\alpha & \beta \\ -{\beta }^{\ast }& {\alpha }^{\ast }\end{array}\right),\text{com}{\left|\alpha \right|}^2+{\left|\beta \right|}^2=1$$

A condição de normalização expressa na (equação 6) revela a equivalência

topológica do grupo à esfera tridimensional $S^3$. O SU(2) é munido de uma estrutura de grupo de Lie compacta, conexa e simplesmente conexa, ou seja, ele é uma estrutura finita, sem “bordas” na qual qualquer caminho fechado pode ser contraído a um único ponto de forma contínua, como se fosse a “superfície sem buracos” de uma esfera. Essa característica possibilita classificar o grupo SU(2) como uma cobertura universal do SO(3) [²⁸, ¹⁹].

Dadas as limitações do $SO\left(3\right)$ na descrição de sistemas quânticos, o grupo SU(2) passou a desempenhar um papel essencial nesse contexto. Longe de ser uma mera construção abstrata da álgebra de Lie, o SU(2) possibilita uma descrição precisa do momento angular quântico, além de constituir o primeiro exemplo concreto de um grupo que cobre duplamente o SO(3) [²⁹]. Em outras palavas, isso implica na existência de duas matrizes distintas de SU(2) representando cada rotação clássica de SO(3) [³⁰, ³¹]. Ou seja, o grupo SU(2) é munido de estruturas matemáticas adicionais relacionadas às propriedades de fase e ao comportamento espinorial dos estados quânticos.

Para ilustrar melhor a relação entre esses dois grupos, pode-se identificar o grupo SU(2) com uma esfera tridimensional $S^3$, onde cada ponto representa uma transformação de rotação no espaço de Hilbert [³²]. Ao selecionar dois pontos antipodais de $S^3$ ($U$ e $-U$, por exemplo), é possível mapeá-los na mesma rotação clássica do grupo SO(3) (Figura 3). Esse mapeamento revela que o grupo matemático SO(3) não possui exatamente a topologia de uma esfera como a imagem induz a crer, mas sim a de um espaço projetivo real de 3 dimensões ($ℝ{\mathbb{P}}^3$), caracterizado justamente pela identificação dos referidos pontos antipodais.

Figura 3
Dois elementos distintos de $SU\left(2\right)$, como $U$ e $-U$, são mapeados para a mesma rotação $R$ em $SO\left(3\right)$, que pode ser representado como uma bola tridimensional com identificação antipodal na borda.

O alcance do grupo SU(2) estende-se bem além da mecânica quântica não relativística. No modelo padrão da física de partículas, por exemplo, o SU(2) faz parte do grupo de simetria conhecido como grupo de gauge SU(2)_L, responsável pelas interações fracas [³³]. Em física do estado sólido, ele aparece na descrição de sistemas magnéticos, modelos de spins e teoria de campos efetiva [³⁴].

Dessa forma, o estudo das relações entre os grupos SU(2) e SO(3) transcende as fronteiras da álgebra abstrata e fornece uma descrição precisa do comportamento quântico das partículas subatômicas, suas interações e simetrias fundamentais [³⁵].

2.3. A dupla face das simetrias quânticas

A curiosa propriedade algébrica que faz cada elemento de SO(3) corresponder a dois elementos em SU(2) denota que, além de descrever o spin das partículas elementares, a natureza matemática rica e complexa do SU(2) possibilita uma descrição completa das rotações reais no espaço 3D.

Cada matriz $U\in SU\left(2\right)$ pode ser vista como uma “rotação” no espaço quântico atuando sobre estados de spin-1/2 [³⁶]. Dessa forma, a matriz $U$ pode ser parametrizada como:

(7) $$U(\mathbf{n},\varphi )=\cos \left(\frac{\varphi }{2}\right)I-i\mathbf{n}\cdot \sigma \sin \left(\frac{\varphi }{2}\right)$$

Porém, expandindo as funções seno e cosseno em suas respectivas séries de Taylor, a soma resultante tem a seguinte forma exponencial [³⁷]:

(8) $$U(\mathbf{n},\varphi )=\exp \left(-i\frac{\varphi }{2}\mathbf{n}\cdot \sigma \right)$$

onde $\mathbf{n}$ representa um vetor unitário no espaço 3D e define o eixo da rotação; $\varphi$ é o ângulo de rotação; $I$ é a matriz identidade $2\times 2$ e $\sigma =({\sigma }_x,{\sigma }_y,{\sigma }_z)$ é o vetor das matrizes de Pauli [³⁸], objetos matemáticos que seguem as relações de comutação de maneira análoga às dos operadores de momento angular.

Assim, o mapeamento que associa cada matriz $U\in SU\left(2\right)$ a uma rotação $R_U\in SO\left(3\right)$ atuando sobre os vetores $\mathbf{v}$, tem a estrutura de um homomorfismo de grupos (uma vez que conserva a estrutura algébrica das composições de rotações) [³⁹] expresso na forma:

(9) $$U\mapsto R_U\left(\mathbf{v}\right)=U\left(\sigma \cdot \mathbf{v}\right)U^{†}$$

No entanto, é importante ressaltar que esse homomorfismo não é injetivo, pois tanto $U$ quanto $-U$ resultam na mesma rotação $R_U$. Assim, o conjunto dos elementos de SU(2) que são mapeados para a identidade de SO(3) (núcleo do homomorfismo) é o par de elementos $\{I,-I\}\in {\mathbb{Z}}_2$. Em termos algébricos, isso equivale a afirmar que o SO(3) é o grupo quociente de SU(2) por ${\mathbb{Z}}_2$[⁴⁰]:

(10) $$SO\left(3\right)\cong SU\left(2\right)/{\mathbb{Z}}_2$$

onde ${\mathbb{Z}}_2$ é o subgrupo normal central de SU(2). Convém enfatizar que o símbolo de barra ($/$) presente na (equação 10) não corresponde a uma divisão aritmética convencional, mas sim que está ocorrendo uma identificação dos elementos de SU(2) que se diferenciam por apenas um elemento de ${\mathbb{Z}}_2$. Nesse caso específico, isso significa que a única distinção entre os elementos $U$ e $-U$ de SU(2) é o fator $-I\in {\mathbb{Z}}_2$.

A (equação 10) é uma outra maneira de mostrar que cada elemento de SO(3) corresponde a dois elementos em SU(2) (cobertura dupla), evidenciando mais uma vez que a natureza matemática complexa do SU(2) possibilita uma descrição completa das rotações reais no espaço 3D. Essa construção é fundamental para se compreender o comportamento de espinores.

Um espinor é uma entidade matemática que aparece com frequência na física para descrever partículas com spin semi-inteiro, como o elétron. Um fato bastante notável nos espinores é que eles se transformam de acordo com a representação fundamental do grupo $SU\left(2\right)$[⁴¹], ou seja, são os operadores unitários associados a esse grupo que determinam o comportamento especial que os espinores apresentam quando submetidos a operações de rotação [⁴²].

Os espinores existem no chamado espaço de spin que, diferente dos vetores convencionais usados para descrever posições no espaço, possui uma propriedade topológica bastante exótica relacionada à sua “rotação”. Assim, ao se aplicar um operador $U\in SU\left(2\right)$ com $\varphi =2\pi$), sobre um estado $|\psi ⟩$ desse estado, obtém-se:

(11) $$U\left(2\pi \right)|\psi ⟩=-|\psi ⟩$$

Ou seja, o estado $|\psi ⟩$ sofre uma inversão de sinal ao ser rotacionado por um ângulo de $2\pi$. No entanto, ser for aplicada mais uma rotação de $2\pi$ sobre o novo estado $-|\psi ⟩$ (ou seja, uma rotação de $4\pi$ sobre $|\psi ⟩$) (Figura 4), o resultado será:

Figura 4
Efeito das rotações sobre um espinor. Após uma rotação de $2\pi$, o estado $|\psi ⟩$ muda de sinal. Apenas após uma rotação de $4\pi$, o estado retorna exatamente ao seu valor inicial.

(12) $$U\left(4\pi \right)|\psi ⟩={\left(-I\right)}^2|\psi ⟩=|\psi ⟩$$

Isso mostra que espinores contrariam completamente a intuição daquilo que classicamente se considera uma rotação [⁴³]. Essa propriedade é uma manifestação direta da topologia do $SU\left(2\right)$, mostrando que espinores não são vetores em ${ℝ}^3$, mas sim elementos de um espaço de Hilbert munido de uma estrutura muito mais rica [⁴⁴, ⁴⁵].

3. O Elétron e a Estranha Natureza do Spin

As entidades matemáticas conhecidas como espinores possuem um grau de abstração que foge completamente à intuição, pois se tratam de elementos de um espaço vetorial complexo. No entanto, eles podem ser associados a espaços euclidianos [⁴⁶] e, dessa forma, a exótica propriedade de rotação que apresentam pode ser visualizada por meio de uma analogia geométrica conveniente, como a fita de Möbius ou o cinturão de Dirac. Essas representações geométricas são caracterizadas pela não-orientabilidade simples que, por sua vez, corresponde a uma das principais propriedades físicas das partículas de spin 1/2 [⁴³, ⁴⁷].

A fita de Möbius mostra a “inversão” de um objeto após este percorrer uma volta completa em sua superfície (Figura 5), enquanto o cinturão de Dirac representa a estranha matemática quaterniônica que fundamenta a teoria dos espinores [⁴⁸, ⁴⁹, ⁵⁰] ilustrando, de forma intuitiva, que o caminho percorrido por um objeto para rotacionar algo é tão determinante quanto a rotação em si [⁵¹, ⁵²]. Visando a simplicidade e a objetividade, optou-se por não prolongar a discussão explorando a representação visual do cinturão de Dirac.

Figura 5
Representação geométrica do Fita de Möbius, mostrando a direção de polarização do espinor só retorna ao estado original após uma rotação de $4\pi$. As setas vermelhas indicam a orientação local da faixa, ilustrando a torção característica das representações do grupo $SU\left(2\right)$, evidenciando o contraste com o comportamento de vetores clássicos submetidos a rotações.

Apesar da fita de Möbius ser a entidade matemática mais comum para ilustrar a “troca de sinal” do espinor após uma rotação de 360º (não-orientabilidade), ela é insuficiente para representar a sua natureza mais profunda. O espinor é um elemento de um espaço vetorial complexo, com transformações de simetria descritas pelo grupo SU(2) que, por usa vez, possui a topologia de uma 3-esfera ($S^3$). A natureza dos espinores é completamente distinta de um objeto bidimensional como a fita de Möbius, pois são objetos que ocupam volume. Portanto, para corresponder a essa propriedade de forma mais realista, pode-se imaginar a fita de Möbius sendo “inflada” até assumir a forma tridimensional de um toro (Figura 6)

Figura 6
Modelo geométrico mostrando a construção de um toro por meio da “inflação” espacial de uma fita de Möbius (em vermelho).

O toro formado se assemelha a um anel giratório que, após o processo de contração e fechamento do espaço vazio central, assume a forma de um toro de chifre (com o centro afunilado). Continuando a contração, ocorrerá uma uma sobreposição de superfícies semelhante a uma esfera fusiforme (Figura 7). Essa forma geométrica resultante, ilustra como a torção interna da álgebra $𝔰𝔲\left(2\right)$ se distribui radialmente partindo de um eixo central.

Figura 7
Transição topológica para a representação de espinores de Dirac: Um toro anelar (a) se contraindo para formar um toro de chifre (b) e a subsequente auto-intersecção no toro de fuso (c).

O motivo pelo qual o toro de fuso surge como uma analogia particularmente rica é que, ao contrário do toro comum e do toro de chifre, ele possui uma característica geométrica singular: em sua região central verifica-se uma sobreposição de superfícies composta de uma “camada externa” e uma “camada interna” integrando um único objeto contínuo. Vale ressaltar que essa superposição não é formada por duas superfícies independentes, mas por diferentes regiões de uma mesma estrutura geométrica.

Essa imagem oferece uma analogia intuitiva para a visualização do grupo SU(2) como cobertura dupla do grupo SO(3) pois, assim como no toro de fuso, onde é possível transitar continuamente da camada externa para a interna sem descontinuidades, no grupo SU(2) existem dois elementos distintos que correspondem a uma mesma rotação em SO(3). Nesse sentido, uma rotação de 360º não faz o sistema retornar ao seu ponto de partida em SU(2), mas o levará para a “outra camada” da cobertura. Apenas ao ser submetido a uma rotação adicional de 360º (totalizando 720º, ou $4\pi$ radianos) o estado retorna à sua configuração original (Figura 8). Essa analogia geométrica ajuda a visualizar, de forma qualitativa, o caráter topológico não trivial das rotações associadas a espinores.

Figura 8
Representação geométrica do ciclo de rotação de uma onda estacionária espinorial. O espinor é ilustrado como um objeto volumétrico (a) com linhas de fluxo percorrendo uma trajetória contínua através do fuso central (pontos vermelhos). O deslocamento da seta vermelha revela que a torção interna do toro de fuso proíbe o retorno ao estado inicial após a realização de uma volta de 360^∘ (b), demandando a necessidade de uma volta completa adicional (720^∘) para que a função de onda possa recuperar a sua periodicidade original (c).

A comparação da seta vermelha mostrada na Figura 8 com uma onda estacionária topológica, se torna mais clara com a percepção de que a sua trajetória não é a descrição de um deslocamento translacional, mas sim de uma oscilação interna de fase restrita à topologia do toro [⁵³]. Assim, da mesma forma que os nós e ventres fixos que fazem parte de uma onda estacionária, o espinor é caracterizado pela “auto-intersecção” central que torna possível a oscilação interna, representada pelos pontos vermelhos da figura [⁵⁴, ⁵⁵]. Portanto, o ciclo de 720^∘ ilustrado na Figura 8 representa um pré-requisito geométrico que a onda estacionária deve satisfazer para retornar à sua forma de interferência construtiva original, garantindo a estabilidade da partícula como uma entidade localizada [⁵⁶].

Assim, evoluir o modelo da fita de Möbius para o toro de fuso, representa melhor o dinamismo e a complexidade topológica que dá suporte ao comportamento dos espinores em sistemas físicos, modelando-os como uma onda harmônica estacionária, cuja “fase” encontra-se codificada na torção interna da geometria do toro [⁵⁷].

No contexto dessa perspectiva geométrica, o elétron pode ser interpretado como a entidade física mais elementar a se manifestar com esse arranjo estrutural. Sendo uma partícula elementar com spin intrínseco $s=1/2$, o elétron é matematicamente descrito por um vetor em um espaço de Hilbert bidimensional, ou seja, um espinor pertencente ao espaço ${ℂ}^2$[⁵⁸]. Esse espinor pode ser representado por:

(13) $$|\psi ⟩=a|\uparrow ⟩+b|\downarrow ⟩,\forall a,b\in ℂ$$

A (equação 13) expressa a ideia central para descrever sistemas quânticos de 2 níveis, ou seja, o estado físico $|\psi ⟩$ nada mais é do que a combinação linear dos possíveis estados da base ($|\uparrow ⟩$ e $|\downarrow ⟩$), cujas amplitudes complexas normalizadas correspondem a amplitudes de probabilidade. Além disso, é preciso impor a condição de normalização, ou seja, ${\left|a\right|}^2+{\left|b\right|}^2=1$[⁵⁹].

Uma rotação espacial de ângulo $\varphi$ em torno de um eixo unitário $\mathbf{n}$, está associada a uma transformação unitária no espaço de estados do elétron, representada por uma matriz unitária que, por sua vez, é um elemento do grupo SU(2). Assim, aplicando sobre o estado $|\psi ⟩$ a parametrização de U expressa na (equação 7) em sua forma exponencial [³⁶]:

(14) $$|{\psi }^{\prime }⟩=U(\mathbf{n},\varphi )|\psi ⟩=\exp \left(-i\frac{\varphi }{2}\mathbf{n}\cdot \sigma \right)|\psi ⟩$$

Dessa forma, considerando uma rotação completa de $2\pi$ ao redor de qualquer eixo, obtém-se:

(15) $$U\left(\mathbf{n}\mathrm{,2}\pi \right)=\exp \left(-i\pi \mathbf{n}\cdot \sigma \right)=-I$$

A (equação 15) mostra que o espinor muda de sinal sob uma rotação clássica completa, fazendo com que o estado alterado seja equivalente ao estado inicial com o sinal negativo $\left(|{\psi }^{\prime }⟩=-|\psi ⟩\right)$[⁶⁰].

Assim, somente após esse estado alterado ser submetido a mais uma rotação completa ($4\pi$), é que se recupera seu estado quântico original $\left(|{\psi }^{\prime \prime }⟩=|\psi ⟩\right)$, pois:

(16) $$U\left(\mathbf{n}\mathrm{,4}\pi \right)={\left(-I\right)}^2=I$$

Essa propriedade caracteriza os férmions, ou seja, partículas que obedecem à estatística de Fermi-Dirac e exigem estados antissimétricos sob troca de partículas idênticas [⁶¹]. O grupo SU(2) desempenha, portanto, um papel essencial na descrição matemática de tais partículas, uma vez que o grupo SO(3) é estruturalmente limitado à descrição de rotações clássicas, sendo insuficiente para retratar esse comportamento topológico não trivial.

A representação fundamental do SU(2) engloba não apenas a estrutura de spin dos férmions, mas também sua natureza quântica profunda além de suas implicações em teorias de campos e estatística quântica [⁶²].

4. A Estrutura Algébrica das Rotações Quânticas

Enquanto o grupo de Lie SU(2) descreve as operações finitas relativas às transformações reais, a álgebra de Lie associada ao grupo SU(2) (denotada por $𝔰𝔲\left(2\right)$) consiste na descrição dos geradores infinitesimais do grupo, que satisfazem relações de comutação fundamentais [¹⁷].

Do ponto de vista geométrico, vale enfatizar que o grupo SU(2) possui, assim como todo grupo de Lie, uma estrutura de variedade diferenciável. No entanto, a álgebra $𝔰𝔲\left(2\right)$ funciona como um espaço tangente a essa variedade no elemento identidade, ou seja, ela captura o comportamento do grupo em torno de transformações infinitesimais [¹⁸, ⁶³].

Dessa forma, a partir dessa visão intuitiva sobre o significado da Álgebra de Lie $𝔰𝔲\left(2\right)$, pode-se difiní-la como o espaço vetorial das matrizes hermitianas de ordem 2 com traço nulo que são geradores infinitesimais do grupo SU(2). Esse espaço tem uma base composta por 3 operadores de momento angular cuja lei de comutação impõe a quantização do momento angular ($j$, $m$) [⁶⁴].

Denotando os geradores por ${\mathbf{J}}_x$, ${\mathbf{J}}_y$ e ${\mathbf{J}}_z$, pode-se reescrever a (equação 1) da seguinte forma:

(17) $$[{\mathbf{J}}_i,{\mathbf{J}}_j]=i{\epsilon }_{ijk}{\mathbf{J}}_k$$

A (equação 17) vai além de um simples cálculo algébrico, ela evidencia a natureza não-comutativa das rotações e serve como base de todo o momento angular e spin na mecânica quântica. Os geradores envolvidos são operadores quânticos que refletem a geometria subjacente das rotações no espaço 3D.

Fazendo uma analogia geométrica, os geradores ${\mathbf{J}}_x$ e ${\mathbf{J}}_y$ podem ser visualizados como direções independentes, pertencentes a um mesmo espaço tangente associado ao grupo de rotações. Como a estrutura algébrica da (equação 17) possui exatamente a mesma estrutura do produto vetorial clássico em ${ℝ}^3$ dado por

(18) $${\mathbf{e}}_i\times {\mathbf{e}}_j={\epsilon }_{ijk}{\mathbf{e}}_k$$

pode-se recorrer aqui a uma representação intuitiva em termos de vetores tangentes e normais. Dessa forma, é possível visualizar a operação de comutação dos geradores ${\mathbf{J}}_x$ e ${\mathbf{J}}_y$ originando o gerador ${\mathbf{J}}_z$, que é linearmente independente de ambos e que se projeta fora do plano por eles gerado (Figura 9).

Figura 9
Interpretação geométrica da álgebra $𝔰𝔲\left(2\right)$. Os geradores ${\mathbf{J}}_x$ e ${\mathbf{J}}_y$ são representados por vetores perpendiculares pertencentes ao plano tangente $\alpha$ no ponto considerado da esfera de rotações. A operação de comutação entre esses geradores produz um vetor normal ao plano, ${\mathbf{J}}_z$, refletindo de forma intuitiva a estrutura não comutativa da álgebra de Lie.

É importante enfatizar que a “esfera” ilustrada na figura (9) não corresponde a um espaço físico, mas sim a uma representação simbólica do espaço de rotações próximas da identidade que, por sua vez, está representada pelo ponto de tangência entre a esfera e o plano $\alpha$. De forma análoga, os geradores ${\mathbf{J}}_x$, ${\mathbf{J}}_y$ e ${\mathbf{J}}_z$ não são vetores geométricos em um espaço físico, mas apenas representações intuitivas em termos de vetores tangentes e normais motivadas pela semelhança estrutural entre as (equações 17) e (18).

Cada um desses operadores pode ser convenientemente representado em termos das matrizes de Pauli (na representação fundamental), uma vez que qualquer matriz pertencente à álgebra $𝔰𝔲\left(2\right)$ pode ser expressa na forma de uma combinação linear dessas matrizes com coeficientes reais:

(19) $${\mathbf{J}}_i=\frac{1}{\text{2}}{\sigma }_i\forall i=\mathrm{1,2,3}$$

Além dos geradores de uma álgebra de Lie que se transformam entre si mediante as operações da própria álgebra, é importante analisar algumas propriedades de uma classe especial de operadores que permanecem inalterados sob essas transformações. Eles são conhecidos na literatura como invariantes de Casimir, elementos de Casimir ou, ainda, operador de Casimir [⁶⁵]. Essa classe de operadores associados a uma álgebra de Lie comuta com todos os seus geradores, mantendo-se invariável sob essas transformações. Por essa razão, afirma-se que o operador de Casimir pertence ao centro da álgebra envolvente universal da álgebra de Lie [⁶⁶, ⁶⁷].

Um exemplo particularmente importante desse tipo de invariante, é o operador de momento angular total ${\mathbf{J}}^2$ definido por:

(20) $${\mathbf{J}}^2=J_x^2+J_y^2+J_z^2\text{com}[{\mathbf{J}}^2,J_i]=0$$

Fisicamente, a (equação 20) expressa que o operador ${\mathbf{J}}^2$ possui a poderosa propriedade de se manter invariante, independente da direção espacial do momento angular, refletindo a isotropia do espaço. Assim, não importa para qual direção o elétron “gira”, o valor do seu spin continuará a ser o mesmo ($s=1/2$).

O Lema de Schur afirma que, em uma representação irredutível, um operador que comuta com todos os geradores da álgebra deve ser um múltiplo da identidade [⁶⁸]. Dessa forma, como o operador ${\mathbf{J}}^2$ comuta com cada componente do momento angular, ele assume um valor único e fixo e contante em cada representação irredutível.

Para a álgebra de Lie $𝔰𝔲\left(2\right)$, essa característica do ${\mathbf{J}}^2$ implica que ele é passível de diagonalização simultânea com cada um de suas componentes, sendo $J_z$ usualmente a escolhida para esse propósito [⁶⁹, ⁷⁰, ⁷¹]. Por meio desse procedimento algébrico, e assumindo $\hslash =1$ para efeitos de simplificação das matrizes, é possível construir uma base de estados comuns $|j,m⟩$, tal que:

(21) $${\mathbf{J}}^2|j,m⟩=j\left(j+1\right)|j,m⟩$$

(22) $$J_z|j,m⟩=m|j,m⟩$$

onde o número quântico $j=0,\frac{1}{\text{2}}\mathrm{,1},\frac{3}{\text{2}},\dots$ identifica a representação irredutível, enquanto a dimensão de cada uma delas é $2j+1$, uma vez que $m$ só pode assumir valores inteiros no intervalo $m=-j,-j+1,\dots ,j$[⁷², ⁷³].

As representações irredutíveis de SU(2) descrevem todos os possíveis estados de momento angular quântico, além de serem fundamentais para o estudo de partículas elementares, sistemas atômicos, e campos quânticos com simetria rotacional.

5. Entre o Mundo Quântico e as Rotações Clássicas

Além da representação espinorial do SU(2), obtida quando se assume $j=1/2$, é possível obter uma representação vetorial tridimensional associada ao momento angular $j=1$[¹⁶].

Como a dimensão de cada representação irredutível é obtida por $2j+1$, ao escolher $j=1$ a dimensão será 3, ou seja, haverá a necessidade de três estados base $|1,m⟩$ com $m$ podendo assumir os valores $-1$, $0$ ou $1$. Os estados resultantes podem ser associados a vetores coluna da seguinte forma:

(23) $$|\mathrm{1,1}⟩\doteq \left(\begin{array}{c}1\\ 0\\ 0\end{array}\right),|\mathrm{1,0}⟩\doteq \left(\begin{array}{c}0\\ 1\\ 0\end{array}\right),|1,-1⟩\doteq \left(\begin{array}{c}0\\ 0\\ 1\end{array}\right)$$

Nessa representação, os operadores ${\mathbf{J}}_x$, ${\mathbf{J}}_y$, ${\mathbf{J}}_z$ assumem a forma de matrizes reais antissimétricas de ordem 3 que, em uma base adequada, podem ser expressas como:

$$\begin{array}{l}{\mathbf{J}}_x\doteq \frac{1}{\sqrt{2}}\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 1\\ 0& 1& 0\end{array}\right),\\ {\mathbf{J}}_y\doteq \frac{1}{\sqrt{2}}\left(\begin{array}{ccc}0& -i& 0\\ i& 0& -i\\ 0& i& 0\end{array}\right),\\ {\mathbf{J}}_z\doteq \left(\begin{array}{ccc}1& 0& 0\\ 0& 0& 0\\ 0& 0& -1\end{array}\right)\end{array}$$

Essas matrizes satisfazem as mesmas relações de comutação fundamentais de $𝔰𝔲\left(2\right)$ expressas anteriormente na (equação 17).

A transição entre os diferentes estados deste espaço vetorial ocorre através da ação dos chamados operadores escada${\mathbf{J}}_{\pm }$, que são definidos por meio da combinação linear ${\mathbf{J}}_{\pm }={\mathbf{J}}_x\pm i{\mathbf{J}}_y$. A aplicação desse operadores em um estado $|j,m⟩$ é feita com o uso de uma fórmula deduzida das relação de comutação $[{\mathbf{J}}_{+},{\mathbf{J}}_{-}]=2{\mathbf{J}}_z$[³⁶]:

(24) $${\mathbf{J}}_{\pm }|j,m⟩=\sqrt{j\left(j+1\right)-m\left(m\pm 1\right)}|j,m\pm 1⟩$$

Os operadores ${\mathbf{J}}_{\pm }$ são chamados de “escada” pelo seu efeito de abaixamento (${\mathbf{J}}_{-}$) ou elevação (${\mathbf{J}}_{+}$) da ordem do número quântico $m$ em uma unidade (Figura 10), transformando um estado em seu vizinho imediato. Assim, o resultado da aplicação desses operadores nos estados que formam a base da representação $j=1$ é [⁷⁴]:

Figura 10
Representação do operador escada ${\mathbf{J}}_{\pm }$. Cada degrau corresponde a um estado $|1,m⟩$ com $m=-\mathrm{1,0,1}$. As setas azuis indicam a ação do operador de subida ${\mathbf{J}}_{+}$ e as setas vermelhas indicam a ação do operador de descida ${\mathbf{J}}_{-}$. Tanto no topo da “escada” $|\mathrm{1,1}⟩$ quanto na base $|1,-1⟩$, a ação dos operadores ${\mathbf{J}}_{+}$ e ${\mathbf{J}}_{-}$ (respectivamente) anula os operadores, fixando o número de estados em uma quantidade finita.

$$J_{+}|\mathrm{1,0}⟩=\sqrt{2}|\mathrm{1,1}⟩,J_{+}|1,-1⟩=|\mathrm{1,0}⟩,J_{+}|\mathrm{1,1}⟩=0$$

$$J_{-}|\mathrm{1,0}⟩=\sqrt{2}|1,-1⟩,J_{-}|\mathrm{1,1}⟩=|\mathrm{1,0}⟩,J_{-}|1,-1⟩=0$$

Por fim, vale enfatizar que os três autoestados dessa representação são autovetores simultâneos de ${\mathbf{J}}^2$ e de ${\mathbf{J}}_z$ de acordo com as seguintes equações de autovalor:

(25) $${\mathbf{J}}^2|1,m⟩=j\left(j+1\right)|1,m⟩=2|1,m⟩$$

(26) $$J_z|1,m⟩=m|1,m⟩$$

A representação obtida com $j=1$ consegue caracterizar o comportamento rotacional de partículas com spin $s=1$. Essa propriedade está presente em bósons vetoriais como, por exemplo, o bóson de interação fraca $W^{\pm }$[⁷⁵]. Essa representação coincide geometricamente com as transformações que ocorrem com os vetores usuais quando são submetidos a rotações espaciais clássicas [⁷⁶]. Também é possível visualizar a representação irredutível $j=1$ na descrição de momentos de dipolo magnético ou elétrico [⁷⁷], e nos modos de vibração de sistemas tridimensionais com simetria rotacional [²⁴].

A representação $j=1$ liga naturalmente SU(2) a SO(3), pois representa diretamente as rotações tridimensionais reais. Ela é crucial tanto na mecânica clássica de corpos rígidos quanto em teorias de gauge com simetrias vetoriais [¹⁶].

6. Conclusão

O estudo dos espinores mostra como essas entidades matemáticas são capazes de transcender a tão familiar e intuitiva representação vetorial, demandando uma profunda compreensão a respeito da relação entre os espaços vetoriais complexos e os princípio da geometria euclidiana. O presente estudo foi orientado, principalmente, pelo anseio em apresentar uma revisão teórica de caráter introdutório dessa área da física que, ao mesmo tempo em que fascina, costuma ser de difícil compreensão para estudantes e pesquisadores iniciantes.

Ao primar pela clareza didática e o apelo à intuição geométrica, o estudo proposto buscou mostrar que a abstração inerente aos conceitos teóricos aqui abordados (como o de grupo SU(2) e espinores, por exemplo) não deve ser tratada como um obstáculo intransponível para uma compreensão genuína da natureza, mas sim como um convite à exploração e a novas maneiras de entender e ensinar essas teorias.

Essa abordagem intuitiva geométrica que consiste em tratar o espinor como uma onda estacionária topológica, encontra respaldo nos trabalhos pioneiros desenvolvidos pelos físicos Milo Wolf [⁵⁴, ⁵⁶] e Michael F. Atiyah [⁵³] no começo dos anos 90 do século XX. Segundo a concepção desses teóricos, a geometria transcende o papel de mero suporte formal para as equações, funcionando como uma linguagem privilegiada capaz de revelar as simetrias e estruturas subjacentes ao formalismo matemático da mecânica quântica.

Inicialmente, apresentamos a Fita de Möbius como uma analogia bidimensional bastante útil para representar a exótica topologia dos espinores mas, justamente por ser tratar de uma superfície e não possuir confinamento volumétrico, ela limita uma compreensão mais plena da natureza do espinor. Dessa forma, mostramos que o objeto geométrico capaz de representar visualmente o espinor seria o Toro de Fuso, pois se trata de um modelo que preserva a inversão de sinal após um ciclo de 360^∘, mas que possui uma geometria auto-intersectante que representa bem a dupla cobertura que caracteriza o grupo SU(2). Assim, o modelo do toro de fuso se mostrou pertinente para representar o espinor como uma onda estacionária tridimensional, com estabilidade topológica oriunda da própria estrutura central do toro, aonde ocorre a auto-intersecção de sua superfície.

As representações irredutíveis de SU(2) exploradas neste artigo, ou seja, a espinorial ($j=1/2$) e a vetorial ($j=1$), ilustram como um único grupo matemático se manifesta em contextos físicos tão diversos e complementares. Assim, a representação de um espinor mostrou que a natureza quântica das partículas com spin semi-inteiro revela uma topologia não trivial de SU(2), que vai além da capacidade de descrição por meio do grupo SO(3). Já na representação vetorial, a conexão do SU(2) à geometria tridimensional clássica, descreve diretamente as rotações e as simetrias espaciais visíveis.

As aplicações físicas da abordagem geométrica apresentada neste breve estudo podem ser vislumbradas em vários ramos da ciência contemporânea. Na incipiente computação quântica, é necessário compreender bem a natureza das rotações em espaços de Hilbert e a evolução de fase na identidade de Euler matricial para uma manipulação precisa de qubits e portas lógicas [⁷⁸]. Na Ressonância Magnética Nuclear (RMN), o mapeamento molecular funciona com base na aplicação dos operadores escada discutidos aqui [⁷⁹]. No campo da Spintrônica, a compreensão do transporte de spin em isolantes topológicos depende de forma crucial de um entendimento robusto da fase espinorial, o que garantirá a construção de novos dispositivos de estado sólido da próxima geração [⁸⁰]. Por fim, podemos ainda mencionar as aplicações relacionadas à Física de Fronteira, aonde a formulação da física de partículas em espaços-tempo curvos está intimamente ligada à relação existente entre espinores e variedades euclidianas [⁴⁶].

Por fim, espera-se que o teor da pesquisa apresentada aqui tenha alcançado o escopo de mostrar que o estudo integrado dessas representações não só unifica várias áreas da física teórica, como também mostra a beleza matemática intrínseca da simetria. O grupo SU(2) não é apenas um objeto abstrato, ele é uma ponte conceitual entre a álgebra, a topologia, a análise e as leis fundamentais que permeiam a natureza. Seu papel central na física moderna é uma evidência irrefutável de como a linguagem da simetria se tornou uma ferramenta poderosa para compreender o universo em todas as suas escalas.

Acknowledgments

Este trabalho não recebeu nenhum tipo de financiamento ou apoio financeiro de agências de fomento públicas, privadas ou comerciais.

Disponibilidade de Dados

Todo o conjunto de dados que dá suporte aos resultados deste estudo foi publicado no próprio artigo.

Referências

• ^[1] S. Weinberg, The quantum theory of fields (Cambridge University Press, Cambridge, 1995).
• ^[2] H. Georgi, Lie algebras in particle physics: from isospin to unified theories (Taylor & Francis, Boca Raton, 2000).
• ^[3] W.K. Tung, Group theory in physics (World Scientific, Singapore, 1985).
• ^[4] H. Weyl, Symmetry (Princeton University Press, Princeton, 2015).
• ^[5] J.P. Tignol, Galois’ theory of algebraic equations (World Scientific Publishing Company, Singapore, 2015).
• ^[6] I. Kleiner, A history of abstract algebra (Springer Science & Business Media, New York, 2007).
• ^[7] I. Stewart, Galois theory (Chapman and Hall/CRC, Boca Raton, 2022).
• ^[8] L.M. Lederman e C.T. Hill, Symmetry and the beautiful universe (Prometheus Books, Amherst, 2011).
• ^[9] K. Brading e E. Castellani, Symmetries in physics: Philosophical reflections (Cambridge University Press, Cambridge, 2003).
• ^[10] M. Livio, A equação que ninguém conseguia resolver (Editora Record, Rio de Janeiro, 2008).
• ^[11] T. Hawkins, Emergence of the theory of Lie groups: An essay in the history of mathematics 1869–1926 (Springer Science & Business Media, New York, 2012).
• ^[12] P.J. Olver, Applications of Lie groups to differential equations (Springer Science & Business Media, New York, 1993).
• ^[13] J. Stillwell, Mathematics and its history (Springer, New York, 1989).
• ^[14] H. Weyl, Gruppentheorie und Quantenmechanik (S. Hirzel, Leipzig, 1928).
• ^[15] J.M.F. Bassalo e M.S.D. Cattani, Teoria de grupos (Editora Livraria da Física, São Paulo, 2008).
• ^[16] M. Tinkham, Group theory and quantum mechanics (Courier Corporation, Mineola, 2003).
• ^[17] B.C. Hall, Quantum Theory for Mathematicians (Springer, New York, 2013).
• ^[18] R. Gilmore, Lie groups, Lie algebras, and some of their applications (Courier Corporation, Mineola, 2006).
• ^[19] C. Nash and S. Sen, Topology and geometry for physicists (Elsevier, Amsterdam, 1988).
• ^[20] A. Stubhaug, The Mathematician Sophus Lie: It was the audacity of my thinking (Springer, Berlin, 2002).
• ^[21] W. Pfeifer, The Lie algebras su(N) (Birkhäuser, Basel, 2003).
• ^[22] H.F. Jones, Groups, representations and physics (CRC Press, Boca Raton, 2020).
• ^[23] B.G. Wybourne, Classical groups for physicists (Wiley-Interscience, New York, 1974).
• ^[24] H. Goldstein, C. Poole e J. Safko, Classical Mechanics (Addison-Wesley, Reading, 1980).
• ^[25] E. Merzbacher, Quantum mechanics (John Wiley & Sons, New York, 1998).
• ^[26] J.J. Craig, Introduction to robotics: mechanics and control (Pearson Education India, Delhi, 2009).
• ^[27] A.A. Shabana, Dynamics of multibody systems (Cambridge University Press, Cambridge, 2020).
• ^[28] M. Nakahara, Geometry, topology and physics (CRC Press, Boca Raton, 2018).
• ^[29] R. Hermann, The American Mathematical Monthly 90, 719 (1983).
• ^[30] J. Zinn-Justin, Quantum field theory and critical phenomena (Oxford University Press, Oxford, 2021).
• ^[31] A. Hatcher, Algebraic Topology (Cambridge University Press, Cambridge, 2005).
• ^[32] B. Simon, Representations of finite and compact groups (American Mathematical Society, Providence, 1996).
• ^[33] S.L. Glashow, Nuclear Physics 22, 579 (1961).
• ^[34] P.A.M. Dirac, Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character 117, 610 (1928).
• ^[35] G. ’t Hooft, em: The Origin of Mass and Strong Coupling Gauge Theories: Proceedings of the 2006 International Workshop (Nagoya, 2008).
• ^[36] J.J. Sakurai e J. Napolitano, Modern quantum mechanics (Cambridge University Press, Cambridge, 2020).
• ^[37] G.B. Arfken, H.J. Weber e F.E. Harris, Mathematical methods for physicists: a comprehensive guide (Academic Press, New York, 2011).
• ^[38] W. Pauli, Zeitschrift für Physik 43, 601 (1927).
• ^[39] T. Frankel, The geometry of physics: an introduction (Cambridge University Press, Cambridge, 2011).
• ^[40] E.B. Vinberg, A course in algebra (American Mathematical Society, Providence, 2003).
• ^[41] J.F. Cornwell, Group theory in physics: An introduction (Academic Press, New York, 1997).
• ^[42] L.H. Ryder, Quantum field theory (Cambridge University Press, Cambridge, 1996).
• ^[43] M. Staley, European Journal of Physics 31, 467 (2010).
• ^[44] R. Penrose e W. Rindler, Spinors and Space-Time: Two-Spinor Calculus and Relativistic Fields (Cambridge University Press, Cambridge, 1986), v. 1.
• ^[45] D.J. Griffiths e D.F. Schroeter, Introduction to quantum mechanics (Cambridge University Press, Cambridge, 2018).
• ^[46] H.B. Lawson e M.L. Michelsohn, Spin geometry (Princeton University Press, Princeton, 2016).
• ^[47] E. Lamb, A few of my favorite spaces: The Mobius strip, Scientific American, disponível em: https://blogs.scientificamerican.com/roots-of-unity/a-few-of-my-favorite-spaces-the-moebius-strip
  » https://blogs.scientificamerican.com/roots-of-unity/a-few-of-my-favorite-spaces-the-moebius-strip
• ^[48] P.R. Girard, European Journal of Physics 5, 25 (1984).
• ^[49] J. Kronsbein, American Journal of Physics 35, 335 (1967).
• ^[50] J.B. Kuipers, Quaternions and Rotation Sequences (Princeton University Press, Princeton, 1999).
• ^[51] C. Wood, The strange numbers that birthed modern algebra, Quanta Magazine, disponível em: https://www.quantamagazine.org/the-strange-numbers-that-birthed-modern-algebra-20180906
  » https://www.quantamagazine.org/the-strange-numbers-that-birthed-modern-algebra-20180906
• ^[52] F.A.M. Frescura e B.J. Hiley, American Journal of Physics 49, 152 (1981).
• ^[53] M.F. Atiyah, The geometry and physics of knots (Cambridge University Press, Cambridge, 1990).
• ^[54] M. Wolff, Exploring the physics of the unknown universe: an adventurer’s guide (Technotran Press, Manhattan Beach, 1990).
• ^[55] W.T.M. Irvine e D. Bouwmeester, Nature Physics 4, 716 (2008).
• ^[56] M. Wolff, Physics Essays 6, 181 (1993).
• ^[57] D. Hestenes e A. Lasenby, Space-time algebra (Springer International Publishing, Cham, 2015).
• ^[58] J. Duffield, What is a spinor?, disponível em: https://physics.stackexchange.com/q/172447
  » https://physics.stackexchange.com/q/172447
• ^[59] R.P. Feynman, R.B. Leighton e M. Sands, The Feynman Lectures on Physics (Addison-Wesley, Reading, 1965), v. 3.
• ^[60] M.P. Silverman, European Journal of Physics 1, 116 (1980).
• ^[61] P.A.M. Dirac, Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character 112, 661 (1926).
• ^[62] R. Eisberg e R. Resnick, Quantum physics of atoms, molecules, solids, nuclei, and particles (John Wiley & Sons, New York, 1985).
• ^[63] M. Srednicki, Quantum field theory (Cambridge University Press, Cambridge, 2007).
• ^[64] F. Iachello, Lie algebras and applications (Springer, Berlin, 2006).
• ^[65] D. Oliver, The shaggy steed of physics: mathematical beauty in the physical world (Springer, New York, 2004).
• ^[66] X. Bekaert, em: Proceedings of the First Modave Summer School in Mathematical Physics (Modave, 2005).
• ^[67] A.J. Mountain, Journal of Mathematical Physics 39, 5601 (1998).
• ^[68] I. Schur, Sitzungsberichte der Preußischen Akademie der Wissenschaften, 406 (1905).
• ^[69] W. Miller, Symmetry groups and their applications (Academic Press, New York, 1973).
• ^[70] L.E. Ballentine, Quantum mechanics: a modern development (World Scientific, Singapore, 2014).
• ^[71] F.A. Cotton, Chemical applications of group theory (John Wiley & Sons, New York, 1991).
• ^[72] A.R. Edmonds, Angular momentum in quantum mechanics (Princeton University Press, Princeton, 1996).
• ^[73] A. Messiah, Quantum Mechanics (Dover Publications, Mineola, 1999).
• ^[74] N. Zettili, Quantum mechanics: concepts and applications (John Wiley & Sons, Chichester, 2009).
• ^[75] M.E. Peskin e D.V. Schroeder, An Introduction to Quantum Field Theory (Westview Press, Boulder, 1995).
• ^[76] D.J. Griffiths, Introduction to electrodynamics (Cambridge University Press, Cambridge, 2023).
• ^[77] J.D. Jackson, Classical Electrodynamics (Wiley, New York, 1998), 3 ed.
• ^[78] M.A. Nielsen e I.L. Chuang, Quantum computation and quantum information (Cambridge University Press, Cambridge, 2010).
• ^[79] M.H. Levitt, Spin dynamics: basics of nuclear magnetic resonance (John Wiley & Sons, Chichester, 2008).
• ^[80] B.A. Bernevig, Topological insulators and topological superconductors (Princeton University Press, Princeton, 2013).

Editado por

• Editor-Chefe:
  Marcello Ferreira https://orcid.org/0000-0003-4945-3169

Datas de Publicação

• Publicação nesta coleção
  27 Jul 2026
• Data do Fascículo
  2026

Histórico

• Recebido
  08 Mar 2026
• Revisado
  12 Jun 2026
• Aceito
  21 Jun 2026