6 votos

Campos de muerte para el Laplaciano

Uno es familiar desde la Teoría Cuántica que cada uno de los momentum angular generadores $L_{x,y,z}$ son Campos de muerte para el estándar de la métrica en la $S^2$ y la suma de los cuadrados de estos generadores da el Laplaciano en R^3.

Parece que de alguna literatura que esta idea, en cierto sentido, se generaliza.

Vagamente lo que me parece es que para espacios homogéneos $G/H$ si $K_i$ son los campos de la muerte (en $G/H$ ?) a continuación, $\sum_i K_i K_i$ es el Laplaciano en $G/H$.

Sería útil si uno me puede decir ¿cuál es la precisa instrucción que contiene la idea y también lo son las advertencias y la prueba de por qué debe ser así.

En este contexto la gente también habla de la "Casimir Laplaciano". Lo que precisamente es eso?

Casimir Laplaciano que se produce en este camino,

Si $T_a$ pasan a ser los Campos de la muerte en $G$ $X_b$ ser los campos de la muerte en $H$, a continuación, en algunos casos (cuando el álgebra es reductivo?) una relación de este tipo tiene,

$$K_i K_i = T_aT_a - X_b X_b$$

(suma sobre índices repetidos implícita)

Aquí también no sé precisa de la declaración o la prueba, pero estoy viendo alusiones a él en los periódicos.

También hay una cuestión de 3 "diferentes" maneras de definir el laplaciano, como la ordinaria $\nabla ^{\mu}\nabla _{\mu}$

$$or$$

como $\sum_i \nabla_{X_i^*}\nabla _ {X_i ^*}$ donde $\nabla _ {X_i ^*}$ se define como la denominada $H$-conexión en $G/H$."

Así es como, al parecer, la $H$ conexión de la evaluación en la sección $\psi: G/H \rightarrow G$ a lo largo del vector presentada $X$ (sección homogénea el vector paquete de más de $G/H$) se define,

$$\nabla_{X^{*}} \psi (x_{0}) = lim_{t\rightarrow 0} \frac{exp(-tX)\psi(\gamma_X(t))-\psi(x_0)}{t}$$

donde $\gamma_X(t) = exp(tX)x_o$ es la integral de la curva de $X$ a través de el origen de las $G/H$ i.e $x_0$

$$or$$

como a través de la Mentira derivado $\sum_i L_{K_i} L_{K_i}$

Cómo entender la diferencia y las relaciones entre estas nociones de Laplacians?


Como un ejemplo del tipo de relaciones que estoy tratando de entender permítanme citar $3$ de tales ecuaciones,

  • $$\nabla_{\beta} \nabla ^{\beta} V^{\alpha} = \left ( \sum _i L_{K_i}L_{K_i} V \right )^{\alpha} + R^{\alpha} _{\beta} V^{\beta} + f^{\beta}_{\gamma}{^{\alpha}} \nabla _{\beta} V^{\gamma}$$

donde la constante de estructura $f$ y el Tensor de Ricci son de la $G/H$ $V$ es un campo de vectores en $G/H$ (escrito aquí en el vielbein base) y la conexión es en $G/H$, pero los campos de la muerte son de $G$. El Tensor de Ricci puede para dichos espacios se escribe en términos de la estructura de las constantes o el operador de Casimir de la representación de la $H$ el cual se define el vector paquete de preocupación.

  • $$\sum _i L_{K_i}L_{K_i} = -\sum _{\lambda} C_2(\lambda)$$ where the right hand side is a sum over Casimirs of all irreducible representations of $G$ and the Lie derivatives on $G$ acting in a `natural' way on the fields of $G/H$

  • Para el `H-conexión" de la primera ecuación se reduce a,

    $$\nabla_{\beta} \nabla ^{\beta} V^{\alpha} = \left ( \sum _i L_{K_i}L_{K_i} V \right )^{\alpha} - (f_p f^{p})^{\alpha}_{\gamma} V^{\gamma} $$

    donde el $f$ son los generadores de la representación de la $H$. Básicamente, los nuevos términos es el de los componentes de la Casimir de que la representación de los $H$ a lo largo de la $G/H$ componentes.

1voto

PabloG Puntos 9308

Esta es la norma, al menos homogéneos que los colectores $G/H$ donde $G$ es compacto y semisimple. Véase, por ejemplo, el papel de La laplaciano en espacios homogéneos.

0voto

Schof Puntos 859

Esta respuesta se basa principalmente en el apéndice B4 de la revisión del artículo: análisis Armónico y propagadores en espacios homogéneos por R. Camporesi el tratamiento de Laplacians en espacios homogéneos. Creo que lo expuesto en este artículo es bastante transparente y sistemática. Aquí, sólo el semisimple caso se considera.

La definición de un Casimir Laplaciano que actúan sobre las secciones de un vector paquete está dada por: $\sum_{ij} C^{ij} L_{K_i} L_{K_j}$ donde $C$ es el Cartan-Killing métrica y $L_{K_j}$ es la Mentira derivados de las secciones. La suma es sobre todos los generadores de $G$. Esta definición es muy general, porque la Mentira derivado puede ser definido en los tensores (secciones de tensor de productos de la tangente bundle), formas (secciones de la antisimétrica tensor de productos de la cotangente del paquete), sectios de la línea de paquetes, la mitad de formas, spinors etc.

Considerando en primer lugar el caso de campos vectoriales (secciones de la tangente bundle). En Camporesi del artículo, la relación de la Casimir Laplaciano a algunos otros Laplacians en $G/H$ es explicado para el caso de campos vectoriales:

Dos conexiones en la tangente paquete de $G/H$ están explícitamente construido: La de Levi-Civita de conexión y el H-conexión (dado explícitamente en el apéndice a), que no es de torsiones. La conexión de Laplace de la de Levi-Civita de las conexiones es la costumbre de Laplace-Beltrami Laplaciano. La de Laplace-Beltrami Laplaciano no es, en general, en diagonal sobre los espacios de las secciones que pertenecen a una representación irreducible de $G$, mientras que la conexión Laplaciano basado en el H-conexión es la diagonal que hace que el H-conexión de base de Laplace más apropiado en el análisis armónico.

Este hecho puede ser visto desde sus explícita expresión dada en el artículo, mientras que la de Laplace-Beltrami Laplaciano difiere de la Casimir Laplaciano por un término variable, el H-conexión de base de Laplace se diferencia por un término constante.

De hecho, en los espacios de las secciones que pertenecen a una representación irreducible de mayor peso, $\lambda$ es igual a: $C_2(\lambda)-C_2(\tau)$. Donde $\tau$ es la isotropía de la representación (la que generalmente se reduce a la representación correspondiente a la acción de $H$ en el espacio de la tangente).

Esta propiedad de la H-conexión es general para homogénea vector de paquetes de más de $G/H$. En este caso, $\tau$ es la inducción de la representación de $H$ definir el vector paquete y la H-conexión es la conexión natural en este paquete.

Un importante caso especial es el Laplaciano de la línea de bultos en la bandera de los colectores. En este caso, la línea de paquete se caracteriza por un peso $\lambda$ $G$ y el autovalor de la H-conexión Laplaciano en un espacio de la sección de llevar la representación de un mayor peso,$\Lambda$$G$$C_2(\Lambda)-C_2(\lambda)$. Cuando, $\lambda$ es positiva y $\Lambda = \lambda$ el autovalor se convierte en cero, y esto sucede exactamente en el espacio de holomorphic secciones que es una manifestación de la Borel-teorema de Weil.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X