I) Imagen pasiva. el einbeinmi
no es un invariante sino que se transforma como
mi = mi′dτ′dτ(1)
bajo una reparametrización del parámetro world-line (WL)
τ⟶τ′= f( τ) .(2)
En otras palabras,ω : = mi re τ∈ Γ (T∗yo)
es una forma en la variedad WL unidimensionalyo
. La posición de la partícula
Xm = X′ μ(3)
es invariante, mientras que la velocidad de la partícula se transforma como
X˙m = X˙′ μdτ′dτ.(4)
Estas reglas de transformación (1)-(4) se pueden ver de muchas maneras. Una forma es que la acción
S = ∫ d τ L ,L : = X˙22 mi−mimetro22,(5)
debe ser invariante bajo reparametrizaciones (2). Consulte también esta publicación Phys.SE relacionada.
II) Imagen activa. Desde la perspectiva de la variedad WL unidimensionalyo
, la transformación infinitesimald
puede, por ejemplo, codificarse a través de derivados de Lie LY
wrt. un campo vectorial
Y = η ddτ ∈ Γ ( T yo)(6)
en la variedad WL unidimensionalyo
. Las derivadas de Lie son
LYXm = Y [Xm] = η dXmdτ,(7)
(LYe ) re τ : = LYω = { re , iY} ω = re iYω
= re ( iYω ) = re ( η e ) = re τ ddτ( ηmi ) ,(8)
y por lo tanto
LYmi =( 8 ) ddτ( ηmi ) .(9)
Las fórmulas (6), (7) y (9) corresponden a la ec. (1.10) en la ref. 1
τ→τ~= τ− η,dXm = η dXmdτ,dmi = ddτ( ηmi ) ,(1.10)
respectivamente.
III) Formulación clásica de BV. Mencionemos para completar que la transformación de calibred
puede codificarse como una transformación BRST, cf. por ejemplo, ref. 2 y esta publicación de Phys.SE. En términos generales, el parámetro de calibre uniforme de Grassmannη
luego es reemplazado por un fantasma Grassmann-odd Faddeev-Popov (FP)C
. (En realidad, el parámetro calibreη
se reemplazará más precisamente con la combinaciónmi1 - rC
, donder ∈ R
es un poder, para ser más generales, cf. ec. (16) a continuación.) Para minimizar las apariencias de derivadas temporales, en lugar de usar el Lagrangiano (5), se vuelve un poco más simple comenzar con el Lagrangiano hamiltoniano
LH : = pagmX˙m− H,H : = mi T ,T : = 12(pag2+metro2) ,pag2 : = gramoμ ν( X ) pagmpagv,(11)
cf. por ejemplo , esta publicación de Phys.SE. Aquí usaremos el formalismo de Batalin-Vilkovisky (BV) , cf. Árbitro. 3. Los campos
ϕα = { Xm; pagm; mi ; C ; C¯; segundo } (12)
son posicionesXm
; momentospagm
; einbeinmi
; fantasma FPC
; FP antifantasmaC¯
; y Lautrup-Nakanishi (LN) multiplicador de LagrangeB
, respectivamente. Son tensores WL de órdenes contravariantes0
;0
;− 1
;r
;1
; y1
, respectivamente. cada campoϕα
tiene un anticampo correspondienteϕ∗α
de paridad opuesta de Grassmann. La acción BV correspondiente1
SBV _ = ∫ d τ LBV _,
LBV _ = LH+ (X∗mX˙m+pagm∗pag˙m+ rC∗C˙)mir - 1C+mirCmi˙∗∼ mi∗ddτ(mirC)+ BC¯∗,(13)
satisface la ecuación maestra clásica
(SBV _,SBV _) = 0 , (14)
con antibracket ( ⋅ , ⋅ )
en forma de Darboux, es decir, los antibrackets fundamentales distintos de cero se leen
(ϕα( τ) ,ϕ∗β(τ′) ) = dαβ d( τ−τ′) .(15)
La transformación BRST nilpotente de Grassmann-odds =( SBV _, ⋅ )
lee
sXm = mir - 1CX˙m,spagm = mir - 1Cpag˙m,se= _ ddτ(mirC) ,
s C = r mir - 1CC˙,sC¯ = - segundo , s segundo=0, (dieciséis)
que debe compararse con la ec. (1.10). El fermión de fijación de calibre BVψ
se puede elegir en el formulario
ψ : = ∫ d τ C¯(ξ2segundo + χ ( mi ) + ϵmi˙) ,(17)
donde
ξ, ϵ ∈ R
son parámetros de fijación de calibre. Es más,
χ ( mi ) = ( mi−mi0)x′
es una condición de fijación de calibre (que supondremos es afín en
mi
, de modo que la derivada
x′
es constante). El lagrangiano de calibre fijo se convierte en
Lg f = LBV _|ϕ∗ = dψdϕ = LH+(x′C¯− ϵC¯˙)ddτ(mirC)∼ C¯(x′2+ ϵddτ)ddτ(mirC) +mirC(x′2− ϵddτ)ddτC¯Término de Faddeev-Popov+B (ξ2segundo + χ ( mi ) + ϵmi˙)término de fijación de calibre,(18)
donde el∼
símbolo significa igualdad hasta los términos derivados del tiempo total. Las magnitudes físicas no dependen de la elección del fermión fijador de calibre.ψ
, siempre y cuando se cumplan ciertas condiciones de rango.
IV) Ecuación maestra cuántica. El extraño laplaciano
Δ = ( − 1 )| α |∫d τ dLdϕα( τ)dLdϕ∗α( τ) = ( − 1 )| α |∬d τ dτ′ d( τ−τ′)dLdϕα( τ)dLdϕ∗α(τ′)(19)
es un objeto singular, que en rigor necesita ser regularizado. Calculamos formalmente
ΔSBV _ =( 13 ) + ( 19 ) 2 ( n−r ) ∬d τ dτ′ mi ( τ)r - 1C( τ) d ( τ−τ′)ddτd( τ−τ′)
+ r ∬d τ dτ′ mi ( τ)r - 1C˙( τ) d ( τ−τ′)2 ≠ 0 , (20)
donde
norte
es la dimensión del espacio objetivo (TS). Esto muestra que la acción BV (13) no satisface la ecuación maestra cuántica; sólo la ecuación maestra clásica. Discutiremos las modificaciones apropiadas de la acción BV (13) en la Sección VII.
V) Formulación clásica de BFV. identificamospagmi≈ ϵ segundo
con el impulso canónico del einbeinmi
, e identificamos el anticampomi∗≡PAG¯
con el impulso fantasma de FP. Introducir un soporte de Poisson ultralocal{ ⋅ , ⋅}PAGB
con los siguientes pares canónicos
{Xm( τ) ,pagv(τ′)}PAGB = dmv d( τ−τ′) ,{ mi ( τ)rC( τ) ,PAG¯(τ′)}PAGB = d ( τ−τ′) ,
{ mi ( τ) , segundo (τ′)}PAGB = 1ϵd( τ−τ′) ,{C¯( τ) , P(τ′)}PAGB = 1ϵd( τ−τ′) .(21)
Tenga en cuenta la forma no Darboux
{ C( τ) ,PAG¯(τ′)}PAGB = mi ( τ )- rd( τ−τ′) ,{ segundo ( τ) _ _(τ′)}PAGB = rϵC( τ)mi ( τ)d( τ−τ′) ,(22)
para asegurar eso
{ mi ( τ)rC( τ) , segundo (τ′)}PAGB = 0. (23)
La transformación BRSTs ={ Q ,⋅ }PAGB
(que es independiente de laϵ
-parámetro) lee
sXm = mirCgramoμ ν( X )pagv ≈ mir - 1CX˙m,spagm = − 12mirC∂mgramovλ( X ) pagvpagλ ≈ mir - 1Cpag˙m,
s mi=PAG ≈ ddτ(mirC) ,s C = r CmiPAG ≈ r mir - 1CC˙,sC¯ = - segundo , s segundo=0, (24)
que debe compararse con la ec. (dieciséis). Aquí el≈
símbolo significa igualdad módulo eqs. de movimiento La transformación BRST (24) es generada por
P : = ∫ d τ q ,{ P , P}PAGB = 0 , (25)
donde
− Q : = T mirC+ ϵ B PAG ≈ T mirC+ ϵ segundoddτ(mirC)(26)
es la carga BRST. La acción BFV se convierte en
SB FV = ∫ d τ (X˙mpagm+mirCPAG¯˙) -{ ψ , Q }PAGB = ∫ d τ LB FV,(27)
donde el fermión de fijación de calibre BFVψ
es
ψ : = ∫ d τ(C¯(ξ2segundo + χ ( mi ) + ϵmi˙) -PAG¯mi ) ,(28)
y donde se lee el BFV Lagrangiano2
LB FV = ( pagmX˙m+mirCPAG¯˙) +ϵ ( segundomi˙+C¯PAG˙) + ( - mi T+C¯x′PAG+ B (ξ2segundo + x ( mi ) ) −PAG¯PAG)
∼ LH+ϵ ( segundomi˙+C¯PAG˙)término cinético+PAG¯(ddτ(mirC) - PAG) +C¯x′PAGtérmino FP+B (ξ2B + χ ( e ) )término de fijación de calibre.(29)
VI) Soporte de Dirac. Integramos los dos momentos de FPPAG
yPAG¯
. Luego, el Lagrangiano BFV (29) se convierte en el Lagrangiano de calibre fijo (18) de la Sección III. Las dos restricciones de segunda clase correspondientes
Θ : = PAG −ddτ(mirC) ≈ 0 , Θ¯ : = PAG¯−x′C¯+ ϵC¯˙ ≈ 0 , (30)
tiene un corchete de Poisson distinto de cero
Δ ( τ,τ′) : = { Θ ( τ ) ,Θ¯(τ′)}PAGB = − ( x′ϵ+ 2ddτ) d( τ−τ′) ,(31)
con inversa
Δ− 1( τ,τ′) = − 14Exp[(τ′− τ)x′2 ϵ] s gramo norte (τ−τ′) .(32)
Por lo tanto, el soporte de Dirac se convierte en
{ mi ( τ)rC( τ) ,C¯(τ′)}DB _ = 14 ϵExp[(τ′− τ)x′2 ϵ] s gramo norte (τ−τ′) .(33)
Alternativamente, la estructura de Poisson (33) podría deducirse del término FP en el Lagrangiano de calibre fijo (18).
Tenga en cuenta la forma no Darboux
{ C( τ) ,C¯(τ′)}DB _ = mi ( τ)- r4 ϵExp[(τ′− τ)x′2 ϵ] s gramo norte (τ−τ′) ,
{ segundo ( τ) _ _(τ′)}DB _ = rϵC( τ)mi ( τ)d( τ−τ′) ,(34)
para asegurar eso
{ mi ( τ)rC( τ) , segundo (τ′)}DB _ = 0. (35)
VII) Formulación Quantum BV. ecuaciones (20), (22) y (34) sugieren que deberíamos ponerr = 0
, así que hagámoslo de ahora en adelante. Inspirándonos en las transformaciones BFV-BRST (24), modificamos el BV Lagrangiano (13) en
L~BV _ = LH+X∗mgramoμ ν( X )pagvC−12pagm∗∂mgramovλ( X ) pagvpagλC+mi∗C˙+ BC¯∗.(36)
Uno puede mostrar que la ecuación maestra cuántica ahora se cumple1
(S~BV _,S~BV _) = 0 = Δ S~BV _.(37)
La modificación (36) no altera el Lagrangiano de calibre fijo (18) aparte de ponerr = 0
.
Referencias:
David Tong, Conferencias sobre teoría de cuerdas, arXiv:0908.0333 .
J. Polchinski, Teoría de cuerdas, vol. 1, 1998; Sección 4.2.
M. Henneaux y C. Teitelboim, Quantization of Gauge Systems, 1994; Capítulo 17.
--
1
Ignoramos los términos de frontera. Efectivamente, esto significa que imponemos condiciones de contorno pertinentes y limitamos la simetría de calibre a la mayor parte.
2
Élϵ
-la dependencia en la acción del BFV (27) proviene únicamente del fermión fijador de calibre (28). Élϵ
-la dependencia se puede eliminar a través de la redefinición
ϵ segundo ⟶ segundo , ϵC¯ ⟶ C¯,xϵ ⟶ χ , ξϵ2 ⟶ ξ .(38)
en el limiteϵ → 0
, los infinitos a la derecha. de los corchetes de Poisson (21) debe interpretarse como cero, es decir, las variables canónicas correspondientes se desacoplan.
qmecanico
qmecanico
qmecanico
qmecanico
qmecanico