• Keine Ergebnisse gefunden

15 Elitzur’s Theorem

N/A
N/A
Protected

Academic year: 2021

Aktie "15 Elitzur’s Theorem"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Problems: Quantum Fields on the Lattice

Prof. Dr. Andreas Wipf WiSe 2019/20

MSc. Julian Lenz

Sheet 6

15 Elitzur’s Theorem

Elitzur’s theorem states that it is impossible to break spontaneously a local symmetry. Verify this in the following simple setup: Consider aZ2-gauge theory coupled to a scalar field with the action

S=−β

p

Up−κ

x,y

ϕxUx,yϕy +h

x

ϕx+Vx) (1)

where we have included a generalZ2-gauge invariant potentialV as well as a source term parametrized byh. Prove that

hlim0⟨ϕx= 0 (2)

uniformly in the volume and the couplings.

16 Some group integrals

1. Show that

SU(N)

dU U = 0. (3)

2. LetF be anN×N matrix. Prove that ifΛFΛ1=F holds for allΛSU(N)thenF =c1. Hint: Start withN = 2. Find two specialSU(2)matrices which allow to showF =c1. Embed SU(2)intoSU(N)and use theN = 2property to show it for allN N.

3. Use the previous result to calculate fijkl=

SU(N)

dU Uij

( U

)

kl (4)

and determine the constantcfor this case. (Hint: You can crosscheck parts of your result by the use of the gluing property from Problem 18.)

(2)

17 Conjugacy slasses of SU(3)

Characterize the conjugacy classes ofSU(3).

18 Applications of the Peter-Weyl theorem

Use the Peter-Weyl theorem to prove the following properties:

1. orthogonality:

(Rab, χR) = δRR

dR

δab, (5)

2. gluing:

dΩχR(UΩ1R(ΩV) =δRR

dR χR(U V), (6) 3. separation:

dΩχR(ΩUΩ1V) = 1 dR

χR(U)χR(V), (7) 4. decomposition of1:

R

dRχR(U) =δ(1, U). (8)

Referenzen

ÄHNLICHE DOKUMENTE

By emphasizing the symmetry of certain set theoretic conditions, shown to be associ- ated with Arrow's Impossibility Theorem, a characterization of "kinds of

the cost of any vector in an orthogonal labeling to any desired value, simply by increasing the dimension and giving this vector an appropriate nonzero value in the new component

This sheet aims to self-assess your progress and to explicitly work out more details of some of the results proposed in the lectures. You do not need to hand in solutions for

Still, we will in this course mainly restrict our attention to continuous functions, which are always integrable.. 9.1

Recently it has been pointed out by Usher (1998) that in a world of zero transaction costs, efficiency may not only be achieved for any initial allocation of clearly de fi ned

Ergodic theorems, roughly speaking, are concerned with the question: When do aver- ages of quantities, generated in a somehow ‘stationary’ manner, converge.. A thorough treatment can

All the example I know from my youth are not abelian, but only additive: Diagram categories, categorified quantum group.. and their Schur quotients, Soergel bimodules, tilting

Show that separability implies that subsets are actually sets..