Vous êtes sur la page 1sur 5

XXIII Reunión Nacional Académica de Física y Matemáticas 2018

Introducción a la Geometría del Operador de Dirac


Moisés Alfonso1, Pablo Paniagua2 y Francisco J. Turrubiates1
1
Departamento de Física, Escuela Superior de Física y Matemáticas del Instituto Politécnico Nacional,
Unidad Adolfo López Mateos, Edificio 9, 07738, Ciudad de México, México.
2
Unidad Profesional Interdisciplinaria de Ingeniería Campus Hidalgo del Instituto Politécnico Nacional, Ciudad del
Conocimiento y la Cultura, Carretera Pachuca-Actopan km 8.5, San Agustín Tlaxiaca, Hidalgo, 42080, México.
E-mail:moises4lfonso@gmail.com, ppaniagua@ipn.mx, fturrub@esfm.ipn.mx

Resumen ––El espín es un concepto que surgió con la Mecánica bola giratoria de con carga eléctrica. Por ello, esta propiedad
Cuántica, este concepto fue retomado por P.A.M. Dirac el cual fue llamada espín del electrón.
modifico la ecuación de Schrödinger para que sea compatible
con la relatividad especial. Estas ideas dieron inicio al desarrollo Unos de las primeras metas y desafíos que se dio con la
estructuras matemáticas, las cuales relacionan la topología del
invención de la Mecánica Cuántica (M.C.) era la
espacio donde pueden vivir los electrones, así como formalizar
la idea de una raíz cuadrada del operador Laplaciano. incompatibilidad que tenía con la relatividad espacial (R.E.),
En este trabajo se presenta una revisión de los principales en cierto modo la R.E. explica que el espacio y el tiempo son
conceptos empleados para la construcción de dicha estructura dos conceptos que se relacionan en un el espacio-tiempo y no
como las algebras de Clifford, Haces Fibrados y Grupo de SO y hay necesidad de distinguirlos. La idea fundamental era que
su dependencia con el Grupo Spin para poder definir el al resolver esta incompatibilidad de R.E. y M.C. se siguiera
operador de Dirac. con la Relatividad General y dar una descripción para todos
los fenómenos de la naturaleza. Asi el concepto de la
Palabras Clave – Algebras de Clifford, Haces Fibrados, Haces estructura espín surgió de dos formas diferentes para intentar
Asociados, Haz de Spin, Grupo Spin, Operador de Dirac. describir el comportamiento de los sistemas físicos. Por una
parte la M.C., basada en la ecuación de Schrödinger
𝜕
Abstract –– The spin is a concept emerged with quantum 𝑖 𝜓 = 𝐻𝜓, (1)
mechanics, this concept was taken up by P.A.M. Dirac who 𝜕𝑡
modified the Schrödinger equation to be compatible with special
relativity. These ideas started the development of mathematical donde se ha tomado ℏ = 1, por otro lado la descripción
structures, which are related to the topology of the space where relativista, que consiste en una versión de la ecuación de onda
the electrons can live, as well as formalize the idea of a square no homogénea
root of the Laplacian operator.
Here we give an introduction to the Clifford algebras, Bundle ⃞ 𝜓 + 𝑚𝜓 = 0. (2)
Fibers and SO Group and its related with the Spin Group and
to be able to define the Dirac operator.
A finales de la segunda década del siglo XX el físico inglés
Paul Adrien Maurice Dirac quería obtener una forma de
Keywords –– Clifford Algebras, Fiber Bundles, Associated
Bundles, Spin Bundle, Spin Group, Dirac Operator. unificar las propiedades relativistas de la ecuación de onda
con el carácter cuántico de la ecuación de Schrödinger. Dirac
observó que la principal característica de la ecuación de
I. INTRODUCCIÓN Schrödinger era ser de primer orden en tiempo, por lo que
Espín del Electrón teniendo en cuenta una cierta equivalencia entre las
coordenadas espaciales y las temporales proporcionada por la
Dos tipos de evidencias experimentales encontradas en la R.E, definió una ecuación diferencial de primer orden en
década de 1920, mostraron una propiedad adicional del todas las variables similar a la de Schrödinger
electrón. Una era la división estrechamente espaciada de las
𝜕
líneas espectrales de hidrógeno, llamada estructura fina. La −𝑖 𝜓 = 𝐷𝜓, (3)
otra fue el experimento de Stern-Gerlach, que mostró en 𝜕𝑡
1922, que un haz de átomos de plata dirigidos a través de un
campo magnético no homogéneo, se veía obligado a dividirse donde el operador D es llamado el operador de Dirac
en dos haces. Ambas situaciones experimentales eran
𝜕𝜓 𝜕𝜓 𝜕𝜓
consistentes con la posesión por cada electrón individual, de 𝐷𝜓 = 𝛾1 + 𝛾2 + 𝛾3 + 𝛽𝑚, (4)
un momento angular intrínseco y un momento magnético. 𝜕𝑥 𝜕𝑦 𝜕𝑧
Clásicamente esto se podría presentar si el electrón fuera una
XXIII Reunión Nacional Académica de Física y Matemáticas 2018
Como este operador es de primer orden, al aplicarlo dos veces forzada, surge de manera natural por las elecciones a los
se obtiene de nuevo la ecuación de la ecuación de onda no coeficientes en (10).
homogénea
III. ALGEBRAS DE CLIFFORD 𝐶𝑙𝑛 (𝑉, 𝑞)
2 )𝜓
𝜕2 𝜕𝜓 2
( ⃞ +𝑚 = (𝛥 − 2 + 𝑚) 𝜓 = (𝐷𝜓 + 𝑖 ) . (5) Sea 𝑉 un espacio vectorial real de dimensión 𝑛, dotado de una
𝜕𝑡 𝜕𝑡
forma cuadrática no degenerada 𝑞, además se escoge una base
ortonormal {𝑒1 , 𝑒2 , … , 𝑒𝑛 } respecto a dicha forma cuadrática.
II. ECUACIÓN DE SCHRÖDINGER-PAULI Y DIRAC El álgebra de Clifford (𝐶𝑙𝑛 (𝑉, 𝑞)) asociada al espacio
La ecuación de Schrödinger-Pauli, es una modificación de la vectorial y la forma cuadrática es una algebra con unidad de
ecuación de Schrödinger para describir a las partículas de dimensión |2𝑛 |. El espacio vectorial 𝑉 esta naturalmente
espín ½, cuando hay una interacción entre el espín y el campo embebido en la algebra de Clifford (𝑉 ⊂ 𝐶𝑙𝑛 (𝑉, 𝑞)).
electromagnético
Los elementos del álgebra son generados por la siguiente
1 𝜕𝜓 base
[ (𝝈 ̂ − 𝑒𝑨))2 + 𝑒𝑉] 𝜓 = 𝑖
̂ ∙ (𝒑 , (6)
2𝑚 𝜕𝑡
{1, 𝑒𝑖1 , 𝑒𝑖1 𝑒𝑖2 , … , 𝑒𝑖1 𝑒𝑖1 … 𝑒𝑖𝑛 } ; 𝑖1 < 𝑖2 < ⋯ < 𝑖𝑛 ,
donde 𝝈 ̂ es el
̂ = (𝜎𝑥 , 𝜎𝑦 , 𝜎𝑧 ) y 𝜎𝑖 , son las matrices de Pauli, 𝒑
̂
momento lineal de la partícula, 𝑨 y 𝑉 denotan al potencial donde estos elementos de la base cumplen la relación:
vectorial y el potencial escalar de un campo electromagnético
respectivamente y (𝒑 ̂ − 𝑒𝑨) es el principio de acoplamiento 𝑒𝑖 𝑒𝑗 + 𝑒𝑗 𝑒𝑖 = −2𝛿𝑖𝑗 . (11)
mínimo.
A partir de la forma cuadrática 𝑞, se puede generar una forma
La ecuación de Dirac es una reformulación de la ecuación de bilineal 𝐵 mediante la identidad de polarización
Schrödinger, debido a la incompatibilidad que tenía con la
mecánica relativista y los problemas que había con la 1
𝐵(𝑣, 𝑤) = [𝑞(𝑣 + 𝑤) − 𝑞(𝑣 − 𝑤)],
ecuación de Klein-Gordon (el primer intento de ecuación 2
cuántica relativista). Dirac propuso que la ecuación de
Schrödinger sea lineal en las coordenadas espaciales y la así los vectores de 𝑉 cumplen con
temporal, con ayuda de unos factores 𝛼𝑖 , 𝛽
𝑣𝑤 + 𝑤𝑣 = −2𝐵(𝑣, 𝑤). (12)
𝜕𝜓 𝜕𝜓 𝜕𝜓 𝜕𝜓
𝑖ℏ = ℏ𝑐 (𝛾1 + 𝛾2 + 𝛾3 ) + 𝛽𝑚𝑐 2 𝜓 (7) Además se tiene una involución canónica
𝜕𝑡 𝜕𝑥 𝜕𝑦 𝜕𝑧
𝛼: 𝐶𝑙𝑛 (𝑉, 𝑞) → 𝐶𝑙𝑛 (𝑉, 𝑞),
y mediante el invariante de la energía definida como:

𝐸 2 = (𝒑𝑐)2 + 𝑚2 𝑐 4 , (8) 𝛼(𝑣1 … 𝑣𝑘 ) = (−1)𝑘 𝑣1 … 𝑣𝑘 . (13)

se debía obtener la ecuación de Klein-Gordon Esta función permite hacer una distinción entre los elementos
del álgebra de Clifford, a los cuales denotamos pares e
ℏ𝟐 𝑚 2 impares, lo cual se induce la descomposición del algebra en
( ⃞ + )𝜓 = 0 (9) los siguientes espacios
𝑐2
Por lo que se tiene que restringir los posibles valores para los 𝐶𝑙𝑛0 (𝑉, 𝑞) = { 𝜑𝜖𝐶𝑙𝑛 | 𝛼(𝜑) = 𝜑},
coeficientes, obteniendo las siguientes relaciones 𝐶𝑙𝑛1 (𝑉, 𝑞) = { 𝜑𝜖𝐶𝑙𝑛 | 𝛼(𝜑) = −𝜑},
𝛾𝑖 𝛾𝑗 + 𝛾𝑗 𝛾𝑖 = −2𝛿𝑖𝑗 (10.1) donde cada espacio es un eigenespacio de α y 𝐶𝑙𝑛 (𝑉, 𝑞) es
la suma directa de estos espacios
𝛾𝑖 𝛽 + 𝛽𝛾𝑖 = 0 (10.2)
𝐶𝑙𝑛 (𝑉, 𝑞) = 𝐶𝑙𝑛0 (𝑉, 𝑞)⨁𝐶𝑙𝑛1 (𝑉, 𝑞). (14)
Un hecho importante de las ecuaciones (6) y (7) están
relacionadas, la ecuación de Schrödinger-Pauli es caso no Además tenemos las siguientes relaciones bajo el producto
relativista de la ecuación de Dirac para un electrón sumergido
en un campo magnético. En este caso la modificación 𝐶𝑙𝑛0 (𝑉, 𝑞) 𝐶𝑙𝑛1 (𝑉, 𝑞)
introducida en la ecuación (6), la cual es hecha de manera
𝐶𝑙𝑛0 (𝑉, 𝑞) 𝐶𝑙𝑛0 (𝑉, 𝑞) 𝐶𝑙𝑛1 (𝑉, 𝑞)
𝐶𝑙𝑛1 (𝑉, 𝑞) 𝐶𝑙𝑛1 (𝑉, 𝑞) 𝐶𝑙𝑛0 (𝑉, 𝑞)
XXIII Reunión Nacional Académica de Física y Matemáticas 2018
Un álgebra dotada de una descomposición como en (14) y que
con respecto al producto verifique las relaciones de la tabla
(1) se le denomina un álgebra 𝑍2 -graduada. Por lo tanto el
homomorfismo 𝛼, denominado automorfismo principal de
𝐶𝑙𝑛 (𝑉, 𝑞), dota de una estructura de álgebra 𝑍2 -graduada al
álgebra de Clifford 𝐶𝑙𝑛 (𝑉, 𝑞).

Representación compleja de las álgebras de Clifford (ℂ𝒍𝒏 )

Al restringirse a espacios vectoriales complejos ℂ𝑛 con una


forma cuadrática compleja 𝑞, de la forma.

𝑞 = 𝑧1 2 + 𝑧2 2 + ⋯ + 𝑧𝑛 2 , (15)
Fig. 1. La acción de la reflexión es el mismo por una rotación
el álgebra de Clifford generada se denotan como ℂ𝒍𝒏 . Estos alrededor de un eje sobre el hiperplano con un ángulo de θ
espacios están relacionados con 𝐶𝑙𝑛 , como la
complexificación del algebra 𝐶𝑙𝑛∗ = {𝜑 ∈ 𝐶𝑙𝑛 (𝑉, 𝑞)|∃𝜑 −1 𝑐𝑜𝑛 𝜑 −1 𝜑 = 𝜑𝜑 −1 = 1}
Este grupo contiene los elementos de 𝑣 𝜖 𝑉 tal que 𝑞(𝑣) ≠
ℂ𝑙𝑛 = 𝐶𝑙𝑛 ⊗ ℂ. (16) 0. Los elementos inversos de 𝑣 𝜖 𝑉 son de la forma
−𝑣
𝑣 −1 = .
El estudio de las algebras de Clifford se puede llevar a cabo |𝑣|

mediante las algebras de matrices mediante el siguiente El grupo 𝐶𝑙𝑛 actúa naturalmente como un automorfismo de
concepto álgebra, llamada la representación adjunta, la cual está dada
por
Def.- Una representación real (compleja) del álgebra de
Clifford ℂ𝑙𝑛 es un homomorfismo del álgebra ℂ lineal de un 𝐴𝑑𝜑 (𝑥) = 𝜑𝑥𝜑 −1 . (17)
espacio 𝑊
𝜌: ℂ𝑙𝑛 → 𝐻𝑜𝑚(𝑊, 𝑊), Sí esta representación se limita al espacio vectorial 𝑉, dotado
con producto interno, se cumple que:
donde W es un espacio vectorial real (complejo) de
dimensión finita. El espacio W es llamado un ℂ𝑙𝑛 -modulo (𝑣, 𝑤)
𝐴𝑑𝑣 (𝑤) = − 𝑤 + 2 𝑣
sobre ℂ |𝑣|

Así las álgebras complejas de Clifford son isomorfas al el cuál es el negativo de una reflexión de 𝑤 al hiperplano
álgebra de matrices con entradas complejas, es decir perpendicular a 𝑣, para obtener una reflexión se debe tomar
el negativo de la representación adjunta, mediante la
ℂ𝑙2𝑚 ≅ ℂ(2𝑚 ) involución canónica α se define la representación adjunta
ℂ𝑙2𝑚+1 ≅ ℂ(2𝑚 )⨁ℂ(2𝑚 ). “torcida”

Def.- Sea 𝑆 una representación irreducible de ℂ𝑙𝑛 . Una (𝑣, 𝑤)


̃𝑣 (𝑤) = 𝛼(𝑣)𝑤𝑣 −1 = 𝑤 − 2
𝐴𝑑 𝑣 (18)
representación Spin del grupo 𝑆𝑝𝑖𝑛(𝑛) es un homomorfismo |𝑣|

𝜌|𝑆𝑝𝑖𝑛(𝑛) = 𝛥𝑛 : 𝑆𝑝𝑖𝑛(𝑛) → 𝐺𝐿ℂ (𝑆), Se define el grupo es 𝑃𝑖𝑛(𝑛) como un subgrupo de 𝐶𝑙𝑛∗ ,
generados por los elementos de 𝑉 como
Se obtiene la restringir el dominio de una representación
compleja irreducible de 𝜌: ℂ𝑙𝑛 → 𝐻𝑜𝑚(𝑊, 𝑊) al conjunto 𝑃𝑖𝑛(𝑛) = {𝑣1 𝑣2 … 𝑣𝑘 ||𝑣𝑖 | = ±1}, (19)
𝑆𝑝𝑖𝑛(𝑛) ⊂ 𝐶𝑙𝑛 ⊂ ℂ𝑙𝑛 . Cuando 𝑛 es numero natural par, se
tiene que el espacio 𝑆 tiene una descomposición en dos y de manera análoga al grupo 𝑆𝑝𝑖𝑛(𝑛) como
espacios irreducibles, 𝑆 + y 𝑆 + .
𝑆𝑝𝑖𝑛(𝑛) = {𝑣1 𝑣2 … 𝑣2𝑙 ||𝑣𝑖 | = ±1}. (20)
IV. GRUPO SPIN Y ROTACIONES
Teorema (Cartan- Dieudonné).- Sea |. | una forma cuadrática
Consideremos el grupo multiplicativo de unidades del no degenerada sobre un espacio vectorial de dimensión 𝑛 𝑉;
𝐶𝑙𝑛 (𝑉, 𝑞), definido por entonces todo elemento 𝑔 ∈ 𝑂(𝑛) se puede escribir como una
composición de 𝑟 reflexiones
XXIII Reunión Nacional Académica de Física y Matemáticas 2018
𝑔 = 𝜌(𝑣1 )°𝜌(𝑣2 )° … °𝜌(𝑣𝑟 ), donde 𝑢 ∈ 𝑃 y 𝑓 ∈ 𝐹, entonces el haz fibrado asociado
donde 𝑟 ≤ 𝑛. (𝐸, 𝜋, 𝑀, 𝐺, 𝐹, 𝑃) es la clase de equivalencia 𝑃 × 𝐹/𝐺 en el
cual los puntos (𝑢, 𝑓) y (𝑢𝑔, 𝑔−1 𝑓) son identificados.
Si se restringe la representación Adjunta al grupo 𝑆𝑝𝑖𝑛 El haz vectorial asociado 𝑃 ×𝜌 𝑉 es definido por la
obtenemos un homomorfismo del grupo 𝑆𝑝𝑖𝑛 al grupo de 𝑆𝑂. identificación de los puntos (𝑢, 𝑓) y (𝑢𝑔, 𝜌(𝑔)−1 𝑓) de
𝑃 × 𝑉, donde 𝑢 ∈ 𝑃, 𝑔 ∈ 𝑉 y 𝑣 ∈ 𝑉.
V. HACES FIBRADOS Y ASOCIADOS
VI. ESTRUCTURA SPIN Y OPERADOR DE DIRAC
Toda la física tiene dos aspectos: un aspecto local o incluso En teoría cuántica de campos, cualquier tipo de partícula es
infinitesimal, y un aspecto global. Los aspectos locales e tratada como un campo. Los dos tipos básicos de partículas
infinitesimales están relacionados con los aspectos son los bosones y los fermiones, los primeros pueden ser
perturbadores en problemas físicos y los Haces Fibrados (el descritos mediante campos vectoriales o tensoriales mientras
cual se definirá más adelante) juegan poco papel allí. Pero son que los segundos sólo pueden ser descritos mediante campos
la estructura más importante que gobierna el aspecto global espinoriales. Los espacios o variedades necesitan un tipo de
(el no perturbativo). Los Haces Fibrados son la estructura estructura para que se pueden definer un campo espinorial
global de los campos físicos. sobre ellos para esto se debe tener en cuenta el
homomorfismo entre los grupos 𝑆𝑂 y 𝑆𝑝𝑖𝑛.
Def.- Un haz fibrado diferenciable (𝐸, 𝜋, 𝑀, 𝐹, 𝐺) consiste de
los siguientes elementos: Def.- Sea 𝐸 un haz vectorial orientado 𝑛-dimensional
 Una variedad 𝐸 llamada 𝐸𝑠𝑝𝑎𝑐𝑖𝑜 𝑇𝑜𝑡𝑎𝑙. Riemanniano sobre una variedad 𝑀, y sea 𝑃𝑆𝑂 (𝐸) el haz de
 Una variedad 𝑀 llamada 𝐸𝑠𝑝𝑎𝑐𝑖𝑜 𝐵𝑎𝑠𝑒. marcos orientados. Sea también 𝜌: 𝑆𝑝𝑖𝑛(𝑛) → 𝑆𝑂(𝑛) el
 Una variedad 𝐹 llamada 𝐹𝑖𝑏𝑟𝑎. recubrimiento universal de 𝑆𝑂(𝑛). Como se
 Una función suprayectiva 𝜋: 𝐸 → 𝑀, llamada Una estructura Spin en 𝐸 es un fibrado principal con un grupo
𝑝𝑟𝑜𝑦𝑒𝑐𝑐𝑖ó𝑛 tal que 𝜋 −1 (𝑝) = 𝐹𝑝 ≈ 𝐹 es llamada la de estructura 𝑆𝑝𝑖𝑛(𝑛), junto con un recubrimiento universal
fibra en 𝑝. de 2 a 1
 Un Grupo de Lie 𝐺 llamado 𝐺𝑟𝑢𝑝𝑜 𝑑𝑒 𝐸𝑠𝑡𝑟𝑢𝑐𝑡𝑢𝑟𝑎, 𝜙: 𝑃𝑆𝑝𝑖𝑛 (𝐸) → 𝑃𝑆𝑂 (𝐸), (22)
el cual actúa en 𝐹 por la izquierda.
 Un difeomorfismos llamada 𝑇𝑟𝑖𝑣𝑖𝑙𝑖𝑧𝑎𝑐𝑖𝑜𝑛 𝐿𝑜𝑐𝑎𝑙 tal que 𝜙(𝑝𝑔) = 𝜙(𝑝)𝜌(𝑔) para toda 𝑝 ∈ 𝑃𝑆𝑝𝑖𝑛 (𝐸) y toda
dada por 𝑔 ∈ 𝑆𝑝𝑖𝑛(𝑛).
𝜙: 𝑈𝑖 × 𝐹 → 𝜋 −1 (𝑈𝑖 )
tal que 𝜋 ° 𝜙𝑖 (𝑝, 𝑓) = 𝑝. Def.- Una variedad Spin es una variedad Riemanniano
orientable para el cual su haz tangente 𝑇𝑀 admite una
Def.- Un haz vectorial orientado es un haz fibrado en el cual estructura Spin.
la fibra es un espacio vectorial orientado
Def.- Sea 𝐸 un haz vectorial Riemanniano orientado con una
Haces Fibrados Principales estructura de spin 𝜙: 𝑃𝑆𝑝𝑖𝑛 (𝐸) → 𝑃𝑆𝑂 (𝐸). Un haz Spin real
(complejo) de 𝐸 es un haz asociado de la forma
Def.- Un haz fibrado principal 𝑃𝐺 (𝐸) es un haz fibrado en
cual su fibra 𝐹 es idéntica a su grupo de estructura 𝐺, donde 𝑆(𝐸) = 𝑃𝑆𝑝𝑖𝑛 (𝐸) ×𝜌 𝑀, (23)
se puede definir una acción por la derecha del grupo de
estructura 𝐺 en 𝜋 −1 (𝑈𝑖 ) como:

𝜙 −1 (𝑢𝑎) = (𝑝, 𝑔𝑖 𝑎)
(𝑢𝑎) = 𝜙(𝑝, 𝑔𝑖 𝑎), (21)

y el cual conmuta con la acción por la izquierda.

Haces Asociados

Se define una acción de 𝑔 ∈ 𝐺 en 𝑃 × 𝐹 por

(𝑢, 𝑓) → (𝑢𝑔, 𝑔−1 𝑓),


Fig. 2.- Las flechas horizontales son las acciones del
Grupo Spin y el grupo SO, haciendo que le diagrama
conmute
XXIII Reunión Nacional Académica de Física y Matemáticas 2018
donde M es un módulo izquierdo (complejo) de 𝐶𝑙𝑛 (ℂ𝑙𝑛 ) y [7] Riemannian Geometry and Geometry Analysis, Jurgen Jost, (2008).
[8] The Theory of Spinors, Elie Cartan, (1966).
donde 𝜌: 𝑆𝑝𝑖𝑛(𝑛) → 𝑆𝑂(𝑛) es la representación dada por la
multiplicación por los elementos de 𝑆𝑝𝑖𝑛(𝑛) ⊂ 𝐶𝑙𝑛0 .

Cuando la dimensión 𝑛 es un número par se tiene una


separación en dos subfibrados (𝑆 + (𝐸), 𝑆 − (𝐸)), a
consecuencia de la representación 𝑆𝑝𝑖𝑛(𝑛) y cumple que

𝑆(𝐸) = 𝑆 + (𝐸)⨁𝑆 − (𝐸). (24)

Las secciones de este Haz son los campos espinoriales que


representan a los fermiones. El espacio 𝑆 se le denomina el
espacio Spin, asi tenemos que la ecuación de Dirac debe
actuar en las secciones 𝑆(𝐸), con esto se puede definir el
Operador de Dirac.

Def.- Sea ℝ2𝑘 el espacio euclidiano, entonces su álgebra de


Clifford 𝐶𝑙2𝑘 actúa sobre el espacio spin. Sean 𝐸𝑖 las
trasformaciones lineales correspondientes a 𝑒𝑖 , entonces se
define el operador de Dirac como un operador diferencial de
primer orden en el espacio 𝑆
𝜕
𝐷𝑠 = 𝐸𝑖 𝑠,
𝜕𝑥𝑖
𝜕
donde 𝑠 ∈ 𝑆 y actúa en 𝐶 ∞ (ℝ2𝑘 , 𝑆), el cual cumple con
𝜕𝑥𝑖
𝜕 𝜕
𝐷2 𝑠 = ∑ 𝐸𝑖 ∑ 𝐸𝑗 𝑠=
𝜕𝑥𝑖 𝜕𝑥𝑗
𝑖 𝑗
𝜕 𝜕 𝜕2
∑ 𝐸𝑖 𝐸𝑗 𝑠 = ∑ −𝐼 𝑠 = −𝐼 ∆𝑠. (25)
𝑖𝑗
𝜕𝑥𝑖 𝜕𝑥𝑗 𝜕𝑥𝑖 2
𝑖

El operador de Dirac intercambia entre los espacios


𝐶 ∞ (ℝ2𝑘 , 𝑆 + ) y 𝐶 ∞ (ℝ2𝑘 , 𝑆 − ), los cuales son las funciones
suaves definidas sobre el haz de spin.

CONCLUSIONES
Las estructuras matemáticas expuestas en este artículo
son el preámbulo para formalizar las ideas de P.A.M Dirac
con otras ramas de la Física y la Matemáticas.
Para estudios posteriores se puede revisar las diferentes
representaciones que son posibles para obtener los espinores
de Weyl y Majorana, así como el homomorfismo entre 𝑆𝑂 y
𝑆𝑝𝑖𝑛, el cual relaciona su á<lgebra de Lie de estos grupos, es
decir las Álgebras 𝒔𝒐 y 𝒔𝒑𝒊𝒏 son isomorfas y la relación que
tiene el operador de Dirac con las clases características de
Stiefel-Whitney y el teorema de Atiyah-Singer.
REFERENCIAS
[1] Matrix Groups, Morton L. Curtis, (1984).
[2] Algebraic Topology, Allen Hatcher, (2001).
[3] Topology and geometry for physicists, Charles Nash, Siddhartha Sen,
(1983).
[4] Geometry, Topology and Physics, Mikio Nakahara, (2003).
[5] The Dirac Equation, Springer-Bernd Thaller, (1992).
[6] Geometric Mechanics on Riemannian Manifolds. Applications to
Partial Differential Equations, Ovidiu Calin, Der-Chen Chang, (2004).

Vous aimerez peut-être aussi