Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em =...
Transcript of Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em =...
![Page 1: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/1.jpg)
Physics 618 2020
March 31,
2020
![Page 2: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/2.jpg)
Important remark I forgot to make :
Central Extensions } Projective Reps .
Suppose we have a proj . rep. of G
p?DtLpt s : G -
aides;
c- UCI )
peg, ) pcgz )=C§;gDp(
gigproj rep. satisfies cocycleidentity
~
1→uh→G→a_£FIsymmetryTrue neprl of G- a (z, g) group .
⇐, g , ) . Czz,gz)=(ZEz¢g,g. ), gig . )
fCz,g ) = z p(g)
f TRUE REPI of G-.
![Page 3: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/3.jpg)
Weinberg allows a priori
pcg , ) pcgz ) . 4 = C(g, ,gz,4 )pegigphase .
Weinberg then shows that
C(g , ,g. ,4 ) must be independentofy
One could take
V, ok
p pineqvivalent projective rep
's of G.
E , GT
Truerep of £
, ×GT.
![Page 4: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/4.jpg)
^
:~ Solenoid magnetic
€¥.me#gB*Pm..
,spectrum
- interesting¢→ - ¢ I=mr2 functions
B
=ftztiozdtteztfo-014 ¢=o does not contribute
Classicalsymmetry group : Ga 04 )
p : ¢→ - ¢Rca ) : ¢ → lot x x~2+2#
eio- e- if
@i¢- eixeid
![Page 5: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/5.jpg)
In general An = ( 01,
at'
)
fiddstnengthY
ytensor . 0 I z
Cod.
pgtentialor-
:(ties;÷e£)]
=-
Beme: ::p
![Page 6: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/6.jpg)
PtaCn ) Rcp ) = RK+p )
PRK ) P = Rex ) = RKJ'
Quantum Theory.
:
Canonicalmomentum conj .
to ¢ is
L :-. s¥=I¢+ EE
fg2 z
H =
a.F±(if - B )
Coe:÷e .'
ExitHamiltonianson Hilbert
space
Katy ).
-
![Page 7: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/7.jpg)
HB has a complete set of
eigenvectors4mA ) = ¥ eim¢ mez
Hath = Em(B) 4h
FmH=h±@BTT
For each m only one ed
Long list of remarks
÷. Acton makes sense of E R
rather than lone ¢+2± .
Then M is not quantized and
the spectrum of Hog is indpt ofB
. Topological term has no
effect.
![Page 8: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/8.jpg)
2. However b~¢t2t single
valid position is Eid then
the topological term matters -
even though it is atotal derivative.
3. Eigenspe
203¥21 all eigenspacesare I - dime : know
energy ⇒ .
EVB )
mines.⇐¥•...→:Em* ~ ( m - B)2
![Page 9: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/9.jpg)
If QBEZ theenergy
eigenspaces can have degenaaeies .
If 203 odd. e.g. 03=112
¥##p9¥¥oekt2 dime
eigenspaoe
Em = E2B- m 2 BE 21
Alleigenspaces are dim - 2
.
If
2B÷even.
all eigenspaeesare dime 2 EXCEPT M=B
ground state is 1-
din
![Page 10: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/10.jpg)
4. Spectrum is periodic in B
UHGV'
- Hoon"
physics is periodic in B"
5. Physically realized in
mesoscopic systems"Golomb blockade"
6.
This system is a toy field theory.
In field theory the"
fields"
are functions
It : M - ×* P
"spacetimetarget space
"
f- = Space of fields= Map (M→X)
![Page 11: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/11.jpg)
SFE ] - action
FirstsE.g. particle moving on a
Riemannian manifold :
dgz
€= gmxydxmdxu
S'
- Smeg,y*hdd¥d¥fdt
F : Map ( M→X )' I '
time 14=121M=[ tin ,tfD
14=81
![Page 12: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/12.jpg)
Generalizes further M is dtl
dimensional with Lorentz ian metric
ds 'm = trade ) dradobfine
+Ta a = 0
,I
,.
. .
,I
* e
d5× =
gmcx ) dxndxr
f me hair ) gmlxcr) ) daxmdbxr FEI dd'TM
Nonlinear a- model.
F= Map ( M - X )Q.tl
. of a particle is a 0+1
( 14=1+1 dine is basisdiml field theory. for string theory.
)If in addition X has a
gauge field on it,
and particle
![Page 13: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/13.jpg)
has charge e then action
$= fkmgxxct, ) inxvdt
+ e Agkct) ) in It
Our case : field is a map
@i& : M - s'
= unit complex" p.
# 's in ¢ .
¢ → - ¢"
parity "- particle on
ring viewpoint
Charge conjugation :
eid - @id)* } field theory
viewpoint-
Also there are world volumesymmetries
t→ ttto and t→ - t
We might talk about these later
![Page 14: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/14.jpg)
7.
f- terms in other field theories
Maxwell 's theory in 1+1 dims on
a cylinder
@¥*P¥#÷M
Am µ=oi I
Fur = only Fo,
= - Fo can be
nonzero.
$,ya= fstesdxodx '
r± -
E2_|#E2
but we can add a topologicalterm "
![Page 15: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/15.jpg)
"axiom electrodynamics
"
dxodx '
S =
Choose Ao - 0
gaugeIn KK reduction
A,
= §g,
e⇐in× 't AY '
working with the zeoth fastercoeff :
eio .=
ei§sA=
gifs,Aid× '
⇒ get the above Quantum
System.
In elk
|O=2#→
![Page 16: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/16.jpg)
Differential forms-
i Proper mathematical
formalism for discussing gaugetheories
F = £, F. dxmndxu
IF
= 0
dir =o } KEY:
( in vacuum )-
![Page 17: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/17.jpg)
There is also an importanttopological term in 3+1 gauge theory
Maxwell case : Ui ) gauge theory
s'
-
fd4×Het#µFm)+ftEeI¥F%d9
,
}-
v I~⇐±e.y €5 '
Show : this isa total derivative !
Effective theory of electromagneticfields in materials such 0 - terms
appear .
If we have P - inu. or Time Revive
f → - 0 and 0~0+2t
( Remember"
physics is periodic in B"
)f=O
,#
![Page 18: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/18.jpg)
itnatetuoisn;IIe
.is#f??QO=t
"
topological insulator"
If we consider non abeliangauge
fields Su (3) XSUR )xU ( l )- -
Strong electroweak
Topological terms matter and Osu,3 ,
Induces an intrinsic electric dipolemoment for the neutron : linear in 0
Experimentally I Osu, , ,
) < 109
!@!StongCP-Poble=.
µ Because of principle of"
naturalness "if no symmetry
reason excludes a termination. itshoold ,¥ea
![Page 19: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/19.jpg)
Fieldspace space of connections
on a principal bundle UTG has
nontrivial topology : So fieldspace
has
nontrivial typology and topologicalterms matter
- ×-
Back to particle on thering
Wigner tells us that some
extension of 0 (2) by UCI ) shouldact on Hilbert
space Commutingwith Hamiltonian
.
RK ) : ¢ -7 Iota
Ym ~ elmet- ein '
@im¢
RH.4m=eimtNRca ) ) = Rca )
![Page 20: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/20.jpg)
PCP ) =P P : ¢→ - ¢
@im¢ - £im¢
does not commute with Hamiltonian
Hassttfit:p -B)'
B to ¢→ - ¢ B→ - B
Has is not unitarily equiv.to H→
Plum -
Fi4sam~w¥¥u'knot
If matter .
-
QBEZ.
just a
z distraction
So potent 1
.
If 203€21 OR ) is
|b_e,kenbyq*nt5o±T#
![Page 21: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/21.jpg)
If 2 BE Z then
P . Xm : = 42os - m
implements parity / change coy .
and commutes with HB .
Recall the classical operatorrelations
:ia ) Rcp ) =R(x+p )
PRK ) F'
= Rta ) =Rx5'
what about thequantum op
's ?Psi 1 ✓
RK ) Rcp ) = R⇐p ) ✓
![Page 22: Physics › ~gmoore › 618Spring2020 › 618 March 31 … · ¥##p9¥¥oekt 2 dime eigenspaoe Em = E2B-m 2 BE 21 All eigenspaces are dim-2. If 2B÷even. all eigenspaees are dime](https://reader033.fdocuments.us/reader033/viewer/2022060403/5f0ebb817e708231d440ab32/html5/thumbnails/22.jpg)
But - exercise !- you check
|PRHP=EmIR⇐→=*'•
N¥ equation only makes
Sense when 2 BE Z.
Now consider thegroup of
demister.ae"
naive answer Ul ) ) x 04 ) ?
7 Not the relations of
0 (2) = SO (2) -114AUTCSOC2) ) ← T
a :Rca ) → Rte )