Lecture 2 The Wess-Zumino Model

Σχετικά έγγραφα
6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Space-Time Symmetries

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Symmetric Stress-Energy Tensor

Non-Abelian Gauge Fields

Dirac Matrices and Lorentz Spinors

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

Phys624 Quantization of Scalar Fields II Homework 3. Homework 3 Solutions. 3.1: U(1) symmetry for complex scalar

2 Composition. Invertible Mappings

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Homework 4 Solutions Weyl or Chiral representation for γ-matrices. Phys624 Dirac Equation Homework 4

Example Sheet 3 Solutions

The Simply Typed Lambda Calculus

Tutorial problem set 6,

ERG for a Yukawa Theory in 3 Dimensions

Srednicki Chapter 55

EE512: Error Control Coding

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Second Order Partial Differential Equations

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

PARTIAL NOTES for 6.1 Trigonometric Identities

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Tridiagonal matrices. Gérard MEURANT. October, 2008

Section 8.3 Trigonometric Equations

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

4.6 Autoregressive Moving Average Model ARMA(1,1)

Higher Derivative Gravity Theories

Every set of first-order formulas is equivalent to an independent set

Concrete Mathematics Exercises from 30 September 2016

Relativistic particle dynamics and deformed symmetry

C.S. 430 Assignment 6, Sample Solutions

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

Homework 3 Solutions

Homework 3 Solutions

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

Srednicki Chapter 36

1 Poincare group and spinors

Physics 582, Problem Set 2 Solutions

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

Reminders: linear functions

Finite Field Problems: Solutions

Section 7.6 Double and Half Angle Formulas

Orbital angular momentum and the spherical harmonics

Other Test Constructions: Likelihood Ratio & Bayes Tests

( y) Partial Differential Equations

8.324 Relativistic Quantum Field Theory II

Lecture 2. Soundness and completeness of propositional logic

Fractional Colorings and Zykov Products of graphs

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

1 String with massive end-points

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

General 2 2 PT -Symmetric Matrices and Jordan Blocks 1

Statistical Inference I Locally most powerful tests

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Math221: HW# 1 solutions

ST5224: Advanced Statistical Theory II

Homework 8 Model Solution Section

DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

TMA4115 Matematikk 3

THE ENERGY-MOMENTUM TENSOR IN CLASSICAL FIELD THEORY

Lecture 15 - Root System Axiomatics

D Alembert s Solution to the Wave Equation

Variational Wavefunction for the Helium Atom

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

12 Two-Dimensional Supergravity

상대론적고에너지중이온충돌에서 제트입자와관련된제동복사 박가영 인하대학교 윤진희교수님, 권민정교수님

Symmetry. March 31, 2013

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

Section 9.2 Polar Equations and Graphs

If we restrict the domain of y = sin x to [ π 2, π 2

4 Dirac Equation. and α k, β are N N matrices. Using the matrix notation, we can write the equations as imc

6.3 Forecasting ARMA processes

UV fixed-point structure of the 3d Thirring model

Instruction Execution Times

The kinetic and potential energies as T = 1 2. (m i η2 i k(η i+1 η i ) 2 ). (3) The Hooke s law F = Y ξ, (6) with a discrete analog

Dirac Matrices and Lorentz Spinors

Riemannian Curvature

Appendix to On the stability of a compressible axisymmetric rotating flow in a pipe. By Z. Rusak & J. H. Lee

An Introduction to Supersymmetry

Areas and Lengths in Polar Coordinates

Solutions for String Theory 101

( ) 2 and compare to M.

Areas and Lengths in Polar Coordinates

Solution Series 9. i=1 x i and i=1 x i.

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Problem Set 3: Solutions

1 Classical Mechanics

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

Physical DB Design. B-Trees Index files can become quite large for large main files Indices on index files are possible.

Now, suppose the electron field Ψ(x) satisfies the covariant Dirac equation (i D m)ψ = 0.

derivation of the Laplacian from rectangular to spherical coordinates

PHYS606: Electrodynamics Feb. 01, Homework 1. A νµ = L ν α L µ β A αβ = L ν α L µ β A βα. = L µ β L ν α A βα = A µν (3)

Lecture 21: Properties and robustness of LSE

Transcript:

Lecture 2 The Wess-Zumino Model

Outline Review: two component spinors. The simplest SUSY Lagrangian: the free Wess-Zumino model. The SUSY algebra and the off-shell formalism. Noether theorem for SUSY: the supercurrent. Interactions in the WZ-model: the superpotential. Reading: Terning 2.1-2.4, A.1-2

Two component spinors The massless Dirac Lagrangian, in four-component and two-component forms: L = iψγ µ µ ψ = iψ L σµ µ ψ L + iψ R σµ µ ψ R with γ µ = ( 0 σ µ σ µ 0 ), ψ = ( ψl ψ R ), ψ = ψ γ 0 = ( ψ R ψ L ) Convention: focus on the L-component. In other words: the index L is always implied.

Aside: Lorentz-transformations Under Lorentz transformation (with rotation angles θ and boost parameters β), the L and R helicities do not mix: ψ L (1 i θ σ 2 β σ 2 )ψ L ψ R (1 i θ σ 2 + β σ 2 )ψ R A simple Lorentz invariant (the Majorana mass term): χ T L ( iσ 2)ψ L = χ α ɛ αβ ψ β = χ β ψ β = χψ Check: the transposed spinor transforms as ψ T L ψ T L (1 i θ σt 2 β σt 2 ) = ψt L σ 2(1 + i θ σ 2 + β σ 2 )σ 2 Notation: ψ α = ɛ αβ ψ β, ( ψ α = ɛ αβ ) ψ β 0 1 ɛ αβ = iσ 2 =, ɛ 1 0 αβ = iσ 2 = ( 0 1 1 0 )

Signs: careful with ordering of indices, ordering of fermions, upper/lower indices... Sample manipulation: χψ = χ α ψ α = χ α ɛ αβ ψ β = ɛ αβ ψ β χ α = ψ β ɛ βα χ α = ψχ The complex conjugate of the L -spinor transforms like ψ R : σ 2 ψ L σ 2(1 + i θ σ 2 β σ 2 )ψ L = (1 i θ σ 2 + β σ 2 )σ 2ψ L Example: since χ R ψt L σ 2 (as far as Lorentz is concerned), the Majorana mass term (above) is equivalent to χ R ψ L = χ α ψ α Conjugate spinors have dotted indices with SW to NE contraction ψ L χ R = ψ α χ α

The Pauli matrices have transformation properties according to the index structure σ µ α α, αα σµ Example: a Lorentz-vector is formed from two-component spinors by the combination: χ σ µ ψ = χ α σµ αα ψ α

The free Wess Zumino model The simplest representation of the superalgebra: the massless chiral supermultiplet. Particle content: a massless complex scalar field and a massless two component fermion (a Weyl fermion). Goal: present a field theory with this particle content, and show that it realizes the superalgebra. Proposal: where Convention for spacetime metric: S = d 4 x (L s + L f ) L s = µ φ µ φ, L f = iψ σ µ µ ψ. g µν = η µν = diag(1, 1, 1, 1)

The SUSY transformation Generic infinitesimal symmetry transformation φ φ + δφ ψ ψ + δψ SUSY changes bosons into fermions so we consider the transformation Remarks: δφ = ɛ α ψ α = ɛψ ɛ α is an infinitesimal parameter with spinorial indices. Mass dimensions: dim(φ) = 1, dim(ψ) = 3 2 dim(ɛ) = 1 2. SUSY changes fermions into bosons. Since the SUSY transformation parameter ɛ α has dimension ( 1 2 ), the transformation must include a derivative (recall dim( ) = 1). Lorentz invariance determines the form as δψ α = i(σ ν ɛ ) α ν φ

SUSY of free WZ-model The variation of the scalar Lagrangian under δφ = ɛψ: δl s = µ δφ µ φ + µ φ µ δφ = ɛ µ ψ µ φ + ɛ µ ψ µ φ The variation of the fermion Lagrangian under δψ α = i(σ ν ɛ ) α ν φ, δψ α = i(ɛσν ) α ν φ gives δl f = iδψ σ µ µ ψ + iψ σ µ µ δψ = ɛσ ν ν φ σ µ µ ψ + ψ σ µ σ ν ɛ µ ν φ = ɛ µ ( ψ µ φ ɛ µ ψ µ φ + µ ɛσ µ σ ν ψ ν φ ɛψ µ φ + ɛ ψ µ φ ). The sum of the two variations is a total derivative so the action is invariant: δs = 0

Remark: in the manipulations we needed the Pauli identities: [ σ µ σ ν + σ ν σ µ] β = 2η µν δ β α α [ σ µ σ ν + σ ν σ µ] β = 2η µν δ β α α These are the two component versions of the Dirac algebra {γ µ, γ ν } = 2η µν

SUSY Commutators Consistency: the commutator of two SUSY transformations must itself be a symmetry transformation. We need to show that it is in fact a translation, as the SUSY algebra indicates. The commutator, acting on the complex scalar: (δ ɛ2 δ ɛ1 δ ɛ1 δ ɛ2 )φ = i(ɛ 1 σ µ ɛ 2 ɛ 2σ µ ɛ 1 ) µφ The commutator, acting on the fermion: (δ ɛ2 δ ɛ1 δ ɛ1 δ ɛ2 )ψ α = i(σ ν ɛ 1 ) α ɛ 2 ν ψ + i(σ ν ɛ 2 ) α ɛ 1 ν ψ = i(ɛ 1 σ µ ɛ 2 ɛ 2σ µ ɛ 1 ) µψ α +i(ɛ 1α ɛ 2 σµ µ ψ ɛ 2α ɛ 1 σµ µ ψ). (Reorganized using the Fierz identity: χ α (ξη) = ξ α (χη) (ξχ)η α ) The last term vanishes upon imposing the fermion equation of motion. With this caveat, the commutator is a translation, with details the same for the two fields. Thus the SUSY algebra closes on-shell.

Counting Degrees of Freedom The fermion e.o.m. projects out half of the degrees of freedom: ( ) ( ) 0 0 σ µ ψ1 p µ ψ =, p 0 2p ψ µ = (p, 0, 0, p) 2 Counting degrees of freedom shows that SUSY is not manifest off-shell: off-shell on-shell φ, φ 2 d.o.f. 2 d.o.f. ψ α, ψ α 4 d.o.f. 2 d.o.f. Restore SUSY off-shell: add an auxiliary boson field F with Lagrangian Recount degrees of freedom L aux = F F off-shell on-shell F, F 2 d.o.f. 0 d.o.f.

Maintain SUSY off-shell: transform the auxiliary field, and modify the transformation of the fermion δf = iɛ σ µ µ ψ, δf = i µ ψ σ µ ɛ δψ α = i(σ ν ɛ ) α ν φ + ɛ α F, δψ α = +i(ɛσν ) α ν φ + ɛ α F Transformation of the Lagrangian: δl aux = i µ ψ σ µ ɛ F iɛ σ µ µ ψ F δ new L f = δ old L f + iɛ σ µ µ ψf + iψ σ µ µ (ɛf) = δ old L f + iɛ σ µ µ ψf i( µ ψ )σ µ ɛf + µ (iψ σ µ ɛf) The last term is a total derivative so the action S new = d 4 x L free = d 4 x (L s + L f + L aux ) is invariant under SUSY transformations: δs new = 0

Off-shell SUSY commutator The previous computation, without using e.o.m. (δ ɛ2 δ ɛ1 δ ɛ1 δ ɛ2 )ψ α = i(ɛ 1 σ µ ɛ 2 ɛ 2σ µ ɛ 1 ) µψ α +i(ɛ 1α ɛ 2 σµ µ ψ ɛ 2α ɛ 1 σµ µ ψ) +δ ɛ2 ɛ 1α F δ ɛ1 ɛ 2α F = i(ɛ 1 σ µ ɛ 2 ɛ 2σ µ ɛ 1 ) µψ α The point: the additional term in the SUSY transformation of the fermion, the depending on the auxiliary field, is precisely such that the last two lines cancel. Conclusion: the SUSY algebra closes for off-shell fermions.

Off-shell SUSY commutator II Issue: the commutator of SUSY transformations must also close when acting on the auxiliary field. Computation: (δ ɛ2 δ ɛ1 δ ɛ1 δ ɛ2 )F = δ ɛ2 ( iɛ 1 σµ µ ψ) δ ɛ1 ( iɛ 2 σµ µ ψ) = iɛ 1 σµ µ ( iσ ν ɛ 2 νφ + ɛ 2 F) +iɛ 2 σµ µ ( iσ ν ɛ 1 νφ + ɛ 1 F) = i(ɛ 1 σ µ ɛ 2 ɛ 2σ µ ɛ 1 ) µf ɛ 1 σµ σ ν ɛ 2 µ ν φ + ɛ 2 σµ σ ν ɛ 1 µ ν φ = i(ɛ 1 σ µ ɛ 2 ɛ 2σ µ ɛ 1 ) µf Conclusion: the SUSY algebra closes (δ ɛ2 δ ɛ1 δ ɛ1 δ ɛ2 )X = i(ɛ 1 σ µ ɛ 2 ɛ 2σ µ ɛ 1 ) µx for all the fields in the off-shell supermultiplet X = φ, φ, ψ, ψ, F, F

Noether s Theorem Noether s theorem: corresponding to every continuous symmetry, there is a conserved current. An infinitesimal transformation X X + δx of the field X that leaves the action invariant, transforms the Lagrangian to a total derivative: δl = L(X + δx) L(X) = µ V µ Identification of conserved current: ( µ V µ = δl = L X δx + L ( ) L = µ ( µ X) δx ɛ µ J µ = µ ( L Ingredient: the equation of motion ( ) L µ ( µ X) ( µ X) ) δ( µ X) ( µ X) δx V µ ) = 0 = L X

The conserved supercurrent, J µ α: The Supercurrent ɛj µ + ɛ J µ = L ( µ X) δx V µ = δφ µ φ + δφ µ φ + iψ σ µ δψ V µ = ɛψ µ φ + ɛ ψ µ φ + iψ σ µ ( iσ ν ɛ ν φ + ɛf) ɛσ µ σ ν ψ ν φ + ɛψ µ φ ɛ ψ µ φ iψ σ µ ɛf = 2ɛψ µ φ ɛσ µ σ ν ψ ν φ + ψ σ µ σ ν ɛ ν φ = ɛσ ν σ µ ψ ν φ + ψ σ µ σ ν ɛ ν φ Results for the supercurrents: J µ α = (σ ν σ µ ψ) α ν φ, J µ α = (ψ σ µ σ ν ) α ν φ.

The Supercharges The Noether charge generate the transformations of the corresponding symmetry (see e.g. PS 9.97 for signs and normalization). The conserved supercharges: Q α = 2 d 3 x J 0 α, Q α = 2 d 3 x J 0 α generate SUSY transformations when acting on any (string of) fields: [ ɛq + ɛ Q, X ] = i 2 δx Commutators of the supercharges acting on fields give: [ ɛ 2 Q + ɛ 2 Q, [ ɛ 1 Q + ɛ 1 Q, X ]] [ɛ 1 Q + ɛ 1 Q, [ ɛ 2 Q + ɛ 2 Q, X ]] = 2(δ ɛ2 δ ɛ1 δ ɛ1 δ ɛ2 )X = 2(ɛ 2 σ µ ɛ 1 ɛ 1σ µ ɛ 2 ) i µx

Reorganize (using the Jacobi identity) and identify i µ = P µ [ [ɛ2 Q + ɛ 2 Q, ɛ 1 Q + ɛ 1 Q ], X] = 2(ɛ 2 σ µ ɛ 1 ɛ 1σ µ ɛ 2 ) [P µ, X] This is an operator equation, since X is arbitrary [ ɛ2 Q + ɛ 2 Q, ɛ 1 Q + ɛ 1 Q ] = 2(ɛ 2 σ µ ɛ 1 ɛ 1σ µ ɛ 2 ) P µ Since ɛ 1 and ɛ 2 are arbitrary: [ ɛ2 Q, ɛ 1 Q ] = 2ɛ 2 σ µ ɛ 1 P µ [ ɛ2 Q, ɛ 1 Q ] = [ ɛ 2 Q, ɛ 1 Q ] = 0 Extracting the arbitrary ɛ 1 and ɛ 2 : {Q α, Q α } = 2σµ α α P µ {Q α, Q β } = {Q α, Q β} = 0 This is precisely the SUSY algebra, which is thus realized by the free WZ-model.

The interacting Wess Zumino model So far, we considered the free Wess-Zumino model for a single chiral field. Lagrangian for multicomponent generalization L free = µ φ j µ φ j + iψ j σ µ µ ψ j + F j F j Offshell SUSY transformations for multicomponent model δφ j = ɛψ j δφ j = ɛ ψ j δψ jα = i(σ µ ɛ ) α µ φ j + ɛ α F j δψ j α = i(ɛσµ ) α µ φ j j + ɛ α F δf j = iɛ σ µ µ ψ j δf j = i µ ψ j σ µ ɛ Next: introduce interactions, while preserving SUSY. Guiding principle: the off-shell SUSY transformations are independent of interactions. Interpretation: the SUSY transformations is the realization of the algebra (the same for all interactions), while the interactions specify the e.o.m. s (not needed at the level of off-shell algebra).

The most general set of renormalizable interactions: L int = 1 2 W jk ψ j ψ k + W j F j + h.c., with W jk linear in φ i, φ i and W j quadratic in φ i, φ i. Recall: ψ j ψ k = ψ α j ɛ αβψ β k is symmetric under j k. So W jk is symmetric under j k (without loss of generality). Remark: a potential U(φ j, φ j ) would break SUSY, since a SUSY transformation gives δu = U φ j ɛψ j + U φ j ɛ ψ j which is linear in ψ j and ψ j with no derivatives or F dependence. Such terms cannot be canceled by any other term in δl int.

SUSY Conditions First focus on variations of L int with four spinors: δl int 4 spinor = 1 2 W jk φ n (ɛψ n )(ψ j ψ k ) 1 2 W jk φ n (ɛ ψ n )(ψ j ψ k ) + h.c. The vanishing of the second term requires that W jk is analytic (a.k.a. holomorphic): The Fierz identity W jk φ n = 0 (ɛψ j )(ψ k ψ n ) + (ɛψ k )(ψ n ψ j ) + (ɛψ n )(ψ j ψ k ) = 0 so the first term vanishes exactly when W jk / φ n is totally symmetric under the interchange of j, k, n. This condition amounts to the existence of a superpotential W such that: W jk = 2 φ j φ k W

Next, the terms in the SUSY variation with derivatives of the fields: δl int = iw jk µ φ k ψ j σ µ ɛ iw j µ ψ j σ µ ɛ + h.c. = i µ ( W φ j ) ψ j σ µ ɛ iw j µ ψ j σ µ ɛ + h.c. This term is a total derivative exactly if W j = W φ j All the remaining terms in the SUSY variation depend on the auxiliary field: δl int F,F = W jk F j ɛψ k + W j φ k ɛψ k F j These cancel automatically, if the previous conditions are satisfied. Summary: the interaction term L int = 1 2 2 W φ i j ψ i ψ j + W φ i F i + h.c. transforms into a total derivative, for any holomorphic superpotential W.

Remark on Renormalizability The original ansatz for L int was motivated by renormalizability. Yet, the computation establishing SUSY did not rely on the functional form of W (other than it must be holomorphic). For renormalizable interactions W (φ) = E i φ i + 1 2 M ij φ i φ j + 1 6 yijk φ i φ j φ k where M ij, y ijk are are symmetric under interchange of indices. Often we additionally take E i = 0 so SUSY is unbroken in the minimum φ i = 0.

Integrate out auxillary fields The action is quadratic in the auxiliary field F and there are no derivatives: L F = F j F j + W j F j + W j F j The path integral can be performed exactly, by solving its algebraic equation of motion: Insert in L: F j = W j, F j = W j L = µ φ( j µ φ j + iψ j σ µ µ ψ j 1 2 W jk ψ j ψ k + W jk ψ j ψ k) W j Wj Remark: the off-shell SUSY transformation of the fermions ψ i depended on the auxiliary fields F i so, after these are integrated out, it depends on the choice of superpotential W.

WZ Lagrangian The interacting Wess Zumino model (with renormalizable superpotential): L WZ = µ φ j µ φ j + iψ j σ µ µ ψ j 1 2 M jk ψ j ψ k 1 2 M jk ψ j ψ k 1 2 yjkn φ j ψ k ψ n 1 2 y jkn φ j ψ k ψ n V (φ, φ ) The scalar potential: V (φ, φ ) = W j Wj = F jf j = Mjn M nk φ j φ k + 1 2 M jm yknm φ jφ k φ n + 1 2 M jm yknm φ j φ k φ n + 1 4 yjkm ynpmφ j φ k φ n φ p

Features: The scalar potential V (φ, φ ) = F j F j 0 as required by SUSY. The quartic coupling is y 2, as required to cancel the Λ 2 divergence in the φ-mass. The cubic coupling 2 quartic coupling M 2 as required to cancel the log Λ divergence.

Linearized equations of motion Equations of motion, keeping just the quadratic term in the superpotential: µ µ φ j = M jn M nk φ k +... ; iσ µ µ ψ j = M jk ψ k +... ; iσ µ µ ψ j = M jk ψ k +... Multiplying fermion equations by iσ ν ν and iσ ν ν, and using the Pauli identity, we obtain µ µ ψ j = Mjn M nk ψ k +... ; µ µ ψ k = ψ j Mjn M nk +... Conclusion: scalars and fermions have the same mass eigenvalues, as required by SUSY. Diagonalizing the mass matrix gives a collection of massive chiral supermultiplets.