stringtranslate.com

Mapa de momentum

En matemáticas , específicamente en geometría simpléctica , el mapa de momento (o, por falsa etimología, mapa de momentos [1] ) es una herramienta asociada con una acción hamiltoniana de un grupo de Lie sobre una variedad simpléctica , utilizada para construir cantidades conservadas para la acción. El mapa de momento generaliza las nociones clásicas de momento lineal y angular . Es un ingrediente esencial en varias construcciones de variedades simplécticas, incluidos los cocientes simplécticos ( Marsden–Weinstein ) , que se analizan a continuación, y los cortes y sumas simplécticos .

Definición formal

Sea una variedad con forma simpléctica . Supóngase que un grupo de Lie actúa sobre mediante simplectomorfismos (es decir, la acción de cada uno en conserva ). Sea el álgebra de Lie de , su dual , y

el emparejamiento entre los dos. Cualquier in induce un campo vectorial en que describe la acción infinitesimal de . Para ser precisos, en un punto del vector es

donde es la función exponencial y denota la -acción sobre . [2] Sea la contracción de este campo vectorial con . Como actúa por simplectomorfismos, se deduce que es cerrado (para todo en ).

Supongamos que no sólo es cerrado sino también exacto, de modo que para alguna función . Si esto es así, entonces se puede elegir para que la función sea lineal. Una función de momento para la acción sobre es una función tal que

para todos en . Aquí está la función de a definida por . El mapa de momento se define de forma única hasta una constante aditiva de integración (en cada componente conectado).

Una -acción sobre una variedad simpléctica se llama hamiltoniana si es simpléctica y si existe un mapa de momento.

A menudo también se requiere que un mapa de momento sea -equivariante , donde actúa sobre a través de la acción coadjunta , y a veces este requisito se incluye en la definición de una acción de grupo hamiltoniano. Si el grupo es compacto o semisimple, entonces la constante de integración siempre se puede elegir para hacer que el mapa de momento sea coadjunto equivariante. Sin embargo, en general la acción coadjunta debe modificarse para hacer que el mapa sea equivariante (este es el caso, por ejemplo, para el grupo euclidiano ). La modificación es mediante un cociclo 1- en el grupo con valores en , como lo describió por primera vez Souriau (1970).

Ejemplos de mapas de momento

En el caso de una acción hamiltoniana del círculo , el dual del álgebra de Lie se identifica naturalmente con , y el mapa de momento es simplemente la función hamiltoniana que genera la acción del círculo.

Otro caso clásico se da cuando es el fibrado cotangente de y es el grupo euclidiano generado por rotaciones y traslaciones. Es decir, es un grupo de seis dimensiones, el producto semidirecto de y . Los seis componentes del mapa de momento son entonces los tres momentos angulares y los tres momentos lineales.

Sea una variedad suave y sea su fibrado cotangente, con mapa de proyección . Sea la 1-forma tautológica sobre . Supóngase que actúa sobre . La acción inducida de sobre la variedad simpléctica , dada por para es hamiltoniana con mapa de momento para todo . Aquí denota la contracción del campo vectorial , la acción infinitesimal de , con la 1-forma .

Los hechos mencionados a continuación pueden utilizarse para generar más ejemplos de mapas de momento.

Algunos datos sobre los mapas de momento

Sean grupos de Lie con álgebras de Lie , respectivamente.

  1. Sea una órbita coadjunta . Entonces existe una estructura simpléctica única en tal que el mapa de inclusión es un mapa de momento.
  2. Sea , y , un homomorfismo de grupo de Lie, que induce una acción de sobre . Entonces, la acción de sobre es también hamiltoniana, con un mapa de momento dado por , donde es el mapa dual de ( denota el elemento identidad de ). Un caso de especial interés es cuando es un subgrupo de Lie de y es el mapa de inclusión.
  3. Sea una variedad hamiltoniana y una variedad hamiltoniana. Entonces, la acción natural de sobre es hamiltoniana, con mapa de momento la suma directa de los dos mapas de momento y . Aquí , donde denota el mapa de proyección.
  4. Sea una variedad hamiltoniana y una subvariedad de invariante bajo tal que la restricción de la forma simpléctica sobre a no es degenerada. Esto imparte una estructura simpléctica a de manera natural. Entonces la acción de sobre también es hamiltoniana, con mapa de momento la composición del mapa de inclusión con el mapa de momento de .

Cocientes simplécticos

Supóngase que la acción de un grupo de Lie sobre la variedad simpléctica es hamiltoniana, como se definió anteriormente, con un mapa de momento equivariante . De la condición hamiltoniana se deduce que es invariante bajo .

Supongamos ahora que actúa libre y apropiadamente sobre . Se deduce que es un valor regular de , por lo que y su cociente son ambos variedades suaves. El cociente hereda una forma simpléctica de ; es decir, hay una única forma simpléctica en el cociente cuyo pullback a es igual a la restricción de a . Por lo tanto, el cociente es una variedad simpléctica, llamada cociente de Marsden-Weinstein , en honor a (Marsden y Weinstein 1974), cociente simpléctico , o reducción simpléctica de por y se denota . Su dimensión es igual a la dimensión de menos el doble de la dimensión de .

De manera más general, si G no actúa libremente (pero sí de manera adecuada), entonces (Sjamaar y Lerman 1991) demostraron que es un espacio simpléctico estratificado, es decir, un espacio estratificado con estructuras simplécticas compatibles en los estratos.

Conexiones planas sobre una superficie

El espacio de conexiones en el fibrado trivial sobre una superficie tiene una forma simpléctica de dimensión infinita

El grupo de calibración actúa sobre las conexiones por conjugación . Identifique mediante el emparejamiento de integración. Luego, el mapa

que envía una conexión a su curvatura es un mapa de momentos para la acción del grupo de calibración sobre las conexiones. En particular, el espacio de módulos de las conexiones planas módulo equivalencia de calibración se da por reducción simpléctica.

Véase también

Notas

  1. ^ "Mapa de momentos" es un nombre inapropiado y físicamente incorrecto. Es una traducción errónea de la noción francesa " momento de aplicación" . Vea esta pregunta de mathoverflow para conocer la historia del nombre.
  2. ^ El campo vectorial ρ(ξ) se denomina a veces campo vectorial de Killing en relación con la acción del subgrupo de un parámetro generado por ξ. Véase, por ejemplo, (Choquet-Bruhat y DeWitt-Morette 1977)

Referencias