estructura geométrica
En geometría diferencial , dada una estructura de espín en una variedad de Riemann orientable de dimensiones , se define el paquete de espín como el paquete de vectores complejo asociado al correspondiente paquete principal de marcos de espín y la representación de espín de su grupo de estructuras en el espacio de espinores .
![{\displaystyle \pi _{\mathbf {P} }\colon {\mathbf {P} }\a M\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Delta _ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una sección del haz de espinor se llama campo de espinor .![{\displaystyle {\mathbf {S} }\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definicion formal
Sea una estructura de espín en una variedad de Riemann , es decir, una elevación equivariante del haz de marcos ortonormal orientado con respecto a la doble cobertura del grupo ortogonal especial por el grupo de espín .
![{\displaystyle \mathrm {F} _{SO}(M)\a M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho \colon {\mathrm {Girar} }(n)\to {\mathrm {SO} }(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El paquete de espinores se define [1] como el paquete de vectores complejos![{\displaystyle {\mathbf {S} }\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathbf {S} }={\mathbf {P} }\times _ {\kappa }\Delta _ {n}\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
estructura de espínrepresentación de espíngrupooperadores unitariosespacio de Hilbertrepresentación fiel y unitaria[2]![{\displaystyle {\mathbf {P} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \kappa \colon {\mathrm {Girar} }(n)\to {\mathrm {U} }(\Delta _ {n}),\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathrm {U} }({\mathbf {W} })\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathbf {W} }.\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \kappa}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathrm {Girar} }(n).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Notas
Otras lecturas
|