Colector con estructura supersimétrica.
En geometría algebraica , las variedades graduadas son extensiones del concepto de variedades basadas en ideas provenientes de la supersimetría y el álgebra supercommutativa . Tanto las variedades graduadas como las supervariedades se expresan en términos de haces de álgebras conmutativas graduadas . Sin embargo, las variedades graduadas se caracterizan por tener gavillas en variedades suaves , mientras que las supervariedades se construyen pegando gavillas de espacios supervectoriales .
Colectores graduados
Una variedad graduada de dimensión se define como un espacio localmente anillado donde es una variedad suave -dimensional y es un haz de álgebras de rango de Grassmann donde es el haz de funciones reales suaves . La gavilla se llama estructura de la variedad graduada y se dice que la variedad es el cuerpo de . Las secciones de la gavilla se denominan funciones graduadas en una variedad graduada . Forman un anillo conmutativo graduado llamado anillo de estructura de . El conocido teorema de Batchelor y el teorema de Serre-Swan caracterizan las variedades graduadas de la siguiente manera.
![{\displaystyle (Z,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{Z}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{Z}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Z,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Z,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Z,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Z,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema de Serre-Swan para variedades graduadas
Sea una variedad graduada. Existe un haz de vectores con una fibra típica -dimensional tal que la estructura del haz de es isomorfa a la estructura del haz de secciones del producto exterior de , cuya fibra típica es el álgebra de Grassmann .
![{\displaystyle E\a Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda (E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda (V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea una variedad suave. Un álgebra conmutativa graduada es isomorfa al anillo estructural de una variedad graduada con un cuerpo si y sólo si es el álgebra exterior de algún módulo proyectivo de rango finito.![{\displaystyle Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Funciones graduadas
Tenga en cuenta que el isomorfismo de Batchelor mencionado anteriormente no es canónico, pero a menudo se soluciona desde el principio. En este caso, cada gráfico de trivialización del paquete de vectores produce un dominio de división de una variedad graduada , donde está la base de la fibra para . Las funciones graduadas en dicho gráfico son funciones valoradas![{\displaystyle (U;z^{A},y^{a})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\a Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (U;z^{A},c^{a})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Z,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{c^{a}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda (V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
donde son funciones reales suaves y son elementos generadores impares del álgebra de Grassmann .![{\displaystyle f_{a_{1}\cdots a_{k}}(z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c^{a}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda (V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Campos vectoriales graduados
Dada una variedad graduada , las derivaciones graduadas de la estructura del anillo de funciones graduadas se denominan campos vectoriales graduados en . Constituyen una auténtica superálgebra de Lie con respecto al superbracket![{\displaystyle (Z,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \partial A(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
donde denota la paridad de Grassmann de . Campos vectoriales graduados leídos localmente![{\displaystyle [u]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u\en \partial A(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Actúan sobre funciones graduadas por la regla.![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Formas exteriores graduadas
El -dual de los campos vectoriales graduados del módulo se denomina módulo de formas únicas exteriores graduadas . Las formas únicas exteriores graduadas se leen localmente de modo que el producto de dualidad (interior) entre y tome la forma![{\displaystyle A(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \partial A(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle O^{1}(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi =\phi _{A}dz^{A}+\phi _{a}dc^{a}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \partial A(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle O^{1}(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Provisto del producto exterior clasificado.
,
las formas únicas graduadas generan el álgebra exterior graduada de formas exteriores graduadas en una variedad graduada. Obedecen la relación![{\displaystyle O^{*}(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
donde denota el grado de forma de . El álgebra exterior graduada es un álgebra diferencial graduada con respecto al diferencial exterior graduado.![{\displaystyle |\phi |}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle O^{*}(Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
donde las derivaciones graduadas , se clasifican conmutativas con las formas graduadas y . Están las relaciones familiares.![{\displaystyle \partial _ {A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \partial /\partial c^{a}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle dz^{A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle dc^{a}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Geometría diferencial graduada
En la categoría de variedades graduadas, se consideran grupos de Lie graduados, paquetes graduados y paquetes principales graduados. También se introduce la noción de chorros de variedades graduadas, pero difieren de los chorros de haces graduados.
Cálculo diferencial graduado
El cálculo diferencial sobre variedades graduadas se formula como cálculo diferencial sobre álgebras conmutativas graduadas de manera similar al cálculo diferencial sobre álgebras conmutativas .
Resultado físico
Debido al teorema de Serre-Swan mencionado anteriormente, los campos clásicos impares en una variedad suave se describen en términos de variedades graduadas. Extendido a variedades graduadas, el bicomplejo variacional proporciona la formulación matemática estricta de la teoría de campos clásica de Lagrang y la teoría BRST de Lagrang .
Ver también
Referencias
- C. Bartocci, U. Bruzzo, D. Hernandez Ruiperez, La geometría de los supermanífolds (Kluwer, 1991) ISBN 0-7923-1440-9
- T. Stavracou, Teoría de las conexiones sobre paquetes principales graduados, Rev. Math. Física. 10 (1998) 47
- B. Kostant, variedades graduadas, teoría de Lie graduada y precuantización, en Métodos geométricos diferenciales en física matemática , Lecture Notes in Mathematics 570 (Springer, 1977) p. 177
- A. Almorox, Teorías de supercalibre en variedades graduadas, en Métodos geométricos diferenciales en física matemática , Lecture Notes in Mathematics 1251 (Springer, 1987) p. 114
- D. Hernández Ruiperez, J. Muñoz Masque, Cálculo variacional global en variedades graduadas, J. Math. Pures Appl. 63 (1984) 283
- G. Giachetta, L. Mangiarotti, G. Sardanashvily , Teoría de campos clásica avanzada (World Scientific, 2009) ISBN 978-981-283-895-7 ; arXiv : matemáticas-ph/0102016; arXiv : 1304.1371.
enlaces externos