Download - Noether’s Second Theorem and Strange Metals
![Page 1: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/1.jpg)
Noether’s Second Theorem and Strange Metals
Thanks to: NSF
Kridsangaphong Limtragool
Gabriele La Nave
Rev. Mod. Phys. 2019 (arXiv:1904.01023)
CIMP 2019 Adv. Th. Math. Phys.
2019
![Page 2: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/2.jpg)
T-linear resistivity
electrons not charge carriers
?
Violates MIR limit
⇢ > ⇢Q
` > a
` < a⇢Q ⇡ ~/e2
![Page 3: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/3.jpg)
Does anything local carry the charge?
NoYes
Z
`eA /2 hZ
new gauge principle?
e =?
IeA · d` 2 hZ
![Page 4: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/4.jpg)
Can you mess with A?
![Page 5: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/5.jpg)
Noether’s First Theorem
U(1)[q⇤] = 0
0 = eiq⇤ qA ! qA� q@µ⇤
[qA] = 1S =
Zddx(JµA
µ + · · · )
S ! S +
ZddxJµ@⇤
@µJµ = 0
current conservation
Noether’s Thm. I
fixes dimension of current
[ddxJA] = 0
[J ] = d� 1
[A] = 1
![Page 6: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/6.jpg)
Are there exceptions?
![Page 7: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/7.jpg)
Pippard’s problem
Js 6=�c
4⇡�2A London Eq.
failure of local London relations
![Page 8: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/8.jpg)
r��A = 0
stable equilibrium
around minimum
Lm = Lm0 �1
2
ZCµ⌫(x,x0)(Aµ(x)� @µ�(x))
⇥(A⌫(x0)� @⌫�(x
0))d3x0d3x+ · · ·
Superconductivity ala Weinberg
Aµ � @µ� = 0
U(1) ! Z2
U(1)/Z2
![Page 9: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/9.jpg)
Pippard Current
Jµ(x) =�Lm
�Aµ= �
ZCµ⌫(x,x0)(A⌫(x
0)� @⌫�(x0))d3x0
Pippard kernel
Js = � 3
4⇡c⇠0�
Z(~r � ~r0)((~r � ~r0) · ~A(~r0))e�(~r�~r0)/⇠(`)
(~r � ~r0)4d3~r0
non-local
![Page 10: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/10.jpg)
anomalous dimension
Units of Current
Jµ(x) =�Lm
�Aµ= �
ZCµ⌫(x,x0)(A⌫(x
0)� @⌫�(x0))d3x0
[J ] = d� dC � dA
Standard Result
�(x0 � y0)[Jµ(x),�(y)] = �d(x� y)��(y)
[J ] = d� 1
![Page 11: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/11.jpg)
Are there other examples of currents with anomalous
dimensions?
underlying electricity and magnetism?
is symmetry breaking
necessary?
![Page 12: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/12.jpg)
�
Mott insulator
�
0
x
�
no order
![Page 13: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/13.jpg)
why is the problem hard?
![Page 14: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/14.jpg)
1
�2/3
single-parameter scaling
⇢ / T (2�d)/z
�(!, T ) / !(d�2)/z
Cv / T d/z
⇠⌧ / ⇠z
anomalous dimension 2 ! 2dA
�2 lnZ
!�Aµ�Aµ
![Page 15: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/15.jpg)
T-linear resistivity
strange metal explained!
cot ✓H ⌘ �xx
�xy
⇡ T 2
Hall Angle
Hall Lorenz ratioLxy = xy/T�xy 6= # / T
all explained if
Hartnoll/Karch
[Jµ] = d� ✓ + �+ z � 1
[Aµ] = 1� �
� = �2/3
![Page 16: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/16.jpg)
[E] = 1 + z � �
[Jµ] = d� ✓ + �+ z � 1
[Aµ] = 1� �
� = �2/3
strange metal: strange E&M
[B] = 2� �
⇡r2B 6= fluxnote
IA · d` /2 hZ
![Page 17: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/17.jpg)
How is this possible - -
if at all?
![Page 18: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/18.jpg)
[Aµ] 6= 1
if
Aµ ! Aµ + @µ⇤
what is the new gauge principle?
![Page 19: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/19.jpg)
gauge symmetry
hint
@µJµ = 0 current conservation
[@µ, Y ] = 0
what if
@µY Jµ = @µJµ = 0
new current
[J ] = d� 1�DY
Noether’s Second Theorem: precursor
![Page 20: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/20.jpg)
possible gauge transformations
S = �1
4
ZddxF 2
S =1
2
Zddk
2⇡dAµ(k)[k
2⌘µ⌫ � kµk⌫ ]A⌫(k){Mµ⌫
zero eigenvectorikµ ! @⌫
Aµ ! Aµ + @µ⇤
k⌫ = 0
![Page 21: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/21.jpg)
Mµ⌫fk⌫ = 0
family of zero eigenvalues
{
generator of gauge symmetry
1.) rotational invariance
2.) A is still a 1-form
3.) [f, kµ] = 0
![Page 22: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/22.jpg)
only choice
f ⌘ f(k2)
Aµ ! Aµ + (��)��12 @µ⇤
what kind of E&M has such gauge transformations?
[Aµ] = �
(��)�
Aµ ! Aµ + (��)��12 @µ⇤
![Page 23: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/23.jpg)
y = 0y = 1
[A] 6= 1
?how?
Karch:1405.2926 Gouteraux: 1308.2084
S =
ZdVddy
�yaF 2 + · · ·
�
eom d(ya ? dA) = 0
claim: extra dimension
![Page 24: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/24.jpg)
if holography is RG then how can it lead to an
anomalous dimension?
![Page 25: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/25.jpg)
d(⇤⇢adA) = 0
membrane paradigm
![Page 26: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/26.jpg)
construct `boundary’ theory explicitly
![Page 27: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/27.jpg)
g(z = 0, x) = f(x)
� =1� a
2
Caffarelli-Silvestre extension theorem
(2006)
Cd,�(��)�fx
r · (yarg(x, y)) = 0
y
limy!0
ya@yg
?
fractional Laplacian
g(x, y = 0) = f(x)
�xg +a
ygy + gyy = 0
![Page 28: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/28.jpg)
Caffarelli-Silvestre extension theorem
(2006)
(��)�
Rn+1 g(x, y)
Dirichlet
Rn f(x)
Neumann
![Page 29: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/29.jpg)
closer look
r · (yaru) = 0scalar field
(use CS theorem)
d(ya ? dA) = 0 holography
similar equations
generalize CS theorem to p-forms
GL,PP:1708.00863 (CIMP, 366, 199 (2019)))
![Page 30: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/30.jpg)
d(⇤⇢adA) = 0
IR
UV
A ! A+ d�⇤ ⌘ A0
d� ⌘ ⇤ ��12 d
![Page 31: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/31.jpg)
boundary action: fractional Maxwell
equations
boundary action has `anomalous dimension’
(non-locality)
⇤�A? = J
F ! d�A = @µ⇤(��1)/2A⌫ � @⌫⇤(��1)/2Aµ
![Page 32: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/32.jpg)
if holography is RG then how can it lead to an
anomalous dimension?
S =
ZdVddy
�yaF 2 + · · ·
�
dimension of A is fixed by the bulk theory: not really
anomalous dimension
[A] = 1� a/2
![Page 33: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/33.jpg)
[A] = �
new gauge transformation
A ! A+ d�⇤ ⌘ A0
d� ⌘ ⇤ ��12 d
action of gauge group
D�,A(e⇤ � �) = ei⇤
(1��)/2⇤D�,A0�
D�,A� =⇣@µ + ie⇤(1��)/2Aµ
⌘⇤(1��)/2�
L = D�,A�(D�,A�)⇤ �m2�⇤�� Fµ⌫
� Fµ⌫�
![Page 34: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/34.jpg)
from the bulk
limy!0
[ya@�(x, y), ya@�(x0, y)] =
use CS theorem
�� [�(x, y,�(x0, y)]
= ���(x� x0) = 0
no problem with causality
![Page 35: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/35.jpg)
Ward identities
Cij(k) / (k2)�✓⌘ij � kikj
k2
◆.
standard Ward identity
kiCij(k) = 0 @iC
ij(k) = 0
but
k��1kµCµ⌫ = 0 @µ(��)
��12 Cµ⌫ = 0
inherent ambiguity in E&M
![Page 36: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/36.jpg)
Noether’s Second Theorem
Aµ ! Aµ + @µ⇤+ @µ@⌫G⌫ + · · · ,
� ! ⇤A ! A+ d�⇤ ⌘ A0
d� ⌘ (��)��12 d
![Page 37: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/37.jpg)
arxiv:1510.07038
![Page 38: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/38.jpg)
Mµ⌫fk⌫ = 0
family of zero eigenvalues
@µ(�r2)(��1)/2Jµ = 0
most fundamental conservation law{
J 0µ
![Page 39: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/39.jpg)
is boundary non-locality a problem?
entanglement?
IB(�) =
Zddx�(��)�� IC(�) =
Zddx�e(��)��
SB = d�2
✓1
✏
◆d�2
Area
SC ⇠ d�2
✓1
✏
◆d�2+2�
>Area
Li/Takayanagi (PRL 106, 141301 (2011)
?
![Page 40: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/40.jpg)
RESOLUTION
I =
Zddx�O��+ J�
� ! O(1��)/2�
J ! O(1��)/2J
simplest exception
I =
Zddx�O��+m2
|�|2
S = d�2
✓1
✏
◆d�2�Volume
entanglement � = 1/2
m2 > 0
standard AdS
Area entanglementI =
Zddx�O�+ J�Rule
ˆO(�) = O�
![Page 41: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/41.jpg)
is there a consistent algebra for fractional currents?
![Page 42: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/42.jpg)
Yes
![Page 43: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/43.jpg)
Virasoro algebra
[Ln, Lm] = (n�m)Ln+m
Witt algebra
Ln := �zn+1 @
@z
conformal transformations
on unit diskV ! W ! 1
central extension
+c
12m(m2 � 1)�m+n,0
![Page 44: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/44.jpg)
Fractional Virasoro algebra
Lan = �za(n+1)
✓@
@z
◆a
Lan := �za(n+1)
✓@
@z
◆a
[Ln, Lm](zak) =
✓�(a(k + n) + 1)
�(a(k � 1 + n) + 1)� �(a(k +m) + 1)
�(a(k � 1 +m) + 1)
◆Ln+m(zak)
generators
[Lam, La
n] = Am,nLam+n + �m,nh(n)cZ
a
= (Aan,m(k)⌦ Ln+m)(zak)
algebra for conformal non-local actions
Z2?(Wa,H)/B2
?(Wa,H)
![Page 45: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/45.jpg)
experiments?
![Page 46: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/46.jpg)
magnetic flux ~B
⇡r2Bshould be
dimensionless
[B] = 2� � = 2 + 2/3 6= 2
what’s the resolution?
![Page 47: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/47.jpg)
ai ⌘ [@i, I↵i ↵Ai] = @iI
↵i ↵Ai
��↵
I
@⌃a =
1
�(3/2� �)
I
@⌃A not an
integerNorm
what’s the relationship?
I
@⌃a
I
@⌃A
correct dimensionless quantity
![Page 48: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/48.jpg)
obstruction theorem to charge quantization (NST)
Aµ ! Aµ + @µ⇤+ @µ@⌫G⌫ + · · · ,
J 0µ
charge ill-defined (new landscape problem)
A ! A+ d�⇤ ⌘ A0
d� ⌘ (��)��12 d
![Page 49: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/49.jpg)
��D =e
~⇡r2BR2↵�2
p⇡21�↵�(2� ↵)�(1� ↵
2 )
�(↵)�( 32 � ↵2 )
sin2⇡↵
22F1(1� ↵, 2� ↵; 2;
r2
R2)
!
New Aharonov-Bohm Effect
![Page 50: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/50.jpg)
is the correction large?
��R =eB`2
~ L�5/3/(0.43)2
yes!
↵ = 1 + 2/3 = 5/3
![Page 51: Noether’s Second Theorem and Strange Metals](https://reader031.vdocuments.us/reader031/viewer/2022020620/61e3f4f40fbff552233eca38/html5/thumbnails/51.jpg)
if in the strange metal
[Aµ] = dA 6= 1
⇤ ��12
r⇥ ~B � 1
v2@ ~E
@t
!= µ ~J
⇤ ��12 r · ~E =
⇢
✏
⇤ ��12
r⇥ ~E +
@ ~B
@t
!= 0
⇤ ��12 r · ~B = 0.
fractional E&M
God said…
! = ck
Pippard Kernel
Jµ(x) = �Z
ddx0Cµ⌫(|x� x0|)A⌫
[J ] 6= d� 1
[A] 6= 1
in SC!
U(1) ! Z2