GEOMETRIA DEI MODELLI σ NON LINEARI

Transcript

1 UNIVERSITÀ DEGLI STUDI DI MILANO BICOCCA FACOLTÀ DI SCIENZE MATEMATICHE, FISICHE E NATURALI Corso di Laurea Magistrale in Fisica Seduta di laurea del 31 marzo 2011 GEOMETRIA DEI MODELLI σ NON LINEARI Relatore: Correlatore: Prof. Franco MAGRI Prof. Gregorio FALQUI Candidato: Matteo Casati Numero di matricola: Telefono: Posta elettronica: m.casati7@campus.unimib.it I modelli σ non lineari sono una classe di teorie di campo apparse per la prima volta nel 1960 quando Gell-Mann e Lévy pubblicarono un modello per l interazione di pioni e nucleoni a basse energie. In queste teorie, l azione è costruita soltanto con la metrica (o con strutture analoghe ad essa) sulla varietà bersaglio. Pur avendo velocemente perso di interesse nell ambito della teoria delle interazioni forti dopo la scoperta del modello a quark, il loro ruolo rimane significativo per la loro analogia con le teorie di gauge non abeliane e la loro applicabilità nelle teorie di stringa. Poiché i modelli σ sono teorie di gauge, la loro quantizzazione via path integral dà origine a difficoltà, in quanto l azione è degenere. 1 La tesi si occupa dello studio di teorie di campo lagrangiane con simmetrie locali, e quindi degeneri, solo dal punto di vista classico. L obiettivo di questa tesi è lo studio geometrico ed algebrico delle trasformazioni di gauge di un modello σ non lineare secondo il formalismo di Batalin Vilkovisky. L esempio di modello σ che studiamo è il modello σ di Poisson, introdotto nel 1994 da Schaller e Strobl 2 come generalizzazione di una vasta famiglia di modelli topologici e gravitazionali che comprende il modello di Chern-Simons ed il modello σ di Witten. In tale modello, i campi sono mappe tra il fibrato tangente di una varietà compatta bidimensionale M, il world sheet di una teoria di stringa, ed il fibrato cotangente di una varietà N di Poisson. Tali campi si decompongono naturalmente in una coppia di applicazioni Y : M N tra le basi e A: T x M TY(x) N tra le fibre; l azione della teoria è S 0 [Y, A] = A(x) i dy i (x) + P lm (Y(x))A(x) l A(x) m M 1 Henneaux and Teitelboim, Quantization of gauge systems, Princeton University Press (1994) 2 Schaller and Strobl, Poisson structure induced (topological) field theories, Mod.Phys.Lett. A9 (1994) 1

2 dove P è il bivettore di Poisson della varietà bersaglio N e la lagrangiana deve essere pensata come una 2-forma sul worldsheet M, il che dà al modello natura topologica. Le equazioni di campo sono M j µ = Yi x µ (x) + Pjk (Y(x))A µk (x) = 0 L jµν = A νj(x) x µ A µj(x) x ν + Plm (Y(x)) X j A µl (x)a νm (x) = 0. La lagrangiana ha la proprietà di essere invariante rispetto alla simmetria locale (δ ε Y) i = P ij (Y(x))ε(x) j (δ ε A) i = dε i (x) + Plm X i (Y(x))A l(x)ε m (x) dove le funzioni ε j (x) si possono interpretare come componenti di una 1-forma su N. Come affermato dal secondo teorema di Noether, la presenza di simmetrie di gauge vincola le equazioni di campo a soddisfare delle identità. Nel nostro caso, queste identità possono essere viste come l annullarsi di una 2-forma su M a valori in TN P ik L i + Plk X i A l M i dm k = 0. Il formalismo BV, introdotto nei primi anni 80 3, è una procedura per mettere in forma hamiltoniana (in senso generalizzato) le equazioni di campo e l azione delle trasformazioni di gauge, conglobando automaticamente la loro struttura algebrica e le identità di Noether. Il formalismo si ispira alla teoria di Dirac per i sistemi dinamici con vincoli: l idea centrale è estendere lo spazio delle configurazioni della teoria. A questo fine si introducono gli anticampi A + e Y +, coniugati ai campi della teoria originaria, ed i campi ghost (con relativi antighost) corrispondenti ai generatori ε del gruppo di gauge della teoria. Devo notare che gli anticampi e gli antighost soddisfano regole di commutazione opposte a quelle dei campi cui sono coniugati. Introducendo un opportuna versione gradata della parentesi Poisson nello spazio dei campi, degli anticampi, dei ghost e degli antighost, detta antibracket, le equazioni del moto si possono scrivere nella forma hamiltoniana L i = {S 0, Y + i } M i = {S 0, A +i } dove S 0 scrivere è l azione originaria della teoria, e le trasformazioni di gauge si possono δy i = {S 1, Y i } δa i = {S 1, A i } 3 Batalin and Vilkovisky, Gauge algebra and quantization, Phys.Lett 102B (1981) 2

3 dove l hamiltoniana S 1 è un funzionale lineare negli anticampi tale per cui, in aggiunta, le equazioni associate ai ghost riproducono l algebra dei generatori della simmetria [ε (1), ε (2) ] k = {S 1, ε k }. L analisi delle identità di Noether suggerisce di introdurre un ulteriore funzionale S 2, quadratico negli anticampi, che ha la peculiarità che l hamiltoniana complessiva S = S 0 + S 1 + S 2 soddisfa la cosiddetta equazione master {S, S} = 0. determinando la struttura completa dell algebra dei generatori di gauge. Il formalismo BV è stato rivisto a metà degli anni 90 da Alexandrov, Kontsevich, Schwarz e Zaboronsky che hanno formulato la cosiddetta teoria AKSZ. 4 Essa fornisce un algoritmo generale per la costruzione della soluzione dell equazione master. L idea centrale è che la struttura delle trasformazioni di gauge è vincolata dalla struttura geometrica delle varietà tra cui sono definiti i campi della teoria. Trasportare questa struttura dalle varietà allo spazio dei supercampi (versione gradata dello spazio dei campi della teoria originaria) permette di ottenere un azione che soddisfa automaticamente l equazione master. L azione classica e la struttura delle trasformazioni di gauge vengono ottenute, a posteriori, sviluppando la soluzione sugli anticampi. Nella tesi è stato ripercorso questo cammino studiando gli strumenti matematici necessari a trattare il linguaggio dei supercampi, che appartiene alla geometria delle varietà differenziali gradate 5, grazie ai quali si possono definire le nozioni di antibracket (struttura P canonica) e di campo hamiltoniano (struttura QP) utilizzate nel formalismo BV e nell algoritmo AKSZ. Queste tecniche sono state poi applicate al modello di Poisson seguendo i lavori di Stasheff 6 e Cattaneo. 7 4 AKSZ, The Geometry of Master Equation and Topological Quantum Field Theory, Int.J.Mod.Phys., A12(1997) 5 Roytenberg, On the structure of graded symplectic supermanifolds and Courant algebroids, Stasheff et a., Noether s variational theorem II and the BV formalism, Rend.Circ.Mat.Palermo Suppl.71(2003) 7 Cattaneo and Felder, On the AKSZ formulation of Poisson Sigma Model, Math.Phys.Lett. 56(2001) 3

4 GEOMETRY OF NONLINEAR SIGMA MODELS Nonlinear Sigma Models (NLSMs) are a class of field theories first appeared in 1960, when Gell-Mann and Lévy published a model for low energy interaction of pions and nucleons. In these theories, the action is built only using the metric (or analogue structures) on the target manifold. Although NSLMs lost interest in describing strong interactions, after the discovery of quark model, their role is still significant because of their analogy with non abelian gauge theories and their applications to string theories. Because NLSMs are gauge theories, their quantization via path integral originates some difficulties, since the action is degenerate. 1 In this thesis Lagrangian field theories with local symmetries are studied under the classical point of view. The goal is the algebraic and geometric study of gauge transformations in a NLSM by means of Batalin Vilkovisky (BV) formalism. The example of NLSM we study is the Poisson Sigma Model, introduced by Schaller and Strobl 2 in 1994 as a generalization of a vast family of topological and gravity models, which includes Chern Simons model and Witten σ model. In this model, the fields are maps between the tangent bundle of a twodimensional compact manifold M, the world sheet of a string theory, and the cotangent bundle of a Poisson manifold N. These fields decompose in a natural way in pairs of applications Y : M N between the bases and A: T x M TY(x) N between the fibers; the action of the theory is S 0 [Y, A] = M A(x) i dy i (x) + P lm (Y(x))A(x) l A(x) m where P is the Poisson bivector of the target manifold N and the Lagrangian is regarded as a 2-form on the worldsheet M. This feature gives the model its topological character. Field equations are M j µ = Yi x µ (x) + Pjk (Y(x))A µk (x) = 0 L jµν = A νj(x) x µ A µj(x) x ν Since the Lagrangian is invariant under local simmetry + Plm (Y(x)) X j A µl (x)a νm (x) = 0. (δ ε Y) i = P ij (Y(x))ε(x) j (δ ε A) i = dε i (x) + Plm X i (Y(x))A l(x)ε m (x) where the functions ε j (x) can be regarded as components of a 1-form on N the 2nd Noether s theorem states that field equations satisfy a system of identities. In our 1 Henneaux and Teitelboim, Quantization of gauge systems, Princeton University Press (1994) 2 Schaller and Strobl, Poisson structure induced (topological) field theories, Mod.Phys.Lett. A9 (1994) 4

5 case, these identities can be regarded as the vanishing of a 2-form on M with values in TN P ik L i + Plk X i A l M i dm k = 0. BV formalism, introduced in the early 80s 3, it s a procedure for writing in Hamiltonian form (in a generalized sense) the field equations and the action of gauge transformations, automatically combining their algebraic structure and Noether identities. BV formalism is inspired by Dirac s theory of constrained dynamical systems: the central idea is that one has to extend the configuration space of the theory. At this end, one introduces antifields Y + and A +, conjugated to the original fields, and ghost fields (with their antighosts) corresponding to the generators ε of the gauge group. We have to notice that antifields and antighosts follow commutation rules opposite to the fields they are conjugated to. Introducing a graded version of Poisson bracket, called antibracket, in the space of fields, antifields, ghosts and antighosts, the equations of motion can be written in Hamiltonian form L i = {S 0, Y + i } M i = {S 0, A +i } where S 0 is the original action of the theory, and gauge transformations can be written in the similar form δy i = {S 1, Y i } δa i = {S 1, A i }. The Hamiltonian S 1 is a linear functional in the antifields such that the equations [ε (1), ε (2) ] k = {S 1, ε k } reproduce the algebra of the symmetry generators. The analysis of Noether identities suggests to introduce a further functional S 2 quadratic in the antifields which makes the total Hamiltonian S = S 0 + S 1 + S 2 satisfy the so-called master equation {S, S} = 0. BV formalism was revised in the mid-1990s by Alexandrov, Kontsevich, Schwarz and Zaboronsky who formulated so called AKSZ theory. 4 It provides a general algorithm to build a solution of master equation. The central idea is that the structure of gauge transformations is linked to the geometrical structure of the manifolds the fields are defined between. Lifting this structure from the manifolds to the space of superfields (a graded version of the original field space) allows us to obtain an action 3 Batalin and Vilkovisky, Gauge algebra and quantization, Phys.Lett 102B (1981) 4 AKSZ, The Geometry of Master Equation and Topological Quantum Field Theory, Int.J.Mod.Phys., A12(1997) 5

6 that satisfies master equation automatically. The classical action and gauge transformations are achieved, a posteriori, developing the solution on the antifields. In the thesis we retrace this path by studying the mathematical tools necessary to deal with the superfields, the geometry of differential graded manifolds 5, which we use to define the notions of antibracket (canonical P structure) and Hamiltonian field (QP structure) used in BV formalism and AKSZ algorithm. These techniques are then applied to Poisson Sigma Model, following the works by Stasheff 6 and Cattaneo. 7 5 Roytenberg, On the structure of graded symplectic supermanifolds and Courant algebroids, Stasheff et a., Noether s variational theorem II and the BV formalism, Rend.Circ.Mat.Palermo Suppl.71(2003) 7 Cattaneo and Felder, On the AKSZ formulation of Poisson Sigma Model, Math.Phys.Lett. 56(2001) 6