Mostrar código-fonte de Campo espinorial

{{Sem notas|data=setembro de 2021}}
Um '''campo espinorial''' ou ''' espinor''' é um tipo de [[campo (física)|campo físico]] que generaliza os conceitos de [[Campo vetorial|campos vetoriais]] e [[Campo tensorial|tensoriais]]. Se um campo tensorial é um tipo de representação linear do [[grupo de Lorentz|grupo de Lorentz <math>\mathcal{L}</math>]], um campo espinorial é uma representação de seu "[[Recobrimento (topologia)|recobrimento]]" universal, o [[grupo linear especial|grupo linear especial <math>SL(2,\mathbb{C})</math>]].

Muitas magnitudes físicas representáveis mediante campos tensoriais podem ser representadas também matematicamente por campos espinoriais de maneira equivalente. No entanto, alguns campos espinoriais não admitem análogos tensoriais. Nesse sentido os campos espinoriais generalizam os campos vetoriais e tensoriais, que podem ser vistos como casos particulares de grandezas espinoriais. A [[mecânica quântica]] faz uso extensivo dos campos espinoriais sem análogo clássico.

== Introdução ==

Os vetores e tensores podem ser vistos como espaços vetoriais reais associados a uma certa [[representação de grupo]] do [[grupo de Lorentz]], pelo que seus componentes variam de certa maneira peculiar quando se expressam em relação a uma base vetorial ou uma base que sofreu rotação em relação ao anterior, por exemplo. Os espinores são espaços vetoriais complexos associados a representações de grupo do [[Recobrimento (topologia)|espaço de recobrimento universal]] do grupo de Lorentz, ou seja, <math>SL(2,\mathbb{C})</math> ou mais exatamente de sua [[álgebra de Lie]].

Um campo espinorial se caracteriza por duas peculiaridades:
* As medidas obtidas pelos dois [[observador]]es [[Referencial inercial|inerciais]] de um mesmo campo tensorial, estão relacionadas por leis de transformação associadas a uma representação de [[grupo de Lie|grupos de Lie]] <math>SL(2,\mathbb{C})</math> ou <math>SU(2,\mathbb{C})</math> (Os campos vetoriais e tensoriais se transformam segundo representações de <math>SO(3,1,\R)</math> ou <math>SO(3,\R)</math>).
* As únicas [[Grandeza física|grandezas físicas]] diretamente medíveis são funções [[Função quadrática|"quadráticas"]] das componentes do campo (estas sim se transformam de acordo com <math>SO(3,1,\R)</math> e <math>SO(3,\R)</math>).

Matematicamente os espinores mais simples são vetores cujas componentes são números complexos (a dimensão vetorial sobre os complexos de um espaço de espinores de Weyl é dois, enquanto que para os espinores de Dirac é quatro). A diferença entre um campo vetorial e um campo espinorial é a lei de transformação de componentes segundo diferentes observadores. Tecnicamente um campo espinorial é uma seção do [[Fibrado de espinores|fibrado espinorial]] do espaço-tempo.

Formalmente, um campo espinorial é um campo tal que toma valores sobre um espaço vetorial, sobre a qual se tenha definido uma representação do [[álgebra de Lie]] do grupo de Lorentz. O tipo mais simples de vetor de dois componentes complexas (espinor ordinário ou de dois componentes), cujos componentes para diferentes observadores estão relacionadas mediante matrizes que constituem uma representação de [[grupo especial|<math>\mathfrak{sl}(2)</math>]]. Além disso na descrição de [[férmion]]s e [[neutrino]]s é comum o uso de espinores de quatro componentes (espinor de Dirac).

=== Motivação matemática ===

As simetrias de um problema físico requerem que certas equações e entidades que representam grandezas físicas sejam invariantes sob a [[Ação (matemática)|ação de um grupo]] sobre certo conjunto de entes matemáticos. Em relatividade especial o [[espaço-tempo de Minkowski]] tem o [[grupo de Poincaré]] como grupo de simetria. Uma vez que o [[grupo de Lorentz]] é um subgrupo do grupo de Poincaré, a [[covariância]] de uma teoria relativista requer que uma ação do grupo de Lorentz deixe invariantes certas expressões da teoria. Os aspectos quânticos da teoria requerem considerar representações projetivas deste grupo.

Um teorema de Wigner leva a que as representações projetivas de um grupo de Lie possam ser obtidas a partir das representações ordinárias de seu [[Recobrimento (topologia)|recobrimento universal]]. Os recobrimentos universais do grupo de Lorentz <math>SO(3,1,\R)</math> e do grupo de rotações espaciais <math>SO(3,\R)</math> são, respectivamente, <math>SL(2,\mathbb{C})</math> e <math>SU(2,\mathbb{C})</math>.

A motivação é que os [[grupo de Lie|grupos de Lie]] <math>SL(2,\mathbb{C})</math> e <math>SU(2,\mathbb{C})</math> são, além de [[Espaço compacto|compactos]], [[Conjunto simplesmente conexo|simplesmente conexos]], dado que o tratamento quântico de um campo físico requer estudar as representações projetivas do grupo de simetria associado ao campo. Além do que resulta que as representações projetivas de um grupo de Lie se reduzem às representações ordinárias de seu recobrimento universal. Assim substituir os grupos <math>SO(3,1,\R)</math> e <math>SO(3,\R)</math> por seus recobrimentos universais <math>SL(2,\mathbb{C})</math> e <math>SU(2,\mathbb{C})</math> resolve o problema de determinar todas as representações projetivas irredutíveis dos dois primeiros grupos.

{{referências}}
* Robert M. Wald, ''General Relativity'', Chicago University Press, ISBN 0-226-87033-2.

[[Categoria:Álgebra multilinear]]
[[Categoria:Análise matemática]]
[[Categoria:Geometria diferencial]]