I) Passives Bild. Das Einbeine
ist keine Invariante, sondern transformiert als
e = e'dτ'dτ(1)
unter einer Neuparametrisierung des Weltlinien(WL)-Parameters
τ⟶τ'= f( τ) .(2)
Mit anderen Worten,ω : = e d τ∈ Γ (T∗ich)
ist eine Einsform auf der 1-dimensionalen WL-Mannigfaltigkeitich
. Die Partikelposition
xμ = x' μ(3)
ist invariant, während sich die Teilchengeschwindigkeit als transformiert
x˙μ = x˙' μdτ'dτ.(4)
Diese Transformationsregeln (1)-(4) können in vielerlei Hinsicht gesehen werden. Ein Weg ist, dass die Aktion
S = ∫ d τ L. ,L : = x˙22 e−em22,(5)
sollte unter Reparametrisierungen invariant sein (2). Siehe auch diesen verwandten Phys.SE-Beitrag.
II) Aktives Bild. Aus der Perspektive der 1-dimensionalen WL-Mannigfaltigkeitich
, die infinitesimale Transformationδ
können zB über Lie-Derivate kodiert werden LY
wrt. ein Vektorfeld
Y = η ddτ ∈ Γ ( T ich)(6)
auf der 1-dimensionalen WL-Mannigfaltigkeitich
. Die Lie-Derivate sind
LYxμ = Y [xμ] = η dxμdτ,(7)
(LYe ) dτ _ : = LYω = { d , ichY} ω = d ichYω
= d ( ichYω ) = d ( η e ) = dτ _ ddτ( ηe ) ,(8)
und daher
LYe =( 8 ) ddτ( ηe ) .(9)
Formel (6), (7) und (9) entsprechen Gl. (1.10) in Lit. 1
τ→τ~= τ− η,δxμ = η dxμdτ,δe = ddτ( ηe ) ,(1.10)
bzw.
III) Klassische BV-Formulierung. Erwähnen wir der Vollständigkeit halber die Eichtransformationδ
kann als BRST-Transformation kodiert werden, vgl. zB Art.-Nr. 2 und diesen Phys.SE-Beitrag. Grob gesagt, der Grassmann-Ebenmaß-Parameterη
wird dann durch einen Grassmann-ungerade Faddeev-Popov (FP) Geist ersetztC
. (Eigentlich der Gauge-Parameterη
wird genauer gesagt durch die Kombination ersetzte1 - rC
, wor ∈ R
ist eine Macht, um allgemeiner zu sein, vgl. Gl. (16) unten.) Um das Auftreten von Zeitableitungen zu minimieren, wird es etwas einfacher, anstatt den Lagrange-Operator (5) zu verwenden, vom Hamilton-Lagrange-Operator auszugehen
LH : = pμx˙μ−H _,H : = eT _ ,T : = 12(p2+m2) ,p2 : = gμ ν( x ) pμpv,(11)
vgl. zB dieser Phys.SE Beitrag. Hier verwenden wir den Batalin-Vilkovisky (BV)-Formalismus , vgl. Ref. 3. Die Felder
ϕa = { xμ; pμ; e ; C ; C¯; B } (12)
sind Positionenxμ
; Momentepμ
; einbeine
; FP-GeistC
; FP-AntigeistC¯
; und Lautrup-Nakanishi (LN) Lagrange-MultiplikatorB
, bzw. Sie sind WL-Tensoren kontravarianter Ordnungen0
;0
;− 1
;r
;1
; und1
, bzw. Jedes Feldϕa
hat ein entsprechendes Antifeldϕ∗a
entgegengesetzter Grassmann-Parität. Die entsprechende BV-Aktion1
SBV _ = ∫ d τ LBV _,
LBV _ = LH+ (x∗μx˙μ+pμ∗p˙μ+ rC∗C˙)er − 1C+erCe˙∗∼ e∗ddτ(erC)+ BC¯∗,(13)
erfüllt die klassische Hauptgleichung
(SBV _,SBV _) = 0 , (14)
mit Antibracket ( ⋅ , ⋅ )
auf der Darboux-Form, dh die fundamentalen Antibrackets ungleich Null lesen
(ϕa( τ) ,ϕ∗β(τ') ) = δaβ δ( τ−τ') .(fünfzehn)
Die Grassmann-ungerade nilpotente BRST-Transformations =( SBV _, ⋅ )
liest
sxμ = er − 1Cx˙μ,spμ = er − 1Cp˙μ,s e= ddτ(erC) ,
s C = r er − 1CC˙,sC¯ = − B , s B=0, (16)
was mit Gl. (1.10). Das BV-Gauge-fixierende Fermionψ
können im Formular ausgewählt werden
ψ : = ∫ d τ C¯(ξ2B + χ ( e ) + ϵe˙) ,(17)
wo
ξ, ϵ ∈ R
sind lehrenfixierende Parameter. Darüber hinaus,
χ ( e ) = ( e−e0)χ'
ist eine messgerätefixierende Bedingung (von der wir annehmen, dass sie affin ist
e
, so dass die Ableitung
χ'
ist konstant). Der messgerätfeste Lagrange wird
Lg f = LBV _|ϕ∗ = δψδϕ = LH+(χ'C¯− ϵC¯˙)ddτ(erC)∼ C¯(χ'2+ ϵddτ)ddτ(erC) +erC(χ'2− ϵddτ)ddτC¯Faddeev-Popov-Begriff+B (ξ2B + χ ( e ) + ϵe˙)Spurfestlegungsbegriff,(18)
bei dem die∼
Symbol bedeutet Gleichheit bis zu den Gesamtzeitableitungstermen. Die physikalischen Größen hängen nicht von der Wahl des eichfixierenden Fermions abψ
, solange bestimmte Rangbedingungen erfüllt sind.
IV) Quantenmastergleichung. Der seltsame Laplace-Operator
Δ = ( − 1 )| α |∫d τ δLδϕa( τ)δLδϕ∗a( τ) = ( − 1 )| α |∬d τ dτ' δ( τ−τ')δLδϕa( τ)δLδϕ∗a(τ')(19)
ist ein singuläres Objekt, das streng genommen regularisiert werden muss. Wir rechnen formal
ΔSBV _ =( 13 ) + ( 19 ) 2 ( n−r ) ∬d τ dτ' e ( τ)r − 1C( τ) δ ( τ−τ')ddτδ( τ−τ')
+ r ∬d τ dτ' e ( τ)r − 1C˙( τ) δ ( τ−τ')2 ≠ 0 , (20)
wo
n
ist die Dimension des Zielraums (TS). Dies zeigt, dass die BV-Aktion (13) die Quanten-Master-Gleichung nicht erfüllt; nur die klassische Hauptgleichung. Auf entsprechende Modifikationen der BV-Aktion (13) gehen wir in Abschnitt VII ein.
V) Klassische BFV-Formulierung. Wir identifizierenpe≈ ϵB _
mit dem kanonischen Impuls des Einbeinse
, und wir identifizieren das Antifelde∗≡P¯
mit dem FP Ghost Momentum. Führen Sie eine ultralokale Poisson-Klammer ein{ ⋅ , ⋅}PB
mit den folgenden kanonischen Paaren
{xμ( τ) ,pv(τ')}PB = δμv δ( τ−τ') ,{ e ( τ)rC( τ) ,P¯(τ')}PB = δ ( τ−τ') ,
{ e ( τ) , B (τ')}PB = 1ϵδ( τ−τ') ,{C¯( τ) , P(τ')}PB = 1ϵδ( τ−τ') .(21)
Beachten Sie die Nicht-Darboux-Form
{ C( τ) ,P¯(τ')}PB = e ( τ )− rδ( τ−τ') ,{ B ( τ) , C(τ')}PB = rϵC( τ)e ( τ)δ( τ−τ') ,(22)
um sicherzustellen, dass
{ e ( τ)rC( τ) , B (τ')}PB = 0. (23)
Die BRST-Transformations ={ Q ,⋅ }PB
(das ist unabhängig von derϵ
-Parameter) liest
sxμ = erCgμ ν( x )pv ≈ er − 1Cx˙μ,spμ = − 12erC∂μgvλ( x ) pvpλ ≈ er − 1Cp˙μ,
s e=P ≈ ddτ(erC) ,s C = r CeP ≈ r er − 1CC˙,sC¯ = − B , s B=0, (24)
was mit Gl. (16). Hier das≈
symbol bedeutet gleichheit modulo eqs. der Bewegung. Die BRST-Transformation (24) wird erzeugt durch
Q : = ∫ d τ F ,{ Q , Q}PB = 0 , (25)
wo
− Q : = T erC+ ϵ B P ≈ T erC+ ϵ Bddτ(erC)(26)
ist die BRST-Ladung. Die BFV-Aktion wird
SB Fv = ∫ d τ (x˙μpμ+erCP¯˙) −{ ψ , Q }PB = ∫ d τ LB Fv,(27)
wo das BFV-Gauge-fixierende Fermionψ
ist
ψ : = ∫ d τ(C¯(ξ2B + χ ( e ) + ϵe˙) −P¯e ) ,(28)
und wo der BFV Lagrangian liest2
LB Fv = ( pμx˙μ+erCP¯˙) +ϵ ( Be˙+C¯P˙) + ( − eT _+C¯χ'P+ B (ξ2B + χ ( e ) ) −P¯P)
∼ LH+ϵ ( Be˙+C¯P˙)kinetischer Begriff+P¯(ddτ(erC) - P) +C¯χ'PFP-Begriff+B (ξ2B + χ ( e ) )Spurfestlegungsbegriff.(29)
VI) Dirac-Klammer. Integrieren wir die beiden FP-Impulse herausP
undP¯
. Dann wird der BFV-Lagrange (29) zum pegelfesten Lagrange (18) aus Abschnitt III. Die entsprechenden zwei Einschränkungen der 2. Klasse
Θ : = P −ddτ(erC) ≈ 0 , Θ¯ : = P¯−χ'C¯+ ϵC¯˙ ≈ 0 , (30)
hat eine Poisson-Klammer ungleich Null
Δ ( τ,τ') : = { Θ ( τ ) ,Θ¯(τ')}PB = − ( χ'ϵ+ 2ddτ) δ( τ−τ') ,(31)
mit invers
Δ− 1( τ,τ') = − 14exp[(τ'− τ)χ'2 ϵ] s g n (τ−τ') .(32)
Daher wird die Dirac-Klammer
{ e ( τ)rC( τ) ,C¯(τ')}DB _ = 14 ϵexp[(τ'− τ)χ'2 ϵ] s g n (τ−τ') .(33)
Alternativ könnte die Poisson-Struktur (33) aus dem FP-Term in der eichfixierten Lagrangedichte (18) abgeleitet werden.
Beachten Sie die Nicht-Darboux-Form
{ C( τ) ,C¯(τ')}DB _ = e ( τ)− r4 ϵexp[(τ'− τ)χ'2 ϵ] s g n (τ−τ') ,
{ B ( τ) , C(τ')}DB _ = rϵC( τ)e ( τ)δ( τ−τ') ,(34)
um sicherzustellen, dass
{ e ( τ)rC( τ) , B (τ')}DB _ = 0. (35)
VII) Quantum BV-Formulierung. Gl. (20), (22) & (34) schlagen vor, dass wir setzen solltenr = 0
, also lassen Sie uns dies von nun an tun. Inspiriert von den BFV-BRST-Transformationen (24) modifizieren wir die BV-Lagrangian (13) in
L~BV _ = LH+x∗μgμ ν( x )pvC−12pμ∗∂μgvλ( x ) pvpλC+e∗C˙+ BC¯∗.(36)
Man kann zeigen, dass die Quanten-Master-Gleichung nun erfüllt ist1
(S~BV _,S~BV _) = 0 = Δ S~BV _.(37)
Die Modifikation (36) verändert den lehrenfesten Lagrangian (18) abgesehen vom Putten nichtr = 0
.
Verweise:
David Tong, Vorlesungen zur Stringtheorie, arXiv:0908.0333 .
J. Polchinski, Stringtheorie, Bd. 1, 1998; Abschnitt 4.2.
M. Henneaux und C. Teitelboim, Quantisierung von Eichsystemen, 1994; Kapitel 17.
--
1
Wir ignorieren Randbedingungen. Effektiv bedeutet dies, dass wir relevante Randbedingungen auferlegen und die Spursymmetrie auf die Masse beschränken.
2
Dieϵ
-Abhängigkeit in der BFV-Aktion (27) kommt nur vom eichfixierenden Fermion (28). Dieϵ
-Abhängigkeit kann durch Neudefinition entfernt werden
ϵ B ⟶ B , ϵC¯ ⟶ C¯,χϵ ⟶ χ , ξϵ2 ⟶ ξ .(38)
An der Grenzeϵ → 0
, die Unendlichkeiten auf der rechten Seite. der Poisson-Klammern (21) als Null interpretiert werden, dh die entsprechenden kanonischen Variablen werden entkoppelt.
QMechaniker
QMechaniker
QMechaniker
QMechaniker
QMechaniker