5 votos

La ecuación básica de bosonization

[..citando a partir de la Página 11 de Polchinski Vol2..]

Dado $1+1$ conformación bosonic campos de $H(z)$ uno tiene sus OPE como, $H(z)H(0) \sim -ln(z)$

A continuación, a partir de aquí cómo hacer las siguientes identidades vienen?

  • $e^{iH(z)}e^{-iH(z)} \sim \frac{1}{z}$

  • $e^{iH(z)}e^{iH(0)} = O(z) $

  • $e^{-iH(z)}e^{-iH(0)} = O(z) $

  • $\langle \prod_{i} e^{i\epsilon_i H(z_i)} \rangle_{S_2} = \prod_{i<j} z_{ij}^{\epsilon_i \epsilon_j}$ $\sum_i \epsilon_i =0$

Tengo prácticamente ni idea de cómo estos se derivan!

(..He hecho muchas OPE cálculo anterior, pero este supera mí totalmente!..)

Sería genial si alguien puede mostrar la derivación o dar una referencia donde esto se explica!


También tengo curiosidad de saber si hay una generalización de este arbitraria, incluso de dimensiones complejas de la analítica de complejos colectores de...

5voto

Michael Hardy Puntos 4554

Creo que hay una errata en la primera fórmula. Permítanme proponer este (parcial) responder por la $3$ primer fórmulas:

Debido a $H(z)H(0) \sim -ln(z)$, podemos escribir la OPE para cualquier par de operadores de $F(H), G(H)$ funciones de $H$ (en analogía con la fórmula $2.2.10$ p.$39$ vol $1$)

$$:F::G: = e^{- \large \int dz_1 dz_2 ln z_{12} \frac{\partial}{\partial H(z_1)}\frac{\partial}{\partial H(z_2)}} :FG:\tag{1}$$

Esto le da, por $F = e^{i \epsilon_1 H(z_1)}, G = e^{i \epsilon_2 H(z_2)}$

$$:e^{i \epsilon_1 H(z_1)}::e^{i \epsilon_2 H(z_2)}: = (z_{12})^{\epsilon_1 \epsilon_2} :e^{i \epsilon_1 H(z_1)}e^{i \epsilon_2 H(z_2)}:\tag{2}$$

Así, tenemos :

$$:e^{iH(z)}::e^{-iH(0)}:~ = \frac{1}{z}~:e^{i H(z)}e^{-i H(0)}: ~\sim \frac{1}{z}:e^{i H(0)}e^{-i H(0)}: \sim \frac{1}{z}\tag{3}$$

$$:e^{iH(z)}::e^{iH(0)}:~ = z~:e^{i H(z)}e^{i H(0)}: ~\sim z~:e^{2i H(0)}: \sim O(z)\tag{4}$$

$$:e^{-iH(z)}::e^{-iH(0)}:~ = z~:e^{-i H(z)}e^{-i H(0)}: ~\sim z~:e^{-2i H(0)}: \sim O(z)\tag{5}$$

[EDITAR]

De la última ecuación, creo que es el mismo razonamiento que el que se hace en el Vol $1$, la página de $173,174$, fórmulas $6.2.24$ hasta $6.2.31$

[EDIT 2]

La fórmula $1$, y la fórmula $(2.2.10)$ no son fórmulas ad hoc. Estos son la consecuencia de una definición de la normal de ordenar, y el definitition de las contracciones. Estos son la consecuencia de la general de las fórmulas de $2.2.5$$2.2.9$, , por ejemplo :

$$F = :F:+ ~contractions \tag{2.2.8}$$ $$:F::G: = :FG:+ ~cross-contractions \tag{2.2.9}$$

Ahora, se puede especializarse para holomorphic campos de $Y(z)$, por lo que el $Y(z)Y(0) \sim f(z)$, y escribir :

$$:F::G: = e^{ \large \int dz_1 dz_2 f(z_{12}) \frac{\partial}{\partial Y(z_1)}\frac{\partial}{\partial Y(z_2)}} :FG:\tag{6}$$ donde $F$ $G$ son funciones de la $Y$

La especialización para un holomorphic campo no cambia la lógica y el cálculo hecho en $2.2.5$ $2.2.9$

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